Number Theory [math.NT]

Three-term arithmetic progressions of consecutive powerful numbers

math.NT

We show that infinitely many three-term arithmetic progressions $N, N+d, N+2d$ of powerful numbers exist with $d = 2\sqrt{N} + 1$. We further conjecture that infinitely many of these progressions consist of three consecutive terms in the sequence of powerful numbers, which would answer a question of Erd\H{o}s in the negative.

On almost primes solutions to forms of odd degrees in many variables

math.NT

Let $\mathcal{F}=\{f_1,\ldots,f_R\}$ be a family of forms of odd degrees at most $d$ in $s$ variables. We study the solutions to the system $f_1(\mathbf{x})=\ldots=f_R(\mathbf{x})=0$ of the form $x_i=y_ip_i$ with $|y_i|\leq Y_\mathcal{F}$ and $p_i$ being a prime for all $i\in [s]$ inside the box $[-N,N]^s$, for large $N$. We show that if the number of variables $s$ is sufficiently large with respect to the parameters $R$ and $d$, then there are at least $C_\mathcal{F} N^{s-D}/(\log\,N)^s$ such solutions for some constants $C_\mathcal{F}>0$ and $D\in\mathbb{N}$, with $D$ depending only on the initial parameters $R$ and $d$.

Poissonian correlations of $\alpha n^d$ mod $1$

math.NT

Let $x(n):=\alpha n^d \mod 1$ for integer $d >1$ and non-zero real $\alpha$. We show that $\{x(n)\}_{n>0}$ has Poissonian $\ell$-point correlations for almost all choices of $\alpha$ when $d$ is large (depending on $\ell$). This falls in line with the expected behavior from the Berry--Tabor conjecture. Further, in the spirit of a conjecture of Rudnick--Sarnak, we show Poissonian $\ell$-point correlations for a set of badly approximable $\alpha$ of full Hausdorff dimension by a Fourier analytic transference principle. The proof makes use of an application of the determinant method to count points on a diagonal hypersurface of degree $d$ in such a way as to capture the contribution of points belonging to lower dimensional varieties. As $d$ grows, these `special solutions' dominate the count and non-special solutions become increasingly rare. This stratified counting statement allows us to control the number of points on average very effectively.

Anderson generating function of rank-one Drinfeld Module over rational function fields

math.NT

We establish a fundamental breakthrough in rank-one Drinfeld module arithmetic by deriving explicit formulas over the integral domain $\A = H^{0}(\mathbb{P}^1-P_{\rho}, \mathcal{O}_{\mathbb{P}^1})$, which generalizes the classical polynomial ring ($N=1$) to the projective line associated with an infinite place of degree $N \geqslant 2$. This fills a longstanding gap by developing a comprehensive parallel to Carlitz module theory foundational in positive characteristic arithmetic for the understudied case of infinite places of degree $>1$. We construct Anderson generating functions for these modules and link them to the Carlitz period via Pellarin's series, exponential torsion modules, and logarithmic deformations. These constructions provide powerful tools for studying such Drinfeld modules and their associated $L$-series, central to modern number theory. A key result reveals a critical distinction from Carlitz theory: the standard Anderson generating function residue formula fails due to Galois group action. We resolve this obstruction by introducing an exponential action, enabling simultaneous study of all twisted exponential functions a major methodological advance. We further show that Anderson generating function computation involves the dual of Drinfeld modules, leading to an appropriate residue formula modification. Notably, our natural approach generalizes to arbitrary Dedekind domains, extending our results beyond $\A$ and opening new avenues in Drinfeld module theory.

A Deterministic Cryptographic Prime Generation Chain over Monogenic Cubic Number Fields and their Generalizations

math.NT

Generating primes is a fundamental problem in modern cryptography. Deterministic primality tests work well for special integers such as Mersenne or Proth primes, but these forms are quite restrictive. In this paper, we give a direct method to construct new primes from known ones. Starting with a seed prime $q \equiv 1 \pmod{3}$, we construct an integer $N \equiv 1 \pmod{3}$ satisfying $(2N + 1)^2 \equiv -3 \pmod{q}$. We then prove that $N$ is prime using the structure of monogenic pure cubic fields $K = \mathbb{Q}(\sqrt[3]{d})$. The resulting test requires only a single modular exponentiation and runs in $\tilde{\mathcal{O}}(\log^2 N)$ time. Finally, we show how this construction extends to pure number fields of arbitrary prime degree.

Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

math.NT

We develop a global arithmetic framework for studying endomorphism rings inside ordinary elliptic isogeny classes over finite fields. Let p be a prime and let I(t,p) be an ordinary isogeny class over the finite field F_p with Frobenius trace t. The discriminant Delta = t^2 - 4p can be written as Delta = v^2 D_K, where D_K is the fundamental discriminant of an imaginary quadratic field K. In this setting, the possible endomorphism rings are precisely the quadratic orders O_f = Z + f O_K, with f dividing v. Building on Deuring's correspondence, we express the distribution of these orders in terms of weighted class numbers h*(D) = h(D)/w(D), and obtain explicit formulas for global distributions across the entire isogeny class. This approach goes beyond the classical local viewpoint, where the endomorphism ring is constant along each level of an ell-isogeny volcano. In particular, we introduce weighted exact and cumulative distributions of endomorphism rings. These distributions induce canonical laws for the ell-adic valuation of conductors and recover the vertical stratification of ell-volcanoes in an averaged sense. On the global side, by varying the prime p, we relate the existence of curves with a prescribed CM order O_D to splitting conditions in the associated ring class field L_D. Using the Chebotarev density theorem, we obtain the natural density 1/(2h(D)) for primes admitting CM by O_D. This gives a horizontal distribution law complementary to the vertical conductor distribution. These results establish a unified perspective linking Deuring theory, isogeny graph geometry, and class field theory. They also provide a natural framework for quantitative and algorithmic studies of ordinary isogeny classes.

Remarks on the distribution of Dirichlet $L$-functions along cosets

math.NT

In a previous work with B. Garcia, the author considered the asymptotic for the second moment of Dirichlet $L$-functions along cosets, and exhibited a surprising secondary main term that is not predicted by the recipe of Conrey, Farmer, Keating, Rubinstein, and Snaith. In this paper, we re-examine this problem and propose a modified recipe that correctly predicts this secondary main term. The original recipe gives the incorrect answer for this family because the root number is not always independent of the Dirichlet series coefficients along certain cosets, and our proposed fix simply takes this feature into account. In addition, we consider a handful of other problems related to Dirichlet $L$-functions along cosets. One goal is to reformulate Heath-Brown's $q$-analog of van der Corput's shifting method in terms of cosets, which leads to an upper bound on a hybrid second moment. We also revisit the classical van der Corput bound and view it (in more modern terms) as an amplified second moment of a trigonometric polynomial.

A strengthening of Chang's lemma

math.NT

math.CO

math.GR

We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/\alpha)$ is refined to show that every character outside this subspace has small correlation with the set not only globally, but also on average over the cosets of the orthogonal complement, in a natural cosetwise $\ell^1$ norm. As a consequence, we obtain a localized counting lemma. We also give an extension of the argument to arbitrary finite abelian groups.

Multifractal analysis of power means for the Schneider map on $p\mathbb{Z}_p$

math.DS

math.NT

We study the asymptotic power means of the coefficients associated with the Schneider continued fraction map on $p\mathbb{Z}_p$. Using tools from thermodynamic formalism, we compute the Hausdorff dimension of the corresponding level sets and obtain explicit formulas for the associated multifractal spectra. The locally constant nature of the geometric potential enables a precise description in terms of polylogarithm functions, in sharp contrast with the classical real setting.

On the refined local Langlands conjecture for discrete $L$-parameters of inner forms of quasi-split disconnected real reductive groups

math.RT

math.NT

Given a quasi-split connected reductive $\mathbb{R}$-group $G$ and a finite group $A$ acting on $G$ by $\mathbb{R}$-automorphisms that preserve an $\mathbb{R}$-pinning, we construct for each discrete $L$-parameter for $G$ a corresponding $L$-packet of irreducible discrete series representations on each inner forms $\tilde G_z(\mathbb{R})$ of the disconnected group $\tilde G = G \rtimes A$. We prove that these $L$-packets satisfy the endoscopic character identities with respect to normalized transfer factors. This proves the conjectural refined local Langlands correspondence for inner forms of quasi-split disconnected real reductive groups, as recently formulated by the first author.

Brik's sequence: a strange recursion

math.CO

cs.DM

cs.FL

math.NT

We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101 \cdots$ of which all the $B_i$ are prefixes. We show that $\bf b$ is recurrent, but not uniformly recurrent; it has exponential factor complexity; it is not morphic; and the density of $1$'s exists and is transcendental.

On ratios of theta functions

math.CA

math-ph

math.AP

math.CV

math.MP

math.NT

Motivated by the average partition function of c free bosons $($Afhkami-Jeddi et al. \cite{Afhk2021}$)$ and the average of the genus 1 partition function over the Narain moduli space $($Maloney-Witten \cite{Witten2020}$)$, we investigate ratios of theta functions. In this paper, we completely classify the minimizers (or maximizers) for ratios of theta and Epstein zeta functions. We find that the hexagonal lattice plays a pivotal role there. These results have direct applications in conformal and Liouville field theory via partition functions. Additionally, they yield the minima of differences of theta and Epstein zeta functions, which have implications for the mathematics of crystallization and interacting particle theory (\cite{Bet2016,Bet2019AMP}).

The Galois characterisation of $p$-adically closed fields -- A modern perspective

math.NT

math.AC

math.LO

v2

In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic analogue: a field is $p$-adically closed if and only if its absolute Galois group is isomorphic to that of $\mathbb{Q}_p$. In 1995, the conjecture was independently solved by Efrat for $p \ne 2$ and by Koenigsmann in full generality. Using novel techniques in the theory of valued fields developed over the last 25 years, we give a new, elementary, and self-contained proof of this theorem, with a Galois characterisation of henselianity at the heart of the proof and without relying on Galois cohomology. We further highlight connections to the recent work of Jahnke-Kartas on perfectoid fields and model-theoretic transfer techniques. We provide a systematic account of all of our methods to encourage further investigations.

Weighted averages of $p$-adic hypergeometric functions and traces of Frobenius of elliptic curves

math.NT

v2

In this paper, we aim to study traces of Frobenius of certain one parameter families of elliptic curves and their relationships with $p$-adic hypergeometric functions. For example, we consider a DIK family of curves and establish the trace of Frobenius as weighted averages of special values of certain families of $p$-adic hypegeometric functions, where the average is taken over the arrays of parameters. Moreover, we consider Jacobi curves and express the trace of Frobenius as a special values of $p$-adic hypergeomtric functions. As a consequence of these results we obtain four summation identities for the $p$-adic hypegeometric functions that arise from the DIK family. Furthermore, we obtain $p$-adic analogous of Euler and Pfaff transformations for certain $p$-adic hypergemetric functions.

Expansion in $\text{SL}_2(\mathbb Z/q\mathbb Z)$ and Zaremba's conjecture

math.NT

v2

We establish an expansion theory for $\text{SL}_2(\mathbb Z/q\mathbb Z)$. Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba's conjecture.

Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

math.DS

math.AG

math.NT

v3

We use height arguments to prove two results about the dynamical Mordell-Lang problem. (i) For an endomorphism of a projective variety, the return set of a dense orbit into a curve is finite if any cohomological Lyapunov multiplier of any iteration is not an integer. (ii) Let $f\times g:X\times C\rightarrow X\times C$ be an endomorphism, where $f$ and $g$ are surjective endomorphisms of a projective variety $X$ and a projective curve $C$, respectively. If the degree of $g$ is greater than the first dynamical degree of $f$, then the return sets of the system $(X\times C,f\times g)$ have the same form as the return sets of the system $(X,f)$. Using the second result, we deal with the case of split self-maps of products of curves, for which the degrees of the factors are pairwise distinct. In the cases that the height argument cannot be applied, we find examples which show that the return set can be very complicated -- more complicated than experts once imagined -- even for endomorphisms of tori with zero entropy. One may compare them with the conjectures and results stated in [CGSZ21] and [XY25].

Spectral Separation and Eigenvalue Labelling for Polynomial Tensor Representations of General Linear Groups

math.RT

math.GR

math.NT

v5

Let $q=p^f$ be a prime power, $H \leq \mathrm{GL}_d(q)$ a subgroup containing a genuine Singer cycle $s$ of order $q^d-1$, and $W$ an $\mathbb{F}_q H$-module whose scalar extension restricts to an untwisted polynomial tensor representation $\bigotimes L(\lambda^{(t)})$ of the algebraic group $\mathrm{GL}_d$. If the total polynomial degree satisfies $K < q-1$, we prove that distinct weights give distinct eigenvalues of $s$ on $W \otimes_{\mathbb{F}_q} \mathbb{F}_{q^d}$. The proof relies on an elementary base-$q$ injectivity lemma: bounded digit vectors determine distinct residues modulo $q^d-1$. Consequently, when the tensor product is multiplicity-free for the diagonal torus, the Singer cycle has a simple spectrum. We also provide a shifted exponent formula for situations where Singer eigenvalue data undergo $q$-Frobenius shifts, proving separation of distinct shifted digit vectors under the same bound $K