🔢 mathematics

Parry order of Parry numbers

यह शोध पत्र पेरोन संख्याओं (Perron numbers) को इस आधार पर वर्गीकृत करने के लिए "पैर्री ऑर्डर" (Parry order) प्रस्तुत करता है कि उनकी कितनी घातें (powers) पैर्री संख्याएँ बनी रहती हैं, जो यह सिद्ध करता है कि केवल पिसोट (Pisot) और सेलम (Salem) संख्याओं का ही अनंत पैर्री ऑर्डर होता है, जबकि अन्य सभी मामलों के लिए स्पष्ट सीमाएँ और संरचनात्मक उदाहरण स्थापित करता है।

मूल लेखक: Kevin G Hare, Hachem Hichri

प्रकाशित 2026-03-23

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

CC BY 4.0

मूल लेखक: Kevin G Hare, Hachem Hichri

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

कल्पना कीजिए कि आपके पास एक विशेष प्रकार का नंबर है, जिसे आप "जादुई नंबर" (Magic Number) कहते हैं (गणितज्ञ इन्हें पेरॉन नंबर (Perron numbers) कहते हैं)। इन नंबरों के पास एक अनूठी सुपरपावर होती है: यदि आप इन्हें बार-बार खुद से गुणा करते हैं (वर्ग करना, घन करना, आदि), तो वे आमतौर पर अपने "जादुic" गुणों को बनाए रखते हैं।

हालाँकि, इसमें एक पेंच है। कुछ जादुई नंबर "शुद्ध जादुई" (pure magic) होते हैं (वे हमेशा जादुई बने रहते हैं), जबकि अन्य "फीके पड़ने वाले जादुई" (fading magic) होते हैं (वे कुछ बार वर्ग करने के बाद अंततः अपना विशेष दर्जा खो देते हैं)।

यह शोध पत्र एक जासूसी कहानी की तरह है जहाँ लेखक यह पता लगाने की कोशिश करते हैं कि विभिन्न प्रकार के नंबरों के लिए जादू ठीक कितना समय तक चलता है। वे इन नंबरों को उनकी "सहनशक्ति" (stamina) के आधार पर वर्गीकृत करने का एक नया तरीका पेश करते हैं।

यहाँ सरल उपमाओं का उपयोग करके उनकी खोज का विवरण दिया गया है:

1. नंबरों के तीन प्रकार

इन नंबरों की दुनिया को तीन प्रकार के घरों वाले एक पड़ोस के रूप में सोचें:

पिसोट घर (The Pisot Houses - शाश्वत रहने वाले): ये सबसे स्थिर हैं। यदि आप इस घर के किसी नंबर को लें और उसका वर्ग, घन या 1,000वीं घात करें, तो वह हमेशा एक "पैरी नंबर" (एक विशिष्ट, साफ, दोहराव वाला पैटर्न वाला नंबर) बना रहता है। वे कभी अपना जादू नहीं खोते।
सेलम घर (The Salem Houses - रहस्यमयी मेहमान): ये पिसोट घरों के समान हैं लेकिन थोड़े अधिक जटिल हैं। लेखकों को संदेह है कि इनमें से अधिकांश के लिए, जादू भी हमेशा के लिए बना रहता है, लेकिन कुछ "विद्रोही" सेलम नंबर हो सकते हैं जो अंततः अपना पैटर्न खो देते हैं।
साधारण पेरॉन घर (The Ordinary Perron Houses - फीके पड़ने वाले): ये दिलचस्प हैं। ये जादुई पैटर्न के साथ शुरू होते हैं, लेकिन यदि आप इन्हें बार-बार खुद से गुणा करते रहते हैं, तो पैटर्न अंततः टूट जाता है। ये कुछ समय बाद "गैर-पैरी" (non-Parry) हो जाते हैं।

2. "पैरी ऑर्डर" (बैटरी लाइफ)

लेखक एक नई अवधारणा "पैरी ऑर्डर" (Parry Order) पेश करते हैं। इसे नंबर के जादू की बैटरी लाइफ के रूप में सोचें।

ऑर्डर = अनंत (Infinity): बैटरी कभी खत्म नहीं होती। ऐसा तब होता है जब नंबर एक पिसोट या (संभवतः) एक सेलम नंबर होता है। आप इसे अनंत काल तक गुणा कर सकते हैं, और यह "पैरी" बना रहेगा।
ऑर्डर = 0: बैटरी शुरुआत से ही खत्म है। नंबर कभी भी पैरी नहीं होता।
ऑर्डर = 5 (उदाहरण के लिए): बैटरी 5 बार वर्ग करने तक चलती है।
- घात 1: जादुई! (पैरी)
- घात 2: जादुई! (पैरी)
- ...
- घात 5: जादुई! (पैरी)
- घात 6: खत्म। (गैर-पैरी)
- घात 7, 8, 9...: अभी भी खत्म।

लेखक एक महत्वपूर्ण नियम सिद्ध करते हैं: यदि कोई नंबर पिसोट या सेलम नंबर नहीं है, तो उसकी बैटरी अंततः खत्म होनी ही चाहिए। यह अनंत काल तक जादुई नहीं रह सकता।

3. "गोल्डन रेशियो" की गति सीमा

बैटरी क्यों खत्म होती है? लेखकों ने एक गति सीमा (speed limit) पाई है।

कल्पना कीजिए कि नंबर की एक "परछाई" (एक गणितीय जुड़वां जिसे संयुग्मी या conjugate कहा जाता है) है। यदि उसकी परछाई बहुत बड़ी (विशेष रूप से, गोल्डन रेशियो, लगभग 1.618 से बड़ी) हो जाती है, तो जादू टूट जाता है।

जब आप एक नंबर का वर्ग करते हैं, तो उसकी परछाई भी वर्ग होती है।
अंततः, परछाई इतनी बड़ी हो जाती है कि वह "पैरी" क्लब के नियमों को तोड़ देती है।
लेखकों ने यह अनुमान लगाने के लिए एक सूत्र बनाया है कि यह ठीक कब होता है, यह इस बात पर निर्भर करता है कि नंबर कितना "बड़ा" है और उसकी परछाई कितनी "बड़ी" है।

4. बड़ी खोज: "जागने वाले" फीके पड़ने वाले नंबर

इस शोध पत्र से पहले, गणितज्ञ सोचते थे: "यदि कोई नंबर पैरी नहीं है, तो वह कभी पैरी नहीं है। यदि वह पैरी है, तो वह पैरी ही रहेगा।"

लेखकों ने एक चौंकाने वाला अपवाद खोजा। उन्होंने ऐसे नंबर खोजे जो शुरुआत में पैरी नहीं हैं, लेकिन यदि आप उनका वर्ग करते हैं (या घन करते हैं), तो वे पैरी बन जाते हैं!

उपमा: कल्पना करें कि एक इल्ली (caterpillar) है जो तितली नहीं है। लेकिन यदि आप कुछ दिन प्रतीक्षा करते हैं (गुणा करते हैं), तो वह तितली बन जाती है। यदि आप कुछ और दिन प्रतीक्षा करते हैं, तो वह वापस इल्ली बन जाती है (या मर जाती है)।
उन्होंने विशिष्ट उदाहरण खोजे जहाँ एक नंबर "कुरूप" (गैर-पैरी) है, घात 2 पर "सुंदर" (पैरी) बनता है, और फिर घात 3 पर फिर से "कुरूप" हो जाता है।

5. यह क्यों मायने रखता है?

यह केवल नंबरों के साथ खेलने के बारे में नहीं है। यह गणित की कुछ सबसे बड़ी अनसुलझी पहेलियों से जुड़ता है:

लेहमर का अनुमान (Lehmer's Conjecture): एक प्रसिद्ध पहेली जो एक साधारण भिन्न (fraction) नहीं होने वाले सबसे छोटे संभव "आकार" के बारे में है।
नंबरों का वितरण (Distribution of Numbers): यह हमें यह समझने में मदद करता है कि ये विशेष नंबर संख्या रेखा (number line) पर कैसे बिखरे हुए हैं।

सारांश में:
लेखकों ने "जादुई नंबर" के ब्रह्मांड का एक नया मानचित्र बनाया है। उन्होंने दिखाया कि:

शुद्ध जादू (पिसोट/सेलम) हमेशा के लिए बना रहता है।
फीके पड़ने वाले जादू की एक सख्त सीमा होती है कि वह कितने समय तक चलेगा, जो उसके आकार द्वारा निर्धारित होती है।
आश्चर्य: कुछ नंबर "जाग" सकते हैं और कुछ समय के लिए जादुई बन सकते हैं और फिर फीके पड़ सकते हैं।

उन्होंने अनिवार्य रूप से इन नंबरों की "सहनशक्ति" को मापने का एक नया तरीका बनाया है, जिससे एक शुष्क बीजगणितीय समस्या एक गतिशील कहानी में बदल गई है कि एक नंबर अपना विशेष पैटर्न बनाए रखने के लिए कितने समय तक संघर्ष कर सकता है।

यहाँ केविन जी. हेयर और हाशम हिचरी के शोध पत्र "The Parry Order of Perron Numbers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र पेरॉन संख्याओं (Perron numbers - वास्तविक बीजगणितीय पूर्णांक $\beta > 1$ जो अपने अन्य गैलुआ संयुग्मों (Galois conjugates) की तुलना में परिमाण में बड़े होते हैं) के वर्गीकरण को संबोधित करता है, जो उनके $\beta$ -विस्तार ( $\beta$ -expansions) से संबंधित गतिशील गुणों पर आधारित है।

संदर्भ: एक संख्या $\beta > 1$ एक पैर्री संख्या (Parry number) है यदि $\beta$ -रूपांतरण $T_\beta(x) = \beta x \mod 1$ के तहत $1$ का कक्ष (orbit) परिमित (या अंततः आवर्ती) है। पैर्री संख्याओं ( $\mathcal{P}$ ) का समुच्चय, पेरॉन संख्याओं का एक उपसमुच्चय है।
अंतराल (The Gap): हालांकि यह ज्ञात है कि सभी पिसोट (Pisot) संख्याएँ पैर्री संख्याएँ हैं और सभी सालेम (Salem) संख्याएँ पैर्री संख्याएँ होने की संभावना है (श्मिट का अनुमान/Schmidt's Conjecture), पैर्री संख्याओं का बीजगणितीय लक्षण वर्णन अभी भी एक खुला प्रश्न बना हुआ है। विशेष रूप से, यह स्पष्ट नहीं है कि "पैर्री गुण" घातांक (exponentiation) के तहत कैसे व्यवहार करता है।
मुख्य प्रश्न: किसी दिए गए पेरॉन नंबर $\beta$ के लिए, उसके कितने घात $\beta^n$ पैर्री संख्याएँ हैं? क्या एक गैर-पैर्री पेरॉन संख्या के घात पैर्री संख्याएँ हो सकते हैं?

2. कार्यप्रणाली (Methodology)

लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory), गतिशील प्रणाली सिद्धांत (dynamical systems theory), और संगणनात्मक प्रयोगात्मकता (computational experimentation) के संयोजन का उपयोग करते हैं।

सैद्धांतिक ढांचा (Theoretical Framework):
- सोलोमियाक के मानदंडों (Solymak's Criteria) का उपयोग: एक पेरॉन संख्या जिसका संयुग्मी (conjugate) $\theta_0 = \frac{1+\sqrt{5}}{2}$ (स्वर्ण अनुपात) से बड़ा होता है, वह पैर्री संख्या नहीं हो सकती।
- बॉयड के मानदंडों (Boyd's Criteria) का उपयोग: यह सहवर्ती बहुपद (companion polynomial) के पूंछ गुणांकों (tail coefficients) को गैर-पैर्री प्रकृति से जोड़ता है।
- माहलर माप (Mahler Measure - $M(\beta)$ ): संयुग्मों के विकास को सीमित करने के लिए उपयोग किया जाता है।
- गैलुआ सिद्धांत (Galois Theory): $\beta^n$ के संयुग्मों पर गैलुआ समूह के प्रभाव का विश्लेषण करना ताकि यह निर्धारित किया जा सके कि वे पैर्री सीमा से अधिक हैं या नहीं।
परिभाषित किए गए शब्द:
- पैर्री स्पेक्ट्रम ( $\text{Spec}_\mathcal{P}(\beta)$ ): उन पूर्णांकों का समुच्चय $n$ जिससे $\beta^n$ एक पैर्री संख्या है।
- पैर्री ऑर्डर ( $\text{Ord}_\mathcal{P}(\beta)$ ): वह सबसे बड़ा पूर्णांक $n$ जिससे $\beta^n$ एक पैर्री संख्या है। यदि $\beta$ पिसोट या सालेम है, तो $\text{Ord}_\mathcal{P}(\beta) = \infty$ होगा।
संगणनात्मक दृष्टिकोण (Computational Approach):
- विशिष्ट बहुपदों (जैसे $x^d - x - 1$ और $x^d - x^{d-1} - 1$ ) के लिए $\beta$ -विस्तार की स्पष्ट गणना।
- गैर-पैर्री संख्याओं के लिए अकीयमा (Akiyama) के परीक्षण का सत्यापन।
- घनत्व और वितरण का विश्लेषण करने के लिए सीमित डिग्री और गुणांक आकार वाले पेरॉन नंबरों के बड़े डेटासेट का निर्माण।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. अनंत पैर्री घातों का लक्षण वर्णन (Characterization of Infinite Parry Powers)

यह शोध पत्र पिसोट और सालेम संख्याओं का एक निश्चित गतिशील लक्षण वर्णन स्थापित करता है:

प्रमेय 1.2: एक पेरॉन संख्या $\beta$ के पास अनंत घातें $\beta^n$ पैर्री संख्याएँ होती हैं यदि और केवल यदि $\beta$ एक पिसोट या सालेम संख्या है।
निहितार्थ: किसी भी ऐसे पेरॉन नंबर के लिए जो पिसोट या सालेम नहीं है, पैर्री घातों का समुच्चय परिमित है।

B. पैर्री ऑर्डर पर ऊपरी सीमा (Upper Bounds on Parry Order)

गैर-पिसोट/सालेम पेरॉन नंबरों के लिए, लेखक $\text{Ord}_\mathcal{P}(\beta)$ के लिए स्पष्ट ऊपरी सीमाएं प्राप्त करते हैं:

प्रमेय 2.2: $\text{Ord}_\mathcal{P}(\beta) \leq \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$ , जहाँ $d$ डिग्री है और $M(\beta)$ माहलर माप है।
लेम्मा 2.3: $\beta$ के सबसे बड़े संयुग्मी $\gamma$ (जहाँ $|\gamma| > 1$ ) पर आधारित एक सख्त सीमा: $\text{Ord}_\mathcal{P}(\beta) \leq \lceil \frac{\log \theta_0}{\log |\gamma|} \rceil$ ।
ये सीमाएं सिद्ध करती हैं कि गैर-पिसोट/सालेम नंबरों के लिए, पर्याप्त बड़े $n$ के लिए $\beta^n$ अंततः एक गैर-पैर्री संख्या बन जाता है।

C. गैर-पैर्री नंबरों की पैर्री घातों की खोज (Discovery of Non-Parry Numbers with Parry Powers)

इस कार्य की एक प्रमुख नवीनता उन गैर-पकी पेरॉन नंबरों के पहले ज्ञात उदाहरणों का निर्माण है जिनके घात पैर्री संख्याएँ हैं।

उदाहरण 3.1: लेखक विशिष्ट डिग्री 12 के बहुपदों के मूल (roots) वाले पेरॉन नंबर $\beta$ की पहचान करते हैं, जहाँ $\beta$ गैर-पैर्री है, लेकिन $\beta^2$ पैर्री है।
यह प्रदर्शित करता है कि $H_n$ (पैर्री ऑर्डर $n$ वाले पेरॉन नंबर) के समुच्चय $n \geq 1$ के लिए गैर-रिक्त हैं और पैर्री तथा गैर-पैर्री अवस्थाओं के बीच का संक्रमण एकदिष्ट (monotonic) नहीं है।

D. पेरॉन नंबरों का नया विभाजन (New Partition of Perron Numbers)

लेखक पैर्री ऑर्डर के आधार पर पेरॉन नंबरों के समुच्चय $\mathcal{P}$ का एक नया विभाजन प्रस्तुत करते हैं:
$\mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty$
जहाँ:

$H_n = \{ \beta \in \mathcal{P} \mid \text{Ord}_\mathcal{P}(\beta) = n \}$
$H_\infty = S \cup T$ (पिसोट और सालेम संख्याओं का समुच्चय)।
वे सिद्ध करते हैं कि $H_1$ पैर्री संख्याओं का एक उचित उपसमुच्चय है और $H_0$ (गैर-पैर्री संख्याएँ जिनमें कोई पैर्री घात नहीं है) $(1, \infty)$ में सघन (dense) है।

E. विशिष्ट परिवारों का विश्लेषण (Analysis of Specific Families)

क्यूबिक संख्याएँ (Cubic Numbers): शोध पत्र क्यूबिक पेरॉन नंबरों का विस्तृत विश्लेषण प्रदान करता है। यह सिद्ध करता है कि पूर्णतः वास्तविक (totally real) गैर-पिसोट क्यूबिक नंबरों के लिए, पैर्री ऑर्डर या तो 0 है या विषम (odd) है।
अबाउंडेड ऑर्डर (Unbounded Order): प्रमेय 3.13 यह सिद्ध करता है कि अबाउंडेड पैर्री ऑर्डर वाले गैर-पिसोट पैर्री नंबरों के एक अनंत परिवार का अस्तित्व है। विशेष रूप से, $x^3 - dx^2 - 2x + d$ परिवार के लिए, पैर्री ऑर्डर $d$ के साथ बढ़ता है।
बहुपद परिवार (Polynomial Families):
- $x^d - x - 1$ ( $d \geq 4$ ) के मूलों के लिए, यह अनुमान लगाया गया है कि सभी घातें गैर-पैर्री हैं।
- $x^d - x^{d-1} - 1$ के मूलों के लिए, यह अनुमान लगाया गया है कि मूल पैर्री है, लेकिन इसके सभी उच्च घात गैर-पैर्री हैं।

4. महत्व और निहितार्थ (Significance and Implications)

गतिशीलता और अंकगणित को जोड़ना: यह कार्य $\beta$ -विस्तार की संयोजन संरचना (combinatorial structure) को बीजगणितीय पूर्णांकों के अंकगणितीय ज्यामिति से जोड़ता है, विशेष रूप रूप से पैर्री घातों की परिमितता को गैलुआ संयुग्मों के स्थान से जोड़ता है।
लेहमर की समस्या का परिशोधन (Refining Lehmer's Problem): लेखक एक गतिशील संस्करण वाला स्ट्रॉन्ग लेहमर अनुमान (अनुमान 1.6) प्रस्तावित करते हैं: यदि एक पेरॉन नंबर $\beta$ सबसे छोटी ज्ञात सालेम संख्या ( $\tau_{10} \approx 1.176$ ) से छोटा है, तो इसमें केवल सीमित संख्या में पैर्री घातें हो सकती हैं। यह सबसे छोटी सालेम संख्या की खोज को पैर्री ऑर्डर्स के वितरण के रूप में पुनर्गठित करता है।
संरचनात्मक समृद्धि: यह खोज कि गैर-पैर्री नंबरों के पास पैर्री घातें हो सकती हैं (और इसके विपरीत), एक जटिल गतिशील परिदृश्य को प्रकट करती है जो पहले अनदेखा था। यह दर्शाता है कि पैर्री संख्या होने का गुण सामान्य पेरॉन नंबरों के लिए साधारण घातांक के तहत संरक्षित नहीं रहता है।
संगणनात्मक साक्ष्य: शोध पत्र व्यापक संगणनात्मक डेटा (तालिका 3.5) प्रदान करता है जो इन वर्गों की सघनता को दर्शाता है, यह सुझाव देता है कि जैसे-जैसे डिग्री बढ़ती है, सीमित पैर्री ऑर्डर ( $H_0$ ) वाले नंबरों का अनुपात बढ़ता है, जबकि पिसोट/सालेम संख्या ( $H_\infty$ ) का अनुपात घटता जाता है।

निष्कर्ष (Conclusion)

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