🔢 mathematics

Solving equations of signature $(p,p,2)$ with coefficients over number fields

यह शोधपत्र सामान्य संख्या क्षेत्रों (number fields) पर दीओफैंटाइन समीकरण $Aa^p+Bb^p=Cc^2$ के लिए एसिम्प्टोटिक परिणाम (asymptotic results) और विशिष्ट द्विघाती क्षेत्रों (quadratic fields) के लिए घातांक $p$ पर प्रभावी, स्पष्ट सीमाएँ स्थापित करने के लिए मॉड्यूलर विधि का उपयोग करता है जो गैर-तुच्छ समाधानों (non-trivial solutions) के अस्तित्व की अनुपस्थिति की गारंटी देते हैं।

मूल लेखक: Begum Gulsah Cakti, Erman Isik, Yasemin Kara, Ekin Ozman

प्रकाशित 2026-02-24

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

CC BY 4.0

मूल लेखक: Begum Gulsah Cakti, Erman Isik, Yasemin Kara, Ekin Ozman

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

कल्पना कीजिए कि आप एक जासूस हैं जो संख्याओं से जुड़ी एक बहुत ही पेचीदा पहेली को सुलझाने की कोशिश कर रहे हैं। यह पहेली फर्मेट के अंतिम प्रमेय (Fermat's Last Theorem) का एक रूपांतर है, जो एक प्रसिद्ध गणितीय समस्या है। मूल पहेली यह थी: क्या आप तीन पूर्ण संख्याएँ ( $a, b, c$ ) ढूँढ सकते हैं ताकि किसी भी घात $n$ (जो 2 से अधिक हो) के लिए $a^n + b^n = c^n$ हो? इसका उत्तर है "नहीं।"

यह शोध पत्र इसी तरह की एक थोड़ी अलग, लेकिन समान रूप से कठिन संस्करण पर काम करता है। केवल घातों को जोड़ने के बजाय, समीकरण कुछ ऐसा दिखता है:
$A \cdot a^p + B \cdot b^p = C \cdot c^2$
यहाँ, $p$ एक बहुत बड़ी अभाज्य संख्या (जैसे 17, 19, 23, आदि) है, और $A, B, C$ विशिष्ट गुणांक (coefficients) हैं। लेखक पूछ रहे हैं: "यदि हम घात $p$ को बहुत विशाल बना दें, तो क्या हम यह सिद्ध कर सकते हैं कि कोई 'दिलचस्प' समाधान मौजूद नहीं हैं?"

यहाँ लेखक इस पहेली को कैसे हल करते हैं, इसे सरल उपमाओं के माध्यम से समझाया गया है।

1. जासूस का टूलकिट: "मॉड्यूलर विधि" (The Modular Method)

इसे हल करने के लिए, लेखक एक शक्तिशाली उपकरण का उपयोग करते हैं जिसे मॉड्यूलर विधि कहा जाता है। इसे एक्स-रे चश्मे के एक विशेष जोड़े के रूप में सोचें।

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

2. दो मुख्य रणनीतियाँ

लेखक के पास जानकारी के स्तर के आधार पर दो अलग-अलग दृष्टिकोणों का उपयोग किया गया है।

रणनीति A: "एसिम्प्टोटिक" दृष्टिकोण (दूरबीन वाला दृष्टिकोण)

लक्ष्य: यह सिद्ध करना कि किसी भी पर्याप्त रूप से बड़ी अभाज्य संख्या $p$ के लिए, कोई समाधान नहीं है।
उपमा: कल्पना कीजिए कि आप एक जंगल को देख रहे हैं। आप हर एक पत्ते को गिन नहीं सकते, लेकिन आप जानते हैं कि यदि पेड़ पर्याप्त ऊँचे हो जाते हैं, तो जंगल निश्चित रूप से एक निश्चित तरीके से दिखाई देगा।

लेखक सिद्ध करते हैं कि यदि आप एक ऐसी अभाज्य संख्या $p$ चुनते हैं जो "पर्याप्त बड़ी" है (एक निश्चित सीमा से परे), तो संभावित समाधानों का गणितीय "जंगल" बस गायब हो जाता है।
चुनौती: जटिल संख्या क्षेत्रों (जो हमारे संख्या रेखा के बहु-आयामी संस्करणों की तरह हैं) के लिए ऐसा करने हेतु, उन्हें कुछ "मानक अनुमानों" (जैसे यह मानना कि मौसम सामान्य व्यवहार करेगा) को मानना पड़ता है। वे विशिष्ट प्रकार के संख्या क्षेत्रों (जैसे वास्तविक द्विघाती क्षेत्र/real quadratic fields) के लिए इन धारणाओं को सत्यापित करते हैं।

रणनीति B: "इफेक्टिव" दृष्टिकोण (सटीक स्कैनर)

लक्ष्य: $p$ के लिए एक विशिष्ट, गणना योग्य संख्या (एक सीमा) ढूँढना। उदाहरण के लिए, "यदि $p > 17$ , तो कोई समाधान नहीं है।"
उपमा: केवल यह कहने के बजाय कि "यह बहुत बड़ा है," वे एक मेटल डिटेक्टर बनाते हैं जो समाधान होने पर बीप करता है। वे डिटेक्टर को इस तरह ट्यून करते हैं कि किसी भी $p$ के लिए जो एक विशिष्ट संख्या (जैसे 17 या 19) से बड़ा है, डिटेक्टर शांत रहे।

उन्होंने संख्याओं के विशिष्ट "पड़ोसों" (विशिष्ट द्विघाती क्षेत्रों जैसे $\mathbb{Q}(\sqrt{3})$ या $\mathbb{Q}(\sqrt{-11})$ ) के लिए इसका परीक्षण किया।
उन्होंने पाया कि इन विशिष्ट पड़ोसों के लिए, यदि घात $p$ 17 (या पड़ोस के आधार पर 19) से अधिक है, तो समीकरण का कोई गैर-तुच्छ (non-trivial) समाधान नहीं है।

3. "S-यूनिट" की स्थिति: द्वारपाल (The Gatekeeper)

अपनी सिद्धि को सफल बनाने के लिए, लेखकों को S-यूनिट्स से जुड़ी एक शर्त की जाँच करनी पड़ी।

उपमा: एक क्लब की कल्पना करें जिसका द्वारपाल बहुत सख्त है। "S-यूनिट स्थिति" द्वारपाल का नियम है। लेखकों को यह सिद्ध करना था कि कुछ संख्या क्षेत्रों के लिए, "द्वारपाल" केवल बहुत सीमित संख्या में लोगों (समाधानों) को प्रवेश करने की अनुमति देता है।
उन्होंने दिखाया कि वास्तविक द्विघाती क्षेत्रों के एक अनंत परिवार के लिए, यह द्वारपाल बहुत सख्त है, जो प्रभावी रूप से किसी भी "बड़े" समाधान को अंदर आने से रोकता है।

4. परिणाम: उन्होंने क्या पाया?

लेखकों ने विशिष्ट संख्या क्षेत्रों की सूची पर अपने "एक्स-रे चश्मों" और "मेटल डिटेक्टरों" को सफलतापूर्वक लागू किया।

काल्पनिक द्विघाती क्षेत्र (Imaginary Quadratic Fields): $\mathbb{Q}(\sqrt{-3})$ , $\mathbb{Q}(\sqrt{-11})$ , आदि जैसे क्षेत्रों के लिए, उन्होंने सिद्ध किया कि यदि $p > 17$ (या 19) है, तो $x^p + d y^p = z^2$ का कोई समाधान नहीं है।
वास्तविक द्विघाती क्षेत्र (Real Quadratic Fields): $\mathbb{Q}(\sqrt{3})$ , $\mathbb{Q}(\sqrt{5})$ , आदि जैसे क्षेत्रों के लिए, उन्होंने समान बात सिद्ध की, अक्सर बिना अतिरिक्त अनुमानों की आवश्यकता के।

5. यह क्यों महत्वपूर्ण है?

फर्मेट के अंतिम प्रमेय को संख्यात्मक पहेलियों के "राजा" के रूप में सोचें। यह शोध पत्र उन "शूरवीरों" और "दरबारियों" की खोज कर रहा है जो राजा के आसपास हैं।

इन विशिष्ट विविधताओं (हस्ताक्षर जैसे $p, p, 2$ ) को हल करके, वे जटिल, बहु-आयामी स्थानों में संख्याओं के परस्पर क्रिया करने के तरीके के बारे में हमारी समझ का विस्तार कर रहे हैं।
वे दिखा रहे हैं कि "मॉड्यूलर विधि" केवल मूल फर्मेट समीकरण के लिए नहीं है; यह एक सार्वभौमिक कुंजी है जो संख्या सिद्धांत के कई अन्य कठिन द्वारों को खोलने की क्षमता रखती है।

एक वाक्य में सारांश

लेखकों ने विविध जटिल संख्या प्रणालियों के लिए एक उच्च-तकनीकी गणितीय "एक्स-रे" का उपयोग करके यह सिद्ध किया कि यदि आप संख्याओं को एक पर्याप्त उच्च घात तक बढ़ाते हैं, तो एक विशिष्ट प्रकार की संख्यात्मक पहेली का कोई समाधान नहीं होता है, जिससे उन संभावनाओं के दरवाजे हमेशा के लिए बंद हो जाते हैं।

यहाँ बेगम गुलसाह ककती, एरमन इशिक, यासेमिन कारा और एकिन ओज़मान के शोध पत्र "Solving Equations of Signature (p, p, 2) with Coefficients over Number Fields" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र संख्या क्षेत्रों (number fields) $K$ पर गुणांकों के साथ सिग्नेचर $(p, p, 2)$ वाले सामान्यीकृत फर्मा समीकरण (generalized Fermat equation) की जांच करता है:
$A x^p + B y^p = C z^2$
जहाँ $A, B, C$ पूर्णांकों के रिंग $\mathcal{O}_K$ में युग्मवार सह-अभाज्य (pairwise coprime) विषम तत्व हैं, और $p$ एक अभाज्य घातांक (prime exponent) है। लेखक गैर-तुच्छ मौलिक समाधानों (non-trivial primitive solutions) (जहाँ $xyz \neq 0$ और $x, y, z$ युग्मवार सह-अभाज्य हैं) को खोजने पर ध्यान केंद्रित करते हैं।

यह अध्ययन दो मुख्य उद्देश्यों को संबोधित करता है:

अनंतस्पर्शी परिणाम (Asymptotic Results): यह सिद्ध करना कि विशिष्ट $S$ -इकाई स्थितियों (S-unit conditions) को संतुष्ट करने वाले सामान्य संख्या क्षेत्रों के लिए पर्याप्त बड़े अभाज्य $p$ के लिए, कोई गैर-तुच्छ समाधान मौजूद नहीं हैं।
प्रभावी परिणाम (Effective Results): विशिष्ट द्विघाती क्षेत्रों (वास्तविक और काल्पनिक) के लिए स्पष्ट सीमाएँ $C_K$ स्थापित करना, ताकि जब $p > C_K$ हो, तो कोई समाधान मौजूद न हो।

2. कार्यप्रणाली: मॉड्यूलर विधि (Methodology: The Modular Method)

लेखक मॉड्यूलर विधि का उपयोग करते हैं, जो फर्मा के अंतिम प्रमेय के लिए वाइल्स और टेलर-वाइल्स द्वारा विकसित की गई एक तकनीक है, जो डियाफेंटाइन समीकरणों को एलिप्टिक कर्व्स और मॉड्यूलर फॉर्म के सिद्धांत से जोड़ती है। मुख्य रणनीति में शामिल हैं:

फ्रे कर्व निर्माण (Frey Curve Construction):
एक काल्पनिक समाधान $(a, b, c)$ के लिए, लेखक एक विशिष्ट फ्रे एलिप्टिक कर्व $E$ (या प्रभावी मामलों के लिए $E_1$ ) से संबद्ध करते हैं।
- सामान्य मामले ( $Ax^p + By^p = Cz^2$ ) के लिए, कर्व $Y^2 = X^3 + 2CcX^2 + BCb^pX$ है।
- प्रभावी मामले ( $x^p + dy^p = z^2$ ) के लिए, स्पष्ट गणनाओं को सुगम बनाने के लिए एक अलग मॉडल $E_1: Y^2 + XY = X^3 + \frac{c-1}{2^2}X^2 + \frac{db^p}{2^6}X$ का उपयोग किया जाता है।
गैलोइस प्रतिनिधित्व (Galois Representations):
लेखक फ्रे कर्व के $p$ -टोरशन पॉइंट्स से जुड़े अवशेष गैलोइस प्रतिनिधित्व $\rho_{E,p}: G_K \to \text{GL}_2(\mathbb{F}_p)$ का विश्लेषण करते हैं। सिद्ध की गई प्रमुख विशेषताओं में शामिल हैं:
- अपरिवर्तनीयता (Irreducibility): यह सिद्ध करना कि बड़े $p$ के लिए $\rho_{E,p}$ अपरिवर्तनीय है (और काल्पनिक क्षेत्रों के लिए पूर्णतः अपरिवर्तनीय है)।
- परिमित सपाटता (Finite Flatness): यह स्थापित करना कि $p$ के ऊपर के प्राइम पर प्रतिनिधित्व परिमित सपाट है।
- विषमता (Oddness): यह सत्यापित करना कि प्रतिनिधित्व विषम है (कॉम्प्लेक्स कंजुगेशन का डिटरमिनेंट $-1$ है)।
मॉड्यूलरिटी और लेवल लोअरिंग (Modularity and Level Lowering):
- मॉड्यूलरिटी: वे यह मान लेते हैं या सिद्ध करते हैं कि फ्रे कर्व मॉड्यूलर है (एक हिल्बर्ट या बियांकी आइजनफॉर्म से संबद्ध है)। पूर्णतः वास्तविक क्षेत्रों (totally real fields) के लिए, मॉड्यूलरिटी एक प्रमेय है; सामान्य क्षेत्रों के लिए, यह कन्जेक्चर 3.7 (सेरे का मॉड्यूलरिटी कन्जेक्चर) पर निर्भर करता है।
- लेवल लोअरिंग: फ्रेड्राट्स, सि सके और अन्य के प्रमेयों का उपयोग करते हुए, वे दिखाते हैं कि यदि कोई समाधान मौजूद है, तो प्रतिनिधित्व $\rho_{E,p}$ एक नए एलिप्टिक कर्व $E'$ (या मॉड्यूलर फॉर्म) के प्रतिनिधित्व के समरूप होगा जिसका कंडक्टर समाधान से स्वतंत्र है (विशेष रूप से, केवल $2ABC$ को विभाजित करने वाले प्राइमों पर समर्थित है)।
फॉर्म एलिमिनेशन द्वारा विरोधाभास (Contradiction via Form Elimination):
अंतिम चरण में यह दिखाना शामिल है कि आवश्यक गुणों वाला ऐसा कोई मॉड्यूलर फॉर्म (या एलिप्टिक कर्व) मौजूद नहीं है।
- अनंतस्पर्शी मामला: वे समस्या को एक $S$ -इकाई समीकरण ( $\alpha + \beta = \gamma^2$ ) के समाधान की योग्यता तक कम करते हैं। इस समीकरण के समाधानों के वैल्यूएशन (valuations) का विश्लेषण करके, वे कर्व के रिडक्शन प्रकार के संबंध में एक विरोधाभास प्राप्त करते हैं।
- प्रभावी मामला: वे Magma कंप्यूटर बीजगणितीय प्रणाली का उपयोग करके अनुमानित स्तरों के सभी नएफॉर्म्स (newforms) की स्पष्ट रूप से गणना करते हैं। फिर वे फ्रोबिनियस के ट्रेस तुलना (लेम्मा 6.12) का उपयोग करके यह दिखाते हैं कि $p$ के एक निर्धारित सीमा से अधिक होने पर कोई भी मॉड्यूलर फॉर्म फ्रे कर्व के ट्रेस से मेल नहीं खाता है।

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

A. अनंतस्पर्शी परिणाम (सामान्य संख्या क्षेत्र)

यह शोध पत्र पिछले परिणामों (जो मुख्य रूप से पूर्णतः वास्तविक क्षेत्रों तक सीमित थे) को मनमाने संख्या क्षेत्रों तक विस्तारित करता है।

प्रमेय 1.1: यह स्थापित करता है कि यदि $K$ $K$ एक विशिष्ट $S$ $S$ -इकाई स्थिति को संतुष्ट करता है (जो $\alpha + \beta = \gamma^2$ $α + β = γ^{2}$ के समाधान की योग्यता से संबंधित है) और एक विशिष्ट क्लास ग्रुप का 2-टोरशन शून्य है, तो पर्याप्त बड़े $p$ $p$ के लिए, कोई समाधान मौजूद नहीं होता है।
- नोट: गैर-पूर्णतः वास्तविक क्षेत्रों के लिए, यह कन्जेक्चर 3.7 (सेरे का कन्जेक्चर) और कन्जेक्चर 4.7 (आइजनफॉर्म और एलिप्टिक कर्व/फेक एलिप्टिक कर्व के संबंध में लैंगलैंड्स-प्रकार का कन्जेक्चर) पर निर्भर करता है।
प्रमेय 1.3: यह वास्तविक द्विघाती क्षेत्र $K = \mathbb{Q}(\sqrt{q})$ पर अनंतस्पर्शी परिणाम को लागू करता है, जो विशिष्ट सर्वांग्रही शर्तों के साथ $x^p + \ell y^p = z^2$ के अस्तित्वहीनता को सिद्ध करता है।

B. प्रभावी परिणाम (द्विघाती क्षेत्र)

लेखक विशिष्ट द्विघाती क्षेत्रों के लिए स्पष्ट सीमाएँ $C_K$ प्रदान करते हैं जहाँ $S$ -इकाई समीकरण को प्रभावी ढंग से हल किया जा सकता है और मॉड्यूलर फॉर्म को कम्प्यूटेशनल रूप से हटाया जा सकता है।

काल्पनिक द्विघाती क्षेत्र ( $K = \mathbb{Q}(\sqrt{-d})$ ):
- $d \in \{3, 11, 19, 43\}$ के लिए, समीकरण $x^p + dy^p = z^2$ के लिए कोई गैर-तुच्छ मौलिक समाधान नहीं है जिसमें $P|b$ (जहाँ $P|2$ ) हो, जब $p > C_K$ हो।
- सीमाएँ: $d \in \{3, 11, 43\}$ के लिए $C_K = 17$ और $d=19$ के लिए $C_K = 19$ है।
- प्रतिबंध: यह कन्जेक्चर 3.7 पर निर्भर है।
वास्तविक द्विघाती क्षेत्र ( $K = \mathbb{Q}(\sqrt{d})$ ):
- $d \in \{3, 5, 11, 13, 19, 29\}$ के लिए, समीकरण $x^p + dy^p = z^2$ के लिए कोई गैर-तुच्छ मौलिक समाधान नहीं है जिसमें $P|b$ हो, जब $p > C_K$ हो।
- सीमाएँ: $d \in \{3, 5, 11, 13, 29\}$ के लिए $C_K = 17$ और $d=19$ के लिए $C_K = 19$ है।
- लाभ: यह कन्जेक्चर 3.7 पर निर्भर नहीं है क्योंकि वास्तविक द्विघाती क्षेत्रों के लिए मॉड्यूलरिटी सिद्ध है।

C. परिशिष्ट: सिग्नेचर (p, p, 3)

लेखक वास्तविक द्विघाती क्षेत्रों में $d \in \{2, 5, 14\}$ के लिए समीकरण $x^p + dy^p = z^3$ के लिए अपने प्रभावी तरीकों का विस्तार करते हैं, जो $p > 17$ के लिए समाधानों की अनुपस्थिति को सिद्ध करते हैं।

4. महत्व और प्रभाव (Significance and Impact)

गैर-पूर्णतः वास्तविक क्षेत्रों तक विस्तार: यह शोध पत्र पूर्णतः वास्तविक क्षेत्रों के साथ काम करने की बाधा को तोड़ता है। मानक मान्यताओं (सेरे के और लैंगलैंड्स के कन्जेक्चर) को मानकर, यह मॉड्यूलर विधि को जटिल द्विघाती क्षेत्रों और सामान्य संख्या क्षेत्रों तक विस्तारित करता है।
अनंतस्पर्शी और प्रभावी का संयोजन: यह सफलतापूर्वक अनंतस्पर्शी तर्कों (जो $S$ -इकाई समाधानों की परिमितता पर आधारित हैं) को प्रभावी कम्प्यूटेशनल एलिमिनेशन (विशिष्ट मॉड्यूलर फॉर्म को हटाने के लिए Magma का उपयोग करना) के साथ जोड़ता है।
गुणांकों को संभालना: जबकि $x^p + y^p = z^2$ पर बहुत काम मौजूद है, यह शोध पत्र व्यवस्थित रूप से गुणांकों ( $A, B, C$ ) वाले समीकरणों को संभालता है, जो कंडक्टर गणना और संबंधित मॉड्यूलर फॉर्म में महत्वपूर्ण जटिलता पेश करता है।
कम्प्यूटेशनल सत्यापन: यह शोध पत्र संभावित काउंटर-एग्जांपल्स को हटाने के लिए कम्प्यूटेशनल टूल्स (Magma) का उपयोग करने के लिए एक कठोर ढांचा प्रदान करता है, जो इन विशिष्ट समीकरणों के परिवारों के लिए पहले अज्ञात स्पष्ट सीमाएँ प्रदान करता है।

5. सीमाएँ (Limitations)

कन्जेक्चरल प्रकृति: सामान्य संख्या क्षेत्रों और काल्पनिक द्विघाती क्षेत्रों के लिए परिणाम कन्जेक्चर 3.7 (सेरे का मॉड्यूलरिटी कन्जेक्चर) और कन्जेक्चर 4.7 पर निर्भर हैं। हालांकि ये व्यापक रूप से मान्य हैं, वे अभी तक पूर्ण सामान्यता में सिद्ध प्रमेय नहीं हैं।
क्षेत्रों का दायरा: प्रभावी परिणाम वर्तमान में विशिष्ट द्विघाती क्षेत्रों तक सीमित हैं जहाँ क्लास नंबर और यूनिट ग्रुप संरचनाएं हिल्बर्ट न्यूफॉर्म्स के पूर्ण उन्मूलन की अनुमति देती हैं। लेखक उल्लेख करते हैं कि $\mathbb{Q}(\sqrt{7})$ और $\mathbb{Q}(\sqrt{23})$ जैसे क्षेत्रों को बाहर रखा गया था क्योंकि वे उन मामलों में सभी हिल्बर्ट न्यूफॉर्म्स को हटाने में सक्षम नहीं थे।

निष्कर्षतः, यह शोध पत्र संख्या क्षेत्रों पर सामान्यीकृत फर्मा समीकरणों पर मॉड्यूलर विधि के अनुप्रयोग में एक महत्वपूर्ण प्रगति का प्रतिनिधित्व करता है, जो द्विघाती क्षेत्रों के लिए दोनों सैद्धांतिक अनंतस्पर्शी गारंटी और ठोस प्रभावी सीमाएँ प्रदान करता है।