Минимальные знаменатели в подмножествах кольца многочленов над конечным полем

Основная информация

• ID статьи: 2510.07787
• Название: Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field
• Автор: Ной Софер Аранов (Технологический университет Граца)
• Классификация: math.NT (Теория чисел), cs.NA (Численный анализ), math.NA, math.PR (Теория вероятностей)
• Дата публикации: 12 ноября 2025 г. (arXiv v2)
• Ссылка на статью: https://arxiv.org/abs/2510.07787

Аннотация

В данной работе исследуется проблема минимальных знаменателей в подмножествах кольца многочленов над конечным полем. Для подмножества $\mathcal{S}\subseteq \mathbb{F}_q[x]$ и фиксированных $n,m\in \mathbb{N}$ автор изучает две связанные задачи: (1) непрерывный случай: распределение минимального знаменателя $Q\in \mathcal{S}$ такого, что $\frac{P}{Q}$ лежит в шаре $B(\alpha, q^{-n})$ для $\mathbf{P}\in \mathbb{F}_q[x]^m$; (2) дискретный случай: соответствующее дискретное распределение вероятностей при $N\in \mathbb{F}_q[x]$ с $\deg(N)=n$. Доказано, что для любого бесконечного подмножества $\mathcal{S}$, любого $n$ и любой размерности $m$ функции распределения вероятностей этих двух случайных величин полностью совпадают. Это значительно сильнее результатов для вещественных чисел (Балазар и Мартин доказали лишь асимптотическое совпадение средних значений).

Исследовательский контекст и мотивация

Предыстория проблемы

1. Классическая задача: Крейсвейк и Мейер 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. Непрерывный аналог: Мейсс и Сандерс 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. Важный прогресс: Балазар и Мартин BM23 доказали гипотезу Крейсвейка-Мейера и установили связь между дискретным и непрерывным случаями: $S(N) - N\int_0^1 q_{\min}\left(x, \frac{1}{N}\right)dx \ll N^{4/3}\ln^2 N$

Мотивация исследования

1. Специальные свойства функциональных полей: Функциональные поля обладают ультраметрическим свойством, что делает поведение пересечений шаров более регулярным (либо не пересекаются, либо совпадают), что может привести к более точным результатам.
2. Ограничение множества знаменателей: Существующие исследования сосредоточены на случае всех знаменателей, а данная работа рассматривает знаменатели, ограниченные определённым подмножеством $\mathcal{S}$, что имеет важные приложения в теории чисел.
3. Обобщение на высшие размерности: Распространение одномерных результатов на произвольную размерность $m$, что имеет значение в теории диофантовых приближений.
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. Последовательности Адамара (Theorem 1.10): Для мультипликативной полугруппы $\mathcal{S} = \{P^d : d\geq 0\}$ дана полная формула распределения, связанная с разложением рядов Лорана по основанию $P$.
5. Результат с нулевой ошибкой: В отличие от вещественного случая с ошибкой $O(N^{4/3}\ln^2 N)$, в функциональном поле ошибка равна нулю, что является принципиальным улучшением.

Подробное описание методов

Определение задач

Непрерывный случай: Для $\alpha \in K_\infty^m$ ($m$-мерное пространство рядов Лорана) и $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. Дроби Фарея и покрытия шарами

Определим $\mathcal{S}$-дроби Фарея: $\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. Применение ультраметрического свойства

Лемма 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. Условие разделённости

Определение 3.2: Дробь Фарея $\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}$

Это понятие аналогично концепции "зазоров" в дробях Фарея, изученной Марклофом Mar13, Mar24.

Стратегия доказательства

Доказательство 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)$ как число непересекающихся шаров, соответствующих всем $(\mathcal{S}, n)$-разделённым дробям Фарея со знаменателем $Q$, затем завершить доказательство аналогично 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)$

Это обобщает результат Балазара-Мартина и снижает член ошибки с $O(N^{4/3}\ln^2 N)$ до нуля.

3. Точное распределение без ограничений на знаменатели (Corollary 1.5)

При $\mathcal{S} = R_{\text{monic}}$, $n\geq 2$, $m=1$: