Number Theory [math.NT]

On Waring--Goldbach problem with mixed powers

math.NT

It is proved that for every sufficiently large odd integer $n$, the equation $$ n=p_1^2+p_2^2+p_3^3+p_4^4+p_5^5+p_6^6+p_7^8 $$ is solvable in primes. This refines the work of Cai and Mu in 2015.

Generalized Addition Theorems for the Jacobi Elliptic Functions

math.NT

In this paper, we generalize the classical addition theorems for the Jacobi elliptic functions, giving numerous implicit and explicit formulas. We first present determinant identities involving several of the Jacobi functions. Then, we prove explicit addition formulas for a single function. Novel 4-,5-,6- and 7-term addition formulas are also given alongside a general $n$-term addition formula.

A conditional arithmetic obstruction to the prime numbers as a spectrum of a probability measure

math.NT

math.CA

Let $\Pp=\{2,3,5,7,\ldots\}$ denote the set of prime numbers. We prove that if every sufficiently large positive even integer can be represented as a difference of two primes, then there is no Borel probability measure $\mu$ on $\R$ for which \(\left\{e^{2\pi i p x}:p\in\Pp\right\}\) is an orthonormal basis of $L^2(\mu)$. In particular, under the Polignac conjecture, the prime numbers $\Pp$ cannot be a spectrum (i.e., the set of frequencies of an exponential orthonormal basis) of any probability measure on $\R$.

Finding all cospectral mates over a number field

math.NT

math.CO

math.SP

We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices. Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.

Special Values of Shifted Dirichlet Series from an Adjoint Map on Almost Holomorphic Modular Forms

math.NT

We find the adjoint of a map on the space of almost holomorphic modular forms, analogous to the generalized Ramanujan-Serre derivative on the space of quasi-modular forms. As applications, we explicitly find special values of certain shifted Dirichlet series associated to quasi-modular forms and prove a rationality result for the shifted Dirichlet series.

Density bounds for permutations avoiding monotone arithmetic progressions

math.NT

math.CO

For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $\alpha_X(\ell)$ and $\beta_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $\omega$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[ \alpha_{\mathbb{N}}(3)\geq\frac23,\qquad \alpha_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $\beta_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.

Escalations and criteria over real quadratic fields

math.NT

The famous 15-Theorem and 290-Theorem fully characterise universal quadratic forms over $\mathbb{Q}$. Similar theorems exist for every totally real number field, but only over $\mathbb{Q}(\sqrt5)$ the criterion set is explicitly known. We study criterion sets both theoretically and computationally: We develop the method of escalation over number fields, thus providing a simple proof of finiteness of the criteria and, more importantly, a practical tool for computing them. We illustrate this by explicit computations for $\mathbb{Q}(\sqrt2)$ and $\mathbb{Q}(\sqrt3)$, obtaining a conjecture about the corresponding universality criteria; we also prove universality of many escalator lattices. Moreover, we develop the somewhat different theory of escalations for diagonal quadratic forms, obtaining the diagonal criterion set for $\mathbb{Q}(\sqrt5)$ and conjecturally for $\mathbb{Q}(\sqrt2)$ and $\mathbb{Q}(\sqrt3)$.

Algebraic constructions of point sequences with quasi-uniform two-dimensional projections

math.NT

cs.NA

math.NA

stat.ME

Motivated by sequential space-filling designs for computer experiments, we study algebraic constructions of extensible point sets in the $d$-dimensional unit cube whose two-dimensional coordinate projections are all quasi-uniform. Our two constructions share a common parametrization in terms of finite configurations of distinct rational directions on the projective line $\mathbb{P}^1(\mathbb{Q})$. First, using a cubic number field, we construct explicit Kronecker sequences for which the mesh ratios of all two-dimensional coordinate projections remain uniformly bounded over every initial segment of length $N\ge 2$. Second, using a real quadratic field, a split prime, and a compatible $p$-adic embedding, we construct nested rank-1 lattice designs with the same uniform projection property at every nesting level. The proofs combine algebraic norm estimates with transference principles between simultaneous and dual Diophantine approximation, yielding lower bounds for the separation radii and upper bounds for the covering radii, both of optimal order in the number of points, uniformly over all coordinate pairs. We also investigate how the choice of rational projective coefficients affects the resulting mesh ratios. This leads to a minimax problem for finite configurations on $\mathbb{P}^1(\mathbb{Q})$, in which one seeks to minimize the maximum mesh ratio over all two-dimensional coordinate projections. These constructions provide extensible point sets with uniformly controlled bivariate geometry.

Uniform bounds on prime levels of abelian division fields of elliptic curves over number fields without rationally defined CM

math.NT

Enrique Gonz{\'a}lez-Jim{\'e}nez and {\'A}lvaro Lozano-Robledo proved that there exists a uniform bound on the levels $n$ for which the $n$-division field $\mathbb{Q}\left(E\left[n\right]\right) / \mathbb{Q}$ of an elliptic curve $E/\mathbb{Q}$ defined over $\mathbb{Q}$ is abelian. Assuming GRH (Generalized Riemann Hypothesis), Allen and Genao partially generalized this result by restricting to prime levels while allowing arbitrary number fields without rationally defined CM. In this paper, we remove the GRH assumption and prove that the property established by Allen and Genao is in fact equivalent to the absence of rationally defined CM.

Finite-Sum Realization of Archimedean Asai and Exterior-Square $L$-Factors

math.NT

math.RT

We prove that the archimedean Asai $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_n(\mathbb{C})$ can be expressed as a finite sum of Flicker local zeta integrals. For an archimedean local field $F$, we also prove that the exterior-square $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_m(F)$ can be expressed as a finite sum of Jacquet--Shalika local zeta integrals.

On the Lorenz-Fibonacci sequences and substitutions

math.NT

In the present article, we consider two families of integer sequences, the $(k,r)$-Lorenz-Fibonacci sequences of the first and second kind, whose characteristic polynomial is $$p_{k,r}(x)=x^k-x^{k-1}-\cdots- x^r+x^{r-1}+\cdots +x+1,$$ where $k\geq 2r+1$, and $k\geq 3$. These families include the well-known $k$-bonacci sequence, when $r=0$. These sequences arise naturally in the study of the dynamics of the Lorenz attractor. We introduce two families of substitutions (in an alphabet of $k$ symbols) so that they are associated with each of the families of integer sequences and share the same polynomial. We study the main combinatorial properties of these substitutions.

Cyclic permutations of large subsets with polynomial values in multiplicative subgroups of finite fields

math.NT

math.CO

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.

A study of degenerate Bernoulli and Euler numbers via operators

math.NT

The paper introduces novel classes of operators and investigates their applications to the study of special numbers. We utilize these operators to derive explicit expressions for degenerate Euler numbers and type 2 degenerate Euler numbers. Furthermore, we establish a relationship between degenerate Bernoulli numbers and degenerate Euler numbers. We note here that these operators emerge naturally when we study such explicit expressions and such a relationship

Analytic rank one propagation in Hida families

math.NT

math.AG

Let $f$ be a non-CM newform of weight $k\geq4$, level $N$ and trivial Nebentypus. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and denote by $\boldsymbol f^{(p)}$ the $p$-adic Hida family passing through $f$. Assuming very specific instances of two general conjectures in arithmetic algebraic geometry (injectivity of $p$-adic Abel-Jacobi maps, positive definiteness of archimedean height pairings \`a la Gillet-Soul\'e), we prove that, for all but finitely many $p$ as above, if the analytic rank of $f$ is $1$, then all but finitely many specializations of $\boldsymbol f^{(p)}$ of even weight and trivial Nebentypus have analytic rank $1$. This result provides evidence for Greenberg's "minimality conjecture" on analytic ranks in families of modular forms.

On $\mathcal{B}^4$-almost periodicity for a class of arithmetical functions

math.NT

In this paper, we establish the $\mathcal{B}^4$-almost periodicity in the sense of Besicovitch for a suitably normalized error term associated with a broad class of arithmetical functions introduced by Chandrasekharan and Narasimhan. This result significantly strengthens $\mathcal{B}^2$-almost periodicity previously investigated in the literature for related error terms. By deriving truncated Vorono\"{i}-type formulas, we demonstrate that the normalized error term lies in the Besicovitch space $B^4$. As a consequence, we deduce that the error term admits a limit probability distribution and establish an explicit formula for its mean fourth power moment.

Generalizations of the Christoffel-Darboux formula and congruences involving Ap\'ery-like numbers

math.NT

math.CO

In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}

Infinitely many elliptic curves over $\mathbb{Q}(i)$ of exact ranks 4 and 6 with $j$-invariant 1728

math.NT

For each $r\in\{4,6\}$, we construct an explicit one-parameter family of elliptic curves over $\mathbb{Q}(i)$ containing infinitely many pairwise nonisomorphic curves genuinely defined over $\mathbb{Q}(i)$ with $j$-invariant $1728$ and rank exactly $r$. We construct explicit $\mathbb{Q}(i)$-rational points to bound the ranks from below. Kai's theorem on prime values of linear patterns over number fields provides specializations with controlled local behavior, allowing us to obtain matching upper bounds via $[1+i]$-descent. The construction extends the strategy of the author's earlier rank-$2$ paper by replacing a symmetric Gaussian-prime configuration with systems of binary linear forms satisfying several complementary square identities. In the rank-$6$ case, the support vectors attached to the three constructed points and $(0,0)$ span the self-dual Reed-Muller code $\mathrm{RM}(1,3)$, which also occurs as the kernel of the quadratic-residue Laplacian governing the Selmer group.

Asymptotic Analysis and Phase Transition of the Bessel-Kuznetsov Transform with an Oscillatory Phase

math.NT

The spectral side of the Kuznetsov trace formula for $GL(2)$ is governed by the Bessel-Kuznetsov integral transform $\check{\phi}(t)$. While classical bounds guarantee rapid decay of this transform for smooth, non-oscillatory test functions, modern applications in analytic number theory---particularly those involving twisted shifted convolution sums---frequently encounter test functions exhibiting a highly oscillatory linear phase $e(\alpha x)$. In this paper, we provide a rigorous and explicit asymptotic analysis of $\check{\phi}(t)$ in the semiclassical limit $t \to \infty$ under such oscillatory conditions. By applying the WKB approximation to the imaginary-order Bessel kernel, we identify a sharp phase transition dependent on the twist parameter $\alpha$. We prove that in the sub-critical regime ($\alpha \le 1/2\pi$), the transform decays rapidly. Conversely, in the super-critical regime ($\alpha > 1/2\pi$), the geometric oscillations resonate with the spectral kernel, yielding a localized main term of order $O(t^{-1})$ with a remarkably simplified arithmetic phase.

On a conjecture of Corradi and Katai

math.NT

math.CO

We consider Goldbach type sums corresponding to the Liouville function and prove the existence of sufficient cancellations. We also consider applications to sign patterns in the Liouville function.

Convolution-type Bombieri-Vinogradov theorem with well-factorable Weights, and its applications

math.NT

In 1986, Bombieri, Friedlander and Iwaniec famously obtained that primes are equidistributed in arithmetic progressions to moduli up to $x^{4/7-\varepsilon}$, using well-factorable weights. In this paper, we apply Pascadi's triply-well-factorable convolution estimate and his estimation of incomplete Kloosterman sums to generalize this result to a convolutionform, which improves Wang's result under certain conditions. As for application, we consider the asymptotic density of $\#\{n\leq x:P^+(n)

0.296x \end{align*} and \begin{align*} &\mathop{\lim\sup}_{x\rightarrow\infty} \frac{1}{\pi(x)}\#\{p\leq x:P^+(p-1)\geq p^c\}\\&\leq S(c)=\left\{ \begin{aligned} & \int_0^{1-c}\frac{2}{(5/8-189u/200)(1-u)}\mathrm{d}u, \quad&& \frac{184}{189}\leq c<1,\\& S\left(\frac{184}{189}\right)+\frac{10}{3}\log\frac{184}{189c},\quad&& 0.7404<\frac{7}{2}\log\frac{1}{c} $ for $0.7404<1$. The first result improves a previous result $0.280$ by the author (2026). The second result constitutes an improvement upon that of Ding and Wang (2025), who obatined $\mathop{\lim\sup}_{x\rightarrow\infty} \frac{1}{\pi(x)}\#\{p\leq x:P^+(p-1)\geq p^c\}\leq \frac{7}{2}\log\frac{1}{c}$.

Local Minkowski units in non-abelian extensions with cyclic Sylow $p$-subgroups

math.NT

We establish a criterion for the existence of a local Minkowski unit at $p$ that applies to all Galois extensions with Galois group isomorphic to the direct product of a non-$p$-group and a cyclic $p$-group. As applications, we construct non-abelian extensions admitting a local Minkowski unit at $p$ under various ramification conditions and analyze the Iwasawa module structure of units in $\mathbb{Z}_p$-extensions of number fields. We also extend our study to the case where the group of $p$-power roots of unity is nontrivial.

Some convolution identities for mock modular forms arising from the theory of holomorphic projection

math.NT

Convolution identities and recursive formulas have long played a role in the theory of holomorphic modular forms and their applications. These have served both as striking formulas and as fundamentally useful tools for applications to combinatorics. Recently, there has been renewed interest in examples arising from non-holomorphic modular forms. These include the famous Hurwitz-Kronecker class number relations dating to 1885, and groundbreaking work of Imamo\u{g}lu, Raum, and Richter from 2014. Imamo\u{g}lu, Raum, and Richter developed a theory of holomorphic projection for products of (vector-valued) harmonic Maass forms and holomorphic modular forms to produce many such formulas. This was related shortly thereafter by Duncan, Griffin, and Ono to replicable-type functions in the sense of Conway and Norton, and such recursions played a key role in their proof of the Umbral Moonshine Conjecture. Here, we develop new results on holomorphic projections of such functions which is more convenient for many natural cases. Imamo\u{g}lu, Raum, and Richter's choice corresponds to the case in which the generalized Pell equation $m^2 - Dn^2 = N$ has a square value for $D$, which has only finitely many solutions for a given value of $N$. Our main results cover the cases of general $D$, in particular those for which the Pell equation has infinitely many solutions. As an application, we resolve a recent conjecture of the second author. More generally, our approach yields 18 convolution identities for mock theta functions, which we boil down to 5 identities that can directly be used to prove the others. In the appendices, we also show how these identities can be proven by more direct $q$-series methods; however, the key utility of the holomorphic projection formulas is that they give a tool to automatically discover and verify such formulas.

Gross vectors modulo 2 and elliptic curves of prime conductor

math.NT

Let p > 3 be a prime, and let S_p denote the geometric isomorphism classes of supersingular elliptic curves in characteristic p whose j-invariants lie in F_p. For each negative fundamental discriminant -D for which p is inert in Q(sqrt(-D)), let m_i(D), i in S_p, be the integral coefficients of the corresponding Gross vector. We prove that the vectors (m_i(D) mod 2)_{i in S_p} span F_2^{S_p}. The key step reduces the parity of the representation numbers of Gross's ternary lattices to representation by rank-two sublattices perpendicular to Frobenius. Using Ibukiyama's explicit maximal orders, the resulting primitive binary forms are identified with those occurring in the Xiao--Zhou--Deng--Qu parametrization of supersingular elliptic curves over F_p. Class field theory and Chebotarev's theorem then allow the individual supersingular coordinates to be isolated. As a consequence, if E/Q has prime conductor p and positive Mordell--Weil rank, then every coefficient of its Brandt eigenvector indexed by S_p is even, proving a conjecture of Kazalicki and Kohen. Thus an odd coefficient at a rational supersingular class is an algebraic certificate of rank 0. Combining this parity theorem with formulas of Mestre and Gross--Kudla, we also prove that the modular degree of every positive-rank elliptic curve of prime conductor and root number +1 is divisible by 4. Consequently, Watkins' conjecture holds for all such curves of rank 2.

Intersective Polynomials and Universal Separation of Divosor Profiles

math.NT

We classify universal divisor-profile separation for coprime polynomial pairs of arbitrary degree and for all pairs of degree at most two. For \(A\subset\N\) and \(m\in\Z\), let \(d_A(m)\) count the members of \(A\) dividing \(m\). For coprime nonzero \(F,G\in\Z[x]\), universally unbounded separation between \(d_A(F(n))\) and \(d_A(G(n))\) occurs if and only if one of \(F,G\) is intersective, that is, has a root modulo every positive integer. More generally, an intersective factor separated from finitely many polynomial opponents yields simultaneous one-sided dominance against all of them. For pairs with common irreducible factors, let \(U,V\) be the products of the factors occurring only on the two respective sides. Universal separation forces \(UV\) to have a root modulo almost every prime; equivalently, its Galois action has no derangement. We resolve the remaining finite \(p\)-adic boundary for all pairs of degree at most two: separation holds exactly when \(UV\) and at least one of \(F,G\) are intersective, and the criterion is unchanged by contents or factor multiplicities. The same criterion holds, in arbitrary degree, for three linear support factors with arbitrary positive multiplicities. The proofs combine uniform almost-prime values on root progressions with an adaptive local-routing argument.

The distribution of $k$-free ideals in ray class groups

math.NT

In this paper, we extend the classical problem of studying the distribution of $k$-free integers in arithmetic progressions to the setting of arbitrary number fields. Using the language of ray class groups, we establish asymptotic formulas, together with error terms, for the number of $k$-free ideals of bounded norm lying in a given ray class. In particular, our results show that $k$-free ideals are equidistributed among ray classes. We also obtain improved error estimates in the cases of ideal class groups and narrow class groups by using sharper ideal counting asymptotics due to Landau. Our results recover the classical formulas of Gegenbauer and Cohen--Robinson over $\mathbb{Q}$ and extend previous work of Benkowski, Nymann, and Sittinger to the setting of ray class groups. We also present explicit computational examples that illustrate the asymptotic formulas and the equidistribution of $k$-free ideals among ray classes.

Multiplicative Subgroups of Prime Fields Are Not Sumsets

math.CO

math.NT

v2

Let $H \leq \mathbb{F}_p^*$ be a proper multiplicative subgroup, and suppose that $H = A+B$ for some $A,B \subseteq \mathbb{F}_p$. We prove that either one of the summands is a singleton, or $|A|=|B|=2$ and $|H|=4$. In particular, no proper multiplicative subgroup of $\mathbb{F}_p^*$ can be written as $A+B$ with $|A|,|B|>2$. Our proof builds on the Hanson-Petridis polynomial method and Kalmynin's subsequent resolution of S\'ark\"ozy's conjecture for quadratic residues. Using Kalmynin's $|A|=|B|$ theorem as a structural input, we develop uniform combinatorial and arithmetic arguments which apply to multiplicative subgroups of arbitrary index.

The Five Distance Theorem For A Convex Norm

math.MG

math.CO

math.NT

The three gap theorem states that the points of the Kronecker sequence $\alpha,2\alpha,\ldots,N\alpha$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every strictly convex norm on $\mathbb R^2$: for every unimodular lattice $L$, every $\boldsymbol{\alpha}\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. In particular, this settles the conjectured bound for all $\ell_p$-norms with $1

<\infty$, for which the bound is optimal. The proof extends the lattice-theoretic argument of Haynes and Marklof by replacing its Euclidean angular estimates with a cone lemma based on a proper Brass angular measure.

Tame fundamental groups of rigid spaces

math.AG

math.NT

We introduce the tame \'etale fundamental group $\pi_1^t(X/K)$ of a rigid space X over a non-archimedean field K. We show that if X is qcqs and K has topologically finitely generated tame Galois group (e.g. algebraically closed or a local field), then $\pi_1^t(X/K)$ is topologically finitely generated. If X is moreover the rigid generic fibre of a strictly semistable formal scheme such that the smooth locus of its special fibre admits a projective snc compactification, then $\pi_1^t(X/K)$ is topologically finitely presented. The proofs rely on techniques of logarithmic geometry (extended beyond its usual scope of finitely generated monoids), in particular on an analogous finiteness statement for the tame log \'etale fundamental group, and on the 'vertical compactification' of a map of adic spaces.

Euclidean SVP is deterministically NP-hard to approximate within any constant factor

cs.CC

math.NT

We prove that, for every constant $\rho>1$, the Euclidean shortest vector problem is NP-hard to approximate within any constant factor $\rho$ under a deterministic polynomial-time many-one reduction. This extends our previous deterministic NP-hardness result from $\rho<\sqrt 2$ to arbitrary constants and gives a deterministic version of Khot's randomized arbitrary-constant theorem. Our proof also gives deterministic counterparts of the two classical dimension-dependent regimes of Haviv and Regev: $2^{(\log n)^{1-\varepsilon}}$ under quasipolynomial-time reductions and $n^{c/\log\log n}$ under subexponential-time reductions.

Spectral and Isoperimetric Bounds on Flat Tori

math.SP

math.FA

math.NT

We record several elementary relations between spectral and isoperimetric parameters of a flat torus $\mathbb{T}_\Lambda = \mathbb{R}^n/\Lambda$ and the covariance structure of a fundamental domain $K$ for the lattice $\Lambda \subset \mathbb{R}^n$. For every measurable fundamental domain $K$ and nonzero vector $\xi$ in the dual lattice $\Lambda^*$, we observe the sharp directional variance estimate \[ \left\langle \operatorname{Cov}_K \xi,\xi\right\rangle \geq \frac{1}{12}. \] This yields a lower bound on the torus spectral gap $\lambda_{\mathrm{SG}}(\mathbb{T}_\Lambda)$ (equivalently, the length of the shortest nonzero dual vector $\lambda_1(\Lambda^*)$) in terms of the maximal covariance of $K$: \[ \lambda_{\mathrm{SG}}(\mathbb{T}_\Lambda) = 4\pi^2 \lambda_1(\Lambda^*)^2 \geq \frac{\pi^2}{3\left\|\operatorname{Cov}_K\right\|_{\mathrm{op}}}. \] Analogous sharp results are obtained for the isoperimetric profile and the Cheeger constant $D_{\mathrm{Che}}(\mathbb{T}_\Lambda)$ using an old argument of Hadwiger. In particular, when the Voronoi cell $K_\Lambda$ of a lattice with $\det \Lambda = 1$ is isotropic, the recent resolution of the Slicing Problem by Klartag and Lehec implies that \[ D_{\mathrm{Che}}(\mathbb{T}_\Lambda),\quad \lambda_{\mathrm{SG}}(\mathbb{T}_\Lambda),\quad \lambda_1(\Lambda^*) \geq c > 0, \] where $c > 0$ is a universal constant independent of dimension $n$; this may be thought of as a positive resolution of the Kannan--Lov\'asz--Simonovits conjecture for all flat tori. While there are lattices $\Lambda$ and corresponding Voronoi cells $K = K_\Lambda$ for which no dimension-independent converse inequality to the spectral-gap bound above can hold, we show that under a certain sectional tiling hypothesis, this inequality is in fact an equivalence (up to numerical constants).

Optimal local convergence criteria for integer and Gaussian integer continued fractions

math.CO

math.CV

math.NT

The objective of this work is to determine optimal local restrictions on the coefficients of integer and Gaussian integer continued fractions that imply convergence. We identify all minimal restrictions involving words of length two in the integer case, and we identify all reversible minimal restrictions of length two in the Gaussian integer case. In the integer setting, our classification is equivalent to a classification of minimal unavoidable words of length two in Conway--Coxeter quiddity sequences. We also construct a canonical set of restrictions of infinite cardinality that is strictly stronger than every finite set of restrictions.

Divisors in windows and the Euler--Mascheroni constant

math.NT

v2

For $0<1$ the number of divisors of $q$ below $q^{c}$ averages, over $q\le B$, to $c\log B+(\gamma-c)+O(B^{-\min(c,1-c)})$, where $\gamma$ denotes the Euler--Mascheroni constant. Consequently the number of divisors in a window $(q^{a},q^{b})$ averages to $(b-a)(\log B-1)+o(1)$: the constant $\gamma$ cancels, and the average counts for two windows stand asymptotically in the ratio of the windows' exponent lengths. In particular a number has, on average, twice as many divisors in $(n^{1/4},n^{1/2})$ as in $(n^{1/8},n^{1/4})$, by an argument nowhere mentioning $\gamma$. Anchoring a window at a threshold and its square root makes the logarithms cancel instead: for weakly increasing $F$ with $F(q)\to\infty$ and $q/F(q)\to\infty$, a number $q$ has, on average, exactly $\gamma$ more divisors below $\sqrt{F(q)}$ than in $[\sqrt{F(q)},F(q))$. For windows on the scale of $q$ itself the average depends on an endpoint convention: with $\alpha\in(0,1)$, counting divisors below $\sqrt{\alpha q}$ against divisors in $(\sqrt{\alpha q},\alpha q)$ yields the average $H_{\lfloor 1/\alpha\rfloor}-\log(1/\alpha)$, while the window $(\sqrt{\alpha q},\alpha q]$ yields $H_{\lceil 1/\alpha\rceil-1}-\log(1/\alpha)$; the two constants differ exactly when $1/\alpha$ takes an integer value, and then by $\alpha$. Either function of $\alpha$ oscillates about $\gamma$, tends to $\gamma$ as $\alpha\to0$, and integrates over $(0,1)$ to $\zeta(2)-1$. The principal results are formally verified in Lean~4.

The ring of $D_4$ triality invariants

math.NT

hep-th

math.AG

v2

$D_4$ triality invariants are modular forms as well as invariant polynomials for a fiber product of the modular group and the Weyl group of type $F_4$. We show that the ring of $D_4$ triality invariants satisfying a certain cusp condition is isomorphic to the ring of joint covariants of a binary cubic and a binary quadratic form.

High-Precision Approximation of Riemann Zeros via the Truncated Weil Form

math.NT

v3

The Connes-van Suijlekom truncated Weil quadratic form, indexed by a cutoff $c$ (controlling the primes $p\leq c$ in the operator), has a ground state whose Fourier-Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as $c\to\infty$ is open (Connes 2026; Connes-Consani-Moscovici 2025). We present, to our knowledge, the first public implementation of the CvS Galerkin matrix at sixteen cutoffs ($c=13$ through $67$, plus $c=100$). Across $c=13$--$67$ at $N=100$, the first-zero error $|\gamma_1-\gamma_1^{\mathrm{Riemann}}|$ shrinks monotonically from $\sim 2\times 10^{-55}$ to $\sim 1.5\times 10^{-168}$ (113-OOM across fifteen cutoffs). The smallest-positive even-sector eigenvalue reaches $\sim 10^{-334}$ at $c=100$, $N=250$ (275-OOM span), whose eigenvector recovers $\gamma_1,\ldots,\gamma_{10}$ to 307-329 matching digits. Under the unitary equivalence with CCM 2025 Lemma 5.1, each $\gamma_k$ is (modulo a hypothesis-status caveat at $c=100$) an eigenvalue of the CCM rank-one operator $D_{\log}^{(\lambda,N)}$. Aitken-$\Delta^2$ on the $c=100$ $N$-sweep gives $\log_{10}|\lambda_\infty^{\mathrm{even}}|\approx -536.76$ and $-533.70$, approaching the Connes 2026 Section 6.4 heuristic continuum prediction ($\approx -530.38$) monotonically in $N$. The empirical fit $|\log_{10}\lambda_{\min}|\approx 13.24\,c^{0.634}$ on $c\leq 67$, $N=100$ is a finite-$N$ rate, falsified at $c=100, N=200$ by 49 OOM. At $c=100$ the raw spectrum carries a small block of negative-sign eigenvalues at the finite archimedean cutoff $T=800$; these are an artifact of that cutoff and absent once $T$ is increased, so the smallest-positive even-sector eigenvalue is the genuine smallest one (continuum positivity of $QW_\lambda$ is RH-equivalent and is not assumed at $\lambda=\sqrt{100}$). We make no claim of proof.

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form

math.NT

math.SP

v2

The Connes-van Suijlekom and Connes-Consani-Moscovici truncations of the Weil quadratic form, at a prime cutoff c>1 and frequency band N, produce finite Galerkin matrices whose spectra are the finite-rank window on Weil positivity. We prove two exact finite theorems about this truncation. First, every real even Galerkin coefficient vector v determines, in closed form, a band-limited Guinand-Weil test function g_v whose zero sum over the nontrivial zeros of zeta equals the quadratic value exactly: every value of the truncated form is an exact sum over the zeros. The construction factors through an exact source quotient of dimension 2N+1 and admits a non-collapsing pole-neutral subfamily. Second, beyond the Galerkin band the omitted archimedean tail is a totally positive Cauchy-Stieltjes increment. This yields a two-sided certification rule with an explicit budget B_T ~ (2N+1) rho log(T) / (pi^2 T), where T is the archimedean cutoff and rho = 2 pi / log c: finite-cutoff positivity certifies cutoff-free positivity, a finite-cutoff eigenvalue below -B_T certifies a cutoff-free negative, and a negative eigenvalue in the band [-B_T, 0) certifies nothing. Resolving a spectral scale of 10^-59 at c=100 by brute cutoff would require T of order 10^63; a cutoff-free interval LDL^T factorization resolves it directly. The dictionary is verified over the first 512 zeros of zeta and by three independent computational routes; all scripts and artifacts ship with the paper. The paper makes no Riemann Hypothesis, prime-counting, next-prime, or factoring claim.

The exceptional set of the Goldbach problem

math.NT

v2

We study the estimates for the number of exceptions to the representation of integers as the sum of at most two prime numbers. Most of this article is a survey that gives an overview of existing results. We begin with the legendary Hardy-Littlewood circle method and show how it paved the way to a power saving by Montgomery-Vaughan in 1975 and Pintz in 2018. We conclude with a new result that is a fully explicit formula for the major arcs. Another new observation is the non-existence of exceptional zeros under a sparse version of the Hardy-Littlewood conjecture. The survey part of this article aims to be accessible to an audience that has not encountered these techniques before.

Irrationality of finite logarithms in a congruence-class ad\`ele ring

math.NT

v2

Finite logarithms can be defined in the ``poor man's ad\`{e}le ring" $\mathcal{A}$ using Fermat quotients modulo sufficiently large primes. This ring contains $\mathbb{Q}$ and outside the trivial cases, Matsusaka and Seki have shown that finite logarithms cannot take non-zero rational values in $\mathcal{A}$. Furthermore, a theorem of Silverman shows they are not zero, assuming the $abc$-conjecture. We extend these results to primes restricted to arithmetic progressions of the form $p\equiv 1\bmod m$ by relating Fermat quotients to values of cyclotomic polynomials and their logarithmic derivatives. A signed version of the same argument shows unconditionally that the square of a finite logarithm cannot take non-zero rational values in $\mathcal{A}$. As a further application, we show that, subject to the $abc$-conjecture, finite logarithms cannot be quadratic irrational elements of $\mathcal{A}$ in Rosen's theory of finite algebraic numbers.

Deformation of the absolute Galois groups of number fields

math.NT

v2

The technical goal of this paper is to construct and study profinite monoids DG_K for number fields K such that (1) the unit group of DG_K is isomorphic to the absolute Galois group G_K; (2) the maximal abelian quotient of DG_K is isomorphic to the Deligne-Ribet monoid DR_K; (3) the idempotents of DG_K bijectively correspond to subsets of the set P_K of (finite) primes of K; (4) the maximal Galois groups G_{K, S} with restricted ramifications S all appear as maximal closed subgroups of DG_K at idempotents; (5) all maximal closed subgroups of DG_K at idempotents are of this form. We also discuss the relationship between DG_K and the p-typical Witt vectors of Borger and de Smit, where we will describe the fundamental monoid of the semi-galois category of Lambda-rings of Borger and de Smit in terms of fields of norms of the local field K_p in particular.

Schwartz spaces on L-monoids: non-Archimedean

math.NT

math.RT

v2

We complete the Braverman-Kazhdan-Ng\^{o} program over non-Archimedean local fields assuming local Langlands conjecture for tempered representations and a natural assumption on the $\gamma$-factors of non-supercuspidal discrete series. In particular, the program is complete unconditionally for general linear groups over non-Archimedean local fields.

On possible sums from multiset of mutually divisible natural numbers

math.CO

math.NT

v2

Let $A$ be a finite multiset of $\mathbb{N}$ such for any two $a_i,a_j \in A$, $a_i | a_j$ or $a_j | a_i$. We describe the structure of the set $\hbox{span}(A)$ of all sums of submultisets of $A$, and in particular give a criterion of $\hbox{span}(A)=\hbox{span}(B)$ for two multisets $A,B$.

Sturmian lattices and Aperiodic tile sets

math.CO

math.DS

math.MG

math.NT

v5

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.

Improved Power Laws for the Favard Length Problem in All Dimensions

math.CA

math.MG

math.NT

v2

The Favard length of a compact set in $\mathbb{R}^d$ is the average one-dimensional Hausdorff measure of its orthogonal projections onto lines. We establish quantitative upper bounds for small neighbourhoods of a class of purely $1$-unrectifiable rational product Cantor sets in every dimension $d\geq2$. The proof combines coordinatewise small-value estimates, multidimensional sets of large values, and an improved symbolic-cylinder combinatorial argument whose low-multiplicity estimate closes for every parameter $\rho>2$. Applied to the classical four-corner Cantor set, the original Nazarov--Peres--Volberg Fourier input and the improved propagation yield the bound $N^{-1/5+u}$ for every $u>0$. When the coordinate mask polynomials are zero-free on the unit circle, we obtain the general exponent $(2D+1)^{-1}-u$, where $D:=\sum_i\log_L(\#A_i/\min_{|z|=1}|A_i(z)|)$; in particular, explicit planar examples in bases $25$ and $36$ attain the exponents $1/3-u$ and $\delta_{36}-u$, respectively, where $\delta_{36}=1/(2\log_6(300/53)+1)=0.340720\ldots>1/3$.

On the largest strongly connected component of randomly oriented divisor graphs

math.CO

math.NT

v2

We introduce the study of \textit{randomly oriented divisor graphs}. For each $\rho \in [0,1]$, the randomly oriented divisor graph $\mathcal{D}_\rho(N)$ is obtained from the divisor graph on $\{1, 2, \ldots, N\}$ by directing each edge according to divisibility and independently reversing the direction of each edge with probability $\rho$. We study the expected size of the largest strongly connected component, $\textbf{E}[\#\Phi(\mathcal{D}_\rho(N))]$. Our main result gives a lower bound for this quantity in terms of the distribution of values of the divisor function $\tau(n)$. As a consequence, we show that for any fixed $\rho \in (0,1)$, the largest strongly connected component has expected size asymptotic to $N$. To obtain explicit bounds, we prove an effective version of a theorem of Hardy and Ramanujan on the normal order of $\log \tau(n)$, which may be of independent interest.

Wug-snake graphs and Markov numbers of matrix semigroups

math.CO

math.NT

v3

Classically, Markov numbers are recovered as perfect matching numbers of domino snake graphs. We extend this correspondence by introducing weighted universal generalised snake graphs, or wug-snake graphs. These are weighted ordered bipartite graphs whose perfect matching sequences encode linear recurrences. To every wug-snake graph we associate a continuant matrix and prove that the determinant of this matrix equals the weighted perfect matching sum. We then introduce polyomino wug-tiles, bodies of wug-snake graphs that act linearly on state vectors. Every integer matrix admits a canonical polyomino wug-tile. Our main result identifies the wug-snake determinant of a tile representing a matrix $A$ with the Markov-Davenport form of $A$. Consequently, algebraic and geometric Markov numbers of matrices and matrix semigroups can be expressed as weighted perfect matching determinants. Further we define Frobenius maps for matrix semigroups and discuss examples recovering classical Markov numbers and higher-dimensional lattice realisations.

Subsequence sums in permutations

math.CO

math.NT

v2

A sequence of positive integers $(a_1,a_2,\ldots,a_k)$ is called $\ell$-additive if $a_1+a_2+\cdots+a_k=\ell a_1$ or $\ell a_k$. In this paper, we prove that for all $k\geq3$, if $n$ is sufficiently large, then every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. We also provide polynomial bounds for the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. When only monotone subsequences are considered, we show that $18$ is the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a monotone 2-additive subsequence of length three. Strong bounds are obtained for the minimum number of $\ell$-additive subsequences of any length, as well as monotone $2$-additive subsequences of length three. Using techniques in arithmetic Ramsey theory, we also show similar results for products and inverse sums.