New properties of the $\varphi$-representation of integers

यहाँ जेफरी शालिट और इंग्रिड वुकुसिक के शोध पत्र "New properties of the $\phi$-representation of integers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र पूर्णांकों के $\phi$-प्रतिनिधित्व (जिसे गोल्डन रेशियो बेस या बेस-$\phi$ भी कहा जाता है) के गुणों की जांच करता है। इस प्रणाली में, प्रत्येक धनात्मक पूर्णांक $x$ को गोल्डन रेशियो $\phi = (1+\sqrt{5})/2$ की विशिष्ट घातों के परिमित योग के रूप में अद्वितीय रूप से दर्शाया जा सकता है:
$$x = \sum_{i=a}^{b} e_i \phi^i$$
जहाँ $e_i \in \{0, 1\}$ है और विशिष्टता सुनिश्चित करने के लिए "कोई क्रमागत 1 नहीं" ($e_i e_{i-1} = 0$) की शर्त लागू की गई है।

लेखक इन निरूपणों के संबंध में दो विशिष्ट संरचनात्मक प्रश्नों पर ध्यान केंद्रित करते हैं:

1. किमबर्लिंग का अनुमान (2012): क्या उन पूर्णांकों का सेट जिनका $\phi$-प्रतिनिधित्व "एंटीपलिंड्रोमिक" (antipalindromic) है (अर्थात घातांक $t$ तब उपस्थित होता है जब और केवल जब $-t$ उपस्थित हो) ठीक उसी सेट के बराबर है जहाँ प्रतिनिधित्व में प्रत्येक घातांक को दोगुना करने से एक अन्य पूर्णांक प्राप्त होता है?
2. घातांकों की समता (Parity of Exponents): प्राकृतिक संख्याओं के $\phi$-प्रतिनिधित्वों में घातांकों की समता (सम या विषम होना) के संबंध में क्या प्रतिबंध हैं? विशेष रूप से, लेखक उन पूर्णांकों के सेटों की खोज करते हैं जिनमें केवल सम घातांक, केवल विषम घातांक, या सम/विषम घातांकों की एक विशिष्ट संख्या होती है।

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

लेखक शास्त्रीय संख्या सिद्धांत (classical number theory) को ऑटोमेटा थ्योरी (automata theory) और औपचारिक सत्यापन (formal verification) के साथ संयोजित करते हुए एक हाइब्रिड कार्यप्रणाली का उपयोग करते हैं:

• सैद्धांतिक प्रमाण (Theoretical Proofs): वे गोल्डन रेशियो के संयुग्मी (conjugate) $\bar{\phi} = (1-\sqrt{5})/2$, फाइबोनैकी संख्याओं ($F_n$), और लुकास संख्याओं ($L_n$) के गुणों का उपयोग करते हैं। वे विशिष्ट योगों की पूर्णांक प्रकृति के संबंध में सीमाओं और विरोधाभासों को व्युत्पन्न करने के लिए गैलवा कंजुगेशन (Galois conjugation - $\phi \to \bar{\phi}$ मैपिंग) को लागू करते हैं।
• ऑटोमेटा थ्योरी और Walnut: कार्य का एक बड़ा हिस्सा Walnut पर आधारित है, जो ऑटोमैटिक अनुक्रमों (automatic sequences) के बारे में प्रथम-क्रम तर्क (first-order logic) कथनों के लिए एक प्रमेय-सिद्धक (theorem-prover) है।
  • लेखक एक पूर्व-मौजूद 39-स्टेट वाले परिमित ऑटोमेटा saka (जो शालिट के पिछले कार्य द्वारा विकसित किया गया था) का उपयोग करते हैं। यह ऑटोमेटा उन त्रिकों $(n, x, y)$ को स्वीकार करता है जहाँ $n$ एक पूर्णांक है, और $x.y^R$ (जहाँ $y^R$, $y$ का प्रतिलोम/reversal है) $n$ का $\phi$-प्रतिनिधित्व है।
  • वे ज़ेकेन्डॉर्फ (Zeckendorf) प्रतिनिधित्व के आधार पर पूर्णांकों के सेट को परिभाषित करने के लिए Walnut के भीतर नियमित अभिव्यक्तियों (regular expressions) और तार्किक विधेयों (logical predicates) का निर्माण करते हैं, जो सीधे $\phi$-प्रतिनिधित्व से मानचित्रित होते हैं।
  • यह उपकरण परिमित ऑटोमेटा के निर्माण और न्यूनीकरण (minimization) द्वारा जटिल तार्किक निहितार्थों (जैसे, "सभी $n$ के लिए, यदि $n$ में गुण $P$ है, तो $n$ में गुण $Q$ है") को सत्यापित करता है।
• AI सहायता: लेखक एक प्रमेय के दावे (थ्योरम 8, भाग a) के लिए एक मानक, गैर-ऑटोमेटा प्रमाण उत्पन्न करने में सहायता के लिए ChatGPT 5 के उपयोग का स्पष्ट रूप से उल्लेख करते हैं।

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

A. किमबर्लिंग के अनुमान का प्रमाण

लेखक सिद्ध करते हैं कि एंटीपैलंड्रोमिक $\phi$-प्रतिनिधित्व वाले पूर्णांकों का सेट $S$ (OEIS A178482), पूर्णांकों के उस सेट के ठीक बराबर है जहाँ $n$ के $\phi$-प्रतिनिधित्व में प्रत्येक घातांक $t$ को $2t$ से बदलने पर एक पूर्णांक प्राप्त होता है।

• मुख्य लेम्मा (Key Lemma): एक पूर्णांक का $\phi$-विस्तार एंटीपैलंड्रोमिक है यदि और केवल यदि विस्तार में सभी घातांक सम हैं।
• तंत्र (Mechanism): यदि घातांक सम हैं, तो $\phi^{2k} + \phi^{-2k} = L_{2k}$ (एक लुकास संख्या, जो एक पूर्णांक है) होता है। यदि विषम घातांक मौजूद हैं, तो योग में $\sqrt{5}$ शामिल होता है, जो परिणाम को पूर्णांक होने से रोकता है।

B. घातांकों पर समता संबंधी प्रतिबंध

यह शोध पत्र कैनोनिकल $\phi$-प्रतिनिधित्वों में घातांकों की समता के संबंध में सख्त नियम स्थापित करता है:

• सभी सम घातांक: ऐसे अनंत पूर्णांक हैं जिनमें सभी घातांक सम हैं (सेट $S$)।
• सभी विषम घातांक: कोई भी पूर्णांक $n \ge 2$ ऐसा नहीं है जिसका $\phi$-प्रतिनिधित्व पूरी तरह से विषम घातांकों से बना हो। न्यूनतम घातांक हमेशा सम होना चाहिए।
• ठीक एक सम घातांक: लेखक ठीक एक सम घातांक वाले पूर्णांकों के सेट का लक्षण वर्णन करते हैं।
  • वे इन संख्याओं के ज़ेकेन्डॉर्फ प्रतिनिधित्व को स्वीकार करने वाला एक नियत निर्धारक परिमित ऑटोमेटा (DFA) (चित्र 3) प्रदान करते हैं।
  • थ्योरम 9: एक पूर्णांक $n$ के $\phi$-विस्तार में ठीक एक सम घातांक है यदि और केवल यदि $n-1$ अलग-अलग विषम-सूचकांक वाली लुकास संख्याओं ($L_{2i+1}$) का योग है।
• ठीक एक विषम घातांक: लेखक उन पूर्णांकों का लक्षण वर्णन करते हैं जिनमें ठीक एक विषम घातांक है।
  • थ्योरम 10: ऐसा एक पूर्णांक $n$ तभी मौजूद होता है जब $n-2$ अलग-अलग सम-सूचकांक वाली लुकास संख्याओं ($L_{2i}$ जहाँ $i \ge 2$) का योग हो। इसके अतिरिक्त, इन संख्याओं के लिए, एकल विषम घातांक हमेशा 1 होता है।
• ठीक दो विषम घातांक:
  • थ्योरम 11: यदि किसी पूर्णांक में ठीक दो विषम घातांक हैं, तो वे या तो $\{3, 1\}$ या किसी $i \ge 1$ के लिए $\{2i+1, 1-2i\}$ होने चाहिए। शोध पत्र सिद्ध करता है कि दोनों मामले अनंत बार घटित होते हैं।

C. ऋणात्मक भाग की संरचनात्मक विशेषताएं

यह शोध पत्र $\phi$-प्रतिनिधित्व के "ऋणात्मक भाग" (दशमलव बिंदु के बाद का भाग) की समझ को परिष्कृत करता है।

• थ्योरम 8: किसी भी पूर्णांक $n \ge 2$ के लिए, इसके कैनोनिकल $\phi$-प्रतिनिधित्व का ऋणात्मक भाग (ज़ेकेन्डॉर्फ रूप में बाइनरी स्ट्रिंग के रूप में देखा गया) एक सम लंबाई का होगा और इसमें दो क्रमागत 1 नहीं हो सकते।

4. महत्व (Significance)

• खुले प्रश्नों का समाधान: यह शोध पत्र क्ार्क किमबर्लिंग द्वारा 2012 में किए गए एक अनुमान को निर्णायक रूप से हल करता है, जो एंटीपैलंड्रोमिक $\phi$-प्रतिनिधित्व और दोगुने घातांकों की पूर्णांक प्रकृति के बीच संबंध से संबंधित था।
• क्षेत्रों का मिलन: यह शास्त्रीय विश्लेषणात्मक संख्या सिद्धांत को स्वचालित प्रमेय सिद्ध करने (automated theorem proving) के साथ जोड़ने की शक्ति को प्रदर्शित करता है। Walnut का उपयोग उन गुणों के सत्यापन की अनुमति देता जो केवल मैन्युअल इंडक्शन (manual induction) के माध्यम से सिद्ध करना अत्यंत कठिन या कठिन होता, विशेष रूप से फाइबोनैकी और लुकास संख्याओं के बीच जटिल अंतःक्रियाओं के संदर्भ में।
• पूर्णांक सेटों का लक्षण वर्णन: यह कार्य $\phi$-आधारित विस्तारों की घातांक समता संरचना द्वारा परिभाषित पूर्णांकों के उपसमुच्चयों के लिए सटीक लक्षण वर्णन (ऑटोमेटा और लुकास संख्या योगों के माध्यम से) प्रदान करता है। यह $\beta$-न्यूमरेशन सिस्टम और रिंग $\mathbb{Z}[\phi]$ के अंकगणितीय गुणों की समझ को गहरा करता है।
• पद्धतिगत नवाचार: यह शोध पत्र गणितीय अनुसंधान में एक सहयोगी उपकरण के रूप में AI (ChatGPT) के उपयोग के लिए एक केस स्टडी के रूप में कार्य करता है, विशेष रूप से वैकल्पिक प्रमाण रणनीतियों को उत्पन्न करने के लिए।

संक्षेप में, यह शोध पत्र किमबर्लिंग के लंबे समय से चले आ रहे अनुमान को सिद्ध करके और गोल्डन रेशियो विस्तारों में घातांकों की समता के आधार पर पूर्णांकों के व्यापक वर्गीकरण को प्रदान करके $\phi$-प्रतिनिधित्व के सिद्धांत को आगे बढ़ाता है, जिसमें ऑटोमेटा थ्योरी और पारंपरिक संख्या सिद्धांत का एक नवीन मिश्रण उपयोग किया गया है।