Number Theory [math.NT]

Classification of Boolean Cubic Forms in Ten Variables

math.NT

cs.IT

math.CO

math.IT

We classify Boolean cubic forms in ten variables up to GL(10,2)-equivalence. The catalog contains all 3691560 nonzero orbits. For every orbit we provide a representative with small monomial count, the stabilizer order, and the alternating rank together with an explicit decomposition. The classification is obtained by rank-stratified enumeration. We verify completeness by the Burnside orbit count and independently by the orbit--stabilizer identity. We also provide a fast, complete GL(10,2)-invariant. By polarization, this gives the first complete classification of alternating trilinear forms in dimension 10 over GF(2).

On Brocard's problem with Padovan and Perrin numbers

math.NT

The Padovan sequence $\{P_{m}\}_{m\ge 0}$ is a ternary recurrence sequence with companion polynomial $X^{3}-X-1$ and initial conditions $P_{0}=P_{1}=P_{2}=1$. The Perrin sequence $\{R_{m}\}_{m\ge 0}$ is defined by the same companion polynomial as the Padovan sequence, but has initial values $R_{0}=3$, $R_{1}=0$, and $R_{2}=2$. We solve the Brocard-Ramanujan equation $n!+1=x^{2}$, where $n!$ is the factorial of $n$ and $x$ is a Padovan number or a Perrin number. In both cases, we prove that $(n,x)=(4,5)$ is the only solution.

Riesz Means of Quadratic Class Numbers

math.NT

We prove an asymptotic formula for a weighted Riesz mean of Hurwitz class numbers and real quadratic class numbers. To do this, we introduce L-functions for weight $\frac {1}{2} $ sesquiharmonic Maass forms of moderate growth and prove a formula for the Riesz means of the corresponding generalized mock modular forms, generalizing a recent result of the first author with Diamantis, Gupta, Rolen, and Thalagoda for mock modular forms. We then apply this formula to a sesquiharmonic Maass form that was first introduced by Duke, Imamo\={g}lu, and T\'{o}th.

To be or not to be local

math.NT

math.AG

Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbf{Q}_p$. For a smooth representation $\pi$ of $\mathrm{GL}_2(K)$ occurring in some Hecke eigenspace of the mod $p$ cohomology of a Shimura curve, we explore different strategies (inspired by the case $K=\mathbf{Q}_p$) to attack the locality question: does $\pi$ depend only on the underlying $2$-dimensional representation $\overline{\rho}$ of ${\rm Gal}(\overline K/K)$? In particular when $[K:\mathbf{Q}_p]=2$, crucially using perfectoid geometry, we associate to $\overline{\rho}$ an infinite-dimensional mod $p$ smooth representation of $\begin{pmatrix}K^\times&K\\0&1\end{pmatrix}$ which we hope is the restriction to $\begin{pmatrix}K^\times&K\\0&1\end{pmatrix}$ of the (irreducible) supersingular subquotient of $\pi$.

On Carmichael numbers of the form $2^np^m+1$

math.NT

Here, we show that if $m\ge 5$ is fixed and odd, then there are only finitely many Carmichael numbers of the form $2^np^m+1$ for positive integers $n$ and prime $p$.

On the Monotonicity of Higher-Fold Representation Functions

math.NT

For a positive integer $h$, let $R_{A,h}(n)$ denote the number of ordered representations $n=s_1+\cdots+s_h$ with all $s_i\in A$. Let \[ B=\{0\}\cup\{m\ge 1:\text{ the base-4 expansion of }m\text{ begins with }1\text{ or }2\}. \] Shallit proved that $R_{B,3}(n)$ is strictly increasing, thereby disproving a 2002 conjecture of Dombi. In this paper, by using linear bounds for $R_{B,3}(n+1)-R_{B,3}(n)$ and a convolution argument, we prove the polynomial order of $R_{B,h}(n+1)-R_{B,h}(n)$ for every integer $h\ge 3$. More precisely, for every integer $h\ge 3$, there exist constants $c_h,C_h>0$, depending only on $h$, such that \[ c_h n^{h-2}\le R_{B,h}(n+1)-R_{B,h}(n)\le C_h n^{h-2} \] for all integers $n\ge 1$. We also construct a co-infinite set $C\subset\mathbb N$ satisfying $\lim_{n\to\infty}C(n)/n=1$ such that $R_{C,h}(n)$ is strictly increasing for every integer $h\ge 3$. This answers a problem of Dombi posed in 2002. We also pose some problems for further research.

Maximal Gaps for Dilated Lacunary Integer Sequences

math.NT

math.DS

math.PR

Let \((a_n)_{n\ge1}\subset\mathbb{N}\) be a lacunary sequence, \(a_{n+1}\ge q a_n\) for \(q>1\). For \(x\in\mathbb{T}\), we study the maximal empty circular gap \(G_N(x)\) of the finite orbit \(\{a_1x,\ldots,a_Nx\}\). We prove that, for Lebesgue-almost every \(x\), \[ \frac{1}{2} \le \liminf_{N\to\infty}\frac{NG_N(x)}{\log N} \le \limsup_{N\to\infty}\frac{NG_N(x)}{\log N} \le \frac{q+1}{q-1}\,. \] If, in addition, \(a_n\mid a_{n+1}\) for every \(n\), then this can be improved to \[ \lim_{N\to\infty}\frac{NG_N(x)}{\log N}=1 \] for Lebesgue-almost every \(x\).

An Explicit Cubic Ramanujan--Sato Series for $1/\pi$ on $\Gamma_0(2)^+$ at $D=-163$

math.NT

An explicit cubic Ramanujan--Sato formula for $1/\pi$ on $\Gamma_0(2)^+$ at $D=-163$ is presented. The construction produces a very small cubic CM parameter, giving about $15.01$ decimal digits of geometric contraction per term. This is slightly sharper than the classical Chudnovsky contraction, but the coefficients lie in a cubic algebraic field.

Moment Estimates and Discrepancy for Sums of Square Roots Modulo One

math.NT

Let $k\ge 2$ be fixed. We study the distribution modulo one of the $n^k$ sums \begin{equation*} \sqrt{a_1} + \cdots + \sqrt{a_k}, \qquad 1\le a_1, \dots, a_k \le n, \end{equation*} counted with multiplicity. For \begin{equation*} S(h,n) = \sum_{n/2\le a\le n} \mathbf{e}(h\sqrt{a}), \qquad \mathbf{e}(x) = \exp(2\pi i x), \end{equation*} we prove second- and fourth-moment estimates matching the diagonal scale up to a factor $n^\varepsilon$. More precisely, \begin{equation*} \sum_{H/2\le h\le H} \left| S(h,n) \right|^2 \ll_{\varepsilon,\delta} Hn^{1+\varepsilon} \end{equation*} uniformly for $H\ge n^{1/2+\delta}$, and \begin{equation*} \sum_{H/2\le h\le H} \left| S(h,n) \right|^4 \ll_{\varepsilon,\delta} Hn^{2+\varepsilon} \end{equation*} uniformly for $n^{1/2+\delta} \le H \le n^{2/3}$, where $0<\delta<1/6$ in the fourth-moment estimate. Combining the second-moment bound with pointwise exponential-sum estimates and the Erd\H{o}s--Tur\'an inequality, we obtain \begin{equation*} D_k(n) \le n^{-\rho_k+o(1)}, \qquad \rho_k = \frac{71k+26}{26k+116}, \end{equation*} as $n\to\infty$, where $D_k(n)$ denotes the discrepancy with respect to arbitrary subintervals of $[0,1)$.

Point counts of abelian varieties over finite fields determining their zeta function

math.NT

math.AG

Let $A$ be an abelian variety of dimension $g$ over a finite field $\mathbf{F}_q$. We show that if $q$ is sufficiently large relative to $g$, the $g$ point counts $\#A(\mathbf{F}_{q^i})$ for $1 \leq i \leq g$ determine the zeta function of $A$, equivalently the characteristic polynomial of its Frobenius endomorphism, and hence the isogeny class of $A$. This count is best possible for $g=2$ and $g=4$, but not in general: for $g=3$ two point counts already determine the zeta function, whereas a single count never does. The proof combines the functional equation of the $L$-polynomial with Newton's identities and an inductive error analysis that controls the power sums of the inverse Frobenius eigenvalues with enough precision to recover them, as integers, by rounding.

Distribution of random multiplicative functions in short intervals, with proper normalization

math.NT

math.PR

We determine the limiting distribution of partial sums of a Steinhaus random multiplicative function $\sum_{x\le n \le x+y} f(n)$ over short intervals $[x, x+y]$, where $y \rightarrow \infty$ but $y=o(x)$. We show that with appropriate normalization, the limiting distribution is Gaussian for all such $y$. A key new feature of our result is that the normalization factor is different from the standard deviation $\sqrt{y}$ when $y$ is very close to $x$. In contrast, when $y \asymp x$ there is no normalization for which the limiting distribution is a non-degenerate Gaussian.

On Dense Orbit Transversality for Endomorphisms of Abelian Varieties

math.NT

math.AG

math.DS

Let $X/K$ be a smooth projective variety defined over a number field and $f:X\to X$ be a morphism defined over $K$. Assuming there exists a point in $X(K)$ whose $f$-orbit is Zariski dense in $X$ and up to replacing $K$ by a finite extension, Pasten and Silverman studied the distribution of grand $(f,K)$-orbits and proved that many sets of representatives of grand $(f,K)$-orbits on various classes of varieties are Zariski dense. In particular, they showed that if $X$ is a geometrically simple abelian variety, then all such sets of representatives are Zariski dense. We demonstrate the existence of a dense set of representatives for maps on all abelian varieties.

A Resolution of Erd\H{o}s Problem 731 under Dyadic Regularity

math.NT

We resolve Erdos Problem 731 under the explicit dyadic-regularity formalization of "reasonable." Let $A(n)$ be the least positive integer not dividing $\binom{2n}{n}$. On dyadic intervals $X\le n<2X$, put $L=\log(2X)$ and ${\mathcal F}_X=\sqrt2(\log2)^{1/4}L^{1/4}\exp\sqrt{(\log2)L}$. Uniformly for $1\le z\le Z(X)=o(L^{1/4})$, we prove ${\mathbb P}_X(A(n)\le {\mathcal F}_X\exp(-z))\asymp \exp(-2z)$ and ${\mathbb P}_X(A(n)>{\mathcal F}_X\exp(z))\ll \exp(-2z)$. Consequently $\log A(n)=\sqrt{(\log2)\log n}+\frac14\log\log n+O_{\rm dens}(1)$. We also prove dyadic nonconcentration: no scalar center on a large dyadic block, and hence no dyadically regular deterministic scale $f$, can satisfy $A(n)/f(n)\to1$ in natural density. The proof retains the exact least-common-multiple divisibility condition and replaces heuristic cross-base independence by a moving-base restricted-digit variance theorem.

Gap-Sums via Quasi-Arithmetic Means with Applications to Fibonacci and Lucas Sequences

math.NT

math.CO

We develop a unified framework for studying the integers missing between consecutive terms of an increasing integer sequence, extending Barry's arithmetic gap-sum to geometric and harmonic analogues via the theory of quasi-arithmetic means. All three gap-sums admit a common interpretation: each equals the gap size multiplied by the appropriate mean of the missing integers. Building on this, we prove a general sparse summation theorem expressing the sum of a strictly monotonic function over a sparse integer sequence as the full range sum corrected by the gap-sums of the missing portions. Specializing on the three Pythagorean means recovers a classical formula of al-K\=ash\={\i} from the fifteenth century in the arithmetic case, and yields explicit formulas in the geometric and harmonic cases. As a concrete application of the geometric case, we derive a product identity involving the Fuss--Catalan numbers. Applying the harmonic case to the Fibonacci and Lucas sequences, we establish that the harmonic gap-sum converges to $\ln(\alpha)$ exponentially, where $\alpha$ is the golden ratio, and derive explicit two-term asymptotic expansions for the tails of the reciprocal Fibonacci and Lucas series with closed-form coefficients, and establish the asymptotic formula $H_{u_n} \sim n\ln(\alpha)$ for both $u_n = F_n$ and $u_n = L_n$, with explicit $O(1)$ error terms that differ due to their distinct initial conditions. As a further consequence, by comparing the gap-sum expansions with the classical Hardy--Wright expansion of harmonic numbers, we derive exact series identities expressing Euler's constant $\gamma$ in terms of harmonic numbers at Fibonacci and Lucas indices, and obtain a new identity relating the reciprocal Fibonacci constant $\psi$ and the reciprocal Lucas constant $\psi_L$.

The van der Corput property for sums of two squares

math.NT

math.CO

Let $S_N=\{1\le d\le N:d=x^2+y^2\text{ for some }x,y\in\mathbb Z\}.$ We prove a power-saving form of the van der Corput property for $S_N$. As a consequence, we obtain a strong S\'{a}rk\"{o}zy-type result: if $A\subseteq [N]$ has no nonzero difference equal to a sum of two squares, then $|A|\ll_\varepsilon N^{7/8+\varepsilon}$ for every $\epsilon>0$, improving upon an earlier quasipolynomial bound due to Rice. The shape of this bound is optimal, as a construction of Younis yields a set $A\subseteq [N]$ with $|A|\gg N^{1/2}$ such that $(A-A)\cap S_N=\emptyset$.

Procounting measures and the Bateman--Horn conjecture

math.NT

Let $D$ be the ring of $S$-integers in a global field and $\da$ its profinite completion. We propose a profinite version of the Bateman--Horn conjecture over $D$ and provide a first comparison with the classical one and its generalizations. Our approach is based on the new notion of procounting measure: a distribution on $\da$ which should be seen as a profinite analogue of the counting function for a subset of $\R$. This allows us to deal with subsets of $\da$ having Haar measure $0$ (corresponding to density zero in $\R$).

A finiteness theorem for mod $p$ Galois representations over global function fields

math.NT

Let $p$ be an odd prime number and let $\overline{\mathbb{F}}_p$ be a fixed algebraic closure of the finite field of order $p$. Let $K$ be a global function field of characteristic different from $p$ and let $G_{K}$ be the absolute Galois group of $K$. We prove that there are only finitely many isomorphism classes of continuous geometric semisimple representations $\rho:G_{K}\to \mathrm{GL}_{n}(\overline{\mathbb{F}}_{p})$ such that their Artin conductors are bounded. It is worth emphasizing that we do not need to assume that $p$ does not divide $n$.

Quantum models of the Riemann zeta function, lattice spin models and algebraic models of entanglement

math.NT

A brief overview of results concerning the connection between the Hilbert-Polya conjecture and the Riemann hypothesis about the Riemann zeta function, some new results on p-adic quantum computing, quantum entanglement based on lattice spin models and algebraic entanglement models is given. Quantum computing uses both photons and electrons, so their known properties are (very briefly) presented.

Iterated extensions and the ramification dichotomy

math.NT

Let $K/\mathbb Q_p$ be finite and let $f\in\mathcal O_K[X]$ be monic, of degree at least two, with $f'(X)\in\mathfrak m_K\mathcal O_K[X]$, equivalently $\bar f\in k[X^p]$. For a compatible inverse branch $f(t_{n+1})=t_n$ with $t_0\in\mathcal O_K$, put $K_n=K(t_n)$ and $K_\infty=\bigcup_nK_n$. We prove that $K_\infty/K$ is either unramified or deeply ramified. More precisely, once ramification appears, the ramification indices over the maximal unramified subfields tend to infinity and the finite-level differents are unbounded. In the Frobenius-type case $f(X)\equiv X^{p^a}\pmod{\mathfrak m_K}$ the unramified alternative is trivial, so $K_\infty=K$ or $K_\infty/K$ is deeply ramified. After completion, the non-unramified alternative gives perfectoid fields and examples show that APF property need not hold at the algebraic level.

For which real quadratic fields is Kim's octonary form universal?

math.NT

Let $K=\mathbb{Q}(\sqrt{D})$ with $D>1$ squarefree, and let $\varepsilon_+$ be the totally positive fundamental unit of $\mathcal{O}_K$. B. M. Kim proved in 2000 that the octonary diagonal form \[ f=x_1^2+\cdots+x_4^2+\varepsilon_+(x_5^2+\cdots+x_8^2) \] is universal over $\mathcal{O}_K$ whenever $D=n^2-1$ is squarefree. We complete Kim's result to an if-and-only-if classification: $f$ is universal if and only if $D=n^2-1$ for some $n\ge2$, or $D=n^2-4$ for some odd $n\ge3$, in both cases subject to squarefreeness. The second family appears to be new in this context and contains $\mathbb{Q}(\sqrt{5})$ at $n=3$ as a degenerate boundary case, recovering Maa{\ss}'s classical exceptional three-square phenomenon. Equivalently, $f$ is universal over $\mathcal{O}_K$ if and only if the Blomer--Kala invariant $M_D$ equals $1$; for the two stated families we have $M_D=1$, so the Blomer--Kala universal $8M_D$-variable construction specializes exactly to $f$. The converse leverages a continued-fraction involution $\tau(\gamma)=\varepsilon_+\gamma'$ together with a closed formula in convergent coordinates, a three-consecutive-square-values lemma for primitive quadratic polynomials of positive fundamental discriminant, and an even-root exclusion lemma derived from complete-quotient norm bounds.

Andr\'{e}'s theorem and weakly bounded height

math.NT

Let $V \subset \mathbb{A}^2(\mathbb{C})$ be an algebraic curve such that $\mathrm{deg} X \neq \mathrm{deg} Y$, where $X, Y$ denote the coordinate functions on $\mathbb{A}^2(\mathbb{C})$ restricted to $V$. We prove there exists an effectively computable constant $c$, that depends linearly on the height of $V$, such that $\max \{h(x), h(y)\} \leq c$ for every $(x, y) \in V$ with $x$ and $y$ both CM $j$-invariants. This establishes, for such curves, an effective version of the Andr\'{e}--Oort conjecture that has a better dependence on the height of $V$ than previous effective results.

The Categorical Local Langlands Correspondence and Anabelomorphy

math.NT

math.AG

Let $G/\mathbb{Q}_p$ be a connected, split, reductive group over $\mathbb{Q}_p$. In this paper I show that if $K$ and $L$ are anabelomorphic $p$-adic fields i.e. $K$ and $L$ have topologically isomorphic absolute Galois groups, then the stacks of Langlands parameters (for the fields $K$ and $L$) considered in [Fargues and Scholze, 2024], are also isomorphic (Theorem 2.2.1). This leads to Conjecture 3.3.1 which provides a precise relationship between the main conjecture of [Fargues and Scholze, 2024] and anabelomorphy of $p$-adic fields considered in [Joshi, 2020a]. I establish my conjecture for a split torus in Theorem 4.1.

Multiplicative functions additive on partitions of $2k$ nonzero squares

math.NT

For a fixed integer $k \ge 3$, we study the multiplicative functions $f\colon\mathbb{N}\to\mathbb{C}$ satisfying \[ f\Bigl(\sum_{i=1}^{2k} x_i^2\Bigr) = \sum_{j=1}^{k} f\bigl(x_{2j-1}^2 + x_{2j}^2\bigr) \] for all positive integers $x_1,\dots,x_{2k}$. This extends a theorem of Park on sums of two nonzero squares, which established the $k=2$ case. For $k=3$ and $k=4$, we prove that every such $f$ with $f(2)\neq 0$ is the identity function on $\mathbb{N}$. For $k \ge 5$, we show that such a function $f$ must be either the identity function on $\mathbb{N}$, or $f(n) = 0$ for all $n > 2k + 21$.

Finite-core Volterra reductions for a Weyl-positive Riemann phase kernel

math.NT

We record a Weyl-positive reduction and certificate framework for the Riemann phase kernel associated with the even Riemann kernel $\Phi$. The manuscript does not present a complete proof of the Riemann hypothesis. Its immediate analytic target is a concrete positivity theorem for a Weyl kernel whose quantum characteristic function satisfies the Kastler--Loupias--Miracle-Sole condition in all numerical tests performed so far. Several natural factorizations are ruled out. In particular, the positive anti-Wick density route is obstructed by a local heat-deconvolution test, and several natural finite-core reductions are excluded by explicit counterexamples. The surviving structure is a finite-core Volterra program upgraded to a closed-trace quotient certificate for the full kernel. We derive exact same-sign finite-core formulae, the second-order theta-mode identity $\phi_n(t)=(\partial_t^2-1/4)(e^{t/2}e^{-\pi n^2e^{2t}})$ for $n\ge1$, a Volterra boundary-plus-tail representation, and a quotient Schur factorization for the normalized full-$\Phi$ source/Volterra model. The latest certificate closes the active trace-range condition, the full-continuum source-inactive domination, and the Douglas/Moore--Penrose Schur hypotheses in the normalized model. What remains outside that certificate is explicitly separated: the quotient-to-original Weyl lift, uniform $\omega$-coverage for $|\omega|<1/2$, and the final bridge from Weyl/KLM positivity to the intended de Branges or RH-side formulation.

On the level of distribution of Goldbach primes and its applications

math.NT

We prove that, for almost all even integers $N>0$, the set of Goldbach primes $\mathbb{P} \cap (N-\mathbb{P})$ has a level of distribution $1/6$. As applications, we show that almost all even integers $N>0$ can be written as the sum of two primes $p_1, p_2$ such that $p_1-p_2+1 \in \mathbb{P}_4$. We also prove an analogous result with $2p_1 p_2+1 \in \mathbb{P}_{13}$ for almost all integers $N>0$ with $6\mid N$.

Linear equations on $t$-modules

math.NT

Let $F$ be a number field. Given finitely many $F$-valued points on a commutative algebraic group defined over $F$, a question of interest to number theorists is the determination of the group of their linear relations. In this article, we investigate an analogous problem in the $t$-module setting. Let $L$ be a global function field, and $E$ be a $d$-dimensional $t$-module defined over $L$. Given finitely many points on $E$ with entries in $L$, we establish the connection between their $\mathbb{F}_q[t]$-linear relations and polynomial solutions of Frobenius difference equations. Consequently, we deduce an algorithm to compute the module of their $\mathbb{F}_q[t]$-linear relations.

Double weighted sum involving $\mathrm{GL}(2)$ Fourier coefficients

math.NT

This article proves non-trivial estimates for a bilinear sum involving the Fourier coefficients of a Hecke-holomorphic or Hecke-Maass cusp form for $\mathrm{SL}(2,\mathbb{Z})$. As corollaries, we draw interesting results related to non-trivial bounds of different shifted convolution sums and summatory functions.

Bessel Distributions and Kloosterman Sums

math.NT

math.RT

Let $G$ be a split reductive group over a $p$-adic field. We give germ expansions of Kloosterman integrals for $G$. As an application, we prove that Bessel distributions are regular for all generic representations on $G$ provided that Kloosterman sums for any Levi subgroups of $G$ have nontrivial bounds.

Mean values and variances of the digits of $1/p$

math.NT

Let $p\ge 3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $l$ of the period is the (multiplicative) order of $b$ mod $p$. In the cases $l=p-1$ and $l=(p-1)/2$, formulas for the variance of the digits of a period were given previously. These formulas involved Dedekind sums, class numbers of imaginary quadratic number fields, and generalized Bernoulli numbers. In the present paper we develop a theory of this kind for $l=(p-1)/2^m$, $m\ge 1$, which covers the special case $l=(p-1)/2$.

Harder's conjecture and Hermitian automorphic forms

math.NT

Let $k\ge4$ and $j\ge2$ be integers with $j$ even, and let $f$ be a primitive elliptic cusp form of weight $2k+j-2$ for $\mathrm{SL}_2(\mathbb{Z})$. We study congruences between a Hermitian Klingen--Eisenstein lift associated with $f$ and Hermitian cusp forms on the quasi-split unitary group $\mathrm{U}_{2,2}$. Under explicit arithmetic hypotheses on a congruence prime, we prove that the Hermitian cusp eigenform appearing in such a congruence is the Hermitian spin lift of a Siegel cusp eigenform of weight ${\det}^{k}\mathrm{Sym}^{j}$. As a consequence, we obtain the spinor $L$-polynomial congruence predicted by Harder's conjecture. The proof combines Mok's endoscopic classification, Skinner's Galois representations for unitary groups, and Selmer-group vanishing arguments.

On the diffraction spectrum of the set of visible points in lattices and certain cut-and-project sets

math.NT

math-ph

math.MP

Let $k\geq 2$ be a positive integer. It is known that the set of visible lattice points from the origin in $\mathbb{Z}^k$ has a translation bounded pure point diffraction spectrum. We investigate these properties for sets of points simultaneously visible from a finite set of lattice points $ \{\mathbf{x}_1,\dots,\mathbf{x}_n\} \subseteq \mathbb{Z}^k$. We provide explicit formulas for the coefficients of the diffraction spectrum. Additionally, we generalize our procedure to show that the set of visible points from the origin in certain classes of cut-and-project sets has a translation bounded pure point diffraction spectrum.

On integers of the form \(p+F_{2^k}+F_q\)

math.NT

In 1934, Romanoff proved that the set of positive integers representable as the sum of a prime and a power of two has positive lower density. Erd\H{o}s later constructed an infinite arithmetic progression of odd integers none of which admits such a representation. Let \(F_n\) be the Fibonacci sequence. In this paper, we prove that the set of integers of the form \(p+F_{2^k}+F_q\), where \(p,q\) are primes and \(k\ge0\), has positive lower asymptotic density. The same holds for the set of integers not of this form.

Structured Solutions of Prime-Base Binomial Congruences

math.NT

math.CO

In this paper, we study the congruence $\binom{qn}{n} \equiv q^n \pmod n$ for a prime base $q$. Motivated by the OEIS sequence \seqnum{A080469} and the conjectural existence of infinitely many ternary solutions of the form $n=3^t p$, we analyze the more general family $n=q^t p$, where $p\neq q$ is prime. Our main result shows that, in this family, the congruence is equivalent to two independent conditions: a congruence modulo $p$ and an inequality in the sum of the digits. This reduces the search for such solutions to factoring an explicit integer and applying a base-$q$ digit-sum filter. We use this criterion to produce new large solutions for $q\in\{2,3,5,7,11\}$. We also prove that square solutions $n=p^2$ are exactly governed by Wieferich primes in base $q$.

Pseudodifferential Jacobi forms and Geometric Rankin-Cohen Brackets

math.NT

Cohen, Manin, and Zagier recovered the Rankin-Cohen bracket for modular forms from an action of the modular group on pseudodifferential operators whose coefficients are holomorphic functions on the Poincar\'e upper half plane. We investigate pseudodifferential operators on the Jacobi upper half space with respect to the elliptic variable instead of the modular variable typically considered. We introduce a family of actions of the Jacobi group and show that a space of invariant pseudodifferential operators is isomorphic to the space of Jacobi forms by producing an equivariant map. Our construction arises from the explicit action of a Casimir operator for the complexified Lie algebra of the real Jacobi Lie group. As an application, we identify new families of Rankin-Cohen brackets with geometric origin indexed by a complex parameter. In particular, we isolate a subvariety of lines of Rankin-Cohen brackets in each degree of expected dimension $1$ reflecting the geometry of the Jacobi upper half space.

Computing sieve integrals using LattE, and the density of integers with a localized divisor

math.NT

cs.NA

math.NA

We consider the problem of estimating numerically integrals of the shape $$ \int_P \frac{dt}{t_1 \dotsb t_k} $$ where $P \in {\mathbb R}_{>0}^k$ is a convex polytope, $t=(t_1,\dotsc, t_k)$ and $d t$ is the Lebesgue measure. This type of integral appears frequently in main terms of sieve theory. We propose a simple method, based on the LattE software for integration of polynomials over polytopes, which computes rigorous bounds on this integral in polynomial time with respect to the precision (in bits). We test the method on several examples from the literature of sieve theory. We apply our results to compute numerical approximations to the natural density $$ h(\alpha, \beta) := \operatorname{density}\{n\in{\mathbb N}, \exists d\mid n, d\in [n^\alpha, n^\beta]\}, \qquad (0<\alpha<\beta<1) $$ of integers having a localized divisor, in the region $\beta - \alpha \geq 0.02$. One ingredient involved is a refined formula for $h(\alpha, \beta)$ which involves a manageable number of terms for these $\alpha, \beta$. As a corollary, we give a numerical approximation of the leading constant in a theorem of Haddad and Koukoulopoulos on the average of the logarithm of middle-divisors of integers.

Exact approximation order of real numbers in Cantor series expansions

math.NT

Let $Q = \{q_n\}_{n \ge 1}$ be a sequence of integers with $q_n \ge 2$ for all $n \in\mathbb{N}$. For any real number $x \in [0,1)$, it can be expanded into the following infinite series: $$x =\frac{\varepsilon_1(x)}{q_1}+ \frac{\varepsilon_2(x)}{q_1 q_2}+ \cdots+ \frac{\varepsilon_n(x)}{q_1 q_2 \cdots q_n}+ \cdots,$$ which is called the Cantor series expansion of $x$. We introduce the exact spproximation order in Cantor series expansions. It is analogous to the notion appearing in classical Diophantine approximation. More precisely, let $\omega_n(x)$ denote the $n$-th partial sum of the Cantor series expansion of $x$. For any monotonic function $\psi$, we study the metric theory of the set $E_c(\psi)$ of points that are exactly $\psi$-approximable by $\omega_n(x)$.

Products of prime ideals in ray class groups

math.NT

We prove that every class in the narrow ray class group modulo an integral ideal $\mathfrak q$ of a fixed number field is represented by a product of three prime ideals of norm at most $ ( N\mathfrak q)^{\max(1,3\alpha,4\alpha_0)+\kappa} $ for any $\kappa>0$, where $\alpha$ is the exponent in short character sum bounds for general non-principal ray class characters and $\alpha_0$ comes from a bounded-order subconvexity input for Hecke $L$-functions. Wu's subconvexity bound gives the admissible choice $\alpha=\alpha_0=103/256$, hence the explicit bound $(N\mathfrak q)^{103/64+\kappa}$. This improves the previous $O_K((N\mathfrak q)^3)$-scale bound of Deshouillers, Gun, Ramar\'e, and Sivaraman. We also prove that a positive proportion of ray classes are represented by products of two prime ideals. The proof extends the multiplicative dense-model and transference framework of Matom\"aki--Ter\"av\"ainen to narrow ray class groups.

Moments and sign changes of symmetric power $L$-function coefficients over sums of squares

math.NT

Let $f$ be a normalised Hecke eigenform of even integral weight for the full modular group $\mathrm{SL}(2,\mathbb{Z})$, let $L(s,\mathrm{sym}^{j}f)$ be the $j$th symmetric power $L$-function attached to $f$, and let $\lambda_{\mathrm{sym}^{j}f}(n)$ denote its $n$th Dirichlet coefficient. For each even integer $m$ with $2 \le m \le 12$, we establish upper bounds for the partial sums of $\lambda_{\mathrm{sym}^{j}f}(n)$ and asymptotic formulas for those of $\lambda_{\mathrm{sym}^{j}f}^{2}(n)$ taken over integers represented as a sum of $m$ squares. As an application, we obtain lower bounds for the number of sign changes of $\lambda_{\mathrm{sym}^{j}f}(n)$ along these sums of $m$ squares.

Shifted convolution sums of coefficients of symmetric power $L$-functions with $k$-full kernels over sums of squares in arithmetic progressions

math.NT

Let $q$ be an integer and let $f$ be a normalised Hecke eigenform of integral weight for the full modular group. Let $L(s,\mathrm{sym}^j f)$ denote the $j$-th symmetric power $L$-function associated to $f$, and let $\lambda_{\mathrm{sym}^j f}(n)$ denote its $n$-th coefficient. We study the behaviour of the partial sum of $\lambda_{\mathrm{sym}^j f}(n)$, and of its second moment, taken over those sums of $m$ squares that are congruent to $1$ modulo $q$. As an application, we investigate the shifted convolution sum of $\lambda_{\mathrm{sym}^j f}(n)$ against a $k$-full kernel function, for any $k \geq 2$. We also study the number of sign changes of $\lambda_{\mathrm{sym}^j f}(n)$ twisted with a $k$-full kernel function, again over sums of $m$ squares. Throughout, $m$ is even with $m \in \{2,4,6,8,10,12\}$.

Weakly Consecutive Sequences

math.CO

math.NT

A weakly consecutive sequence (WCS) is a permutation $\sigma$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $\sigma(i)$, then $d$ also divides $\sigma(i \pm d)$ insofar as these are defined. The structure of weakly consecutive sequences is surprisingly rich, and it is difficult to find a formula for the number $N(k)$ of WCS's of length $k$. However, for a given $k$ we describe four starting sequences, to each of which we can apply three \emph{rules} or operations to generate new WCS's. We conjecture that any WCS can be constructed by applying these rules, which depend in an intricate way on the primality of $k$ and surrounding integers. We find bounds for $N(k)$ by analyzing these rules.

Some quadratically closed fields of nimbers

math.LO

math.NT

In 1976, J. H. Conway introduced Nim arithmetic which establishes an algebraically closed field structure over the class of ordinals and proved that the first transcendental ordinal is $\omega^{\omega^\omega}$. The problem of finding the next transcendental ordinal is still open. Two years later, H. Lenstra proved that $\varepsilon_0$ is the next quadratically closed field ordinal. In this paper, we prove that $\{\varepsilon_\alpha \mid \alpha \leq \omega^{\omega^\omega} \}$ are the next quadratically closed field ordinals.

The Thickness of Infinite Sidon Sets

math.CO

math.NT

Let $\gamma \ge 1$. A set $A$ of nonnegative integers is a Sidon set if for each $d>0$ there is at most one pair $(a,b) \in A \times A$ with $d=a-b$. If there are at most $\gamma$ pairs, then $A$ is a $\gamma$-Golomb ruler. We prove that if $A$ is a $\gamma$-Golomb ruler, then \[\liminf_{n\to\infty} \frac{|A\cap[0,n)|}{\sqrt{n/\log n}} \le \frac{2}{\sqrt{\log 2}} \sqrt{\gamma}.\] There is a $\gamma$-Golomb ruler $G$ with \[ \limsup_{n\to\infty} \frac{|G\cap[0,n)|}{\sqrt n} \ge \frac{1}{\sqrt2} \sqrt{\gamma}.\]

A sharp 5/8 bound for an Erd\H{o}s-S\'os pairwise-sums problem

math.CO

math.NT

Let $f_3(N)$ be the least integer such that every set $A\subseteq\{1,\ldots,N\}$ of size at least $f_3(N)$ contains distinct elements $a,b,c\in A$ such that $a+b\in A$, $a+c\in A$, and $b+c\in A$. We prove that $f_3(N)\le 5N/8+O(1)$. Together with the standard construction $[N/8,N/4]\cup[N/2,N]$, this gives $f_3(N)=5N/8+O(1)$, resolving Erd\H{o}s Problem 865. The proof is self-contained. An earlier conditional version of the reduction has also been formalized in Lean 4/Mathlib with no sorries and no added axioms.

Palindromes on the $\tau$-circle: A note for Palindrome Tau Day, 6/28/26

math.HO

math.NT

An integer palindrome is a self-reciprocal polynomial evaluated at its base, so its roots are symmetric about the unit circle -- where the coordinate is angle, in turns of $\tau$. Read this way, the date $\texttt{6/28/26}\to 62826$ secretly contains the primitive cube roots of unity -- at angle $\tau/3$ -- along with one further pair of roots on the circle.

Small complete 3-term progression free sets in cyclic groups and vector spaces

math.CO

math.NT

A classical extremal problem on progression free sets is to determine the maximum size of a $3$-term arithmetic progression free set in algebraic structures, for instance in intervals of integers or in finite vector spaces. To determine the minimum size of a complete $3$-term arithmetic progression free set is a lower-end analogue of this problem. It is also closely related to complete caps and saturating sets in finite geometry. A simple counting argument shows that the order of magnitude of the minimum size is at least the square root of the cardinality of the structure. Addressing two open problems, we show that this lower bound is essentially tight. First, for every cyclic group $\mathbb{Z}_m$, we give explicit constructions of complete $3$-AP-free sets whose size is less than $2\sqrt m$. For $m\ge81$ the constructed sets satisfy the stronger, so-called complete $(2,-1)$-avoiding property; the remaining cases $m<81$ are covered by a finite verification. Second, we resolve the vector space variant in a weaker sense by showing that for every fixed odd prime $p$ and $\varepsilon>0$, there is a constant $C_{p, \varepsilon}$ such that \[ a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)\le C_{p, \varepsilon}\,n^{1+\varepsilon}\,p^{n/2} =p^{n/2+o(n)} \] holds for the minimum size $a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)$ of a complete 3-AP-free subset of $\mathbb{F}_p^n$, for all $n\ge1$.

On a two-color partition series and its companions

math.CO

math.NT

We study the two-color distinct-part series \(S_1(q)\), equivalently Andrews' generating function \(v_d(q)\) for strictly concave compositions, and its odd and even companions \(T_o(q)\) and \(T_e(q)\). We determine the coefficients of \(S_1(q)\) modulo \(4\) and obtain a complete criterion for the resulting Ramanujan-type progressions. For the even companion, we give a direct overpartition interpretation of its coefficients and show that two natural partition families are each counted by half of those coefficients. For the eta-normalized odd companion \(C(q)=(q;q)_\infty T_o(q)\), we prove a quintic self-similarity, derive exact vanishing relations and infinite sign changes for its coefficients, and show that \(c(n)\) can be nonzero only when \(24n+28\) is represented by \(x^2+3y^2\).

From some Pisot numerations to topological groups

math.DS

cs.FL

math.NT

A Pisot numeration system $U$ for $\mathbb N$ is a sequence of natural numbers generated by an integral homogeneous linear recurrence whose characteristic polynomial is the minimal polynomial of a Pisot number. The purpose of this paper is to introduce the analogue of the group of $p$-adic integers for such numerations when they \emph{preserve zeros}, which is equivalent to the `Condition F' introduced by Frougny and Solomyak for $\beta$-numerations. We show that these topological groups $\mathbb Z_U$ project homomorphically onto a torus. Equipping $\mathbb Z_U$ with the appropriate topology, we also show that if $U$ is unimodular, then $\mathbb Z_U$ is continuously isomorphic to a torus.

Simple supercuspidal representations of $\mathrm{GSp}_4$ and test vectors

math.NT

v2

We consider simple supercuspidal representations of $\mathrm{GSp}_4$ over a $p$-adic field and show that they have conductor exponent 5. We study (paramodular) newvectors and minimal vectors in these representations, obtain formulas for their matrix coefficients, and compute key local integrals involving these as test vectors. Our local computations lead to several explicit global period formulas involving automorphic representations $\pi$ of $\mathrm{GSp}_4(\mathbb{A})$ whose local components (at ramified primes) are simple supercuspidal representations, and where the global test vectors are chosen to be (diagonal shifts of) newforms or automorphic forms of minimal type. As an analytic application of our work to the sup-norm problem, we show the existence of paramodular newforms on $\mathrm{GSp}_4(\mathbb{A})$ of conductor $p^5$ that take ``large values" on a fixed compact set as $p\rightarrow \infty$.

New Results for Euler Sums

math.NT

v5

We present a large number of analytic evaluations of Euler sums, namely sums such as \begin{align} M(m,n_0,n_1,n_2, \ldots, n_t) &= \sum_{k=1}^\infty \frac{H(k)^m}{k^{n_0} (k+1)^{n_1} (k+2)^{n_2} \cdots (k+t)^{n_t}}, \nonumber \end{align} for nonnegative integers $m$ and $(n_i)$, with $m \geq 1$ and $n_0 + n_1 + \cdots + n_t \geq 2$, where $H(k) = \sum_{j=1}^k 1/j$ is the harmonic function. These results were obtained either by algebraic manipulations, or else by very high-precision numerical evaluations combined with an integer relation algorithm to obtain the analytic formulas. We show how many of these results can be derived from a few basic facts, and that these techniques are applicable to Euler sums of even more general forms than the above cases. We then show that these results permit the calculation of constants for Euler sums resembling the Stieltjes $\gamma$ constants arising in the theory of the Riemann zeta function, and we also present some preliminary results on the asymptotic behavior of these constants.

Galois groups of low dimensional abelian varieties over finite fields

math.NT

math.AG

v2

We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted permutation representation which encompasses all three of these invariants and use it to study the subtle relationships between them. We use this permutation representation to classify the triples of invariants that occur for abelian surfaces and simple abelian threefolds.

Square-Root Cancellation, Averages over Hyperplanes, and the Structure of Finite Rings

math.NT

math.CA

math.CO

v3

We formulate a notion of square-root cancellation for the operator which sums a mean-zero function over a rotating hyperplane in $R^d$, where $R$ is a possibly noncommutative finite ring. Using an argument due to Hart, Iosevich, Koh, and Rudnev, we show that this square-root cancellation occurs uniformly when $R$ is a finite field. We then show that this square-root cancellation cannot occur uniformly over families of finite rings which are not eventually finite fields. This extends an earlier result of the author to a non-translation-invariant operator.

Compactified moduli spaces and Hecke correspondences for elliptic curves with a prescribed $N$-torsion scheme

math.NT

math.AG

v2

Given an integer $N \geq 3$, we prove that for any ring $R$ and any finite locally free commutative $R$-group scheme $G$ whose geometric fibres are isomorphic to the $N$-torsion subscheme of some elliptic curve $E$, there is a smooth affine curve $Y_G(N)$ parametrizing elliptic curves over $R$-schemes whose $N$-torsion subscheme is isomorphic to $G$. We also describe compactifications $X_G(N)$ of these curves when $R$ is a regular excellent Noetherian ring in which $N$ is invertible, as well as construct the Hecke correspondences they are endowed with. As an application, we show that the equations for $X_G(N)$ found over base fields for $N=7,8,9,11,13$ (by Halberstadt--Kraus, Poonen--Schaefer--Stoll, Chen and Fisher) are in fact valid over regular excellent Noetherian bases that are $\mathbb{Q}$-algebras. Finally, we describe in detail the equivalence of this construction with the point of view of Galois twists that these authors use.

Shifted moments of cubic and quartic Dirichlet $L$-functions

math.NT

v2

We establish upper bounds for shifted moments of cubic and quartic Dirichlet $L$-functions under the generalized Riemann hypothesis. As an application, we prove bounds for moments of cubic and quartic Dirichlet character sums.

A conjecture in Schanuel style for 1-motives

math.NT

math.AG

v3

Schanuel Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function. In particular it implies the Lindemann-Weierstrass Theorem. In my Ph.D. I showed that Schanuel Conjecture has a geometrical origin: it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive without abelian part. In this paper, we state a conjecture in Schanuel style, which will imply conjectures in Lindemann-Weierstrass style, for the semi-elliptic exponential function, that is for the exponential map of an extension G of an elliptic curve E by a multiplicative group. We propose the semi-elliptic Conjecture, which concerns the exponential function, the Weierstrass $\wp,$ $\zeta$ functions and Serre functions. The case of a trivial extension has been treated in \cite{BW}, where we introduced the split semi-elliptic Conjecture. As in Schanuel's case, we expect that the semi-elliptic Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function, of the Weierstrass $\wp$, $\zeta$ functions and of Serre functions. We show that the semi-elliptic Conjecture has a geometrical origin (as Schanuel Conjecture): it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive whose underlying abelian part is an elliptic curve. We prove the Grothendieck-Andr\'e periods Conjecture for 1-motives defined by an elliptic curve with algebraic invariants and complex multiplication and by torsion points. We introduce the $\sigma$-Conjecture which involves the Weierstrass $\wp$, $\zeta$ and $\sigma$ functions and we show that this conjecture is a consequence of the Grothendieck-Andr\'e periods Conjecture applied to an adequate 1-motive.

On the sizes of the maximal prime powers divisors of factorials

math.NT

v4

Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes $q > p$. For twin primes $p$ and $q = p + 2$ it is proved that the minimal $n_0$ satisfying $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ is given by $n_0 = (p^2+p)/2$.

Explicit conditional bounds for $\zeta(s)$ at the edge of the critical strip

math.NT

v2

In this paper, we obtain explicit bounds for the real part of the logarithmic derivative of the Riemann zeta-function on the line $\re s=1$, assuming the Riemann hypothesis. The proof combines the Guinand--Weil explicit formula with extremal bandlimited majorants and minorants for the Poisson kernel. As an application, we revisit the classical estimates of Littlewood for the modulus of the Riemann zeta-function and of its reciprocal on the line $\re{s}=1$, and derive a slight refinement of the bounds of Lamzouri, Li, and Soundararajan. In addition, we establish an explicit bound for the modulus of the logarithmic derivative of the Riemann zeta-function on the line $\re{s}=1$ under the Riemann hypothesis, improving the lower-order term in a result of Chirre, Val{\aa}s, and Simoni\v{c}.

Burgess-Type volume centric Bounds for Character Sums over $\mathbb{F}_{p^n}$

math.NT

v5

We establish a Burgess-type bound for short multiplicative character sums over finite fields $\mathbb{F}_{p^n}$. Define box $B$ by $$ B=\left\{ \sum_{i=1}^{n} x_i\omega_i : N_i+1 \leq x_i \leq N_i+H_i,\; 1 \leq i \leq n \right\} \subseteq \mathbb{F}_{p^{n}},$$ where $N_i$ and $H_i$ are integers that satisfy $1 \leq H_i \leq p \text{ for all } 1 \leq i \leq n$ and $H_1\leq H_2\leq \cdots\leq H_n$. We show that for the box $B \subset \mathbb{F}_{p^n}$ with the first $(n-2)$ sides of length at least of some size with respect to the last two side lengths, a nontrivial cancellation occurs whenever $|B| \ge p^{n(1/4+\varepsilon)}$. This extends earlier work of Gabdullin in dimensions $n=2,3$ to arbitrary dimension. The proof combines methods from the geometry of numbers, multiplicative energy estimates, and bounds for character sums due to Katz.

Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

math.NT

math.DS

v3

Let $f:\mathbb{P}^1\to\mathbb{P}^1$ be a quadratic rational map defined over the rational field $\mathbb{Q}$ with nonabelian automorphism group. We prove that no such map has a $\mathbb{Q}$-rational periodic point with exact period $N\ge 4$. We also give an explicit parametrization of such maps that have $\mathbb{Q}$-rational periodic points of period $1$, $2$, and $3$. In addition, we show that the number of $\mathbb{Q}$-rational preperiodic points of such a map $f$ cannot exceed $6$. As a result, we completely classify all portraits of $\mathbb{Q}$-rational preperiodic points for quadratic rational maps defined over $\mathbb{Q}$ with nonabelian automorphism showing that there are exactly $5$ such portraits.

2- and 3-Dissections of Second-, Sixth-, and Eighth-Order Mock Theta Functions

math.NT

v2

In this paper, we develop a systematic method for obtaining and proving $m$-dissections of mock theta functions. In 2014, Hickerson and Mortenson showed how to derive and prove identities for Ramanujan's mock theta functions and Hecke-type indefinite theta series using Appell--Lerch sums. We build on their transformation formula method, combining it with symbolic computations and algorithms for the theory of modular functions. We focus exclusively on the cases of 2- and 3-dissections.

Lattice point visibility along powers of polynomials

math.NT

v3

We study lattice point visibility along polynomial lines of sight and give a new proof of the Visibility Density Conjecture of Chaubey and Pandey for a large class of polynomials.

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

math.NT

v2

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.

Connection between the Riemann zeta-function and random matrices via hyperfunctions

math.NT

v2

Bohr pioneered the study of the statistical behavior of the Riemann zeta-function. A classical result by Bohr and Jessen revealed that the values of the Riemann zeta-function to the right of the critical line behave like a random variable. We now propose to extend Bohr's theory to the stage of hyperfunctions. In this paper, we introduce two random hyperfunctions: one is associated with the values of the Riemann zeta-function on the critical line, and the other is associated with the characteristic polynomial of a random matrix from the circular unitary ensemble. We then derive a relationship between these random hyperfunctions which is consistent with the Keating-Snaith conjecture on the moments of the Riemann zeta-function.

Transcendence of simple geodesics on finite modular covers

math.NT

math.DS

v2

The real projective line $\mathbb{R}\mathbf{P}^1$ is the boundary of $\mathbf{HP}=\{z\in \mathbb{C}\colon \Im(z)>0\}$, a model of the hyperbolic plane whose space of geodesics identifies with $\mathcal{G}(\mathbf{HP})=\mathbb{R}\mathbf{P}^1 \times \mathbb{R}\mathbf{P}^1 \setminus \mathrm{diagonal}$. The modular group $\Gamma=\operatorname{PSL}_2(\mathbb{Z})$ acts on $\mathbf{HP}$ with quotient the modular orbifold $\mathbf{M}=\Gamma\backslash \mathbf{HP}$. Consider a finite-index subgroup of the modular group $\Gamma^\prime \subset \Gamma = \operatorname{PSL}_2(\mathbb{Z})$ corresponding to a finite cover $\mathbf{M} \to \mathbf{M}^\prime$. A geodesic $(\xi^-,\xi^+)\in \mathcal{G}(\mathbf{HP})$ projects $\bmod{\Gamma^\prime}$ to a geodesic $\xi^\prime \subset \mathbf{M}^\prime$. We conjecture that if $\xi^\prime$ is simple, then $\xi^+$ is either rational or quadratic or transcendental. We prove this conjecture for leaves of minimal geodesic laminations. We explain why the conjecture is known for all simple geodesics in the modular torus cover associated to the derived subgroup $\Gamma^\prime = [\Gamma, \Gamma]$.

Split primes and the Elekes-R\'onyai problem

math.NT

math.CO

v2

There exist an absolute constant $c>0$ and arbitrarily large finite sets $A\subset \mathbb{R}$ with $$\left| \left\{x+y+(x-y)^2:\ x, y \in A\right\}\right| \le|A|^{2-c}.$$ Since $x+y+(x-y)^2 \in \mathbb{R}[x,y]$ is a polynomial which is neither additive nor multiplicative, this provides a counterexample for the Elekes-R\'onyai problem. The proof combines two amplifications of the same local congruence defect: horizontal amplification over squarefree products of rational primes, and vertical amplification through bounded root-discriminant towers in which those primes split completely. In this way a fixed local density defect becomes macroscopic, producing a power saving. This phenomenon also suggests a broader mechanism for producing similar extremal constructions throughout combinatorics and number theory.

Rank fluctuations of matrix products and a moment method for growing groups

math.PR

math.CO

math.NT

v2

We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275. The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge.

A note on weight filtrations at the characteristic

math.KT

math.AG

math.NT

v4

We show that $\kgl$-linear cohomology theories over an affine Dedekind scheme $S$ admit a canonical weight filtration on resolvable motives without inverting residual characteristics. Combined with upcoming work of Annala--Hoyois--Iwasa, this endows essentially all known logarithmic cohomology theories with weight filtrations when evaluated on projective sncd pairs $(X,D)$ over $S$. Furthermore, the weight-filtered cohomology is an invariant of the open part $U = X-D$. On variants of de Rham cohomology, we show that our weight filtration recovers the d\'ecalaged pole-order filtration defined by Deligne. One interpretation of this is that the spectral sequence associated to the pole-order filtration is an invariant of $U$ from the $E_2$-page onwards, which generalizes a result of Deligne from characteristic 0 to positive and mixed characteristic, and suggests that ``mixed Hodge theory'' is a useful invariant of $S$-schemes. Finally, we compute explicit examples of weight filtered pieces of cohomology theories. One of the computations reproves a slight weakening of a result of Thuillier stating that the singular cohomology of the dual complex associated to the boundary divisor of a good projective compactification does not depend on the chosen compactification. In the appendix, we prove the folklore results that the Whitehead tower functor is fully faithful and that perfect bivariant pairings with respect to the twisted arrow category correspond to duality.

Homological stability and weak approximation

math.AG

math.AT

math.NT

v2

We investigate homological stability for the space of sections of Fano fibrations over curves in the context of weak approximation, and establish it for projective bundles, as well as for conic and quadric surface bundles over curves.

Weil conjectures and affine hypersurfaces

math.AG

math.NT

v2

We give yet another proof of the Riemann hypothesis for smooth proper varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case. The latter was established by N. Katz via an elementary argument. A reduction of this kind was previously carried out by A. J. Scholl. Our approach is slightly different, and relies on deformation to an affine hypersurface, together with Artin's vanishing theorem and basic properties of perverse sheaves.