Number Theory [math.NT]

On the Natural Density of Monic Integer Polynomials with Roots in a Fixed Number Field

math.NT

math.CO

In this article, we investigate the statistical distribution and asymptotic behavior of the family of monic integer polynomials of degree $n$ having at least one root in a fixed number field $K$. Although the framework of thin sets implies that the natural density of this family in the parameter space of bounded height is zero, explicitly quantifying this vanishing rate is a central challenge in arithmetic statistics. Employing a hybrid approach that integrates the Mahler measure, Dirichlet's unit theorem, and residue analysis of the Dedekind zeta function, we demonstrate that the rate of convergence of this density to zero is strictly dependent on the degree $n$. Specifically, we prove that the degrees of the factors induce a phase transition in the asymptotic behavior; for polynomials of degree $n = 2$, the decay rate is bounded by $O(H^{-1} \log H)$, whereas for higher degrees, the asymptotic behavior is dominated by the contribution of rational roots, yielding a bound of $O(H^{-1})$. Beyond deriving these asymptotic estimates, we apply principles from the geometry of numbers to establish explicit combinatorial bounds for counting both the reducible and irreducible components of these polynomials. These explicit bounds provide practical tools for computational evaluations within this domain.

Port Fillings for Primary Pseudoperfect Numbers

math.NT

Erd\H{o}s asked whether there are infinitely many finite sets of distinct primes $p_1<\cdots

A generalization of the Erd\H{o}s-Sierpi\'nski conjecture

math.NT

math.CO

In this paper, we investigate the combinatorial structure and asymptotic distribution of the solution set of the equation $\sigma(n+1) = k\sigma(n)$ for a given integer $k>1$. From a combinatorial perspective, the solutions to this equation are closely related to the concept of $k$-layered numbers, which are a generalization of Zumkeller numbers. In the analytic section, which constitutes the core of this research, we employ the framework of probabilistic number theory and an extension of the classical Kubilius model to study the oscillatory and local behavior of the sum-of-divisors function. Utilizing the truncation technique for arithmetic functions and applying the Chinese Remainder Theorem, the problem is reduced to a synthetic measure space equipped with independent random variables. Subsequently, by applying the optimized version of the Kolmogorov-Rogozin anti-concentration inequality (Petrov's theorem) to the difference of additive variables and finely tuning the error parameters, we prove that the natural density of this set is zero. The main quantitative outcome of this approach is the derivation of the explicit upper bound $A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$ for the counting function of the solutions. Finally, alongside the zero asymptotic density, relying on the framework of polynomials and Schinzel's H Hypothesis, we establish the conditional infinitude of the solution set for the case $k=2$ and formulate the existential results.

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

math.NT

math.CO

Let $I_k = [(2k-1)^2, (2k+1)^2)$ for $k \geq 1$. Starting from the odd-composite matrix $(b_{ij})$ with $b_{ij} = (2i-1)(2j-1)$, introduced by the author in [1], we define for each odd integer $n$ the \emph{matrix multiplicity} $r(n)$, the number of times $n$ appears in $B$. We prove the exact identity \[ P_k = N_k - S_k + E_k \] where $P_k = \#\{\text{primes in } I_k\}$, $N_k = 4k$ counts the odd integers in $I_k$, $S_k = \sum_{n \in I_k \text{ odd}} r(n)$ is the total matrix multiplicity, and $E_k = \sum_{n \in I_k \text{ odd}} (r(n)-1)$ measures the excess multiplicity of non-semiprime odd composites. All three quantities $N_k$, $S_k$, $E_k$ are computable from the divisor structure of odd integers in $I_k$ without primality testing. The formula yields the equivalent combinatorial condition: \[ P_k \geq 1 \iff E_k \leq S_k - N_k. \] We verify $P_k \geq 1$ for all $k \leq 10^8$ by direct computation and establish $P_k \geq 1$ for all $k \leq 1.37 \times 10^{17}$ using the Baker-Harman-Pintz theorem [2]. Whether $P_k \geq 1$ for all $k$ (a weaker statement than Legendre's conjecture) remains an open problem, now equivalent to the purely combinatorial inequality $E_k \leq S_k - N_k$ for all $k$.

2007: An Arboreal Odyssey: A View of Arboreal Galois Representations and Applications, from Early in the Subject's History

math.NT

The study of arboreal Galois representations (that is, Galois groups arising from iteration of polynomial and rational functions) originated with work of Odoni in the 1980s. Beginning in the early 2000s it underwent a period of renewed interest, which continues to this day. Written in 2007, this survey article gives a sense of the subject from the early days of this renewal. It is presented here as a document of historical interest -- precisely as originally written -- and because some recent work has referenced specific pieces of it. It was written as an informal document, and not intended to be published. Much, though not all, of the content overlaps with the 2013 survey article ``Galois representations from pre-image trees: an arboreal survey" of the author.

Escaping Chaos in Random Multiplicative Functions

math.NT

math.PR

Let $f(n)$ be a Steinhaus random multiplicative function. Let $A\subset [1, N]$ be a finite set of integers. We show that \[\frac{1}{\sqrt{|A|}} \sum_{n\in A} f(n) \xrightarrow[]{d} \mathcal{CN}(0,1)\] forces that $|A|=o(N)$. We prove that the $o(1)$ density is sharp by showing that for most sets $A$, and thus confirm the existence, with density $\rho$ such that $(1-\rho)^{-1} =o((\log \log N)^{1/2})$, we have \[ \frac{1}{\sqrt{(1-\rho) |A|}} \sum_{n\in A} f(n) \xrightarrow{d} \mathcal{CN}(0,1). \] The extra factor $\sqrt{1-\rho}$ makes a difference as long as the density $\rho>0$.

Rational dynamics of a prime-representing map

math.NT

math.DS

We study the rational dynamics of the map $\mathcal{T}(x)=\lfloor x\rfloor(1+\{x\})$, which appears in the recursive construction of the prime-representing constant of Fridman, Garbulsky, Glecer, Grime and Florentin. For a rational number $x\geq 2$ with denominator $M$, we define its order to be the least non-negative integer $n$ such that $\mathcal{T}^n(x)$ is an integer, if such an $n$ exists, and ask whether every rational number has finite order. For each \(n\), we prove that the reduced fractions \(a/M\) of exact order \(n\) are described by residue classes of \(a\) modulo \(M^{n+1}\), and give a recurrence for the number $A(n,M)$ of residue classes of exact order $n$. We then show that for each fixed denominator the fractions of finite order have natural density one among all reduced fractions with that denominator, which implies in particular that there is no infinite arithmetic progression of rational numbers of infinite order. We also give an explicit family of fractions of prescribed order for every denominator, and fully characterize the case $M=2$.

The reverse Goldbach problem and a refined Zsiflaw--Legeis theorem

math.NT

We prove new results on the additive theory of reversed primes $\overleftarrow{p}$; that is, primes $p$ which are written backwards in a fixed base $b\geq 2$. In particular, we study a variant of Goldbach's conjecture, looking at representations of integers as the sum of primes and reversed primes. We show that: (1) Every large odd integer is the sum of a prime and two reversed primes ($N=p_1+\overleftarrow{p_2}+\overleftarrow{p_3}$). (2) Every large odd integer is the sum of two primes and a reversed prime ($N=p_1+p_2+\overleftarrow{p_3}$). (3) Almost all even integers are the sum of a prime and a reversed prime ($N=p_1+\overleftarrow{p_2}$). (4) All large integers are the sum of a reversed prime and a square-free number ($N=\overleftarrow{p}+\eta$, $\mu^2(\eta)=1$). To obtain our results, along with associated asymptotics, we apply the Hardy--Littlewood circle method and a novel refinement of the ``Zsiflaw--Legeis" theorem on the distribution of reversed primes in arithmetic progressions. Notably, our variant of the Zsiflaw--Legeis theorem does not require one to fix the digit length unlike previous versions.

Coset-refined trace statistics, nodal characters, and affine branches in cubic norm tori

math.NT

Prescribed trace/norm estimates and Soto-Andrade-type sums control whole fibers or related global character sums. We prove a coset-refined trace theorem for cubic norm-one tori. Let $B/\mathbb{F}_q$ be finite \'etale cubic, $\operatorname{char}\mathbb{F}_q\ne2,3$, and let $T_B=\ker(\operatorname{N}_{B/\mathbb{F}_q}:\operatorname{Res}_{B/\mathbb{F}_q}\mathbb{G}_m\to\mathbb{G}_m)$. For every subgroup $H\subset T_B(\mathbb{F}_q)$ of index $m$, every coset $gH$, every $\gamma\in B^\times$, and every smooth fiber $\operatorname{Tr}(\gamma h)=s$, $s^3\ne27\operatorname{N}(\gamma)$, we prove $N_{gH,B}(s;\gamma)=m^{-1}N_B(s,\operatorname{N}\gamma)+E_{gH,B}(s;\gamma)$, with $|E_{gH,B}(s;\gamma)|\le3(1-1/m)\sqrt q$. The geometric input is a Picard-Kummer kernel calculation: no nontrivial torus character becomes geometrically constant on a smooth trace/norm curve, so nontrivial coset character sums have square-root cancellation. On the nodal boundary $s^3=27\operatorname{N}(\gamma)$, the kernel degenerates exactly to a cyclic cubic Kummer kernel. Its Frobenius-fixed part is the sole source of order-$q$ bias; after removing that explicit projection, remaining characters again have square-root cancellation up to bounded normalization/node correction. The same geometry gives local branch theory for $\operatorname{Tr}_A(\gamma\eta^n)=c$ over finite \'etale cubic $\mathbb{Z}_p$-algebras, $p\ge5$. The logarithmic tangent and trace-dual codifferent coordinates identify singular branches: nondegenerate classes have quadratic Hensel models, while the genuinely affine degenerate class has a cubic first-obstruction model; in full norm-fiber orbits singular branch counting reduces to one cubic norm equation.

A Uniform Random-Lattice Tail Bound for the SVP Kissing-Profile Parameter

math.NT

math.PR

A recent SICOMP paper on classical and quantum algorithms for the shortest vector problem introduced a lattice-dependent parameter \(\gamma(L)\), bounded universally in the exponential sense by \(2^{0.402n+o(n)}\), and conjectured that this parameter is \(2^{o(n)}\) for most lattices. We prove the Haar--Siegel random-lattice version in a stronger, dimension-uniform form. Let \(X_n=\operatorname{SL}_n(\R)/\operatorname{SL}_n(\Z)\), let \(\mu_n\) be its invariant probability measure, and let \(\gamma(L)=\sup_{r\ge1} N_L(r\lambda_1(L))/r^n\), where \(N_L(R)\) counts nonzero vectors of \(L\) of Euclidean norm at most \(R\). For every \(n\ge3\) and every \(T>0\), \[ \mu_n\{L\in X_n:\gamma(L)>T\}\le C T^{-1} \] with an absolute constant \(C\). Consequently, for every sequence \(a_n\to\infty\), \(\gamma(L_n)\le a_n\) with \(\mu_n\)-probability tending to one; in particular \(\gamma(L_n)=2^{o(n)}\) with high probability. In the product model of independent Haar--Siegel lattices, \(\gamma(L_n)\le \exp(\sqrt n)\) eventually almost surely. The proof uses Rogers's second-moment estimate only through a dyadic self-normalization argument around the random scale \(\lambda_1(L)\).

On the structure of fine Mordell-Weil groups over a $\mathbb{Z}_p$-extension and its intermediate subextensions

math.NT

In this paper, we investigate the structure of the fine Mordell-Weil groups over the intermediate subextensions of a given $\mathbb{Z}_p$-extension $F_\infty$ of $F$.

The distribution of semi-integral points on a class of singular cubic hypersurfaces

math.NT

Let $k$ be a positive integer and let $X_k$ be the cubic hypersurface defined by the equation $x^3-(y_1^2+\cdots+y_{4k}^2)z=0$. In this paper, we give an asymptotic formula for the counting function of semi-integral points on $X_k$. We also prove that this asymptotic formula agrees with Manin's conjecture for $\mathcal{M}$-points \cite[Conjecture~1.4]{Moe26a} on the $a$-invariant and the $b$-invariant.

A quick distributional way to reproduce some results of the Riemann zeta function

math.NT

math.FA

The evaluation of the Riemann zeta function at negative integers is a classical result typically obtained through analytic continuation or contour integration. In this paper, we present a novel and concise derivation of these special values by employing the theory of Ces\`aro limit of distributions, a generalized limit concept developed by Estrada, Kanwal, and Fulling. We use this tool to give a quick proof of the result that \[ \zeta(-n)=-\frac{B_{n+1}}{n+1}, \] for $n\in\mathbb{N}^+.$ We also give a short discussion on $\zeta^{\prime }(\alpha)$ and compute the value of $\zeta^{\prime}(0)$.

A Complete Characterization of Heron Triangles with Two Perfect Square Sides and the All-Square Equivalence Condition

math.NT

A Heron triangle is a triangle whose side lengths and area are all positive integers. If the greatest common divisor of the three side lengths is $1$, it is called a primitive Heron triangle. In this paper, we give an equivalent condition for Heron triangles with all three sides being perfect squares, which reduces to finding non-trivial rational points on a family of algebraic curves of genus $3$. This leads us to believe that only finitely many Heron triangles with three perfect square sides exist. Using a specific elliptic curve, we completely characterize all Heron triangles with two sides that are perfect squares, and obtain a family of parametric solutions that yield primitive Heron triangles. This implies that there are infinitely many primitive Heron triangles having two sides as perfect squares.

Arboreal Galois Groups of a PCF Map with Strictly Pre-periodic Critical Points

math.NT

math.GR

We study the arithmetic and geometric iterated monodromy groups associated to the postcritically finite (PCF) quadratic rational function $f(x)=\frac{2}{(x-1)^2}$ defined over a number field $k$, whose critical points are both strictly pre-periodic. We give explicit recursive descriptions of the topological generators of the geometric iterated monodromy group of $f$ and show that the arithmetic iterated monodromy group has Hausdorff dimension zero. We describe an explicit criterion to determine the values $a\in k$ for which the associated arboreal Galois group achieves its maximum possible size. In particular, we show that maximality of the arboreal Galois group can already be verified at level four, which is computationally accessible. Finally, we determine the intersection of the constant field of the arithmetic iterated monodromy group with $k(\mu_{2^{\infty}})$, providing the first full study of a PCF quadratic map with non-abelian constant field.

Rethinking the work of Langlands on Eisenstein series

math.NT

Chapter $7$ of Langlands' monograph "On the functional equations satisfied by Eisenstein series" employs a sophisticated residue scheme to construct a portion of the discrete automorphic spectrum. We show, by examples, applications, and heuristics, that this construction is a straightforward regularization of cuspidal Eisenstein series at distinguished points, and that the regularization must track BOTH the zeros and the poles of these Eisenstein series. Unlike the one-variable case, the zero set and pole set of a several-complex-variable meromorphic function can intersect at a point. The distinguished points supporting the discrete spectrum are typically of this kind. The zeros of cuspidal Eisenstein series - largely invisible in the rank-one case - begin to play a starring role in higher rank situations, on equal footing with the poles. We redo Langlands' famous $G_{2}$ calculation and show that once zeros are tracked, the calculation reduces to elementary algebra. Drawing on rank-two examples, we introduce a program to re-think Langlands' construction from first principles, giving zeros and poles of cuspidal Eisenstein series equal standing from the very beginning. The program has the advantage of making the underlying phenomenon transparent, though carrying it out in full generality will require substantial further work.

Lines in the prime number graph

math.NT

The prime number graph is the set of points $(n,p_n)$ where $p_n$ denotes the $n^{\rm th}$ prime. Let $L(n)$ be the minimum number of straight line segments needed to cover the first $n$ points in this set. Let $B(n)$ be the largest number of points $(k,p_k)$ with $k\le n$ covered by a single line. Recently Sloane conjectured that $L(n) = O(n/\log n)$. We show that $L(n)=O(n \log \log n / \log n)$ and $B(n)\ge c\log n$ for a constant $c>0$ and all large $n$. Under RH we show that for large $n$ we have $B(n)=O(n^{3/4}(\log n)^{1/2})$ and $ L(n)\ge c' n^{1/4} (\log n) ^{-1/2}$ for some constant $c'>0.$

Bell Transforms of Arithmetic Functions: Euler Products, Congruences, and Polynomial Sequences

math.NT

We present a unified algebraic framework utilizing the formal Bell transform to bridge the Dirichlet convolution of arithmetic functions with the combinatorial structure of infinite Euler-type products. By analyzing the logarithmic derivative of exponential generating functions, we establish explicit mappings between Bell exponents and M\"obius inversions. We apply this framework to derive exact vanishing properties and congruence inheritances for classical sequences, including Ramanujan's tau function and prime-colored partitions. Furthermore, we demonstrate that the inverse Bell transform seamlessly recovers classical partition recurrences and provides a discrete combinatorial engine for generating special polynomial families, including classical Appell and Sheffer sequences.

Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$

math.AG

math.NT

v2

For a wildly ramified extension $K/k$ of complete discrete valuation fields we study collections of elements of $k[G]$ (where $G=Gal(K/k)$) that fit well for constructing bases of various associated Galois modules and orders. In the case $G=(Z/pZ)^2$ (where $p$ is the characteristic of residue fields) we are able to compute the action of the elements $(\sigma_1-1)^i(\sigma_2-1)^j,\ 0\le i,j\le p-1,$ on the valuation filtration; here $\sigma_1,\sigma_2$ are generators of $G$. If the ramification jumps of $K/k$ are distinct modulo $p^2$ then these elements do yield "good enough" bases in question.

From Hilbert's Tenth Problem to Quantum Speedup: Explicit Oracles for Bounded Diophantine Systems

quant-ph

math.NT

Solving non-linear Diophantine systems lies at the mathematical core of integer optimization and cryptography. While the general unbounded problem is undecidable, even over bounded integer domains it remains classically intractable in the worst case. In this work, we introduce a fully reversible quantum algorithmic framework tailored to solve arbitrary polynomial Diophantine equations over bounded integer domains. The core of our approach is the explicit, gate-level synthesis of an evaluation oracle for amplitude amplification. By coherently evaluating polynomial constraints via in-place two's complement arithmetic and routing operations into a single recycled accumulator, this garbage-free strategy achieves a compact and scalable synthesis of the underlying non-linear arithmetic. Through analytical derivations and empirical circuit simulations, we prove that the overall spatial complexity is bounded by $q = \mathcal{O}((n + d^2)\log_2 N)$ logical qubits for $n$ variables, maximum degree $d$, and interval length $N$. The non-Clifford Toffoli depth is upper-bounded by $\mathcal{O}(q^2)$. This structural scaling exponent remains invariant to the variable count, modulated linearly only by the coefficients' Hamming weights. By moving beyond abstract black-box assumptions, this explicit architectural synthesis guarantees that the necessary quantum arithmetic acts as a bounded polynomial overhead. This ensures a quadratic speedup over classical exhaustive search, whether retrieving a unique assignment or dynamically enumerating an unknown number of solutions.

Graphs from quadratic forms and vector spaces over finite fields

math.CO

cs.DM

math.NT

Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $\Gamma(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $\Gamma(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $\Gamma(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.

Closed geodesics in short intervals for random hyperbolic surfaces

math.GT

math.NT

We study the distribution of closed geodesics in short intervals on random hyperbolic surfaces of large genus, and compare it with the classical problem of primes in short intervals. Viewing the surface $M$ as a random point in moduli space equipped with the Weil--Petersson measure, we investigate the random variable $\Psi_M(x;H)$ counting closed geodesics with norms in the interval $[X, X+H]$, weighted by primitive length, where $H=o(X)$. This is analogous to the Chebyshev function in prime number theory. Our main result establishes that in the large genus limit, \[ \lim_{g\to \infty}\mathrm{Var}(\Psi_M(X;H)) \sim 2\,H \log X, \] when $X\to \infty$, $H=o(X)$. Goldston and Montgomery related the variance for primes in short intervals to the form factor associated with zeros of the Riemann zeta function, and conjectured that it is asymptotic to \[ H\log(X/H). \] We show that for automorphic L-functions of degree $d>1$, the early-time GUE form factor already follows from the Riemann Hypothesis, thereby recovering the variance $H\log X$ in the very short interval regime predicted by Bui, Keating and Smith. In the geometric setting, the appearance of $\log X$ reflects the much higher spectral density of Laplace eigenvalues relative to zeros of finite-degree $L$-functions, while the additional factor of $2$ is explained by the expected GOE statistics for the Laplace spectrum of generic hyperbolic surfaces.

Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1

math.NT

v2

With probability 1, we assess the average behaviour of various arithmetic functions at the values of degree d polynomials f that are ordered by height. This allows us to establish averaged versions of the Bateman-Horn conjecture, the polynomial Chowla conjecture and to address a basic question about the integral Hasse principle for norm form equations. Moreover, we are able to quantify the error term in the asymptotics and the size of the exceptional set of f, both with arbitrary logarithmic power savings.

Log $p$-divisible groups and semi-stable representations

math.NT

math.AG

v4

Let $\mathscr{O}_K$ be a henselian DVR with field of fractions $K$ and residue field of characteristic $p>0$. Let $S$ denote $\mathop{\mathrm{Spec}} \mathscr{O}_K$ endowed with the canonical log structure. We show that the generic fiber functor $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}\to \mathbf{BT}^{\mathrm{st}}_K$ between the category of dual representable log $p$-divisible groups over $S$ and the category of $p$-divisible groups with semistable reduction over $K$ is an equivalence. If $\mathscr{O}_K$ is further complete with perfect residue field and of mixed characteristic, we show that $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}$ is also equivalent to the category of semistable Galois $\mathbb{Z}_p$-representations with Hodge-Tate weights in $\{0,1\}$. Finally, we show that the above equivalences respect monodromies.

Simple and accurate approximations to the Riemann zeta function

math.NT

cs.NA

math.NA

v2

We develop approximations for the Riemann zeta function that enable high-precision computation within the critical strip and other vertical strips. These approximations combine the main sum of the Riemann-Siegel formula with a simple approximation of the remainder term, which involves only elementary functions and certain precomputed coefficients obtained via Gaussian quadrature. Additionally, we provide approximations for the derivative of the Riemann zeta function and present extensive numerical evidence demonstrating the accuracy of these approximations.

Stratification theorems for exponential sums in families

math.NT

v3

We survey some of the stratification theorems concerning exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, as well as some of their applications. Moreover, motivated partly by recent work of Bonolis, Pierce and Woo (arXiv:2505.11226), we prove that these stratification statements admit uniform variants in families, both algebraically and analytically. The paper includes an Appendix by Forey, Fres\'an and Kowalski (excerpted from arXiv:2109.11961), which provides an elementary intuitive introduction to trace functions in more than one variable over finite fields.

Equidistribution of polynomial sequences in function fields: resolution of a conjecture

math.NT

v3

Let $\mathbb F_q$ be the finite field of $q$ elements having characteristic $p$, and denote by $\mathbb K_\infty=\mathbb F_q((1/t))$ the field of formal Laurent series in $1/t$. We consider the equidistribution in $\mathbb T=\mathbb K_\infty/\mathbb F_q[t]$ of the values of polynomials $f(u)\in \mathbb K_\infty [u]$ as $u$ varies over $\mathbb F_q[t]$. Let $\mathcal K$ be a finite set of positive integers, and suppose that $\alpha_r\in \mathbb K_\infty$ for $r\in \mathcal K\cup \{0\}$. We show that the polynomial $\sum_{r\in \mathcal K\cup\{0\}}\alpha_ru^r$ is equidistributed in $\mathbb T$ whenever $\alpha_k$ is irrational for some $k\in \mathcal K$ satisfying $p\nmid k$, and also $p^vk\not\in \mathcal K$ for any positive integer $v$. This conclusion resolves in full a conjecture made jointly by the third, fourth and fifth authors.

Siegel modular forms associated to Weil representations: $\operatorname{SL}_2(\mathbb{R}) \& \operatorname{GL}_2(\mathbb{R})$ cases

math.NT

v2

We investigate explicit modular forms of weights $1/2$ and $3/2$-classical, minus, and fermionic theta series-arising from the classical Weil representation associated to $\operatorname{SL}_2(\mathbb{R})$ via the $2$-cocycles of Rao, Kudla, Perrin, Lion--Vergne and Satake--Takase. We reorganize these forms using (tensor) induction, and subsequently extend our study to the similitude group $\operatorname{GL}_2(\mathbb{R})$.

Variance of GL(2) Fourier coefficients in arithmetic progressions

math.NT

v2

We improve a result of Lau and Zhao on the variance of Fourier coefficients of primitive cuspidal modular forms for SL2(Z) in arithmetic progressions. This is achieved by using bounds on the first moment of Rankin-Selberg L-functions in the height aspect and non-trivial estimates for shifted convolution sums.

Explicit Prime Densities for the Rank of Appearance in Lucas Sequences

math.NT

v2

Let $U$ be a Lucas sequence, $p$ be prime, and $\rho_U(p)$ be the rank of appearance of $p$ in $U$. We derive closed-form formulas for the Dirichlet density of primes $p$ for which $d\mid \rho_U(p)$, where $d\geq 1$ is a fixed integer. Our results complete the work of Sanna ($2022$) by covering all $U$ and all $d\geq 1$.

Parity vectors and paradoxical sequences in the accelerated Collatz map

math.NT

v2

This note studies parity vectors and paradoxical sequences in the accelerated Collatz iteration $T(n) = (3n+1)/2$ for $n$ odd, $T(n) = n/2$ for $n$ even. Building on Rozier and Terracol (arXiv:2502.00948, 2025), Terras (1976), Lagarias (1985), and Tao (2019), we prove three theorems and add one numerical observation. The first is a sharp finitary form of Terras's parity-vector density; the second is a closed-form analytic count of paradoxical $\Omega_k(n)$ for each fixed length $k$. The third is a density-zero theorem for bounded-length paradoxical sequences with explicit constant. As for the numerical piece, among the seven $(j, q)$ pairs that show up in the Rozier-Terracol enumeration with first term $n \le 10^9$, every paradoxical reduced ratio $q/j$ turns out to be a left convergent, a left semiconvergent, or a Stern-Brocot mediant of adjacent convergents/semiconvergents of $\log_3 2$. The three theorems are unconditional. The fourth observation is verified for $n \le 10^7$ and conjectured for all $n$. We make no claim toward the Collatz conjecture or Terras's coefficient-stopping-time conjecture.

On Maximal Prime Gaps

math.NT

v2

In this paper, we show a new upper bound of prime gaps, that is the gap between a prime number and its consecutive prime number. We show that the gap between a prime number $p_n$ and its consecutive prime number is not larger than $2\log^2{p_n}$. We also show that the result implies the existence of a prime number in a certain type of interval for large enough numbers as a consequence.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

math.NT

v2

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

Parity of the coefficients of certain eta-quotients, III: two special classes

math.CO

math.AC

math.NT

v3

We continue a series of papers studying the parity of families of eta-quotients, which provide implications for the parity of the partition function as well as an overarching conjecture on related $q$-series. The present article focuses on two classes. One consists of eta-quotients of the form $f_t^3/f_1$, a distinguished case of Andrews' singular overpartitions that has recently attracted attention among researchers. In addition, we investigate the parity of certain pure eta-powers $f_1^t$, appending new results to known density theorems.

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

math.AC

math.NT

v3

In \cite{grku1}, Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[G][[T]]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebras $\mathcal O[[T_1, T_2, \dots, T_n]]$ and, most importantly, to non-Noetherian algebras $\mathcal O[[T_1, T_2, \dots, T_n, \dots]]$ of countably many generators, with more general rings of coefficients $\mathcal O$. The latter generalization is motivated by the recent work of Bley--Popescu on the Geometric Equivariant Iwasawa Conjecture for function fields, as well as by the emerging Iwasawa theory of Taelman class--modules associated to Drinfeld modules, where the Iwasawa algebras are not Noetherian, of the type described above. A sample application of our results to non--Noetherian geometric Iwasawa theory is given in Appendix B. Further number theoretic applications will be given in an upcoming paper.

The martingale evolution of probability measures defined via the sum-of-digits functions

math.PR

math.NT

v2

Let $s(n)$ denote the number of ones in the binary expansion of a natural number $n\in\mathbb{N}$. For any $t\in\mathbb{N}$ and $d\in\mathbb{Z}$, let $\mu_t(d)$ denote the asymptotic density of the set of those natural numbers $n$ for which $s(n+t)-s(n)=d$. It is well known that $\mu_t$ are properly defined probability measures on $\mathbb{Z}$, and the Cusick conjecture states that $\mu_t(\mathbb{N})>\frac{1}{2}$ for any $t\in\mathbb{N}$. In this paper, we investigate the properties of the family $\{\mu_t\}_{t\in\mathbb{N}}$ by reindexing the odd integers via a suitable partial order. This construction leads to the nonautonomous dynamics on pairs of probability measures on $\mathbb{Z}$, and admits a natural interpretation in terms of evolution of planar binary trees and the corresponding stopping times. The measures $\mu_t$ correspond to the marginal distributions of the associated stopped random walk. We will assume that the random walk starts from zero, and thus we will work with the family of measures $P_t$ determined by the convolution $\mu_t=\mu_1\ast P_t$. The martingale associated with the stopped random walk allows a transparent structural description of those measures, including their support, symmetries, variance, and the asymptotic behaviour. At the end we discuss the median preserving property of this martingale, and show that the Cusick conjecture is a special case of a more general claim about the asymmetric evolution of the binary trees associated to the martingale. This last claim is supported numerically at the end of the paper.