🔢 mathematics

Farey-Recursive Shortest Completions and Universal Spectra in Rational Balance Languages

यह शोध पत्र एक क्रॉस-पैरामीटर ऑर्डर्ड फेरी रिकर्सन (Ordered Farey Recursion) स्थापित करता है जो स्पष्ट इंडेक्स मानचित्रों के माध्यम से तर्कसंगत संतुलन भाषाओं (rational balance languages) के लघुतम-पूर्णता प्रोफाइल्स (shortest-completion profiles) को विघटित करता है, जिससे यह प्रकट होता है कि उनकी स्थानीय गतिशीलता शास्त्रीय क्रिस्टोफ़ल पथों (Christoffel paths) के अनुरूप है और उनकी वैश्विक संरचना यूनिमोडुलर समन्वय रूपांतरणों (unimodular coordinate transformations) से प्राप्त सार्वभौमिक पूर्णता स्पेक्ट्रा (universal completion spectra) प्रदान करती है।

मूल लेखक: Alp Eren Bütün

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

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

CC BY 4.0

मूल लेखक: Alp Eren Bütün

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

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

अल्प एरेन बुटुन (Alp Eren Bütün) नामक एक शोधकर्ता ने हाल ही में इस उलझे हुए जाल को आश्चर्यजनक स्पष्टता के साथ मानचित्रित किया है। यह कार्य एक विशिष्ट प्रकार की मशीन से शुरू होता है, जो एक प्रकार का डिजिटल प्रोसेसर है जो शून्य और एक (zeros and ones) की एक धारा को पढ़ता है। यह मशीन इस बात का हिसाब रखती है कि वह "संतुलित" होने से कितनी दूर है, जहाँ एकों और ज़ीरो की गिनती एक सटीक गणितीय नियम का पालन करती है। जब मशीन रुकती है, तो वह अक्सर असंतुलन की एक स्थिति में होती है, जिसमें एक विशिष्ट "ऋण" या "अधिशेष" (surplus) होता है जिसे चुकाने की आवश्यकता होती है। मुख्य प्रश्न सरल है: इस ऋण को चुकाने के लिए शून्य और एक की न्यूनतम संख्या क्या है? शोधकर्ता इसे "शॉर्टेस्ट कंप्लीशन" (shortest completion) कहते हैं। हालांकि एक एकल, अलग ऋण के लिए उत्तर खोजना सीधा है, वास्तविक खोज हर संभावित ऋण की पूरी श्रृंखला को एक साथ देखने में निहित है। बुटुन ने पाया कि यदि आप प्रत्येक संभावित ऋण के समाधानों को एक पंक्ति में व्यवस्थित करते हैं, तो वे यादृच्छिक (random) नहीं दिखाई देते हैं। इसके बजाय, वे एक अत्यधिक संरचित, व्यवस्थित अनुक्रम बनाते हैं जो नियमों के एक सख्त सेट का पालन करता है, जो इस बात का गहरा संबंध प्रकट करता है कि संख्याएँ कैसे संतुलित होती हैं और भिन्न (fractions) सरल अंशों से कैसे निर्मित होते हैं।

इस खोज का केंद्र सरल समाधानों से जटिल समाधान बनाने की एक विधि है, एक ऐसी प्रक्रिया जो इस बात की नकल करती है कि एक वंशावली वृक्ष कैसे बढ़ता है। गणित में, सभी संभावित भिन्नों को व्यवस्थित करने का एक प्रसिद्ध तरीका है, जिसे स्टर्न-ब्रोकोट ट्री (Stern-Brocot tree) कहा जाता है, जहाँ प्रत्येक नया भिन्न दो "जनक" (parent) भिन्नों को संयोजित करके बनाया जाता है। बुटटन ने पाया कि 'शॉर्टेस्ट कंप्लीशन' के समाधान बिल्कुल उसी तरह व्यवहार करते हैं। यदि आप दो जनक भिन्नों के लिए लघुतम समाधानों की सूची जानते हैं, तो आप बिना किसी नई गणना के उनके 'संतान' (child) भिन्न के लिए संपूर्ण सूची का निर्माण कर सकते हैं। संतान की सूची उसके पूर्वजों की सूची का एक पुनर्गठन मात्र है। संतान की सूची का एक भाग पहले जनक के समाधानों की सीधी प्रति है, जबकि दूसरा भाग दूसरे जनक के समाधानों का थोड़ा स्थानांतरित संस्करण है। ये दोनों सूचियाँ स्वयं की संख्याओं द्वारा निर्धारित एक सटीक पैटर्न में आपस में बुनी हुई (interleaved) होती हैं। इसका अर्थ यह है कि समाधानों का संपूर्ण अनंत परिवार अलग-अलग पहेलियों का संग्रह नहीं है, बल्कि एक एकल, पुनरावर्ती रूप से उत्पन्न (recursively generated) प्रणाली है जहाँ प्रत्येक जटिल समाधान अपने सरल पूर्वजों के समाधानों का उपयोग करके आधार से निर्मित होता है।

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

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

शोधकर्ता इन निष्कर्षों पर कठोर प्रतीकात्मक प्रमाण (symbolic proof) के माध्यम से पहुँचे, यह सुनिश्चित करते हुए कि तर्क का प्रत्येक चरण गणितीय जांच के तहत बना रहे। निष्कर्षों को सत्यापित करने के लिए, छोटी संख्याओं से लेकर बहुत बड़ी संख्याओं तक हजारों अलग-अलग संख्या युग्मों पर व्यापक कंप्यूटर जाँच की गई। परीक्षण किए गए प्रत्येक मामले में, अनुमानित पैटर्न सही साबित हुआ, जिससे पुष्टि हुई कि पुनरावर्ती नियम और सार्वभौमिक स्पेक्ट्रा न केवल सैद्धांतिक जिज्ञासाएँ हैं, बल्कि मजबूत गणितीय तथ्य भी हैं। यह कार्य सिमुलेशन या सन्निकटन (approximations) पर निर्भर नहीं करता है; यह भिन्नों की संरचना और संतुलन प्रणालियों की दक्षता के बीच एक निश्चित संबंध स्थापित करता है। यह दिखाकर कि लघुतम पूर्णताएँ एक पुनरावर्ती वृक्ष द्वारा व्यवस्थित हैं और उनकी कुल लंबाई एक सार्वभौमिक नियम का पालन करती है, यह शोध पत्र इस गणितीय क्षेत्र का एक पूर्ण मानचित्र प्रदान करता है। यह उस समस्या को, जो अलग-अलग गणनाओं का संग्रह लग सकती थी, एक सुसंगत, परस्पर जुड़े हुए सिस्टम में बदल देता है, यह प्रकट करते हुए कि संतुलन का मार्ग हमेशा उन्हीं गहरे, पुनरावर्ती सिद्धांतों द्वारा निर्देशित होता है जो स्वयं संख्याओं की संरचना को नियंत्रित करते हैं।

यहाँ अल्प एरेन बुटुन के शोध पत्र "Farey-Recursive Shortest Completions and Universal Spectra in Rational Balance Languages" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र रैखिक डायोफेंटाइन समीकरण (linear Diophantine equation):
$px - qy = r$
के लिए लघुतम गैर-ऋणात्मक पूर्णांक पूर्णता सदिशों (shortest nonnegative integer completion vectors) की अंकगणितीय संरचना की जांच करता है, जहाँ $p$ और $q$ सह-अभाज्य (coprime) धनात्मक पूर्णांक हैं, $r \in \mathbb{Z}$ एक अवशेष (residual) है, और उद्देश्य $x, y \in \mathbb{Z}_{\ge 0}$ के अधीन $\ell_1$ नॉर्म $x + y$ को न्यूनतम करना है।

यह समस्या तर्कसंगत संतुलित भाषाओं (rational balance languages) $L_{p,q} = \{w \in \{0, 1\}^* : qN_1(w) = pN_0(w)\}$ में "लघुतम दाहिनी पूर्णता" (shortest right completion) से प्रेरित है। एक शब्द $w$ के लिए जिसका अवशेष $\rho(w) = qN_1(w) - pN_0(w)$ है, $x$ शून्य और $y$ एकों वाला एक प्रत्यय (suffix) शब्द को संतुलित करता है यदि $px - qy = \rho(w)$ हो। न्यूनतम युग्म $(x, y)$ को $\mu_{p,q}(r)$ के रूप में denoted किया गया है, और इसकी लंबाई $L_{p,q}(r) = x+y$ है।

जबकि इन लघुतमकरण (minimization) के व्यक्तिगत उदाहरण पृथक अनुकूलन समस्याएँ हैं, यह शोध पत्र तर्क देता है कि समाधानों का क्रमित परिवार $\{\mu_{p,q}(r)\}_{r \in \mathbb{Z}}$ अनुपात $q/p$ के फेरे अनुक्रम (Farey decomposition) द्वारा शासित एक अत्यधिक संरचित, पुनरावर्ती संगठन रखता है।

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

विश्लेषण यूनिमोड्यूलर अंकगणित (unimodular arithmetic), फेरे अनुक्रमों (Farey sequences), और स्टर्न-ब्रोकोट ट्री (Stern–Brocot tree) पर आधारित है। मुख्य कार्यप्रणाली में शामिल हैं:

कैनोनिकल स्ट्रिप लक्षण वर्णन (Canonical Strip Characterization): अद्वितीय लघुतम $\mu_{p,q}(r)$ को विशिष्ट "कैनोनिकल स्ट्रिप्स" (जैसे, $r \ge 0$ के लिए $0 \le y < p$ ) के भीतर स्थित अद्वितीय गैर-ऋणात्मक समाधान के रूप में पहचाना जाता है।
फेरे-पैरेंट अपघटन (Farey-Parent Decomposition): एक उचित सह-अभाज्य युग्म $(p, q)$ के लिए, शोध पत्र उन्मुख फेरे-पैरेंट अपघटन का उपयोग करता है:
$(p, q) = (c, u) + (v, d)$
जहाँ $pu - qc = 1$, $qv - pd = 1 $, और$ uv - cd = 1$ के रूप में सामान्यीकृत (normalized) है।
स्थानीय गतिकी (Local Dynamics): जैसे-जैसे अवशेष $r$ बढ़ता है, समाधान सदिश के विकास का विश्लेषण किया जाता है। शोध पत्र प्रदर्शित करता है कि क्रमिक समाधान दो विशिष्ट "कर्नेल-तुल्य यूनिट लिफ्ट्स" (kernel-equivalent unit lifts) में से एक द्वारा भिन्न होते हैं: $(u, c)$ या $(-d, -v)$ ।
वैश्विक पुनरावृत्ति (Global Recursion): शोध पत्र स्पष्ट फ्लोर/सीलिंग इंडेक्स मैप्स का उपयोग करके एक फेरे मीडियंट (Farey mediant) के समाधान प्रोफाइल और उसके पैरेंट्स के प्रोफाइल के बीच एक मैपिंग का निर्माण करता है।
स्केलर प्रोजेक्शन (Scalar Projection): सदिश परिणामों को स्केलर लंबाई $L_{p,q}(r)$ पर प्रोजेक्ट किया जाता है ताकि स्पेक्ट्रल गुणों का विश्लेषण किया जा सके, जो बीटी अनुक्रमों (Beatty sequences) और डेडेकंड योगों (Dedekind sums) के साथ संबंध स्थापित करता है।

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

1. स्थानीय यूनिट-लिफ्ट गतिकी (Local Unit-Lift Dynamics)

शोध पत्र स्थापित करता है कि लघुतम पूर्णता पथ एक "यूनिट-अवशेष लिफ्ट" और उसके बाद एक "कैनोनिकल कर्नेल रिडक्शन" के माध्यम से विकसित होता है।

प्रमेय 4.1: $0 \le r < p$ $0 \leq r < p$ के लिए, $\mu(r)$ $μ (r)$ से $\mu(r+1)$ $μ (r + 1)$ में संक्रमण दूसरे निर्देशांक $y_r$ $y_{r}$ द्वारा निर्धारित होता है:
- यदि $0 \le y_r < v$ , तो चरण $(u, c)$ है।
- यदि $v \le y_r < p$ , तो चरण $(-d, -v)$ है।
रिकवरी (Recovery): स्थानीय जंप वेक्टर्स उन्मुख फेरे पैरेंट्स $(c, u)$ और $(v, d)$ को अनन्य रूप से निर्धारित करते हैं।
ज्यामितीय व्याख्या: निर्देशांकों के यूनिमोड्यूलर परिवर्तन के बाद, यह स्थानीय वॉक एक शास्त्रीय तर्क यांत्रिक पथ (Christoffel word) के अनुरूप है, हालांकि शोध पत्र इस बात पर जोर देता है कि नवीनता इसके 'क्रॉस-पैरामीटर' पुनरावृत्ति में है, न कि स्वयं मैकेनिकल कोडिंग में।

2. क्रॉस-पैरामीटर ऑर्डर्ड फेरे रिकर्सन (मुख्य प्रमेय)

प्रमेय 5.3 मुख्य परिणाम है। यह बताता है कि एक फेरे मीडियंट $(p, q)$ का संपूर्ण अवशेष-सूचकांक पूर्णता प्रोफाइल, स्पष्ट, पूरक इंडेक्स मैप्स के माध्यम से उसके पैरेंट्स $(c, u)$ और $(v, d)$ के प्रोफाइल से पुनर्गठित होता है:

लेफ्ट पैरेंट इनहेरिटेंस (Left Parent Inheritance): $(c, u)$ का प्रोफाइल चाइल्ड प्रोफाइल के एक विशिष्ट उपसमुच्चय सूचकांकों को अपरिवर्तित रूप से भरता है।
राइट पैरेंट ट्रांसलेशन (Right Parent Translation): $(v, d)$ का प्रोफाइल एक निश्चित वेक्टर $(u, c)$ द्वारा स्थानांतरित, पूरक सूचकांकों को भरता है।
विभाजन (Partitioning): सूचकांक सेट फ्लोर/सीलिंग फंक्शन (जैसे, $\lfloor pr/c \rfloor$ और $\lfloor ps/v \rfloor + 1$ ) द्वारा परिभाषित हैं और चाइल्ड के अवशेष रेंज का एक विलगित विभाजन (disjoint partition) बनाते हैं। यह स्टर्न-ब्रोकोट ट्री पर प्रोफाइल्स का एक पुनरावर्ती सुसंगत परिवार (recursively coherent family) बनाता है।

3. यूनिवर्सल स्केलर स्पेक्ट्रा (Universal Scalar Spectra)

जबकि सदिश ज्यामिति अनुपात $p:q$ पर निर्भर करती है, स्केलर स्पेक्ट्रम केवल योग $m = p + q$ पर निर्भर करता है।

मौलिक स्पेक्ट्रम (Fundamental Spectrum): संयुक्त सकारात्मक और नकारात्मक मौलिक पूर्णता लंबाईओं का मल्टीसेट है:
$S^+ \uplus S^- = \{0, 0, 2, 3, \dots, m-1\}$
यूनिवर्सल शेल्स (Universal Shells): किसी भी उच्च अवशेष शेल $k$ के लिए, संयुक्त स्पेक्ट्रम मौलिक सेट का एक एफाइन ट्रांसलेट है: $\{k, k, k+2, \dots, k+m-1\}$ ।
मोमेंट्स (Moments): फलस्वरूप, सभी संयुक्त शेल पावर मोमेंट्स केवल $m$ पर निर्भर करते हैं।

4. शास्त्रीय संरचनाओं के साथ संबंध (Connections to Classical Structures)

शोध पत्र प्रदर्शित करता है कि कैसे शास्त्रीय अंकगणितीय वस्तुएं इस सदिश सिद्धांत के प्रोजेक्शन के रूप में उभरती हैं:

बीटी अनुक्रम (Beatty Sequences): स्केलर लंबाईएं परिमित तर्क बीटी विभाजनों (finite rational Beatty partitions) के अनुरूप हैं।
क्रिस्टोफ़ेल शब्द (Christoffel Words): स्थानीय जंप अनुक्रम एक तर्क यांत्रिक शब्द (rational mechanical word) को एनकोड करता है।
डेडेकंड योग (Dedekind Sums): शोध पत्र स्पेक्ट्रम के दूसरे मोमेंट के अनुपात-निर्भर विभाजन का विश्लेषण करके शास्त्रीय डेडेकंड पारस्परिकता नियम (Dedekind reciprocity law) को व्युत्पन्न करता है।

महत्व और दावे (Significance and Claims)

लेखक नवीनता की सीमाओं के संबंध में विशिष्ट विनम्रता के साथ अपने कार्य को प्रस्तुत करते हैं:

नवीन नहीं है: शोध पत्र स्पष्ट रूप से कहता है कि यह डायोफेंटाइन स्ट्रिप रिडक्शन, बेज़ौट/फेरे यूनिट स्टेप्स, मॉड्यूलर इन्वर्स, मैकेनिकल/क्रिस्टोफ़ेल कोडिंग, या अलग से डेडेकंड पारस्परिकता के लिए नवीनता का दावा नहीं करता है। ये अच्छी तरह से स्थापित शास्त्रीय परिणाम हैं।
मुख्य नवीनता: मुख्य योगदान क्रॉस-पैरामीटर ऑर्डर्ड फेरे रिकर्सन (प्रमेय 5.3) है। यह एक सदिश-मान पहचान (vector-valued identity) है जो एक फेरे मीडियंट के कैनोनिकल मिनइमाइज़र सेक्शंस की तुलना उसके पैरेंट्स और एक निश्चित ट्रांसलेट के साथ करती है। यह चाइल्ड प्रोफाइल के इंटरलीव्ड सबसीक्वेंसेस को एक अनशिफ्टेड पैरेंट प्रोफाइल और दूसरे के एक फिक्स्ड ट्रांसलेट के साथ पहचानता है।
संदर्भ: लेखक नोट करते हैं कि जबकि स्थानीय वॉक एक शास्त्रीय मैकेनिकल पाथ के समान है, इंडेक्स शफलिंग के माध्यम से दो अलग-अलग पैरेंट प्रोफाइल्स से चाइल्ड प्रोफाइल के वैश्विक पुनर्निर्माण (global reconstruction) को डिजिटल लाइन्स या क्रिस्टोफ़ेल शब्दों पर सर्वेक्षणित साहित्य में नहीं पाया गया है।

सत्यापन (Validation)

सभी गणितीय परिणाम प्रतीकात्मक रूप से सिद्ध किए गए हैं। शोध पत्र में कम्प्यूटेशनल ऑडिट शामिल हैं (जो $p, q \le 200$ तक सह-अभाज्य युग्मों और 5000 तक रैंडमाइज्ड पेयर्स को कवर करते हैं) जिनका उपयोग स्वतंत्र निरंतरता जाँच के रूप में किया गया था, जिसमें सूत्रों और इंडेक्स पार्टीशन के लिए कोई प्रति-उदाहरण नहीं मिला। ये गणनाएँ प्रमाणों के लिए आधार (premises) नहीं हैं, बल्कि व्युत्पन्न पहचानों के सत्यापन के रूप में कार्य करती हैं।

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