Counting $2\times 2$ matrices with fixed determinant and bounded coefficients

यहाँ कविता धंधा, एलन हेन्स और सिल्मी प्रसला के शोध पत्र "Counting 2 × 2 Matrices with Fixed Determinant and Bounded Coefficients" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक निश्चित गैर-शून्य सारणिक (determinant) $n \in \mathbb{N}$ और $X$ द्वारा सीमित निरपेक्ष मान वाले गुणांकों वाले $2 \times 2$ पूर्णांक आव्यूह (integer matrices) $A$ की गणना करने की समस्या को संबोधित करता है। विशेष रूप से, लेखक इस गणना फलन (counting function) का अध्ययन करते हैं:
$$S_{2, \|\cdot\|_\infty}(n, X) = \# \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \mathbb{Z}^{2 \times 2} : \det(A) = n, \max(|a|, |b|, |c|, |d|) \le X \right\}$$
जहाँ $\|\cdot\|_\infty$ सुप्रा-नॉर्म (sup-norm) को दर्शाता है।

यद्यपि यूक्लिडियन नॉर्म (रोटेशनल इनवेरिएंस पर आधारित) और $n=0$ के विशिष्ट मामले के लिए इस समस्या के लिए अनंतस्पर्शी सूत्र (asymptotic formulas) मौजूद हैं, लेकिन $n \neq 0$ के लिए फिक्स्ड सुप्रा-नॉर्म के साथ व्यवहार एम. अफीफुर्रहमान (22024) के हालिया कार्य तक कम समझा गया था। लेखक इन अनुमानों को परिष्कृत करने का लक्ष्य रखते हैं, विशेष रूप से त्रुटि पद (error term) और $X$ के सापेक्ष $n$ के लिए वैधता की सीमा के संबंध में।

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

लेखक विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की तकनीकों और संयोजन संबंधी तर्कों (combinatorial arguments) के संयोजन का उपयोग करते हैं:

• गणना फलन का अपघटन (Decomposition of the Counting Function):
  लेखक तत्वों के बीच संबंधों के आधार पर आव्यूहों के सेट को विभाजित करते हैं। वे $S_{leq}$ (जहाँ $|r| \le |q|$) और $S_{eq}$ (जहाँ $|r| = |q|$) को परिभाषित करते हैं ताकि कुल गणना $S(n, X)$ को भाजकों के योग से जोड़ा जा सके।
  $$S(n, X) = 2S_{leq}(n, X) - S_{eq}(n, X)$$
  यह समस्या को विशिष्ट सीमाओं के तहत रैखिक डायोफैंटाइन समीकरण $ar - bq = n$ के समाधानों की गणना करने तक सीमित कर देता है।

• भाजक योग और मॉड्यूलर अंकगणित (Divisor Summation and Modular Arithmetic):
  प्रमेय 1 (Theorem 1) का प्रमाण $n$ के भाजकों $d$ पर योग करने में निहित है। $q = d q_d$ और $n = d n_d$ निर्धारित करके, समीकरण को रूपांतरित किया जाता है। लेखक $a$ पर योग को प्रतिबंधित करने के लिए $(a, q) | n$ की स्थिति का उपयोग करते हैं।
  वे मॉड्यूलर अंकगणित के चरणों में सख्त असमानता बाधाओं को शिथिल करने से उत्पन्न होने वाले "त्रुटि" को बांधने के लिए ऑयलर टोटिएंट फलन $\phi$ और मोबियस फलन $\mu$ के गुणों का उपयोग करते हुए $a r' - b q' = n'$ के समाधानों की संख्या का विश्लेषण करते हैं।

• त्रुटि पद विश्लेषण (Error Term Analysis):
  प्रमाण का एक महत्वपूर्ण हिस्सा मॉड्यूलर अंकगणित के चरणों में सख्त असमानता बाधाओं को शिथिल करने से उत्पन्न होने वाली "त्रुटि" को बांधने में लगा है। वे $\sigma_0(n)$ (भाजकों की संख्या) और $\sigma_{-1}(n)$ (व्युत्क्रम भाजकों के योग) से संबंधित मानक विश्लेषणात्मक संख्या सिद्धांत बाउंड्स का उपयोग करते हैं।

• निम्नतम सीमाओं के लिए पिजनहोल सिद्धांत (Pigeonhole Principle for Lower Bounds):
  प्रमेय 2 के लिए, लेखक डिरिचलेट पिजनहोल सिद्धांत का उपयोग करते हैं। वे एक विशिष्ट रेंज के भीतर युग्मों $(a, q)$ के सेट का निर्माण करते हैं और उन्हें अवशेषों (residues) modulo $n$ पर मैप करते हैं। यह दिखाकर कि मानचित्र अधिरोपित (surjective) है और टकरावों (जहाँ $ar - bq = \pm n$) का विश्लेषण करके, वे छोटे $X$ के लिए अनंतस्पर्शी व्यवहार प्राप्त करते हैं।

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

प्रमेय 1: उन्नत अनंतस्पर्शी सूत्र (Improved Asymptotic Formula)

लेखक $S_{2, \|\cdot\|_\infty}(n, X)$ के अनंतस्पर्शी सूत्र के लिए एक नया, छोटा प्रमाण प्रदान करते हैं जिसमें अफीफुर्रहमान के पिछले कार्य की तुलना में काफी बेहतर त्रुटि पद है।

परिणाम:
किसी भी $\epsilon > 0$, $n \in \mathbb{N}$, और $X \ge 1$ के लिए:
$$S_{2, \|\cdot\|_\infty}(n, X) = \frac{96 \sigma_{-1}(n)}{\pi^2} X^2 + O_\epsilon \left( \sigma_0(n) X \log X + n X^\epsilon \right)$$

त्रुटि पद का महत्व:

• एकरूपता (Uniformity): त्रुटि पद $n$ और $X$ दोनों में एकसमान है।
• वैधता की सीमा (Range of Validity): यह सूत्र $X \ge n^{1/2 + \delta}$ जितनी छोटी सीमा में भी महत्वपूर्ण अनुमान प्रदान करता है।
• सुधार (Improvement): जब $X \gg n$, तो त्रुटि पद अफीफुर्रहमान के $O(X^{5/3})$ और उसके बाद गंगुली और गुरिया के $O(n^\theta X^{3/2+\epsilon})$ की तुलना में "महत्वपूर्ण शक्ति बचत" (significant power savings) प्रदान करता है।

प्रमेय 2: थ्रेशोल्ड व्यवहार और प्रति-उदाहरण (Threshold Behavior and Counter-Example)

लेखक प्रदर्शित करते हैं कि प्रमेय 1 में घातांक $1/2 + \delta$ सटीक (sharp) है। वे सिद्ध करते हैं कि जब $X$ घटकर ठीक $n^{1/2}$ हो जाता है (विशेष रूप से $n=p$ या $n=p^2$ के लिए जहाँ $p$ एक अभाज्य संख्या है), तो मुख्य पद बदल जाता है, जो इंगित करता है कि प्रमेय 1 का सूत्र इस शासन (regime) में सही अनंतस्पर्शी अनुमान प्रदान करने में विफल रहता है।

परिणाम:
एक अभाज्य $p$ के लिए:

1. $S_{2, \|\cdot\|_\infty}(p, p^{1/2}) = 4 \left( \frac{12}{\pi^2} - 1 \right) p + O(p^{1/2} \log p)$
2. $S_{2, \|\cdot\|_\infty}(p^2, p) = 4 \left( \frac{12}{\pi^2} - 1 \right) p^2 + O(p \log p)$

मुख्य अवलोकन:
यहाँ मुख्य पद में स्थिरांक $4(\frac{12}{\pi^2} - 1)$ है, जो प्रमेय 1 में स्थिरांक $\frac{96}{\pi^2}$ से भिन्न है। यह सिद्ध करता है कि $X \approx n^{1/2}$ पर अनंतस्पर्शी व्यवहार एक चरण संक्रमण (phase transition) से गुजरता है।

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

• मौजूदा सिद्धांत का परिशोधन: यह शोध पत्र बंधित गुणांकों वाले आव्यूह गणना के संबंध में त्रुटि पदों से जुड़े खुले प्रश्नों को हल करता है, जो $n$ के लिए एक समान (uniform) अधिक सटीक बाउंड प्रदान करता है।
• घातांकों की सटीकता: प्रमेय 2 को स्थापित करके, लेखक सिद्ध करते हैं कि $X \sim n^{1/2}$ एक मौलिक बाधा है। इस सीमा से नीचे, आव मैट्रिक्स का वितरण अलग-अलग अंकगणितीय गुणों (जो $p$-adic संख्याओं में "मिनिमल डिनोमिनेटर समस्या" से संबंधित हैं) द्वारा नियंत्रित होता है, जिससे मानक मुख्य पद अमान्य हो जाता है।
• पद्धतिगत दक्षता: प्रमेय 1 का प्रमाण "छोटा" और स्व-निहित (self-contained) वर्णित है, जो जटिल एर्गोडिक या स्पेक्ट्रल दृष्टिकोणों की तुलना में अधिक सुलभ व्युत्पत्ति प्रदान करता है।
• भविष्य की दिशाएँ: $X = n^{1/2}$ के लिए स्थिरांकों में विसंगति $p$-adic मिनिमल डिनोमिनेटर समस्याओं के साथ गहरे संबंध का सुझाव देती है, जो उच्च घात के अभाजों और अधिक सामान्य अंकगणितीय परिवेशों में अनुसंधान के लिए एक नया मार्ग खोलती है।

संक्षेप में, यह शोध पत्र वर्तमान में ज्ञात सबसे सटीक अनंतस्पर्शी सूत्र स्थापित करता है, जबकि इस सूत्र की प्रयोज्यता की सीमाओं को कठोरता से परिभाषित करता है।