Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field

基本信息

• 论文ID: 2510.07787
• 标题: Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field
• 作者: Noy Soffer Aranov (Graz University of Technology)
• 分类: math.NT (Number Theory), cs.NA (Numerical Analysis), math.NA, math.PR (Probability)
• 发表时间: 2025年11月12日 (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. 精确等式vs渐近关系：实数情形只能得到渐近关系，而函数域的结构可能允许精确的分布等式。

核心贡献

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{else} \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$ 时：