A new description of uniformly spread discrete sets
Dudko, Favorov
We prove that each discrete set in the Euclidean space that has bounded changes under every translation is a bounded perturbation of a square lattice, i.e., a uniformly spread set in the sense of Laszkovich. In particular, the support of every Fourier quasicrystal with unit masses is uniformly spread.
यह पेपर सिद्ध करता है कि यूक्लिडीय अंतरिक्ष में प्रत्येक असतत समुच्चय जिसमें किसी भी स्थानांतरण के तहत परिबद्ध भिन्नता है, वर्ग जालक का एक परिबद्ध विक्षोभ है, अर्थात् Laszkovich के अर्थ में समान रूप से प्रसारित समुच्चय। विशेष रूप से, प्रत्येक इकाई द्रव्यमान के फूरियर अर्ध-क्रिस्टल का समर्थन समुच्चय समान रूप से प्रसारित है।
ऐतिहासिक पृष्ठभूमि: यह अनुसंधान Laczkovich के Tarski की प्रसिद्ध समस्या (वर्ग और डिस्क के विघटन) के प्रमाण के एक महत्वपूर्ण भाग से उत्पन्न होता है, जिसमें समतल पर तथाकथित समान रूप से प्रसारित असतत समुच्चय का अध्ययन शामिल है।
मूल समस्या: Laszkovich ने द्विआयामी स्थिति में असतत समुच्चय A⊂ℝ² के दो समतुल्य शर्तें स्थापित कीं:
एक स्थिरांक C < ∞ और एक द्विभाजन σ: A → α^(-1/2)ℤ² का अस्तित्व ऐसा कि sup_{x∈A}|σ(x)-x| < C
एक स्थिरांक C' < ∞ का अस्तित्व ऐसा कि प्रत्येक परिबद्ध Jordan क्षेत्र H के लिए, |#(A∩H) - αm₂(H)| < C'm₁(∂H)
वर्तमान सीमाएं:
Laszkovich ने सिद्ध किया कि d > 2 के लिए प्रत्यक्ष सादृश्य मान्य नहीं है
सभी मौजूदा शर्तें पैरामीटर α ∈ (0,∞) पर निर्भर हैं
α से स्वतंत्र निर्णय मानदंड का अभाव है
अनुसंधान प्रेरणा: पैरामीटर α से स्वतंत्र समान रूप से प्रसारित समुच्चय के निर्णय मानदंड को खोजना, जो इस पेपर की मूल समस्या है।
नई अवधारणा का परिचय: "मोटे स्थानांतरण-अपरिवर्तनीय समुच्चय" (roughly shift-invariant set) की अवधारणा प्रस्तुत की, जो समान रूप से प्रसारित समुच्चय का नया लक्षण वर्णन है
समतुल्यता स्थापना: मोटे स्थानांतरण-अपरिवर्तनीयता और समान प्रसार के बीच समतुल्यता संबंध सिद्ध किया
घनत्व अस्तित्व: सिद्ध किया कि प्रत्येक मोटे स्थानांतरण-अपरिवर्तनीय समुच्चय में समान घनत्व होता है
अनुप्रयोग विस्तार: परिणामों को बहु-समुच्चय तक सामान्यीकृत किया और फूरियर अर्ध-क्रिस्टल पर लागू किया
ग्राफ सिद्धांत योगदान: प्रमाण प्रक्रिया में अनंत ग्राफ पर समीकरण समाधान के नए परिणाम प्राप्त किए
इनपुट: यूक्लिडीय अंतरिक्ष ℝᵈ में असतत समुच्चय A
आउटपुट: यह निर्धारित करना कि A समान रूप से प्रसारित है या नहीं
लक्ष्य: घनत्व पैरामीटर से स्वतंत्र निर्णय मानदंड स्थापित करना
परिभाषा 1 (मोटे स्थानांतरण-अपरिवर्तनीय समुच्चय): असतत समुच्चय A ⊂ ℝᵈ को मोटे स्थानांतरण-अपरिवर्तनीय कहा जाता है, यदि L < ∞ का अस्तित्व हो ऐसा कि किसी भी x ∈ ℝᵈ के लिए, एक द्विभाजन σₓ: A → A का अस्तित्व हो जो संतुष्ट करे:
sup_{a∈A} |a + x - σₓ(a)| < L
परिभाषा 2 (समान रूप से प्रसारित समुच्चय): Laszkovich की परिभाषा के अनुसार, समुच्चय A को समान रूप से प्रसारित कहा जाता है यदि:
एक द्विभाजन σ: A → α^(-1/d)ℤᵈ का अस्तित्व हो ऐसा कि sup_{x∈A}|σ(x)-x| < C
पर्याप्त बड़े समुच्चय H के लिए, बिंदु गणना आयतन के अनुपात में हो: |#(A∩H) - αmₐ(H)| ≤ C'सीमा माप
प्रमेय 1 (घनत्व अस्तित्व): प्रत्येक मोटे स्थानांतरण-अपरिवर्तनीय समुच्चय A के लिए, एक घनत्व D > 0 का अस्तित्व है ऐसा कि:
lim_{T→∞} #(A∩B(x,T))/mₐ(B(x,T)) = D
ℝᵈ में x के संबंध में समान रूप से मान्य है।
प्रमेय 2 (समतुल्यता): प्रत्येक मोटे स्थानांतरण-अपरिवर्तनीय समुच्चय A ⊂ ℝᵈ समान रूप से प्रसारित है, और एक स्थिरांक C < ∞ और द्विभाजन Θ: A → D^(-1/d)ℤᵈ का अस्तित्व है ऐसा कि:
यह पेपर शुद्ध गणितीय सिद्धांत अनुसंधान है, जिसमें संख्यात्मक प्रयोग शामिल नहीं हैं, बल्कि सिद्धांत परिणामों को सत्यापित करने के लिए कठोर गणितीय प्रमाण के माध्यम से।
पेपर 16 महत्वपूर्ण संदर्भों का हवाला देता है, जो Laczkovich के शास्त्रीय कार्य से लेकर फूरियर अर्ध-क्रिस्टल के हाल के अनुसंधान तक फैले हुए हैं, जो समस्या के ऐतिहासिक विकास और आधुनिक अनुप्रयोग मूल्य को प्रदर्शित करता है।
यह पेपर मोटे स्थानांतरण-अपरिवर्तनीयता की अवधारणा प्रस्तुत करके, समान रूप से प्रसारित असतत समुच्चय के लिए नया लक्षण वर्णन प्रदान करता है, न केवल एक मौलिक गणितीय समस्या को हल करता है, बल्कि आधुनिक फूरियर अर्ध-क्रिस्टल सिद्धांत के साथ गहरा संबंध स्थापित करता है, शुद्ध गणित अनुसंधान की सैद्धांतिक गहराई और अनुप्रयोग मूल्य को प्रदर्शित करता है।