🔢 mathematics

A virtually nilpotent group whose Green series is not D-finite

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

मूल लेखक: Corentin Bodart

प्रकाशित 2026-04-29

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

CC BY 4.0

मूल लेखक: Corentin Bodart

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

एक विशाल, अनंत शहर की कल्पना करें जो सख्त गणितीय नियमों के अनुसार बनाया गया है। यह शहर एक समूह (group) है, और इसके नियम कुछ बुनियादी "चालों" (generators) द्वारा परिभाषित हैं, जैसे कि आगे बढ़ना, पीछे हटना, बाएँ या दाएँ मुड़ना।

इस शोध पत्र में, लेखक, कोरेन्टिन बोडार्ट (Corentin Bodart), एक विशिष्ट प्रकार के शहर का अन्वेषण करते हैं जिसे वर्चुअली निलपोटेंट समूह (virtually nilpotent group) कहा जाता है। इसे एक ऐसे शहर के रूप में सोचें जो काफी हद तक व्यवस्थित और पूर्वानुमेय (predictable) है (जैसे कि एक ग्रिड), लेकिन इसमें कुछ छिपे हुए, थोड़े अराजक मोड़ (twists) भी हैं।

मुख्य प्रश्न यह है: क्या हम एक सटीक, सरल सूत्र लिख सकते हैं जो यह अनुमान लगा सके कि $N$ कदमों में शहर के केंद्र से शुरू करने और ठीक वहीं वापस पहुँचने के कितने तरीके हैं?

गणित में, इस गणना को ग्रीन सीरीज़ (Green series) या कोग्रोथ सीरीज़ (cogrowth series) कहा जाता है। गणितज्ञ सूत्रों की "सरलता" के एक पदानुक्रम (hierarchy) का उपयोग करते हैं:

रैशनल (Rational): सरल भिन्न (जैसे $1/(1-x)$ )।
अल्जेब्रिक (Algebraic): मूल (roots) वाले सूत्र (जैसे $\sqrt{1-x}$ )।
डी-फाइनाइट (D-finite): एक थोड़ा अधिक जटिल श्रेणी, जो फिर भी एक पूर्वानुमेय पैटर्न का पालन करती है।
डी-अल्जेब्रिक (D-algebraic): अन्य कुछ भी।

द दशकों से, गणितज्ञों को संदेह था कि इन व्यवस्थित "वर्चुअली निलपोटेंट" शहरों के लिए, ग्रीन सीरीज़ हमेशा डी-फाइनाइट श्रेणी में ही आएगी। उनका मानना था कि घर लौटने का पैटर्न इतना नियमित है कि वह इससे अधिक कुछ नहीं हो सकता।

बड़ी खोज

बोडार्ट सिद्ध करते हैं कि यह संदेह गलत है। वह एक विशिष्ट शहर (एक समूह जिसे $vH$ कहा जाता है) और चालों का एक विशिष्ट सेट निर्मित करते हैं जहाँ घर लौटने का पैटर्न डी-फाइनाइट नहीं है। यह इतना अराजक है कि इसे उन मानक "पूर्वानुमेय" सूत्रों द्वारा वर्णित नहीं किया जा सकता है जिनका उपयोग गणितज्ञ आमतौर पर करते हैं।

उन्होंने इसे कैसे सिद्ध किया? (उपमा)

यह सिद्ध करने के लिए कि एक पैटर्न सरल नहीं है, आपको यह दिखाना होगा कि वह अविश्वसनीय रूप से जटिल है। बोडार्ट सबवर्ड कॉम्प्लेक्सिटी (subword complexity) का उपयोग करने वाली एक चतुर तकनीक का उपयोग करते हैं, जो एक संख्या के अनुक्रम (sequence) की "बनावट" (texture) को देखने जैसा है।

"जादुई" अनुक्रम: वह समूह की संरचना के आधार पर संख्याओं का एक अनुक्रम बनाते हैं। फिर वह इन संख्याओं को मोड्यूलो 2 (modulo 2) के आधार पर देखते हैं (मूल रूप से, क्या वे सम हैं या विषम?)।
"सबवर्ड" परीक्षण: कल्पना करें कि आपके पास 0 और 1 की एक लंबी स्ट्रिंग है।
- यदि स्ट्रिंग सरल है (जैसे 010101...), तो लंबाई 10 के अद्वितीय पैटर्न जिन्हें आप पा सकते हैं, उनकी संख्या बहुत कम है।
- यदि स्ट्रिंग यादृच्छिक (random) है (जैसे 01101001...), तो लंबाई 10 के अद्वितीय पैटर्न की संख्या बहुत अधिक है (लगभग हर संभव संयोजन दिखाई देता है)।
- नियम: यदि कोई गणितीय श्रृंखला "डी-फाइनाइट" (पूर्वानुमेय) है, तो उसका सम/विषम पैटर्न बहुत अधिक यादृच्छिक नहीं हो सकता। उसकी जटिलता कम होनी चाहिए।
"अंकगणितीय चमत्कार" (Arithmetical Miracle): बोडार्ट अपने समूह के भीतर छिपे हुए एक विशिष्ट फलन (एक गुणात्मक अनुक्रम) को पाते हैं। वह सिद्ध करते हैं कि यह फलन उसके सम/विषम पैटर्न को देखने पर एक पूरी तरह से यादृच्छिक सिक्के के उछाल (coin flip) की तरह व्यवहार करता है।
- वह संख्या सिद्धांत की एक ट्रिक (प्राइम नंबर और उन्हें विभाजित करने वाले नंबरों से संबंधित) का उपयोग करके यह दिखाते हैं कि उनके अनुक्रम में कोई भी पैटर्न जो आप कल्पना कर सकते हैं, उसके लिए एक स्थान मौजूद है।
- क्योंकि पैटर्न अधिकतम जटिल है (इसमें प्रत्येक संभव उप-पैटर्न शामिल है), यह डी-फाइनाइट नहीं हो सकता।

"वर्चुअली निलपोटेंट" मोड़

उनके द्वारा चुना गया समूह, $vH$, एक "वर्चुअली निलपोटेंट" समूह है। आप इसे मानक हाइजनबर्ग समूह (एक प्रसिद्ध 3D ग्रिड जैसी संरचना) के रूप में सोच सकते हैं जिसमें एक छोटा सा अतिरिक्त मोड़ (एक "फ्लिप" ऑपरेशन) जोड़ा गया है।

लेखक दिखाते हैं कि यह विशिष्ट मोड़, एक विशिष्ट 10 चालों के सेट के साथ (जिनमें से 8 "t" हैं, और 2 "x" हैं), पूर्वानुमेयता को तोड़ देता है।
यह एक पूरी तरह से चिकनी, लुढ़कती पहाड़ी में एक एकल, नुकीले, ऊबड़-खाबड़ पत्थर को जोड़ने जैसा है। जबकि पहाड़ी चिकनी है, पत्थर लुढ़कती गेंद के पथ को पूर्वानुमानित करना असंभव बना देता है।

प्रभाव (Ripple Effect)

यह पत्र यह भी नोट करता है कि एक दिलचस्प दुष्प्रभाव है: क्योंकि यह समूह $SL_3(\mathbb{Z})$ (3x3 मैट्रिक्स के पूर्णांक प्रविष्टियों वाला एक प्रसिद्ध समूह) के भीतर समाहित किया जा सकता है, यह परिणाम सिद्ध करता है कि $SL_3(\mathbb{Z})$ में भी चालों का एक ऐसा सेट है जहाँ वापसी-पथ का पैटर्न डी-फाइनाइट नहीं है।

सारांश

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

यह पहली बार है जब वर्चुअली निलपोटेंट समूह में ऐसा "अराजक" पैटर्न मौजूद होने का प्रमाण मिला है, जिसने इस आम सहमति को तोड़ दिया है कि ये समूह हमेशा गणितीय रूप से "व्यवस्थित" होते हैं।

यहाँ कोरेन्टिन बोडार्ट (Corentin Bodart) के शोध पत्र "A VIRTUALLY NILPOTENT GROUP WHOSE GREEN SERIES IS NOT D-FINITE" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ (Problem Statement and Context)

ग्रीन सीरीज़ (The Green Series):
यह शोध पत्र ग्रीन सीरीज़ (जिसे कोग्रोथ सीरीज़ भी कहा जाता है), जिसे $\Gamma(G, S)(z)$ द्वारा दर्शाया गया है, की जांच करता है, जहाँ $G$ एक समूह है और $S$ एक परिमित जनरेटिंग मल्टीसेट (finite generating multiset) है। इसे इस प्रकार परिभाषित किया गया है:
$\Gamma(G, S)(z) = \sum_{\ell \geq 0} c_\ell z^\ell$
जहाँ $c_\ell$ (G, S) के केली ग्राफ (Cayley graph) में पहचान तत्व $e_G$ पर शुरू होने वाले और समाप्त होने वाले लंबाई $\ell$ के बंद पथों (closed paths) की संख्या है।

सीरीज़ का पदानुक्रम (The Hierarchy of Series):
लेखक इन सीरीज़ को एक विशिष्ट बीजगणितीय पदानुक्रम के भीतर वर्गीकृत करने का प्रयास करते हैं:
$\text{Rational} \subset \text{Algebraic} \subset \text{Diagonal of Rational} \subset \text{D-finite} \subset \text{D-algebraic}$

D-finite (Holonomic): एक सीरीज़ D-finite होती है यदि इसके गुणांक (coefficients) बहुपद गुणांकों (polynomial coefficients) के साथ एक रैखिक पुनरावृत्ति संबंध (linear recurrence relation) का पालन करते हैं।
ज्ञात परिणाम:
- $G$ परिमित होने पर Rational है।
- $G$ वर्चुअली फ्री (virtually free) होने पर Algebraic है।
- $G$ वर्चुअली $F_m \times \mathbb{Z}^n$ होने पर Diagonal of rational है।
- सुपर-पॉलीनोमियल ग्रोथ वाले अमीनबल समूहों (amenable groups) के लिए Not D-finite (Bell & Mishna)।
- $F_2 \times F_2$ और $SL_4(\mathbb{Z})$ के विशिष्ट जनरेटिंग सेट्स के लिए Not D-finite (Garrabrant & Pak)।

खुला प्रश्न (The Open Question):
वर्चुअली निलपोटेंट समूहों (virtually nilpotent groups) के लिए, आम सहमति स्पष्ट नहीं थी। हालांकि गुणांकों की एसिम्प्टोटिक ग्रोथ रेट अक्सर D-finite सीरीज़ के समान होती है, लेकिन यह अज्ञात था कि क्या सीरीज़ हमेशा D-finite होती है। पाक और सुपोक (Pak and Soukup) के एक पिछले परिणाम ने दिखाया था कि एक विशिष्ट निलपोटेंट समूह $UT_m(\mathbb{Z})$ (जहाँ $m \approx 10^8$ ) के लिए, या तो सीरीज़ 'डायगोनल ऑफ रेशनल' नहीं है, या इसे गणना करने के लिए कोई एल्गोरिदम मौजूद नहीं है। उन्होंने यह सिद्ध नहीं किया था कि सीरीज़ स्पष्ट रूप से गैर-D-finite (strictly non-D-finite) है।

लक्ष्य:
एक वर्चुअली निलपोटेंट समूह का पहला उदाहरण प्रदान करना जिसकी एक विशिष्ट जनरेटिंग सेट के लिए ग्रीन सीरीज़ D-finite नहीं है।

2. समूह और जनरेटिंग सेट (The Group and Generating Set)

यह शोध पत्र समूह **$vH $** पर केंद्रित है, जिसे सेमीडायरेक्ट प्रोडक्ट$ H_3(\mathbb{Z}) \rtimes C_2$ के रूप में परिभाषित किया गया है।

संरचना: $vH = \langle x, y, t \mid [x, [x, y]] = [y, [x, y]] = t^2 = e, txt = y \rangle$ ।
गुण: यह वर्चुअली 2-स्टेप निलपोटेंट है। इसे पहले पॉलीनोमियल जियोडेसिक ग्रोथ वाले पहले ऐसे समूह के रूप में पहचाना गया था जो वर्चुअली एबेलियन नहीं है।
जनरेटिंग सेट: उपयोग किया गया विशिष्ट मल्टीसेट $S = \{x, x^{-1}, t, t, t, t, t, t, t, t\}$ है। ध्यान दें कि जनरेटर $t$ की बहुलता (multiplicity) आठ है।

मुख्य प्रमेय (Theorem 1):
ग्रीन सीरीज़ $\Gamma(vH, S)(z)$ D-finite नहीं है।

उपप्रमेय (Corollary):
चूंकि $vH$, $SL_3(\mathbb{Z})$ में समाविष्ट (embed) होता है, इसलिए यह निष्कर्ष निकलता है कि $SL_3(\mathbb{Z})$ में एक ऐसा जनरेटिंग मल्टीसेट मौजूद है जिसके लिए ग्रीन सीरीज़ D-finite नहीं है। यह पिछले परिणामों का विस्तार करता है जो केवल $SL_m(\mathbb{Z})$ जहाँ $m \geq 4$ के लिए ज्ञात थे।

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

प्रूफ रणनीति गैराब्रेंट और पाक (Garrabrant and Pak) द्वारा $F_2 \times F_2$ के लिए उपयोग किए गए दृष्टिकोण को अपनाती है, जो सबवर्ड कॉम्प्लेक्सिटी (subword complexity) और मल्टीप्लिकेटिव सीक्वेंस पर आधारित है।

A. रिड्यूस्ड वर्ड्स तक न्यूनीकरण (Reduction to Reduced Words)

लेखक सबसे पहले ग्रीन सीरीज़ $\Gamma(z)$ को "रिड्यूस्ड" वर्ड्स $R(z)$ (ऐसे शब्द जिनमें तत्काल बैकट्रैकिंग $xx^{-1}$ न हो) की ग्रोथ सीरीज़ से जोड़ते हैं। बार्थोल्डी-ग्रिगोरचुक कोग्रोथ फॉर्मूला के एक रूपांतर का उपयोग करते हुए, यह दिखाया गया है कि $\Gamma(z)$ D-finite है यदि और केवल यदि $R(z)$ D-finite है।

B. पथों का विखंडन (Decomposition of Paths)

रिड्यूस्ड वर्ड्स $R$ को $t$ जनरेटर्स की संख्या के आधार पर तीन उपसमुच्चयों में विभाजित किया गया है:

$R_1$ : कम $t$ 's वाले शब्द (अधिकतम 4 $t$ , या लगातार $t$ '्स के साथ 6 $t$ )। यह सेट एक कॉन्टेक्स्ट-फ्री भाषा के अनुरूप है और एक अल्जेब्रिक (अतः D-finite) सीरीज़ देता है।
$R_3$ : बहुत अधिक $t$ 's वाले शब्द (कम से कम 8 $t$ )। इन पदों का योगदान 2 की उच्च घातों द्वारा विभाज्य है, जिससे वे विशिष्ट घातों के मॉड्युलो (modulo) में नगण्य हो जाते हैं।
$R_2$ : ठीक छह $t$ वाले शब्द और कोई लगातार $t$ नहीं। यह महत्वपूर्ण सेट है।

C. $R_2$ का कॉम्बिनेटरियल विश्लेषण (Combinatorial Analysis of $R_2$ )

$R_2$ में पथ हाइजनबर्ग सबग्रुप के केली ग्राफ में विशिष्ट ज्यामितीय आकृतियों के अनुरूप होते हैं। इन पथों की गिनती पूर्णांकों $(a, b, c, d)$ के लिए डायोफेंटाइन सिस्टम (Diophantine system) को हल करने में बदल जाती है:
$a + b + c + d = n, \quad ab = cd$
समाधानों की संख्या, जिसे $|S_n|$ द्वारा दर्शाया गया है, का विश्लेषण 2 की घातों के मॉड्युलो में किया जाता है। लेखक गणना को सरल बनाने के लिए डायहेड्रल ग्रुप $D_8$ के एक्शन जैसी समरूपताओं (symmetries) की पहचान करते हैं।

D. मल्टीप्लिकेटिव फंक्शन्स के साथ संबंध (Connection to Multiplicative Functions)

विश्लेषण से पता चलता है कि समाधानों की संख्या $|S_n|$ (विशेष रूप से विषम इंडेक्स के लिए) सीधे एक फलन $m(n)$ से संबंधित है, जो $m(n)$ द्वारा परिभाषित है: वह सबसे बड़ा पूर्णांक कि $m^2$ , $n$ को विभाजित करता है।
लेखक एक व्युत्पन्न सीरीज़ $S(z)$ का निर्माण करते हैं जिसके गुणांक 2 के मॉड्युलो में एक मल्टीप्लिकेटिव फलन $f(n)$ के मान पर निर्भर करते हैं:
$f(n) = m\left(\frac{n}{2^{\nu_2(n)}}\right) \pmod 4$
जहाँ $f(n) \in \{+1, -1\}$ ।

E. सबवर्ड कॉम्प्लेक्सिटी तर्क (Subword Complexity Argument)

प्रूफ का मुख्य हिस्सा थ्योरम 7 (Garrabrant–Pak) पर आधारित है: यदि कोई सीरीज़ D-finite है, तो 2 के मॉड्युलो इसके गुणांकों की सबवर्ड कॉम्प्लेक्सिटी $o(2^n)$ होनी चाहिए।
लेखक थ्योरम 9 सिद्ध करते हैं: ऊपर वर्णित विशिष्ट मल्टीप्लिकेटिव फलन $f(n)$ के लिए, सबवर्ड कॉम्प्लेक्सिटी अधिकतम (maximal) ( $p_f(n) = 2^n$ ) है।

थ्योरम 9 का प्रमाण: चाइनीज रिमाइंडर थ्योरम और उन प्राइम पावर्स की विरलता (sparseness) का उपयोग करना जहाँ $f(q) = -1$ है, यह दिखाने के लिए कि $f(x+i)$ के लिए किसी भी लंबाई $n$ का $\pm 1$ पैटर्न $x$ द्वारा प्राप्त किया जा सकता है।

चूंकि व्युत्पन्न सीरीज़ $S(z)$ के गुणांक अधिकतम सबवर्ड कॉम्प्लेक्सिटी प्रदर्शित करते हैं, इसलिए $S(z)$ D-finite नहीं हो सकता। चूंकि $S(z)$ को $R(z)$ से D-finite संरक्षित ऑपरेशन्स (even/odd टर्म्स का निष्कर्षण, लीनियर कॉम्बिनेशन) का उपयोग करके बनाया गया है, इसलिए मूल सीरीज़ $R(z)$ और फलस्वरूप $\Gamma(z)$ D-finite नहीं है।

4. मुख्य योगदान (Key Contributions)

वर्चुअली निलपोटेंट केस का समाधान: यह शोध पत्र इस धारणा को चुनौती देता है कि वर्चुअली निलपोटेंट समूहों की ग्रीन सीरीज़ D-finite होती है, और इसका पहला प्रति-उदाहरण (counterexample) प्रदान करता है।
पाक-सुपोक का परिशोधन: यह पाक और सुपोक के परिणाम को मजबूत करता है, यह सिद्ध करके कि सीरीज़ स्पष्ट रूप से D-finite नहीं है (केवल 'डायगोनल ऑफ रेशनल' या 'गैर-गणना योग्य' होने के बजाय) एक वर्चुअली निलपोटेंट समूह के लिए।
$SL_3(\mathbb{Z})$ का विस्तार: $vH $को$ SL_3(\mathbb{Z}) $में समाविष्ट करके, यह परिणाम को$ SL_3(\mathbb{Z}) $तक विस्तारित करता है (जो पहले केवल$ m \geq 4$ के लिए ज्ञात था)।
पद्धतिगत प्रगति: यह पत्र सफलतापूर्वक "मल्टीप्लिकेटिव सीक्वेंस की सबवर्ड कॉम्प्लेक्सिटी" तकनीक को निलपोटेंट सेटिंग में लागू करता है, जो कि निलपोटेंट समूहों में मानक एसिम्प्टोटिक ग्रोथ रेट्स की कठिनाई को दूर करता है क्योंकि वे अक्सर D-finite व्यवहार की नकल करते हैं।

5. महत्व और भविष्य की दिशाएं (Significance and Future Directions)

सैद्धांतिक प्रभाव: यह परिणाम इस अंतर्ज्ञान को चुनौती देता है कि "अच्छे" ज्यामितीय समूह (जैसे निलपोटेंट समूह) हमेशा "अच्छी" जनरेटिंग फंक्शन देते हैं। यह दर्शाता है कि समूह संरचना के अंकगणितीय गुण (विशेष रूप से जनरेटर $t$ और हाइजनबर्ग सबग्रुप के बीच की परस्पर क्रिया) कोग्रोथ सीरीज़ में अराजक (chaotic) व्यवहार उत्पन्न कर सकते हैं।
खुले प्रश्न:
- डिस्क्रीट हाइजनबर्ग ग्रुप $H_3(\mathbb{Z})$ : लेख में उल्लेख है कि यहाँ उपयोग किया गया जनरेटर ( $t$ ) जोड़ने का विशिष्ट तरीका सीधे $H_3(\mathbb{Z})$ पर लागू नहीं होता है। $H_3(\mathbb{Z})$ तक इस परिणाम का विस्तार करना एक खुला और महत्वपूर्ण विषय बना हुआ है।
- एसिम्प्टोटिक फ्रीक्वेंसी: लेखक उल्लेख करते हैं कि स्क्वायर-फ्री नंबरों के एसिम्प्टोटिक डेंसिटी का उपयोग करने वाला वैकल्पिक प्रमाण इस अनसुलझे अनुमान पर निर्भर करेगा कि $\pi^2$ और कैटलन स्थिरांक $G$ , $\mathbb{Q}$ पर रैखिक रूप से स्वतंत्र हैं।
व्यापक संदर्भ: यह परिणाम सुझाव देता है कि समूह सिद्धांत में D-finite और गैर-D-finite सीरीज़ के बीच की सीमा पहले की तुलना में अधिक जटिल है, विशेष रूप से उन समूहों के लिए जो एबेलियन या निलपोटेंट के बहुत करीब हैं।

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