An AI Proof of 18-Variable Undecidability for Diophantine Equations over $\mathbb Z[i]$

तकनीकी सारांश: $\mathbb{Z}[i]$ पर डिओफैंटाइन समीकरणों के लिए 18-चर अनिश्चितता का एक AI प्रमाण

समस्या विवरण
यह शोध पत्र गॉसियन पूर्णांकों, $\mathbb{Z}[i]$, के वलय (ring) पर हिल्बर्ट की दसवीं समस्या को संबोधित करता है। यह समस्या पूछती है कि क्या किसी दिए गए वलय पर एक अनिश्चित बहुपद समीकरण के समाधान को निर्धारित करने के लिए कोई एल्गोरिदम मौजूद है। जबकि $\mathbb{Z}$ पर इस समस्या की अनिश्चितता को मटियासेविच, डेविस, पुटनाम और रॉबिन्सन के प्रमेय द्वारा स्थापित किया गया था, एक स्वाभाविक परिष्करण यह है कि अनिश्चितता बनाए रखने के लिए अज्ञातों (unknowns) की न्यूनतम संख्या कितनी होनी चाहिए। मटियासेvich और सन के पिछले कार्य ने स्थापित किया था कि $\mathbb{Z}[i]$ पर 20 अज्ञातों वाले समीकरणों के लिए अनिश्चितता बनी रहती है। यह शोध पत्र इस सीमा को घटाकर 18 अज्ञातों तक लाने के लिए एक प्रमाण प्रस्तुत करता है।

कार्यप्रणाली और ढांचा
प्रमाण मटियासेविच और सन द्वारा स्थापित सामान्य ढांचे को बनाए रखता है, जो तीन मुख्य घटकों पर निर्भर करता है:

1. सन का फिक्स्ड-वेरिएबल प्रमेय: एक पुनरावर्ती रूप से गणनीय (recursively enumerable) लेकिन गैर-पुनरावर्ती सेट $A \subseteq \mathbb{N}$ और एक बहुपद $P(Z_0, \dots, Z_{10})$ का उपयोग करना, जहाँ $A$ में सदस्यता $z_{10} \neq 0$ के साथ $P(a, z_1, \dots, z_{10}) = 0$ के पूर्णांक समाधानों के अस्तित्व के समकक्ष है।
2. परिमेय पूर्णांकों के लिए डिओफैंटाइन परीक्षण: यह निर्धारित करने के लिए कि $\mathbb{Z}[i]$ के तत्व वास्तव में परिमेय पूर्णांक हैं या नहीं, एक विशिष्ट बहुपद परीक्षण (लेम्मा 3) का उपयोग करना।
3. परिमेयता मानदंड (Rationality Criterion): एक विशिष्ट निर्मित योग की परिमेयता के आधार पर चरों को परिमेय पूर्णांक होने के लिए मजबूर करने हेतु $\mathbb{Q}(i)$ पर एक मानदंड (लेम्मा 4) लागू करना।

लेखक 20 से 18 चरों तक की कमी लाने के लिए दो विशिष्ट संशोधनों को पेश करके यह उपलब्धि प्राप्त करते हैं:

मुख्य योगदान और तकनीकी संशोधन

1. हर (Denominator) को साफ करने वाले चर का उन्मूलन:
   20-चर वाले निर्माण में, परिमेयता मानदंड लागू करते समय हर को साफ करने के लिए एक सहायक चर पेश किया गया था। लेखक इसे $Z_1, \dots, Z_{10}$ पर लागू दो प्रत्यक्ष पूर्णांक शर्तों द्वारा प्रतिस्थापित करते हैं।
   माना $Y = 2 \prod_{k=1}^{10} (3Z_k + 1)$। हर को साफ करने के लिए एक चर जोड़ने के बजाय, प्रमाण निम्नलिखित शर्तें लागू करता है:
   $$Y^{10} \in \mathbb{Z} \quad \text{और} \quad Y^{11} + \sum_{k=1}^{10} Z_k Y^{10-k} \in \mathbb{Z}.$$
   चूंकि $Y \neq 0$ है, ये शर्तें सुनिश्चित करती हैं कि मात्रा $Y + \sum Z_k Y^{-k}$ एक परिमेय संख्या है। परिमेयता मानदंड द्वारा, यह सभी $Z_k$ को परिमेय पूर्णांक होने के लिए मजबूर करता है। यह संशोधन एक चर बचाता है।

2. एक-चर गैजेट के माध्यम से गैर-शून्य (Nonzero) स्थिति का अवशोषण:
   पिछले निर्माण में, एक गैर-शून्य स्थिति (विशेष रूप से उत्पाद $Z_{10}V_0V_1$ के लिए) को लागू करने के लिए दो चरों की आवश्यकता थी। लेखक एक एक-चर बहुपद गैजेट $Q(R) = (2R + 1)(3R + 1)$ पेश करते हैं।

• गुणधर्म: $Q(R)$, $\mathbb{Z}[i]$ पर कभी शून्य नहीं होता है। इसके अतिरिक्त, प्रत्येक गैर-शून्य पूर्णांक $n$ के लिए, एक पूर्णांक $R$ मौजूद है जिससे $n \mid Q(R)$ होता है।
• अनुप्रयोग: इस गैजेट को "संबंध-संयोजन लेम्मा" (लेम्मा 2) में एकीकृत किया जाता है। गैर-शून्य स्थिति को लागू करने के लिए एक अलग समीकरण के बजाय, इस शर्त को एकल समीकरण $f(C_0, C_1, N, Q(R), M) = 0$ में अवशोषित कर लिया जाता है। यदि $N=0$, तो समीकरण $Q(R)^4 = 0$ में बदल जाता है, जो असंभव है। इस प्रकार, यह समीकरण अप्रत्यक्ष रूप से $N \neq 0$ को लागू करता है, जिसके लिए अतिरिक्त चर की आवश्यकता नहीं होती है। यह संशोधन दूसरा चर बचाता है।

चर गणना का विवरण
परिणामी प्रणाली ठीक 18 चरों का उपयोग करती है:

• $Z_1, \dots, Z_{10}$: सन के फिक्स्ड-वेरिएबल इनपुट से 10 चर।
• $V_0, X_0, Y_0$ और $V_1, X_1, Y_1$: $U_0 = Y^{10}$ और $U_1 = W$ (जहाँ $W$, योग से व्युत्पन्न है) पर पूर्णांक परीक्षणों के लिए दो 3-चरों के सेट।
• $M$: संबंध-संयोजन लेम्मा से संयोजन चर।
• $R$: गैर-शून्य गैजेट से एकल चर।
  कुल: $10 + 3 + 3 + 1 + 1 = 18$।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1 को सिद्ध करता है: $\mathbb{Z}[i]^{18}$ में $\mathbb{Z}$ में गुणांकों वाले किसी भी बहुपद समीकरण $F(X_1, \dots, X_{18}) = 0$ के समाधान को तय करने के लिए कोई एल्गोरिदम नहीं है।

प्रमाण यह दर्शाता है कि गैर-पुनरावर्ती सेट $A$ की सदस्यता को 18 अज्ञातों वाले $\mathbb{Z}[i]$ पर एक एकल बहुपद समीकरण द्वारा प्रदर्शित किया जा सकता है। लेम्मा 1 द्वारा, निर्माण से प्राप्त समीकरणों के परिमित निकाय को नए चर पेश किए बिना एक एकल बहुपद समीकरण में संयोजित किया जा सकता है, जो पूर्णांक गुणांकों को सुरक्षित रखता है।

महत्व और दावे
लेखक कहते हैं कि यह परिणाम मटियासेविच और सन के 20-अज्ञात प्रमेय में सुधार करता है, जिससे चर की संख्या में दो की कमी आती है। शोध पत्र स्पष्ट रूप से नोट करता है कि यह पूर्ण इष्टतमता का दावा नहीं करता है; संख्या को और कम करने (जैसे, 17 तक) के लिए अतिरिक्त सुधारों की आवश्यकता होगी, जैसे कि छोटा पूर्णांक परीक्षण, पूर्णांक शर्तों के लिए एक साझा साक्षी (witness), एक मजबूत फिक्स्ड-वेरिएबल इनपुट, या एक भिन्न संयोजन तंत्र। यह कार्य गॉसियन पूर्णांकों पर डिओफैंटाइन अनिश्चितता के स्थापित ढांचे के भीतर एक तकनीकी परिष्करण के रूप में कार्य करता है।