🔢 mathematics

On number of cyclic $n$ -roots and disjointness of Fourier supports

यह शोध पत्र प्रदर्शित करता है कि किसी भी भाज्य (composite) $n$ के लिए, समय और आवृत्ति दोनों डोमेन में विसंयुक्त सपोर्ट (disjoint supports) वाले दो सदिश अस्तित्व में होते हैं, जिससे यह सिद्ध होता है कि चक्रीय $n$ -मूलों (cyclic $n$ -roots) की परिमितता के संबंध में हागरूप (Haagerup) के प्रमाण में एक प्रमुख न्यूनीकरण, भाज्य वर्ग-मुक्त (composite square-free) मामलों के लिए अपर्याप्त है।

मूल लेखक: Weiqi Zhou

प्रकाशित 2026-08-07

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Weiqi Zhou

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जासूस हैं जो संख्याओं और तरंगों से बनी दुनिया में एक रहस्य को सुलझाने की कोशिश कर रहे हैं। यह कहानी गणित के उस कोने में रहती है जिसे हार्मोनिक एनालिसिस (harmonic analysis) कहा जाता है, जो एक ऐसा क्षेत्र है जो इस बात का अध्ययन करता है कि कैसे चीजों को सरल, दोहराव वाले रिदम (जैसे संगीत के स्वर) में तोड़ा जा सकता है और वे कैसे व्यवहार करते हैं जब उन्हें बदला या मिलाया जाता है। हमारी कहानी के मुख्य पात्र "वेक्टर्स" (vectors) हैं, जो केवल संख्याओं की सूचियाँ हैं, और उनके "सपोर्ट्स" (supports), जो केवल उस सूची में वे स्थान हैं जहाँ संख्याएँ शून्य नहीं हैं। एक सपोर्ट को एक थिएटर में उन विशिष्ट सीटों के रूप में सोचें जो वास्तव में लोगों से भरी हुई हैं, जबकि खाली सीटें शून्य हैं।

रहस्य एक संख्या सूची और उसके "फूरियर ट्रांसफॉर्म" (Fourier transform) के बीच एक विशेष संबंध के इर्द-गिर्द घूमता है। फूरियर ट्रांसफॉर्म एक जादुई दर्पण की तरह है जो आपकी संख्या सूची को लेता है और दिखाता है कि बिंदुओं के संग्रह के बजाय तरंगों के संग्रह के रूप में देखने पर वह कैसा दिखता है। इस दुनिया में एक प्रसिद्ध नियम है, जिसे अनिश्चितता का सिद्धांत (uncertainty principle) कहा जाता है, जो कहता है कि आप मूल दृश्य और दर्पण दृश्य दोनों में एक साथ बहुत छोटे नहीं हो सकते। यदि आपकी संख्या सूची बहुत विरल (sparse) है (थिएटर में केवल कुछ ही लोग हैं), तो उसका दर्पण प्रतिबिंब बहुत भीड़भाड़ वाला होगा, और इसके विपरीत। यह पेपर एक कठिन प्रश्न पूछता है: क्या दो अलग-अलग संख्या सूचियाँ ढूँढना संभव है जहाँ पहली सूची में "कब्जे वाली सीटें" दूसरी सूची के "कब्जे वाली सीटों" से कभी नहीं मिलतीं, और यही बात उनके दर्पण प्रतिबिंबों के लिए भी सच हो? यह प्रश्न महत्वपूर्ण है क्योंकि यह गणितज्ञों को यह समझने में मदद करता है कि "साइक्लिक n-रूट्स" (cyclic n-roots) नामक एक विशिष्ट प्रकार की जटिल पहेली के समाधानों की संख्या सीमित है या अनंत।

यह पेपर, जिसे वेइकी झोउ (Weiqi Zhou) ने लिखा है, गणितज्ञों ब्योर्क और सफारी (Björck and Saffari) द्वारा किए गए एक लंबे समय से चले आ रहे अनुमान को संबोधित करता है। उन्हें संदेह था कि इन साइक्लिक पहेलियों के समाधानों की संख्या केवल तभी सीमित होती है जब पहेली का आकार $n$ "स्क्वायर-फ्री" (square-free) हो (अर्थात यह किसी पूर्ण वर्ग जैसे 4, 9, या 16 से विभाज्य नहीं है)। यह पहले से ज्ञात था कि यदि $n$ एक अभाज्य संख्या (जैसे 2, 3, 5) है, तो समाधान सीमित होते हैं। हालाँकि, कंपोजिट स्क्वायर-फ्री संख्याओं (जैसे 6, जो $2 \times 3$ है, या 3, 30) के लिए प्रश्न खुला रह गया था। अभाज्य संख्याओं के लिए एक पिछला प्रमाण एक चतुर चाल पर आधारित था: इसने तर्क दिया कि यदि अनंत समाधान मौजूद हैं, तो यह दो विशेष वेक्टर्स के अस्तित्व को मजबूर करेगा जो "टाइम डोमेन" (मूल सूची) और "फ्रीक्वेंसी डोमेन" (दर्पण छवि) दोनों में "विजातीय" (disjoint) हैं। इस पेपर के लेखक ने यह परीक्षण करने का निर्णय लिया कि क्या यह चाल कंपोजिट स्क्वायर-फ्री संख्याओं के लिए काम करती है।

यहाँ मोड़ आता है: यह पेपर सिद्ध करता है कि यह "डिस्जॉइंटनेस ट्रिक" (disjointness trick) वास्तव में किसी भी कंपोजिट नंबर के लिए काम करती है, चाहे वह स्क्वायर-फ्री हो या नहीं। लेखक दिखाते हैं कि यदि $n$ एक कंपोजिट नंबर है, तो आप हमेशा ऐसे वेक्टर्स का एक जोड़ा बना सकते हैं जो टाइम और फ्रीक्वेंसी दोनों डोमेन में विजातीय (disjoint) हों। यह एक बड़ी बात है क्योंकि इसका मतलब है कि पिछला तरीका स्क्वायर-फ्री कंपोजिट नंबरों के लिए समाधानों की सीमित संख्या को सिद्ध करने के लिए उपयोग नहीं किया जा सकता है। लेखक ऐसे वेक्टर्स के जोड़े बनाने के लिए एक ठोस नुस्खा प्रदान करते हैं। उदाहरण के लिए, यदि $n$ 30 है, तो वे दिखाते हैं कि कैसे विशिष्ट समूहों की संख्याओं को मिलाकर दो वेक्टर्स $u$ और $v$ बनाए जाते हैं, जहाँ $u$ के गैर-शून्य स्थान $v$ के गैर-शून्य स्थानों को कभी नहीं छूते हैं, और यही बात उनके दर्पण प्रतिबिंबों के लिए भी लागू होती है। वे यहाँ तक भी दिखाते हैं कि कुछ कंपोजित संख्याओं के लिए, आप केवल एक जोड़ा ही नहीं, बल्कि ऐसे वेक्टर्स का एक पूरा परिवार पा सकते हैं।

यह पेपर यह भी स्पष्ट करता है कि इसका क्या अर्थ नहीं है। केवल इसलिए कि कंपोजिट नंबरों के लिए ऐसे विशेष जोड़े मौजूद हैं, इसका मतलब यह नहीं है कि यह साबित करता है कि स्क्वायर-फ्री कंपोजिट नंबरों के लिए साइक्लिक रूट्स की संख्या वास्तव में अनंत है। यह केवल एक पुराने तरीके में एक बाधा को प्रकट करता है: पुराना तरीका इन जोड़ों के अस्तित्व का उपयोग करके परिमितता (finiteness) को सिद्ध करने की कोशिश करता था, लेकिन चूंकि ये जोड़े तब भी मौजूद होते हैं जब समाधानों की संख्या सीमित हो सकती है, इसलिए वह तरीका विफल हो जाता है। लेखक एक थोड़ा अलग प्रश्न भी तलाशते हैं: क्या एक एकल वेक्टर अपने स्वयं के दर्पण प्रतिबिंब से विजातीय हो सकता है? वे दिखाते हैं कि अभाज्य संख्याओं के लिए, यह असंभव है (एक ज्ञात तथ्य), लेकिन कंपोजिट नंबरों के लिए, यह संभव है, और वे ऐसे वेक्टर्स बनाने के उदाहरण प्रदान करते हैं।

संक्षेप में, यह पेपर इस रहस्य को हल नहीं करता है कि स्क्वायर-फ्री कंपोजिट नंबरों के लिए कितने साइक्लिक रूट्स मौजूद हैं। इसके बजाय, यह एक जासूस की तरह काम करता है जो यह बता रहा है कि पिछले जांच में उपयोग किया गया आवर्धक लेंस (magnifying glass) बहुत धुंधला था। लेखक सिद्ध करते हैं कि "डिस्जॉइंट पेयर" (disjoint pair) की घटना सभी कंपोजिट नंबरों की एक विशेषता है, न कि केवल उनके लिए जिनके पास अनंत समाधान हैं। यह गणितज्ञों को स्क्वायर-फ्री कंपोजिट मामलों के लिए यह निर्धारित करने के लिए एक नया, अधिक सूक्ष्म तरीका खोजने के लिए मजबूर करता है कि समाधान सीमित हैं या अनंत। उनका कार्य एक कठोर प्रमाण है, न कि एक सिमुलेशन, जो यह स्थापित करता है कि पुराना रिडक्शन स्टेप कंपोजिट स्क्वायर-फ्री मामलों के लिए अपर्याप्त है, जिससे इस गणितीय परिदृश्य में नई खोजों के द्वार खुले रहते हैं।

तकनीकी सारांश: चक्रीय $n$ -मूलों की संख्या और फूरियर सपोर्ट की विलगता पर

समस्या विवरण
यह शोध पत्र चक्रीय $n$ -मूलों (cyclic $n$ -roots) के समुच्चय की परिमितता (finiteness) को संबोधित करता है, जो एक विशिष्ट बहुचर समरूप बहुपद समीकरणों के निकाय को हल करने वाले $n$ -आयामी सम्मिश्र सदिश (complex vectors) हैं। ब्योर्क और सफारी (Björck and Saffari) द्वारा प्रस्तावित एक केंद्रीय अनुमान यह है कि चक्रीय $n$ -मूलों का समुच्चय परिमित है यदि और केवल यदि $n$ वर्ग-मुक्त (square-free) है। जबकि "केवल यदि" वाला भाग (यदि $n$ वर्ग-मुक्त नहीं है तो अनंत समुच्चय) स्थापित है, और प्राइम $n$ के लिए हागरुप (Haagerup) द्वारा "यदि" वाला भाग सिद्ध किया गया है, वर्ग-मुक्त भाज्य (square-free composite) $n$ का मामला अभी भी खुला है।

हागरुप का प्राइम $n$ के लिए प्रमाण एक महत्वपूर्ण न्यूनीकरण (प्रस्ताव 1) पर निर्भर करता है: यदि चक्रीय $n$ -मूलों का समुच्चय अनंत होता, तो दो गैर-शून्य सदिश $u, v \in \mathbb{C}^n$ अस्तित्व में होते जिनका सपोर्ट (support) टाइम डोमेन और फ्रीक्वेंसी डोमेन दोनों में विलग (disjoint) होता (विशेष रूप से, सभी $i$ के लिए $u_i v_i = 0$ और $\hat{u}_i \check{v}_i = 0$ )। प्राइम $n$ के लिए, एडिटिव अनसर्टेन्टी प्रिंसिपल (additive uncertainty principle) ऐसे जोड़े के अस्तित्व को रोकता है, जिससे परिमितता सिद्ध होती है। यह शोध पत्र जांच करता है कि क्या यह न्यूनीकरण भाज्य $n$ के लिए भी लागू होता है, विशेष रूप से यह कि क्या भाज्य $n$ के लिए ऐसे विलग-सपोर्ट जोड़े मौजूद हैं।

कार्यप्रणाली
लेखक चक्रीय समूहों $\mathbb{Z}_n$ पर फूरियर विश्लेषण का उपयोग करके भाज्य $n$ के लिए न्यूनीकरण चरण के स्पष्ट प्रति-उदाहरण (counterexamples) निर्मित करने के लिए फूरियर विश्लेषण का उपयोग करता है। कार्यप्रणाली में शामिल है:

बीजगणितीय निर्माण (Algebraic Construction): $\mathbb{Z}_n$ के उपसमूहों (subgroups) और उनके ऑर्थोगोनल कॉम्प्लीमेंट्स का उपयोग करना। शोध पत्र परिमित समूहों के लिए पॉइसन समेशन फॉर्मूला के अनुरूप का लाभ उठाता है, विशेष रूप से संबंध $\widehat{\mathbf{1}_{H_d}} = \frac{d}{\sqrt{n}} \mathbf{1}_{H_d^\perp}$ , जहाँ $H_d$ क्रम $d$ का एक उपसमूह है।
सदिश संश्लेषण (Vector Synthesis): विशिष्ट कोसेट्स (cosets) और उपसमूहों के अभिलक्षण फलनों (characteristic functions) के रैखिक संयोजन के रूप में सदिश $u$ और $v$ का निर्माण करना। यह निर्माण सुनिश्चित करता है कि $u$ का सपोर्ट टाइम डोमेन में $v$ के सपोर्ट से विलग है, और $u$ के फूरियर ट्रांसफॉर्म का सपोर्ट $v$ के इनवर्स फूरियर ट्रांसफॉर्म के सपोर्ट से विलग है।
मामला विश्लेषण (Case Analysis):
- प्रस्ताव 2: इंटरसेक्शन को रद्द करने के लिए उपसमूहों के ट्रांसलेशन का उपयोग करके $n = pqr$ (तीन परस्पर सह-अभाज्य पूर्णांकों का गुणनफल) के लिए ऐसे जोड़े का निर्माण करता है।
- प्रमेय 1: किसी भी भाज्य $n$ के लिए निर्माण का सामान्यीकरण करता है। यदि $d$ , $n$ का एक विभाजक है कि $1 < d < \sqrt{2n}$ , तो लेखक $1 + \lfloor d/2 \rfloor$ सदिशों का एक सेट निर्मित करता है जो परस्पर विलगता की स्थिति को संतुष्ट करते हैं।
- एकल सदिश मामला (प्रस्ताव 3): एक एकल सदिश $x$ के अस्तित्व की जांच करता है जहाँ $\text{supp}(x) \cap \text{supp}(\hat{x}) = \emptyset$ है। यह फूरियर मैट्रिक्स के सिंगुलर प्रिंसिपल सबमैट्रिसेस (singular principal submatrices) के अस्तित्व से जुड़ा है। लेखक प्राइम पावर और विशिष्ट भाज्य मामलों के लिए निर्माण प्रदान करता है, जो चेबोटारेव प्रमेय (Chebotarëv theorem) के विपरीत है जो प्राइम $n$ के लिए गैर-शून्य मिनर्स (non-vanishing minors) की गारंटी देता है।

प्रमुख योगदान और परिणाम

प्रमेय 1: यह शोध पत्र सिद्ध करता है कि एक जोड़ी गैर-शून्य सदिश $u, v$ $u, v$ जो विलग सपोर्ट की स्थिति (समीकरण 2) को संतुष्ट करते हैं, तभी अस्तित्व में होते हैं जब $n$ $n$ भाज्य हो।
- यदि $n$ भाज्य है: लेखक ऐसे सदिशों का स्पष्ट रूप से निर्माण करता है। एक विभाजक $d$ के लिए ( $1 < d < \sqrt{2n}$ ), ऐसी कम से कम $1 + \lfloor d/2 \rfloor$ परस्पर विलग सदिशों की जोड़ी मौजूद है जो इस स्थिति को संतुष्ट करती है।
- यदि $n$ प्राइम है: एडिटिव अनसर्टेटी प्रिंसिपल के माध्यम से ऐसे जोड़ों के गैर-अस्तित्व की पुष्टि की जाती है, जो हागरुप के प्रमाण के अनुरूप है।
न्यूनीकरण पर्याप्तता का खंडन (Refutation of Reduction Adequacy): मुख्य परिणाम यह दर्शाता है कि हागरुप द्वारा उपयोग किया गया न्यूनीकरण चरण (प्रस्ताव 1) वर्ग-मुक्त भाज्य $n$ के लिए चक्रीय $n$ -मूलों की परिमितता को सिद्ध करने के लिए पर्याप्त नहीं है। चूंकि "बाधा" (विलग सपोर्ट वाले जोड़ों का अस्तित्व) सभी भाज्य $n$ के लिए मौजूद है, इसलिए ऐसे जोड़ों का गैर-अस्तित्व वर्ग-मुक्त भाज्य के लिए परिमितता सिद्ध करने के लिए उपयोग नहीं किया जा सकता है।
ठोस उदाहरण: शोध पत्र $n=30$ और $n=6$ के लिए स्पष्ट उदाहरण प्रदान करता है। $n=6$ के लिए, यह दिखाता है कि हालांकि ऐसे विलग जोड़े मौजूद हैं (जो उस स्थिति को संतुष्ट करते हैं जो यदि न्यूनीकरण पर्याप्त होता तो अनंतता की ओर संकेत करती), चक्रीय 6-मूलों का सेट ज्ञात रूप से परिमित है। यह पुष्टि करता है कि जोड़े का अस्तित्व न्यूनीकरण के काम करने के लिए एक आवश्यक शर्त है, लेकिन चक्रीय मूलों की अनंतता को दर्शाने के लिए पर्याप्त शर्त नहीं है।
अनुमानों का विस्तार: शोध पत्र एक एकल सदिश के अस्तित्व पर चर्चा करता जिसका टाइम-फ्रीक्वेंसी सपोर्ट विलग हो। यह फूरियर मैट्रिक्स के प्रिंसिपल मिनर्स की सिंगुलैरिटी (singularity) से जुड़ता है। यह चेबोटारेव प्रमेय के विस्तार का समर्थन करता है (कि वर्ग-मुक्त $n$ के लिए प्रिंसिपल मिनर्स गैर-शून्य होते हैं) यह दिखाकर कि ऐसे सदिश गैर-वर्ग-मुक्त $n$ (विशेष रूप से प्राइम पावर और कुछ भाज्य संरचनाओं) के लिए मौजूद होते हैं।

महत्व और दावे
शोध पत्र विनम्रतापूर्वक दावा करता है कि इसका मुख्य योगदान ब्योर्क-सफारी अनुमान के लिए मौजूदा प्रमाण रणनीति में एक बाधा (bottleneck) की पहचान करना है।

न्यूनीकरण का स्पष्टीकरण: यह स्पष्ट करता है कि हागरुप का न्यूनीकरण, जो प्राइम $n$ के लिए परिमितता सिद्ध करने में सफल रहा, वर्ग-मुक्त भाज्य और गैर-वर्ग-मुक्त भाज्य के बीच अंतर करने में विफल रहता है क्योंकि "विलग सपोर्ट" वाली बाधा सभी भाज्य $n$ के लिए मौजूद है।
अनुमान के लिए निहितार्थ: वर्ग-मुक्त भाज्य $n$ के लिए चक्रीय $n$ -मूलों की परिमितता को सिद्ध करने के लिए एक नए दृष्टिकोण की आवश्यकता है। यह शोध पत्र इन मामलों के लिए अनुमान को सत्य या असत्य सिद्ध नहीं करता है, बल्कि यह प्रदर्शित करता है कि प्राइम के लिए उपयोग किया गया विशिष्ट बीजगणितीय-ज्यामितीय न्यूनीकरण अपर्याप्त है।
संरचनात्मक अंतर्दृष्टि: यह कार्य चक्रीय $n$ -मूलों, CAZAC अनुक्रमों और फूरियर मैट्रिक्स के स्पेक्ट्रल गुणों के बीच संबंध के बारे में गहरी संरचनात्मक समझ प्रदान करता है, विशेष रूप से इसके सबमैट्रिसेस की सिंगुलैरिटी और परिमित समूहों में अनसर्टेन्टी प्रिंसिपल के संबंध में।

संक्षेप में, यह शोध पत्र स्थापित करता है कि "विलग फूरियर सपोर्ट" की घटना भाज्य आयामों की एक सार्वभौमिक विशेषता है, जिससे वर्ग-मुक्त भाज्य $n$ के मामले में चक्रीय $n$ -मूलों की परिमितता के लिए उपयोग किए गए विशिष्ट न्यूनीकरण तर्क की वैधता समाप्त हो जाती है।

इसी तरह के और पेपर