🔢 mathematics

Stern polynomials and algebraic independence

माहलर की विधि (Mahler's method) का उपयोग करते हुए, शोध-पत्र स्टर्न बहुपदों (Stern polynomials) के उप-अनुक्रमों से उत्पन्न होने वाले सीमा फलनों $H_k(z)$ और $H_k(z^{t^k})$ के गैर-शून्य बीजगणितीय बिंदुओं पर मानों की बीजगणितीय स्वतंत्रता को सिद्ध करता है।

मूल लेखक: Daniel Duverney, Iekata Shiokawa

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

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

CC BY 4.0

मूल लेखक: Daniel Duverney, Iekata Shiokawa

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

कल्पना कीजिए कि आप लेगो ब्रिक्स (Lego bricks) से एक विशाल, अनंत मीनार बना रहे हैं। लेकिन इसमें एक पेंच है: आप केवल दो प्रकार के ब्रिक्स का उपयोग कर सकते हैं—लाल वाले और नीले वाले। आप अगले ब्रिक को कहाँ रखना है, यह तय करने के लिए एक बहुत ही विशिष्ट, दोहराव वाले नियमों के सेट का पालन करते हैं, जो पहले से रखे गए ब्रिक्स पर आधारित है।

यह मूल रूप से वही कर रहे हैं जो गणितज्ञ डैनियल डुवर्नी (Daniel Duverney) और इकेटा शिओकावा (Iekata Shiokawa) इस शोध पत्र में कर रहे हैं, लेकिन लेगो के बजाय, वे संख्याएँ और बहुपद (polynomials) (जो कि केवल फैंसी बीजगणितीय व्यंजक हैं) बना रहे हैं।

यहाँ उनकी खोज की कहानी है, जिसे सरल अवधारणाओं में विभाजित किया गया है:

1. जादुई अनुक्रम (The "Stern" Sequence)

बहुत समय पहले, स्टर्न (Stern) नामक एक गणितज्ञ ने संख्याओं का एक विशेष अनुक्रम बनाया था। यह 0 और 1 से शुरू होता है। अगली संख्याएँ प्राप्त करने के लिए, आप एक सरल नियम का पालन करते हैं:

यदि स्थिति सम (even) है, तो आप आधे अंतर पीछे से उस संख्या की नकल करते हैं।
यदि स्थिति विषम (odd) है, तो आप पिछली दो संख्याओं को आपस में जोड़ देते हैं।

यह एक ऐसा पैटर्न बनाता है जो यादृच्छिक (random) दिखता है लेकिन वास्तव में सख्त नियमों द्वारा नियंत्रित होता है।

2. "पॉलिनोमियल" अपग्रेड

2007 में, अन्य गणितज्ञों ने स्टर्न के अनुक्रम को लिया और उसे एक सुपरपावर दी: उन्होंने संख्याओं को बहुपदों (polynomials) में बदल दिया। एक बहुपद को एक ऐसी मशीन के रूप में सोचें जहाँ आप एक संख्या (जैसे $z$ ) डाल सकते हैं और परिणाम प्राप्त कर सकते हैं।

मूल स्टर्न अनुक्रम एक कैलकुलेटर की तरह था जो केवल पूर्ण संख्याएँ देता था।
नया "स्टर्न पॉलिनोमियल" एक ऐसे कैलकुलेटर की तरह है जो $z$ वाले व्यंजक (expressions) देता है।

3. अनंत मीनार (The Limit)

लेखकों ने इन बहुपदों की एक विशिष्ट, बहुत लंबी सूची देखी। जैसे-जैसे वे इस सूची में आगे बढ़ते गए (अनंत की ओर), उन्होंने देखा कि कुछ अद्भुत हुआ: बहुपद अधिक और अधिक एक जैसे दिखने लगे। वे एक एकल, पूर्ण, अनंत आकार में "स्थिर" होने लगे।

उन्होंने इस अंतिम आकार को $H_k(z)$ कहा।

कल्पना कीजिए कि आप एक फिल्म को फ्रेम दर फ्रेम देख रहे हैं। शुरुआत में छवि धुंधली होती है। लेकिन जैसे-जैसे आप अधिक फ्रेम देखते हैं, चित्र स्पष्ट होता जाता है और बदलना बंद हो जाता है। वह स्पष्ट, अंतिम चित्र $H_k(z)$ है।
यह आकार एक "पावर सीरीज़" (power series) है, जो केवल एक फैंसी तरीका है $1 + z + z^2 + z^3 + \dots$ जैसे पदों के अनंत योग को कहने का।

4. बड़ा सवाल: क्या वे संबंधित हैं?

लेखकों ने इस अनंत आकार के बारे में एक गहरा प्रश्न पूछा: क्या यह "स्वतंत्र" (independent) है?

गणित में, संख्याएँ "संबंधित" या "स्वतंत्र" हो सकती हैं।

संबंधित (Related): यदि आपके पास संख्या 2 और संख्या 4 है, तो वे संबंधित हैं क्योंकि $4 = 2 \times 2$ । आप सरल गणित का उपयोग करके उन्हें जोड़ने वाला एक समीकरण लिख सकते हैं।
स्वतंत्र (Independent): यदि आपके पास $\pi$ और $e$ हैं, तो वे इतने अलग हैं कि कोई भी सरल समीकरण उन्हें जोड़ नहीं सकता। वे "बीजगणितीय रूप से स्वतंत्र" (algebraically independent) हैं।

लेखकों ने पूछा कि यदि वे इस अनंत आकार $H_k(z)$ में एक विशिष्ट संख्या (मान लीजिए $\alpha$ ) डालते हैं, और फिर एक थोड़ी अलग संख्या ( $\alpha$ की एक घात/power) डालते हैं, तो क्या दोनों परिणाम संबंधित हैं?

5. जासूसी कार्य (Mahler's Method)

इसे हल करने के लिए, उन्होंने माहलर के मेथड (Mahler's Method) नामक एक प्रसिद्ध गणितीय जासूसी उपकरण का उपयोग किया।

उपमा: कल्पना कीजिए कि आपके पास दो रहस्यमय बंद बक्से हैं। आप नहीं जानते कि उनके अंदर क्या है, लेकिन आप जानते हैं कि उन्हें खोलने के लिए वे एक विशिष्ट सेट के नियमों (functional equations) का पालन करते हैं।
लेखकों ने सिद्ध किया कि इन बक्सों को नियंत्रित करने वाले नियम इतने जटिल और अद्वितीय हैं कि दोनों बक्सों की सामग्री को किसी भी सरल बीजगणितीय सूत्र द्वारा जोड़ा नहीं जा सकता है।

उन्होंने सिद्ध किया कि लगभग किसी भी संख्या को चुनने पर (जब तक कि वह 0 या 1 न हो), आपको इस अनंत आकार से जो दो मान मिलते हैं, वे पूरी तरह से असंबंधित होते हैं। वे "बीजगणितीय रूप से स्वतंत्र" हैं।

6. "ट्रांसेंडेंटल" खजाना

क्योंकि ये संख्याएँ इतनी स्वतंत्र हैं, वे ट्रांसेंडेंटल (transcendental) भी हैं।

बीजगणितीय संख्याएँ (Algebraic numbers) गणित के "आम लोगों" की तरह हैं (जैसे 2, 3, $\sqrt{2}$ )। उन्हें मानक समीकरणों को हल करके पाया जा सकता है।
ट्रांसेंडेंटल संख्याएँ (Transcendental numbers) "एलियंस" की तरह हैं (जैसे $\pi$ और $e$ )। वे इतनी जंगली हैं कि उन्हें मानक समीकरणों को हल करके नहीं पाया जा सकता।

यह शोध पत्र सिद्ध करता है कि इस स्टर्न पॉलिनोमियल प्रक्रिया द्वारा उत्पन्न अनंत सतत भिन्न (continued fractions) ट्रांसेंडेंटल हैं। वे ऐसे "एलियन" नंबर हैं जो सरल विवरण को चुनौती देते हैं।

संक्षेप में

लेखकों ने संख्याओं के एक सरल, नियम-आधारित पैटर्न को लिया, उसे एक अनंत गणितीय आकार में बदला, और सिद्ध किया कि यह आकार ऐसी अद्वितीय और जटिल संख्याएँ उत्पन्न करता है जिन्हें आपस में जोड़ने के लिए किसी भी सरल गणितीय समीकरण की आवश्यकता नहीं है।

यह क्यों मायने रखता है?
यह हमें संख्याओं की मौलिक संरचना को समझने में मदद करता है। यह हमें बताता है कि भले ही पैटर्न सरल और दोहराव वाले दिखें (जैसे स्टर्न अनुक्रम), उनके भीतर अविश्वसनीय रूप से जटिल, "जंगली" संख्याएँ छिपी हो सकती हैं जो एक-दूसरे से मौलिक रूप से स्वतंत्र हैं। यह ऐसा है जैसे यह पता लगाना कि एक गाने की एक सरल लय में वास्तव में एक छिपा हुआ, अनसुलझा संगीत समाहित है।

यहाँ डैनियल डुवेर्नी और इकेटा शिओकावा के शोध पत्र "स्टर्न पॉलिनोमिअल्स एंड अल्जेब्रिक इंडिपेंडेंस" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र स्टर्न पॉलिनोमिअल्स (Stern polynomials) से व्युत्पन्न पावर सीरीज़ के विशिष्ट मानों के संबंध में बीजगणितीय स्वतंत्रता (algebraic independence) की समस्या को संबोधित करता है।

संदर्भ: लेखक डिल्चर और एरिक्सन (2018) के कार्य को आगे बढ़ाते हैं, जिन्होंने "टाइप 1" स्टर्न पॉलिनोमिअल्स, जिन्हें $a_t(n; z)$ द्वारा दर्शाया जाता है, पेश किए थे। ये शास्त्रीय स्टर्न डायोटिक अनुक्रम (classical Stern diatomic sequence) और क्लैवज़र एट अल. (2007) द्वारा पेश किए गए स्टर्न पॉलिनोमिअल्स के सामान्यीकरण हैं।
विशिष्ट वस्तु: लेखक इन पॉलिनोमिअल्स के एक विशिष्ट उप-अनुक्रम (subsequence), $a_t(\alpha_n; z)$ पर ध्यान केंद्रित करते हैं, जहाँ $\alpha_n = \frac{2^{kn} - (-1)^n}{2^k + 1}$ है। यह उप-अनुक्रम $n \to \infty$ होने पर एक पावर सीरीज़ $H_k(z)$ की ओर अभिसरित (converge) होता है।
मुख्य प्रश्न: पूर्णांक $t \ge 2$ और $k \ge 1$ के लिए, क्या किसी गैर-शून्य बीजगणितीय संख्या $\alpha$ (जहाँ $|\alpha| < 1$ ) के लिए, मान $H_k(\alpha)$ और $H_k(\alpha^{t^k})$ बीजगणितीय रूप से स्वतंत्र हैं?

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

लेखक माहलर के मेथड (Mahler's method) का उपयोग करते हैं, जो ट्रांसेंडेंटल नंबर थ्योरी (transcendental number theory) में एक शक्तिशाली तकनीक है, जिसका उपयोग उन फलनों (functions) के मानों की बीजगणितीय स्वतंत्रता को सिद्ध करने के लिए किया जाता है जो विशिष्ट फलन समीकरणों (functional equations) का पालन करते हैं।

कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

फलन समीकरण (Functional Equations):
लिमिट फंक्शन $H_k(z)$ , स्टर्न पॉलिनोमिअल्स के पुनरावृत्ति (recurrence) से प्राप्त एक रैखिक फलन समीकरण का पालन करता है:
$H_k(z) = a_t(2k-1; z)H_k(z^{t^k}) + a_t(2k; z^{t^k})H_k(z^{t^{2k}})$
$f_1(z) = H_k(z)$ और $f_2(z) = H_k(z^{t^k})$ को परिभाषित करके, लेखक मैट्रिक्स रूप में फलन समीकरणों का एक सिस्टम तैयार करते हैं:
$\begin{pmatrix} f_1(z^{t^k}) \\ f_2(z^{t^k}) \end{pmatrix} = A(z) \begin{pmatrix} f_1(z) \\ f_2(z) \end{pmatrix}$
जहाँ $A(z)$ एक मैट्रिक्स है जिसमें $z$ के परिमेय फलन (rational functions) शामिल हैं।
माहलर के प्रमेय का अनुप्रयोग (Application of Mahler's Theorem):
प्रमाण कु. निशियोका की पुस्तक से थ्योरम 5.2 पर आधारित है। इस प्रमेय को लागू करने के लिए, लेखकों को तीन शर्तों को सत्यापित करना होगा:
- $f_1(z)$ और $f_2(z)$ $\mathbb{C}(z)$ पर ट्रांसेंडेंटल (transcendental) हैं।
- फलन $\mathbb{C}(z)$ पर बीजगणितीय रूप से स्वतंत्र (algebraically independent) हैं।
- मैट्रिक्स $A(z)$ में $n \ge 1$ के लिए बिंदुओं $\alpha^{t^{nk}}$ पर कोई पोल (pole) नहीं है।
सहायक लेम्मा (Auxiliary Lemmas):
माहलर के प्रमेय की शर्तों को पूरा करने के लिए, लेखक चार प्रमुख लेम्मा सिद्ध करते हैं:
- लेम्मा 2.1: यह स्थापित करता है कि रूपांतरण मैट्रिक्स $A(z)$ का एकमात्र पोल $z=0$ पर है। चूंकि इनपुट $\alpha$ गैर-शून्य है और $|\alpha|<1$ है, इसलिए ऑर्बिट $\alpha^{t^{nk}}$ कभी भी पोल से नहीं टकराता।
- लेम्मा 2.2: यह सिद्ध करता है कि अनुपात $H_k(1/2)/H_k(1/2^{t^k})$ अपरिमेय (irrational) है। यह अनुपात के निरंतर भिन्न (continued fraction) विस्तार का विश्लेषण करके और यह दिखाकर किया जाता है कि यह एक अनंत नियमित निरंतर भिन्न (infinite regular continued fraction) है।
- लेम्मा 2.3: यह सिद्ध करता है कि $H_क(z)$ , $\mathbb{C}(z)$ पर ट्रांसेंडेंटल है। यह फैटू के प्रमेय (Fatou's Theorem) का उपयोग करता है, जो कहता है कि एक पावर सीरीज़ जिसके गुणांक केवल सीमित मान (यहाँ 0 और 1) लेते हैं, या तो परिमेय (rational) होती है या ट्रांसेंडेंटल। लेम्मा 2.2 से प्राप्त अपरिमेयता का परिणाम परिमेय मामले को खारिज करता है।
- लेम्मा 2.4: यह सिद्ध करता है कि $f_1(z)$ और $f_2(z)$ , $\mathbb{C}(z)$ पर बीजगणितीय रूप से स्वतंत्र हैं। यह सबसे तकनीकी भाग है, जिसमें विरोधाभास (contradiction) का तर्क शामिल है। लेखक एक मैट्रिक्स उत्पाद $G^{(n)}(z)$ का निर्माण करते हैं और गुणांकों के विकास तथा $z=1$ पर व्यवहार का विश्लेषण करते हैं ताकि यह दिखाया जा सके कि माना गया निर्भरता (assumed dependence) एक विरोधाभास की ओर ले जाती है (विशेष रूप से, कि सह-अभाज्य बहुपद $a(z)$ और $b(z)$ दोनों $z=1$ पर शून्य होने चाहिए)।

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

मुख्य प्रमेय (Main Theorem)

थ्योरम 1.1: किसी भी बीजगणितीय संख्या $\alpha$ के लिए, जहाँ $0 < |\alpha| < 1$ , संख्याएँ $H_k(\alpha)$ और $H_k(\alpha^{t^k})$ बीजगणितीय रूप से स्वतंत्र (algebraically independent) हैं।

इसका अर्थ है कि कोई भी गैर-शून्य बहुपद $P(X, Y)$ जिसके गुणांक परिमेय हैं, ऐसा नहीं है कि $P(H_k(\alpha), H_k(\alpha^{t^k})) = 0$ हो।

निरंतर भिन्न पर कोरोलरी (Corollary on Continued Fractions)

कोरोलरी 1.1: स्टर्न पॉलिनोमिअल्स के सीमा (limit) द्वारा उत्पन्न अनंत निरंतर भिन्न (infinite continued fraction):
$\frac{H_k(\alpha)}{H_k(\alpha^{t^k})} = a_t(2k-1; \alpha) + \cfrac{a_t(2k; \alpha^{t^k})}{a_t(2k-1; \alpha^{t^k}) + \cfrac{a_t(2k; \alpha^{t^{2k}})}{a_t(2k-1; \alpha^{t^{2k}}) + \cdots}}$
किसी भी बीजगणितीय $\alpha$ के लिए, जहाँ $0 < |\alpha| < 1$ , ट्रांसेंडेंटल (transcendental) है।

उदाहरण (Examples)

शोध पत्र $k=1, 2, 3$ और सामान्य $t$ के लिए स्पष्ट उदाहरण प्रदान करता है। उदाहरण के लिए, $k=1$ के लिए:
$\frac{H_1(\alpha)}{H_1(\alpha^t)} = 1 + \cfrac{\alpha^t}{1 + \cfrac{\alpha^{t^2}}{1 + \cfrac{\alpha^{t^3}}{1 + \cdots}}}$
लेखक पुष्टि करते हैं कि ये विशिष्ट निरंतर भिन्न ट्रांसेंडेंटल संख्याएँ देते हैं।

4. महत्व (Significance)

ट्रांसेंडेंस थ्योरी में प्रगति: यह शोध पत्र सफलतापूर्वक माहलर के मेथड को स्टर्न पॉलिनोमिअल्स से परिभाषित कार्यों के एक नए वर्ग तक विस्तारित करता है। यह दर्शाता है कि कॉम्बिनेटरियल अनुक्रमों (combinatorial sequences) से उत्पन्न कार्यात्मक समीकरणों (functional equations) पर इस पद्धति की प्रयोज्यता।
ज्ञात परिणामों का सामान्यीकरण: जबकि पिछले कार्यों (जैसे कि बंडशुंड, वानेनेन और निशियोका द्वारा) ने निरंतर भिन्नों की ट्रांसेंडेंस को संबोधित किया है, यह शोध पत्र $t$ और $k$ द्वारा पैरामीटराइज्ड "टाइप 1" स्टर्न पॉलिनोमिअल्स के एक व्यापक परिवार के लिए एक एकीकृत ढांचा प्रदान करता है।
संयोजन विज्ञान (Combinatorics) से जुड़ाव: यह कार्य कॉम्बिनेटरियल नंबर थ्योरी (स्टर्न अनुक्रम) और एनालिटिक नंबर थ्योरी (मानों की ट्रांसेंडेंस) के बीच के अंतर को पाटता है। यह दिखाता है कि इन विशिष्ट पॉलिनोमिअल उप-अनुक्रमों के सीमा (limits) के पास मजबूत अंकगणितीय गुण होते हैं।
स्वतंत्रता का कठोर प्रमाण: बीजगणितीय स्वतंत्रता को सिद्ध करना केवल ट्रांसेंडेंस सिद्ध करने की तुलना में सामान्यतः कठिन होता है। यह स्थापित करके कि दो मान स्वतंत्र हैं, लेखक केवल यह बताने के बजाय कि निरंतर भिन्न ट्रांसेंडेंटल है, एक अधिक मजबूत परिणाम प्रदान करते हैं।

संक्षेप में, डुवेरनी और शिओकावा ने कठोरता से सिद्ध किया है कि स्टर्न पॉलिनोमिअल्स से व्युत्पन्न विशिष्ट प्रकार के पावर सीरीज़ के मान, बीजगणितीय बिंदुओं पर मूल्यांकित होने पर, बीजगणितीय रूप से स्वतंत्र संख्याएँ उत्पन्न करते हैं, जिससे संबंधित अनंत निरंतर भिन्नों की ट्रांसेंडेंस स्थापित होती है।