🔢 mathematics

The Davenport-Lewis-Schinzel problem on the reducibility of $f(X)-g(Y)$

यह शोधपत्र $f(X)-g(Y)$ की अपरिमेयता (reducibility) पर लंबे समय से चले आ रहे डैवेनपोर्ट-लुईस-शिनज़ेल समस्या का समाधान करता है, जो हिल्बर्ट-सीगल समस्या का लगभग पूर्ण समाधान प्रदान करता है और अंकगणितीय गतिकी (arithmetic dynamics) तथा फलन समीकरणों (functional equations) में अनुप्रयोग प्रस्तुत करता है।

मूल लेखक: Angelot Behajaina, Joachim König, Danny Neftin

प्रकाशित 2026-03-31

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

CC BY 4.0

मूल लेखक: Angelot Behajaina, Joachim König, Danny Neftin

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

कल्पना कीजिए कि आपके पास दो जटिल मशीनें हैं, जिन्हें हम मशीन F और मशीन G कह सकते हैं। आप मशीन F में एक संख्या डालते हैं, और वह एक परिणाम बाहर निकालती है। आप मशीन G के साथ भी ऐसा ही करते हैं।

बड़ा सवाल जो गणितज्ञों ने 1950 के दशक से पूछा जा रहा है, वह यह है: क्या आप भविष्यवाणी कर सकते हैं कि कब मशीन F का आउटपुट मशीन G के आउटपुट से बिल्कुल मेल खाएगा?

अधिक विशेष रूप से, यदि आप समीकरण $F(X) = G(Y)$ लिखते हैं, तो क्या यह एक एकल, सुचारू, जुड़ी हुई राह (जैसे एक अकेली नदी) का वर्णन करता है, या यह कई अलग-अलग, खंडित, छोटी राहों (जैसे एक नदी जो कई सहायक नदियों में विभाजित हो जाती है) में टूट जाता है?

गणितीय शब्दों में, यदि समीकरण "टूट जाता है," तो हम कहते हैं कि बहुपद (polynomial) अपघटनीय (reducible) है। यदि यह अखंड रहता है, तो यह अअपघटनीय (irreducible) है।

दशकों तक, गणितज्ञों को कुछ विशिष्ट, अजीब मशीनों के बारे में पता था जहाँ समीकरण हमेशा टूट जाता था। लेकिन उन्हें यह नहीं पता था कि क्या ऐसी कोई अन्य छिपी हुई मशीनें भी हैं जो ऐसा ही करती हैं। यह ऐसा था जैसे यह जानना कि एक विशिष्ट ताला केवल एक विशिष्ट चाबी से खुलता है, लेकिन यह सोचना कि क्या ब्रह्मांड में अन्य गुप्त चाबियाँ भी छिपी हैं जो उसे खोल सकती हैं।

यह शोध पत्र, बेहाजाइना, कोनिग और नेफ्टिन द्वारा, एक परम ताला खोलने वाली नियमावली (lock-picking manual) है। उन्होंने अंततः इस रहस्य को सुलझा लिया है। उन्होंने सिद्ध किया कि कोई अन्य गुप्त चाबियाँ नहीं हैं।

उन्होंने इसे कैसे किया, इसका विवरण यहाँ दिया गया है, जिसे रोजमर्रा के उदाहरणों के माध्यम से समझाया गया है:

1. "लेगो" सादृश्य (मशीनों का अपघटन)

इन जटिल मशीनों (बहुपदों) को छोटे लेगो ब्रिक्स (Lego bricks) से बनी चीज़ के रूप में सोचें।

कुछ मशीनें बस एक विशाल, अविभाज्य ईंट (जिसे अविभाज्य/indecomposable कहा जाता है) की तरह होती हैं।
अन्य मशीनों को एक के ऊपर एक छोटे ब्रिक्स को रखकर बनाया जाता है (जिसे विभाज्य/decomposable कहा जाता है)।

लेखकों ने महसूस किया कि यह समझने के लिए कि पूरी मशीन टूट जाएगी या नहीं, आपको स्टैक के बिल्कुल नीचे के सबसे छोटे ब्रिक्स को देखना होगा। उन्होंने सिद्ध किया कि यदि पूरी समीकरण टूट जाती है, तो यह लगभग हमेशा इसलिए होता है क्योंकि दोनों मशीनें एक साझा निचला ब्रिक (एक सामान्य कारक/common factor) साझा करती हैं।

2. मशीनों का "DNA" (मोनोड्रोमी समूह)

अपनी बात सिद्ध करने के लिए, लेखकों ने केवल मशीनों को नहीं देखा; उन्होंने उनके DNA को देखा। गणित में, यह DNA एक "मोनोड्रोमी समूह" (monodromy group) है। यह वर्णन करने का एक तरीका है कि जब आप इनपुट नॉब को घुमाते हैं, तो मशीन के आंतरिक गियर कैसे मुड़ते और घूमते हैं।

सुलझने वाला मामला (The Solvable Case): अधिकांश मशीनों के लिए, DNA "सरल" होता है (जैसे एक सीधी रेखा या एक साधारण लूप)। लेखकों ने एक चतुर तरकीब का उपयोग किया: उन्होंने दिखाया कि यदि समीकरण टूट जाता है, तो दोनों मशीनों का DNA इतना मजबूती से आपस में जुड़ा होना चाहिए कि वे अनिवार्य रूप से एक ही मशीन हों, बस अलग तरह से सजी हुई हों।
"मॉन्स्टर" मामला (The "Monster" Case): अफवाहें थीं कि एक "कैसल्स मॉन्स्टर" (Cassels Monster) है—एक काल्पनिक, अविश्वसनीय रूप से जटिल मशीन जो इस तरह से समीकरण को तोड़ सकती है जैसा पहले कभी नहीं देखा गया। लेखकों ने गणितीय "जीवों" (transitive groups) के एक विशाल डेटाबेस का उपयोग किया और दिखाया कि यह मॉन्स्टर अस्तित्व में नहीं है। DNA इसकी अनुमति ही नहीं देता।

3. टूटने की "रेसिपी"

सभी मॉन्सटर्स और अज्ञात चीजों को खारिज करने के बाद, उन्होंने पाया कि केवल तीन विशिष्ट रेसिपी हैं जो दो मशीनों को एक साथ तोड़ने की अनुमति देती हैं:

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

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "इससे किसे फर्क पड़ता है कि एक गणितीय समीकरण टूट जाता है?"

यह समस्या वास्तव में कई अन्य क्षेत्रों के लिए एक मास्टर की (master key) है:

संख्या सिद्धांत (The Hilbert-Siegel Problem): यह हमें यह समझने में मदद करता है कि इन मशीनों द्वारा कौन सी संख्याएँ "पहुंची" जा सकती हैं। यदि समीकरण टूट जाता है, तो इसका मतलब है कि अनगिनत "विशेष" संख्याएँ हैं जो एक अनुमानित तरीके से व्यवहार करती हैं। यह शोध पत्र हमें बताता है कि वे संख्याएँ वास्तव में कौन सी हैं।
अरिथमेटिक डायनेमिक्स (स्थिरता): कल्पना कीजिए कि एक मशीन है जो खुद को बार-बार चलाती है (जैसे एक कंप्यूटर प्रोग्राम लूप में चलता है)। यह शोध पत्र भविष्यवाणी करने में मदद करता है कि वह लूप कब अचानक अस्थिर हो जाएगा या टूट जाएगा।
फंक्शनल इक्वेशंस: यह उन पहेलियों को हल करता है जहाँ हमें ऐसे फलन (functions) खोजने की आवश्यकता होती है जो विशिष्ट नियमों का पालन करते हैं, जो यह समझने के लिए महत्वपूर्ण है कि जटिल प्रणालियाँ कैसे विकसित होती हैं।

निष्कर्ष

60 वर्षों से, गणितज्ञ भूसे के ढेर में सुई ढूंढ रहे थे, यह सोच रहे थे कि क्या कोई छिपी हुई सुइयाँ हैं जिन्हें उन्होंने छोड़ दिया है। बेहाजाइना, कोनिग और नेफ्टिन ने न केवल सुइयाँ ढूँढीं; बल्कि उन्होंने यह भी सिद्ध किया कि भूसे का ढेर केवल उन्हीं सुइयों को रखता है जिन्हें हम पहले से जानते थे।

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

यहाँ बेहाज़ैना, कोनिग और नेफ़्टिन के शोध पत्र "The Davenport–Lewis–Schinzel Problem on the Reducibility of $f(X) - g(Y)$ " का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या

यह शोध पत्र डेवनपोर्ट-लुईस-शिनज़ेल (DLS) समस्या को संबोधित करता है, जिसे मूल रूप से 1950 के दशक के अंत में प्रस्तुत किया गया था। मुख्य प्रश्न यह है:

किन बहुपदों $f, g \in \mathbb{C}[X]$ के लिए, जिनका घात (degree) $\ge 2$ है, द्विचर बहुपद (bivariate polynomial) $f(X) - g(Y) \in \mathbb{C}[X, Y]$ अपरिमेय (reducible) होता है?

संदर्भ और सामान्य मामले (Trivial Cases):

सामान्य अपरिमेयता (Trivial Reducibility): $f(X) - g(Y)$ स्वाभाविक रूप से अपरिमेय होता है यदि $f$ और $g$ एक ही सामान्य बाएँ संयोजन कारक (common left composition factor) $h$ साझा करते हैं (अर्थात $f = h \circ f_1, g = h \circ g_1$ )।
प्रतिस्थापन अपरिमेयता (Substitution Reducibility): यदि $f_1(X) - g_1(Y)$ अपरिमेय है, तो $f_1(f_2(X)) - g_1(g_2(Y))$ भी अपरिमेय होगा।
न्यूनतम अपरिमेय युग्म (Minimally Reducible Pairs): एक युग्म $(f, g)$ को न्यूनतम अपरिमेय कहा जाता है यदि $f(X) - g(Y)$ अपरिमेय है, लेकिन ऐसा कोई गैर-तुच्छ (non-trivial) विखंडन मौजूद नहीं है (अर्थात यह ऊपर दिए गए रूप का नहीं है)।
गैर-तुच्छ न्यूनतम अपरिमेय युग्म: ये वे युग्म हैं जो सामान्य बाएँ कारकों या रैखिक प्रतिस्थापनों के माध्यम से अपरिमेय नहीं होते हैं। DLS समस्या ऐसे सभी गैर-तुच्छ युग्मों का वर्गीकरण करने का प्रयास करती है।

ऐतिहासिक पृष्ठभूमि:
इस कार्य से पूर्व, अविखंडनीय (indecomposable) बहुपदों (वे जो निम्न-घात के बहुपदों के संयोजन के रूप में नहीं लिखे जा सकते) के लिए वर्गीकरण ज्ञात था। फ्राइड (1986) ने दिखाया कि अविखंडनीय $f, g$ के लिए, अपरिमेयता विशिष्ट घातों (7, 11, 13, 15, 21, 31) को दर्शाती है जो मोनोड्रॉमी समूहों (जैसे $PSL_3(2)$ ) के बाहरी ऑटोमॉर्फिज्म से उत्पन्न होते हैं। विखंडनीय (decomposable) बहुपदों के लिए मामला काफी हद तक खुला रहा, जिसमें प्रसिद्ध "(2, 3)-समस्या" (जहाँ $g(Y)^2 = p(f(X))$ में $p$ त्रिघाती है, उसकी अपरिमेयता) शामिल थी।

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

लेखक गैल्वा सिद्धांत (Galois theory), मोनोड्रॉमी समूह सिद्धांत (monodromy group theory), और विखंडनीय बहुपदों पर समूह-सैद्धांतिक बाधाओं (group-theoretic constraints) के एक परिष्कृत संयोजन का उपयोग करते हैं।

A. मोनोड्रॉमी और विखंडन (Monodromy and Decomposition)

$f(X) - g(Y)$ की अपरिमेयता $\mathbb{C}(t)$ पर $f(X)-t$ और $g(Y)-t$ के मूल क्षेत्रों (root fields) की गैर-रैखिक विलगता (non-linear disjointness) के समतुल्य है। इसका तात्पर्य है कि उनके गैल्वा क्लोजर (Galois closures) समान हैं। लेखक बहुपदों के मोनोड्रॉमी समूहों ($Mon(f)$) का विश्लेषण करते हैं।

वे $f$ और $g$ को अविखंडनीय कारकों में विभाजित करते हैं: $f = f_1 \circ \dots \circ f_r$ और $g = g_1 \circ \dots \circ g_s$ ।
वे ब्लॉक कर्नेल (block kernels) (संयोजन के मोनोड्रॉमी समूह के बाएं कारकों के मोनोड्रॉमी समूह पर प्रक्षेपण के कर्नेल) का अध्ययन करते हैं।

B. "विकर्णता" तर्क (The "Diagonality" Argument - Solvable Case)

मुख्य नवाचार विलेय मोनोड्रॉमी (solvable monodromy) मामले को संभालने में निहित है (जहाँ अविखंडनीय कारक $X^p$ या चेबिशेव बहुपदों $T_p$ से संबंधित होते हैं)।

कर्नेल बाधाएं (Kernel Constraints): वे सिद्ध करते हैं कि एक न्यूनतम अपरिमेय युग्म के लिए, $Mon(f) \to Mon(h)$ (जहाँ $h$ एक बायाँ कारक है) का कर्नेल $K$ अत्यधिक प्रतिबंधित होना चाहिए।
विकर्ण उपसमूह (Diagonal Subgroups): वे दिखाते हैं कि $K$ एक व्रेथ उत्पाद (wreath product) का विकर्ण उपसमूह (diagonal subgroup) होना चाहिए (अर्थात इसके घटकों पर इसके प्रक्षेपण आवेक/injective हैं) या $C_2 \times C_2$ के समरूप होना चाहिए।
विशालता गुण (Largeness Properties): अपने साथी शोध पत्र [BKN26] के परिणामों का उपयोग करते हुए, वे बहुपदों के संयोजन में कर्नेल के "विशालता" गुणों को स्थापित करते हैं। विशेष रूप से, वे सिद्ध करते हैं कि लंबाई $\ge 3$ के संयजनों (या विशिष्ट लंबाई-2 मामलों) के लिए, कर्नेल में बड़े सबडायरेक्ट पावर (जैसे $C_q^d$ या ऑगमेंटेशन आइडियल) होते हैं।
विरोधाभास (Contradiction): वे प्रदर्शित करते हैं कि कर्नेल की "विशालता" (जो संयोजन संरचना से प्राप्त होती है) "विकर्णता" की आवश्यकता (जो न्यूनतम अपरिमेयता से प्राप्त होती है) के साथ विरोधाभास पैदा करती है, जब तक कि घात बहुत कम और विशिष्ट न हो (जैसे घात 2, 4, 8, 16)।
निम्न-घात सत्यापन (Low-Degree Verification): शेष निम्न-घात मामलों (घात 8 और 16) के लिए, वे ट्रांसिटिव समूहों के डेटाबेस का उपयोग करके Magma के माध्यम से कम्प्यूटेशनल सत्यापन का उपयोग करके और अधिक उदाहरणों को खारिज करते हैं।

C. गैर-विलेय मामला (The Nonsolvable Case)

गैर-विलेय मोनोड्रॉमी (nonsolvable monodromy) वाले बहुपदों के लिए, लेखक अविखंडनीय बहुपदों के वर्गीकरण (जो 'वर्गीकरण-आधारित परिमित सरल समूहों' (CFSG) पर निर्भर करता है) पर आधारित एक सरल तर्क का उपयोग करते हैं। वे दिखाते हैं कि यदि $f$ और $g$ में गैर-विलेय मोनोड्रॉमी है, तो वे अनिवार्य रूप से अविखंडनीय होने चाहिए (या उनके पास विलेय "पूंछ" होनी चाहिए), जिससे समस्या ज्ञात अविखंडनीय युग्मों के वर्गीकरण तक सीमित हो जाती है।

3. मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.1 & 6.1)

यह शोध पत्र शून्य विशेषता (characteristic 0) वाले क्षेत्र में गैर-तुच्छ न्यूनतम अपरिमेय युग्मों $(f, g)$ का पूर्ण वर्गीकरण प्रदान करता है। $f(X) - g(Y)$ अपरिमेय है यदि और केवल यदि:

सामान्य बायाँ कारक: $f$ और $g$ एक सामान्य बायाँ संयोजन कारक $h$ (जिसकी घात $\ge 2$ है) साझा करते हैं।
चेबिशेव अपवाद: $f = (\mu \circ T_4) \circ f_1$ और $g = (\mu \circ (-T_4)) \circ g_1$ (जहाँ $T_4$ चौथा चेबिशेव बहुपद है)।
डिक्सन अपवाद: $f = (\mu \circ D_{4, \alpha}) \circ f_1$ और $g = (\mu \circ (-\frac{1}{4}D_{4, 2\alpha})) \circ g_1$ (डिक्सन बहुपद)।
अविखंडनीय अपवाद: $f$ और $g$ घात 7, 11, 13, 15, 21, या 31 के अविखंडनीय बहुपदों के संयोजन हैं (विशिष्ट युग्म [CNC99] में सूचीबद्ध हैं), जो संभवतः रैखिक मानचित्रों और एक सामान्य बाएँ कारक के साथ संयोजित हैं।

महत्व: यह परिणाम "कैसल मॉन्स्टर" (Cassels monster) (एक काल्पनिक न्यूनतम अपरिमेय युग्म जिसके $\ge 4$ ब्रांच पॉइंट्स हों) के अस्तित्व को खारिज करता है और सभी $m, n$ के लिए प्रसिद्ध (2, 3)-समस्या (और सामान्य रूप से $(m, n)$ -समस्या) को हल करता है।

अनुप्रयोग 1: हिल्बर्ट-सीगल समस्या (Hilbert–Siegel Problem - Theorem 1.2)

लेखक $f \in \mathbb{Q}[X]$ के लिए हिल्बर्ट-सीगल समस्या को हल करते हैं। यह समस्या उन पूर्णांकों $a$ के सेट के बारे में पूछती है जिनके लिए फाइबर $f^{-1}(a)$ , $\mathbb{Q}$ पर अपरिमेय है।

परिणाम: उन $f$ के लिए जो घात 2 या 4 के अविखंडनीय के माध्यम से फ़ैक्टर नहीं होते हैं, अपवाद स्वरूप पूर्णांकों का सेट इसके बाएँ संयोजन कारकों के मान सेट का संघ (union) है (एक परिमित सेट के साथ)।
यह एक "लगभग पूर्ण" समाधान प्रदान करता है, जहाँ एकमात्र शेष अस्पष्टता घात 2 या 4 वाले विलेय घटकों के माध्यम से फ़ैक्टर होने वाले बहुपद हैं।

अनुप्रयोग 2: अंकगणितीय गतिकी में स्थिरता (Stability in Arithmetic Dynamics - Corollary 1.3)

वे पुनरावृत्तियों (iterates) की स्थिरता को संबोधित करते हैं। एक बहुपद $f$ स्थिर (stable) है यदि $f^{\circ n}(X) - a$ सभी $n$ के लिए अपरिमेय है।

परिणाम: यदि $f$ घात 2 या 4 के बहुपद के माध्यम से फ़ैक्टर नहीं होता है, तो पूर्णांकों $a$ का सेट जिनके लिए $f^{\circ n}$ नया अपरिमेय बनता है, परिमित (finite) है। यह पुनरावृत्तियों में "नये अपरिमेय" रेशों (fibers) की परिमितता के संबंध में एक प्रमुख खुले प्रश्न को हल करता है।

अनुप्रयोग 3: कार्यात्मक समीकरण (Functional Equations - Corollary 1.4)

वे परिमेय फलनों $X(z), Y(z) \in \mathbb{C}(z)$ में $f(X) = g(Y)$ के समाधानों को वर्गीकृत करते हैं।

परिणाम: वे स्पष्ट रूप से उन $f$ और $g$ की संरचना का वर्णन करते हैं जो ऐसे समाधान स्वीकार करते हैं, उन्हें चेबिशेव/डिक्सन अपवादों और विशिष्ट अविखंडनीय युग्मों से जोड़ते हैं। यह कार्यात्मक समीकरण के "अपरिमेय मामले" को हल करता है, जो पहले कम समझ में आया था।

4. महत्व

पूर्णता (Completeness): यह विखंडनीय (decomposable) बहुपदों के लिए DLS समस्या का पहला पूर्ण समाधान है, एक ऐसा मामला जिसने दशकों तक समाधान का प्रतिरोध किया था।
कार्यप्रणाली संबंधी सफलता (Methodological Breakthrough): विलेय मोनोड्रॉमी समूहों के "विशालता" गुणों के साथ ब्लॉक कर्नेल पर "विकर्णता" बाधाओं का परिचय, अंकगणितीय ज्यामिति में अपरिमेयता का अध्ययन करने के लिए एक शक्तिशाली नया टूलकिट प्रदान करता है।
एकीकरण (Unification): यह पत्र कई अलग-अलग क्षेत्रों को एकीकृत करता है: हिल्बर्ट की अपरिमेयता प्रमेय, अंकगणितीय गतिकी (स्थिरता), और कार्यात्मक समीकरण।
खुले प्रश्नों का समाधान: यह फ्राइड की (2, 3)-समस्या और इस प्रश्न का निर्णायक उत्तर देता है कि क्या न्यूनतम अपरिमेय युग्मों की घात असीमित हो सकती है (उत्तर है: नहीं)।

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