Number Theory [math.NT]

A Congruence Conjecture of Z.-W. Sun for Reciprocal Central Binomial Sums

math.NT

Let $p>5$ be a prime. We prove a conjecture of Z.-W. Sun asserting that $ \sum_{k=1}^{p-1}\frac{1}{k^4\binom{2k}{k}} \equiv \frac{H_{p-1}}{p^3}-\frac{7}{45}pB_{p-5}\pmod{p^2}.$ As a consequence, we obtain $ \sum_{k=1}^{p-1} \frac{H_{k-1}^{(2)}}{k^2\binom{2k}{k}} \equiv \frac{H_{p-1}}{3p^3} +\frac{26}{135}pB_{p-5} \pmod{p^2},$ an equivalent conjecture of K. Hessami Pilehrood and T. Hessami Pilehrood. Here $H_n^{(m)}$ denotes the generalized harmonic numbers of order $m$, with $H_n=H_n^{(1)}$, and $B_n$ denotes the $n$th Bernoulli number. The proof combines $p$-adic congruences involving harmonic numbers, finite-sum identities, and complex residue calculations via the residue theorem.

Supercharacter theory and applications to Ramanujan sums over a finite Frobenius ring

math.NT

The theory of Ramanujan sums has been playing a fundamental role in several subfields of mathematics. They appear in the theory of special values of zeta functions, spectral graph theory, representation theory, and analytic number theory. Recent work has shown that classical Ramanujan sums can also be interpreted as a super-Fourier transform via the theory of supercharacters for the ring $\mathbb{Z}/n$. In this article, building upon our recent work on supercharacters over an arbitrary finite Frobenius ring, we explore additional arithmetical properties of Ramanujan sums. Our approach provides a unified framework that generalizes various results in the literature regarding these sums. As a by-product, we also describe a new criterion for determining when a finite commutative ring is Frobenius, which could be of independent interest to the algebra community.

On the Langlands--Kottwitz--Scholze method

math.NT

Using recent advances in the integral canonical models of Shimura varieties using syntomic methods, we give an extension of the Langlands--Kottwitz--Scholze method from Scholze's paper on the Langlands--Kottwitz method for deformation spaces of $p$-divisible groups. Namely, we define analogues $\phi^{\mathcal{G},\mu}_{\tau,h}$ of the local test functions from op. cit. in full generality, show they satisfy reasonable harmonic-analytic properties, and give rise to trace formulae for the Galois-Hecke action on the cohomology of Shimura varieties of bad reduction. Additionally, we use these new local test functions and the work of Fargues--Scholze to state a more robust and unconditional version of the Scholze--Shin conjecture. Along the way we study the $(\mathcal{G},\mu)$-apertures of Drinfeld and Gardner--Madapusi, in particular showing that such $(\mathcal{G},\mu)$-apertures carry no more information than a Tannakian version of Fontaine--Laffaille theory, at least over nice bases, and give a very explicit description of the universal deformations of $(\mathcal{G},\mu)$-apertures.

Congruence obstructions in the refined Koblitz conjecture

math.NT

Let $E/\mathbb{Q}$ be an elliptic curve. Zywina's refinement of Koblitz's conjecture predicts that there are infinitely many primes $p$ of good reduction for which $\#E_p(\mathbb{F}_p)$ is prime precisely when $E$ has no congruence obstruction. For non-CM elliptic curves over $\mathbb{Q}$, we classify all primitive congruence obstructions. In particular, we show that a primitive obstruction of composite level can occur only at $6$, $10$, $14$, $15$, or $30$ and determine the corresponding Galois images. As a consequence, for non-CM elliptic curves, the existence of any congruence obstruction is detected by the mod $210$ Galois image, so the positivity of the Koblitz--Zywina constant is determined at level $210$. We also determine which primitive obstruction levels can occur simultaneously. Finally, we prove, assuming GRH, that if $E$ has no congruence obstruction, then for every $0<\kappa<1/8$ there are infinitely many primes $p$ of good reduction for which the least prime divisor of $\#E_p(\mathbb{F}_p)$ is greater than $\kappa\log p$.

Local Weak Maass Forms and Traces of Cycle Integrals

math.NT

Using relations established by Bringmann and Kane in a recent preprint based on the function $\omega_{k+1,D}$ studied by Mono, Rolen, and the second author, we introduce two further functions naturally associated with a construction by Bringmann and Mono. We exploit results by L\"obrich--Schwagenscheidt, Mono, and the second author on representations of these functions as traces of cycles integrals in order to provide more identities of the same kind.

Pinch's conjecture on $a$-convexity

math.NT

math.CO

For $a$ in $\mathbb{R}$, a subset $V$ contained in $\mathbb{R}^{n}$ is said to be $a$-convex if $x, y \in V \Longrightarrow a x + (1-a) y \in V$. According to Pinch [Math. Proc. Cambridge Philos. Soc., 1985], the $a$-convex hull of $V$ is the intersection of all of the $a$-convex subsets of $\mathbb{R}^{n}$ that contain $V$, and Pinch also defines $D(a)$ as the $a$-convex hull of $\{ 0, 1 \}$ in $\mathbb{R}^{1}$. Pinch conjectured that if $a$ is a totally real algebraic integer and $D(a)$ has no limit points, then every algebraic conjugate of $a$ other than $a$ is in $(0, 1)$. We succeed in proving this conjecture, which seems to have remained open.

Mishiba's Conjecture on the Coaction of $\infty$-adic Multiple Zeta Values

math.NT

We study multiple zeta values in positive characteristic. We construct, using $\infty$-adic multiple zeta values, a coaction of the $\infty$-adic multiple zeta value algebra modulo $\zeta_A(q-1)$ on the $\infty$-adic multiple zeta value algebra itself, and prove that it agrees with Mishiba's coaction constructed via special values of Carlitz multiple polylogarithms. We also determine the coaction on the $\star$-inverse values and show that the antipode on the $\infty$-adic multiple zeta value algebra modulo $\zeta_A(q-1)$ is given by the $\star$-inverse operation. In particular, these results prove Mishiba's conjecture concerning the coaction and the antipode for $\infty$-adic multiple zeta values.

Counterexamples to the inhomogeneous Duffin-Schaeffer conjecture for a residual set of shifts

math.NT

Let $\theta\in\mathbb Q\setminus\{0\}$. We construct an approximating function $\psi:\mathbb N\to[0,\frac12)$ for which \[ \sum_{q=1}^{\infty}\frac{\varphi(q)}{q}\psi(q)=\infty, \] but the set of $x\in[0,1]$ for which \[ |qx-a-\theta|<\psi(q),\qquad \gcd(a,q)=1, \] holds for infinitely many $(a,q)\in\mathbb Z\times\mathbb N$ has Lebesgue measure zero. Thus the inhomogeneous analogue of the Duffin--Schaeffer conjecture fails for every nonzero rational shift. By a modification of the construction, we further show that the set of shifts for which the inhomogeneous Duffin--Schaeffer conjecture fails is residual in $\mathbb R$.

Upper and lower fluctuations in Shallit's law of leap years in Pierce expansions

math.NT

math.CA

Shallit's law of leap years in Pierce expansions gives, for Lebesgue-almost every $x\in[0,1]$, the upper and lower limits of a normalized difference between $Nx$ and the number of leap years up to the year $N$ determined by the Pierce expansion digits of $x$. In this paper, we show that, for every $x\in[0,1]$, both limits are determined by the lower limit of a normalized logarithm of the product of the first $n$ digits of $x$. In particular, the upper and lower limits always have the same absolute value. As applications, we characterize the sets of points with prescribed upper and lower limits, and show that each of these sets, if non-empty, is dense in $[0,1]$ and its intersection with any non-empty open subset of $[0,1]$ has full Hausdorff dimension. We also compare these sets with the sets defined by the growth rate of the digits, and show that, for each finite parameter, their difference has full Hausdorff dimension.

Counterexamples to the inhomogeneous Duffin-Schaeffer Conjecture

math.NT

The Duffin-Schaeffer Conjecture, proven in 2020, gives a zero-full dichotomy for the approximation of irrational numbers with reduced fractions for arbitrary approximation functions. We construct approximation functions such that the inhomogeneous analogue of the Duffin-Schaeffer Conjecture fails. The counterexamples are obtained for all non-zero rationals and certain Liouville numbers.

On the Moments of Least $r$-Gaps of Partitions and a Conjecture of Baruah and Talukdar

math.NT

math.CO

The minimal excludant or mex of a partition, introduced by Andrews and Newman \cite{AN2019,AN2020}, is the smallest positive integer missing from that partition. Baruah, Bhoria, Eyyunni and Maji \cite{BBEM2023} studied the sum of mex split according to parity, together with its $k$-th moments. Ballantine and Merca \cite{BM2020} generalized mex to the least $r$-gap, which is the smallest natural number that does not appear at least $r$ times in the partition. Baruah and Talukdar \cite{BT2026} conjectured a corresponding asymptotic equivalence between the sums of odd and even least $r$-gaps for every $r>1$, generalizing a theorem of Barman and Singh \cite{BS2024} for the classical mex. In this article, we derive exact formulas for the $k$-th moments of $r\text{-}\mathrm{mex}(\pi)$ for every fixed $k\geq1$, in terms of partition functions. We give a complete proof of the conjecture of Baruah and Talukdar \cite{BT2026} for every natural number $r>1$. We also generalize an identity of Hopkins, Sellers and Stanton to the least $r$-gap setting.

The derivative function of the zeta-star correspondence

math.NT

math.CA

We study the right derivative of the zeta-star correspondence between binary expansions and multiple zeta-star values of infinite depth. At a finite-index point, this derivative is a normalized difference of two finite-depth multiple zeta-star values. We use this identity to express its local behavior in terms of lower-truncated star sums and their boundary coefficients. The homogeneous contribution at summation variable three contracts with ratio $2/3$; the full coefficient also receives a positive forcing term. A weighted sum of the remaining coefficients contracts by at most $1/2$ at each binary step. On the open parameter interval, we prove that the derivative is right-continuous everywhere and continuous precisely at the non-dyadic points. Its left jump at a dyadic point is given by an explicit positive multiple series, with divergence exactly at $1/2-2^{-M}$, $M\ge2$. A refinement of the index gives an infinite upper right Dini derivative at every interior point. We also prove that the Hausdorff, packing, and modified upper box dimensions of the graph are all $\log_2(8/3)$. The Hausdorff lower bound uses the dimension of the Bernoulli convolution with parameter $2/3$, together with a separate measure-transfer argument. Finally, the pointwise H\"older exponent at a non-dyadic point is $\log_2(3/2)$ divided by its dyadic approximation exponent, and the corresponding Hausdorff spectrum is linear.

Experiments on $3$-isogeny Selmer groups of elliptic curves with a $3$-torsion point

math.NT

Let $E_{A,B}\colon y^2 +Axy + By = x^3$ be an elliptic curve over $\mathbb{Q}$. The $3$-torsion point $(0,0)$ induces a $3$-isogeny $\phi\colon E_{A,B}\to E_{A,B}'$. Assuming $E_{A,B}$ has good reduction at $3$, we construct an explicit $(m+t)\times m$ matrix $M_{A,B}'$ over $\mathbb{F}_3$, whose kernel encodes the dual isogeny Selmer group $\operatorname{Sel}_{\widehat{\phi}}(E_{A,B}')$ modulo the image of the torsion point $(0,0)$. Here, $m = \omega(B) - 1$, and $t$ encodes the \emph{global Selmer ratio} $3^{t-2}$. We compute $M_{A,B}'$ in various regimes for billions of elliptic curves $E_{A,B}$. Based on our data, and motivated by prevalence of random linear algebraic models throughout number theory, we conjecture that, for fixed $m$ and $t$, the matrices $M_{A,B}'$ become uniformly distributed, and we formulate a corresponding conjecture for the distribution of $\operatorname{Sel}_{\phi}(E_{A,B})$. Our model predicts that, for fixed $t$, the average size of $\operatorname{Sel}_{\phi}(E_{A,B})$ is $1 + 3^t$.

A parametric Catalan-type congruence for generalized central trinomial coefficients

math.NT

math.CO

Let $p>3$ be a prime, and let $b,c$ be integers with $p\nmid b+2c$. We obtain an explicit congruence modulo $p^2$ for the sum of $\binom{2k}{k}T_{2k}(b,c^2)/(4^k(k+1)(b+2c)^{2k})$ from $k=0$ to $(p-1)/2$, where $T_n(b,c)$ denotes the generalized central trinomial coefficient. This gives a parametric formula for the sum considered in a question of Wang and Cui. The proof uses a constant term representation and a logarithmic generating function to reduce the sum to two coefficients of an algebraic generating function. A differential identity and a coefficientwise polynomial congruence then yield the desired evaluation. The formula also applies when $p$ divides $b$ or $b-2c$.

Irreducible rootless unimodular lattices generated by vectors of norm $3$

math.NT

math.CO

The classical ADE classification implies that $E_8$ is the unique irreducible unimodular Euclidean lattice generated by vectors of norm $2$. In sharp contrast, for every positive integer $m$, we construct an irreducible odd unimodular lattice of rank $24m$ and minimum norm $3$ that is generated by its minimal vectors.

Ternary Perfect Forms Over Imaginary Quadratic Field

math.NT

In this work, we enumerate the ternary perfect forms over all imaginary quadratic fields of absolute discriminant up to $91$ and study the number and combinatorial types of their associated polytopes. We prove a bound on the number of combinatorial types that can arise regardless of the discriminant. We analyze the data and make several observations concerning the number and complexity of the perfect forms that arise in the scope of our calculation.

Further Results on Sum-Freedom of Binary and $q$-ary Functions

math.NT

The notion of sum-freedom of binary functions was introduced recently by C. Carlet as a generalization of the APN functions used in cryptography; the $q$-ary version of the notion is a natural extension. For each integer $k$ with $0\le k\le n$, there is a $k$th order sum-free function on $\Bbb F_{2^n}$. It is also known that when $k/n$ is not close to 0 or 1, the multiplicative inverse function on $\Bbb F_{2^n}$ is not $k$th order sum-free. We generalize these two results to $q$-ary functions. APN functions have a coding theoretic characterization. We generalize the characterization to sum-free functions of arbitrary order over any finite field. It is well known that the Welch functions is 2nd order sum-free. We give an alternative proof for this result which leads to a more general algebraic question. We also investigate that the 3rd order sum-freedom of the Welch function and power functions of algebraic degree 3. We formulate a conjecture about the 3rd order sum-freedom of the Welch function which is supported by strong numerical evidence.

On Conjectures of $\mu$-Invariant for Selmer Groups at $p=2$

math.NT

Let $E$ be an elliptic curve define over $\mathbb{Q}$. Further assume $E$ has good ordinary reduction at $p=2$. In this article, we prove Greenberg's conjecture on the value of the algebraic Iwasawa $\mu$-invariant when $E$ has a rational isogeny of degree 2, and obtain a sharp absolute upper bound of the $2$-adic $\mu$-invariants for all such curves. We also prove the vanishing of the algebraic $\mu$-invariant of the fine Selmer group introduced by Coates and Sujatha at $p=2$.

Computing the Iwasawa $\mu$-Invariants for Elliptic Curves over $\mathbb{Z}_2$-Extensions

math.NT

Let $E$ be an elliptic curve defined over rational numbers. Further assume $E$ has good ordinary reduction at $p=2$ and $E[4]$ is reducible as a $G_\mathbb{Q}$-representation. In this paper, we offer sufficient and necessary computational criteria for the algebraic Iwasawa $\mu$-invariant over the cyclotomic $\mathbb{Z}_2$-extension of rational number to be $0$, $1$ or $\geq 2$. We also show that elliptic curves with isomorphic mod-$4$ representations have algebraic $\mu$-invariant equal to $0$ if one of the curves does.

On the infinite sum of reciprocals of the fourth powers of balancing numbers

math.NT

In this note, we study the infinite reciprocal sum $\sum_{k=n}^{\infty}1/B_k^4$ involving the fourth powers of balancing numbers $B_n$. We show that, for every $n\geq2$, \begin{equation*} \left\lfloor \left( \sum_{k=n}^{\infty}\frac{1}{B_k^4} \right)^{-1} \right\rfloor = B_n^4-B_{n-1}^4 -\left\lceil\frac{B_{2n-1}}{280}\right\rceil +\varepsilon_n, \end{equation*} where $\varepsilon_n=1$ if $n\equiv1\pmod{12}$ and $\varepsilon_n=0$ otherwise. This result extends the corresponding reciprocal-sum result for Fibonacci numbers due to Hwang, Park and Song to balancing numbers.

Free semigroups of power series

math.NT

Given power series $f_1,\dots,f_r\in z^2K[[z]]$ over a field of characteristic zero, we show that the semigroup $\langle f_1,\dots,f_r\rangle$ generated by the $f$'s under composition is free of rank $r$ whenever the multiplicative semigroup $\langle\mathrm{lc}(f_1),\dots,\mathrm{lc}(f_r)\rangle$ in $K^\times$ is free commutative of rank $r$; here $\mathrm{lc}(f)$ denotes the first nonzero coefficient of $f$. To do this, we associate an affine linear transformation to every $F\in\langle f_1,\dots,f_r\rangle$ and then apply a ping-pong lemma. In particular, combining this with work of Pappalardi, Sha, Shparlinski, and Stewart, it follows that most semigroups of polynomials over a number field $K$ are free, and we make this statement precise through a counting argument.

Galois groups of integer polynomials with prescribed coefficients

math.NT

Fix a degree $n$, a nonzero integer constant term, and some further coefficients of a monic integer polynomial, leaving $s$ coefficients to vary in $[-H,H]$. We first prove that, when only the leading and constant coefficients are fixed, the number of polynomials whose Galois group is not $S_n$ is of order $H^{n-2}$ for every $n\ge4$. We then prove a half-dimensional extension: for $n\ge6$ the corresponding exceptional count is of order $H^{s-1}$ whenever $s>n/2+1$, provided the coefficient slice meets the higher-multiplicity loci with a specified dimension bound. This geometric condition holds for every prescribed value if the free coefficients form an initial or final block, and for a nonempty Zariski-open set of prescribed values for arbitrary coefficient positions. It also holds for every value of one additional prescribed interior coefficient. Thus, in degrees seven and eight, any one interior coefficient can be fixed in addition to the leading and constant coefficients. The proof combines a fixed-norm version of Bhargava's primitive-group sieve with sparse Hermite interpolation. A separate imprimitive estimate, using a minimal intermediate field, gives $O(H^{\beta(n)})$ outside rational partial-product hypersurfaces, where $\beta(n)=\ell+n/\ell-2\le n/2$ for composite $n$ with smallest prime divisor $\ell$, and has no logarithmic loss. The fixed-constant quartic and quintic endpoints require separate local arguments: exceptional Fourier directions for $A_4$ quartics and a quadratic Gauss sum for quintics. We isolate further even-degree endpoint results, explain the distinct cubic obstruction, and conclude with conditional improvements under the upper-bound form of Malle's conjecture.

Formal groups and $(\varphi,\Gamma)$-modules

math.NT

math.AG

Let $K/E$ be a finite unramified extension of $p$-adic local fields, and let $H$ be a one-dimensional formal $\mathcal{O}_E$-module of finite height over $\mathcal{O}_K$. We introduce the exponential period map of $H$ and use it to construct a complete regular local ring $R_{H,K}$ with imperfect residue field, an endomorphism $\varphi_E$, and a commuting action of $\Gamma=\mathrm{Gal}(K(H[p^\infty](\overline{K}))/K)$. We prove an equivalence of categories between finitely generated $\mathcal{O}_E$-modules with a continuous $\mathrm{Gal}_K$-action and \'{e}tale $(\varphi_E,\Gamma)$-modules over $R_{H,K}$. This recovers the classical cyclotomic and Lubin-Tate equivalences in the corresponding cases. In general, $R_{H,K}$ can have Krull dimension greater than one, and $\varphi_E$ need not lift the $q_E$-power Frobenius modulo $\pi_E$. The proof uses $F$-dynamical systems over $\mathcal{O}_E$, which combine contraction modulo $\pi_E$ with Frobenius on the residue field. For every flat $F$-dynamical system, we establish an equivalence of categories between \'{e}tale $\varphi$-modules and continuous representations of the absolute Galois group of the residue field on finitely generated $\mathcal{O}_E$-modules.

Galois groups of twisted reciprocal polynomials: a uniform asymptotic

math.NT

We study the Galois group $G_f$ of a random polynomial $f$ in the family of polynomials of degree $2n$ satisfying the twisted reciprocal relation $f(x) = x^{2n}/b^n \cdot f(b/x)$. We use a Euclidean height adapted to this relation. Our main result is an asymptotic theorem of van der Waerden--Bhargava type: for fixed $b \neq 0$ and $n \geq 4$, the number of polynomials of height at most $H$ whose Galois group is not the full hyperoctahedral group $S_2 \wr S_n$ is an explicit constant times $H^n\log H$, with an error of order $H^n$. We determine the dependence of the leading constant on $b$; the leading-order group $G_1$ is of index $2$. This paper is a sequel to a recent paper by Anderson, Bertelli, and the author addressing reciprocal polynomials (i.e. the case $b = 1$).

The geometry of solutions to the general sextic

math.AG

math.NT

We study the geometry of the three simplest known formulas for roots of a general sextic polynomial. In contrast with work of Green on the quintic, we show that no "simultaneous uniformization" of the normal forms associated to the solutions exists. This demonstrates an intrinsic qualitative complexity of sextic equations that is not present in quintic equations. Additionally, we give a formula for the roots of a general sextic in terms of Hilbert modular cusp forms and the uniformizing differential equation of the associated Hilbert modular surface.

Cartier--Dieudonn\'e Theory of Connected Group Schemes

math.AG

math.NT

We prove that fiberwise-connected finite locally free commutative group schemes over a ring $R$ are equivalent to an explicit full subcategory of the derived category of modules over the Cartier ring of $R$.

Comment on "Symmetric Pseudo-Random Matrices"

math.PR

cs.IT

math.IT

math.NT

In 2018, Soloveychik, Xiang and Tarokh considered a pseudo-random symmetric circulant matrix constructed from binary Golomb sequences of length $n=2^m-1$, and claimed a proof that its empirical spectral distribution converges almost surely to the semicircle law as $n$ grows to infinity by the method of moments. In this comment note we show that their argument contains several technical flaws and inappropriate applications of technical lemmas. Instead we demonstrate that the eigenvalues of the matrix are simply a normalized twisted Kloosterman sum varying over the multiplicative character, to which we apply Katz's result directly to establish the asymptotically semicircle spectral distribution deterministically.

A Mathematical Theory of Near-Field Super-Resolution

cs.IT

math.IT

math.NT

Finite-aperture near-field sensing leads to a super-resolution geometry fundamentally different from the translation-invariant Fourier setting. In the Fresnel regime, wavefront curvature introduces a range-dependent quadratic aperture phase, so distinguishability is governed by incomplete quadratic exponential sums of the form \( \sum_{n=0}^{N_r-1} a_n e^{i(\omega_1 n+\omega_2 n^2)} \), rather than by angular separation alone. We develop a deterministic recovery theory for sparse measures with ranges on a finite grid and continuous angles, and introduce a support-uniform quadratic-phase aperture criterion replacing classical minimum separation. Under this criterion, total-variation minimization exactly recovers every sparse measure in the admissible support class, uniformly over all nonzero complex amplitudes. The proof develops nonasymptotic support-uniform bounds for finite quadratic sums and combines them with a gauged Hermite dual certificate controlling interpolation, local curvature, and off-support leakage. We further construct a finite-harmonic Bessel-Vandermonde lift with explicit truncation error. In the far-field limit, the quadratic phase disappears and the theory reduces to Fourier-type angular super-resolution.

Counting elliptic curves with a cyclic $m$-isogeny over $\mathbb{Q}$

math.NT

math.AG

v2

Using methods from analytic number theory, for $m > 5$ and for $m = 4$, we obtain asymptotics with power-saving error terms for counts of elliptic curves with a cyclic $m$-isogeny up to quadratic twist over the rational numbers. For $m > 5$, we then apply a Tauberian theorem to achieve asymptotics with power saving error for counts of elliptic curves with a cyclic $m$-isogeny up to isomorphism over the rational numbers.

Maximal stable lattices in representations over discretely valued fields

math.NT

math.GR

math.RT

v2

Let $\rho\colon G\to \mathrm{GL}_n(K)$ be an continuous irreducible representation of a compact group over a complete discretely valued field $K$. Let $W_i,W_j$ be two irreducible subrepresentations of $\overline{\rho}^{ss}$, the semisimplification of the residual representation. We study the structure of the $G$-stable lattices $\Lambda\subseteq K^n$ with a view to understanding the question of when $\rho$ realises a non-split extension of $W_i$ by $W_j$. In particular, we introduce the notion of a maximal $G$-stable lattice and prove that any non-split extension of $W_i$ by $W_j$ that can be realised by $\rho$ can also be realised by a maximal lattice. As applications, we give a new proof and a strengthening of Bella\"iche's generalisation of Ribet's Lemma, which assures the abundancy of non-split extensions that can be realised by $\rho$. On the other hand, we also show that, if the representations $W_i, W_j$ occur with multiplicity one in $\overline{\rho}^{ss}$, then $\rho$ can realise at most one non-split extension of $W_i$ by $W_j$.

Small improvements to the Ball-Rivoal theorem and its $p$-adic variant

math.NT

v3

We prove that the dimension of the $\mathbb{Q}$-linear span of the Riemann zeta values $\zeta(3),\zeta(5),\ldots,\zeta(s-1)$ is at least $(1.119 \cdot \log s)/(1+\log 2)$ for any sufficiently large even integer $s \geqslant s_0$. This result slightly refines the theorem of Rivoal (2000) or Ball--Rivoal (2001). The proof incorporates the arithmetic factor $\Phi_n$ introduced by Zudilin (2001) into a slight generalization of the Ball--Rivoal hypergeometric construction. The asymptotic impact of the arithmetic factor $\Phi_n$ was not anticipated prior to this work. Although this result is subsumed by a much stronger recent development by Fischler (2026), our approach yields a new result in the $p$-adic setting, slightly refining a theorem of Sprang (2020). We prove that the dimension of the $\mathbb{Q}$-linear span of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\ldots,\zeta_p(s-1)$ is at least $(1.119 \cdot \log s)/(1+\log 2)$ for any prime $p$ and any sufficiently large even integer $s \geqslant s_0(p)$.

Computing with necklaces on elliptic curves

math.NT

v4

We present computational algorithms to work with points on the modular curve associated to the normaliser of a non-split Cartan group of prime level $p$. Rather than working with explicit equations, we represent these points using the moduli interpretation of necklaces in the $p$-torsion of elliptic curves. We use our methods to investigate for which primes $\ell\neq p$ two rational points with complex multiplication can have equal reduction modulo $\ell$.

Murmurations, Mestre--Nagao sums, and Convolutional Neural Networks for elliptic curves

math.NT

stat.ML

v2

We apply one-dimensional convolutional neural networks to the Frobenius traces of elliptic curves over $\mathbb{Q}$ and evaluate and interpret their predictive capacity. In keeping with similar experiments by Kazalicki--Vlah, Bujanovi\'{c}--Kazalicki--Novak, and Pozdnyakov, we observe high accuracy predictions for the analytic rank across a range of conductors. We interpret the prediction using saliency curves and explore the interesting interplay between saliency, murmurations and Mestre--Nagao sums.

Finiteness of Disjoint Covering Systems with Precisely One Repeated Modulus

math.NT

v2

We prove that for each fixed $m \ge 2$, there are only finitely many disjoint covering systems with minimum modulus at least $3$ in which precisely one modulus is repeated, namely the largest modulus, and it occurs exactly $m$ times.

A Fibonacci theorem for Collatz trajectories via modular graph structure

math.NT

v3

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers $n$ in $\{1,\ldots,2^m\}$ have the property that none of the iterates $T(n),T^2(n),\ldots,T^{m-1}(n)$ lies in the residue class $4\pmod6$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(\varphi/2)^m$, $\varphi=(1+\sqrt{5})/2$. Equivalently, these are the odd $n\le2^m$ for which no two consecutive terms of $n,T(n),\ldots,T^{m-1}(n)$ are even. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $\varphi$, against $\rho(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $\Psi_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ onto the directed paths of length $m$ in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<\varphi<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.

Rational Solids with Equal Surface Area and Volume

math.NT

v2

We classify pairs consisting of a right square pyramid and a right square prism, each having rational base side length and rational height, for which the two solids have equal surface area and equal volume. We prove that, up to scaling by a common positive rational factor, there is a unique such pair. The problem reduces to determining the rational points on a genus 2 bielliptic curve whose Jacobian has rank 2. We accomplish this using a quadratic Chabauty computation followed by the Mordell--Weil sieve. The same analysis gives an analogous classification for right circular cones and right circular cylinders.

Extreme Values of Quadratic Dirichlet $L$-functions over Monic Irreducible Polynomials in $\mathbb{F}_q[t]$

math.NT

v2

In this paper, we establish a new $\Omega$-result for the central values $|L(1/2,\chi_P)|$ of quadratic Dirichlet $L$-functions, where $P$ ranges over monic irreducible polynomials associated with hyperelliptic curves of genus $g$ over a fixed finite field $\mathbb{F}_q$. We consider the asymptotic setting in which $q$ is fixed and $g\to\infty$. More precisely, for every $\epsilon \in (0,1/2)$, we prove that \[ \max_{P \in \mathcal{P}_{2g+1}} |L(1/2, \chi_P)| \gg \exp \left( \left( \sqrt{\frac{\sqrt{q}+1}{\sqrt{q}-1} (1/2-\epsilon)} \, \, \ln q + o(1) \right) \sqrt{\frac{g \ln_2 g}{\ln g}} \right), \] where $\mathcal{P}_{2g+1}$ is the set of all monic irreducible polynomials of degree $ 2g+1$ in $\mathbb{F}_q[t]$. Our result extends the recent work of Darbar and Maiti (2024) and yields an improved lower bound for the extreme values in this family. We also investigate the extreme values of these quadratic $L$-functions near the central line. In addition, for $1/2<\sigma<1$ and sufficiently large $n$, we study the extreme values of $L(\sigma,\chi_P)$, where $P\in\mathcal{P}_n$, and obtain an improved lower bound compared with the result of Lumley (2021).

Effective atypical intersections and applications to orbit closures

math.AG

math.DS

math.NT

v3

We propose a new unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular, we give a new proof of finiteness of the maximal atypical orbit closures in each stratum of translation surfaces $\Omega \mathcal{M}_g (\kappa)$, as given by Eskin, Filip, and Wright. We also describe a concrete algorithm, implementable in principle on a computer, which provably computes all maximal orbit closures which are ``atypical'' in a sense described by Filip. The same methods also give a general algorithm for computing atypical special loci associated to systems of differential equations, and in particular give an effective and o-minimal free proof of the geometric Zilber-Pink conjecture for variations of mixed Hodge structures.

A topology for Engel expansions: evaluation and digit coding maps

math.DS

math.NT

v2

We develop a topological framework for Engel expansions that treats both directions of the correspondence between points of $(0,1]$ and nondecreasing digit sequences. We endow the sequence space with the product topology to study the evaluation map, and we fix a nonterminating digit algorithm to study the digit coding map. We also record the correspondence between cylinder sets and fundamental intervals, and give an application to Baire category results for functions of the digits.

Two proofs of the Cassels--Swinnerton-Dyer conjecture for cubic surfaces

math.AG

math.NT

v3

The Cassels--Swinnerton-Dyer conjecture asserts that a cubic hypersurface contains a rational point if and only if it contains a point of degree coprime to $3$, or, equivalently, a zero-cycle of degree $1$. The case of smooth cubic surfaces in characteristic zero has been reduced by Coray (1976) and Voisin (2026) to the case of points of degree $4$. We give two independent proofs of this missing case and use a lifting argument to extend the result to smooth cubic surfaces over arbitrary fields. We further give a separate argument for the case of singular cubic surfaces, extending previous work of Coray over perfect fields. Altogether, this proves the Cassels--Swinnerton-Dyer conjecture for cubic surfaces.