Number Theory [math.NT]

The motivic Selmer scheme of the thrice-punctured line

math.NT

Let $X = \mathbb{P}^1 \smallsetminus \{0,1,\infty\}$ be the thrice-punctured over a ring of $S$-integers $\mathcal{O}_{K,S}$ in a number field~$K$. For any quotient $\pi_1^{\mathrm{mot}}(X,0) \twoheadrightarrow \Pi$ of Deligne--Goncharov's motivic fundamental group there is an associated Selmer scheme which parametrises $\Pi$-torsors with a mixed Tate motive structure. We give several descriptions of the motivic Selmer scheme which make it amenable to computations, using $\mathbb{G}_m$-equivariant cocycles of algebraic groups, Lie algebras, and complete Hopf algebras. We prove that the Selmer scheme is isomorphic to an affine space $\mathbb{A}^N_{\mathbb{Q}}$, and we construct coordinates realising this isomorphism. This is a key ingredient for making the motivic Chabauty--Kim method explicit in a general setting, without restrictions on the base field or the choice of fundamental group quotient.

Upper bound for the moment of shifted values of cubic $L$-functions over function fields

math.NT

In this paper, we study correlations of shifted values of cubic $L$-functions over function fields and derive an upper bound for moments of these shifted values in the limit where the genus of the corresponding cubic characters tends to infinity over a fixed finite field $\mathbb{F}_q$. Our results apply to the non-Kummer case when $q \equiv 2 \pmod{3}$. The Kummer case, when $q \equiv 1 \pmod{3}$, can be treated similarly.

Galois Symbols for a Jacobian and Multiplicative Groups

math.NT

Let $C$ be a smooth projective geometrically connected curve over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian variety of $C$. For an integer $r\geq 1$ and a positive integer $n$ prime to the characteristic of $k$, we prove that the Galois symbol map \[ K(k;J,\mathbb{G}_{m},\ldots,\mathbb{G}_{m})/n \to H_{\mathrm{\acute et}}^{r+1}\bigl(k,J[n]\otimes \mu_n^{\otimes r}\bigr) \] is injective, where the multiplicative group $\mathbb{G}_{m}$ occurs $r$ times. The proof uses Akhtar's description of higher Chow groups of zero-cycles and the Beilinson--Lichtenbaum theorem. The case $r=1$ recovers a theorem of Spiess.

Equalities among simplest quartic fields: a complete classification

math.NT

For a positive integer $n$, let $f_n(X)=X^4-nX^3-6X^2+nX+1$ and let $K_n=\mathbb{Q}(\rho_n)$, where $\rho_n$ is a root of $f_n$. We determine all coincidences among these fields: for distinct positive integers $m,n$, $K_m=K_n \Longleftrightarrow \{m,n\}\in\{\{1,103\},\{2,22\},\{4,956\}\}$. Thus the three previously known equalities are the only ones. This extends Hoshi's finite-range classification to all positive integral parameters and, in particular, subsumes the uniqueness results of Pincus and Washington. The proof combines Hoshi's correspondence between equal simplest quartic fields and primitive solutions of a quartic Thue equation with estimates of Lettl--Peth\H{o}--Voutier for rational approximations to two of its real roots. A Gaussian-integer identity yields a lower bound for the denominator of the resulting rational approximation; the continued-fraction information and the approximation estimates then exclude every parameter exceeding $1000$.

Height lower bounds for elements of highly composite rings

math.NT

Let $\mathbb{Q}^{(d)}$ be the composite field of all number fields of degree at most $d$. In 2001 Bombieri and Zannier proved that $\mathbb{Q}^{(2)}$ has the Northcott property and asked what happens for $d\geq 3$. Here we study the absolute Weil height for elements in the composite ring of the rings of integers of such number fields. In particular, we consider $\mathbb{Q}^{(3)}$ as the composite field of $\mathbb{Q}^{(2)}$ and a minimal infinite family of cubic fields, and we show that the composite ring of the rings of integers of these fields does have the Northcott property. Our results follow from new height lower bounds, expressed in terms of the degree. Moreover, we introduce a notion of size for subfields of $\mathbb{Q}^{(3)}$. For instance, $\mathbb{Q}^{(3)}$ has size $1$ and the maximal abelian subfield of $\mathbb{Q}^{(3)}$ has size $1/2$. We show that there is a subfield of $\mathbb{Q}^{(3)}$ of size $1$ which has the Northcott property.

A $p$-part Birch and Swinnerton-Dyer Formula over Totally Imaginary Quadratic Extension of Totally Real Fields

math.NT

This article studies a modular semistable elliptic curve $E$ over a totally real number field $F$ such that, upon base change to a totally imaginary quadratic extension $K$, it has analytic rank one. Assuming the Iwasawa main conjecture, along with a substantial number of assumptions, we prove a variant of the $p$-part of the Birch and Swinnerton-Dyer formula over $K$, where $p$ is an odd prime. More precisely, up to a $p$-adic unit, we have $$ \frac{L'(E/K,1)}{\Omega^{\mathrm{cong}}_{\mathbf{f}} \operatorname{Reg}(E/K)} = \# Sha(E/K)[p^\infty]\prod_{u} c_u(E/K), $$ where $\Omega^{\mathrm{cong}}_{\mathbf{f}}$ is the congruence period of the Hilbert modular form $\mathbf{f}$ associated to $E$ via the modularity conjecture.

Hasse-Witt invariants for trace forms of Jacobi polynomials

math.NT

In \cite{feit}, Feit used the Generalized Laguerre Polynomials (GLP) to prove that the groups $\widetilde{A}_{5}$ and $\widetilde{A}_{7}$ occur as Galois groups over $\Q$. Hajir, in \cite{hajir} extended these results to prove that $\widetilde{A}_{n}$ is Galois over $\Q$ whenever $n \equiv 1 \pmod{8}$. A key ingredient of both proofs is the explicit determination of the Hasse-Witt invariant of (the diagonalization of) the trace form of the root fields of the GLP, which relies on the calculation of a certain determinant, $\Delta_t$. The explicit formula for $\Delta_t$ used in \cite{feit} and \cite{hajir} was derived using properties specific to the GLP which do not generalize to other polynomials. In this paper we revisit Feit's original calculation of $\Delta_t$ and situate it in the context of Hankel determinants. We give an alternate derivation of $\Delta_t$ using standard combinatorial arguments and then apply these results to the Jacobi polynomials, a two-parameter family of orthogonal polynomials encompassing the GLP as a special case. We compute an explicit formula for the $\Delta_t$ of the Jacobi polynomials as well as the associated Hasse-Witt invariant. The techniques used in this paper are not specific to the Jacobi polynomials and are widely applicable.

Duality formulas for $\widehat{\mathcal{Q}}$-multiple zeta values

math.NT

In this paper, we introduce two duality formulas for $\widehat{\mathcal{Q}}$-multiple zeta values ($\widehat{\mathcal{Q}}$-MZVs for short) which are defined by Takeyama and Tasaka. Since taking two different limits of $\widehat{\mathcal{Q}}$-MZV recovers the $\boldsymbol{p}$-adic multiple zeta value and the $t$-adic multiple zeta value respectively, finding the relation of $\widehat{\mathcal{Q}}$-MZVs partially supports the Kaneko--Zagier conjecture and its refined version. Currently, three types of duality formulas for the $\boldsymbol{p}$-adic multiple zeta values are known, and for one of them, the $q$-analogue was studied by Takeyama and Tasaka. We present $q$-analogues of the remaining two duality formulas for the $\boldsymbol{p}$-adic multiple zeta values.

The 196560 auxiliary-function conjecture for the Leech lattice

math.NT

math.CA

math.MG

Cohn and Kumar conjectured in 2009 that there is a radial Schwartz function $g\colon\R^{24}\to\R$ satisfying $g(r)\leq0$ for $r\geq\sqrt6$, $\widehat g(r)\geq0$ for $r\geq0$, $g(2)>0$, and $(\widehat g(0)-g(0))/g(2)=196560$. We construct such functions from the radial Fourier interpolation basis in dimension $24$. If $a_2,b_2$ denote the basis functions dual to value and radial-derivative interpolation at radius $2$, then $g_C=a_2-Cb_2$ has exactly the nodal data needed for Poisson summation over the Leech lattice. The sphere-packing magic function identifies $b_2$ and supplies its strict signs. We prove that the removable quotients $a_2/b_2$ and $\widehat a_2/\widehat b_2$ are bounded on the required half-lines. The noncompact step follows from exact coefficient extraction in the interpolation kernel and an $S$-cusp expansion. Both quotients tend to $(43+240\log2)/15$; for all sufficiently large radii they lie on opposite sides of this limit, with an explicit first exponential correction. Consequently the admissible parameters in this affine family form a nonempty closed ray, and every member proves the conjectured identity. The same interpolation basis recovers every nontrivial Leech-shell coefficient.

Multiplicator freeness for restricted-ramification Galois groups over global function fields

math.NT

Let $K$ be a global function field with full constant field $\mathbb{F}_q$, let $T$ be a finite set of finite places, and let $\infty$ be a distinguished place. We study the maximal pro-$\ell$ extension of $K$ which is unramified outside $T$ and in which $\infty$ splits completely. Using factorisation results for $\ell$-primary idele class characters, we prove that its Galois group is multiplicator-free if $\ell \nmid q - 1$ or $T \neq \varnothing$. In particular, if $T \neq \varnothing$, the conclusion holds for every prime $\ell$.

Power sums and Siegel-type zero-free regions for L-functions

math.NT

Let $\pi$ and $\pi'$ be unitary cuspidal automorphic representations of $\mathrm{GL}(n)$ and $\mathrm{GL}(n')$ over a number field $F$. Let $\mathfrak{C}_{\pi}$ be the analytic conductor of $\pi$. We develop a new approach to zero-free regions for $L$-functions via lower bounds for power sums, proving for all $\varepsilon>0$ the existence of ineffective constants $c=c_{n,F,\varepsilon}>0$ and $c'=c'_{n,F,\pi',\varepsilon}>0$ such that the standard $L$-function $L(s,\pi)$ satisfies \[ |L(\sigma+it,\pi)|\geq c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon} \] and the Rankin-Selberg $L$-function $L(s,\pi\times\pi')$ satisfies \[ |L(\sigma+it,\pi\times\pi')|\geq c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon}. \] Applications include improvements to the prime number theorems for these $L$-functions and new generalizations of the Brauer-Siegel theorem.

A Multiplicative Fourier Proof of the Length-Four Index Conjecture

math.NT

math.CO

Let $C_n$ be a cyclic group of order $n$. The index conjecture in zero-sum theory asserts that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one. Ge proved the conjecture for all sufficiently large $n$, and Pendleton reduced the known explicit threshold to $4.6\cdot 10^{13}$. We give a different argument based on multiplicative Fourier analysis on $(\mathbb{Z}/n\mathbb{Z})^\times$. Starting from the exact index-two residue identity, we take its multiplicative Fourier transform and express the odd Fourier coefficients through first moments of Dirichlet characters. The imprimitive characters for which this moment vanishes form an exceptional spectrum of cardinality at most $157\varphi(n)/1440$, hence strictly less than $\varphi(n)/9$. A finite-group support uncertainty inequality then forces the four-term multiset to be invariant under negation, contradicting minimality. We also give a minimal-modulus reduction, using the theorem of Shen-Xia-Li, from the general conjecture to the unit case. This proves the length-four index conjecture for every $n$ coprime to $6$.

On The Spectral Properties of Discrete Landscape Functions

math.DS

math.NT

We study the spectral coefficients of the discrete landscape function on a discretized interval. The discrete landscape admits an explicit closed form, from which we derive an exact formula for its spectral coefficients. We show that for every odd mode $k$, the coefficient $c_k(N)$ is an algebraic number lying in an explicit abelian extension of $\mathbb{Q}$, and prove the degree bound $[\mathbb{Q}(c_k(N)):\mathbb{Q}] \leq \varphi(N)$. For the first coefficient $c_1(N)$, exact computation for every $3\leq N\leq30$ gives degree $\varphi(N)$, motivating the conjecture that $[\mathbb{Q}(c_1(N)):\mathbb{Q}] = \varphi(N)$ for all $N\geq3$. We reduce the degree problem for higher odd modes to the coprime case and identify the role of an additional quadratic factor. Finally, we draw a structural analogy between the parity cancellation of the landscape coefficients and the alternating trace formula underlying the Lefschetz number of the Arnold cat map.

Visible Measures along $\Omega(n)$ and Distribution of Horocycle Orbits

math.DS

math.NT

Let $\Omega(n)$ denote the number of prime factors of $n$, counted with multiplicities. We study the set $Acc^\Omega(x)$ of weak-$^*$ limits of the sequence $\frac{1}{N}\sum_{n\leq N}\delta_{T^{\Omega(n)}x}$ in $\sigma$-compact dynamical systems $ (X,T)$, demonstrating that if $x \in X$ is quasi-generic for an ergodic measure $\mu$, then $\mu \in Acc^\Omega(x)$. This extends a result of Bergelson and Richter, who studied the problem in the setting of uniquely ergodic systems. We give a more precise description of the set $Acc^\Omega(x)$ in the case of the horocycle flow on non-compact quotients of $SL(2,\mathbb{R})$. We show that for every non-periodic $x\in X$, in addition to Haar measure, there exists sequences $(s_n), (c_n) \subseteq \mathbb{R}$ such that $$ \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}e^{-\frac{r^2}{2}}\nu^{i}_{s_n-2\log|1+c_nr|} dr\in Acc^{\Omega}(x), $$ where $\{ \nu^{i}_{s} \}_{i \leq k}$ denotes the one parameter family of periodic measures in each of the $k$ inequivalent cusps. Depending on Diophantine properties of the non-periodic point $x$, we show that $Acc^\Omega(x)$ contains a full two parameter family of such periodic measures, as well as the Dirac measure at each cusp. In particular, these results yield almost-everywhere divergence of pointwise averages along $\Omega(n)$ for the non-compact horocycle flow.

A Proof of a Conjecture on Fixed Perimeter Partitions

math.CO

math.NT

Finding fixed perimeter analogues of various partition theoretic identities and inequalities has recently emerged as an active area of research. Gray, Payne, Swisher, and Watson [\textit{Discrete Math.}, 2026] established several fixed perimeter analogues of partition theoretic results inspired by Euler's celebrated partition identity. Very recently, in a separate work [\textit{ar{X}iv:2608.00421}, 2026], they explored fixed perimeter analogues of inequalities related to parity biases. Introducing the concept of parity bias, Kim, Kim, and Lovejoy [\textit{Eur. J. Comb.}, 2020] conjectured that $pd_o(n)>pd_e(n)$ for all $n\ge 20$, where $pd_o(n)$ (respectively, $pd_e(n)$) denote the number of partitions of $n$ into distinct parts having more odd parts (respectively, even parts) than even parts (respectively, odd parts). The author, together with Banerjee, Bhattacharjee, Dastidar, and Saikia [\textit{Eur. J. Comb.}, 2022], proved this conjecture. Gray, Payne, Swisher, and Watson conjectured that a fixed perimeter analogue of this inequality holds for all $n\ge 9$. In this paper, we confirm their conjecture.

Edit distance exponents for irrational rotations

math.DS

math.NT

We study quantitative edit-distance asymptotics for symbolic codings of irrational rotations $x \mapsto x+\alpha$ on $\mathbb{T}$ in terms of the irrationality exponent $\mu(\alpha)$, the supremum of $\mu \in \mathbb{R}$ for which the inequality $0 < |\alpha - p/q| < q^{-\mu}$ has infinitely many solutions. For the binary coding determined by an interval $[0,\beta)$, let $\mathcal{W}_N$ be the set of length-$N$ words arising from all initial points $x$ under $x \mapsto x+\alpha$. We develop new techniques for estimating edit distance and compute the growth exponents of the edit-distance diameter $\mathrm{diam}_E(\mathcal{W}_N)$. For every $\alpha \notin \mathbb{Q}$ and almost every $\beta \in (0,1)$, we show that $\displaystyle (*) \quad \limsup_{N\to\infty}\frac{\log \mathrm{diam}_E(\mathcal{W}_N)}{\log N} = \frac{\mu(\alpha)-1}{\mu(\alpha)},$ and the corresponding $\liminf$ equals $1/2$. When $\mu(\alpha)-1$ is at most the golden mean $\varphi$, the asymptotics $(*)$ hold for all $\beta$. However, for $\mu>1+\varphi$, there is an uncountable set of $\alpha$ with $\mu(\alpha)=\mu$ for which the edit-distance exponents are strictly smaller than $(*)$ for uncountably many $\beta$. We also derive consequences for aperiodic circle homeomorphisms and Sturmian sequences. For rotations of $\mathbb{T}^d$ coded by boxes, we prove that for almost every rotation vector, the common edit-distance exponent is $d/(d+1)$. Finally, we raise the question of estimating edit-distance exponents for more general dynamical systems.

Invariant Functions on $p$-divisible Groups and the $p$-adic Corona Problem II

math.AG

math.NT

This note removes the dimension one restriction of the main results in the paper with the same title by the second author.

Near optimal three-fold additive energy bound for points on convex curves

math.CA

math.CO

math.NT

Let $X\subset\mathbb{R}$ be finite and let $\gamma(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(\gamma(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3\gamma(x_i)=\sum_{i=4}^6\gamma(x_i)\} \ll_{\varepsilon}|X|^{3+\varepsilon}. \] As applications, we prove that $|A-A|\gg_{\varepsilon}|A|^{5/3-\varepsilon}$ and $|A+A|\gg_{\varepsilon}|A|^{8/5-\varepsilon}$ for any convex sequence $A\subset \mathbb{R}$.

On the number of subrings of $\mathbb{Z}^n$ of prime power index

math.NT

math.CO

math.RA

v2

Let $n$ and $k$ be positive integers, and $f_n(k)$ (resp. $g_n(k)$) be the number of unital subrings (resp. unital irreducible subrings) of $\mathbb{Z}^n$ of index $k$. The numbers $f_n(k)$ are coefficients of certain zeta functions of natural interest. The function $k\mapsto f_n(k)$ is multiplicative, and the study of the numbers $f_n(k)$ reduces to computing the values at prime powers $k=p^e$. Given a composition $\alpha=(\alpha_1, \dots, \alpha_{n-1})$ of $e$ into $n-1$ positive integers, let $g_\alpha(p)$ denote the number of irreducible subrings of $\mathbb{Z}^n$ for which the associated upper triangular matrix in Hermite normal form has diagonal $(p^{\alpha_1}, \dots, p^{\alpha_{n-1}},1)$. Via combinatorial analysis, the computation of $f_n(p^e)$ reduces to the computation of $g_\alpha(p)$ for all compositions of $i$ into $j$ parts, where $i\leq e$ and $j\leq n-1$. We extend results of Liu and Atanasov-Kaplan-Krakoff-Menzel, who explicitly compute $f_n(p^e)$ for $e\leq 8$. The case $e=9$ proves to be significantly more involved. We evaluate $f_n(e^9)$ explicitly in terms of a polynomial in n and p up to a single term which is conjecturally a polynomial. Our results provide further evidence for a conjecture, which states that for any fixed pair $(n,e)$, the function $p\mapsto f_n(p^e)$ is a polynomial in $p$. A conjecture of Bhargava on the asymptotics for $f_n(k)$ as a function of $k$ motivates the study of the asymptotics for $g_\alpha(p)$ for certain infinite families of compositions $\alpha$, for which we are able to obtain general estimates using techniques from the geometry of numbers.

On the efficient computation of Fourier coefficients of eta-quotients

math.NT

v3

The Fourier coefficients of a negative weight eta-quotient, in many particular cases, and after Sussman in general, are known to be expressible by Hardy-Ramanujan-Rademacher type series. We show that the central terms of the coefficients of these series can be efficiently computed, showing that they can be expressed in terms of twisted Kloosterman sums, and that they satisfy multiplicativity relations; this extends the results from Lehmer for the partition function. We also give explicit bounds for the tails of these series, needed for effectively computing the aforementioned Fourier coefficients.

Relations between multiple zeta values and delta values from Drinfeld's associator series

math.NT

math.QA

v2

It is shown that novel relations between multiple zeta values and single-variable multiple polylogarithms at 1/2 (delta values) can be derived by comparing two distinct, yet a priori equal, series formulae for the Drinfeld associator (from the Knizhnik-Zamolodchikov connection). In particular, we demonstrate that two new relations are found by comparing the fifth order terms of each series formula.

On Minimal generating sets of splitting field, Cluster towers and Multiple transitivity of Galois groups

math.NT

math.AC

math.CO

math.GR

v4

A natural generating set for a Galois extension regarded as the splitting field of an irreducible polynomial is introduced and investigated here. Minimal generating sets arising in this context throw many surprises compared to the analogous concept in the context of vector spaces: they can be of different cardinalities. In fact we establish that for a certain family of polynomials over the rationals, we have minimal generating sets of all cardinalities in a certain range and that these are the only possible cardinalities for minimal generating set for such a polynomial. We also study how minimal generating sets behave under multiple transitivity of the Galois group and consequently prove the existence of polynomials with all minimal generating sets of uniformly same cardinality. We also connect minimal generating sets with the concept of root cluster tower of an irreducible polynomial introduced in M Krithika, P Vanchinathan (2024).

An evident corollary arising from Newton-Thorne

math.NT

v3

Let $f$ be a primitive holomorphic newform of weight at least $2$ and arbitrary level. We consider the representations obtained from its symmetric powers by taking tensor products, symmetric powers, and isobaric sums. Classical $\mathrm{GL}(2)$ representation theory decomposes each such expression into symmetric powers with determinant twists. This gives an automorphic realization and a factorization of the associated $L$-function. At a prime dividing the level, the same decomposition must be applied to the full Weil-Deligne parameter before inertia invariants and the kernel of monodromy are taken. For elliptic curves over $\mathbb{Q}$, we record the resulting local factors, conductors, and root numbers using the calculations of Dummigan-Martin-Watkins and Martin-Watkins.

BGG-decomposition for de Rham Banach sheaves

math.NT

v2

In this article we refer to "the BGG method" as a method in which by using Lie-algebra techniques one produces a complex of coherent sheaves on a Shimura variety, which is quasi-isomorphic to the de Rham complex of an automorphic vector bundle with integrable connection, on that Shimura variety. These BGG-complexes are in many ways "smaller" than the de Rham complex and have better cohomological properties. These BGG complexes contribute to the understanding of automorphic representations. In this article, we extend the BGG technique and apply it to complexes of Banach-modules with integrable connection on relevant open subspaces of Shimura varieties, seen as adic analytic spaces. Furthermore, we explain how this method can be used to obtain a new computation of the de Rham cohomology of certain p-adic automorphic representations in the GL_2 case. In future work, the authors intend to apply the techniques developed here to the Hilbert and Siegel cases.

Parity of the partition function in quadratic progressions

math.NT

math.CO

v3

The parity of the partition function $p(n)$ is one of the most stubborn problems in partition theory. In 2010, the first author conjectured that, for every square-free $1

The non-abelian Leopoldt conjecture and equalities of $\mathcal{L}$-invariants

math.NT

v2

Let $G$ be a reductive group quasi-split at $p$. Using arguments of Hansen--Thorne, we show that under the non-abelian Leopoldt conjecture (NALC), Hansen's $p$-adic overconvergent cohomology eigenvariety for $G$ is \'etale over its image in weight space at any non-critical classical tempered cuspidal point of `cohomological multiplicity one'. This applies to all non-critical classical cuspidal points if $G = \mathrm{Res}_{F/\mathbb{Q}}\mathrm{GL}_n$. We then let $\pi$ be a $p$-ordinary regular algebraic cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_{\mathbb{Q}})$ such that $\pi_p$ is Steinberg. Combining the above \'etaleness result for the classical point attached to $\pi$, and a local-global compatibility result from our earlier work, we deduce -- under a tangent vector hypothesis that is true for at least half the simple roots -- the equality of Fontaine--Mazur and automorphic $\mathcal{L}$-invariants for $\pi$. Where this assumption is satisfied, we deduce the NALC implies a conjecture of Gehrmann: that automorphic $\mathcal{L}$-invariants are independent of cohomological degree. Our approach is inspired by (and generalises) previous work of Gehrmann--Rosso. When $\pi = \operatorname{Sym}^{n-1} \pi_f$ is the symmetric power lift of a modular form, we verify all assumptions other than the NALC, and deduce a functoriality result for the automorphic $\mathcal{L}$-invariants.

Four-digit Kaprekar dynamics in odd bases

math.NT

math.CO

v3

Start with four digits, arrange them in both descending and ascending order, subtract, and repeat. This simple process is known as the Kaprekar routine, famous in base ten for sending every nonconstant four-digit string to $6174$. We show that in every odd base $B>3$, the four-digit Kaprekar map has an unexpectedly rigid structure. After at most three iterations, every nonconstant orbit enters an explicit triangular region $\mathcal{T}_B$, and on this region the map is conjugate to projective doubling: \[ \{[r],[s]\}\longmapsto \{[2r],[2s]\}. \] This gives a complete finite description of all nonconstant terminal cycles, including an explicit formula for their lengths and counts. In particular, the longest terminal cycle has length at most $(B-1)/2$, and equality can occur only when $B$ is prime. For primes $p>5$, equality occurs precisely when the least positive $m$ with $2^m\equiv\pm1\pmod p$ is $m=(p-1)/2$. The results proved here were first formulated by Schwartz and Thakur. As a test case for AI-assisted formal mathematics, AxiomProver produced Lean/mathlib formalizations of these results.

Rank Amplification for Shifted Equal Values of Euler's Totient Function

math.NT

v2

Let $S_h^\varphi(x)$ denote the number of integers $n\le x$ for which $\varphi(n)=\varphi(n+h)$. For the unit shift, we prove $S_1^\varphi(x)\ll x\exp{-(1/2-o(1))\sqrt{\log x,\log_2 x}}$. More generally, put $A=\log_3 x+\log_4 x-\log 2$, $G=\sqrt{\log x,A}$, and $V=\log x/G$. For every fixed integer $J\ge 1$, uniformly for $1\le h\le \exp{G/\sqrt{J}}$, we obtain $S_h^\varphi(x)=D_{h,>Y_J}^\varphi(x)+O_J(x\exp{-\sqrt{J},G+o_J(V)})$, where $Y_J=\exp{\sqrt{J},G}$. Here $D_{h,>Y_J}^\varphi(x)$ is the above-cutoff part of the classical Graham--Holt--Pomerance same-support family; it is empty for odd $h$. A moving choice $J\asymp \log_2 x/\log_3 x$ gives the unit-shift estimate and an analogous decomposition for a uniform range of shifts. The proof combines the smooth-totient theorem of Banks--Friedlander--Pomerance--Shparlinski with labelled supplier systems, a shifted divisor convolution, and an injective encoding of large supplier products into weighted friable tuples. The results of this paper have been formally verified in Lean.

Shifted dihedral isogeny quotients and the classification of exceptional rational functions of degree five

math.NT

v3

We give a complete classification, up to $k$-M\"obius equivalence, of exceptional rational functions of degree five over every finite field. The classification gives explicit normal forms in every characteristic, exact parameter identifications, and the resulting class counts. The main structural input is an arithmetic theory of shifted dihedral isogeny quotients valid in every odd degree. For each odd $n\geqslant3$, the separable degree-$n$ rational maps whose geometric monodromy group is isomorphic to $D_n$ and whose nontrivial inertia groups are generated by reflections are precisely the maps induced by cyclic $n$-isogenies on shifted Kummer quotients. We determine the exact ambiguity of the isogeny data under two-sided $k$-M\"obius equivalence by means of a signed Frobenius-descent invariant. The theory allows arbitrary odd $n$, reduced kernels when the characteristic divides $n$, and wild reflection inertia. If Frobenius acts on the cyclic kernel by $\lambda\in(\mathbb Z/n\mathbb Z)^\times$, the induced map is exceptional exactly when both $\lambda-1$ and $\lambda+1$ are units modulo $n$.

Iwasawa invariants of sharp/flat $2$-adic $L$-functions for quadratic twists of elliptic curves

math.NT

v2

The aim of this paper is to study the variation under quadratic twists of the analytic Iwasawa invariants of Sprung's sharp/flat 2-adic $L$-functions for elliptic curves over $\mathbb{Q}$ with good supersingular reduction at $2$. Under the hypothesis that the $\mu$-invariant vanishes, we obtain an explicit formula for the sharp/flat $\lambda$-invariants. This formula gives a supersingular analogue of Matsuno's formula in the good ordinary case. As an application, we show that the sharp/flat $\lambda$-invariants can be made arbitrarily large even among quadratic twists by single primes. Moreover, using the method of Hatley-Ray, we obtain an asymptotic lower bound for the number of quadratic twists with a prescribed sharp/flat 2-adic Iwasawa $\lambda$-invariant.

Nahm Sums Dual to Zagier's Rank-Three Examples and Related Identities

math.NT

math.CO

v2

In 2007, Zagier identified twelve families of candidates for rank-three modular Nahm sums and established the modularity of three of them. The remaining cases were subsequently confirmed by Wang. Zagier's duality observation indicates that the Nahm sums associated with the duals of these examples might still be modular. We confirm that this is indeed true. The modularity of the dual of the sixth example was previously established by Milas and Wang, while that of the dual of the eleventh example was partially established by the present authors. We settle all remaining cases, thereby establishing the modularity of every defined dual in Zagier's rank-three list. We achieve this by proving new Rogers--Ramanujan type identities that express the relevant Nahm sums as finite sums of infinite products. Along the way we discover two new families of rank-three Nahm sums. As applications, we prove some Nahm sum identities conjectured by Cao--Wang, Li and the present authors.

Special points on intersections of hypersurfaces

math.AG

math.GR

math.NT

v3

We establish lower bounds on the ambient dimension for an intersection of hypersurfaces to have a dense collection of "level $\ell$" points, in the sense introduced by Arnold-Shimura, given as a polynomial in the numbers of hypersurfaces of each degree. Our method builds upon the framework for solvable points of G\'omez-Gonz\'ales-Wolfson to include other classes of accessory irrationality, towards the problem of understanding the arithmetic of "special points." We deduce improved upper bounds on resolvent degree $\operatorname{RD}(n)$ and $\operatorname{RD}(G)$ for the sporadic groups as part of outlining frameworks for incorporating future advances in the theory.

Torus Knots and Minimal Models Revisited : Rational VOA characters from non-hyperbolic knots

hep-th

math.GT

math.NT

v2

In 2003, Hikami and Kirillov uncovered an intriguing connection between torus knots $\mathcal{K}_{(P,Q)}$ and Virasoro minimal models $\mathcal{M}(P,Q)$ by relating the Kashaev invariants of the knots to the characters of the corresponding minimal models. In this work, we recover and extend this connection by combining the 3D--3D correspondence with a bulk--boundary correspondence. More concretely, we study the 3D $\mathcal{N}=2$ gauge theories associated with torus-knot complements via the Dimofte--Gaiotto--Gukov construction and show that, in the infrared, these theories either flow to a unitary TQFT (when $|P-Q| = 1$), whose boundary chiral algebra reproduces that of the associated unitary minimal model, or to a 3D $\mathcal{N}=4$ rank-0 SCFT (when $|P-Q| > 1$), which realizes the corresponding non-unitary chiral minimal model at the boundary after an appropriate topological twist. This framework yields new Nahm-sum-like expressions for the characters of Virasoro minimal models and other related rational conformal field theories, providing a systematic algorithm for constructing characters of rational VOAs directly from the combinatorial data of an ideal triangulation of a non-hyperbolic knot complement.

Witt affine Springer theory

math.RT

math.AG

math.NT

v2

This paper extends the affine Springer theory developed by Bouthier, Kazhdan, and the second author (see [BKV]) to the mixed characteristic case. In particular, we introduce a theory of perfectly placid perfect infinity stacks and establish their dimension theory. Furthermore, we prove that, in the Witt vector setting, the Chevalley morphism between arc spaces is flat.

Measuring Decidability as Related to Busy Beaver Numbers

cs.CC

cs.LO

math.LO

math.NT

v2

The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conjecture can be modeled gives a classification of what logic system can describe said conjecture. In this work, we construct explicit Turing machines that search for a solution to Brocard's problem greater than 7 and a Fermat prime beyond the 4th which halt if and only if such a solution exists.

$A_3$-formality for pro-2 Demushkin groups

math.GR

math.AT

math.KT

math.NT

v2

We study a weak form of formality for differential graded algebras, called $A_3$-formality, and show that the differential graded $\mathbb{F}_2$-algebras of continuous cochains of all pro-$2$ Demushkin groups are $A_3$-formal. We prove this result by an explicit computation of the Benson--Krause--Schwede canonical class using the classification of pro-$2$ Demushkin groups by Demushkin, Serre, and Labute. Compared to the case of odd primes, the new idea is to interpret the data of the canonical class as defining systems of higher Massey products.