Number Theory [math.NT]

A proof of Hare's $\epsilon$ unfair conjecture

math.NT

In this paper, we prove Hare's $\epsilon$-unfair conjecture in [Computational progress on the unfair 0--1 polynomial conjecture, Experiment. Math. (2025), https://doi.org/10.1080/10586458.2025.2527786].

The density of long runs of non-$r$-free integers

math.NT

Fix $r\ge2$ and let $D_k$ be the natural density of the $n$ such that none of $n+1,\dots,n+k$ is $r$-free. We prove that $\log(1/D_k)=\frac{r-1}{\zeta(r)}k\log k+\frac{r}{\zeta(r)}k\log\log k-C_rk+o(k)$, where $C_r=\frac{1}{\zeta(r)}((r-1)\log\zeta(r)+r-1+r\log\frac{\pi}{r\sin(\pi/r)})$; for $r=2$ this is $C_2=\frac{6}{\pi^2}(1+\log\frac{\pi^4}{24})=1.4595513\dots$. This determines Mirsky's constant $\alpha(h)$, the density of the $n$ with $s_{n+1}-s_n=h$ in the squarefree numbers, to the same precision. Previously the only known estimate was $\log\alpha(h)\le-\frac54 h\log\log h+O(h)$; ours improves this by a factor of order $\log h/\log\log h$, and is two-sided. The upper bound rests on the observation that the primes $p\le z$ with $\prod_{p\le z}p^r\le\sqrt k$ sieve a window of length $k$ with no freedom of alignment, so that at least $(1/\zeta(r)+o(1))k$ positions must be covered by $r$-th powers of distinct primes exceeding $k^{1/r}$. The resulting sum over injections is $m!e_m$ with $m\sim k/\zeta(r)$, evaluated by a saddle point. For the lower bound the Chung-Erdos inequality recovers the full contribution of $m!e_m$ rather than merely its largest term, which is what makes the linear coefficient explicit. As a consequence the first-moment threshold for gaps between $r$-free numbers is $\frac{\zeta(r)}{r-1}\frac{\log x}{\log\log x}(1-\frac{(1+o(1))\log\log\log x}{(r-1)\log\log x})$; for $r=2$ the constant is $\pi^2/6$, that of Erdos's 1951 lower bound. We also prove that every covering system of length $k$ has modulus at least $\exp((\frac{r}{\zeta(r)}+o(1))k\log k)$, so the Chinese remainder construction yields only $\zeta(r)/r$, half of $\pi^2/6$ when $r=2$. Erdos's bound is thus equivalent to the assertion that the first run of $k$ consecutive non-$r$-free integers occurs at the first-moment threshold, not at the scale set by the minimal modulus of a covering system.

Spectral Algebras of Abelian Cayley Graphs

math.NT

Let $G$ be a finite abelian group of order $N$, $S \subseteq G \setminus \{0\}$ a symmetric connection set, and $K$ a field with $char(K) \nmid N$. The spectral algebra $\mathscr{A_K}(Cay(G,S)) = K[A]$ generated by the adjacency matrix of the Cayley graph is proved to decompose, via the character-orbit decomposition, as a semisimple product of field extensions of $K$, one factor for each $Gal(\overline{K}/K)$-orbit of the eigenvalues $\lambda_\chi = \sum_{s \in S} \chi(s)$. The proof uses the abelian discrete Fourier transform to diagonalise $A$, the Galois action on the character group $\widehat{G}$ to partition eigenvalues into orbits, and the Chinese Remainder Theorem to convert the squarefree minimal polynomial into a Wedderburn product. The dimension of $\mathscr{A_K}(Cay(G,S))$ equals the number of distinct eigenvalues, the idempotent count is $2^r$ where $r$ is the orbit number, and primitive idempotents are computed explicitly via the Bezout algorithm in $K[x]$. Over $\mathbb Q$, every Wedderburn summand is a real subfield of the cyclotomic field $\mathbb Q(\zeta_N)$. New results include: a tensor-product comparison for Cartesian products of Cayley graphs; a systematic analysis of the spectral algebra for elementary abelian groups $(\mathbb Z/p)^k$ (rational for $p \le 3$, requiring real cyclotomic extensions for $p \ge 5$); and a worked orbit analysis for non-cyclic groups including $\mathbb Z/6 \times \mathbb Z/2$ and $\mathbb Z/5 \times \mathbb Z/2$. The cyclic case recovers the companion result $\mathscr{A}_{\mathbb{Q}}(C_n) \cong \prod_{d \mid n} \mathbb Q(\zeta_d)^+$; the Hamming cube gives $\mathscr{A}_\mathbb{Q}(\mathbb Q_k) \cong \mathbb{Q}^{k+1}$. The characteristic-$p$ case is also treated.

Triple intersections for algebraic curves on the real torus

math.NT

math.AG

math.DS

Motivated by a question of Corvaja and Zannier, we investigate whether the projections on the real torus of three real algebraic plane curves admit infinitely many triple intersections. We analyze the case of three lines in detail, obtaining a complete classification. For higher-degree curves, we derive several finiteness results using Siegel's and Levin's theorems on integral points on curves. On the other hand, we construct explicit examples of higher-degree curves with infinitely many triple intersections.

Cyclotomy of symmetric polynomials

math.NT

We prove some new identities for homogeneous symmetric polynomials when evaluated at roots of unity. Some of these formulas are applied to obtain new insights onto cyclotomic polynomials.

Effective Euler Sums

math.NT

Euler sums, also called alternating multiple zeta values (MZVs), have been shown to play important roles in many research areas in mathematics and theoretical physics. Motivated by a similar conjecture for MZVs by Kaneko and Zagier, the author proposed a conjectural isomorphism between the space of finite Euler sums and the space of classical ones modulo $\zeta(2)$-products. In this paper, we explicitly construct those finite elements (for which we call effective Euler sums) that correspond to the classical Euler sums under this conjecture in depth one and two. In the appendix, we offer another group of plausible candidates of effective Euler sums when depth is two and weight is even, by extending the heuristic argument of Kaneko and Zagier for the double zeta case. Kina recently obtained independently some the same results in the MZV setting. In particular, using one of his results we prove in the appendix that Kaneko and Zagier's heuristically defined effective double zeta values coincides with ours.

The addition on totally positive integers uniquely determines the totally real number field

math.NT

Let $K$ be a totally real number field. We prove that the totally positive algebraic integers $\mathcal O_K^+$ of $K$, viewed as an abstract additive semigroup, uniquely determine $K$. We also describe all the additive relations by giving a presentation of $\mathcal O_K^+$ in terms of indecomposables as generators and a certain concrete set of generating relations. In fact, we obtain this presentation in a more general class of discrete semigroups which we call semilattices.

Generic Manin-Mumford

math.NT

math.AG

Given a collection of algebraic numbers $\mathcal{S}\subset \overline{\mathbb{Q}}$ we study the varieties $V$ in $\mathbb{A}^m_\mathbb{C}$ such that $V(\mathbb{C})\cap\mathcal{S}^m$ is Zariski-dense in $V$. We show that for many classical families of algebraic numbers $\mathcal{S}$---such as the family of roots of generalized Laguerre polynomials $L_n^{(\alpha)}(x)$, for a finite collection of $\alpha\in \mathbb{Q}$---an unlikely intersections theorem holds. For example, in the case $m=2$, we prove that an irreducible curve in $\mathbb{A}^2_\mathbb{C}$ has infinitely many points from $\mathcal{S}^2$ if and only if it is of the form $x_1=x_2,$ or $x_1=s$, or $x_2=s$ for a fixed $s \in \mathcal{S}$. This is an analogue of the classical theorems of Ihara, Serre, and Tate, treating the case of $\mathcal{S}$ consisting of the roots of unity, and of the Manin--Mumford conjecture. We also show that a similar result holds almost surely for roots of a collection of random polynomials of growing degree and bounded height. The proofs rely on a uniform Galois-theoretic criterion ensuring the unlikely intersection property.

Regular Arithmetic Functions, Volume I. Theory, Applications, Examples

math.NT

This is the first of two volumes on regular arithmetic functions, and an introduction to their theory. A regular arithmetic function (RAF) is a kernel whose properties come from a single defining equation. Let $G(n,k)$ be a function of two integer variables with $G(n,n)\neq 0$, and for each $\beta$ define a sequence $(a_k)$ by $\sum_{k\le n} a_k G(n,k)=n^{-\beta}$, solved rank by rank with nothing to assume and no convergence to establish. Then $G$ is regular when the partial sums $\sum_{k\le n} a_k$ change behaviour at one exponent. Below it they reproduce the forced rate, above it they absorb it. That tipping point is the regularity index $\alpha(G)$, a quantity belonging to the kernel itself. The index came out of analogies, experiment and observation, and it is arithmetic by nature. Its most visible application is the Riemann hypothesis, which holds if and only if Ingham's kernel $G(n,k)=(k/n)\lfloor n/k\rfloor$ is a RAF of index $1/2$. It is not the only one. On a problem of a quite different kind the same theory improves the known decay bound for the orthorecursive expansion of unity. Seventeen kernels are worked out in a gallery, so that the notion can be handled by the reader. What is conjectural, conditional or open is marked as such and collected in a register. Volume II is given over to that kernel alone, with its connection to the world of Hasse-Weil zeta functions through a gauged system.

What Does MMLU Actually Measure? A Psychometric Audit of Difficulty Structure in Aggregate Benchmark Scores

math.NT

cs.CL

Although MMLU is widely adopted as a benchmark for calibrating general AI capabilities, we psychometrically demonstrate that its aggregate score primarily evaluates a model's factual retrieval capacity rather than its reasoning ability. By calibrating item difficulty for 1,000 open-weights language models over 14,042 MMLU test items using Item Response Theory, we show that evaluating both abilities via a single test is inherently flawed. Difficulty is then regressed on a deterministic, text-extractable framework of structural complexity. Applying a joint Wald test with subject-clustered covariances demonstrates that the MMLU conflates fundamentally separable constructs. The mapping from structural complexity to difficulty is not invariant across the benchmark's STEM and non-STEM partitions. This finding has practical consequences. Aggregate leaderboard ranks track non-STEM accuracy more closely than STEM accuracy, so selecting a Top-50 model on the aggregate for a reasoning-intensive deployment displaces roughly 22% of the STEM-appropriate choices. Furthermore, when controlling for the multiple-choice guessing floor natively inside the response model, we find that higher-ability models continue to degrade more steeply under increased reasoning depth. The MMLU aggregate therefore weights retrieval capacity and reasoning stability unequally, inadvertently favoring models optimized for retrieval. We release our deterministic framework as a reproducible auditing instrument and recommend disaggregated reporting.

Models of Elliptic Curves with Maximal 2-adic Image Subject to a Rational 2-Isogeny

math.NT

Let $E$ be a non-CM elliptic curve defined over $\mathbb{Q}$. We present models of curves that have 2-adic image as large as possible, given the constraint that they have a rational 2-isogeny. These curves are known to be generic, and one of the aims of this article is to make that fact explicit. Our techniques make use of modular curves and their $j$-maps, as well as classification results on isogeny-graphs that have appeared in the literature recently.

Integer group determinants for the elementary abelian group of order 49

math.NT

Let $G=C_7\times C_7$, and let $S(G)$ denote the set of integer values of its group determinant. We determine $S(G)$ by classifying the values divisible by $7$; the coprime values are already known. Every nonzero divisible value has valuation at least $10$, and every multiple of $7^{12}$ occurs. At valuations $10$ and $11$, we give necessary and sufficient conditions on the cofactor in terms of two additive invariants of ideals in $\mathbb{Z}[\zeta_7]$. The first condition is a bounded signed sum of prime-ideal invariants. The second requires a prime ideal with nonzero invariant pair whose norm divides the cofactor. Neither cofactor set is a union of congruence classes modulo any positive integer. The least positive divisible value is $43\cdot7^{10}$, and the least positive value of valuation $11$ is $8\cdot7^{11}$. The proof combines integral reconstruction from character values with a calculation of the global-unit image modulo $7$. We conclude by identifying the additional local conditions and realization problems that arise at primes at least $11$.

The three Kanade-Russell identities modulo nine

math.NT

math.CO

We prove the three symmetric Kanade-Russell identities modulo nine.

From Pythagorean Runs to Pell-Generated Cubic Runs

math.NT

A classical Pythagorean run is an identity in which a block of consecutive squares is equal to the immediately following block of consecutive squares. Boardman's construction gives such a run for every prescribed length. We consider a cubic analogue in which the second block is allowed to have common difference 2. We prove that there are infinitely many positive integer triples \((m,A,B)\), with \(B>A+2m-1\), such that $$ \sum_{j=0}^{2m-1}(A+j)^3 = \sum_{j=0}^{m-1}(B+2j)^3. $$ An explicit infinite family is obtained from the Pell-type equation $$ 48329z^2-156m^2=161, $$ which reduces to a generalized Pell equation in normalized form. The ordering condition ensures that the step-2 progression begins strictly after the consecutive block ends. The resulting sequence of half-lengths satisfies an explicit second-order linear recurrence.

An elementary approach to Sun Kim's general theta function identities

math.NT

math.CO

Ramanujan's modular equations of degrees $3$, $5$, $7$, $11$ and $23$ are closely related to certain theta function identities. Warnaar generalized the identities arising from the modular equations of degrees $3$ and $7$ to a general theta function identity. Kim subsequently obtained a further general theta function identity associated with the modular equations of degrees $5$, $11$ and $23$, and established several general theta function identities containing known partition theorems as special cases. In this paper, we present an elementary approach to Kim's general theta function identities, yielding $q$-series proofs of these identities within a common framework.

Universal norms and de Rham representations

math.NT

The purpose of this note is to show that the computation of the universal norms in Iwasawa cohomology for the $p$-adic cyclotomic extension implies the same result for any $p$-adic extension that contains the cyclotomic extension. In addition, we prove a twisted cyclotomic variant, which applies to Lubin--Tate extensions.

Unramified Motivic Alternating Multiple Mixed Values

math.NT

math.AG

Many variants of the multiple zeta values have been studied in recent years. There are a few among them that remain to be real numbers, such as the multiple mixed values defined by the authors as level-two generalizations, which include both Hoffman's multiple $t$-values and Kaneko--Tsumura's multiple $T$-values. A central question is when such a value descends to level one, that is, when it can be expressed as a $\Q$-linear combination of multiple zeta values. We call these values unramified. In this paper, we further consider the alternating version of the above variants and identify five families of unramified alternating multiple mixed values using the descent theory of Brown and Glanois. We conjecture that all unramified truly alternating multiple mixed values are given in this paper.

Non-vanishing of symmetric square $L$-functions in the weight aspect

math.NT

We prove a new asymptotic formula for the second moment of symmetric square L-functions in the weight aspect on average. This result implies that the associated L-function is non-vanishing at the central point for at least 76.69% of holomorphic Hecke cusp forms of bounded weight, improving the previous bound of 70.37%.

Pencils of norm form equations and a conjecture of Thomas, II

math.NT

We continue our studies on parametric norm forms $F_t({\bf x})$, with ${\bf x}=(x_0,x_1,\ldots,x_{d-1})$ lying in some parametric linear subvariety $W_t$ and integers $t$ sufficiently large. In a previous paper [Am-Ma-Za2] we proved some effective specialization results for integer solutions $\bf x$ of $F_t({\bf x})=1$. Here we modify our techniques to treat $F_t({\bf x})=q$ for an arbitrary integer $q$. Under mild conditions (not however including the crucial index assumption in [Am-Ma-Za2]) we show that all $\bf x$ are polynomially bounded in terms of $|q|$ and $t$. As in [Am-Ma-Za2] we use the methods of our paper[Am-Ma-Za] based on diophantine approximation techniques to bound certain heights. In particular we do not use linear forms in logarithms and indeed it seems unlikely that those can lead to such polynomial bounds, even for Thue equations in two variables with $x_2=\cdots=x_{d-1}=0$. We present an example with eight variables.

Diophantine approximation with primes in an arithmetic progression

math.NT

Let $\alpha \in \mathbb{R} \setminus \mathbb{Q}$, $\beta \in \R$, $N \in \mathbb{R}_{\ge 1}$ and $ \Delta \in (0, 1/2)$. For any real $y$, let $\|y\|$ denote the distance from $y$ to the nearest integer. In the first part of this paper, we show that given two coprime integers $u, v \ge 1$, there are infinitely many primes $\ell \equiv u \bmod v$ such that $ \|\alpha \ell - \beta\| \ll_v \ell^{-1/4} \log^{8} \ell. $ In order to prove this result we first prove the following general theorem and then deduce the above as a corollary. Before stating the result, let us define a function on $f_{\Delta}(\theta)$ on $\R$ such that $f_{\Delta}(\theta)$ is $ 1 \text{ if } \| \theta \| < \Delta$ and $ 0 $ otherwise. Further, suppose that $u, v \in \mathbb{Z}_{\ge 1}$ are coprime and $a$, $q \in \Z$ are coprime with $q> N^{1/4}$ and $|\alpha v -a/q| \le 1/q^2$. Then, for every $\epsilon \in \mathbb{R}_{>0}$ we have \begin{equation*} \sum_{\substack{n=1 \\ n \equiv u \bmod v}}^N \Lambda(n) (f_{\Delta}(\alpha n - \beta) - 2\Delta) \ll_v (Nq^{-1/2} + N^{3/4} + N^{5/6}\Delta^{1/2} + (\Delta Nq)^{1/2} + N^{\epsilon}q \Delta^{1-\epsilon}) \mathcal{L}^8 \end{equation*} where $\mathcal{L}=\log (Nq/\Delta)$. This generalises a well known result of Vaughan from 1977 proving a similar bound for the sum \begin{equation*} \sum_{\substack{n=1}}^N \Lambda(n) (f_{\Delta}(\alpha n - \beta) - 2\Delta). \end{equation*} In the second part of this paper, we explicitly construct an uncountable set $S \subset \R\setminus \Q$ such that for every $\gamma \in S$ there are infinitely many primes $\ell \equiv u \bmod v$ satisfying $\| \gamma \ell \| < \ell^{-1}$. Further we prove unconditionally that not all the elements of $S$ are Liouville numbers. This addresses a question of Erd{\"o}s and Mahler from 1939.

A Counterexample to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in $\mathbb{Z}_p$

math.NT

math.RA

Let $p$ be a prime and let $A,B$ be nonempty subsets of the cyclic group $\mathbb{Z}_p$ with $|A|\neq |B|$. The Alon--Nathanson--Ruzsa theorem gives the lower bound \[ |A\rplus B|\ge \min\{p,\,|A|+|B|-2\}, \] where $A\rplus B=\{a+b:a\in A,\ b\in B,\ a\neq b\}$ is the restricted sumset. The inverse problem of characterizing all critical pairs $(A,B)$ attaining equality was posed by Alon, Nathanson, and Ruzsa in 1996 and remains open. Recently, Liu and Qian solved the inverse problem under the assumption that at least one of the sets is an arithmetic progression, and proposed a conjecture for the general case. In this paper, we first exhibit a counterexample to their conjecture, which arises in the boundary case $|A|+|B|=p$. This counterexample shows that the original conjecture is false without additional restrictions. Motivated by this, we formulate and prove a refined inverse theorem under the natural hypothesis $|A|+|B|\le p-1$. Our proof relies on the results of Liu and Qian together with a new counting argument.

Inertial multiplicity bounds for two dimensional projective representations and bounds for the number of $\operatorname{PSL}_2(\mathbb{F}_q)$ and $\operatorname{PGL}_2(\mathbb{F}_q)$ number fields

math.NT

We prove upper bounds for certain number field counting functions using Serre's modularity conjecture (now a theorem of Khare--Wintenberger). These results are comparable to sharp upper bounds for the number of abelian extensions with fixed or bounded discriminant, with Serre's modularity conjecture playing the role of class field theory.

Faltings' Isogeny Theorem via Equidistribution

math.NT

math.AG

We give a new proof of Faltings' isogeny theorem. More precisely, we show that Yuan's non-archimedean equidistribution theorem can be used to "pump" homomorphisms and semisimplicity from finite fields to number fields, thereby reducing Faltings' theorem directly to Tate's theorem.

Quasi-modularity of symmetric quasi-shuffles

math.NT

math.CO

math.QA

We develop an algebraic framework for the quasi-modularity of symmetric multiple $q$-zeta values. We identify natural classes of symmetric quasi-shuffles whose $q$-zeta values exhaust the algebra of level-one quasi-modular forms, and further classes whose $q$-zeta values are quasi-modular forms of finite level. We also obtain explicit symmetrization formulas and relate symmetric quasi-shuffles to symmetric and quasisymmetric functions.

Sharp local estimates for smooth numbers

math.NT

We establish sharp local estimates for smooth numbers. Corollaries are derived, including optimal estimates for square-free smooth numbers.

On the syntomic regulator of the Hesse cubic curves and $p$-adic hypergeometric functions

math.NT

math.AG

We introduce a new type of $p$-adic hypergeometric function, which satisfies congruence relations similar to Dwork's $p$-adic hypergeometric function. Also, we prove that the syntomic regulators of the Hesse cubic curves are expressed in terms of the special values of our new $p$-adic hypergeometric functions. We also show that there is a transformation formula between our new $p$-adic hypergeometric function and a $p$-adic hypergeometric function of logarithmic type defined by Asakura.

Integer group determinants for abelian groups of order 24

math.NT

We determine the integer group determinant sets for $C_{24}$, $C_2\times C_{12}$ and $C_2^2\times C_6$, the three abelian groups of order $24$. Character factorization expresses each determinant as a product of cyclotomic norms, whose components must satisfy integral compatibility conditions. The classifications are constructive and reduce each nonzero signed integer to valuation conditions at $2$ and $3$ and a finite test on its remaining prime factors. The tests use conductor quotients and norm-preserving global units. Each prime contribution has a uniform bound independent of its multiplicity, and successful tests yield integer coefficients realizing the prescribed determinant. The critical cyclic strata share one compatibility group. For $C_2^2\times C_6$, a normalized rational--Eisenstein pair settles the odd values and most even strata; target stabilizers reduce the remaining tests. We also prove that the odd determinant set of $C_2^2\times C_6$ is properly contained in that of $C_2\times C_{12}$, exhibit an infinite family in the difference, and determine the signed powers of two in all three sets. Exact arithmetic certificates and coefficient constructors accompany the proofs.

On the Number of Hecke Eigenvalues of Same Sign on $\mathrm{GL}_n$

math.NT

We study the distribution of signs of the (real-valued) Hecke eigenvalues $A(m,1,...,1)$ of self-dual Hecke--Maass cusp forms for the group $\mathrm{SL}_n(\mathbb Z)$, where $n\geq 2$ is an integer. Our main result establishes, under Generalised Ramanujan--Petersson Conjecture, that for almost all $x\sim X$ the short interval $[x,x+H]$ contains a subset $\mathcal S$ (resp. $\mathcal S')$ of size $\gg H(\log X)^{1/n^2-1}$ such that $A(m,1,...,1)$ is positive (resp. negative) for all $m\in\mathcal S$ (resp. $m\in\mathcal S'$), provided that $(\log X)^{1-1/n^2}\ll H\ll X$. We also prove a slightly stronger result unconditionally for $\mathrm{GL}_2$ and $\mathrm{GL}_3$ Hecke--Maass cusp forms. In addition, we obtain results under weaker bounds towards Generalised Ramanujan--Petersson Conjecture. Finally, as a by-product of our methods, we improve earlier bounds for the number of Hecke eigenvalues of same sign also in long intervals unconditionally for $\mathrm{GL}_2$ and $\mathrm{GL}_3$ Hecke--Maass cusp forms, and under Generalised Ramanujan--Petersson Conjecture for $\mathrm{GL}_n$ forms when $n\geq 4$.

Irreducibility of truncations of the Catalan generating function

math.NT

math.CO

We prove that, for every positive integer $n$, the polynomial $C_0+C_1x+\cdots+C_nx^n$ is irreducible over $\mathbb{Q}$, where $C_k$ denotes the $k$th Catalan number.

$B_h$-sets and perturbations in normed vector spaces

math.CO

math.NT

The subset $A = \{a_i:i \in I\}$ of a normed vector space is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. Let $\varepsilon = \{\varepsilon_i:i \in I\}$ be a set of positive real numbers. An $\varepsilon$-perturbation of $A$ is a set $A' = \{a'_i:i\in I\}$ such that $|a_i'-a_i|<\varepsilon_i$ for all $i \in I$. Let $\Delta_{hA} = \inf\{|x'-x| : x,x' \in hA \text{ and } x\neq x'\}$. It is proved that if $A$ is finite or countably infinite set with $\Delta_{hA}>0$, then there is a $B_h$-set $A'$ that is an $\varepsilon$-perturbation of $A$.

The algebraic geometry of 3-by-3 magic squares of squares

math.AG

math.NT

The question of whether a 3-by-3 magic square of squares with distinct integer entries exists has been open since the 18th century. We study the geometry of the algebraic surface parameterizing 3-by-3 magic squares of squares, which is a singular complete intersection of six quadrics in projective 8-space. We compute its geometric automorphism group via an argument involving Gale duality. We compute the basic topological invariants and Hodge diamond of its resolution. We provide an explicit rank 518 sublattice of its geometric Picard group, close to the Hodge-theoretic upper bound of 544. Finally, we study the geometry and arithmetic of del Pezzo, K3, and Enriques surfaces that arise as coordinate projections.

Positivity and Asymptotics for Chenevier's Orthogonal Polynomials

math.CA

math.NT

We prove the strict positivity conjectured by Chenevier for the critical vectors in the unconditional part of his automorphic Hermite--Minkowski theorem. The proof establishes strict negativity of all Verblunsky coefficients of a circle measure associated with the weight $(\arcsin x)/x$ on $(-1,1)$. A positive-kernel formula and the classical Schur algorithm give these signs, and a para-orthogonal transformation yields positivity in every degree. We also compute the positive density representing the negative of the Schur function as a Hausdorff moment generating function. After rescaling their indices to $[0,1]$, the normalized critical vectors converge weakly to the arcsine law, while Chenevier's critical scale is asymptotic to $8\pi/n$. At the critical boundary, a single nonzero effective integral vector is negative for every admissible test function exactly in odd degree and in degree zero. Finally, we prove an exact first-variation formula for exponential perturbations of the Legendre measure and derive its asymptotics for endpoint cusps. For the perturbation leading to Chenevier's weight, the derivative at the Legendre measure has a $(\log n)/(\pi^2n^2)$ term and an explicit constant at order $n^{-2}$. The corresponding nonlinear asymptotic remains conjectural.

Distinguished standard modules for $\mathrm{GL}_{2m}(\mathbb{C})/\mathrm{GL}_m(\mathbb{H})$

math.RT

math.NT

We characterize the standard modules of $\GL_{2m}(\C)$ that are distinguished by $\GL_m(\HH)$. Let $\delta_1,\dots, \delta_{2m}$ be characters of $\mathbb{C}^\times$. Assume that $S = \delta_1 \times \cdots \times \delta_{2m}$ is a standard module of $\GL_{2m}(\mathbb{C})$. For each $i$, define ${\delta_i^*} (z) = \delta_i(\overline{z})^{-1}$ for $ z \in \mathbb{C}^\times$. In particular, we conclude that a standard module for $\GL_{2m}(\mathbb{C})$ is distinguished by $\GL_{m}(\mathbb{H})$ if and only if there exists an involution $p\in S_{2m}$ without fixed points such that $\delta_{p(i)}=\delta_i^*$ for every $i$. We first verify the hypotheses of the multiplicity estimate theorem of Suzuki and Tamori in \cite{ST}. The orbit calculation of Matringe, Offen, and Yang in \cite{MOYglobal} then gives the necessary condition and a dimension bound. Then local intertwining periods prove sufficiency.

Counting number fields whose Galois group is a wreath product of symmetric groups

math.NT

math.DS

v3

Let $K$ be a number field and $k\geq 2$ be an integer. Let $(n_1,n_2, \dots, n_k)$ be a vector with entries $n_i\in \mathbb{Z}_{\geq 2}$. Given a number field extension $L/K$, we denote by $\widetilde{L}$ the Galois closure of $L$ over $K$. We prove asymptotic lower bounds for the number of number field extensions $L/K$ with $[L:K]=\prod_{i=1}^k n_i$, such that $Gal(\widetilde{L}/K)$ is isomorphic to the iterated wreath product of symmetric groups $S_{n_1}\wr S_{n_2}\wr \dots \wr S_{n_k}$. Here, the number fields $L$ are ordered according to discriminant $|\Delta_L|:=|Norm_{K/\mathbb{Q}} (\Delta_{L/K})|$. The results in this paper are motivated by Malle's conjecture. When $n_1=n_2=\dots =n_k$, these wreath products arise naturally in the study of arboreal Galois representations associated to rational functions over $K$. We prove our results by developing Galois theoretic techniques that have their origins in the study of dynamical systems.

Squares, three fleas, sporadic sets, and squares

math.NT

v3

Three fleas are on the plane. At each move, two fleas jump to the other two vertices of a square erected on the segment joining them. Starting from $\{(0,0),(2,1),(3,2)\}$, we ask which areas can occur for the triangle they span. Every positive half-integer occurs, and the attainable integer areas meet every residue class modulo every modulus. Yet no perfect square ever occurs. We explain this unexpected obstruction using quadratic reciprocity, and then uncover its geometric source: the flea dynamics are closely related to integral Apollonian circle packings. An exact computation up to $10^{12}$ finds only five additional missing nonsquares: $5,29,80,99,179$.

Generalized discrete Markov spectra

math.NT

math.CO

v5

We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this relation admits a cluster-combinatorial extension governed by generalized Markov numbers. Replacing the Christoffel-word formalism by snake graphs, we construct generalized discrete Markov spectra attached to the generalized Markov equations \[ x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz. \] Every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. We also prove structural results for these spectra, determine their contribution in the transition interval below Freiman's constant, and identify the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.

Integral points over number fields: a Clemens complex jigsaw puzzle

math.NT

math.AG

v2

We prove an asymptotic formula for the number of integral points of bounded log anticanonical height on a singular quartic del Pezzo surface over arbitrary number fields, with respect to the largest admissible boundary divisor. The resulting Clemens complex is more complicated than usual, and leads to particularly interesting effective cone constants, associated with exponentially many polytopes whose volumes appear in the expected formula. Like a jigsaw puzzle, these polytopes fit together to one large polytope. The volume of this polytope appears in the asymptotic formula that we obtain using the universal torsor method via o-minimal structures.

A Dynamical Lifting Problem For Additive Polynomials

math.NT

math.DS

v2

We introduce a dynamical analogue of the lifting problem for Galois covers of algebraic curves and find a negative solution for the collection of separable additive and semi-additive polynomials over $\overline{\mathbb{F}}_p$. We also explicitly compute the dimension of the space of linear conjugacy classes in $\mathcal{M}_{p^m}(\overline{\mathbb{F}}_p)$ which contain additive or semi-additive polynomials providing explicit counterexamples to Thurston Rigidity in positive characteristic.

On some Non-Permutations of Quadratic Extension of Finite Field

math.NT

v2

In this article, we study polynomials over $\mathbb{F}_{q^2}$ that do not permute $\mathbb{F}_{q^2}$. More precisely, we characterize polynomials of the forms $x^q + b x^2 + c x + d$ and $x^{q+1} + b x^q + c x + d$ over $\mathbb{F}_{q^2}$ according to whether they are permutation or non-permutation polynomials. To this end, we determine the exact number of zeros of these polynomials using existing results on certain special Weil sums.

Torsion growth of rational elliptic curves over $\Z_p$-extensions of quadratic fields

math.NT

v2

Let $E/\Q$ be an elliptic curve and let $\widetilde K_p$ be the compositum of all $\Z_p$-extensions of a quadratic field $K$. We prove that $E(\widetilde K_p)_{\tors}=E(K)_{\tors}$ for $p\geq5$. For $p=3$ and imaginary quadratic $K\neq\Q(\sqrt{-3})$, torsion on each extension is determined by its intersections with the cyclotomic extension and the $2$-division field. Over $\Q(\sqrt{-3})$, we construct infinitely many non-CM curves with full $3$-torsion in the first anticyclotomic layer and compute the $3$-primary torsion on every slope for eight CM curves. For $p=2$, we bound the odd-primary torsion and exclude all primes greater than $7$. We also give uniform bounds for non-CM primary torsion and correct two assertions in Li's preprint about noncyclotomic $\Z_3$-extensions.

Additive decompositions of multiplicative subgroups via differential identities

math.NT

math.CO

v2

S\'ark\"ozy conjectured that the nonzero quadratic residues modulo a sufficiently large prime have no nontrivial additive decomposition. Hanson and Petridis proved the conjecture for almost all primes, and Kalmynin completed the proof. Kalmynin also developed a general framework for additive decompositions of multiplicative subgroups. More recently, Rudnev and Tyrrell used this framework to classify all additive decompositions of proper multiplicative subgroups of prime fields, showing that the only nontrivial example is the subgroup of order $4$. We give a new self-contained proof of this classification that streamlines the arguments of Kalmynin and of Rudnev and Tyrrell. At the heart of the proof are two new global differential identities. They give an independent proof of Kalmynin's theorem that the two summands have equal size and ultimately reduce the classification to direct coefficient comparisons, avoiding the residue calculations and subsequent arithmetic analysis in the earlier arguments.

How many points does an affine algebraic set have in residue classes modulo n ?

math.NT

math.LO

v3

We show that for every uniform family of affine algebraic sets, there is a formula in the parameters of the family and in $n$, expressing the cardinality of the set in the ring $\mathbb Z/n \mathbb Z$. In particular, we construct such a formula for the elliptic curves in Weierstrass normal form. These formulas are arithmetic terms: fixed finite compositions of additions, multiplications, subtractions, divisions with remainder and integer exponentiations.

Luo's Spectral Large Sieve Inequality on Short Intervals

math.NT

v2

Let $u_j $ traverse an orthonormal basis of Hecke--Maass forms for $\mathrm{SL}_2 (\mathbb {Z}) $ with Hecke eigenvalues $\lambda_j (n)$ and Laplace eigenvalue $1/4+t_j^2$. In this paper, we consider the short-interval variant of the twisted spectral large sieve inequality of Luo for $ \lambda_j (n) n^{it_j} $ on the range $t_j \leqslant T$ and prove that the `Eisenstein--Kloosterman' cancellation discovered by Luo is effective on the interval $ T < t_j \leqslant T + M $ as long as $\sqrt{T} < M \leqslant T$. Moreover, our approach yields an improvement of the large sieve inequality of Luo.

Characterization of a class of complete permutation quadrinomials over $\mathbb{F}_{2^{2m}}$

math.NT

v2

Let $q=2^m$, $Q=2^k$, and $1\leq k\leq m-1$. We characterize complete permutation polynomials (CPPs) over $\mathbb{F}_{q^2}$ of the form \[ f(x)=c_0x^{Q+1}+c_1x^{Q+q}+c_2x^{qQ+1} +c_3x^{q(Q+1)},\qquad c_i\in\mathbb{F}_{q^2}. \] We prove that no such CPP exists when $k>1$, and recover the known characterization in the cubic case $k=1$. This completes the classification throughout the stated exponent range. The proof uses the known permutation classification to reduce completeness to linear perturbations of product and monomial models. The required nonpermutation results follow from direct elementary arguments based on the quadratic structure over $\mathbb{F}_2$.

Distribution of points near the origin in the $d$-dimensional Lagrange spectrum

math.NT

math.DS

v2

We develop a new framework, inspired by Schmidt's games, to study the Lagrange spectrum for simultaneous Diophantine approximation in dimension $d\geq 2$. We show the Hausdorff dimension of the set of points in $\mathbb{R}^{d}$ whose best approximation constant lies in $[\varepsilon,\varepsilon(1+\delta\varepsilon^{d})]$, for some constant $\delta>0$, is positive, and for a slightly larger set approaches full dimension as $\varepsilon \to 0$. The proof combines a novel application of the Simplex lemma near rational points with the game-theoretic framework. We also use an elementary observation to show that the naturally defined Lagrange spectrum for systems of linear forms is uncountable in the case of square matrices.

Density one for lattice point visibility along polynomials with at least two distinct roots

math.NT

v2

We prove that every nonzero integer polynomial with at least two distinct complex roots has lattice point visibility density one, resolving the generalized form of the Visibility Density Conjecture for nonzero polynomials. This extends the origin-passing case established by Chaubey, Pandey, and Regavim. Visibility is taken along the curves $y=tF(x)$ with rational $t$, with a point visible if no positive lattice point on the same curve has a smaller horizontal coordinate. The proof uses a greatest common divisor cutoff to reduce the problem to finitely many equations of the form $F(b)=qF(a)$, with $0<1$; for each equation, the positive integers $a$ admitting a positive integer solution $b

Reduction Modulo Binary Polynomials with Logarithmic Feedback Depth

math.NT

cs.SC

v2

Polynomial modular reduction is central to binary finite-field arithmetic and repeated Frobenius powering. Top-down shift/XOR folding can use few operations when the nonleading support is sparse, but a tap near the leading term creates a long feedback chain. We formulate this recurrence as inversion of a nilpotent shift operator and factor its inverse by characteristic-two Frobenius powers. The resulting Frobenius-factorized reduction (FFR) applies to every monic binary modulus without materializing a reciprocal or dense reduction matrix, and its shifts can be generated online without a persistent modulus-specific schedule. For degree $m$ and nonempty nonleading support of size $s$, with nearest-tap distance $\Delta_{\min}$, FFR uses exactly $\lceil\log_2(m/\Delta_{\min})\rceil$ sequential feedback stages and has scheduled work $O(ms(1+\log(m/s)))$. A portable-C evaluation on 1,096 supports through degree $131072$ identifies distinct FFR, L\'opez--Dahab, and gf2x-backed Barrett regions. On four certified irreducible moduli, FFR makes complete Rabin irreducibility testing $1.35$--$8.04$ times faster than NTL and $1.60$--$6.81$ times faster than the matched Barrett implementation.

On the cardinality of the exception set in Littlewood's discrete conjecture

math.NT

v2

Let $p$ be a prime, $d\ge 2$, $H\in [1,p)$, and $\ln\ln p = o(\ln H)$. We prove that $$ \min_{1\le n \le H} n \left\|\frac{a_1 n}{p}\right\|\ldots \left\|\frac{a_d n}{p}\right\| \approx \frac{1}{(\ln p)^{d-1} \ln H} $$ for "almost all" $a \in ({\Bbb Z} / p{\Bbb Z})^d$.

A 6-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve

math.AG

math.NT

v2

We develop a 6-functor formalism $\mathcal{D}_{[0,\infty)}(-)$ with $\mathbb{Z}_p$-linear coefficients on small v-stacks, and discuss consequences for duality and finiteness for pro-\'etale cohomology of rigid-analytic varieties of general pro-\'etale $\mathbb{Q}_p$-local systems as well as first examples motivated by a potential $p$-adic analog of Fargues-Scholze's geometrization program of the local Langlands correspondence.

Bounded elementary generation of SL_2: nearly the end

math.GR

math.NT

v2

Let $\mathcal{O}_S$ be the ring of $S$-integers of a global field $K$ of any characteristic, where $S$ is a finite set of valuations of $K$ (and $S$ contains all of the archimedean valuations if the characteristic is zero). We prove that if $|S| \ge 2$, then every unimodular $(2 \times 2)$-matrix over $\mathcal{O}_S$ is a product of $\leq 7$ elementary matrices. This nearly optimal bound essentially concludes the investigation of bounded elementary generation of $SL_2(\mathcal{O}_S)$ started over 50 years ago.

Quantitative Oppenheim in signature $(2,2)$ via determinant values

math.DS

math.NT

v2

We give a new proof of the quantitative Oppenheim theorem in signature $(2,2)$, originally proved by Eskin-Margulis-Mozes, by recasting the problem as one about determinant values on lattices in $\operatorname{M}_2(\mathbb R)$.

Determinant values on lattices

math.DS

math.NT

v2

We study the distribution of determinant values on lattices in $\operatorname{M}_n(\mathbb R)$ for $n\ge 2$. Let $\Lambda<\operatorname{M}_n(\mathbb R)$ be a lattice whose elements have algebraic entries. We prove that if $\det (\Lambda)$ is not contained in a scalar multiple of $\mathbb Z$, then for every $a<\operatorname{det} v0$ depends only on $n$. Under an additional hypothesis on the isotropic subspaces associated with $\Lambda$, which is automatic for $n=2,3$ and is satisfied when $n\geq 4$, by every lattice spanned by scalar multiples of the elementary matrices, we also obtain an asymptotic formula for the singular lattice points. Both conclusions extend to the broader class of Diophantine lattices under the corresponding hypotheses. For $n=2$, our theorem recovers the Eskin-Margulis-Mozes theorem on the quantitative Oppenheim problem for quadratic forms of signature $(2,2)$; more generally, our results may be viewed as higher-degree analogues of that theorem.