🔢 mathematics

Thue equations that simultaneously fail the Hasse principle

यह शोध पत्र अख्तारी और भार्गव द्वारा किए गए एक निर्माण को परिष्कृत करता ताकि यह प्रदर्शित किया जा सके कि किसी भी धनात्मक पूर्णांक $m$ के लिए, 2 से अधिक निश्चित घात वाले थ्यू समीकरणों का एक धनात्मक अनुपात, सभी धनात्मक पूर्णांकों $h < m$ के लिए एक साथ इंटीग्रल हासे सिद्धांत (integral Hasse principle) को विफल करता है।

मूल लेखक: Paloma Bengoechea

प्रकाशित 2026-07-07

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

CC BY 4.0

मूल लेखक: Paloma Bengoechea

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक विशेष प्रकार के गणितीय ताले से जुड़ी एक गुत्थी सुलझाने की कोशिश कर रहे हैं। यह ताला एक जटिल सूत्र (जिसे थ्यू समीकरण (Thue equation) कहा जाता है) द्वारा परिभाषित है, जो दो संख्याओं, $x$ और $y$ , को लेता है और एक परिणाम देता है।

इस रहस्य के दो भाग हैं:

स्थानीय सुराग (The Local Clues): क्या आप एक समाधान पा सकते हैं यदि आप समस्या को केवल विशिष्ट "पड़ोसों" (गणितीय प्रणालियों जिन्हें $p$ -adic संख्याएँ कहा जाता है) के चश्मे से देखते हैं?
वैश्विक सत्य (The Global Truth): क्या आप पूर्ण संख्याओं ( $x, y$ ) का एक ऐसा जोड़ा पा सकते हैं जो हर जगह एक साथ इस समस्या को हल करता हो?

आमतौर पर, गणित में, यदि आप हर एक पड़ोसी (स्थानीय रूप से) में एक समाधान पा लेते हैं, तो आप उम्मीद करते हैं कि आपको पूरे विश्व (वैश्विक रूप से) में एक समाधान मिल जाएगा। यह अपेक्षा हासे सिद्धांत (Hasse Principle) कहलाती है। यह कुछ ऐसा है जैसे कहना: "यदि एक संदिग्ध हर पड़ोस के कैमरे में दोषी दिखाई देता है, तो वह शहर में भी दोषी ही होगा।"

बड़ी खोज
यह शोध पत्र, पालोमा बेंगोएचिया (Paloma Bengoechea) द्वारा, यह सिद्ध करता है कि इस प्रकार के गणितीय ताले के लिए यह अपेक्षा अक्सर गलत साबित होती है।

लेखिका दिखाती हैं कि ऐसे तालों का एक विशाल संग्रह मौजूद है जहाँ:

स्थानीय रूप से: आप प्रत्येक लक्ष्य संख्या (जैसे 1, 2, 3... $m$ तक) के लिए हर पड़ोसी में एक समाधान पा सकते हैं।
वैश्विक रूप से: उन लक्षित संख्याओं में से किसी के लिए भी कोई पूर्ण संख्या का जोड़ा इस समीकरण को हल नहीं करता है।

यहाँ तक कि अधिक प्रभावशाली बात यह है कि लेखिका एक ऐसी स्थिति का निर्माण करती हैं जहाँ यह विफलता एक साथ (simultaneously) होती है। कल्पना कीजिए कि तालों के एक सेट में, लक्षित संख्याओं के एक पूरे समूह (मान लीजिए 1 से 10 तक) के लिए, प्रत्येक के पास स्थानीय सुराग हैं लेकिन कोई वैश्विक समाधान नहीं है। वे सभी एक ही समय में इस परीक्षण में विफल होते हैं।

लेखिका ने इसे कैसे किया (उपमा)

मास्टर की (The Master Key - मूल रूप):
लेखिका एक "मास्टर" गणितीय रूप (एक विशिष्ट प्रकार का बहुपद) से शुरुआत करती हैं। वह जानती हैं कि यह रूप बहुत सख्त है; यह शायद ही कभी छोटे पूर्ण-संख्या वाले परिणाम देता है।
शफलिंग मशीन (The Shuffling Machine - निर्माण):
वह एक चतुर गणितीय "शफलिंग" तकनीक का उपयोग करती हैं। कल्पना कीजिए कि आप उस मास्टर रूप को लेते हैं और उसे अभाज्य संख्याओं (जैसे 2, 3, 5, 7...) की एक सूची के आधार पर घुमाने और मोड़ने वाली एक मशीन से चलाते हैं।

यह मशीन नए रूपों का एक पूरा परिवार बनाती है (आइए इन उन्हें "ट्विस्टेड लॉक" कहें)।
यह मशीन जिस तरह से काम करती है, उसके कारण ये नए ताले हर पड़ोसी में समाधान रखने के लिए गारंटीकृत होते हैं (वे स्थानीय परीक्षण पास कर लेते हैं)।

जाल (The Trap - गणना तर्क):
यहाँ चाल है। लेखिका यह सिद्ध करती हैं कि यदि इनमें से किसी भी नए "ट्विस्टेड लॉक" के पास वास्तव में एक वैश्विक समाधान होता, तो यह मूल "मास्टर फॉर्म" को बहुत अधिक समाधान देने के लिए मजबूर करता।

इसे इस तरह सोचें: यदि कोई व्यक्ति दावा करता है कि उसने भूलभुलैया में एक गुप्त निकास खोज लिया है, तो यह सच हो सकता है। लेकिन यदि 1,000 अलग-अलग लोग दावा करते हैं कि उन्होंने एक गुप्त निकास खोज लिया है, और गणित कहता है कि भूलभुलैया में केवल 50 निकासों के लिए जगह है, तो अधिकांश दावे गलत होने चाहिए।
लेखिका एक प्रसिद्ध गणितीय सीमा (ग्योरी का प्रमेय/Györy's Theorem) का उपयोग यह कहने के लिए करती हैं कि, "मास्टर फॉर्म के पास केवल बहुत कम समाधान हो सकते हैं।"
चूंकि उन्होंने हजारों ट्विस्टेड लॉक बनाए हैं, और वे सभी मास्टर फॉर्म से जुड़े हुए हैं, इसलिए गणितीय रूप से, उनमें से अधिकांश में वैश्विक समाधान नहीं हो सकता, भले ही वे दिखने में ऐसा लगें।

परिणाम
यह शोध पत्र सिद्ध करता है कि एक निश्चित आकार के सभी संभावित गणितीय रूपों में से, एक सकारात्मक अनुपात (positive proportion) (एक महत्वपूर्ण, गैर-शून्य प्रतिशत) ये "चालाक ताले" हैं। वे स्थानीय रूप से पूर्ण हैं लेकिन वास्तविक दुनिया की पूर्ण संख्याओं के मामले में असंभव हैं।

"एक साथ" क्यों?
पिछले कार्यों ने दिखाया था कि आप एक समीकरण पा सकते हैं जो परीक्षण में विफल होता है। यह शोध पत्र इस पद्धति को परिष्कृत करता है ताकि यह दिखाया जा सके कि आप समीकरणों का एक समूह पा सकते हैं जो कई लक्ष्य संख्याओं (1, 2, 3... $m$ तक) के लिए एक ही समय में विफल होते हैं। यह एक ही पंक्ति में रखे गए टूटे हुए वेंडिंग मशीनों के समूह को खोजने जैसा है जो सिक्के (स्थानीय समाधान) तो स्वीकार करते हैं, लेकिन आप चाहे जो भी स्नैक खरीदने की कोशिश करें, वे कभी भी स्नैक नहीं देते (वैश्विक समाधान नहीं देते)।

सारांश में
यह शोध पत्र ऐसे गणितीय पहेलियों के एक विशाल परिवार का निर्माण करता है जो "स्थानीय रूप से पूर्ण" लेकिन "वैश्विक रूप से टूटे हुए" हैं। यह सिद्ध करता है कि यह केवल एक दुर्लभ संयोग नहीं है; यह इतना अक्सर होता है कि यदि आप इस परिवार से एक यादृच्छिक (random) पहेली चुनते हैं, तो आपकी एक ऐसी पहेली खोजने की अच्छी संभावना है जो आपको यह विश्वास दिलाने के लिए धोखा देगी कि एक समाधान मौजूद है जबकि वास्तव में वह नहीं है।

तकनीकी सारांश: थ्यू समीकरण जो एक साथ हासे सिद्धांत (Hasse Principle) को विफल करते हैं

समस्या का विवरण
यह शोध पत्र $F(x, y) = h$ के रूप में थ्यू समीकरणों (Thue equations) के पूर्णांक हासे सिद्धांत (integral Hasse principle) को संबोधित करता है, जहाँ $F$ पूर्णांक गुणांकों वाला एक अपरिमेय बाइनरी फॉर्म (irreducible binary form) है जिसका घात $n \geq 3$ है, और $h$ एक धनात्मक पूर्णांक है। जबकि थ्यू का प्रमेय गारंटी देता है कि $|F(x, y)| \leq m$ के लिए समाधान परिमित हैं, पूर्णांक हासे सिद्धांत यह प्रतिपादित करता है कि यदि किसी समीकरण के सभी अभाज्य $p$ के लिए $p$ -एडिक पूर्णांकों $\mathbb{Z}_p$ में समाधान हैं (स्थानीय समाधानशीलता/local solubility), तो उसके पूर्णांकों $\mathbb{Z}$ में भी समाधान होना चाहिए (वैश्विक समाधानशीलता/global solubility)।

पूर्ववर्ती कार्य द्वारा अख्तारी और भार्गव ने प्रदर्शित किया था कि थ्यू समीकरणों $F(x, y) = m$ का एक सकारात्मक अनुपात इस सिद्धांत को विफल करता है। इस शोध पत्र में संबोधित विशिष्ट समस्या इस निर्माण को परिष्कृत करना है ताकि यह दिखाया जा सके कि किसी भी निश्चित धनात्मक पूर्णांक $m$ के लिए, बाइनरी फॉर्मों $F$ का एक सकारात्मक अनुपात उन सभी समीकरणों $F(x, y) = h$ के लिए एक साथ हासे सिद्धांत को विफल करता है जहाँ $1 \leq h \leq m$ है।

कार्यप्रणाली (Methodology)
लेखक बाइनरी फॉर्मों की ऊंचाई (height) के आधार पर, उनके गुणांकों के अधिकतम निरपेक्ष मान द्वारा क्रमबद्ध किए गए, एक रचनात्मक गणना तर्क (constructive counting argument) का उपयोग करते हैं। रणनीति तीन मुख्य घटकों पर आधारित है:

समाधानों पर ऊपरी सीमाएँ (Upper Bounds on Solutions): निर्माण में ग्योरी (Gyöary) के एक परिणाम (प्रमेय 2.1) का उपयोग किया जाता है, जो पर्याप्त बड़े $|D(F)|$ के सापेक्ष $|F(x, y)| \leq M$ थ्यू असमानताओं के प्रिमिटिव पूर्णांक समाधानों की संख्या पर एक ऊपरी सीमा प्रदान करता है। विशेष रूप से, यदि $|D(F)| \geq (3nM)^{6(n-1)}$ है, तो प्रिमिटिव समाधानों की संख्या अधिक से अधिक $32n + 11$ होगी।
स्थानीय-वैश्विक निर्माण (Local-Global Construction):
- स्थानीय समाधानशीलता (Local Solubility): लेखक ऐसे फॉर्म्स का निर्माण करते हैं जो हर पूर्णांक $h \leq m$ को स्थानीय रूप से हर जगह (सभी $p$ के लिए $\mathbb{Z}_p$ के ऊपर) निरूपित करते हैं। यह सुनिश्चित करके प्राप्त किया जाता है कि इन फॉर्म्स के छोटे अभाज्य $p_i$ के मॉड्यूल सरल मूल (simple roots) हों (जो हेन्स लेम्मा/Hensel's Lemma के माध्यम से लिफ्ट करने की अनुमति देते हैं) और बड़े अभाज्य के मॉड्यूल विशिष्ट अपरिमेयता की शर्तें संतुष्ट हों (जो संबद्ध प्रक्षेपिक वक्रों की स्मूथनेस और हासे-वील बाउंड/Hasse-Weil bound को सुनिश्चित करती हैं)।
- वैश्विक गैर-समाधानशीलता (Global Non-Solubility): निर्माण एक एकल "सीड" (seed) फॉर्म $F$ से फॉर्मों का एक बड़ा परिवार $\{G_j\}$ उत्पन्न करता है। प्रत्येक $G_j$ को अभाज्य $p_1, \dots, p_k$ (जहाँ $p_i < M$ ) से जुड़े रैखिक रूपांतरणों की एक श्रृंखला लागू करके व्युत्पन्न किया जाता है। $G_j(x, y) = h$ का एक समाधान, $F$ से जुड़े एक स्केल्ड समीकरण के समाधान को दर्शाता है।
गणना और घनत्व (Counting and Density):
- लेखक "सीड" फॉर्मों के एक सेट $\tilde{S}$ को परिभाषित करते हैं जो विशिष्ट गैलुआ (Galois) और सर्वांगसमता (congruence) शर्तों (जैसे गैलुआ समूह $S_n$ , छोटे अभाज्य के मॉड्यूल सरल मूल) को पूरा करते हैं।
- प्रत्येक $F \in \tilde{S}$ से, लेखक $2^k$ विशिष्ट फॉर्म $G_j$ का निर्माण करते हैं (जहाँ $k$ अभाज्य $M$ से कम संख्या है)।
- यह शोध पत्र सिद्ध करता है कि ये $G_j$ फॉर्म परस्पर गैर-तुल्य (pairwise non-equivalent) और मैक्सिमल (maximal) हैं।
- एक निश्चित ऊंचाई के फॉर्मों की कुल संख्या के विरुद्ध निर्मित सेट $S$ (वे फॉर्म जो हासे सिद्धांत को विफल करते हैं) की तुलना करके, लेखक ऐसे फॉर्मों के अनुपात के लिए एक निचला स्तर (lower bound) प्राप्त करते हैं।

मुख्य योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1.1 है, जो कहता है:

माना $m$ एक धनात्मक पूर्णांक है। जब निश्चित घात $n \geq 3$ के पूर्णांक बाइनरी फॉर्मों को ऊंचाई द्वारा क्रमबद्ध किया जाता है, तो प्रिमिटिव मैक्सिमल फॉर्मों का एक सकारात्मक अनुपात प्रत्येक धनात्मक पूर्णांक जो $m$ से कम है, को स्थानीय रूप से हर जगह निरूपित करता है लेकिन वैश्विक रूप से नहीं।

इस परिणाम का समर्थन करने वाले प्रमुख तकनीकी चरण शामिल हैं:

एक साथ विफलता (Simultaneous Failure): एकल $h$ पर केंद्रित पिछले परिणामों के विपरीत, यह निर्माण यह सुनिश्चित करता है कि एक ही सेट के फॉर्म्स के लिए $1 \leq h \leq m$ की पूरी श्रेणी के लिए हासे सिद्धांत की विफलता हो।
स्पष्ट अनुपात (Explicit Proportion): शोध पत्र एक निश्चित ऊंचाई के फॉर्मों की कुल संख्या के मुकाबले निर्मित फॉर्मों के अनुपात के आधार पर एक स्पष्ट निचला स्तर प्रदान करता है। यह अनुपात $m$ और घात $n$ पर निर्भर करता है, जो अभाज्य $k$ की संख्या और विस्क्रीमिनेन्ट (discriminant) वृद्धि से संबंधित पदों से प्राप्त होता है।
मैक्सिमलिटी (Maximality): निर्मित फॉर्मों को मैक्सिमल दिखाया गया है (अन्य फॉर्मों के उचित उप-फॉर्म नहीं), जो यह सुनिश्चित करने के लिए आवश्यक है कि समाधानों की संख्या संबंधी गणना वैध हो।
सामान्यीकरण (Generalization): शोध पत्र नोट करता है कि यह निर्माण डिस्क्रीमिनेन्ट द्वारा क्रमबद्ध क्यूबिक फॉर्म और उनके इनवेरिएंट्स $I$ और $J$ द्वारा क्रमबद्ध क्वार्टिक फॉर्म तक विस्तारित होता है।

महत्व और दावे
शोध पत्र का दावा है कि यह [2] (अख्तारी और भार्गव) के निर्माण को परिष्कृत करता है ताकि पूर्णांकों की एक श्रेणी के लिए हासे सिद्धांत की एक साथ विफलता प्राप्त की जा सके। इसका महत्व इस बात में निहित है कि यह प्रदर्शित करता है कि पूर्णांक $h$ के लिए विशिष्ट $h$ के मामले में पूर्णांक हासे सिद्धांत की विफलता एक अलग घटना नहीं है, बल्कि यह लक्षित पूर्णांकों के स्पेक्ट्रम में फॉर्मों के एक सकारात्मक अनुपात द्वारा साझा की जाने वाली एक सुदृढ़ विशेषता है।

लेखक स्पष्ट रूप से कहते हैं कि यह कार्य [2] के पिछले निर्माणों का एक परिष्करण है और यह ऐसे सभी रूपों के लक्षण वर्णन को हल करने का दावा नहीं करता है, बल्कि इन विशिष्ट 'एक साथ विफलता' गुणों के साथ एक सकारात्मक अनुपात की उपस्थिति स्थापित करता है। यह शोध पत्र निर्मित सेट की सघनता को मान्य करने के लिए स्थापित सीव विधियों (एकेडाहल सीव/Ekedahl's sieve) और डायोफेंटाइन ज्यामिति के बंधों (ग्योरी, हासे-वील) पर निर्भर करता है।

इसी तरह के और पेपर