Noy Soffer Aranov

1paper

1 Paper

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

Noy Soffer Aranov

Given a subset $\mathcal{S}\subseteq \mathbb{F}_q[x]$ and fixed integers $n,m\in \mathbb{N}$, we study the distribution of the smallest denominator $Q\in \mathcal{S}$ for which there exists $\mathbf{P}\in \mathbb{F}_q[x]^m$ such that $\left\Vert\frac{\mathbf{P}}{Q}-\boldsymbolα\right\Vert<q^{-n}$, where $\boldsymbolα\in x^{-1}\mathbb{F}_q((x^{-1}))^m$ is chosen randomly. We also consider the discrete analogue obtained by fixing a polynomial $N\in \mathbb{F}_q[x]$ with $°(N)=n$ and sampling $\boldsymbolα$ uniformly from $\frac{1}{N}\mathbb{F}_q[x]^m$. We prove that for any infinite subset $\mathcal{S}\subseteq \mathbb{F}_q[x]$, for every $n\in \mathbb{N}$ and every dimension $m$, the probability distributions of these two random variables coincide. This result is significantly stronger than the corresponding statement in the real setting, where Balazard and Martin showed that the averages of the discrete and continuous smallest denominator functions are asymptotically close.