🔢 mathematics

On the role of higher roots in prime ideal races

यह शोध पत्र अभाज्य आदर्श रेस (prime ideal races) में चेबिशेव पूर्वाग्रह (Chebyshev's bias) के लिए एक नया मानदंड प्रस्तुत करता है जो केवल विषम अभाज्य $p$ के लिए $2p$ -वें मूलों की संख्या में अंतर से उत्पन्न होता है, यह प्रदर्शित करते हुए कि ऐसा पूर्वाग्रह वर्ग मूल अंतरों या आर्टिन $L$ -फंक्शन्स (Artin $L$ -functions) के लुप्त होने के क्रम पर निर्भर किए बिना भी हो सकता है, और साथ ही कुछ डीप रीमैन हाइपोथेसिस (Deep Riemann Hypothesis) अनुमानों के लिए बिना शर्त परिणाम भी स्थापित करता है।

मूल लेखक: Mounir Hayani

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

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

CC BY 4.0

मूल लेखक: Mounir Hayani

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

कल्पना कीजिए कि एक ऐसा ब्रह्मांड है जहाँ संख्याएँ केवल ठंडे, कठोर तथ्य नहीं हैं, बल्कि एक भव्य, अराजक दौड़ के पात्र हैं। गणित की दुनिया में, विशेष रूप से संख्या सिद्धांत (number theory) नामक एक शाखा में, "प्राइम आइडियल रेस" (Prime Ideal Race) नामक एक प्रसिद्ध खेल है। प्राइम नंबरों को एक ट्रैक पर दौड़ने वाले धावकों के रूप में सोचें। एक सदी से अधिक समय से, गणितज्ञों ने देखा है कि कुछ धावक अक्सर दूसरों की तुलना में बढ़त बनाए रखते हैं, भले ही लंबे समय में उन्हें पूरी तरह से बराबरी पर होना चाहिए। यह घटना "चेबायेशेव बायस" (Chebyshev's bias) के रूप में जानी जाती है। यह सिक्का उछालने जैसा है और यह देखना कि लंबे समय तक यह बार-बार 'हेड्स' पर आता है, भले ही आप जानते हों कि यह एक निष्पक्ष सिक्का है। सबसे बड़ा सवाल हमेशा यह रहा है: ऐसा क्यों होता है? क्या यह सिर्फ एक इत्तेफाक है, या क्या कोई छिपा हुआ नियम पुस्तिका है जो इस दौड़ को नियंत्रित करती है?

लंबे समय तक, इसका उत्तर दो चीजों का मिश्रण प्रतीत होता था: एक संख्या के कितने "वर्ग मूल" (square roots) हैं (जैसे कि किसी संख्या को स्वयं से गुणा करने के कितने तरीके हैं जिससे परिणाम प्राप्त होता है) और $s = 1/2$ नामक एक विशिष्ट, पेचीदा समय बिंदु पर दौड़ कैसे व्यवहार करती है। लेकिन क्या होगा यदि वहाँ एक तीसरा, छिपा हुआ कारक हो? क्या होगा यदि यह पक्षपात (bias) "उच्च मूलों" (higher roots) से संबंधित कुछ गहरे स्तर पर हो, जिसे पहले किसी ने नहीं देखा था? यह रहस्य मुनीर हयानी (Mounir Hayani) का शोध पत्र हल करने का प्रयास करता है। लेखक केवल अनुमान नहीं लगा रहे हैं; वे यह साबित करने के लिए एक गणितीय मशीन बना रहे हैं कि यह छिपा हुआ कारक मौजूद है और इसे काम करने के लिए सबसे छोटा संभव "इंजन" (एक विशिष्ट प्रकार की समूह संरचना) खोजने के लिए।

छिपे हुए मूल की कहानी

शोध पत्र इस दौड़ को देखने का एक नया तरीका पेश करके शुरू होता है। कल्पना कीजिए कि धावक (प्राइम नंबर) बैज पहने हुए हैं जो हमें उनके "मूलों" (roots) के बारे में बताते हैं। एक "वर्ग मूल" (square root) एक ऐसे धावक की तरह है जो अपनी दो समान कॉपियों में विभाजित हो सकता है। एक "उच्च मूल" (higher root), जैसे कि छठा या दसवां मूल, एक ऐसे धावक की तरह है जो छह या दस समान कॉपियों में विभाजित हो सकता है। लंबे समय तक, गणितज्ञों ने सोचा कि दौड़ में पक्षपात केवल वर्ग मूलों के अंतर या दौड़ के आधे बिंदु पर होने वाली एक विशिष्ट गड़बड़ी के कारण होता है।

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

सबसे छोटी संभव मशीन का निर्माण

शोध पत्र का सबसे रोमांचक हिस्सा उन "मशीनों" का निर्माण है जो इस पक्षपात को पैदा करती हैं। लेखक पूछते हैं: "संख्याओं का सबसे छोटा, सरल समूह (एक गैलवा समूह/Galois group) क्या है जो इस विशिष्ट प्रकार के पक्षपात को पैदा कर सकता है?"

इसका उत्तर देने के लिए, उन्हें एक बहुत ही विशिष्ट प्रकार की गणितीय संरचना बनानी पड़ी। उन्होंने "सामान्यीकृत क्वार्टरनियन समूहों" (generalized quaternion groups) का उपयोग किया। यदि आप एक मानक समूह की कल्पना एक नर्तकों के सरल घेरे के रूप में करते हैं, तो एक क्वार्टरनियन समूह एक जटिल, घूमते हुए नृत्य की तरह है जहाँ नर्तक इस तरह से घूम और पलट सकते हैं जो सामान्य समरूपता के नियमों को तोड़ देते हैं।

शोध पत्र सिद्ध करता है कि इस "उच्च मूल" पक्षपात को प्राप्त करने के लिए, आपको एक निश्चित न्यूनतम आकार की मशीन की आवश्यकता है।

संख्या 3 के लिए, सबसे छोटी मशीन के 96 भाग होने चाहिए।
संख्या 5 के लिए, सबसे छोटी मशीन के 320 भाग होने चाहिए।

लेखक ने केवल अनुमान नहीं लगाया; उन्होंने सिद्ध किया कि इससे छोटा कोई भी मशीन काम नहीं कर सकता। उन्होंने इन मशीनों का निर्माण दो सामान्यीकृत क्वार्टरियन समूहों के प्रत्यक्ष उत्पाद (direct product) का उपयोग करके किया (कल्पना करें कि दो जटिल नृत्य दल हाथ मिलाकर एक विशाल, जटिल दल बनाते हैं)। उदाहरण के लिए, संख्या 3 के लिए, मशीन 12 नर्तकों के एक समूह और 8 नर्तकों के एक समूह से मिलकर बनी है, जो मिलकर 96 प्राप्त करते हैं। यह वह पूर्ण न्यूनतम आकार है जो वर्ग मूल या आधे बिंदु के ग्लिच की मदद के बिना इस पक्षपात को प्रकट करने के लिए आवश्यक है।

"निष्पक्ष" विरोधाभास

शोध पत्र एक दिलचस्प विरोधाभास को भी संबोधित करता है। एक "निष्पक्ष" दौड़ को परिभाषित करने के दो तरीके हैं। एक तरीका (रुबिनस्टीन-सारनाक/Rubinstein-Sarnak) दौड़ के दीर्घकालिक घनत्व को देखता है। दूसरा तरीका (आओकी-कोयामा/Aoki-Koyama) एक विशिष्ट भार के साथ दौड़ के व्यवहार को देखता है। लेखक दिखाते हैं कि यह एक ऐसी दौड़ बनाना संभव है जो आओकी-कोयामा के नियमों के तहत "निष्पक्ष" (fair) दिखती है लेकिन वास्तव में रुबिनस्टीन-सारनाक के नियमों के तहत "पक्षपाती" (biased) है।

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

आगे क्या?

शोध पत्र केवल 3 और 5 पर नहीं रुकता है। लेखक किसी भी विषम अभाज्य संख्या के लिए इन मशीनों को बनाने की एक रेसिपी प्रदान करते हैं। वे यहाँ तक कि बड़ी अभाज्य संख्याओं, जैसे 7, 11, या 13 के लिए सबसे छोटे आकार का अनुमान लगाने के लिए एक सूत्र भी देते हैं। उदाहरण के लिए, संख्या 11 के लिए, वे भविष्यवाणी करते हैं कि सबसे छोटी मशीन को 8,096 भागों की आवश्यकता होगी। हालाँकि उन्होंने अभी तक हर एक अभाज्य संख्या के लिए इसे सिद्ध नहीं किया है, लेकिन पैटर्न मजबूत है, और वे अन्य गणितज्ञों को अपने सूत्र का परीक्षण करने के लिए आमंत्रित करते हैं।

संक्षेप में, यह शोध पत्र प्राइम नंबर रेस की दुनिया में एक नया दरवाजा खोलता है। यह दिखाता है कि पक्षपात केवल वर्ग मूलों या आधे बिंदु के ग्लिच के बारे में नहीं है; यह "उच्च मूलों" के एक पूरे नए परिवार के बारे में है। इस पक्षपात को प्रदर्शित करने के लिए सबसे छोटी मशीनों का निर्माण करके, लेखक ने हमें प्राइम नंबरों के नृत्य को नियंत्रित करने वाले छिपे हुए नियमों की एक स्पष्ट और अधिक पूर्ण तस्वीर दी है। यह हमें याद दिलाता है कि गणित में, यहाँ तक कि सबसे परिचित दौड़ों में भी गुप्त मोड़ हो सकते हैं जिन्हें केवल सबसे जिज्ञासु खोजकर्ता ही खोज सकते हैं।

तकनीकी सारांश: अभाज्य आदर्श दौड़ (Prime Ideal Races) में उच्च घात की जड़ों की भूमिका पर

समस्या विवरण
यह शोध पत्र संख्या क्षेत्रों (number fields) के गैलुआ विस्तार (Galois extensions) के भीतर अभाज्य आदर्श दौड़ के संदर्भ में चेबिशेव के पूर्वाग्रह (Chebyshev's bias) की जांच करता है। विशेष रूप से, यह उस घटना को संबोधित करता है जहाँ सामान्यीकृत अभाज्य आदर्श गणना फलन $\pi(x; L/K; C_1)$ के $x$ के लिए मान, $\pi(x; L/K; C_2)$ से अधिक होने वाले समुच्चय की लघुगणकीय घनत्व (logarithmic density) $\delta_{L/K}(C_1, C_2)$ , अंतराल $(1/2, 1)$ में स्थित होती है।

मौजूदा साहित्य (जैसे, रुबिनस्टीन और सर्नक, एनजी) ने स्थापित किया है कि इस प्रकार के पूर्वाग्रह आमतौर पर दो प्राथमिक तंत्रों से उत्पन्न होते हैं:

संयुग्मन वर्गों (conjugacy classes) $C_1$ और $C_2$ में तत्वों के वर्गमूलों (square roots) की संख्या में अंतर।
आर्टिन $L$ -फंक्शन्स के $s = 1/2$ पर शून्य होने की कोटि (order of vanishing) (विशेष रूप से, सिम्प्लेक्टिक निरूपणों की उपस्थिति)।

यह कार्य संबोधित मुख्य समस्या यह है कि क्या एक पूर्वाग्रह केवल उच्च-घात की जड़ों (विशेष रूप से विषम अभाज्य $p$ के लिए $2p$ -वीं जड़ों) के अंतर से उत्पन्न किया जा सकता है, जब वर्गमूल विसंगतियों और $s=1/2$ पर $L$ -फंक्शन्स के शून्य होने, दोनों का अभाव हो।

कार्यप्रणाली
यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत और स्पष्ट समूह-सैद्धांतिक निर्माणों (group-theoretic constructions) के संयोजन का उपयोग करता है।

विश्लेषणात्मक ढांचा:
- लेखक गैलुआ समूह $G$ पर एक क्लास फंक्शन $t$ से जुड़े दो बीजगणितीय मापदंडों, $\iota(t)$ और $\gamma(t)$ को पेश करते हैं। ये पैरामीटर उन सबसे छोटे वर्गमुक्त पूर्णांकों $\ell$ को मापते हैं जिनके लिए प्रेरित फलन का $\ell$ -वाँ घात मानचित्र गैर-शून्य है और जिसके लिए रूट-काउंटिंग फलन के साथ आंतरिक उत्पाद गैर-शून्य है, क्रमशः।
- मानक परिकल्पनाओं (सामान्यीकृत रीमान परिकल्पना (GRH), आर्टिन की होलोमोर्फिसिटी अनुमान (AC), और रैखिकता (LI) के शून्य) के तहत, यह शोध पत्र पूर्वाग्रह के लिए एक सशर्त लक्षण वर्णन (प्रमेय 1.2) व्युत्पन्न करता है।
- विश्लेषण आर्टिन $L$ -फंक्शन्स के शून्यों से संबंधित समावेशन-अपवर्जन सिद्धांतों (inclusion-exclusion principles) का उपयोग करता है, जो उच्च जड़ों के योगदान को अलग करने के लिए रुबिनस्टीन-सर्नक ढांचे का विस्तार करता है।
समूह-सैद्धांतिक निर्माण:
- इस पूर्वाग्रह को बिना शर्त साकार करने के लिए, यह शोध पत्र विशिष्ट गैलुआ विस्तारों का निर्माण करता है जहाँ गैलुआ समूह $G$ गुण $P(2p; x, y)$ को संतुष्ट करता है। यह गुण आवश्यक है कि $x, y$ को रखने वाले संयुग्मन वर्गों $C_1, C_2$ के लिए, सभी वर्गमुक्त $\ell < 2p$ के लिए $\ell$ -वीं जड़ों की संख्या समान हो, लेकिन $\ell = 2p$ के लिए भिन्न हो।
- निर्माण अत्यधिक सामान्यीकृत क्वैटरनियन समूहों ( $Q_{4n}$ ) पर निर्भर करते हैं। लेखक इन समूहों के उत्पादों (जैसे, $Q_{4p} \times Q_{4(p-1)}$ ) को सामान्य रैखिक समूहों $GL(4, \mathbb{F}_q)$ में और तत्पश्चात सममित समूहों $S_{q^4}$ में अंतर्निहित (embed) करते हैं ताकि आवश्यक प्रतिनिधित्व-सैद्धांतिक बाधाओं (विशेष रूप से, यह सुनिश्चित करना कि प्रेरित क्लास फंक्शन निचली घातों के लिए शून्य हो लेकिन $2p$ -वीं घातों के लिए नहीं) को सुनिश्चित किया जा सके।
- शोध पत्र यह सिद्ध करता है कि $\mathbb{Q}$ पर विस्तार के गैलुआ समूह में कोई अपरिमेय सिम्प्लेक्टिक निरूपण नहीं होना चाहिए ताकि $s=1/2$ पर $L$ -फंक्शन्स की गैर-शून्यता सुनिश्चित हो सके।
निम्नतम सीमा प्रमाण (Lower Bound Proofs):
- शोध पत्र गुण $P(2p; x, y)$ को संतुष्ट करने वाले समूहों की कोटि (order) पर कठोर निम्नतम सीमाएँ स्थापित करता है। इसमें रूट-काउंटिंग सूत्रों का विश्लेषण, शू-ज़ैसेन (Schur–Zassenhaus) प्रमेय का उपयोग, और इनवोल्यूशन (involutions) के उच्च अनुपात वाले समूहों के वॉल (Wall) के वर्गीकरण का उपयोग शामिल है।

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

सशर्त लक्षण वर्णन (प्रमेय 1.2): शोध पत्र $\iota(t)$ और $\gamma(t)$ के मापदंडों के संदर्भ में एक आवश्यक और पर्याप्त स्थिति प्रदान करता है कि एक अभाज्य आदर्श दौड़ $C_1$ की ओर पक्षपाती ( $\delta > 1/2$ ) है। यह उस मामले को अलग करता है जहाँ पूर्वाग्रह पूरी तरह से उच्च जड़ों ( $\gamma(t) = 2\iota(t)$ ) द्वारा संचालित होता है और $L$ -फंक्शन्स का शून्य होना अनुपस्थित होता है।
बिना शर्त निर्माण (प्रमेय 1.5): लेखक स्पष्ट गैलुआ विस्तार $L/K$ $L / K$ का निर्माण करते हैं जहाँ पूर्वाग्रह विशेष रूप से $2p$ $2 p$ -वीं जड़ों की संख्या में अंतर से उत्पन्न होता है।
- $p=3$ के लिए, न्यूनतम गैलुआ समूह कोटि 96 सिद्ध की गई है। इसकी समूह संरचना $Q_{12} \times Q_8$ है।
- $p=5$ के लिए, न्यूनतम गैलुआ समूह कोटि 320 सिद्ध की गई है। इसकी समूह संरचना $Q_{20} \times Q_{16}$ है।
- निर्मित समूह, सामान्यीकृत क्वैटरनियन समूहों और चक्रीय समूहों के प्रत्यक्ष उत्पाद (direct products) हैं।
निम्नतम सीमाएँ (प्रमेय 4.1 और 4.2): शोध पत्र यह सिद्ध करता है कि गुण $P(2p; x, y)$ को संतुष्ट करने वाला कोई भी परिमित समूह कम से कम $8p^2$ की कोटि का होना चाहिए। विशेष रूप से, इसने $p=3$ के लिए $|G| \ge 96$ और $p=5$ के लिए $|G| \ge 320$ के अनुकूलतम निम्नतम मान स्थापित किए हैं, जिससे पुष्टि होती है कि निर्मित उदाहरण न्यूनतम डिग्री के हैं।
भारित अभाज्य आदर्श दौड़ (Weighted Prime Ideal Races) (प्रमेय 1.6 और 1.7): यह शोध पत्र भारित अभाज्य गणना फलनों $\pi_\alpha(x)$ $π_{α} (x)$ के लिए परिणामों का विस्तार करता है। यह प्रदर्शित करता है कि विशिष्ट विस्तारों के लिए, डीप रीमैन हाइपोथीसिस (DRH) के तहत स्थापित आओकी और कोयामा का साहचर्य व्यवहार GRH के तहत बिना शर्त सत्य है।
- यह उन मामलों की पहचान करता है जहाँ दौड़ आओकी-कोयामा के अर्थ में "निष्पक्ष" (असिम्प्टोटिक विस्तार में स्थिरांक $K=0$ के साथ) है लेकिन रुबिनस्टीन-सर्नक के अर्थ में "पक्षपाती" ( $\delta \in (1/2, 1)$ ) है, या इसके विपरीत, भार $\alpha$ के आधार पर।
- प्रस्ताव 1.8: यह दिखाया गया है कि $E_p$ के लिए निर्मित विस्तारों के लिए, $\alpha > 1/(2p)$ भारों के लिए दौड़ आओकी-कोयामा के अर्थ में निष्पक्ष है, जबकि रुबिनस्टीन-सर्नक के अर्थ में पक्षपाती बनी रहती है।

महत्व और दावे
शोध पत्र यह दावा करता है कि यह चेबिशेव के पूर्वाग्रह की समझ में एक विशिष्ट अंतराल को हल करता है, यह प्रदर्शित करके कि "पूर्वाग्रह" की घटना केवल वर्गमूलों या $L$ -फंक्शन के शून्यों तक सीमित नहीं है। उच्च जड़ों ( $2p$ -वीं जड़ों) के अंकगणित से शुद्ध रूप से संचालित होने वाले उदाहरणों का निर्माण करके, लेखक:

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

शोध पत्र सभी विषम अभाज्य $p$ के लिए न्यूनतम कोटि $n_p$ के सामान्य सूत्र और सभी वर्गमुक्त पूर्णांक $d$ के लिए ऐसे समूहों के अस्तित्व के संबंध में खुले प्रश्न पूछते हुए समाप्त होता है, जो सुझाव देता है कि सामान्यीकृत क्वैटरनियन निर्माण संभवतः न्यूनतम संरचनाएँ प्रदान करते हैं।

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