परिमित क्षेत्र पर बहुपद वलय के उपसमुच्चय में न्यूनतम हर

मूल जानकारी

• पेपर ID: 2510.07787
• शीर्षक: परिमित क्षेत्र पर बहुपद वलय के उपसमुच्चय में न्यूनतम हर
• लेखक: Noy Soffer Aranov (ग्राज़ प्रौद्योगिकी विश्वविद्यालय)
• वर्गीकरण: math.NT (संख्या सिद्धांत), cs.NA (संख्यात्मक विश्लेषण), math.NA, math.PR (संभाव्यता)
• प्रकाशन समय: 25 नवंबर 2025 (arXiv v2)
• पेपर लिंक: https://arxiv.org/abs/2510.07787

सारांश

यह पेपर परिमित क्षेत्र पर बहुपद वलय के उपसमुच्चय में न्यूनतम हर की समस्या का अध्ययन करता है। दिए गए उपसमुच्चय $\mathcal{S}\subseteq \mathbb{F}_q[x]$ और निश्चित $n,m\in \mathbb{N}$ के लिए, लेखक दो संबंधित समस्याओं का अध्ययन करते हैं: (1) सतत स्थिति: गोले $B(\alpha, q^{-n})$ में $\mathbf{P}\in \mathbb{F}_q[x]^m$ का अस्तित्व जहाँ $\frac{P}{Q}$ इस गोले में पड़ता है, न्यूनतम हर $Q\in \mathcal{S}$ का वितरण; (2) असतत स्थिति: जब $N\in \mathbb{F}_q[x]$ संतुष्ट करता है $\deg(N)=n$, संबंधित असतत संभाव्यता वितरण। पेपर सिद्ध करता है कि किसी भी अनंत उपसमुच्चय $\mathcal{S}$, किसी भी $n$ और किसी भी आयाम $m$ के लिए, ये दोनों यादृच्छिक चर के संभाव्यता वितरण पूरी तरह से समान हैं। यह वास्तविक संख्या स्थिति के परिणामों (Balazard और Martin ने केवल औसत मान渐近रूप से निकट होने को सिद्ध किया) से बहुत अधिक शक्तिशाली है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

1. शास्त्रीय समस्या की उत्पत्ति: Kruyswijk और Meijer KM77 ने पूर्णांकों पर परिभाषित फलन का अध्ययन किया: $q_j(N) = \min\left\{q \in \mathbb{N} : \exists p \in \mathbb{Z} : \frac{p}{q} \in \left[\frac{j}{N}, \frac{j+1}{N}\right)\right\}$ अर्थात्, किसी अंतराल में पड़ने वाली परिमेय संख्या का न्यूनतम हर। उन्होंने सिद्ध किया कि $S(N) = \sum_{j=0}^{N-1} q_j(N) \asymp N^{3/2}$, और अनुमान लगाया कि $S(N) \sim \frac{16}{\pi^2}N^{3/2}$।
2. सतत सादृश्य: Meiss और Sanders SM20 ने सतत संस्करण प्रस्तावित किया: $q_{\min}(x, \delta) = \min\left\{q \in \mathbb{N} : \exists \frac{p}{q} \in \left(x-\frac{\delta}{2}, x+\frac{\delta}{2}\right), \gcd(p,q)=1\right\}$
3. महत्वपूर्ण प्रगति: Balazard और Martin BM23 ने Kruyswijk-Meijer अनुमान को सिद्ध किया, और असतत और सतत स्थितियों के बीच संबंध स्थापित किया: $S(N) - N\int_0^1 q_{\min}\left(x, \frac{1}{N}\right)dx \ll N^{4/3}\ln^2 N$

अनुसंधान प्रेरणा

1. फलन क्षेत्र की विशेष गुणें: फलन क्षेत्र अतिमेट्रिक गुण (ultrametric inequality) रखते हैं, जो गोलों के प्रतिच्छेदन व्यवहार को अधिक नियमित बनाता है (या तो असंयुक्त या समान), जो अधिक सटीक परिणामों की ओर ले जा सकता है।
2. हर को प्रतिबंधित करना: मौजूदा अनुसंधान मुख्य रूप से सभी हरों के मामले पर ध्यान केंद्रित करता है, यह पेपर हर को विशिष्ट उपसमुच्चय $\mathcal{S}$ में प्रतिबंधित करने पर विचार करता है, जिसका संख्या सिद्धांत में महत्वपूर्ण अनुप्रयोग है।
3. उच्च-आयामी सामान्यीकरण: एक-आयामी परिणामों को किसी भी आयाम $m$ तक सामान्यीकृत करना, जो Diophantine सन्निकटन सिद्धांत में महत्वपूर्ण है।
4. सटीक समानता बनाम渐近संबंध: वास्तविक संख्या स्थिति केवल渐近संबंध दे सकती है, जबकि फलन क्षेत्र की संरचना सटीक वितरण समानता की अनुमति दे सकती है।

मुख्य योगदान

1. मुख्य प्रमेय (Theorem 1.3): सिद्ध करता है कि किसी भी अनंत समुच्चय $\mathcal{S} \subseteq \mathbb{F}_q[x]_{\text{monic}}$, किसी भी आयाम $m$, किसी भी $n\in\mathbb{N}$ और किसी भी $N\in R_{=n}$ के लिए, असतत और सतत स्थितियों के संभाव्यता वितरण पूरी तरह से समान हैं: $\mathbb{P}(a \in R^m_{<n} : d_{N,\mathcal{S}}(a) = k) = \nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$
2. हर वितरण प्रमेय (Theorem 1.7): न केवल घात वितरण समान है, बल्कि वास्तविक न्यूनतम हर बहुपद का वितरण भी पूरी तरह से समान है: $\mathbb{P}(a \in R^m_{<n} : Q_{N,\mathcal{S}}(a) = Q) = \nu(\alpha \in \mathfrak{m}^m : Q_{\min,\mathcal{S}}(\alpha, q^{-n}) = Q)$
3. सटीक वितरण सूत्र (Corollary 1.5): अप्रतिबंधित हर स्थिति के लिए सटीक संभाव्यता सूत्र देता है, उदाहरण के लिए जब $n\geq 2$: $\mathbb{P}(a \in R_{<n} : d_{N,R_{\text{monic}}}(a) = k) = \begin{cases} q^{-n} & k=0 \\ \frac{q-1}{q^{n-2k+1}} & k \leq \lceil\frac{n}{2}\rceil \\ 0 & \text{अन्यथा} \end{cases}$
4. Hadamard अंतराल अनुक्रम (Theorem 1.10): गुणक अर्धसमूह $\mathcal{S} = \{P^d : d\geq 0\}$ के लिए, पूर्ण वितरण सूत्र देता है, जो Laurent श्रृंखला के आधार $P$ विस्तार से संबंधित है।
5. शून्य त्रुटि परिणाम: वास्तविक संख्या स्थिति की $O(N^{4/3}\ln^2 N)$ त्रुटि के विपरीत, फलन क्षेत्र स्थिति की त्रुटि शून्य है, यह एक आवश्यक सुधार है।

विधि विवरण

कार्य परिभाषा

सतत स्थिति: दिए गए $\alpha \in K_\infty^m$ ($m$-आयामी Laurent श्रृंखला स्थान) और $n\in\mathbb{N}$, परिभाषित करें $\deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = \min\left\{d : \exists \frac{P}{Q} \in K^m, (P,Q)\in\hat{R}^{m+1}, Q\in\mathcal{S}\cap R_{=d}, \left\|\alpha - \frac{P}{Q}\right\| < \frac{1}{q^n}\right\}$

असतत स्थिति: दिए गए $N\in R_{=n}$ और $a\in R^m_{<n}$, परिभाषित करें $d_{N,\mathcal{S}}(a) = \deg_{\min,\mathcal{S}}\left(\frac{a}{N}, \frac{1}{|N|}\right)$

जहाँ:

• $R = \mathbb{F}_q[x]$ परिमित क्षेत्र पर बहुपद वलय है
• $\hat{R}^{m+1}$ आदिम सदिशों को दर्शाता है (अर्थात् $\gcd$ 1 के सदिश)
• $\|\cdot\|$ अधिकतम मानदंड है: $\|v\| = \max_i |v_i|$
• $|f| = q^{\deg(f)}$ निरपेक्ष मान है

मुख्य तकनीकी ढांचा

1. Farey भिन्न और गोले कवरेज

$\mathcal{S}$-Farey भिन्न परिभाषित करें: $\mathcal{F}^m_{k,\mathcal{S}} = \left\{\frac{P}{Q} \in K : (P,Q)\in\hat{R}^{m+1}, \|P\| < |Q| \leq q^k, Q\in\mathcal{S}\right\}$

मुख्य मात्रा $f_{m,n,\mathcal{S}}(k)$: संघ $\bigcup_{P/Q\in\mathcal{F}^m_{k,\mathcal{S}}} B(P/Q, q^{-(n+1)})$ में असंयुक्त गोलों की संख्या को दर्शाता है।

2. अतिमेट्रिक गुण का अनुप्रयोग

Lemma 1.1 (मुख्य लेम्मा): $\alpha_1, \alpha_2 \in K_\infty^m$ और $r>0$ के लिए:

• यदि $\|\alpha_1 - \alpha_2\| > r$, तो $B(\alpha_1, r) \cap B(\alpha_2, r) = \emptyset$
• यदि $\|\alpha_1 - \alpha_2\| \leq r$, तो $B(\alpha_1, r) = B(\alpha_2, r)$

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

3. पृथक्करण शर्त

Definition 3.2: Farey भिन्न $\frac{P}{Q} \in \mathcal{F}^m_{k,\mathcal{S}}$ को $(\mathcal{S}, n)$-पृथक्कृत कहा जाता है, यदि सभी $\frac{A}{B} \in \mathcal{F}^m_{\deg(Q),\mathcal{S}} \setminus \{\frac{P}{Q}\}$ के लिए, $\left\|\frac{P}{Q} - \frac{A}{B}\right\| \geq q^{-n}$

यह अवधारणा Marklof Mar13, Mar24 द्वारा Farey भिन्नों के "अंतराल" पर किए गए अनुसंधान के समान है।

प्रमाण रणनीति

Theorem 1.3 के प्रमाण का मुख्य भाग

चरण 1: सतत स्थिति के लिए आयतन सूत्र स्थापित करें $\nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) > k) = 1 - \frac{f_{m,n,\mathcal{S}}(k)}{q^{mn}}$

चरण 2: असतत स्थिति के लिए गणना सूत्र स्थापित करें $\#\{a\in R^m_{<n} : d_{N,\mathcal{S}}(a) > k\} = q^{mn} - f_{m,n,\mathcal{S}}(k)$

चरण 3: अतिमेट्रिक गुण का उपयोग करके गोलों के संबंध को सिद्ध करें

• $B(P/Q, q^{-(n+1)}) \cap B(A/B, q^{-(n+1)}) = \emptyset$ यदि और केवल यदि
• $B(NP/Q, q^{-1}) \cap B(NA/B, q^{-1}) = \emptyset$

यह सुनिश्चित करता है कि असतत और सतत स्थितियों में असंयुक्त गोलों की संख्या समान है।

चरण 4: अंतर लेकर संभाव्यता समानता प्राप्त करें $\mathbb{P}(d_{N,\mathcal{S}}(a) = k) = \frac{f_{m,n,\mathcal{S}}(k) - f_{m,n,\mathcal{S}}(k-1)}{q^{mn}} = \nu_m(\deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$

Theorem 1.7 के प्रमाण का मुख्य भाग

Lemma 3.1 का उपयोग करके स्थापित करें: $Q_{\min,\mathcal{S}}(\alpha, q^{-n}) = Q$ समतुल्य है मौजूद $(\mathcal{S}, n)$-पृथक्कृत $P/Q$ के लिए।

$f_{m,n,\mathcal{S},Q}(k)$ को सभी $Q$ को हर के रूप में रखने वाले $(\mathcal{S}, n)$-पृथक्कृत Farey भिन्नों के अनुरूप असंयुक्त गोलों की संख्या के रूप में परिभाषित करें, फिर Theorem 1.3 के प्रमाण के समान पूरा करें।

प्रायोगिक सेटअप

यह पेपर एक शुद्ध गणितीय सिद्धांत पेपर है, इसमें संख्यात्मक प्रयोग या डेटासेट नहीं हैं। सभी परिणाम कठोर गणितीय प्रमाण हैं।

सैद्धांतिक सत्यापन

पेपर निम्नलिखित तरीकों से सिद्धांत की सही्ता को सत्यापित करता है:

1. विशेष स्थिति सत्यापन: Corollary 1.5 $\mathcal{S} = R_{\text{monic}}$ के लिए सटीक सूत्र देता है, जिसे Ara26 के परिणामों के साथ सत्यापित किया जा सकता है।
2. सुसंगतता जांच: संभाव्यता का योग 1 है, उदाहरण के लिए: $\sum_{k=0}^{n} \mathbb{P}(d_{N,\mathcal{S}}(a) = k) = 1$
3. सीमा स्थितियाँ:
   • जब $k \leq n/2$ तो, Corollary 2.1 देता है $f_{m,n,\mathcal{S}}(k) = \#\mathcal{F}^m_{k,\mathcal{S}}$
   • जब $1\in\mathcal{S}$ तो, $\mathbb{P}(d_{N,\mathcal{S}}(a)=0) = q^{-mn}$

प्रायोगिक परिणाम

मुख्य सैद्धांतिक परिणाम

1. पूर्ण समतुल्यता (Theorem 1.3)

सभी $k = 0, 1, \ldots, m_{\mathcal{S}}(n)$ के लिए: $\mathbb{P}(a \in R^m_{<n} : d_{N,\mathcal{S}}(a) = k) = \nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$

महत्व: यह सटीक समानता है न कि渐近संबंध, त्रुटि शून्य है।

2. अपेक्षित मान समानता (Corollary 1.4)

$\mathbb{E}[d_{N,\mathcal{S}}(a)] = \frac{1}{|N|}\sum_{a\in R^m} d_{N,\mathcal{S}}(a) = \int_{\mathfrak{m}^n} \deg_{\min,\mathcal{S}}(\alpha, |N|^{-1})d\nu_m(\alpha)$

यह Balazard-Martin के परिणाम को सामान्यीकृत करता है, और त्रुटि पद को $O(N^{4/3}\ln^2 N)$ से शून्य तक कम करता है।

3. अप्रतिबंधित हर का सटीक वितरण (Corollary 1.5)

जब $\mathcal{S} = R_{\text{monic}}$, $n\geq 2$, $m=1$: