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.
- पेपर ID: 2510.10172
- शीर्षक: The Turán and Delsarte problems and their duals
- लेखक: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi
- वर्गीकरण: math.CA (शास्त्रीय विश्लेषण), math.MG (मीट्रिक ज्यामिति)
- प्रकाशन समय: 11 अक्टूबर, 2025
- पेपर लिंक: https://arxiv.org/abs/2510.10172v1
यह पेपर यूक्लिडीय स्पेस पर सकारात्मक निश्चित फलनों की दो अनुकूलन समस्याओं का अध्ययन करता है: Turán समस्या और Delsarte समस्या, जहां ये फलन समर्थन समुच्चय और चिन्ह पर प्रतिबंधित हैं। ये समस्याएं ज्यामिति में टाइलिंग (tiling) और पैकिंग (packing) समस्याओं के साथ संबंध के कारण व्यापक रूप से अध्ययन की जाती हैं। परिमित समूह सेटिंग में, इन समस्याओं की कमजोर और मजबूत रैखिक द्वैतता स्वचालित रूप से सत्य होती है। लेखक निरंतर सेटिंग में इन गुणों को सिद्ध करते हैं, इन समस्याओं और उनके द्वैत के चरम फलनों का अस्तित्व प्रदर्शित करते हैं, और प्रत्येक समस्या के चरम फलन और द्वैत समस्या के चरम माप या वितरण के बीच टाइलिंग-प्रकार संबंध स्थापित करते हैं। इसके बाद परिणामों को उत्तल पिंडों पर लागू करते हैं, यह सिद्ध करते हुए कि जो उत्तल पिंड स्पेस को टाइल नहीं कर सकते, उनके लिए Delsarte पैकिंग सीमा तुच्छ आयतन पैकिंग सीमा से कड़ी है।
- Turán चरम समस्या: सकारात्मक निश्चित फलनों के समर्थन समुच्चय प्रतिबंधित होने पर समाकल के अधिकतम मान की समस्या, जो सुसंगत विश्लेषण में एक शास्त्रीय समस्या है
- Delsarte समस्या: गोल पैकिंग घनत्व अनुमान, चुंबन संख्या समस्या आदि ज्यामितीय समस्याओं में महत्वपूर्ण अनुप्रयोग
- द्वैत सिद्धांत: यद्यपि परिमित समूह सेटिंग में द्वैतता स्वचालित है, निरंतर सेटिंग में गहन सैद्धांतिक विश्लेषण की आवश्यकता है
- अनंत-आयामी रैखिक प्रोग्रामिंग में द्वैतता विफल हो सकती है
- निरंतर सेटिंग में चरम फलनों का अस्तित्व स्पष्ट नहीं है
- Turán और Delsarte समस्याओं को संभालने के लिए एकीकृत सैद्धांतिक ढांचे की कमी है
निरंतर सेटिंग में Turán और Delsarte समस्याओं का संपूर्ण सैद्धांतिक ढांचा स्थापित करना, जिसमें कमजोर-मजबूत द्वैतता, चरम फलनों का अस्तित्व शामिल है, और ज्यामितीय टाइलिंग समस्याओं के साथ गहन संबंध की खोज करना।
- निरंतर सेटिंग में मजबूत रैखिक द्वैतता सिद्ध की: उपयुक्त ज्यामितीय शर्तों के तहत, Turán और Delsarte समस्याएं दोनों T(U)T′(U)=1 और D(U)D′(U)=1 को संतुष्ट करती हैं
- चरम फलनों के अस्तित्व को स्थापित किया: मूल समस्या और द्वैत समस्या दोनों के चरम फलनों का अस्तित्व सिद्ध किया
- चरम फलनों के बीच टाइलिंग-प्रकार संबंध का खुलासा किया: जैसे f⋅α=δ0 और f^⋅α^=δ0
- उत्तल पिंडों पर लागू किया: यह सिद्ध किया कि जो पिंड स्पेस को टाइल नहीं कर सकते उनकी Delsarte सीमा आयतन सीमा से कड़ी है
- वर्णक्रमीयता, टाइलिंग और अनुकूलन समस्याओं को जोड़ा: इन अवधारणाओं के बीच गहन संबंध स्थापित किए
Turán समस्या: दिया गया खुला समुच्चय U⊂Rd, Turán स्थिरांक को परिभाषित करें:
T(U)=sup{∫f:f(0)=1,f=0 on Uc,f^≥0}
Delsarte समस्या: Delsarte स्थिरांक को परिभाषित करें:
D(U)=sup{∫f:f(0)=1,f≤0 on Uc,f^≥0}
द्वैत Turán समस्या:
T′(U)=sup{α^({0}):α=δ0+β,supp(β)⊂Uc,α^≥0}
द्वैत Delsarte समस्या:
D′(U)=sup{α^({0}):α=δ0+β,β≥0,supp(β)⊂Uc,α^≥0}
- सीमा शर्तों का उपचार: "निरंतर सीमा" अवधारणा का परिचय, जिसमें स्थानीय रूप से निरंतर फलन के ग्राफ के रूप में प्रतिनिधित्व की आवश्यकता है
- सन्निकटन तकनीक: निरंतर फलन और मंद-वृद्धि वितरण के गुणनफल को संभालने के लिए Schwartz फलनों का उपयोग
- Hahn-Banach पृथक्करण प्रमेय का अनुप्रयोग: अनंत-आयामी सेटिंग में द्वैतता स्थापित करना
- स्थानांतरित-परिबद्ध माप सिद्धांत: Fourier रूपांतर को माप के रूप में संभालना
प्रमेय 4.3, 5.3: उपयुक्त शर्तों को संतुष्ट करने वाले खुले समुच्चय U के लिए:
T(U)T′(U)≤1,D(U)D′(U)≤1
प्रमेय 4.7, 5.4: अधिक मजबूत ज्यामितीय शर्तों के तहत, समानता सत्य है:
T(U)T′(U)=1,D(U)D′(U)=1
प्रमेय 4.9, 5.6: मूल समस्या और द्वैत समस्या दोनों के चरम फलन मौजूद हैं।
प्रमेय 4.10, 5.8: यदि f और α क्रमशः मूल समस्या और द्वैत समस्या के चरम फलन हैं, तो:
- f^⋅α^=δ0
- f⋅α=δ0 (Delsarte स्थिति)
प्रमेय 6.1: किसी भी समुच्चय A का स्थानांतरित पैकिंग घनत्व D(Δ(A))−1 से अधिक नहीं है, जहां Δ(A) अनिवार्य अंतर समुच्चय है।
प्रमेय 6.2, 6.3:
- यदि A स्पेस को टाइल कर सकता है, तो D(Δ(A))=m(A)
- यदि A एक वर्णक्रमीय समुच्चय है, तो D(Δ(A))=m(A)
प्रमेय 6.4: उत्तल पिंड A के लिए, समानता D(Δ(A))=m(A) सत्य है यदि और केवल यदि A स्पेस को टाइल कर सकता है।
परिणाम 6.5: जो उत्तल पिंड स्पेस को टाइल नहीं कर सकते उनकी Delsarte सीमा आयतन सीमा से कड़ी है।
- लेम्मा 4.4: निरंतर सीमा शर्त के तहत Schwartz फलन सन्निकटन
- लेम्मा 4.5: स्थानांतरित-परिबद्धता की स्थापना
- लेम्मा 4.6: संवलन संबंध f^∗α^=1 a.e.
- द्वैतता की आवश्यक शर्तें स्थापित करने के लिए पृथक्करण प्रमेय का उपयोग
- सन्निकटन और सघनता तर्कों के माध्यम से अस्तित्व स्थापित करना
- चरम शर्तों के विश्लेषण का उपयोग करके फलनों के बीच सटीक संबंध स्थापित करना
- Turán समस्या त्रिकोणमितीय श्रृंखला सिद्धांत से उत्पन्न हुई
- Delsarte समस्या कोडिंग सिद्धांत और गोल पैकिंग में अनुप्रयोग
- परिमित समूह स्थिति का संपूर्ण सिद्धांत (Matolcsi-Ruzsa 2014)
यह पेपर परिमित समूहों के सिद्धांत को निरंतर सेटिंग में सफलतापूर्वक विस्तारित करता है, लंबे समय से मौजूद तकनीकी कठिनाइयों को हल करता है।
- निरंतर सेटिंग में Turán और Delsarte समस्याओं का संपूर्ण द्वैत सिद्धांत स्थापित किया
- चरम फलनों का अस्तित्व और उनके बीच टाइलिंग-प्रकार संबंध सिद्ध किया
- उत्तल पिंड सिद्धांत में गहन ज्यामितीय अनुप्रयोग प्राप्त किए
- मजबूत ज्यामितीय शर्तों की आवश्यकता (जैसे निरंतर सीमा)
- सामान्य खुले समुच्चयों के लिए, कुछ परिणाम विफल हो सकते हैं
- विशिष्ट स्थिरांक मानों की गणना अभी भी कठिन है
- गैर-Turán डोमेन के उदाहरण खोजना
- अधिक सामान्य स्थानीय रूप से सघन एबेलियन समूहों तक विस्तार
- अन्य ज्यामितीय अनुकूलन समस्याओं के साथ संबंध की खोज
- सैद्धांतिक पूर्णता: निरंतर सेटिंग में संपूर्ण द्वैत सैद्धांतिक ढांचा स्थापित किया
- तकनीकी नवाचार: अनंत-आयामी रैखिक प्रोग्रामिंग की तकनीकी कठिनाइयों को चतुराई से संभाला
- ज्यामितीय अंतर्दृष्टि: अनुकूलन समस्याओं और ज्यामितीय गुणों के बीच गहन संबंध का खुलासा किया
- अनुप्रयोग मूल्य: पैकिंग सिद्धांत में नए उपकरण प्रदान किए
- ज्यामितीय शर्तें: खुले समुच्चयों पर ज्यामितीय शर्तें काफी मजबूत हैं, जो प्रयोज्यता को सीमित करती हैं
- गणना जटिलता: यद्यपि सैद्धांतिक ढांचा स्थापित किया गया है, विशिष्ट गणना अभी भी कठिन है
- खुली समस्याएं: कुछ महत्वपूर्ण प्रश्न (जैसे गैर-Turán डोमेन का अस्तित्व) अभी भी अनसुलझे हैं
यह सुसंगत विश्लेषण, उत्तल ज्यामिति और अनुकूलन सिद्धांत के अंतर्विषय क्षेत्र में एक महत्वपूर्ण प्रगति है, जो संबंधित अनुसंधान के लिए शक्तिशाली सैद्धांतिक उपकरण प्रदान करता है।
- गोल पैकिंग घनत्व का सैद्धांतिक विश्लेषण
- उत्तल पिंडों के ज्यामितीय गुणों का अनुसंधान
- सुसंगत विश्लेषण में चरम समस्याएं
- कोडिंग सिद्धांत और असतत ज्यामिति
पेपर इस क्षेत्र के महत्वपूर्ण साहित्य को उद्धृत करता है, जिसमें शामिल हैं:
- Delsarte का मूल कार्य Del72, DGS77
- Cohn-Elkies द्वारा गोल पैकिंग में अनुप्रयोग CE03
- Viazovska द्वारा 8-आयामी और 24-आयामी में सफलता Via17, CKMRV17
- लेखकों द्वारा Fuglede अनुमान पर पूर्व कार्य LM22