Number Theory [math.NT]

Rank-two Nahm sums, modularity obstructions, and the McKay--Thompson series $T_{31A}$

math.NT

We conjecture a positive four-shift identity for rank-two Nahm sums with denominator steps $(1,31)$, giving a mixed-base realization of the Monster McKay--Thompson series $T_{31A}$ through the classical Rogers--Ramanujan function $U(1,31)$. A theta dissection directly derives the modular target. For the underlying quadratic exponent $3r^2+31rs+93s^2$, we prove nonmodularity of every individual sum with rational linear terms and normalization, together with an exclusion from finite Fricke systems with meromorphic finite-width expansions at infinity. Exact agreement through $q^{2000}$ and six vanishing radial corrections support the proposed combination; a five-term dilogarithm certificate and an exact amplitude calculation prove its leading asymptotic behavior. We further propose a three-component Fricke law for a dual combination, with an explicit icosahedral matrix involving fifth-root constants, and a quadratic identity linking its components to $T_{31A}$. The dual translation law and matrix algebra are proved; its Fricke transformation and moonshine identity remain conjectural, supported respectively by numerical evaluations and exact finite coefficient checks.

Noncongruence cusp forms, Veech groups and enumeration

math.NT

math.AG

math.GT

We prove the existence of weight 2 modular forms for some Veech groups, whose Fourier coefficients at a cusp determine the counts of numbers of branched Galois covers of punctured elliptic curves. We further prove there exist cusp forms, counting ramified genus $2$ covers, that are not invariant under any congruence subgroup of SL(2,Z). The main results may be viewed as analogs of the construction of an elliptic curve obtained as the quotient of the Jacobian of a classical modular curve, whose point counts modulo primes determine the coefficients of a Hecke eigenform, but where the uniformizing groups may be noncongruence.

Effective logarithmic two-point Chowla bounds in every window

math.NT

We quantify the entropy-decrement proof of the logarithmically averaged two-point Chowla theorem, uniformly in the affine forms and the averaging window. For L_i(n)=a_i n+b_i with positive integral slopes and nonzero determinant Delta=a_1 b_2-a_2 b_1, put h=max(a_1,a_2,|b_1|,|b_2|,|Delta|,2). For either the Liouville or Mobius function in each position and 0<=1/10, the correlation sum over x/omega<=x, weighted by 1/n, has absolute value at most epsilon log omega whenever x>=omega>=exp_4(C h epsilon^(-2)), where exp_4 denotes four iterated exponentials. A translation lemma separates the common translation from the tower: for lambda(n+b)lambda(n+b+k), with k nonzero, cancellation is uniform when |k|=o(log_4 omega) and |b|=omega^(o(1)), where log_4 is the fourth iterated logarithm. The same thresholds give logarithmic equidistribution of the four Liouville sign pairs. The constant C is effective but depends on uncomputed constants in two analytic inputs. Separately, writing ell=log log x, we prove fully explicit bounds ell/3-(4/3)log ell-7 <= N_lambda(x) <= ell-log ell+2.53/ell for ell>=64, where N_lambda is the non-pretentiousness level in Tao's hypothesis. Under GRH the lower bound improves to ell-log ell-log 2-2/ell; hence N_lambda(x)=ell-log ell+O(1). The arguments use an explicit zero-free region, Harnack's inequality, a finite resonator, and a comparison of smoothed Euler products. These results concern logarithmic averages, not natural-density two-point Chowla correlations.

Permutation binomials of the form $X^r(X^{q-1}+a)$ over finite fields

math.NT

math.CO

This paper is devoted to studying permutation binomial $F_{r,a}(X)=X^r(X^{q-1}+a)\in\mathbb F_{q^e}[X]$ with $a\in\mathbb F_{q^e}^*$. We present a complete characterization for $F_{r,a}$ to be a permutation of $\mathbb{F}_{q^e}$. This yields a complete proof of the conjecture proposed by Masuda--Rubio--Santiago \cite{masuda2022permutation}. More precisely, we show that \(F_{r,a}\) permutes \(\mathbb F_{q^e}\) if and only if $(-a)^{(q^e-1)/(q-1)}\ne1, \gcd(r,q-1)=1$, and there exists \(1\le h

Straight-line programs for the solutions of Pell's equation

math.NT

For nonsquare $d\ge 2$, we construct fixed straight-line programs for the least non-trivial solution $(X_1,Y_1)$ of $x^2-dy^2=1$, using addition, truncated subtraction, multiplication, integer division, exponentiation, and remainder. A geometric-sum identity recovers $(X_1,Y_1)$ from the coordinate sums of an initial segment of Pell solutions, without knowing how many solutions were summed. Weighted binary encodings make these sums accessible to arithmetic computation. Counting operations with reuse of computed values, one program uses $94$ operations, with intermediate bit lengths bounded by $2^{2^{2^{O(d)}}}$. Four additional operations give a $98$-operation program with the bound $2^{2^{O(d)}}$. Hua's bound gives corresponding programs with $103$ and $107$ operations and replaces $O(d)$ by $O(\sqrt d\log d)$ in these size bounds. Once the fundamental solution is known, generating-function formulas compute the $n$-th positive solution in $21$ further operations by extracting its coordinates as base-$b$ digits. We prove that $2X_1(X_1+1)-1$ is the least integer base for which both formulas are defined and correct for every $n\ge1$.

Computations of Cohomology of Arithmetic Groups, Part 1

math.NT

The key part of the current paper is the computation of boundary and Eisenstein cohomology of $GL_4({\mathbb Z})$ with coefficient in any highest weight representations. The method we develop let us compute in an alternative way the cohomology of $SL_3({\mathbb Z})$ and of $GL_3({\mathbb Z})$ with coefficients in any highest weight representation. This is done in a simpler, faster and in a more structured way compared to \cite{BHHM}. We state a duality for the boundary cohomology of $GL_m({\mathbb Z})$ of the type of Serre's duality, where the dualizing sheaf is a power of the determinant representation. We refine this duality to a duality on the level of the spectral sequence for the boundary cohomology $E_\infty^{p,q}$. We state it as a conjecture. However, all the computations, 30 different families of representations, satisfy this conjecture. We compute the Eisenstein cohomology of $GL_4({\mathbb Z})$ with coefficients in the symmetric powers and their twist by the determinant representation. For several other representations, we compute the Eisenstein cohomology, based a few conjectures. Based on those conjectured, one can compute the Eisenstein cohomology in most of the cases. They will be included in the next version of the paper.

On the index of generalized trinomials over Valued fields

math.NT

Let $\nu$ be a Krull valuation of arbitrary rank on a field with valuation ring $R_\nu$, and let $\theta$ be a root of the irreducible polynomial $F(x)=(x^k+c)^m-ax^n\in R_\nu[x]$ and $1\leq n

Computing the cohomology of Shimura curves in quasi-linear time

math.NT

Computing spaces of modular and automorphic forms is an important problem in algorithmic number theory, with in particular Diophantine applications to generalised Fermat and other equations. The case of Shimura curves was studied by Greenberg and Voight by cohomological methods, allowing them to reduce the problem to linear algebra. Relying on work of Imbert, we leverage topological techniques to obtain linear systems so structured that they can be solved in time quasi-linear in the genus.

Congruence Classes of Supporting the Erd\"{o}s-Straus Conjecture II: Wild Solutions

math.NT

In 1948, Erd\"{o}s and Straus formulated a conjecture : for any positive integer $n>2$, there exist positive integers $n_1,n_2$ and $n_3$ such that \begin{equation}\frac{4}{n}=\frac{1}{n_1}+\frac{1}{n_2}+\frac{1}{n_3},\nonumber\end{equation} which is still open. It is known that the conjecture holds if one can prove it for any prime $n\equiv 1\;(\mbox{mod}\;24)$. If $n=24m+1$ and $n_1\leq n_2,n_3$, then $n_1=6m+k$ with $1\leq k\leq 12m$. A solution $(n_1,n_2,n_3)$ of the above equation is called a {\it tame solution} if $n_2$ and $n_3$ are factors of $(6m+k)(24m+1)$. We call $n=24m+1$ {\it wild} if it does not have any tame solution. Based on the information in our earlier work on tame solutions posed in arXiv, Howerton found that there are only fourteen wild primes of the form $n=24m+1\leq 2.4\times 10^{11}$. In this paper, we derive thirty-four families of wild solutions of the above equation, which contain the solvability of the fourteen wild primes. Together with our earlier tame polynomial solutions, numeric test shows that they cover all the primes of the form $24m+1$.

A new lower bound for the Schur-Siegel-Smyth trace problem

math.NT

We prove that lambda_SSS >= 1.80220 for the smallest limiting trace-to-degree ratio of totally positive algebraic integers, improving the bound 1.80203 obtained by Orloski, Talebizadeh Sardari and Smith. The proof exhibits an explicit probability measure on [0,8] together with eighteen integer polynomials, and verifies their dual inequality on the whole of [0,infinity) by interval bisection. The certificate assumes nothing about the data it is built from: an error in that data can only weaken the bound, never invalidate it.

Refinements of Peck's theorem on simultaneous approximation to algebraic numbers

math.NT

Let $n$ be an integer with $n\ge2$, and let $E$ be a real algebraic number field of degree $n+1$ over ${\mathbb Q}$. Let $\alpha_1, \ldots , \alpha_n$ be real numbers in $E$ such that $(1,\alpha_1,\ldots,\alpha_n)$ is a linear basis of $E$ over ${\mathbb Q}$. Let $\nu_1, \ldots, \nu_{n-1}$ be real numbers satisfying $$0<\max_{1\le i\le n-1}\nu_i\le2\min_{1\le i\le n-1}\nu_i,\quad \nu_1+ \ldots +\nu_{n-1}=1. $$ We establish that there exist a real number $C$, depending only on $\alpha_1, \ldots , \alpha_n$, and infinitely many integers $Q \ge 2$ satisfying the inequalities $$Q^{1/n}\Vert Q\alpha_i\Vert \le C (\log Q)^{-\nu_i}, \quad 1\le i\le n-1, \quad Q^{1/n}\Vert Q\alpha_n\Vert\le C.$$ This answers partially a conjecture of Peck, who proved in 1961 this statement in the particular case where $\nu_1 = \ldots = \nu_{n-1} = 1/ (n-1)$. We also improve a result from 2004 of de Mathan and Teuli\'e on a question of simultaneous Diophantine approximation involving a non-Archimedean valuation.

Counting consecutive multiplicatively dependent triples

math.NT

We obtain a nontrivial bound on the number of triples of positive integers $(a,b,c) \in [1,H]^3$, which are multiplicatively dependent but each pair of its elements is not, and so is the triple $ (a+1,b+1,c+1)$. The method is based on studying factorisations of some resultants and a recent improvement by G. Binyamini, R. Cluckers and F. Kato (2025) of the classical Bombieri--Pila bound.

A geometric proof of Peck's theorem

math.NT

Suppose that $d\ge 2$ and that $1,\alpha_1,\ldots ,\alpha_d$ is a basis for a real algebraic number field. A theorem of Peck from 1961 establishes that \[ \liminf_{n\rightarrow\infty}n\log n\,\|n\alpha_1\|\cdots\|n\alpha_d\|\ < \infty.\] The goal of this paper is to recast Peck's proof in an intuitive geometric framework, where the result follows from a single application of the Minkowski convex body theorem. We will also explain how a simple modification of this approach leads immediately to new proofs of results of de Mathan, Teuli\'{e}, and Bugeaud regarding the $p$-adic Littlewood conjecture for $d$-tuples of algebraic numbers. Finally, changing the shape of the convex body allows us to make progress on a conjecture raised by Peck in the same paper, about distributing the logarithmic savings unequally among the coordinates. We prove the conjecture for every real biquadratic field with its natural basis, and for an arbitrary number field when the factors involved are of comparable size.

A power-sum obstruction to cyclotomicity in a family of symmetric numerical semigroups

math.NT

For positive integers $q$ and $m$ with $m\geq 2q+3$, consider the symmetric numerical semigroup $S_{m,q}=\langle m,m+1,qm+2q+2,qm+2q+3,\ldots,qm+m-1\rangle$. Ciolan, Garc'ia-S'anchez, and Moree asked whether every member of this family with embedding dimension at least $4$ is noncyclotomic. We answer this question affirmatively for every $q\geq 1$, including an independent proof of the previously known case $q=1$. Let $P_{m,q}$ be the semigroup polynomial, and set $t=m-2q-3$, $L=2(q+1)(m+1)-1$, and $D=\deg P_{m,q}=2qm+2q+2$. For $m\geq 2q+4$, let $\rho_1,\ldots,\rho_D$ be the roots of $P_{m,q}$, counted with multiplicity. An explicit computation of a single coefficient of the formal logarithm gives $\left|\sum_{j=1}^{D}\rho_j^{-L}\right|=L\left|[x^L]\log P_{m,q}(x)\right|\geq Lt-1>D$. The strict inequality forces $P_{m,q}$ to have a root off the unit circle. Hence $S_{m,q}$ is noncyclotomic whenever $m\geq 2q+4$. The boundary case $m=2q+3$ has embedding dimension $3$ and is cyclotomic. Therefore $S_{m,q}$ is cyclotomic if and only if $m=2q+3$.

Lie algebras for multiple Eisenstein series and multiple q-zeta values

math.NT

math.QA

Racinet's double shuffle Lie algebra $\mathfrak{dm}_0$ encodes the double shuffle relations of multiple zeta values. We study two analogues of $\mathfrak{dm}_0$ for multiple Eisenstein series and $q$-analogues of multiple zeta values, namely the space $\operatorname{BARI}_{\operatorname{swap},\mathrm{il}}$ of swap-invariant alternil bimoulds with the uri bracket of K\"uhn and Schneps, and Burmester's balanced double shuffle space $\mathfrak{bm}_0$. Both were conjectured to be Lie algebras. We prove both conjectures and show that $\mathfrak{bm}_0$ is isomorphic to the Lie algebra of finite-depth polynomial elements of $\operatorname{BARI}_{\operatorname{swap},\mathrm{il}}$.

The Fermat-Type Matrix Equation over $\mathrm{GL}_2(\mathbb{Z})$

math.NT

We determine the complete ordered solution set of the Fermat-type matrix equation $X^n+Y^n=Z^n$ in $\mathrm{GL}_2(\mathbb{Z})$ for every integer $n\ge3$, expressed in terms of simultaneous integral-conjugacy orbits while keeping the variable symmetries of the equation separate. The equation is solvable if and only if $4\nmid n$ and $6\nmid n$. Thus, in contrast with the determinant-one setting, odd multiples of $3$ are solvable in the full group $\mathrm{GL}_2(\mathbb{Z})$ and necessarily involve determinant-$-1$ components. For every admissible even exponent, the full ordered solution set has a canonical disjoint orbit decomposition indexed by the same transversal that occurs in the matrix Pythagorean equation. For odd exponents with $3\nmid n$, the commuting solutions form exactly six simultaneous-conjugacy orbits. The noncommuting odd solutions form exactly twenty simultaneous-conjugacy orbits when $3\nmid n$, and exactly fourteen when $3\mid n$. Under the coarser equivalence generated by signed variable permutations and simultaneous integral conjugation, these noncommuting orbits collapse to four and three classes, respectively. The proof combines the canonical orbit classification of the matrix Pythagorean equation, Cayley--Hamilton recurrences, commutator divisibility, trace-growth estimates, integral conjugacy of torsion matrices, and an elementary symmetry-reduced trace argument for the cubic equation.

Reducibility of $rx^m+p^e f(x)$ for Large Primes $p$

math.NT

We study the reducibility over $\mathbb{Q}$ of $F_{p,e}(x)=rx^m+p^ef(x)$, where $r\in\mathbb{Z}\setminus\{0\}$, $f\in\mathbb{Z}[x]$, and $0\le m

On murmurations

math.NT

In the recent paper ``Murmurations", Zubrilina showed that the Fourier coefficients of modular forms follow a certain murmuration pattern. The proof given in ``Murmurations" proceeded by estimating the terms of the Skoruppa-Zagier trace formula. However, a few technical issues arise in the proof, including an omission of certain Chebyshev factors that arise in summations from the Skoruppa-Zagier trace formula. In this work, we address these issues to solidify the proof.

Arithmetic progressions in dense subsets of primitive elements of finite fields

math.NT

math.CO

Let $p$ be a prime and let $\mathcal{P}_p$ be the set of primitive elements of $\mathbb{F}_p$. Inspired by the work of Cohen, Oliveira e Silva and Trudgian on consecutive primitive elements, and by the work of Chang on arithmetic progressions in multiplicative subgroups of finite fields, in this paper, using estimates for multiplicative character sums over systems of linear forms together with the relative Szemer\'edi's theorem of Conlon, Fox and Zhao, we show that, for every fixed integer $k\ge3$ and any fixed number $0<\delta\le 1$, each subset $A\subseteq\mathcal{P}_p$ with $\#A\ge\delta\#\mathcal{P}_p$ contains a nontrivial $k$-term arithmetic progression, provided that $p$ is sufficiently large. Also, by applying Behrend's theorem, we construct a large subset $A'$ of $\mathcal{P}_p$ with $\#A'=\lfloor(\#\mathcal{P}_p)^{1-\varepsilon}\rfloor$ such that $A'$ contains no nontrivial $k$-term arithmetic progressions.

Self-intersection Points of Billiard Trajectories in a Square with Small Pockets

math.NT

math.DS

We study the self-intersections of billiard trajectories in a square with small pockets of size $\varepsilon$ removed from its four corners. In particular, we establish an asymptotic formula for the $r$-th moment of the number of self-intersection points for each positive integer $r$, as well as the distribution of such points.

On the density of $A+B$ when $B$ has few elements

math.NT

Let $\mathsf{d}$ be the asymptotic density on the positive integers $\mathbb{N}^+$. We provide sufficient conditions on an infinite set $B\subseteq \mathbb{N}^+$ so that for each $\alpha \in [0,1]$ there exists a set $A\subseteq \mathbb{N}^+$ such that $\mathsf{d}(A)=0$ and $\mathsf{d}(A+B)=\alpha$. For instance, if $(b_n: n \in \mathbb{N}^+)$ is the increasing enumeration of $B$, it is sufficient that $\liminf_n b_{n+1}/b_n>1$. Moreover, we show that, if $|B\cap [1,n]|\ll \log(n)^{1-\varepsilon}$ for some $\varepsilon>0$, then for each $\alpha \in [0,1]$ there exists a set $A\subseteq \mathbb{N}^+$ such that $\mathsf{d}(A)=\mathsf{d}(A+B)=\alpha$. Conversely, we show that, for each $\varepsilon>0$, there exists an infinite set $B\subseteq \mathbb{N}^+$ such that $|B\cap [1,n]| \ll n^{2/3+\varepsilon}$ and $\mathsf{d}(A+B) \in \{0,1\}$ for every $A\subseteq \mathbb{N}^+$ such that $A+B$ admits asymptotic density.

On smooth elements in arithmetic semigroups

math.NT

In this paper we explore the concept of smoothness in arithmetic semigroups. In particular, we give explicit asymptotics for the counting function $\Psi_G(x,y)$ when the arithmetic semigroup $G$ satisfies Axiom A (in the spirit of Knopfmacher). The asymptotics generalise the standard results in the literature for the integer case, and are expressed in terms of the Dickman $\rho$ function. Finally, we give applications of our results to counting smooth families of finite abelian groups and finite semisimple rings.

Infinitely Many Off-Critical-Line Zeros of the Tempered Xi Function: A Disproof of Yang's Conjecture

math.NT

math.CV

Yang introduced a tempered xi function $\widehat\xi(s)$ by replacing the hyperbolic cosine in a classical integral representation of the Riemann xi function by a hyperbolic sine, and conjectured that every zero of $\widehat\xi$ lies on the critical line $\Re s=1/2$. We disprove this conjecture. After the change of variables $x=e^{2t}$, one has \[ \widehat\xi\!\left(\tfrac12+iz\right)=iS(z), \qquad S(z)=\int_0^\infty K(t)\sin(zt)\,dt, \] where $K$ is positive, smooth, and doubly exponentially decaying. Two integrations by parts give $S(y)=K(0)/y+O(y^{-2})$ for real $|y|\to\infty$, with $K(0)>0$; hence $S$ has only finitely many real zeros. On the other hand $S$ is an entire function of order at most one. If it had only finitely many zeros in the complex plane, Hadamard factorization would force $S(z)=P(z)e^{az+b}$, which is incompatible with $S(y)\to0$ as $y\to\pm\infty$. Thus $S$ has infinitely many nonreal zeros, and consequently $\widehat\xi$ has infinitely many zeros off the critical line. The proof is unconditional and does not use the Riemann Hypothesis or numerical zero finding. A short numerical illustration is included.

Identities and congruences involving orthogonal polynomials and Ap\'ery-like numbers

math.NT

math.CO

In this paper, we establish a general identity for three-term recurrence sequences and then give applications to orthogonal polynomials and Ap\'ery-like numbers.

A note on isomorphism types of complete discretely valued fields of mixed characteristic

math.NT

In this paper, we resolve the problem of finding the required level of truncation needed on the isomorphism class of a truncated valuation ring of a complete discretely valued field of mixed characteristic to determine the isomorphism class of the field itself.

Computing the divisor summatory function in $N^{9/28+o(1)}$

math.NT

We present an analytic algorithm to compute isolated values of the divisor summatory function in $N^{9/28+o(1)}$ expected time, improving upon existing methods that require $O(N^{1/3})$ time. Our method significantly departs from elementary approaches to analyze the geometry of the Dirichlet hyperbola, relying instead on Vorono\"i summation and accelerating the evaluation of the resulting exponential sum.

Sparsity of rational points on torsion level covers of Hilbert modular varieties

math.NT

math.AG

math.CV

Let $F$ be a totally real field of degree $n$ and discriminant $\Delta_F$, and let $X_1(\eta)$ be the cover of the Hilbert modular variety parametrizing abelian varieties with real multiplication by $\mathcal O_F$, together with a torsion point having annihilator $\eta$. Let $L=K_{\overline X_1(\eta)}+D$ be the log-canonical bundle on a smooth toroidal compactification, and let $H_L$ be an associated multiplicative height. We prove that rational points on $X_1(\eta)$ become sparser as $|\mathrm{Nm}(\eta)|\to\infty$, with $(\eta,\Delta_F)=1$. More precisely, for every number field $K$, set $$ N_{\eta,K}(B)=\#\{x\in X_1(\eta)(K):H_L(x)\leq B\}. $$ If $|\mathrm{Nm}(\eta)|\ge 5^n$ and $(\eta,\Delta_F)=1$, we prove $$ \limsup_{B\to\infty}\frac{\log\max\{1,N_{\eta,K}(B)\}}{\log B} \leq\delta_{\eta,K,n},\qquad \delta_{\eta,K,n}\ll_{[K:\mathbb Q],n}|\mathrm{Nm}(\eta)|^{-1/(2n)}. $$ In particular, $\delta_{\eta,K,n}\to0$ uniformly when $n$ and $[K:\mathbb Q]$ are bounded and $|\mathrm{Nm}(\eta)|\to\infty$. The main geometric result is a uniform lower bound, growing with the level, for the log-canonical degree of subvarieties of $X_1(\eta)$. Combining this estimate with recent progress derived from determinant-method, due to Ellenberg--Lawrence--Venkatesh and Brunebarbe--Maculan, we obtain the sparsity result above. We also prove that, for sufficiently large $|\mathrm{Nm}(\eta)|$, every subvariety of $X_1(\eta)$ is of general type, and establish a higher-dimensional generalization of the geometric torsion theorem of Bakker--Tsimerman. Namely, for a family of abelian varieties with real multiplication over a quasi-projective base of arbitrary dimension, we bound the torsion subgroup of its Mordell--Weil group in terms of the canonical volume of the base, uniformly in the totally real multiplication field of fixed degree.

Diophantine approximation by primes and Landau--Siegel zeros

math.NT

Let $\alpha>0$ be an irrational number of finite type and let $\beta\in\mathbb{R}$. Assuming the infinitude of Siegel zeros (respectively, sufficiently strong Siegel zeros), we show that for every sufficiently small $\varepsilon>0$, there exist infinitely many primes $p$ such that \begin{gather*} \|\alpha p+\beta\|\leq p^{-1/3+\varepsilon} \qquad\text{(respectively, }\|\alpha p+\beta\|\leq p^{-1/3-1/20}\text{)}. \end{gather*}

Lonely Runner Relations

math.CO

math.NT

v2

We study the Lonely Runner Conjecture (LRC), conceived by J\"org M. Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \,n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. We prove that for any counterexample or tight instance $\mathbf{n}$ of LRC, $\mathbf{m} \cdot \mathbf{n} = 0$ for some $\mathbf{m} \in \mathbb{Z}^k$ with $0 < \| \mathbf{m} \|_1 \le \min(2k+3, \ \frac{ k+1 }{ k-1 } \mathrm{flt}(k))$ where $\mathrm{flt}(k)$ denotes Khinchin's (1948) flatness constant limiting the lattice width of a $k$-dimensional convex body without interior integer points. In other words, potential counterexamples to LRC lie on a finite set of hyperplanes in the parameter space. Our proofs use Fourier analysis and a geometric reformulation of LRC, and our results generalize to the situation of shifted lonely runners of varying measures of loneliness. Our results imply and generalize a theorem of Czerwi\'nski (2012) that when we choose $\mathbf{n}$ at random then, with probability tending to 1, the measure of loneliness $\frac{1}{ k+1 }$ can be replaced by $\frac 1 2 - \epsilon$.

The Schur multiplier of $\rm{SL}_2$, $K_2$, and Dedekind zeta-functions over $S$-integers

math.KT

math.NT

In this paper, we obtain an exact sequence connecting $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$ to $H_2(\rm{SL}_2(\mathcal{O}_{K,T}), \mathbb{Z})$, where $\mathcal{O}_{K,S}$ is a ring of $S$-integers and $T$ is a set of primes containing $S$. We apply this sequence to establish a relation between $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$ with the second $K$-group $K_2(\mathcal{O}_{K,S})$, for $S$ large enough. This leads to a description of the rank and size of the torsion of $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$. As an application, we propose a homological version of the Birch-Tate formula (conjecture) under these assumptions.

Pro-$\mathbf H_p$ density in the free group of rank two: a Frobenian criterion on the mod-$p$ torus

math.GR

math.NT

Let $F$ be the free group of rank two and, for a prime $p$, let $\mathbf H_p=\mathbf G_p*\mathbf{Ab}_{p-1}$ be the pseudovariety of finite groups having a normal $p$-subgroup with abelian quotient of exponent dividing $p-1$. For $H$ of rank two with $\ab_F(H)=F^{\ab}$ we determine the set $\mathfrak D(H)$ of primes $p$ where $H$ is $\mathbf H_p$-dense in $F$, and we show that this prime set is Frobenian in the sense of Serre: it is governed by a single Laurent polynomial $g$ attached to $H$. We prove that $p\in\mathfrak D(H)$ if and only if $g$ has no zero on the torus $(\F_p^\times)^2$, and hence that $\mathfrak D(H)$ possesses a computable natural density $d(H)$. Exactly one of three cases holds: $\mathfrak D(H)$ is the set of all primes, it is finite, or it is neither and $d(H)$ satisfies $\frac1{|G|}\le d(H)\le1-\frac1{|G|}$, where $G$ is the finite Galois group attached to $g$.

Proof of the positive trace gap conjecture

math.GR

math.DS

math.GT

math.NT

We prove that a lattice $\Gamma$ in $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{PSL}_2(\mathbb C)$ has positive trace gap, meaning that its traces are uniformly separated, if and only if it is derived from an admissible quaternion algebra. For cocompact Fuchsian groups, this proves the positive trace gap conjecture attributed to Sarnak by Geninska and Leuzinger in 2008. The same characterization by quaternion algebras holds if the difference set of traces is not dense. Our method also gives a similar result for lattices in $\mathrm{SL}_d(\mathbb R)$, for every $d\ge3$: a lattice $\Gamma<\mathrm{SL}_d(\mathbb R)$ has positive trace gap if and only if all its traces are integers. Equivalently, after conjugation, it has finite index in the norm-one group of an order in a central simple algebra of degree $d$ over $\mathbb Q$ that splits over $\mathbb R$. We also discuss spectral consequences and other applications of the results and techniques.

On the DML(1) property for regular endomorphisms of affine spaces: the $\mathbb{G}_m$-case

math.DS

math.AG

math.NT

Let $f$ be a regular endomorphism of $\mathbb{A}_{\mathbb{C}}^N$ and let $C\subseteq\mathbb{A}_{\mathbb{C}}^N$ be an irreducible curve. Suppose $C$ has an infinite intersection with the $f$-orbit of a point $x\in\mathbb{A}^N(\mathbb{C})$. Then the normalization of $C$ is isomorphic to either $\mathbb{A}^1$ or $\mathbb{G}_m$. We prove that $C$ is $f$-periodic in the latter case, as expected by the dynamical Mordell-Lang conjecture.

Congruence Classes in $\mathbb{F}_p^2$: Sharp Results via an Energy Approach

math.CO

math.NT

Let $T_k(E)$ denote the set of congruence classes of ordered $k$-tuples of pairwise distinct points of $E$. Let $p\equiv3\pmod4$ be prime. For $E\subset\mathbb{F}_p^2$ with $3\leq|E|\leq p^{3/4}$, we prove that $|T_3(E)|\gg|E|^{11/6}$; for $4\leq|E|\leq p^{3/4}$, we prove that $|T_4(E)|\gg|E|^3/\log|E|$. For every fixed $k\geq5$ and $k\leq|E|\leq p^{3(k-2)/(3k-4)}$, we prove that $|T_k(E)|\gg_k|E|^{k-1}$. The proofs proceed by bounding the moments of the overlap function of rigid motions. The main inputs are an exact identity involving the distance energy and an incidence bound obtained by viewing rigid motions as lines over $\mathbb{F}_p(i)$. The bound for $k=4$ is sharp up to a logarithmic factor, while the bounds for $k\geq5$ are sharp up to constants.

Disproof of a Conjectured Upper Bound for the Davenport Constant

math.CO

math.NT

Let $G\cong C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1

Total rings of quotients of higher dimensional Iwasawa algebras

math.RA

math.NT

Let $\mathcal G=H\rtimes\Gamma$ be a semidirect product of a finite group $H$ with $\Gamma=\mathbb Z_p^d$, the direct product of finitely many copies of the additive group of the $p$-adic integers. In the case $d=1$, Iwasawa algebras of such profinite groups were studied by Ritter--Weiss, Lau, Nickel, and the author. We generalise these results to all $d\ge1$, describing the Wedderburn decomposition of the total ring of quotients of the Iwasawa algebra of $\mathcal G$.

A computable wandering and tracelike vector for modular orbits in the Bergman space

math.OA

math.CV

math.FA

math.NT

We construct a function $\Phi $ such that the orbit under the representation of PSL(2,Z) is an orthonormal basis for the Bergman space with weight $\alpha =12$. Moreover, we show that $\Phi$ is effectively computable as a holomorphic function on the upper half-plane (in the precise sense of computable analysis), by providing an effective procedure. This constructs a wandering and tracelike vector for PSL(2,Z), whose abstract existence was proved by Sir Vaughan Jones in his last paper, where the corresponding construction was left as a problem. The function is built using an orthonormalization and modularization method, and it displays modular reminiscencies, despite not being modular itself. provides a computable implementing vector for the abstract anti-isomorphism between the von Neumann algebra $M_{12}(\Gamma )$ and its commutant, which is generated, in R\u{a}dulescu's sense, by cusp-form Toeplitz operators, while Voiculescu's results provide a random matrix model for $M_{12}(\Gamma )$.

High Rank and Multiplicity in Random and Perfect Profinite Groups

math.GR

math.NT

We prove that almost sure topological finite generation holds for a general class of random models of profinite groups. We deduce that in the models introduced by Liu--Wood and Sawin--Wood, one has that finite presentation holds almost surely, with almost sure control of the deficiency in the presentation. In particular this settles questions raised in work of Liu--Wood and Sawin--Wood. Using the same underlying principle, we show that there exists a unique universal d-generated perfect profinite group: its finite quotients are precisely the finite d-generated perfect groups. This settles a conjecture of Nikolov. We show in addition that this group is projective and admits a profinite presentation with $d$ generators and $d$ relations, and with no fewer relations on $d$ generators. The main underlying theme is to bring in an insight from crown theory: groups with high rank are always witnessed by a crown with large multiplicity. This approach was discovered independently by ChatGPT5.5 pro and Aletheia, an internal agent at Google DeepMind.

Frobenius lifts and point counting for smooth curves

math.AG

math.NT

We describe an algorithm for computing the zeta function of a proper, smooth curve over a finite field $k$ of characteristic $p$, when the curve is given together with some auxiliary data, including a lift $C$ to the valuation ring in a finite extension of $\Q_p$. The algorithm is denominator-free if the ramification is at most $p$. Our method computes the matrix of the action of a semilinear Frobenius on the first de Rham cohomology group of the curve by means of Poincar\'e duality, using cup products that can be computed from local expansions of a globally defined lift of Frobenius. Its complexity is softly cubic in the field degree for (general) smooth, planar curve, for which we work out our general estimates in more detail. We make explicit how to compute a suitable basis of the first de Rham cohomology group of $C$, base on 1-forms with `locally integrable polar parts', in both the general case and when the curve is smooth planar. We show the crystalline Frobenius preserves the first de Rham cohomology group of $C$ if the ramification is at most $p$, improving upon known results. In an appendix we prove a well-known formula for the cup product, and a formula by Serre, on the first de Rham cohomology group for a curve in characteristic zero, for which no reference seems to exist.

Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

math.NT

math.AG

v4

Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many priimes $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into four one-dimensional families and two isolated classes. For each of the four families, we prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if the relevant $5$-dimensional Galois representation is irreducible for one surface in a family, then it is irreducible for all but finitely many surfaces in that family. We then verify this irreducibility for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.

Distinguishing Siegel modular forms

math.NT

v3

Let $f$ and $f'$ be genus $2$ cuspidal Siegel paramodular newforms. We prove that if their Hecke eigenvalues $a_p$ and $a_p'$ satisfy a non-trivial polynomial relation $P(a_p, a_p') = 0$ for a set of primes $p$ of positive density, then $f$ is a scalar multiple of a quadratic twist of $f'$. This result extends the strong multiplicity one theorem, which handles the case $P(x,y) = x - y$, to arbitrary polynomial relations. Our proof analyses the image of the product Galois representation attached to the pair $(f, f')$: we show that this image is as large as possible, unless $f$ is a twist of $f'$. Our results also apply to elliptic modular forms. They therefore provide a unified method for distinguishing both elliptic and Siegel modular forms based on their Hecke data, including their Hecke eigenvalues, Satake parameters, Sato--Tate angles, and the coefficients of their $L$-functions. We apply our methods to recover and generalise a range of existing results and to prove new ones in both the elliptic and Siegel settings.

Arithmetic Sparsity and Obstructions in Weighted Projective Spaces

math.NT

math.AG

v4

Let $\mathbb{WP}^n_{\mathbf{q}}$ be a weighted projective space with weights $\mathbf{q} = (q_0, \dots, q_n)$, $q = \operatorname{lcm}(q_i)$, and let $\phi \colon \mathbb{WP}^n_{\mathbf{q}} \to \mathbb{P}^n$, $[x_i] \mapsto [x_i^{q/q_i}]$, be the Veronese morphism. A point of $\mathbb{P}^n(\mathbb{Q})$ is the image of a rational point of $\mathbb{WP}^n_{\mathbf{q}}$ only if its valuation vector at every prime satisfies a Kummer congruence. We count the rational points of $\mathbb{WP}^n_{\mathbf{q}}$ of bounded weighted height $\mathfrak{h} = H(\phi(\,\cdot\,))^{1/q}$ and prove that, on the locus where all coordinates are nonzero, $$ Z^{\circ}_{\mathfrak{h}}\big( \mathbb{WP}^n_{\mathbf{q}}(\mathbb{Q}), X \big) = X^{q\,a(\mathbf{q})} P_{\mathbf{q}}(\log X) + O\big( X^{q\,a(\mathbf{q}) - \theta} \big), \qquad \theta > 0, $$ with $P_{\mathbf{q}}$ of exact degree $\beta(\mathbf{q})$, where $a(\mathbf{q})$ and $\beta(\mathbf{q})$ are the value and the dimension of the optimal face of a linear program determined by the Kummer congruences. The exponent satisfies $Q \leq q\,a(\mathbf{q}) \leq q(n+1)$, $Q = \sum q_i$, with equality on the right if and only if the exponents $q/q_i$ are pairwise coprime; the difference $q(n+1) - q\,a(\mathbf{q})$ measures the sparsity of the rational points of $\mathbb{WP}^n_{\mathbf{q}}$ relative to those of its Veronese image. The leading constant is evaluated when the dual optimum is diagonal and for the weights $(2,2,3,3)$. The full counting function follows by stratification, and we formulate the conjecture over an arbitrary number field.

Irreducibility and Galois groups of random reciprocal polynomials of large degree

math.NT

math.PR

v2

Let $A = a_0T^m + \sum_{j=1}^{m-1} a_j (T^{m-j}+T^{m+j}) + T^{2m}+1 \in \mathbf{Z}[T]$ be a monic reciprocal polynomial of degree $2m$ sampled randomly by selecting its coefficients $a_0,a_1,\dots,a_{m-1}$ independently according to a given probability measure $\mu$ on $\mathbf{Z}$. For a wide range of measures $\mu$, we prove that $A$ is irreducible with probability $\ge 1-Cm^{-c}$ for some constants $c,C>0$. In addition, we prove that with the same probability the Galois group $\mathcal{G}_A$ of $A$ is either the full hyperoctahedral group $C_2 \wr S_m$ or one of two of its index-$2$ subgroups. The main condition that $\mu$ must satisfy is of Fourier-theoretic nature, and holds for example when $\mu$ is the uniform measure on a set of at least $35$ consecutive integers, or on an arbitrary, sufficiently large subset of an interval $[-H,H]$, with $H$ larger than some absolute constant. Our most general result allows for each $a_j$ to be sampled by its own probability measure $\mu_j$. Our approach builds on earlier work of Bary-Soroker, Kozma and the second author, who proved for essentially the same $\mu_j$ that the `standard' monic polynomial $a_0 + \cdots + a_{m-1}T^{m-1} + T^m$, conditioning on $a_0 \neq 0$, is irreducible and has as Galois group either the symmetric group $S_m$ or the alternating group $A_m$ with high probability. For reciprocal polynomials, we can study the discriminant of $A$ and rule out with high probability that $\mathcal{G}_A \leq (C_2 \wr S_m) \cap A_{2m}$, i.e., that $\mathcal{G}_A$ is contained in the maximal alternating subgroup. Furthermore, we establish a bound on the probability that $\mathcal{G}_A \leq C_2 \times S_m$ by examining the Frobenius at suitable primes. In the process, we establish a {\L}uczak--Pyber theorem for the group $C_2 \wr S_m$, which may be of independent interest.

Implications of Breuil-Herzig-Hu-Morra-Schraen's conjectures on Z\'abr\'adi's functor

math.NT

v2

Let $\rho$ be a smooth $n$-dimensional representation of $\mathcal{G}_{\mathbb{Q}_p}$ over $\overline{\mathbb{F}_p}$. When $\rho$ is generic and a good conjugate, the article "Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$", by Breuil-Herzig-Hu-Morra-Schraen, introduces the notion of an admissible representation $\Pi$ of $\mathrm{GL}_n(\mathbb{Q}_p)$ compatible with $\rho$. In loc. cit., the five authors also question whether there exists some $\Pi$ compatible with $\rho$ from which Z\'abr\'adi's functor $\mathbf{V}_{\Delta}$ recovers a specific representation $\overline{L}^{\boxtimes}(\rho)$ of $\mathcal{G}_{\mathbb{Q}_p}^{n-1}$, constructed from $\rho$. We give a range of results about how badly $\mathbf{V}_{\Delta}(\Pi)$ behaves for an arbitrary $\Pi$ satisfying some weaker compatibilities with $\rho$. In particular, when $\rho$ is reducible and $n\geq 3$, no representation $\Pi$ compatible with $\widetilde{P}_{\rho}$ can satisfy $\mathbf{V}_{\Delta}(\Pi)\simeq \overline{L}^{\boxtimes}(\rho)$.

Finite $q$-multiple harmonic sums with one exceptional index

math.NT

math.CO

v2

In this paper, we give explicit expressions about $q$-harmonic sums on $1-\cdots-1,A,1-\cdots-1$ indices. The case $A=1$ has been extensively studied, and a variety of identities, explicit evaluations, and structural properties are known. Likewise, numerous explicit evaluations are available for $q$-multiple zeta values and $q$-harmonic sums with uniform indices $A-\cdots-A$. Although several methods are available for treating non-uniform indices, explicit evaluations for the pattern $1-\cdots-1,A,1-\cdots-1$ remain comparatively scarce. The case $A=2$ was settled only recently. Here we extend this framework to the general case $A\ge3$ and obtain explicit formulas in terms of binomial coefficients and degenerate Bernoulli numbers.

Modularity of a certain "rank-2 attractor" Calabi-Yau threefold

math.NT

hep-th

math.AG

v2

We attempt to prove that the 4-dimensional Galois representations associated with a certain Calabi-Yau threefold are reducible, with 2-dimensional composition factors coming from specific modular forms of weights 2 and 4, both level 14. This was essentially conjectured by Meyer and Verrill. It was revisited in its present form by Candelas, de la Ossa, Elmi and van Straten, whose computations of Euler factors in a whole pencil of Calabi-Yau threefolds highlighted this fibre as one of three overwhelmingly likely to be ``rank-2 attractors''. Unfortunately there is an error in Section 7.

Large values of $L(\sigma,\chi)$ over sets of characters with small product set

math.NT

v2

We obtain (conditional and unconditional) results on large values of $L$-functions $L(s,\chi)$ in the critical strip $1/2 \leq \Re s \leq 1$ when the character $\chi$ runs through the ratio set ${\mathcal A}/{\mathcal A}$ of a thin set ${\mathcal A}$ of characters with small product set modulo a prime $q$. Some of these bounds are based on new zero-density estimates on average over sets of characters with a small product set. These bounds follow from a mean value estimate for character sums, which is based on the work of D. R. Heath-Brown (1979). As yet another application of this mean value estimate, we obtain an unconditional version of a conditional (on the Generalised Riemann Hypothesis) result of Z. Rudnick and A. Zaharescu (2000) about gaps between primitive roots.

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

math.NT

math.GR

v2

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. We also determine the normalizer of the geometric IMG of $f$ and show that the arithmetic IMG equals the normalizer if $\zeta_8$ is not contained in $k$. Finally, we show that when $k=\mathbb{Q}$, the constant field contains $\mathbb{Q}(\mu_{2^{\infty}})$, providing the first full study of a PCF quadratic map with non-abelian constant field.

Lubin-Tate representations over nontrivial finite Galois extensions of $\mathbb{Q}_{p}$ are not Aut-intrinsically Hodge-Tate

math.NT

v2

In the present paper, we show that, for an odd prime number $p$ and a nontrivial finite Galois extension $k$ of $\mathbb{Q}_{p}$, the $p$-adic representation of the absolute Galois group of $k$ determined by a Lubin-Tate formal group over the ring of integers of $k$ is not Aut-intrinsically Hodge-Tate [in the sense of Hoshi]. This settles the odd-degree cases left open in the previous works of Hoshi and the author and, together with the known even-degree case, completes the picture for finite Galois extensions of $\mathbb{Q}_{p}$ in the case where $p$ is odd. This exhibits a sharp contrast, from the viewpoint of anabelian geometry, between the $p$-adic cyclotomic character and other $p$-adic Lubin-Tate characters.

F-sets of arbitrary finite width

math.NT

v2

Ferraguti and Micheli conjectured that non-trivial $F$-sets of every prescribed width exist over each finite field. We prove the finite-width part of their conjecture over $\mathbb{F}_q$ for every $q\neq2,3$. Fix a suitable prime $\ell$. For a degree bound $D$, we consider the saturated family of all irreducible polynomials $g(X^{\ell^j})$ whose core $g$ has degree at most $D$. A factor-descent lemma shows that every irreducible factor arising from a shifted difference belongs to the same family and has strictly smaller core degree. The saturated family is therefore an $F$-set of finite width. Dirichlet's theorem for $\mathbb{F}_q[X]$ produces core ladders of arbitrary length, and Kummer lifting reproduces each ladder at infinitely many scales. These parallel ladders force the width to be sufficiently large; an appropriate tail of the nullity filtration then has the prescribed width.

Simultaneous Residue-Class Selection in Prescribed-Difference Packings

math.NT

math.CO

v2

A family $\mathcal F$ of finite subsets of $\mathbb Z$ is packed into $[N]$ if suitable integer translates of its members are pairwise disjoint subsets of $[N]$. We study two prescribed-difference packing problems of Alon, D\k{e}bski, Grytczuk and Przyby{\l}o for the arithmetic progressions $A_d=\{d,2d,\ldots,\lfloor n/d\rfloor d\}$ and $B_d=\{d,2d,\ldots,nd\}$. Let $m(n)$ and $M(n)$ denote the corresponding minimum packing lengths, with subscripts indicating restrictions on the admissible differences, and let $\mathcal P(x)$ denote the set of primes at most $x$. The key ingredient is a residue-class selection scheme that encodes pairwise intersection constraints by cyclic intervals. A lattice-covering argument yields a simultaneous admissible choice, permitting substantial overlap of the containing intervals and providing the sharp upper bounds needed for the bounded-diameter family and the prime-difference equal-cardinality family. For the bounded-diameter family, we prove $m(n)\sim m_{\mathcal P(\sqrt n)}(n)\sim 4n^{3/2}/(3\log n)$. For the equal-cardinality family with prime differences, we prove $M_{\mathcal P(n)}(n)\sim n^3/(6\log n)$. For the full equal-cardinality family, we show $M(n)\ge \left(\frac{19}{108}-o(1)\right)n^3/\log n$. Together with corresponding estimates for restricted ranges of differences, these results prove several conjectures of Alon--D\k{e}bski--Grytczuk--Przyby\l{}o and disprove others.

Extreme values of Euler-Kronecker constants of abelian cubic fields

math.NT

v2

Euler-Kronecker constants are analogues of the Euler-Mascheroni constant for number fields. Assuming the Generalized Riemann Hypothesis for Hecke $L$-functions, we obtain extreme values of Euler-Kronecker constants of abelian cubic fields. We also prove a similar result for quadratic fields.

A Note On Certain Minimal Excludants Over Overpartitions

math.NT

math.CO

v3

Let $\sigma\mathrm{Mex}(n)$ and $\sigma_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions, respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $\sigma_e\mathrm{Mex}(n)\equiv\sigma\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2}$, where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$, and obtain relation with basic hypergeometric series. Furthermore, we prove the asymptotic behavior of $\sigma\mathrm{Mex}(n)$, $\sigma_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $\sigma\mathrm{Mex}(n)\sim 2\,\sigma_e\mathrm{Mex}(n).$

The Sphere Packing Problem in Dimension 4 and the Twenty-Four-Cell Conjecture

math.NT

v2

We prove that every Voronoi cell of a unit-ball packing of $\mathbb{R}^4$ has volume at least $8$, with equality only at the $D_4$ configuration, so that the twenty-four-cell conjecture holds and the density of a sphere packing in four dimensions is at most $\pi^2/16$. The proof runs through the number of contacts of a cell. Up to twenty-two a covering estimate suffices; at twenty-three the cell is bounded through an exact volume identity inside a ball and a semidefinite certificate for one inequality between pair angles; at twenty-four the configuration is the root system, which we prove from the second level of the semidefinite hierarchy with its equality case, the positive kernel verified in exact arithmetic.

Formalization of Harder-Narasimhan theory

math.AG

cs.FL

cs.LO

math.NT

v5

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present a formalization of Harder-Narasimhan theory in the proof assistant Lean 4 with Mathlib. The formalization is based on a recent approach to Harder-Narasimhan theory by Chen and Jeannin, which reinterprets the theory in order-theoretic terms and avoids the classical dependence on algebraic geometry. As an application, we formalize the uniqueness of the coprimary filtration of a nontrivial finitely generated module over a Noetherian ring, as well as the existence of a Jordan-H\"older filtration for a semistable Harder-Narasimhan game.

Betti bounds for spaces of curves on varieties and Manin's conjecture for quartic del Pezzo surfaces

math.AG

math.NT

v2

We prove uniform exponential bounds for the compactly supported Betti numbers of spaces of morphisms from curves of fixed genus to projective varieties. For targets in a fixed projective space cut out by a prescribed number of equations of fixed degrees, the bound is exponential in the degree of the morphism and is independent of the ground field, the source curve, and the target. The proof constructs bounded-degree affine presentations involving only linearly many variables and equations, and then applies Katz's estimate. As an application, we establish a higher genus function field version of Manin's conjecture for split quartic del Pezzo surfaces, generalizing a recent theorem of Das--Lehmann--Tanimoto--Tosteson. The passage from $\mathbb{P}^1$ to arbitrary source curves requires uniform bounds for compactly supported Betti numbers over all curves of fixed genus, together with new geometric results on higher genus morphism spaces, including irreducibility and dimension estimates for the relevant incidence strata. These results, combined with the necessary control of the configuration space contributions, allow the homological sieve and virtual height zeta function argument to yield, over sufficiently large finite fields and within a slightly shrunken nef cone, the predicted asymptotic with the expected leading constant.

Fourteen and fifteen lonely runners

math.CO

math.NT

v2

We prove the Lonely Runner Conjecture for fourteen and fifteen runners. Our proof combines a stronger bound on the speed product in a primitive counterexample with exhaustive computations modulo primes. To obtain the bound, we work with a projected lattice basis and use cases of the conjecture with fewer runners to bound partial sums of its squared Gram-Schmidt lengths. For fifteen runners, the product bound derived from the work of Malikiosis, Santos, and Schymura gives a logarithmic threshold of about $810$; ours reduces this to about $415$, making the computation feasible. For fourteen runners, the new bound reduces the required number of primes from $111$ to $61$. The computations start with a complete two-branch covering search, followed by binary lifting. Since $14$ and $15$ are composite, the polynomial argument used in earlier work does not apply directly. We finish the fourteen-runner case by a direct search. For fifteen runners, we use the factorisation $15=3\cdot5$ and a shifting argument when all but a few speeds share a common divisor. The code and certificates are publicly archived.