2025-11-10T03:13:56.100421

The Turán and Delsarte problems and their duals

Kolountzakis, Lev, Matolcsi
We study two optimization problems for positive definite functions on Euclidean space with restrictions on their support and sign: the Turan problem and the Delsarte problem. These problems have been studied also for their connections to geometric problems of tiling and packing. In the finite group setting the weak and strong linear duality for these problems are automatic. We prove these properties in the continuous setting. We also show the existence of extremizers for these problems and their duals, and establish tiling-type relations between the extremal functions for each problem and the extremal measures or distributions for the dual problem. We then apply the results to convex bodies, and prove that the Delsarte packing bound is strictly better than the trivial volume packing bound for every convex body that does not tile the space.
academic

টুরান এবং ডেলসার্ট সমস্যা এবং তাদের দ্বৈত সমস্যা

মৌলিক তথ্য

  • পেপার আইডি: 2510.10172
  • শিরোনাম: The Turán and Delsarte problems and their duals
  • লেখক: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi
  • শ্রেণীবিভাগ: math.CA (ধ্রুপদী বিশ্লেষণ), math.MG (মেট্রিক জ্যামিতি)
  • প্রকাশনার সময়: অক্টোবর ১১, ২০২৫
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.10172v1

সারসংক্ষেপ

এই পেপারটি ইউক্লিডীয় স্থানে ধনাত্মক নির্দিষ্ট ফাংশনের দুটি অপ্টিমাইজেশন সমস্যা অধ্যয়ন করে: টুরান সমস্যা এবং ডেলসার্ট সমস্যা, যেখানে এই ফাংশনগুলি সমর্থন সেট এবং চিহ্নের উপর সীমাবদ্ধতা রয়েছে। এই সমস্যাগুলি জ্যামিতিতে টাইলিং এবং প্যাকিং সমস্যার সাথে সংযোগের কারণে ব্যাপকভাবে অধ্যয়ন করা হয়েছে। সীমিত গ্রুপ সেটিংয়ে, এই সমস্যাগুলির দুর্বল এবং শক্তিশালী রৈখিক দ্বৈততা স্বয়ংক্রিয়ভাবে প্রতিষ্ঠিত হয়। লেখকরা ক্রমাগত সেটিংয়ে এই বৈশিষ্ট্যগুলি প্রমাণ করেছেন, এই সমস্যাগুলি এবং তাদের দ্বৈত সমস্যার চরম ফাংশনের অস্তিত্ব প্রদর্শন করেছেন, এবং প্রতিটি সমস্যার চরম ফাংশন এবং দ্বৈত সমস্যার চরম পরিমাপ বা বিতরণের মধ্যে টাইলিং-ধরনের সম্পর্ক স্থাপন করেছেন। পরবর্তীতে ফলাফলগুলি উত্তল বস্তুতে প্রয়োগ করে, প্রমাণ করেছেন যে যে উত্তল বস্তুগুলি স্থান টাইল করতে পারে না তাদের জন্য ডেলসার্ট প্যাকিং সীমা তুচ্ছ ভলিউম প্যাকিং সীমার চেয়ে কঠোরভাবে উন্নত।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার গুরুত্ব

১. টুরান চরম সমস্যা: সমর্থন সেট সীমাবদ্ধ হলে ধনাত্মক নির্দিষ্ট ফাংশনের সর্বোচ্চ সমাকলন সমস্যা অধ্যয়ন করে, যা সুরেলা বিশ্লেষণে একটি ধ্রুপদী সমস্যা ২. ডেলসার্ট সমস্যা: গোলক প্যাকিং ঘনত্ব অনুমান, চুম্বন সংখ্যা সমস্যা এবং অন্যান্য জ্যামিতিক সমস্যায় গুরুত্বপূর্ণ প্রয়োগ ३. দ্বৈত তত্ত্ব: যদিও সীমিত গ্রুপ সেটিংয়ে দ্বৈততা স্বয়ংক্রিয়ভাবে প্রতিষ্ঠিত হয়, ক্রমাগত সেটিংয়ে গভীর তাত্ত্বিক বিশ্লেষণের প্রয়োজন

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

  • অসীম-মাত্রিক রৈখিক প্রোগ্রামিংয়ে, দ্বৈততা বিদ্যমান নাও থাকতে পারে
  • চরম ফাংশনের অস্তিত্ব ক্রমাগত সেটিংয়ে স্পষ্ট নয়
  • টুরান এবং ডেলসার্ট সমস্যা পরিচালনা করার জন্য একটি একীভূত তাত্ত্বিক কাঠামোর অভাব

গবেষণা প্রেরণা

ক্রমাগত সেটিংয়ে টুরান এবং ডেলসার্ট সমস্যার সম্পূর্ণ তাত্ত্বিক কাঠামো স্থাপন করা, যার মধ্যে রয়েছে দুর্বল-শক্তিশালী দ্বৈততা, চরম ফাংশনের অস্তিত্ব, এবং জ্যামিতিক টাইলিং সমস্যার সাথে গভীর সংযোগ অন্বেষণ করা।

মূল অবদান

१. ক্রমাগত সেটিংয়ে শক্তিশালী রৈখিক দ্বৈততা প্রমাণ করেছে: উপযুক্ত জ্যামিতিক শর্তের অধীনে, টুরান এবং ডেলসার্ট সমস্যা উভয়ই T(U)T′(U)=1T(U)T'(U) = 1 এবং D(U)D′(U)=1D(U)D'(U) = 1 সন্তুষ্ট করে २. চরম ফাংশনের অস্তিত্ব প্রতিষ্ঠা করেছে: প্রমাণ করেছে যে মূল সমস্যা এবং দ্বৈত সমস্যা উভয়ই চরম ফাংশন বিদ্যমান ३. চরম ফাংশনের মধ্যে টাইলিং-ধরনের সম্পর্ক প্রকাশ করেছে: যেমন f⋅α=δ0f \cdot \alpha = \delta_0 এবং f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0 ४. উত্তল বস্তু তত্ত্বে প্রয়োগ করেছে: প্রমাণ করেছে যে স্থান টাইল করতে পারে না এমন উত্তল বস্তুর ডেলসার্ট সীমা ভলিউম সীমার চেয়ে কঠোরভাবে উন্নত ५. বর্ণালী, টাইলিং এবং অপ্টিমাইজেশন সমস্যা সংযুক্ত করেছে: এই ধারণাগুলির মধ্যে গভীর সংযোগ স্থাপন করেছে

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

টুরান সমস্যা: খোলা সেট U⊂RdU \subset \mathbb{R}^d দেওয়া হলে, টুরান ধ্রুবক সংজ্ঞায়িত করা হয় T(U)=sup⁡{∫f:f(0)=1,f=0 on Uc,f^≥0}T(U) = \sup\left\{\int f : f(0) = 1, f = 0 \text{ on } U^c, \hat{f} \geq 0\right\}

ডেলসার্ট সমস্যা: ডেলসার্ট ধ্রুবক সংজ্ঞায়িত করা হয় D(U)=sup⁡{∫f:f(0)=1,f≤0 on Uc,f^≥0}D(U) = \sup\left\{\int f : f(0) = 1, f \leq 0 \text{ on } U^c, \hat{f} \geq 0\right\}

দ্বৈত সমস্যার নির্মাণ

দ্বৈত টুরান সমস্যা: T′(U)=sup⁡{α^({0}):α=δ0+β,supp(β)⊂Uc,α^≥0}T'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

দ্বৈত ডেলসার্ট সমস্যা: D′(U)=sup⁡{α^({0}):α=δ0+β,β≥0,supp(β)⊂Uc,α^≥0}D'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \beta \geq 0, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

প্রযুক্তিগত উদ্ভাবনী পয়েন্ট

१. সীমানা শর্তের পরিচালনা: "ক্রমাগত সীমানা" ধারণা প্রবর্তন করেছে, যা স্থানীয়ভাবে একটি ক্রমাগত ফাংশনের গ্রাফ হিসাবে প্রতিনিধিত্বযোগ্য হওয়ার প্রয়োজন २. অনুমান কৌশল: ক্রমাগত ফাংশন এবং মন্থর বৃদ্ধি বিতরণের গুণফল পরিচালনা করতে Schwartz ফাংশন অনুমান ব্যবহার করেছে ३. Hahn-Banach বিচ্ছেদ উপপাদ্যের প্রয়োগ: অসীম-মাত্রিক সেটিংয়ে দ্বৈততা প্রতিষ্ঠা করেছে ४. স্থানান্তর-সীমাবদ্ধ পরিমাপ তত্ত্ব: ফুরিয়ার রূপান্তর যা পরিমাপ হয় এমন মন্থর বৃদ্ধি বিতরণ পরিচালনা করেছে

প্রধান তাত্ত্বিক ফলাফল

দুর্বল রৈখিক দ্বৈততা

উপপাদ্য ४.३, ५.३: উপযুক্ত শর্ত সন্তুষ্ট করে এমন খোলা সেটের জন্য, আমাদের আছে T(U)T′(U)≤1,D(U)D′(U)≤1T(U)T'(U) \leq 1, \quad D(U)D'(U) \leq 1

শক্তিশালী রৈখিক দ্বৈততা

উপপাদ্য ४.७, ५.४: আরও শক্তিশালী জ্যামিতিক শর্তের অধীনে, সমতা প্রতিষ্ঠিত হয়: T(U)T′(U)=1,D(U)D′(U)=1T(U)T'(U) = 1, \quad D(U)D'(U) = 1

চরম ফাংশনের অস্তিত্ব

উপপাদ্য ४.९, ५.६: মূল সমস্যা এবং দ্বৈত সমস্যা উভয়ই চরম ফাংশন বিদ্যমান।

চরম ফাংশনের মধ্যে সম্পর্ক

উপপাদ্য ४.१०, ५.८: যদি ff এবং α\alpha যথাক্রমে মূল সমস্যা এবং দ্বৈত সমস্যার চরম ফাংশন হয়, তাহলে:

  • f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0
  • f⋅α=δ0f \cdot \alpha = \delta_0 (ডেলসার্ট ক্ষেত্রে)

জ্যামিতিক প্রয়োগ

প্যাকিং ঘনত্ব অনুমান

উপপাদ্য ६.१: যেকোনো সেট AA এর স্থানান্তর প্যাকিং ঘনত্ব D(Δ(A))−1D(\Delta(A))^{-1} অতিক্রম করে না, যেখানে Δ(A)\Delta(A) হল অপরিহার্য পার্থক্য সেট।

টাইলিং এবং বর্ণালী ধর্মের বৈশিষ্ট্য

উপপাদ্য ६.२, ६.३:

  • যদি AA স্থান টাইল করতে পারে, তাহলে D(Δ(A))=m(A)D(\Delta(A)) = m(A)
  • যদি AA একটি বর্ণালী সেট হয়, তাহলে D(Δ(A))=m(A)D(\Delta(A)) = m(A)

উত্তল বস্তুর সম্পূর্ণ বৈশিষ্ট্য

উপপাদ্য ६.४: উত্তল বস্তু AA এর জন্য, সমতা D(Δ(A))=m(A)D(\Delta(A)) = m(A) প্রতিষ্ঠিত হয় যদি এবং শুধুমাত্র যদি AA স্থান টাইল করতে পারে।

ফলাফল ६.५: স্থান টাইল করতে পারে না এমন উত্তল বস্তুর ডেলসার্ট সীমা ভলিউম সীমার চেয়ে কঠোরভাবে উন্নত।

প্রযুক্তিগত বিবরণ

মূল লেম্মা

१. লেম্মা ४.४: ক্রমাগত সীমানা শর্তের অধীনে Schwartz ফাংশন অনুমান २. লেম্মা ४.५: স্থানান্তর-সীমাবদ্ধতার প্রতিষ্ঠা ३. লেম্মা ४.६: কনভোলিউশন সম্পর্ক f^∗α^=1\hat{f} * \hat{\alpha} = 1 a.e.

প্রমাণ কৌশল

१. দ্বৈততার প্রয়োজনীয় শর্ত প্রতিষ্ঠা করতে বিচ্ছেদ উপপাদ্য ব্যবহার করেছে २. অনুমান এবং সংক্ষিপ্ততা যুক্তির মাধ্যমে অস্তিত্ব প্রতিষ্ঠা করেছে ३. চরম শর্তের বিশ্লেষণ ব্যবহার করে ফাংশনের মধ্যে সঠিক সম্পর্ক প্রতিষ্ঠা করেছে

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

  • টুরান সমস্যা ত্রিকোণমিতিক সিরিজ তত্ত্ব থেকে উদ্ভূত
  • ডেলসার্ট সমস্যা কোডিং তত্ত্ব এবং গোলক প্যাকিংয়ে প্রয়োগ
  • সীমিত গ্রুপ ক্ষেত্রে সম্পূর্ণ তত্ত্ব (Matolcsi-Ruzsa 2014)

এই পেপারের সাথে সম্পর্ক

এই পেপারটি সীমিত গ্রুপের তত্ত্বকে ক্রমাগত সেটিংয়ে সফলভাবে প্রসারিত করেছে, দীর্ঘস্থায়ী প্রযুক্তিগত সমস্যা সমাধান করেছে।

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. ক্রমাগত সেটিংয়ে টুরান এবং ডেলসার্ট সমস্যার সম্পূর্ণ দ্বৈত তত্ত্ব প্রতিষ্ঠা করেছে २. চরম ফাংশনের অস্তিত্ব এবং তাদের মধ্যে টাইলিং-ধরনের সম্পর্ক প্রমাণ করেছে ३. উত্তল বস্তু তত্ত্বে গভীর জ্যামিতিক প্রয়োগ অর্জন করেছে

সীমাবদ্ধতা

१. শক্তিশালী জ্যামিতিক শর্তের প্রয়োজন (যেমন ক্রমাগত সীমানা) २. সাধারণ খোলা সেটের জন্য, কিছু ফলাফল বিদ্যমান নাও থাকতে পারে ३. নির্দিষ্ট ধ্রুবক মানের গণনা এখনও কঠিন

ভবিষ্যত দিকনির্দেশনা

१. অ-টুরান ডোমেইনের উদাহরণ খুঁজে বের করা २. আরও সাধারণ স্থানীয় সংক্ষিপ্ত অ্যাবেলীয় গ্রুপে প্রসারিত করা ३. অন্যান্য জ্যামিতিক অপ্টিমাইজেশন সমস্যার সাথে সংযোগ অন্বেষণ করা

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক সম্পূর্ণতা: ক্রমাগত সেটিংয়ে সম্পূর্ণ দ্বৈত তাত্ত্বিক কাঠামো প্রতিষ্ঠা করেছে २. প্রযুক্তিগত উদ্ভাবন: অসীম-মাত্রিক রৈখিক প্রোগ্রামিংয়ের প্রযুক্তিগত সমস্যা চতুরভাবে পরিচালনা করেছে ३. জ্যামিতিক অন্তর্দৃষ্টি: অপ্টিমাইজেশন সমস্যা এবং জ্যামিতিক বৈশিষ্ট্যের গভীর সংযোগ প্রকাশ করেছে ४. প্রয়োগের মূল্য: প্যাকিং তত্ত্বে নতুন সরঞ্জাম প্রদান করেছে

অপূর্ণতা

१. জ্যামিতিক শর্ত: খোলা সেটের জ্যামিতিক শর্তের প্রয়োজন অনেক বেশি, প্রয়োগের পরিধি সীমাবদ্ধ করে २. গণনার জটিলতা: যদিও তাত্ত্বিক কাঠামো প্রতিষ্ঠা করেছে, নির্দিষ্ট গণনা এখনও কঠিন ३. খোলা সমস্যা: কিছু গুরুত্বপূর্ণ সমস্যা (যেমন অ-টুরান ডোমেইনের অস্তিত্ব) এখনও অমীমাংসিত

প্রভাব

এটি সুরেলা বিশ্লেষণ, উত্তল জ্যামিতি এবং অপ্টিমাইজেশন তত্ত্বের ক্রস-ডিসিপ্লিনারি ক্ষেত্রে একটি গুরুত্বপূর্ণ অগ্রগতি, সম্পর্কিত গবেষণার জন্য শক্তিশালী তাত্ত্বিক সরঞ্জাম প্রদান করে।

প্রযোজ্য পরিস্থিতি

१. গোলক প্যাকিং ঘনত্বের তাত্ত্বিক বিশ্লেষণ २. উত্তল বস্তুর জ্যামিতিক বৈশিষ্ট্য গবেষণা ३. সুরেলা বিশ্লেষণে চরম সমস্যা ४. কোডিং তত্ত্ব এবং বিচ্ছিন্ন জ্যামিতি

তথ্যসূত্র

পেপারটি এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করেছে, যার মধ্যে রয়েছে:

  • ডেলসার্টের মূল কাজ Del72, DGS77
  • Cohn-Elkies এর গোলক প্যাকিংয়ে প্রয়োগ CE03
  • Viazovska এর ৮-মাত্রা এবং ২৪-মাত্রায় যুগান্তকারী ফলাফল Via17, CKMRV17
  • লেখকদের Fuglede অনুমানে পূর্ববর্তী কাজ LM22