Number Theory [math.NT]

A Structure Sheaf for Kirch Topology

math.NT

math.AG

Kirch topology on $\mathbb N$ goes back to 1969, and is remarkable for being Hausdorff, connected, and locally connected. In this sense, it is analogous to the usual topology on $\mathbb C,$ yet, to the author's knowledge, there have been no Kirch topology analogs of the sheaf of complex-analytic functions until very recently. In our latest paper we constructed such natural sheaf of rings, the sheaf of locally LIP functions. In this paper we investigate some of its basic properties, primarily regarding zeroth and first cohomology and Cech cohomology with respect to covers by basic open sets.

Multiple modular L-functions and modular iterated integrals

math.NT

The connection between multiple modular L-functions, as defined by Manin in [5], and modular iterated integrals was made explicit by Choie and Ihara [3] under the restrictive assumption that all modular forms involved have vanishing constant terms in their q-expansions. In this paper, we remove the assumption and establish the relationship between modular iterated integrals and multiple modular L-functions for general modular forms, including those with nonzero constant terms. We also provide a proof of a functional equation for modular iterated integrals, which is a specialization of a general result obtained by Brown [2]. This leads us to a generalization of the result of Choie-Ihara [3]. In the final part of the paper, we compute explicit examples of modular iterated integrals. These calculations essentially reproduce the explicit initial computations carried out by Brown [2], but they also serve to validate the broader framework developed in this work.

Rankin--Selberg coefficients in arithmetic progressions modulo prime powers

math.NT

Let $\varepsilon>0$ be given. For prime power moduli $q=p^k$ with $k\geq 2$ and $p\neq 3$, and assuming the Ramanujan--Petersson conjecture for $\GL_2$ Maass forms, we prove that the Rankin--Selberg coefficients $\{\lambda_f(n)^2\}_{n\geq 1}$ have a level of distribution $\theta=2/5+3/305-\varepsilon$ in arithmetic progressions $n \equiv a \bmod q$.

The quotient problem for linear recurrence sequences

math.NT

Let $\{U(m)\}_{m\in \N}$ and $\{V(n)\}_{n\in \N}$ be linear recurrence sequences. It is a well-known Diophantine problem to determine the finiteness of the set of natural numbers $n$ such that the ratio $U(n)/V(n)$ is an integer. We study the finiteness problem for the set $(m, n)\in \mathbb{N}^2$ such that there exist non-zero positive integers $d_{m, n}$ satisfying $\log |d_{m, n}|=o(n)$, and $d_{m, n}U(m)/V(n)$ is an element from a finitely generated subring of $\C$. In particular, we prove that for $m\neq n $, there exists a polynomial $P$ such that $d_{m, n}P(n)U(m)/V(n)$ is a multi-recurrence and $V(n)/P(n)$ is a linear recurrence and for $m=n$ both $d_{m, n}P(n)U(m)/V(n)$ and $V(n)/P(n)$ are linear recurrences. To prove our results, we employ Schmidt's subspace theorem, and the concept of moving hyperplanes, moving polynomials, and moving points.

Evaluation of eight different families of cubic Euler sums

math.NT

We present a study on cubic Euler sums of degree four, five and six, where three different types of denominators $1/k^n$, $1/((2k-1)^n)$ and $1/(k(2k-1))$ will be considered We demonstrate that for all three orders the complete variety of corresponding nonlinear Euler sums belonging to the eight different families can be explicitly calculated in terms of zeta values and polylogarithmic values $Li_4(1/2)$, $Li_5(1/2)$, $Li_6(1/2)$, $Li_6(-1/2)$ and $Li_6(-1/8)$.

$\delta$-Badly approximable numbers and ubiquitously losing sets

math.NT

math.DS

We construct a natural filtration $\boldsymbol{\operatorname{Bad}}(\delta) \subset \boldsymbol{\operatorname{Bad}}(\delta')$ for $\delta \geq \delta'>0$ on the set of badly approximable numbers to complement the filtration of the well approximable numbers by the $\tau$-well approximable numbers. We show that the set $\boldsymbol{\operatorname{Bad}}(\delta)$ is a $(1/3, 18 \delta)$-winning set and give a lower bound on its Hausdorff dimension. We introduce the notion of $(\alpha, \beta)$-$\textit{ubiquitously losing sets}$ to the theory of Schmidt games, give an upper bound on the Hausdorff dimension of an $(\alpha, \beta)$-ubiquitously losing set that is strictly less than full Hausdorff dimension, show that $\boldsymbol{\operatorname{Bad}}(\delta)$ is a $(1/2, 18/\delta)$-ubiquitously losing set, and give an upper bound on the Hausdorff dimension of $\boldsymbol{\operatorname{Bad}}(\delta)$ that is strictly less than one. Combined with a finite intersection property and a bilipschitz transfer property, we obtain results for finite intersections of translates of $\boldsymbol{\operatorname{Bad}}(\delta)$.

A multidimensional Szemer\'{e}di theorem in integers

math.NT

math.CA

math.CO

For any integer $n \geq 2$, let $(m_{1},\ldots,m_{n})$ be a strictly increasing $n$-tuple of positive integers. We show that any subset $A\subset [N]^n$ of density at least $(\log N)^{-c}$ contains a nontrivial configuration of the form \begin{equation*} \boldsymbol{x},\boldsymbol{x}+r^{m_{1}}\boldsymbol{e_{1}},\ldots,\boldsymbol{x}+r^{m_{n}}\boldsymbol{e_{n}}, \end{equation*} where $c=c(n,m_{1},\ldots,m_{n} )$ is a positive constant. This quantitative multidimensional Szemer\'{e}di theorem extends a recent two-dimensional result of Peluse, Prendiville, and Shao concerning the configuration of the form $(x,y),(x+r,y),\left(x,y+r^{2}\right)$. The theorem is obtained as a consequence of an effective ``popular'' version.

On algebraic twists with composite moduli, II

math.NT

We study bounds for correlation sums of automorphic coefficients on $\mathrm{GL}_{3,\mathbb{Q}}$ with trace functions of composite moduli. This is a sequel to our previous works with E. Kowalski and W. Sawin.

Asymptotic Statistics of Odd Unimodal Sequences: Rank Distributions and Probabilistic Structures

math.NT

Integer partitions have fascinated people for centuries, from Ramanujan's groundbreaking congruences to the modern theory of modular forms. This paper investigates the statistical properties of odd unimodal sequences--a natural refinement where sequences rise to a peak and then fall, but with the constraint that all parts must be odd, and develops a comprehensive statistical theory for their rank and shape parameters. We establish the asymptotic distribution of the rank statistic and demonstrate that, when properly normalized, it converges to the hyperbolic secant distribution. Beyond the rank distribution, limiting distributions of the peak, the largest parts on either side of the peak, and the joint behavior of small parts are also proved. These results reveal a rich probabilistic structure that parallels the classical theory of integer partitions while exhibiting distinctive new features arising from the odd-part constraint. The analysis employs a synthesis of modular transformation theory, false theta function asymptotics, and conditioned Boltzmann models. This extends the probabilistic machinery previously developed for unimodal sequences into a more general and analytically demanding setting, offering a unified approach that bridges modular forms and probability.

Equidistribution of Eigenfunctions of Quantum Cat Maps

math.AP

math-ph

math.DS

math.MP

math.NT

math.SP

We prove that the short-period eigenfunctions of quantum cat maps constructed by Kim and the author equidistribute on $\mathbb{T}^2$ in the sense of semiclassical measures. We also show that their logarithmically large $\ell^\infty$-norm is asymptotically concentrated on a bounded number of coordinates. Thus, for this explicit family, strong coordinate localization coexists with semiclassical equidistribution. These results confirm the behavior suggested by earlier numerical evidence of Kim and the author, and contrast with the scarring phenomena for short-period eigenfunctions observed by Faure, Nonnenmacher, and De Bi\`evre.

Real exponential sums over primes and prime gaps

math.NT

v4

We prove that given $\lambda \in \mathbb{R}$ such that $0 < \lambda < 1$, then $\pi(x + x^\lambda) - \pi(x) \sim \displaystyle \frac{x^\lambda}{\log(x)}$. This solves a long-standing problem concerning the existence of primes in short intervals. In particular, we give a positive answer (for all sufficiently large number) to some old conjectures about prime numbers, such as Legendre's conjecture about the existence of at least two primes between two consecutive squares.

Integral Diophantine approximation on varieties

math.NT

math.AG

v2

We study the local behavior of integral points on log pairs near a fixed rational point in the boundary by means of an integral approximation constant. In light of Siegel's theorem about integral points on curves and McKinnon's conjecture on rational approximation constants, we conjecture that integral points that are close to the fixed point in archimedean topology should lie on certain rational curves with at most two points at infinity on weakly log Fano varieties. We verify this conjecture for a number of examples.

A Trace-Path Integral Formula over Function Fields

math.NT

math-ph

math.MP

v3

We show that an arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$, up to an explicitly determined sign. This is an arithmetic analogue of trace--path integral formulae which arise in quantum field theory, where path integrals over a space of sections of a fibration over a circle can be expressed as the trace of the monodromy action on a Hilbert space.

Some geometric series for Euler's constant

math.NT

math.CO

v2

We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast (but use coefficients whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are discussed.

On a polynomial involving quadratic residues modulo primes

math.NT

v2

Let $p$ be an odd prime, and define $$G_p(x)=\prod_{k=1}^{(p-1)/2}\left(x-e^{2\pi i k^2/p}\right).$$ In this paper we study values of $G_p(x)$ at roots of unity via Galois theory, and confirm some previous conjectures. For example, for any primitive tenth root $\zeta$ of unity, we prove that $$G_p(\zeta)=\begin{cases}(-1)^{|\{1\le k\le \frac {p+9}{10}:\ (\frac kp)=-1\}|} &\text{if}\ p\equiv21\pmod{40}, \\(-1)^{|\{1\le k\le\frac {p+1}{10}:\ (\frac kp)=-1\}|}\zeta^{2}&\text{if}\ p\equiv 29\pmod{40}, \end{cases}$$ where $(\frac kp)$ denotes the Legendre symbol.

Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

math.AG

math.AT

math.KT

math.NT

v3

We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we develop a descent technique inspired by the work of Nizio\l~ on log $K$-theory. Using the resulting \emph{saturated descent}, we prove de Rham and crystalline comparison theorems for log prismatic cohomology, and the existence of Gysin maps for $A_{\inf}$-cohomology.

Even-carry polynomials and cohomology of line bundles on the incidence correspondence in positive characteristic

math.AG

math.AC

math.NT

math.RT

v3

We consider the cohomology groups of line bundles $\mathcal{L}$ on the \emph{incidence correspondence}, that is, a general hypersurface $X \subset \mathbb{P}^{n-1} \times \mathbb{P}^{n-1}$ of degrees $(1,1)$. Whereas the characteristic $0$ situation is completely understood, the cohomology in characteristic $p$ depends in a mysterious way on the base-$p$ digits of the degrees $(d, e)$ of $\mathcal{L}$. Gao and Raicu (following Linyuan Liu) prove a recursive description of the cohomology for $n = 3$, which relates to Nim polynomials when $p = 2$. In this paper, we devise a suitable generalization of Nim polynomials, which we call \emph{even-carry polynomials,} by which we can solve the recurrence of Liu--Gao--Raicu to yield an explicit formula for the cohomology for $n = 3$ and general $p$. We also make some conjectures on the general form of the cohomology for general $n$ and $p$, for which a recurrence relation was recently derived by Kyomuhangi--Marangone--Raicu--Reed.

On minimal shapes and isoperimetric constants in hyperbolic lattices

math.CO

math.AT

math.GR

math.NT

math.PR

v4

We fully characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. In particular, we prove that the ratio between the perimeter and the area (i.e., the number of vertices) of this set of minimal shapes converges to the isoperimetric constant computed in H\"aggstr\"om-Jonasson-Lyons. In fact, our balls which are constructed via layers and not combinatorial balls, will realize the isoperimetric constant for any fixed number of vertices.

Primitive-Root Ratio over Prime Fields: A Shifted-Prime Distribution of Hausdorff Dimension Zero and Implications for PRIM-LWE

cs.CR

math.NT

v5

For a prime $p$, let $c(p)$ denote the limiting fraction of $n\times n$ matrices over $\mathbb{F}_p$ whose determinant is a primitive root modulo $p$. The quantity $c(p)$ is a natural multiplicative deformation of the totient ratio $\varphi(p-1)/(p-1)$ and inherits its distributional behaviour over the primes. Existence and continuity of the limiting law follow from the shifted-prime Erd\H{o}s--Wintner--Hildebrand framework. We prove the following new results: unconditionally, $\inf_p c(p)=0$ and the sharp order is $\min_{p\le x}c(p)\asymp 1/\log\log x$; the reciprocal satisfies $\limsup_{p\to\infty, \, p\text{ prime}} 1/(c(p)\log\log p)=e^{\gamma}$, and no smaller constant suffices. We give a complete proof, combining an adaptation of Erd\H{o}s's argument with the Jessen--Wintner pure-type dichotomy, that the limiting distribution is purely singular, and strengthen this to $\dim_H(\mu_G)=0$, i.e. the limiting measure is carried by a Borel set of Hausdorff dimension zero. The distribution has full topological support $[0,\tfrac12]$ and admits a Bernoulli-product representation indexed by the odd primes. The moments are given by convergent Euler products, and the Mellin transform $\mathbb{E}[X^s]$ extends to an entire function of $s$, non-vanishing on $\operatorname{Re}(s)>0$. Near the right endpoint, $1-G(\tfrac12-\varepsilon)\sim\kappa/\log(1/\varepsilon)$ with an explicit constant $\kappa$. The quantity $1/c(p)$ equals the dimension-uniform expected rejection-sampling overhead in the reduction from learning with errors (LWE) to PRIM-LWE in lattice-based cryptography. The explicit bounds yield concrete overhead estimates for all primes appearing in current NIST post-quantum standards and representative NTT-friendly moduli.

Dimension of the motivic Galois group of a 1-motive

math.AG

math.NT

v2

We compute the dimension of the motivic Galois group of a 1-motive M defined over the field of complex numbers, expressing it explicitly in terms of the rank of the multiplicative group generated by the points defining M. As an application, we obtain a new formulation of the Grothendieck--Andr\'e periods Conjecture in the setting of 1-motives.