arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2502.19881

A distribution related to Farey sequences -- I

Maxim A. Korolev
View original source ↗Read source document ↗Export metadata ↓

Abstract

Minor corrections to previous version. We study some arithmetical properties of Farey sequences by the method introduced by F.Boca, C.Cobeli and A.Zaharescu (2001). Let $Φ_{Q}$ be the classical Farey sequence of order $Q$. Having the fixed integers $D\geqslant 2$ and $0\leqslant c\leqslant D-1$, we colour to the red the fractions in $Φ_{Q}$ with denominators $\equiv c \pmod D$. Consider the gaps in $Φ_{Q}$ with coloured endpoints, that do not contain the fractions $a/q$ with $q\equiv c \pmod D$ inside. The question is to find the limit proportions $ν(r;D,c)$ (as $Q\to +\infty$) of such gaps with precisely $r$ fractions inside in the whole set of the gaps under considering ($r = 0,1,2,3,\ldots$). In fact, the expression for this proportion can be derived from the general result obtained by C.Cobeli, M.Vâjâitu and A.Zaharescu (2014). However, such formula expresses $ν(r;D,c)$ in the terms of areas of some polygons related to a special geometrical transform. In the present paper, we obtain an explicit formulas for $ν(r;D,c)$ for the cases $D = 2, 3$ and $c=0$.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maxim A. Korolev. 2025-04-28. A distribution related to Farey sequences -- I. https://arxiv.org/abs/2502.19881

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Prime Solutions to a Binary Additive Equation and Mixed Moments of Character Sums

We obtain an asymptotic formula with a power-saving error term for counting the integer points $(a,b,c,d)$ in an expanding box that satisfy the determinant equation $x_1x_2-x_3x_4 =r$ for $r \neq 0 $ with two of entries to be prime. Finally, these estimates are applied to evaluate mixed fourth moments of Dirichlet character sums over integers and primes, yielding non-trivial bounds. The method involves the Poisson summation formula and the estimation for the average of the sums of the Kloosterman fractions over primes.

math.NT↗
arXiv2026

On properness of moduli stacks of $D^{\times}$-shtukas over ramified legs

Given a maximal order $\mathcal{D}$ of a central division algebra $D$ over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $\mathcal{D}^\times$-shtukas to be proper over a finite field (modulo a suitable central action) in terms of the \emph{local invariants} of $D$ and \emph{bounds}. Our proof is a refinement of E.~Lau's result (Duke Math. J. \textbf{140} (2007)), which showed the properness of the \emph{leg morphism} (or \emph{characteristic morphism}) away from the ramification locus of $D$. %, by carefully measuring the contribution of ``ramified legs''. We also establish non-emptiness of Newton and Kottwitz--Rapoport strata for moduli stacks of $\mathcal{B}^\times$-shtukas, where $\mathcal{B}$ is a maximal order of a central simple algebra over $F$.

math.NT↗
arXiv2026

A Divisor-Sum Analogue of the Collatz Map

Let $σ$ denote the sum-of-divisors function and let $\mathcal{R}$ send an odd integer $n$ to $σ(n)$ and an even integer $n$ to $n/2$. We conjecture that every orbit of $\mathcal{R}$ reaches $1$; this implies that there is no odd $2^{k}$-perfect number for any $k \ge 1$. We prove a pointwise descent estimate for the map $T$ induced by $\mathcal{R}$ on the odd integers, and show that a single application of $T$ divides almost every odd $n$ by $(\log n)^{2\log 2-\varepsilon}$, for every fixed $\varepsilon>0$. The estimate does not iterate, and we determine what is missing.

math.NT↗