Number Theory [math.NT]

Proofs of some conjectures by Bringmann, Han, Heim, and Kane on periodic sign changes in eta-quotients

math.NT

Bringmann, Han, Heim, and Kane recently investigated periodic sign patterns in the Fourier coefficients of weakly holomorphic modular forms arising from eta-quotients and posed numerous conjectures in the appendix to their work. Using classical theta-function identities, dissections, and coefficientwise positivity, we prove 72 of these conjectural sign patterns. The eta-quotients considered here have periods 2, 3, 4, 5, 6, 8, and 12. Our proofs are elementary at the level of $q$-series and yield explicit generating functions for the coefficients in each relevant residue class.

Primes in arithmetic progressions and Siegel zeroes

math.NT

Let $\chi$ be a Dirichlet character mod $D$ with $L(s,\chi)$ its associated $L$-function, and let $\psi(x,q,a)$ be, as usual, Chebyshev's prime-counting function for the primes of the arithmetic progression $a$ (mod $q$) with $(a,q)=1$. Let $\chi$ be a primitive character modulo $D$, and let $\nu>0$ be small. We prove that if $L(s,\chi)$ has a Siegel zero at $s=\beta=1-\frac{1}{\eta\log D}$ with $\eta>\eta_0(\nu)$ for some large $\eta_0(\nu)$, there exists a range of $x$ for which the asymptotic $$\psi(x,q,a)=\frac{\psi(x)}{\phi(q)}\left[1+O(\varepsilon_{\eta_0})-\chi\left(\frac{aD}{(q,D)}\right)\right]$$ holds for $q

p-adic Rigidity and Supercongruences at Rank Two Attractors

math.NT

math.AG

We study a $p$-adic rigidity phenomenon suggested by rank two attractors. Near an ordinary special fiber of a Calabi--Yau family, the excellent Frobenius of Beukers and Vlasenko acts on the parameter disk. Achinger--Zdanowicz construct a canonical $W_2$-lift of the Frobenius twist, while Brantner--Taelman construct a canonical formal lift. We conjecture that the Dwork and Achinger--Zdanowicz first-order obstruction maps agree and that the fixed points of the excellent Frobenius are precisely the parameters of the Brantner--Taelman canonical formal lifts. Our main theorem gives a cohomological criterion in arbitrary dimension. Under its hypotheses, a Frobenius-stable rank two factor of the $p$-adic cohomology containing the holomorphic class forces that class to span a Cartier-stable line and gives supercongruences modulo $p^{2s}$ for every $s\geq1$. Moreover, if the hypotheses of the Beukers--Vlasenko excellent lift theorem hold, then the excellent Frobenius fixes the corresponding parameter. We apply the criterion to the Hulek--Verrill $A_4$ family at $t_*=-1/7$, a parameter predicted to be a rank two attractor. Assuming Dummigan's Conjecture~1.1, we prove that the excellent Frobenius fixes $t_*$, the supercongruences hold, and the fiber with parameter $t_*\bmod p^2$ is the Achinger--Zdanowicz canonical lift at every prime where the required Dwork ordinarity conditions are satisfied. A CM fiber of the mirror quartic K3 pencil gives a second application. We also prove that the $q$-power map on a split formal torus has the unit section as its unique periodic point in the identity residue disk over every finite extension of $W(\mathbb{F}_q)[1/p]$, where $q$ is the cardinality of the residue field.

Strongly Pseudoperfect Numbers

math.NT

A positive integer $n$ is said to be strongly pseudoperfect if there is a subset $S$ of the positive divisors of $n$ such that $d \in S$ if and only if $n/d \in S$, and $\sum_{d \in S} d = 2n$. We construct new infinite families of strongly pseudoperfect numbers, and also prove new restrictions on when a positive integer $n$ can be strongly pseudoperfect.

A $q$-analogue of a binomial supercongruence

math.NT

In a recent paper arXiv:2503.20727, Ichino and Prasanna proved a supercongruence for binomial coefficients and related it to representations of $\mathrm{GL}_2$ over $p$-adic rings. We prove a $q$-analog of this supercongruence using the $q$-Lucas theorem, from which a strengthening of the main result of loc. cit. can easily be deduced. Our proof also substantially simplifies the original argument of arXiv:2503.20727.

On closed-form expressions for weighted mean square of the Riemann zeta function and Dirichlet $L-$functions

math.NT

This short note is a review intended to serve as a comprehensive and concise resource for students, researchers, and AIs, on the following topic and its various connections: closed form identities that can be obtained from weighted mean squares of the Riemann zeta function and Dirichlet $L-$functions on the critical line. The various formulas, including reciprocity formulas, are all written in a consistent way. In addition, we prove a new reciprocity identity, which is the counterpart with an exponential weight of a formula by Lewis and Zagier in the case of the primitive character of modulus $4$.

On Vojta's harder implication, height inequalities for admissible pairs, points of bounded degree and Deligne-Mumford stacks

math.NT

math.AG

We expand on the concept of \emph{admissible pairs} from \cite{Levin:GCD} and explore its relation with the main Diophantine arithmetic inequalities, with discriminant term and for points of bounded degree, that have been predicted by Vojta \cite{Vojta:1998}. In this context, among other new results, we prove a \emph{harder implication} which is in the spirit of Vojta's approach to the abc Conjecture (from \cite{Vojta:1998}). As our main result, and application of our viewpoint here, we deduce for the case of certain general type nonsingular Deligne-Mumford stacks, with projective course moduli space, a form of the Bombieri-Lang Conjecture for $(D_0,S)$-integral points of bounded degree. A key input for this is a slicing theorem, for Deligne-Mumford stacks, that was obtained by Abramovich and V\'{a}rilly-Alvarado, \cite{Abramovich:VarillyAlvarado:Pera:2017}, and building on earlier work of Kresch and Vistoli \cite{Kresch:Vistoli:2004}. Another important ingredient is an inequality of Silverman, from \cite{Silverman:1984}, which bounds the discriminant of points in projective space in terms of their heights. As an illustration of our results, we discuss them within the context of the interesting work of Abramovich and Harris \cite{Abramovich:Harris:1991} and others.

Twisted Diophantine Approximation I: Asymptotic Theory

math.NT

We establish an exact zero-one law for twisted Diophantine approximation with an arbitrary fixed real matrix and a positive non-increasing approximation function satisfying dyadic regularity. The criterion is the convergence or divergence of a dyadic series whose summands are Khintchine-Groshev block volumes divided by homogeneous lattice-point counts. An equivalent formulation is using all successive minima of the associated diagonal lattice trajectory, capturing homogeneous clustering in every direction. We also obtain an almost-sure zero-infinity law for inhomogeneous $\psi$-Lagrange constants, separate Hausdorff-measure criteria, and dimension results. Within this regularity class, our theorem recovers the Kurzweil and Fuchs-Kim criteria. At the critical exponent, this series determines whether the set of badly approximable shifts has zero or full Lebesgue measure.

Twisted Diophantine Approximation II: Uniform Theory

math.NT

We develop a general method for uniform twisted metric Diophantine approximation with an arbitrary fixed real matrix. Using all successive minima of the associated diagonal lattice trajectory, we estimate lattice-point counts, accounting for clustering in every direction. Ratios of these counts give exact Hausdorff dimensions of sets of twisted $\psi$-Dirichlet vectors for a large class of functions $\psi$, including all except finitely many power functions {$T^{-\tau}$, $\tau>0$}. We obtain Hausdorff dimension formulae for the endpoint sets obtained by taking the intersection and union of the sets of twisted $c\psi$-Dirichlet vectors over $c>0$, and prove that taking the intersections causes no dimension drop. Furthermore, we obtain Hausdorff dimensions of level sets of the uniform Diophantine exponent. In addition, we prove zero-full laws for general Hausdorff measures of $\psi$-Dirichlet sets. Applications recover the one-dimensional Kim-Liao formulae, strengthen Aggarwal's escape-of-mass upper bound, reproduce the metric criteria of Moshchevitin and the second author and give certain extensions of the above statements.

Reduction of Weil-Deligne Representations

math.NT

Let $p$ and $\ell$ be distinct odd primes. For a finite extension $F/\mathbb{Q}_p$, the local Langlands correspondence states that there is a canonical bijection between irreducible, smooth representations of $\text{GL}_n(F)$ and $n$-dimensional, $\Phi$-semisimple Weil--Deligne representations of the Weil group $W_F$. Given two $2$-dimensional, semisimple, continuous representations $\rho_1, \rho_2$ of $W_F$ with images in $\text{GL}_2(\mathcal{O}_K)$, where $K/\mathbb{Q}_\ell$ is a finite extension with maximal ideal $\lambda \subset \mathcal{O}_K$, a natural question to ask is when their mod $\lambda$ reductions $\overline{\rho}_1$ and $\overline{\rho}_2$ are isomorphic. In this paper, we give a complete characterization of when the reductions are isomorphic. For this, we first give a description of when the reductions of these representations are decomposable or irreducible, utilizing the correspondence between continuous $\ell$-adic representations of $W_F$ and $\ell$-adic Weil--Deligne representations. We conclude with some examples which arise in the modular method for solving generalized Fermat equations.

Farey Symbols for the Picard Group

math.NT

math.GR

math.GT

We introduce Picard Farey symbols for finite-index subgroups of \(G=\PSL_2(\ZZ[i])\), using the Gaussian Farey tessellation of \(\HH^3\) by ideal octahedra. A symbol records finitely many Gaussian-rational octahedral occurrences, their local stabilizers, and ordered cooriented face pairings. We prove that a valid marked symbol reconstructs the finite Picard-cell action and hence the subgroup, and we work out a range of exact examples. For a torsion-free subgroup of index \(n\), every fundamental domain formed from complete Farey octahedra contains \(n/12\) octahedra; a spanning-tree construction gives one with at most \(n/4+1\) side-pairing transformations. We also identify the Gaussian octahedral edge--face complex with the integral rank-two Steinberg presentation for \(\QQ(i)\). Thus the same decorated geometry directly determines a finite presentation of coefficient-valued Bianchi modular symbols; for \(\Gamma_1(2+i)\) we give the complete \(3\times4\) group-ring boundary matrix. Canonical reduction and an effective Hecke-compatible reduction remain open.

A Local Approach to Monogenity with an Application to Lenny Jones' Conjecture

math.NT

The study of monogenic polynomials is a classical problem in algebraic number theory. Existing criteria for deciding whether a polynomial is monogenic typically rely on discriminant computations together with methods such as Dedekind's criterion, Newton polygons, or valuation-theoretic techniques. In this paper, we develop a general local criterion for the $p$-maximality of orders generated by roots of arbitrary monic irreducible polynomials. As an application, we apply this to irreducible polynomials of the type $f(X)=X^n+A(BX+1)^m,$ where $1\le m

The Index of Composition of polynomials and its applications

math.NT

The index of a given monic irreducible polynomial $f(x)\in\mathbb Z[x]$ having a root $\theta $ is the index of $\mathbb Z[\theta]$ in the ring of algebraic integers of $\mathbb Q(\theta).$ Further, $f(x)$ is monogenic if its index is $1$. In this article, we prove that the index of $f(x)$ always divides the index of $f(g(x)),$ where $f(x), g(x)\in \mathbb Z[x]$. Additionally, we give the precise power of the index of $f(x)$ dividing the index of $f(g(x))$. Also, we provide a necessary condition for the monogenity of $f(g(x))$. As an application of our results, we prove that the $n$-fold composition $f^n(x)=(f\circ f\cdots\circ f)(x)$ of a polynomial $f(x)$ is monogenic for all $n\in\mathbb{N}$ if and only if the sequence $\langle I_n\rangle$ is convergent, where $I_n$ is the index of $f^n(x)$. Moreover, we show that for a given $n\in\mathbb{N}$, if $I_n$ is $m^{\text{th}}$ power free integer, then the $n$-tower $\mathbb Q\subseteq K_1 \subseteq\cdots \subseteq K_{n-1} \subseteq K_n,$ defined by $n$ iterates of a polynomial $f(x)\in\mathbb Z[x]$ contains at least $\max\{\lfloor n-\log_{\deg f}m \rfloor,0\}$ monogenic number fields.

Collective Contraction in the de Bruijn--Newman Heat Flow: Off-Zero Logarithmic Derivatives and Certified Barrier Refinements

math.NT

We study the de Bruijn--Newman family $H_\tau(z)$, with heat-deformation parameter $\tau$ and $H_0(z)=\tfrac18,\xi(\tfrac12+\tfrac{iz}{2})$. The moving zeros considered here are therefore zeros of $H_\tau$, not directly of $\zeta(s)$. Retaining the collective interaction term in the zero dynamics, we prove that for a simple nonreal zero $z=x+iy$ of maximal imaginary height, [ \frac{d}{d\tau}y^2\le -2-4y^2\mathcal G_\tau(z), ] where $\mathcal G_\tau\ge0$ is a projected interaction sum. A second exact inequality bounds $\mathcal G_\tau$ below by an off-zero logarithmic derivative $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, providing a direct interface with the effective Polymath approximation $H_\tau=B_\tau F_\tau$. At the frontier $X=6000000185827$, $\tau_0=129/800$, and $y_0^2=87677/2500000$, a directed Cauchy certificate gives $\mathcal G_\tau>3/2$ for $\tau_0\le\tau\le0.178$, $x\ge X$, and $|y|\le y_0$. Combining this contraction with certified upper and lower zero-free barriers, a two-envelope argument reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$; the classical de Bruijn contraction then completes the landing. Relative to the publicly replayable but not yet peer-reviewed $0.1787854$ base certificate, this yields the audit-relative bound [ \Lambda\le0.1779532546428610755\ldots . ] The collective contraction, logarithmic-derivative bridge, and new high-$x$ certificates are independent contributions.

On Boston's Unramified Conjecture for $\GL_2$ and McLeman's $(3,3)$-Conjecture

math.NT

math.GR

Let $p$ be an odd prime number. Based on recent work of Zhang, we prove that for a finite set $S$ of primes of $\Q$ containing $\infty$ but not $p$, any continuous odd representation $G_{\Q,S} \to \GL_2(A)$ over a complete Noetherian local ring $A$ with finite residue field of characteristic $p$ has finite image, where $G_{\Q,S}$ denotes the Galois group of the maximal extension of $\Q$ unramified outside $S$. This proves the two-dimensional odd case of Boston's strengthening of the unramified Fontaine--Mazur conjecture over $\Q$. Furthermore, we show that for an imaginary quadratic field $K$, any continuous conjugate self-dual two-dimensional $p$-adic representation of its pro-$p$ Galois group $G_{K,S}(p)$ has finite image, provided the primes in $S$ satisfy a modest condition. As an application, we resolve the sufficiency direction of McLeman's $(3,3)$-conjecture on $p$-class field towers for $p>3$. Namely, we prove that if $K$ is an imaginary quadratic field with $p$-class rank two and the Galois group $G_{K,\varnothing}(p)$ of the maximal unramified $p$-extension of $K$ has Zassenhaus type $(3,3)$, then the $p$-class field tower of $K$ is finite. For $p=3$, the results of Ahlqvist and Pink give the same finiteness conclusion in ten of the thirteen possible cases for the fourth Zassenhaus quotient.

The Algebra of Parity-Twisted Crank Moments and a Prime-Detecting Expression

math.NT

We determine the algebra generated by the normalized parity-twisted crank moments and describe it explicitly as a proper subalgebra of the quasi-modular forms on $\Gamma_0(2)$ closed under $D=q\frac{d}{dq}$. We derive congruences from differential identities and construct a prime-detecting expression involving only the normalized twisted second moment, its products, and its derivatives. Its coefficient of $q^n$ vanishes if and only if $n$ is prime, for every $n\ge2$. We prove that its highest weight, eight, is minimal among prime-detecting elements of this algebra. Finally, we identify the same algebra as the one generated by MacMahon's functions $B_k$, obtaining a corresponding prime-detecting expression in $B_1$.

Truncated pretentious distances of multiplicative arithmetic functions

math.NT

Let $f\colon\mathbb{N}\to\mathbb{U}$ be a non-pretentious multiplicative function in the sense of Granville and Soundararajan. We study the convergence of the autocorrelation averages of $f$. In particular, we investigate the relationship between the local pretentious behaviour of $f$ on intervals of the form $[x^{\varepsilon},x]$ and its deviation from $1$ on the primes. As an application, we exhibit a class of non-pretentious multiplicative functions for which Elliott's conjecture in its original formulation holds, following up on a result by Klurman, Mangerel and Ter\"av\"ainen.

On an infinite family of cubic fields with explicit fundamental units

math.NT

For an integer $b\neq0,1$ let $\theta$ be the unique real root of $f_b(x)=x^3-3bx-b^3$ and let $K_b=\mathbb{Q}(\theta)$. We exhibit an explicit set of $b$ of positive density for which $\eta_b=-1/(\theta-(b+1))$ is the fundamental unit of $K_b$, and we determine the set of $b$ for which $\eta_b$ is the square of a unit: it is parametrized by the Pell equation $D^2-3E^2=1$, hence infinite, and under an explicit mild condition on the field discriminant it accounts for all $b$ for which $\eta_b$ is not the fundamental unit. That condition fails for only four $b$ with $|b|\le3000$, and at one of them, $b=3$, the conclusion itself fails. In the order $\mathbb{Z}[\eta_b]$ generated by $\eta_b$, by contrast, $\eta_b$ is the fundamental unit for every $b$, so these exceptions are a phenomenon of the maximal order. As an application we construct infinitely many biquadratic fields whose $3$-class field tower has length greater than $1$.

Products of two elements of Granville's random model in residue classes

math.NT

Erd\H{o}s, Odlyzko and S\'ark\"ozy conjectured that every reduced residue class modulo $q$ contains a product of two primes not exceeding $q$; their conjecture remains open even under the GRH. We prove that its analogue holds, unconditionally and in the wider range $q^{\Theta}$ for any fixed $\Theta > 3/4$, in Granville's random model of the primes. Almost surely, every reduced class modulo every sufficiently large modulus is representable, and the number of representations is asymptotic to its expected order. The choice of the model is decisive; the corresponding statement in the random prime model of Banks, Ford and Tao fails with positive probability, an elementary local defect that Granville's discard step removes.

Multiple Zeta Values in Positive Characteristic: A Kaneko-Zagier-Type Conjecture

math.NT

In this paper, we study a comparison between $\infty$-adic and finite multiple zeta values in positive characteristic. We construct a surjective comparison map from the algebra of $\infty$-adic multiple zeta values to a quotient of the algebra of finite multiple zeta values. This map factors through the quotient by $\zeta_A(q-1)$, thereby establishing the well-definedness of a Kaneko-Zagier-type conjectural map. We further show that the comparison map is compatible with special values of Carlitz multiple polylogarithms, as well as with the corresponding $\star$-inverse values. As an application, we prove the upper bound predicted by Shi's dimension conjecture for finite multiple zeta values.

A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal

math.NT

Salikhov (2008), Zeilberger-Zudilin (2020) and Bai (2026) all bound the irrationality measure of pi with the same shape of complex contour integral, differing only in three exponents. We give one closed-form expression for the resulting bound as a function of those exponents. The saddle-point data come from an explicit cubic; the arithmetic factor -- the power of 2, the range of the lcm, and the prime-elimination window generalising Zeilberger-Zudilin's Lemma 2 -- is written down for arbitrary exponents, so no arithmetic lemma has to be redone for a new choice. The law returns 7.1032053341370017 at (2,2,3), agreeing with Zeilberger-Zudilin to 17 digits, and 7.1018628323563507 at Bai's point (1857,1857,2785), agreeing with his published 7.101862832357; it reproduces Salikhov's 7.606308 from his own two-branch window. We prove that the window measure is exactly homogeneous, W = a1.Jhat(a0/a1, b/a1), so the bound depends only on two ratios and the three-parameter lattice collapses to a two-dimensional object; that the pi-coefficient is a single coefficient extraction; and that at j = 0 the divisibility criterion is exact, a super-Catalan number appearing and Kummer's theorem then giving ord_p with equality rather than inequality. On that two-dimensional search we give computational evidence that Bai's point is the global minimum of the family: on the slice a0 = a1 the bound is a function of Q = 2a0/(3a0-2b) alone, with a sharp vertex at Q = 3714, realised primitively only by (1857,1857,2785). This rests on three finite computations and is labelled verified, not proved; the resulting floor 7.101862832356 is stated as a conjecture. An ancillary Python script (standard library only) re-derives every claim in about half a minute.

Weighted equidistribution of factorial prime valuations in fixed power bands

math.NT

math.FA

For a fixed modulus h and residue class c, we study the logarithmic mass of primes p in a fixed power band for which the exponent of p in n! is congruent to c modulo h. We establish the asymptotic ((b-a)/h + o(1)) log(n!) for primes satisfying n^a < p <= n^b, where 0 <= a < b <= 1. The argument combines a fixed-order derivative estimate, Vaughan's identity, and finite Fourier approximation of a discontinuous valuation function. We also derive a necessary capacity condition for infinite families of solutions to polynomial-factorial equations P(x) = n!.

An infinite family of counterexamples to Goss's conjecture on L-functions of cyclotomic function fields

math.NT

Let p be a prime, q = p, A = F_p[T], and let P be a monic irreducible of degree d with cyclotomic function field K_P and mod-P Teichmuller character omega_P. For a character chi = omega_P^i, Goss defined g(X, chi), the "congruent to one modulo p" part of the Artin L-function L(X, chi), and conjectured that deg_X g(X, omega_P^i) <= 1 for every q-magic index i; this is an analogue for function fields of Vandiver's conjecture, and was raised as an open problem by Angles. We disprove it. For every a in F_p^*, put P_a = T^p - T - a, irreducible of degree p, and let i = p^n - 1 with 0 <= n <= p-1, a q-magic index. We prove an exact congruence showing that the L-polynomial reduces to (1-X)^n modulo P_a, whence deg_X g = n-1. For p >= 5 and 3 <= n <= p-1 this gives deg_X g >= 2, contradicting Goss's conjecture; moreover deg_X g = n-1 is unbounded, attaining p-2.

A negative answer to Erd\H{o}s Problem #786

math.NT

Call a set $A$ of positive integers admissible if, whenever $a_1\cdots a_r=b_1\cdots b_s$ with $a_1,\dots,a_r$ distinct elements of $A$ and $b_1,\dots,b_s$ distinct elements of $A$, necessarily $r=s$. Erd\H{o}s asked whether admissible sets can have density $1-\varepsilon$ for every $\varepsilon>0$, and whether $\{1,\dots,N\}$ always contains an admissible subset of size $(1-o(1))N$. For the variant in which repetitions are allowed both questions were answered negatively by Erd\H{o}s, Ruzsa and S\'ark\"ozy and by Granville and Soundararajan; for products of distinct elements, the first question was answered only recently (with density bound $7/8$), and the second has remained open. We show that every admissible $A\subseteq\{1,\dots,N\}$ satisfies $\sum_{a\in A}1/a\le\tfrac12\log N+(\log\log N+2)^2$, and that there is an absolute constant $\eta>0$ such that every admissible $A\subseteq\{1,\dots,N\}$ has $|A|<(1-\eta)N$ for all large $N$. Both questions therefore have negative answers. The proofs are elementary; the second rests on a coupling that replaces the largest divisor of an integer composed of small primes, which avoids the divisor-function losses inherent in counting quotients along a multiplication table. Both negative answers are formally verified in Lean 4 against the statements of the Formal Conjectures project.

Uniform Estimates for Integers with a Large Smooth Part

math.NT

We study the distribution of integers with a large smooth part. We obtain a uniform estimate for the number of integers up to \(x\) whose \(y\)-smooth part exceeds a given threshold \(z\), in the range \(\log z\le y\le z\le x/2\). Our estimate has the expected exponential order governed by the Dickman function and holds uniformly throughout this range. The proof combines classical estimates for smooth and rough numbers with uniform estimates for the local behavior of the smooth-number counting function.

A Short Proof of a Theorem of Pan and Zhang

math.NT

Pan and Zhang proved that a positive proportion of positive integers can be represented in the form $a^2+b^2+2^{c^2}$, where $(a,b,c)$ are nonnegative integers. In this note, we give a short proof of their result. The proof uses Romanoff's method and an elementary divisor argument to control the relevant second moment.

Ax-Schanuel for the Drinfeld $j$-function

math.NT

We prove an analog of the Ax-Schanuel theorem for the Drinfeld $j$-function in odd characteristic. Roughly speaking, if the graph of $\boldsymbol{j}\colon\Omega^n\rightarrow\mathbb{A}^n_{\mathbb{C}_\infty}$ and its derivatives has an atypical intersection $\mathcal{V}$ with an algebraic variety, then $\mathcal{V}$ projects to a weakly-special subvariety in $\mathbb{A}^n_{\mathbb{C}_\infty}$. More generally, we prove a positive characteristic analog of the differential Galois theoretic Ax-Schanuel theorem of Bl\'azquez-Sanz, Casale, Freitag and Nagloo. Our main theorem for $\boldsymbol{j}$ follows by applying this result to a suitable foliation. A theorem of Pink allows us to conclude that the special varieties in the sense of Bl\'azquez-Sanz et al. in this context agree with the classical weakly-special subvarieties in the Drinfeld sense.

On minima of theta and Epstein zeta functions in dimension four

math.NT

math-ph

math.AP

math.MP

Let the theta and Epstein zeta functions be $\Theta(\alpha,L)=\sum_{v\in L}e^{-\pi\alpha|v|^2}$ for $\alpha>0$ and $E(L,s)=\sum_{v\in L\setminus\{0\}}{|v|^{-2s}}$ for $s>2$, respectively. We consider full-rank lattices $L\subset\mathbb R^4$. Let the covolume of $L$ be one, and let $\mathcal D_4=2^{-1/4}D_4$ be the root lattice $D_4$ rescaled to covolume one. We prove that, up to orthogonal transformations, \begin{equation}\nonumber arg\,min_{covol(L)=1}\Theta(\alpha,L)=\mathcal D_4 \qquad\text{if}\quad \alpha>0, \end{equation} and this implies that \begin{equation}\nonumber arg\,min_{covol(L)=1}E(L,s)=\mathcal D_4 \qquad\text{if}\quad s>2. \end{equation} This proves that the root lattice minimizes the theta and Epstein zeta functions among all lattices in dimension four, as conjectured by Sarnak-Str\"ombergsson (\cite{SS}, 2006), who established the local minimality of $\mathcal D_4$. Thereby, this resolves the Rankin-Sobolev problem in dimension four dating back to \'Endibaev (\cite{End1978}, 1978) and Shushbaev (\cite{Shu1978}, 1978).

Criterion set for diagonal forms of higher degree

math.NT

The 290-Theorem of Bhargava-Hanke completely classifies all universal quadratic forms over the rational integers in terms of a finite criterion set: a positive definite quadratic form is universal if and only if it represents every integer in this finite set. In this article, we study diagonal forms of higher degree over a totally real number field and prove the existence of a unique finite criterion set, minimal with respect to inclusion, for universal diagonal forms of higher degree. As part of the proof, we establish an analog of the asymptotic local-global principle for such forms and develop a local theory for the representation of integers by diagonal forms of higher degree.

Restricted Binomial GCDs at Primes Congruent to -1

math.NT

For integers $m\geq 2$ and $m\mid N$, let $G(N;m)=\gcd\{\binom{N}{k}:0

m$ subcases, but not the mixed-parity branch or the $p=m-1$ regime. The theorem, its plus-one companion, a scaling reduction, and the $m=3,4,6$ specializations have been formalized in Lean 4 / Mathlib.

Smyth's Conjecture on the Mahler Measure of non-reciprocal trinomials of height $1$

math.NT

We prove a conjecture of Smyth on the Mahler measure of non-reciprocal trinomials of height $1$, determining exactly when their Mahler measures are greater than or less than $M(x+y+1)=\rho=1.381356\ldots$, conjectured to be the smallest limit point of $M(P)$ for non-reciprocal polynomials. Conjecturally, our result gives the full spectrum of $M(P)<\rho$ for all non-reciprocal polynomials, not just for trinomials.

Congruences for the Andrews--Uncu partition function $\mathcal{EO}_u(n)$

math.NT

In 2018, Andrews defined and studied the partition function $\mathcal{EO}(n)$, which counts the number of partitions of $n$ where each even part is less than each odd part. Thereafter, Uncu considered a different subset of such partitions, namely those partitions counted by $\mathcal{EO}(n)$ where there are no repeated even parts (we denote the number of such partitions by $\mathcal{EO}_u(n)$). In this paper, we prove several congruences modulo powers of $2$ for $\mathcal{EO}_u(n)$. We also prove some infinite families of congruences as well as a recurrence for the number of this class of partitions. Our methods involve elementary, algorithmic, and modular form techniques.

Computing residual representations of abelian threefolds with imaginary multiplication

math.NT

Let $M$ be an imaginary quadratic field. Let $A$ be a polarised abelian threefold defined over $M$ with geometric endomorphism algebra isomorphic to $M$. We study residual Galois representations attached to $A$. In particular, we describe the endomorphism field and the natural restrictions placed on the residual representations by their endomorphisms. We then devise criteria for the image of residual Galois representations to be large, and provide efficient algorithms suitable for large scale calculations. Subsequently, we apply this algorithm to millions of curves in several families, whose Jacobians are abelian threefolds with imaginary multiplication, and to Sutherland's dataset of $7$-smooth Picard curves. We produce an explicit example of a Picard curve which appears to have an isogeny of degree $13$ defined over $\mathbb{Q}(\zeta_3)$. The Jacobians of all other curves, in the range of our computation with endomorphism algebra $M$, have mod-$\ell$ image as large as possible for any prime $\ell>7$. This allows us to realise the group $\Gamma\mathrm{U}_3(\ell)$ of unitary semisimilitudes as a Galois group over $\mathbb{Q}$ for all $\ell \not\equiv 1, 25, 121 \pmod{168}$. Our algorithms also led us to the discovery of several interesting rational families of Picard curves whose generic members appear to have endomorphism algebra of dimension $6$ which is not a CM field. These represent curves on the Picard modular surface and appear to be Shimura curves. Some of them appear to parametrise non-principally polarised abelian surfaces with quaternionic multiplication.

Improved exponent bounds for Erd\H{o}s--Selfridge curves

math.NT

Given integers $k,\ell \geq 2$, define the Erd\H{o}s--Selfridge curve \begin{align*} \mathcal{C}_{k,\ell} : y^\ell = x(x+1)\cdots (x+k-1). \end{align*} Bennett and Siksek proved that if $(x,y)$ is a rational point on $\mathcal{C}_{k,\ell}$ with $\ell$ a prime and $y \neq 0$, then $\ell$ is bounded (doubly-exponentially) in terms of $k$. We improve this bound on $\ell$ when $k$ is sufficiently large. Our method uses combinatorial and sieve-theoretic arguments, as well as results on solutions to generalized Fermat equations.

Sharp Thresholds for Distance Patterns in Random Subsets of $\mathbb Z^d$

math.CO

math.CA

math.NT

Let $d \geq 5$, $0 < \gamma < d - 2$, and $\Omega_N$ be the binomial random subset of $Q_N = [-N,N]^d \cap \mathbb Z^d$ with retention probability $p_N = N^{-\gamma}$. We prove that, with failure probability of optimal exponential order, every subset $B \subseteq \Omega_N$ of fixed positive relative density realizes, at each scale $p_N^{-2/(d - 2)} \lesssim \lambda \lesssim N^2$, a squared distance of the form $q^2 \lambda$, where $q$ belongs to a fixed finite set depending only on the dimension and the density. The lower scale $p_N^{-2/(d - 2)}$ is sharp. As a consequence,the squared-distance set $D^2(B)$ of $B$ has maximal order $N^2$ and contains affine copies of every fixed finite subset of $\mathbb Z$. The main new input is a finite multidilate supersaturation theorem for dense subsets of $Q_N$, which, together with boundedness estimates for the associated spherical distance graphs down to the sharp scale, allows us to apply Schacht's transference theorem.

Resultants, Recursive Formulas and Binet Formulas for $\textrm{SU}(N)$ Verlinde Sums

math.CO

math.NT

We study Verlinde sums $V_{n}(N,m)$, which for our purposes are finite sums of trigonometric functions $\{r_{x}\}$, associated to $\textrm{ SU}(N)$. In this article we prove the following results: (i) the polynomial $D_N(w):=\prod_x(w-r_x)$ is equal to, up to an explicit and computable factor, the iterated resultant of $Q(u)=u^m-1$ with an explicit elementary polynomial $W_N$ which is independent of $n$ and $m$; (ii) for fixed $N$ and $m$, $V_n(N,m)$ satisfies a linear recursion of order at most $\binom{m-1}{N-1}$, together with arguments showing that one actually has a recursion of length equal to the number of distinct roots of $D_{N}$; (iii) for fixed $N$ and $m$, a Binet-type closed form expressing $V_n(N,m)$ as an explicit finite sum of $n$-th powers of algebraic numbers which are rescaled reciprocals of the distinct roots of $D_N(w)$ is derived. Several explicit examples are provided for $N=2,3,4,5,6$ and $8$.

Square matrices with integer eigenvalues under entry permutations

math.RA

math.NT

We investigate the problem of which multisets of integer entries yield integer eigenvalues in every square matrix arrangement? Combining module reduction with a dyadic criterion for complete splitting of cubic polynomials, we first show that if the multiset has at least one zero entry, the only possibilities have either at most one nonzero entry or exactly two whose product is a perfect square. We then apply block embedding to extend it to higher dimensions, by obtaining a linear threshold on the number of zeros. For any multiset close to a nonzero constant, we use rank reduction to derive an exact criterion for one exceptional entry, thus yielding nonconstant examples in infinitely many dimensions, and to also derive an exact reduction for two distinct exceptional entries in dimension three. The general fully nonzero three-dimensional case remains open.

A Memory-Magic Exchange Law in Streaming Clifford+T Compilation

quant-ph

cs.IT

math.IT

math.NT

A phase that reaches a fault-tolerant processor in additive pieces can be remembered until the last piece arrives, or executed on arrival: the first option costs classical memory carried across rounds, the second costs magic states committed before the phase is known. We determine the exchange rate $\alpha$, committed $T$ gates per bit of memory forgone, for ancilla-free coordinatewise Clifford+$T$ compilation. The Ramanujan bound for the Clifford+$T$ lattice gives $\alpha\ge2$ with explicit constants, the square-root barrier of the spectral method. An elementary determinant method, using that quaternion numerators are lattice points on spheres in both real embeddings of $\mathbb{Q}(\sqrt2)$, counts words near an arbitrary rotation coset below that barrier and gives $\alpha\ge11/5$ asymptotically and unconditionally, and a height dichotomy for the resulting sphere sections raises this to $\alpha\ge17/7$. At Clifford-framed cosets the volume law holds up to subexponential factors: all but a vanishing fraction of $z$-rotations need $T$-count $(3-o(1))\log_2(1/\varepsilon)$, and processes whose committed pieces are close to Clifford-framed $z$-rotations, including per-rotation pipelines, have $\alpha\ge3-o(1)$, which a fractional-passthrough family attains under the Ross-Selinger typical-cost hypothesis. Under an equidistribution conjecture supported by exhaustive enumeration to $T$-count 22, $\alpha=3$ in general and memory should be shed in whole rotations. The bounds hold even when the phases cancel to the identity; side information enters through a conditional entropy; probabilistic mixing halves the costs but not the rate. With clean ancillas and a phase-gradient catalyst, table lookups batched across coordinates drive the rate to $O(1/\log\log(1/\varepsilon))$, so the constant-rate law is specific to coordinatewise synthesis.

Mordell--Lang plus Geometric Bogomolov

math.AG

math.NT

We prove a geometric version of Poonen's "Mordell--Lang plus Bogomolov" theorem for semi-abelian varieties in characteristic zero. This is a generalization of the Mordell--Lang conjecture and the geometric Bogomolov conjecture.

Classical and adelic Eisenstein series

math.NT

v2

We carry out ``Hecke summation'' for the classical Eisenstein series $E_k$ in an adelic setting. The connection between classical and adelic functions is made by explicit calculations of local and global intertwining operators and Whittaker functions. In the process we determine the automorphic representations generated by the $E_k$, in particular for $k=2$, where the representation is neither a pure tensor nor has finite length. We also consider Eisenstein series of weight $2$ with level, and Eisenstein series with character.

Asymptotic Fermat for signatures $(r,r,p)$ using the modular approach

math.NT

v2

Let $K$ be a totally real field, and $r\geq 5$ a fixed rational prime. In this paper, we use the modular method as presented in the work of Freitas and Siksek to study non-trivial, primitive solutions $(x,y,z) \in \mathcal{O}_K^3$ of the signature $(r,r,p)$ equation $x^r+y^r=z^p$ (where $p$ is a prime that varies). An adaptation of the modular method is needed, and we follow the work of Freitas which constructs Frey curves over totally real subfields of $K(\zeta_r)$. When $K=\mathbb{Q}$ we get that for most of the primes $5\leq r<150$ with $r\equiv 3,5\mod 8$ there are no non-trivial, primitive integer solutions $(x,y,z)$ with $2|z$ for signatures $(r,r,p)$ when $p$ is sufficiently large. Similar results hold for quadratic fields, for example when $K=\mathbb{Q}(\sqrt{2})$ there are no non-trivial, primitive solutions $(x,y,z)\in \mathcal{O}_K^3$ with $\sqrt{2}|z$ for signatures $(5,5,p), (11,11,p), (13,13,p)$ and sufficiently large $p$.

Towards a classification of $p^2$-discriminant ideal twins over number fields

math.NT

v3

Isogenous elliptic curves have the same conductor but not necessarily the same minimal discriminant ideal. In this article, we explicitly classify all $p^2$-isogenous elliptic curves defined over a number field with the same minimal discriminant ideal for odd prime $p$ where $X_0(p^2)$ has genus $0$, i.e., $p = 3$ or $5$. As a consequence, we give a list of all $p^2$-isogenous discriminant (ideal) twins over $\mathbb{Q}$ for such $p$.

Positive integral points on acyclic cluster varieties

math.NT

math.CO

math.RA

v4

We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory is a refinement and generalization of theorems of Mordell, Mohanty, and Schinzel to positive integers and higher dimensions by exhibiting examples of log K3 surfaces $xyz = G(x, y)$ and affine threefolds $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.

Algebraic approximations to linear combinations of S-units

math.NT

v4

Let $\Gamma\subset \bar{\Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers, let $\alpha_1,\ldots,\alpha_m$ be non-zero algebraic numbers, and let $\varepsilon >0$ be fixed. In this paper, we prove that there exist only finitely many tuples $(u_1, \ldots, u_m, q, p)\in \Gamma^m\times\mathbb{Z}^2$ with $d = [\mathbb{Q}(u_1, \ldots, u_m):\mathbb{Q}]$ such that for any two tuples $(u_1,\ldots,u_m)$ and $(u'_1,\ldots,u'_m)$, we have $\frac{u_{i_1}}{u_{i_2}}\neq \frac{u'_{i_1}}{u'_{i_2}}$ for $1\leq i_1\neq i_2\leq m$ and it is stable under Galois conjugation over $\Q$, $\max\{|\alpha_1 qu_1|, \ldots, |\alpha_m qu_m|\}>1$, the tuple $(\alpha_1qu_1, \ldots, \alpha_mq u_m)$ is not pseudo-Pisot and \[0< \left|\sum_{i=1}^m \alpha_iq u_i - p\right|<\frac{1}{\left(\prod_{i=1}^mH( u_i)\right)^{\varepsilon} |q|^{md+\varepsilon}},\] where $H(u_i)$ denotes the absolute Weil height. This result extends one of the main results of Corvaja-Zannier \cite{corv}. In addition, we prove a result similar to \cite[Theorem 1.4]{kul} in a more general setting. In our proofs, we exploit the subspace theorem based on the work of Corvaja-Zannier.

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

math.NT

v3

A positive integer $n$ is \emph{$2$-near perfect} if $\sigma(n)=2n+d_1+d_2$ for two distinct positive divisors $d_1,d_2$ of $n$. We give a complete classification of $2$-near perfect numbers of the form $2^kp^m$ with $p$ an odd prime and $m\ge3$: every such number belongs to the family $2^k(2^{k+1}-1)^3$, where $p=2^{k+1}-1$ is a Mersenne prime and the omitted divisors are $p$ and $p^2$, and all such numbers are $2$-near perfect. In particular, there are infinitely many $2$-near perfect numbers in this family if and only if there are infinitely many Mersenne primes. Under the standard conjecture that there are infinitely many Mersenne primes, this disproves a conjecture of Aryan, Madhavani, Parikh, Slattery, and Zelinsky that only finitely many such numbers exist. Combined with prior work handling $m\in\{1,2\}$, this yields a complete characterization of all $2$-near perfect numbers with exactly two distinct prime factors.

Rational points on modular curves via maps to elliptic curves with rank zero

math.NT

v3

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le \mathrm{GL}_2(\mathbb{Z}/N\mathbb{Z})$, there is a modular curve $X_G$ whose rational points parametrize elliptic curves for which the image of the mod $N$ Galois representation is contained in $G$. If $X_G$ admits a map to an elliptic curve $E/\mathbb{Q}$ for which $E(\mathbb{Q})$ has rank $0$, then its rational points can be effectively determined, provided that a map $X_G \to E$ is known. In this article, we give a method for constructing such maps. Using this method, together with existing methods and results, we systematically determine the rational points of $X_G$ for more than $99\%$ of modular curves of level at most $70$.

Solutions of Calabi-Yau Differential Operators as Truncated p-adic Series and Efficient Computation of Zeta Functions

math.NT

hep-th

math.AG

v2

Recently, a version of the deformation method developed in arXiv:2104.07816 has been used to great effect to compute the local zeta functions of Calabi-Yau threefolds by computing their periods as series with rational coefficients and using this to find a matrix representing the Frobenius action on a $p$-adic cohomology. However, this method rapidly becomes inefficient as the prime $p$ grows, due to the rational period coefficients growing quickly. In this paper, we point out that this problem can be circumvented by a simple process that we call $p$-adically truncated recurrence. This is a recurrence relation whose solutions are $p$-adic numbers modulo $p^A$ for a given $A \in \mathbb{N}$ and thus grow only slowly as $p$ grows. We show that the $p$-adic accuracy $A$ can be chosen such that all $p$-adic digits which contribute to the final result are kept, and therefore we are able to obtain the correct result by using these solutions. The improvements to speed and memory usage allow for computing the local zeta functions for tens of thousands of primes on a desktop computer, and make computing local zeta functions possible even for primes of size $10^6$ to $10^7$. Previously such computations were practically possible for around 1000 first primes. We have implemented this method in a Sage-compatible Python package PFLFunction.

The asymptotic oscillations of moments related to Dirichlet series with missing digits

math.NT

v2

We prove that the (suitably rescaled) moments of certain discrete measures on the unit interval, which are related to the numerical evaluation of zeta series with missing digits in radix $b$, are asymptotically $1$-periodic in the base $b$ logarithm of the index, i.e. asymptotically invariant under multiplication by $b$ of the index.

Voronoi-Hankel Transforms

math.NT

v2

Let $\pi$ be a generic irreducible representation of $\mathrm{GL}_n(\mathbf{F})$ for a local field $\mathbf{F}$. We introduce the Voronoi--Hankel transform $\mathcal{VH}_{\pi}$ for $\pi$, and prove it is equivalent to the $\pi$-Fourier transform introduced by Jiang--Luo. We give an extension $\widetilde{\mathcal{VH}}_{\pi}$ of $\mathcal{VH}_{\pi}$ to some larger class of functions on $\mathbf{F}^{\times}$, and prove the multiplicativity with respect to parabolic induction via the above-mentioned equivalence. For non-archimedean $\mathbf{F}$ we give a systematical study of the relevant kernel function, including the asymptotic behavior at $0$ and $\infty$, as well as some simple integral representation based on the local Langlands correspondences for the essentially tame supercuspidals. As an application in the non-archimedean case, we give an effective version of the stability theorem for the twisted local gamma factors.

Congruences for Overcubic Partition $k$-Tuples

math.NT

math.CO

v2

In the last few years, a number of authors have proved divisibility properties satisfied by various functions which count the number of overcubic partition $k$--tuples of weight $n$ for small values of $k$. In this work, we use generating functions to prove some of their results as well as multiple infinite families of new congruences for overcubic partition $k$-tuples which do not yet appear in the literature. In particular, we focus on a new perspective which provides insights as to why these functions are often divisible by powers of 2, and we also prove families of congruences whose moduli are odd. For example, we prove that, for all $m\geq 0$, $\OL{b}_{4}(22m + 11) \equiv 0 \pmod{11}$ and we also prove infinite families such as $\OL{b}_{9l+2}(9m+3) \equiv 0 \pmod{3}$ for all $m,l\geq0$.

Procounting measures and the Bateman--Horn conjecture

math.NT

v2

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

A Classification of Small MSTD Sets in Arbitrary Fields

math.NT

v2

A finite set $A$ in an additive abelian group is a More Sums Than Differences (MSTD) set if $|A+A| > |A-A|$. We prove that no MSTD set of size $5$ exists in an additive abelian group. Using a computer program inspired by Hegarty, we then obtain classifications of MSTD sets of sizes $6$, $7$, $8$, and $9$ in arbitrary fields. We also investigate the minimal cardinality of MSTD sets that are multiplicative subgroups of $\Z/p\Z$.

Hecke structure of quaternionic modular forms mod $p$

math.NT

math.AG

v2

We relate the systems of Hecke eigenvalues arising from the (mod $p$) modular forms on the Shimura curve attached to the indefinite quaternion algebra $B$ of discriminant $\delta$ over $\mathbf{Q}$ to the systems of Hecke eigenvalues arising from the (mod $p$) algebraic modular forms attached to the definite quaternion algebra $D$ of discriminant $p\delta$. Moreover, we discuss details of the Hecke structure on the latter spaces, following ideas of Serre. The entire setup can be seen as a Shimura curve analogue of Serre's letter to Tate on quaternions and modular forms. The bijection between the sets of systems of Hecke eigenvalues is a special case of recent work of Terakado and Yu; the novelty of this paper is the explicit nature of the construction, allowing for finer control of its behaviour with respect to weights, as well as the results on the Hecke module structure.

Real quadratic fields and finite quantum dilogarithms I

math.NT

math.QA

v2

We prove that Stark--Shintani ray class invariants (Stark units) associated to real quadratic fields are algebraic numbers. These invariants are given by special values of Faddeev's modular quantum dilogarithm, introduced by Garoufalidis--Kashaev--Zagier. Our main discovery is that special values of the modular quantum dilogarithm satisfy an explicit overdetermined system of polynomial equations, matching a variation on the defining equations of Andersen--Kashaev's notion of a quantum dilogarithm on a product of two cyclic groups. We give two and a half proofs that this system of equations defines a zero-dimensional variety. The simplest follow from an uncertainty principle for finite Fourier transform and $2$-adic valuation bounds. The last proof is more involved and shows finite quanatum dilogarithms can be used to categorify fusion rings introduced by Izumi, and the algebraicity of the special values then follows by Ocneanu's rigidity theorem. As a byproduct, we obtain an explicit infinite family of irrational near-group fusion categories. As a further application, we prove a family of quadratic relations for Stark units recently conjectured by Appleby, Flammia, and Kopp motivated by Zauner's conjecture about SIC-POVMs (complex equiangular lines).

Prime-Detecting Identities from Dirichlet Inversion

math.NT

v2

For each integer k >= 1, let sigma_k(n) = sum_{d|n} d^k, let sigma_k^{-1} denote its Dirichlet inverse, and let J_k denote the kth Jordan totient function. Using established prime-power values of sigma_k^{-1}, we first obtain the elementary criterion sigma_k^{-1}(n) + J_k(n) + 2 = 0 precisely when n is prime. At k = 1, this involves Euler's totient J_1 = phi and provides a prime-only comparison for the next equation. Our main result classifies the zeros of sigma_k^{-1}(n) + mu(n) + J_k(n) + 3: for k = 1, they are precisely the primes and 18; for k >= 2, they are precisely the primes. The proof separates integers according to their prime-exponent patterns. Sign and divisibility arguments exclude composite zeros outside the cube-free nonsquarefree case, where an additional divisibility condition isolates 18 at k = 1 and precludes composite zeros for higher k. Standard convolution and Lambert-series identities provide the arithmetic framework, while an intermediate-divisor relation explains the exceptional zero. These criteria are structural characterizations rather than efficient primality tests, since direct evaluation of the multiplicative formulas generally presupposes a factorization of n.

Complete classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$

math.NT

v2

We solve Conjecture 1.6 of Furio and Lombardo [On $7$-adic Galois representations for elliptic curves over $\Q$, Proc.\ London Math.\ Soc.\ (3) \textbf{133} (2026), e70193.]. As a consequence, we complete the classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$. This is the first solved case in Problem 6.2 from Balakrishnan [\emph{Chabauty and beyond: Explicit p-adic methods for rational points}, Proceedings of the International Congress of Mathematicians 2026 - Volume 3: Invited Lectures (Sections 1-4), 321-341, 2026]. The proof is the result of a long AI-training period by the author from June 2026 to September 2026. The author has been working on this project alone without the help of any other.

The Combinatorics of the Leading Root of the Partial Theta Function

math.CO

math-ph

math.MP

math.NT

v2

Let $x_0(q)=-\xi_0(q)$ be the leading formal root of $\Theta_0(x,q)=\sum_{n\geq0}x^nq^{\binom n2}$. I give here explicit combinatorial interpretations of the positive integer coefficients of $\xi_0(q)=1+q+2q^2+4q^3+9q^4+\cdots$ in terms of rooted trees enriched by stack polyominoes or certain Ferrers diagrams, weighted by total area. The two enrichments may be chosen independently at each level of the tree. A decomposition along the first-child path gives a combinatorial interpretation of $1-\xi_0^{-1}$. By reserving two successor slots at the root, I also obtain an interpretation of $1-\xi_0^{-2}$ and its zero coefficient in degree three. The sequence decomposition gives a Lyndon-word interpretation of the Euler-product exponents and proves their positivity and weak monotonicity. Finally, I derive the coefficient asymptotic $[q^n]\xi_0(q)\sim \xi_0(\rho)\rho^{-n}n^{-3/2}/(2\sqrt\pi)$, where $\rho$ is the radius of convergence. The tree models are equinumerous with the braid classes studied by Flores and Gonz\'alez-Meneses.

A bilinear approach to the finite field restriction problem, II

math.CA

math.NT

v2

Let $P_3$ denote the three-dimensional paraboloid over a finite field of prime order in which $-1$ is not a square. We prove that the Fourier extension operator associated with $P_3$ maps $L^2$ to $L^r$ for $r>\frac{176}{51}=3.45098\ldots$. The argument combines the author's bilinear approach to the problem with point-line incidence estimates. We also prove that the extension operator associated with the paraboloid $P_6$ in six dimensions maps $L^2$ to $L^{8/3}$. This was previously known up to but not including the endpoint, and is the sharp $L^2$ estimate in six dimensions. Finally we observe that the endpoint restriction conjecture for $P_3$ in finite fields implies that the integer lattice points on the $3$-d Euclidean paraboloid are a $\Lambda(3)$ set.

Oort's conjecture for split unitary Shimura varieties

math.AG

math.NT

v2

We prove that generically on the basic stratum of split unitary Shimura varieties, the universal abelian variety with endomorphism structure and polarization has minimal automorphism group in a precise sense, except for a few degenerate cases. This is a direct analogue of Oort's conjecture on automorphisms of supersingular abelian varieties. On the way, we explicitly compute the generic automorphism group of the universal $p$-divisible group in a given basic isogeny class.

A Szemer\'edi-Trotter Theorem in Arbitrary Fields

math.CO

math.CA

math.NT

v2

Let $k$ be a field of characteristic $p\ge0$. We prove that $m$ points and $n$ lines in $k^2$ determine $O((mn)^{2/3}+m+n+mn/p)$ incidences, the last term being omitted in characteristic zero. The proof uses the polynomial method, and for $m=n$ the bound is sharp over prime fields. As applications, over prime fields in which $-1$ is not a square we obtain the $L^2\to L^r$ extension estimate for the paraboloid in $\F_p^3$ for $r>10/3$. Over every odd prime field, we show that a two-source extractor construction of Bourgain has exponentially small error at every min-entropy rate greater than $1/3$. We also improve sum-product estimates for small sets in positive characteristic and obtain projection and Furstenberg estimates over prime fields.