Number Theory [math.NT]

A new upper bound for the irrationality exponent of zeta(3)

math.NT

We prove that the irrationality exponent of $\zeta(3)$ satisfies $\mu(\zeta(3)) < 5.5138800$, improving the bound $5.513891$ obtained by Rhin and Viola in 2001, which has been the best known for twenty-five years. The proof is an application of their Theorem 5.1 at a new integral direction. That direction is not reached by enlarging the search range: its eight parameters are 52000 times theirs, shifted by at most 23. The mechanism is the one recently used by Bai for $\pi$. In particular the Rhin-Viola point, optimal in every region covered by enumeration, is not optimal.

The Primitive Generalized Fermat Equation x^3+y^5=z^7: A computer-assisted proof

math.NT

math.AG

We prove that the generalized Fermat equation $x^3+y^5=z^7$ has no solution in nonzero coprime integers, and we make explicit how the proof extends the prior work cited below. Dahmen-Siksek had established the signed local descent and eliminated the three cases in which the associated degree-seven algebra is reducible. Putz had then proved that the remaining irreducible case can involve only seven septic fields: six pure fields and one exceptional field. The missing step was to exclude those seven fields. For the six pure fields we construct an explicit Fano resolvent, descend to a smooth plane quartic of genus three over $\mathbb{Q}(\sqrt{-7})$, and prove that its rational-parameter locus consists only of five points above the branch values. For the exceptional field we combine the modularity and conductor results of Pacetti-Villagra Torcomian with level lowering over $\mathbb{Q}(\sqrt{5})$ and a finite Hecke comparison at $29$. We also reconstruct the three reducible-sector arguments of Dahmen-Siksek as independently replayable calculations, including their database-free identification of the quadratic field, and add an intrinsic formal-group treatment at the ramified prime. The paper labels every major step as a literature input, reconstructed input, or new argument. All project-specific finite calculations are supplied as exact certificates, programs, inputs, and authenticated logs.

Galois-Orbit Structure, Ramanujan Sums, and Stable-Range Collapse for Cyclotomic Cosine Formulas

math.NT

We study cyclotomic cosine evaluations beyond the fully symmetric setting by combining Galois-orbit structure with finite-frequency expansions. First, for truncation-compatible poly?nomial families over Q, we distinguish invariance of the evaluated value from invariance of the polynomial formula. Summability by a rational function of the level forces eventual rationality of the evaluated values. Conversely, every rational-valued sequence can be realized by a compatible family whose total degree is uniformly bounded by two, showing that value-level Galois invariance alone carries essentially no stable-range rigidity. We then introduce explicit orbit-structured pattern sums indexed by multiplicative configurations. For every fixed pattern, at each sufficiently large admissible level n, its cyclotomic cosine evaluation collapses to an affine function n times S0(r,h) minus 2 to the abs(h) power, where S0 is the zero-frequency coefficient of the associated Laurent polynomial. Consequently, every family uniformly generated from finitely many such patterns by a single polynomial recipe has eventually polynomial evaluation. Finally, decomposing the punctured index set into gcd-orbits yields an exact orbitwise formula in terms of Ramanujan sums. The semiprime and prime-power cases become transparent specializations of this general identity. These results identify both the obstruction to extending symmetric rigidity from value-level Galois invariance and a concrete non-symmetric class exhibiting uniform stable-range collapse

$A_2$-frames, negacyclic glue, and extremal strongly $6$-modular lattices

math.NT

The classical $A_2$-frame construction of the Coxeter--Todd lattice uses the hexacode as its glue. Here we replace the inert Eisenstein reduction at $2$ by the ramified Gaussian chain ring $S=\mathbb{Z}[i]/(1+i)^3$. For odd $\ell$, a one-generator cyclic graph code over $S$ lifts from an $A_2(4)^{2\ell}$-frame to an even strongly $6$-modular lattice $L_\ell$ of rank $4\ell$. In the real frame ordering the same glue is a one-generator negacyclic code. The cases $L_5$ and $L_7$ have minima $6$ and $8$ and give examples for the type-$6\mathrm{a}$ entries in dimensions $20$ and $28$, which are listed as open in the Nebe--Sloane catalogue. After completing the square, the minimum calculation becomes a four-symbol carry problem; for $L_7$ the key relation is the boundary map of a $7$-cycle. For $\ell=3$, $L_3$ has an index-$8$ overlattice isometric to the Coxeter--Todd lattice.

The number of Ekedahl-Oort strata intersecting the supersingular locus in the Siegel modular variety

math.NT

math.AG

Let $N_g$ be the number of Ekedahl-Oort strata intersecting the supersingular locus in the Siegel modular variety. We prove that $N_g\sim 2^{g-1}$ as $g\to\infty$.

Definability and undecidability via the torsion subgroup of units

math.NT

math.LO

In this paper, we prove that $\mathbb{Z}$ is first-order definable in the ring of integers $\mathbb{Z}^{\text{ab}}$ of the maximal abelian extension $\mathbb{Q}^{\text{ab}}$ of $\mathbb{Q}$, which implies that the first-order theory of $\mathbb{Z}^{\text{ab}}$ is undecidable. More generally, writing $i = \sqrt{-1}$ and $\mathbb{Q}^{\text{tr}}$ for the field of all totally real numbers, we prove new definability and undecidability results for rings of integers of subfields of $\mathbb{Q}^{\text{tr}}(i)$, focusing especially on fields which contain infinitely many roots of unity. The key ingredient for these results is that there is a parameter-free positive-existential formula which defines the roots of unity $\mu(\mathcal{O}_L)$ inside $\mathcal{O}_L$ for every field $L\subseteq \mathbb{Q}^{\text{tr}}(i)$.

Completed cohomology of Hilbert modular varieties below middle degree

math.NT

We study the locally analytic vectors of completed cohomology of Hilbert modular varieties below middle degree. Our main result says that the universal enveloping algebra action has to factor through certain quotients. Application includes bounds on the Gelfand-Kirillov dimension and a density result. The method is a continuation of our joint work with Kai-Wen Lan.

Geometric lifting and Freiman's $3k-4$ theorem in compact connected abelian groups

math.NT

math.CA

math.CO

math.GR

We develop a geometric lifting method for inverse sumset problems in compact connected abelian groups. The first result is an analogue of Freiman's $3k-4$ theorem, that is every compact set $A\subseteq G$ of sufficiently small Haar measure satisfying $\mu_G(A+A)<3\mu_G(A)$ is contained in a one dimensional Bohr set of measure at most $\mu_G(A+A)-\mu_G(A)$. This resolves a question of Christ and Iliopoulou. The proof combines Bilu's theorem with a geometric refinement of the spillover argument. We also establish a sharp projection theorem. Under a continuous surjective homomorphism with connected kernel, a compact set of sufficiently small positive measure and doubling at most $K$, where $2\le K<3$, has image of doubling at most $2K-2$, and this factor is best possible. Further consequences include variants of the $3k-4$ theorem for popular sumsets and an inverse theorem for Tao's convolution inequality.

A proof of the Baruah--Gogoi conjecture on sums of odd and even overlined parts

math.NT

Andrews and Dastidar introduced the statistic $\SOME(n)$, defined as the difference between the sum of all odd parts and the sum of all even parts occurring in the partitions of $n$, and investigated its arithmetic properties. Motivated by their work, Baruah and Gogoi defined two analogous statistics for overpartitions, namely $\OSOMEo(n)$ and $\OSOMEe(n)$, which record the sums of all odd and all even overlined parts, respectively. They established several congruences for these statistics and their difference, and proposed a conjecture on congruences modulo $7$. In this paper, we prove their conjecture by elementary $q$-series methods. Our proof combines two specializations of Watson's quintuple product identity, a $(p,k)$-parameterization of divisor-sum series, and termwise logarithmic differentiation

Infinite families of pairs of real quadratic fields whose class numbers are divisible by a given integer

math.NT

For any integers \(N \ge 2\) and \(m \ge 1\), we prove that there exist infinitely many pairs of real quadratic fields \(\QQ(\sqrt{D}), \QQ(\sqrt{D + m})\), with \(D \in \ZZ\) and \(D > 0\), such that the class numbers of both fields are divisible by \(N\). Write \(N = 2^{e}n\) with \(n\) odd. If \(n > 1\), then the class groups of both fields in each such pair contain an element of order \(n\).

Definite integral Albert algebras: arithmetic and finite geometry

math.NT

math.GR

math.RA

We give a unified treatment of definite Albert algebras over $\mathbb{Z}$, with exceptional Siegel--Weil identities as the main arithmetic tool. Starting from the standard octonion order alone, its first scalar theta coefficient saturates the genus average and forces every remaining class to be rootless. A cubic-ring coefficient of the $G_2$ theta lift then gives the mass of the remaining scale-$2$ framed orders, also recovered from shell geometry. A uniform Niemeier--Golay stabilizer bound saturates this mass, proving that there is exactly one further class and determining both automorphism orders, frame transitivity, and the $2457$ frames on $819$ rank-one elements. The associated generalized hexagon identifies the nonstandard group as ${}^3D_4(2):3$ only after its order has been proved. An independent weighted-theta argument gives the trace-zero root-system alternative $\varnothing$ or $A_2E_8^3$. The construction relates positive masses of framed objects to exceptional Eisenstein coefficients.

Modular integrals for individual modular knots

math.NT

math.GT

To each modular knot, we attach a weight $2$ modular integral for $\mathrm{SL}_2(\mathbb{Z})$ whose homogenized cycle integrals recover its linking numbers with other modular knots in $S^3$. This construction answers Choie-Zagier's question of explicitly constructing modular integrals with prescribed rational period functions in weight $2$. Our formula applies to individual modular knots without symmetrization, thereby realizing an approach discussed but not pursued by Duke-Imamo\={g}lu-T\'{o}th. This gives an answer to Ghys' question on pairwise linking numbers in terms of modular integrals, as sought by Simon.

Construction of vector-valued adelic automorphic forms

math.NT

We construct an adelic counterpart of Scheithauer's lifting map from scalar-valued modular forms to vector-valued modular forms transforming with the Weil representation. More precisely, we introduce suitable spaces of vector-valued adelic automorphic forms and define an adelic lifting map between the corresponding scalar-valued and vector-valued automorphic forms. We then prove that this adelic construction is compatible with Scheithauer's classical lifting map under adelization. In this way, the relation between scalar-valued and vector-valued modular forms is transferred naturally to the adelic setting.

Zero density estimates for $\mathrm{GL}_2$ automorphic $L$-functions

math.NT

We prove zero density estimates for $L$-functions of cuspidal automorphic representations $\pi$ of $\mathrm{GL}_2(\mathbb{A}_{\mathbb{Q}})$. We show that $N_\pi(\sigma, T) \ll T^{\frac{5}{2}(1 - \sigma) + o(1)}$, where $N_\pi(\sigma, T)$ denotes the number of zeros $\rho = \beta + i\gamma$ of $L(s,\pi)$ with $\beta \geq \sigma$ and $|\gamma| \leq T$. The key input is an extension of the Guth$\unicode{x2013}$Maynard argument to Dirichlet polynomials whose coefficients satisfy a weaker $\ell^q$ bound.

Gevrey localization for simple and distinct zeros in a prime-modulus Dirichlet family

math.NT

Let $q$ tend to infinity through odd primes, let $T=T(q)$, and put $\ell=\log(qT/2\pi)$. Suppose that $\ell^s=o(T)$ for some fixed $s>1$ and that \[ \lambda_{\rm bw}:=\min\left\{1, \liminf_{\substack{q\to\infty\\q\ \mathrm{prime}}} \frac{\log(q-1)}{\ell}\right\}>0. \] For the unweighted family of the $q-2$ nonprincipal characters modulo $q$, we prove unconditional lower bounds, relative to the total zero multiplicity in $(T,2T]$, of $2-1/c_{\lambda_{\rm bw}}^*$ for both simple and distinct critical-line zeros and of $\tfrac12(3-1/c_{\lambda_{\rm bw}}^*)$ for all distinct zeros, where \[ c_\lambda^*=\frac{\sqrt2\tan(\lambda/\sqrt2)} {1+(\lambda/\sqrt2)\tan(\lambda/\sqrt2)}. \] When $\log T=o(\log q)$, this gives respectively $0.6725007036\ldots$ and $0.8362503518\ldots$; in particular it covers every fixed $T=(\log q)^A$ with $A>1$. As the growing-height companion to the authors' public mesoscopic shrinking-height theorem, this article is organized around the different localization technology required when $T$ grows. An abstract theorem converts complex-strip Gevrey decay, sampling density, and a local multiset count into stretched-exponential localization in trace and nuclear norm. In the Dirichlet specialization the strip growth is $X^{1/4}$, where $X=\exp(\lambda\ell)$, and a buffer $D_0=(K\ell)^s$ absorbs the remote-zero contribution uniformly in the character. Quantitative finite-sampling end-effect bounds, a finite explicit-formula matrix, character-averaged first and second traces, hyperbolic functional-equation blocks, and a rank--trace inequality then yield the three zero statistics. The shared finite-inertia mechanism and the Montgomery--Taylor constant are not claimed as new. No form of GRH is assumed.

An Approximate Version of Vu's Theorem on Economical Subbases For Non-Integer Exponents

math.NT

math.CO

We prove an approximate analog of Vu's Theorem on economical bases of $k$th powers for non-integer powers. Fix a non-integer $\theta > 2$ and real $\tau > 0$. Let $s \geq \theta^2+9\theta^{3/2}+2 $ if $\theta > 3$ and $s \geq (\lfloor 2\theta \rfloor+1)(\lfloor 2\theta \rfloor+2)+1$ if $2 < \theta < 3$. We show the existence of a set $\mathfrak{X} \subseteq \mathbb{N}$ such that the number $R_{\mathfrak{X},s,\theta,\tau}(\Lambda)$ of integer solutions $(x_1,\ldots,x_s) \in \mathfrak{X}^s$ to the equation \begin{align*} |x_1^{\theta} +\cdots+ x_s^{\theta} - \Lambda| < \tau \end{align*} satisfies $R_{\mathfrak{X},s,\theta,\tau}(\Lambda) \asymp \tau \log(\Lambda)$ for all sufficiently large real $\Lambda > 0$.

Shifted log-sine integrals and multiple zeta values

math.NT

We show that the shifted log-sine integrals with odd entries, introduced by Umezawa, are multiple zeta values. In particular, they define an algebra homomorphism from the f-alphabet algebra to the algebra of multiple zeta values. The proof uses a motivic realization at sixth roots of unity and the Galois descent from level six to level one studied by Glanois. Finally, we give an interpretation of our results using Zinbiel algebras and introduce iterated cotangent integrals.

Morse Topology, Zero Products, and Elliptic Prime Crossings

math.NT

math.DS

math.GN

We study how the noncentral zeros of an elliptic-curve $L$-function enter the Birch--Swinnerton-Dyer (BSD) leading coefficient and the prime-scale crossings of an elliptic Chebyshev race. Under the elliptic-curve Riemann hypothesis (ECRH), the completed $L$-function yields an exact Hadamard decomposition, and the zero statistics $J_E$ and $V_E$ satisfy the positive identity $J_E=V_E/8+\Delta_E$. For seventeen rank-one isogeny classes of conductor $50700$, the first zero contributes on average $82.4%$ of $\Delta_{E,20}$, while independent edge values reveal a discrete $35/36$ zero-count split beyond height $20$. For Haar $SO(2N+1)$ we prove a fixed-dimensional hard-edge law $\Pr{J_N>y}\sim C_Ne^{-3y/2}$. A finite zero truncation also defines a Morse function on a phase torus, whose level sets and coarea density provide a topological model for crossing statistics. Motivated by false Chebyshev primes, we define elliptic crossing primes through the midpoint and half-jump of a logarithmically weighted Frobenius race. A four-stage conductor-$50700$ computation shows agreement at the level of ensemble profiles, while omitted-zero noise prevents resolution of individual shrinking-window events at height $20$. The experiment therefore identifies a quantitative resolution barrier rather than a failure of the prime-sampled transfer.

On some $D(u^2)$-triples and quadruples of triangular numbers

math.NT

We classify all $D(u^2)$-triples of triangular numbers whose smallest element is $T_{4u-1}$ or $T_{4u}$. We study the regularity of $D(N)$-triples of triangular numbers. We also show that infinitely many positive integers $u$ admit an all-triangular $D(u^2)$-quadruple. For every positive integer $k$, triangular number $T_{16k^2-1}$ belongs to infinitely many $D(u^2)$-quadruples of triangular numbers with distinct positive integer parameters $u$.

Beyond the unique pair: a two-parameter family of rational triangles with equal perimeter and area

math.NT

math.AG

We study pairs consisting of a rational isosceles triangle and a rational triangle having a prescribed angle $\theta$, with equal perimeter and equal area. Writing $\rho=\cos(\theta)\in\mathbb{Q}$, we obtain a two-parameter description of the solutions and, for fixed $\rho$, a family of curves $C_\rho$ which are generically of genus $2$. We determine the two singular specializations: there is no genuine pair for $\rho=\frac{1}{2}$, while $\rho=\frac{47}{49}$ admits infinitely many genuine pairs. We completely parametrize two natural one-parameter families in which the $\theta$-triangle is isosceles, and prove several density results for values of $\rho$ admitting one or more genuine pairs. For thirty-five explicit values of $\rho$, Chabauty--Coleman computations determine $C_\rho(\mathbb{Q})$ completely and show that the corresponding pair is unique up to homothety. We also study multiplicity when one triangle is fixed; the condition for a scalene $\theta$-triangle to have two isosceles partners leads to an elliptic $K3$ surface and yields a dense set of such values of $\rho$. Finally, we construct infinite families with at least four genuine pairs and exhibit examples carrying at least five, and in two cases at least six, genuine pairs.

The Arithmetic of Reducible Rank 2 Hypergeometric Motives

math.NT

We study the arithmetic of the realizations for hypergeometric motives attached to ${}_3F_2(1)$ hypergeometric series defined over number fields, focusing on the case where the \'etale realization is reducible and irregular. We then use motivic techniques to prove new evaluation formulas for certain ${}_3F_2(1)$ series, understood as a period of the hypergeometric motive. In addition, we provide examples which are closely related to the exact values of $L$-functions for modular forms in special cases.

An Introduction to the Lagrange and Markov Spectra through the Lens of Generalized Markov Numbers

math.NT

math.CO

This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices. One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters $(k_1,k_2,k_3)$, a permutation $\sigma\in\mathfrak S_3$, and a fraction label $t\in\mathbb Q_{\geq0}\cup\{\infty\}$, let $m_t$ be the associated generalized Markov number and let $k_t=k_{i_t}$ be the parameter assigned to its position $i_t\in\{1,2,3\}$. The text explains the construction of an associated finite sequence $S(t)$ of positive integers and the identity \[ \mathcal L(\alpha_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \] where $\alpha_{S(t)}=[\overline{S(t)}]$ and $Q_{S(t)}=(x-\alpha_{S(t)}y)(x-\alpha'_{S(t)}y)$, with the prime denoting quadratic conjugation. Here $\mathcal L$ and $\mathcal M$ denote the Lagrange and Markov constants, respectively. The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.

Weighted bilinear identities and supercongruences for Ap\'ery-like polynomials

math.NT

math.CO

We establish weighted bilinear summation identities for two families of Ap\'ery-like polynomials $g_n(x)$ and $v_n(x)$. The identities express weighted sums in terms of consecutive endpoint values and, when necessary, lower moments. For $g_n(x)^2$ we obtain identities with weights $(2n+1)^r$ for $1\le r\le4$; for $v_n(x)^2$ we treat the cubic and quintic weights. Combining these formulas with congruences for the endpoint values gives supercongruences modulo $p^3$ and $p^4$, together with special evaluations modulo $p^5$ and $p^7$, where $p$ is a prime greater than $3$. In particular, $$\sum_{n=0}^{p-1}(2n+1)^3v_n\!\left(\frac52\right)^2 \equiv 6p^4-\frac{143}{3}p^6\pmod {p^7},$$ confirming a congruence conjectured by Sun. The proofs use explicit quadratic telescoping identities and $p$-adic endpoint expansions.

On the hyperbolic prime number theorem

math.NT

Friedlander and Iwaniec proved that the number of points of the orbit $\{\gamma i \colon \gamma\in\SL_2(\Z)\}$ lying at a distance $p-2$ from the origin $i$ of the upper half-plane, with $p\le x$ prime, is of order $x/\log x$; the upper bound is unconditional, while the lower one rests on a strong hypothesis concerning the distribution of primes in arithmetic progressions. We consider instead square-free distances and prove unconditionally an asymptotic formula, whose main term is of order $x$. Employing the weighted linear sieve, we also show unconditionally that the square-free distances $n$ with at most $7$ prime factors contribute $\gg x/\log x$. Finally, assuming that the sequence $r(n-2)r(n+2)$ has level of distribution $x^{\theta}$ in arithmetic progressions, where $r(n)$ is the number of ways to write $n$ as a sum of two squares, we obtain the same lower bound for the distances with at most $N$ prime factors (the value $7$ corresponds to $\theta=1/6$).

Distinguishing Gauss sums

math.NT

Let $\F_q$ be the field of order $q = p^f$ for prime $p$. If $G(\chi)$ is the Gauss sum attached to a multiplicative character $\chi$ on $\F_q^\times$, then $G(\chi) = G(\chi^p)$. We investigate the converse question: when does the equality of Gauss sums $G(\chi_2) = G(\chi_1)$ imply that $\chi_2 = \chi_1^{p^j}$ for some integer $j$. If $\chi_2 = \chi_1^{p^j}$, we say that $\chi_1$ and $\chi_2$ are Frobenius-conjugate. We use the Stickelberger factorization of ideals in cyclotomic fields to give an easily testable criterion for equality of Gauss sums, based on $p$-adic digit expansion. As an application, we develop several conditions under which Gauss sum equalities between characters on $\F_q^\times$ are explained by Frobenius-conjugacy. For example, if $\chi_1$ has order $q-1$ or $\frac{1}{2}(q-1)$ and $G(\chi_2) = G(\chi_1)$, then $\chi_1$ and $\chi_2$ are Frobenius-conjugate. We also include several examples, based on the explicit evaluation of certain {\em pure} Gauss sums by R.J. Evans.

A tyro's approach to the tilted sieve: beyond the Erd\H{o}s--Rankin bound

math.NT

We give an elementary exposition of the tilted sieve introduced by GPT-5.6~Sol \cite{GPT2026}, showing that one residue class modulo each prime $p \le x$ can cover an interval of length \begin{equation*} \gg \frac{x\log x}{(\log_{2} x)\log_{3} x}. \end{equation*} This improves the classical Erd\H{o}s--Rankin bound by a factor of $(\log_{2} x)/(\log_{3} x)^{2}$. Although weaker than the strongest known bounds, it shows what the tilt and its associated covering of composite survivors achieve without Maynard sieve weights or a hypergraph covering theorem. The proof uses the prime number theorem, Mertens' reciprocal-prime formula, and elementary probability. The appendices provide a historical survey and self-contained proofs of the classical Erd\H{o}s--Rankin bound.

Counting $k$-tuples of positive integers such that the values of several polynomials of $k$ variables are relatively prime

math.NT

Let $F=(f_1(x_1,\ldots,x_k),\ldots, f_m(x_1,\ldots,x_k))$ be a system of nonconstant polynomials of $k$ variables with integer coefficients and let \[ {\gcd}_F(x_1,\ldots,x_k)= \gcd(f_1(x_1,\ldots,x_k),\ldots, f_m(x_1,\ldots,x_k)). \] We obtain an unconditional asymptotic formula for the sum \[ \sum_{1\le x_1,\ldots,x_k\le x} h({\gcd}_F(x_1,\ldots,x_k)), \] where $F$ is a system of $m\ge 2$ polynomials of $k\ge 2$ variables subject to certain general properties, and $h$ is a bounded strongly multiplicative function. In particular, we deduce an asymptotic formula with error term concerning the density of $k$-tuples of positive integers $(x_1,\ldots,x_k)$ such that ${\gcd}_F(x_1,\ldots,x_k)=1$, given by the Ekedahl-Poonen formula.

Rankin-Cohen Pairings and Hilbert Hecke Eigenform Product Identities

math.NT

We establish a Petersson-Rankin-Selberg identity for Hilbert Rankin-Cohen brackets over totally real fields of degree greater than one and arbitrary narrow class number. This extends results of Zhang-Zhang and Zhang-Zhou. For even $k,\ell\ge 2$, $r\in\mathbb{Z}_{\ge 0}$, $K=k+\ell+2r$, and normalized full-level cuspidal Hecke eigentuples $f\in S_K(\omega_f)$ and $h\in S_\ell(\omega_h)$, we show $\langle f,[E_k,h]_r\rangle=C_{F,k,\ell,r}L^S(k/2,\Pi(f)\times\Pi(h)^\vee)/L_F(k,\omega_f\omega_h^{-1})\ne 0$, where $C_{F,k,\ell,r}>0$. Specializing to $k=2$, we remove the remaining GRH assumption in the product classification of Hao-Qin-Zhou. Hence, over real quadratic fields of narrow class number one, the only full-level product identities among Hecke eigenforms of even parallel weights at least two, up to interchanging the factors, are $E_4^{\mathrm{eig}}=60(E_2^{\mathrm{eig}})^2$ and $h_8=120E_2^{\mathrm{eig}}h_6$ over $\mathbb{Q}(\sqrt{5})$.

On the monomials of Poincar\'e Series of negative index

math.NT

It is well known that an Eisenstein series $E_k$ cannot be written as a product of two lower-weight Eisenstein series, except for $E_{14}=E_4 E_{10}= E_4^2 E_6= E_6 E_8$. A similar result is also known for the Hecke eigenforms. It is also known that equalities among the monomials of the Eisenstein series can be reduced to the above-mentioned identities. Recently, the present author, along with E. Saha studied the possible monomial relations of the Poincar\'e cusp forms of index $1$. So far, the problem of studying the monomial relations has been restricted to the setup of holomorphic modular forms. For an even integer $k\ge 4$ and a negative integer $m$, the Poincar\'e series $G_{k}(z,m)$ of weight $k$ and index $m$ is a weakly holomorphic modular form having a pole of order $-m$ at $\iota\infty$. It is immediate that the Poincar\'e series $G_k(z,m)$ for $m<0$ can not be written as a product of two lower-weight Poincar\'e series of the same index $m$. In this article, we investigate the possible equalities among the monomials of the Poincar\'e series $G_k(z,m)$ for arbitrary $m<0$. In particular, we show that for any $m<0$ such that $0.06\le\{-2m\pi\}\le0.99$, two monomials composed of $G_k(z,m)$ of the weights $k\ge 50$ are never equal, where $\{x\}$ denotes the fractional part of a real number $x$. In view of Weyl's equidistribution criterion, at least $93\%$ of $m<0$ satisfies the above inequality.

Trivial zeros of zeta functions of type $\mathrm{A}_r$

math.NT

In this paper, we investigate the values of zeta functions of root systems at non-positive integer points. In particular, we focus on the zeta functions of type $\mathrm{A}_r$. Since non-positive integer points are included in the set of singularities of zeta functions of root systems, we introduce the \emph{ordered limit values} to define those values. We study four particular ordered limit values and give explicit formulas for them, or recurrence formulas that allow us to calculate them inductively. We then prove that three ordered limit values of zeta functions of type $\mathrm{A}_r$ vanish under some conditions that can be regarded as a multivariable analogue of the trivial zeros of the Riemann zeta function. Finally, we discuss the other zeros of zeta functions of type $\mathrm{A}_r$ at non-positive integer points and a possible connection of such zeros and non-trivial identities among classical Eisenstein series.

Delta Characters and Filtered Isocrystals

math.NT

math.AG

Given an abelian scheme $A$ over a $p$-adic ring $R$, Borger and Saha constructed a filtered module $\{\mathbf{H}_\delta(A) \supset \mathbf{X}_{\mathrm{prim}}(A)\supset \{0\}\}$ with a semilinear operator $\mathfrak{f}^*$ on $\mathbf{H}_\delta(A)$ using the theory of arithmetic jet spaces. The above object admits a canonical map $\Phi$ to the Hodge sequence $\{\mathbf{H}^1_{\mathrm{dR}}(A) \supset H^0(A,\Omega_A)\supset \{0\}\}$ of $A$ in the category of filtered modules. As a result, by restricting $\Phi$, we obtain a natural $R$-linear map $\Upsilon: \mathbf{X}_{\mathrm{prim}}(A) \rightarrow H^0(A,\Omega_A)$. In this paper, we show that the map $\Upsilon$ is an isomorphism of vector spaces over $K$, the field of fractions of $R$. As a consequence, we will show that for all abelian schemes $A$, the operator $\mathfrak{f}^*$ on $\mathbf{H}_\delta(A)_K$ is a bijection, and our object $\{\mathbf{H}_\delta(A)_K \supset \mathbf{X}_{\mathrm{prim}}(A)_K\supset \{0\}\}$ becomes a filtered isocrystal. In fact, the above results admit a generalization to the setting of semi-abelian schemes. The elements of $\mathbf{X}_{\mathrm{prim}}(A)$ are represented by primitive additive characters of the arithmetic jet spaces attached to $A$. Hence, our isomorphism given by $\Upsilon$ provides an interesting character-theoretic interpretation of $H^0(A,\Omega_A)$ in terms of primitive delta characters. As a result, to any $1$-form $\omega$, the above isomorphism associates a canonical numerical invariant that depends on deformation theoretic data of $A$. Furthermore, we also extend a comparison theorem between $\mathbf{H}_\delta(A)_K$ and the first crystalline cohomology $\mathbf{H}_{\mathrm{cris}}^1(A)_K$ in the general case when the elliptic curve $A$ is defined over the ring of integers of a $p$-adic field $K$ that is a finite extension of $\mathbb{Q}_p$.

On the distribution of the minimal length of addition chains

math.NT

math.CO

A sequence of integers $1=a_0<\cdots<\log 2$, there exist positive constants $K_1$ and $K_2$ such that $$ K_1^r m^r\le F(m,r)\le K_2^r m^r $$ for all sufficiently large $m$ and all integers $m^{0.9}m^{0.9}$. Moreover, denoting by $G(m,r)$ the number of \emph{distinct} addition chains of length $m+r$ leading to an integer $n\in [2^m, 2^{m+1})$, we show that there exist positive constants $K_3$ and $K_4$ such that $$ K_3^r \left(\frac{m^2}{r}\right)^r\le G\left(m,r\right)\le K_4^r \left(\frac{m^2}{r} \right)^r $$ provided $m^{0.9}

A Szemer\'edi-Trotter Theorem in Arbitrary Fields

math.CO

math.CA

math.NT

Let $k$ be a field of characteristic $p>0$. We prove that $m$ points and $n$ lines in $k^2$ determine $O((mn)^{2/3}+m+n+mn/p)$ incidences. In characteristic zero the last term is omitted. The proof uses the polynomial method, and for $m=n$ the bound is sharp over prime fields. As applications, over prime fields with $p\equiv 3\pmod4$ we obtain the $L^2\to L^r$ extension estimate for the paraboloid in $F_p^3$ for $r>10/3$, and we show that Bourgain's paraboloid extractor extracts from independent sources of any min-entropy rate greater than $3/8=0.375$ with exponentially small error. We also improve sum-product estimates for small sets in positive characteristic.

The intersection of local Arthur packets for even orthogonal groups and applications

math.RT

math.NT

We give algorithms to explicitly compute local Arthur packets and their intersections for even orthogonal groups $G_n$ over $p$-adic fields using extended multi-segments. In addition, we provide an algorithm which determines whether a representation of $G_n$ lies in a local Arthur packet. As applications, these results are used to identify distinguished parameters, prove the closure ordering conjecture, the enhanced Shahidi conjecture, the weak local Arthur packet conjecture, and the good parity unitary dual conjecture for $G_n$.

A minimal HRT counterexample at the sharp Gelfand--Shilov threshold

math.CA

math.FA

math.NT

In a remarkable breakthrough, Faulhuber, Petersen, van Velthoven, and Voigtlaender disproved the Heil--Ramanathan--Topiwala conjecture by constructing twelve linearly dependent time--frequency shifts of a Schwartz function. The following day, the author compressed their vector-Zak and cohomological architecture to an explicit intrinsically subcritical four-point configuration, thereby attaining the minimum possible cardinality. Soon thereafter, Jasper and Mixon gave a transparent analytic refinement of the breakthrough mechanism and proved, for every Diophantine pair, that HRT counterexamples may be realized with windows in the Roumieu Gelfand--Shilov class $\mathcal S_1^1(\mathbb R)$; their theorem establishes the endpoint regularity phenomenon in broad arithmetic generality while leaving support cardinality unrestricted. The purpose of the present paper is to show that these two sharp advances can be attained simultaneously. We prove that the same explicit four points, coefficients, and matrix cocycle admit a nonzero window in $\mathcal S_1^1(\mathbb R)$. Moreover, if $0\ne f\in\mathcal S_s^\sigma(\mathbb R)$ and $s<1$ or $\sigma<1$, then every finite system of distinct time--frequency shifts of $f$ is linearly independent. Thus four is the least possible cardinality and $(1,1)$ is the sharp coordinatewise threshold within the Roumieu Gelfand--Shilov scale.

Resultant of an equivariant polynomial system with respect to the reflection group $G(r,n)$

math.AC

math.AG

math.CO

math.NT

We consider systems of homogeneous multivariate polynomials equivariant under the complex reflection group $G(r,n) = (\mathbb{Z}/r\mathbb{Z})^n \rtimes S_n$. Using divided differences indexed by partitions of $n$, we establish a decomposition formula expressing the resultant of such a system as a product of resultants of smaller, partition-indexed subsystems. Combining this with the classical resultant--discriminant relation, we show that the discriminant of a $G(r,n)$-invariant homogeneous polynomial splits explicitly into a product of resultants of smaller subsystems, considerably easier to compute; we illustrate both decompositions with worked examples.

The Tate conjecture for powers of abelian fourfolds and the Hodge conjecture for powers of CM fourfolds

math.AG

math.NT

We prove the Tate conjecture in every codimension on every power of an abelian variety of dimension at most four over a finite field. For geometrically simple fourfolds, we use Broe's theorem and the classification of Frobenius relations. For dihedral pairs of abelian surfaces, we construct algebraic classes using families of abelian threefolds, the Gross--Schoen height formula, and polarization contractions. We also prove the Hodge conjecture for every power of a complex CM abelian fourfold, using Markman's theorem on Weil classes and Milne's criterion. The finite field results imply standard conjecture~D and the expected pole orders of the zeta function on every power.

Locally analytic representations in mixed characteristic via stacks

math.RT

math.NT

For any $p$-adic Lie group $G$, we construct a group stack $G^\mathrm{la}$ over the $p$-adic branch of Clausen--Scholze's stack of norms such that quasicoherent sheaves on its classifying stack $*/G^\mathrm{la}$ recover locally analytic representations of $G$ after base change to any suitable Tate Huber pair, even in positive or mixed characteristic. We also show that smooth $\mathbb{F}_p$-representations of $G$ embed fully faithfully into sheaves on the mod $p$ fibre of $*/G^\mathrm{la}$ and establish Poincar\'e duality for cohomology of locally analytic representations in mixed characteristic.

Endoscopic liftings and parameters of epipelagic representations for classical groups

math.RT

math.NT

Let $G$ be a $p$-adic classical group (orthogonal, symplectic, or unitary) and $\pi$ be an epipelagic representation of $G$ in the sense of Reeder-Yu. Using M{\oe}glin's theory of extended cuspidal supports and Bushnell-Kutzko's theory of covering types, we determine explicitly the endoscopic lift of $\pi$ to the general linear group, whose Langlands dual expresses the dual group of $G$ as a complex matrix group, in terms of the inducing type of $\pi$ that extends the character of the first Moy-Prasad filtration subgroup defined by a stable functional. We interpret the inducing type of $\pi$ via Stevens' construction of supercuspidal representations by skew semisimple strata and introduce what we will call epipelagic strata, requiring only that the residual characteristic $p$ be odd. As an application, we reprove M. Oi's results on the endoscopic lifts of simple supercuspidal representations, in the sense of Gross-Reeder, of quasi-split classical groups. Finally, on the Galois side, we show that the epipelagic Langlands parameters of $G$ constructed by Reeder-Yu can be recovered via the self-duality of Bushnell-Henniart's admissible triples and endoscopic embeddings of L-groups. We also establish some related results concerning epipelagic parameters that were previously proved under restrictions on $p$, including a parity result on rectifying characters and an adjoint Swan conductor result related to the Hiraga-Ichino-Ikeda conjecture.

Evaluating $\mathrm {SU}(3)$ Verlinde sums using spectral graph theory

math.CO

math.NT

We realize the $\mathrm{SU}(3)$ Verlinde sums $V_n(m)$, up to an explicit factor, as the values at $n$ of the spectral zeta function of a higher-order Laplace operator on the triangular discrete torus on $m^2$ vertices. For fixed $m$, we express their generating function in terms of the logarithmic derivative of an associated even spectral polynomial and express this polynomial as an explicit iterated resultant. Exploiting permutation symmetry, we prove that this polynomial is a cube over $\mathbb{Q}$, apart from an explicit quadratic factor when $3\mid m$. This factorization yields shorter linear recurrences satisfied by $V_n(m)$ with constant coefficients. We also derive Binet-type formulas expressing $V_n(m)$ as finite linear combinations of powers of rescaled inverse squares of the roots of the spectral polynomial. These results provide an efficient algorithm for computing these Verlinde sums. Several fully developed examples demonstrating computational efficiency of the method are given, including expressions in terms of Fibonacci and Lucas numbers.

Computation of anisotropic singular sums from high-order derivatives of Epstein zeta functions

math.NA

cond-mat.str-el

cs.NA

math.NT

The precise and efficient evaluation of large-scale lattice sums involving power-law kernels is a fundamental computational problem in the simulation of classical and quantum systems with long-range interactions. While methods for spatially isotropic kernels, some based on Epstein zeta functions, have advanced considerably in recent years, the anisotropic case has lagged behind, despite its broad relevance to both fundamental and effective interactions such as the dipole interaction in magnetic materials. In this work, we solve this issue by defining and analyzing anisotropic Epstein zeta functions for which we derive stably computable representations obtained from wave vector derivatives of lattice sums over isotropic interaction kernels. These functions find direct application in the analytical and numerical study of anisotropically interacting lattice systems. Going further, they provide the correction term in an exact equivalence between discrete lattices and their continuous analogs in a recent generalization of the classical Euler-Maclaurin summation formula to lattices and summands involving power-law kernels. Their connection to high-order derivatives of zeta functions can be used to improve convergence rates of numerical algorithms, for instance in micromagnetics, or to provide rapidly convergent expansions suitable for precomputations of generalized zeta functions. We derive a stably computable representation of anisotropic Epstein zeta functions, including the possibility for analytically removing Rayleigh--Wood singularities, and we develop a numerical algorithm for their stable evaluation for any lattice, power-law decay exponent and anisotropy order. We benchmark the algorithm against closed-form identities, direct summation and multi-precision results, obtaining machine precision across various lattices, power-law exponents, and anisotropy orders.

On vector valued automorphic forms for the Weil representation

math.NT

v4

We develop a theory of vector valued automorphic forms associated to the Weil representation $\omega_f$ and corresponding to vector valued modular forms transforming with the ``finite'' Weil representation $\rho_L$. For each prime $p$ we determine the structure of a vector valued spherical Hecke algebra depending on $\omega_f$, which acts on the space of automorphic forms.

Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields

math.NT

v2

Via a novel application of Iwasawa theory, we study Hilbert's tenth problem for number fields occurring in $\mathbb{Z}_p$-towers of imaginary quadratic fields $K$. For a odd prime $p$, the lines $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ are identified with $\mathbb{Z}_p$-extensions $ K_{a,b}/K $. Under certain conditions on $ K $ that involve explicit elliptic curves, we identify a line $(a_0,b_0) \in \mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ such that for all $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ with $(a, b)\not\equiv (a_0, b_0)\pmod{p}$, Hilbert's tenth problem has a negative answer in all finite layers of $ K_{a,b} $. Using results of Bhargava et al., we prove unconditionally that a positive proportion of imaginary quadratic fields meet our criterion when $p=3$. For $p=11,13,31,37$, the analogous conclusions obtained from the rank-zero twist families of Kriz--Li are conditional on the vanishing of the $p$-primary Tate--Shafarevich groups for a positive relative proportion of those twists.

The standard $L$-function attached to a vector valued modular form

math.NT

math.FA

v2

We define two $L$-functions associated to a common vector valued eigenform $f$ transforming with the ``finite'' Weil representation. The first one can be seen as a standard zeta function defined by the eigenvalues of $f$. The second one can be interpreted as standard $L$-function defined as an Euler product where each $p$-factor is a rational function in terms of two unramified characters of the $p$-adic field $\Q_p$. We show that both $L$-functions are related and prove further that they both can be continued meromorphically to the whole complex $s$-plane.

Rudin-Shapiro function along irreducible polynomials over finite fields

math.NT

v3

Let $q$ be an odd prime power and $\mathbb{F}_q$ be the finite field of $q$ elements. We define the Rudin-Shapiro function $R$ on monic polynomials $f=t^n+f_{n-1}t^{n-1}+\dots + f_0\in\mathbb{F}_q[t]$ over $\mathbb{F}_q$ by $$ R(f)=\sum_{i=1}^{n-1}f_if_{i-1}. $$ We investigate the distribution of the Rudin-Shapiro function along irreducible polynomials. We show that the number of irreducible polynomials $f$ with $R(f)=\gamma$ for any $\gamma\in\mathbb{F}_q$ is asymptotically $q^{n-1}/n$ as $n\rightarrow\infty$.

An integral comparison of crystalline and de Rham cohomology

math.NT

math.AG

v2

Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a comparison between the de Rham cohomology groups $\mathrm{H}^i_\mathrm{dR}(X/\mathcal{O}_K)$ and the crystalline cohomology groups $\mathrm{H}^i_\mathrm{crys}(X_k/W(k))$ of the special fibre, after tensoring with $K$. In this article, we use the stacky perspective on prismatic cohomology, due to Drinfeld and Bhatt--Lurie, to give a version of this comparison result with coefficients in a perfect complex of prismatic $F$-crystals on $X$. Our method is of an integral nature and suggests new tools to understand the relationship between torsion in de Rham and crystalline cohomology.

Weil's quadratic form via the screw function

math.NT

math.FA

v3

We establish a unified operator-theoretic framework for understanding the results on the Weil quadratic form obtained by Yoshida (1992), Bombieri (2001, 2003), Connes--Consani (2023), and Connes--Consani--Moscovici (2025+) from the perspective of the screw function introduced in Suzuki (2023). An advantage of the approach via the screw function is that it provides a method to study the Weil quadratic form, which is originally defined in terms of distributions, by means of continuous functions and brings the theory of de Branges spaces into the analysis of the Weil quadratic form via the Fourier transform. Based on this framework, we formulate a conjecture stating that a self-adjoint operator whose eigenvalues are the imaginary parts of the nontrivial zeros of the Riemann zeta function can be obtained as the limit, as $a \to \infty$, of self-adjoint operators arising from nonlocal realizations of the first-order differential operator on the finite interval $[-a,a]$. All these results are obtained without assuming the Riemann Hypothesis. This conjecture may be compared with the limit formula for the Riemann zeta function expressed in terms of zeta-regularized products proposed by Connes, Consani, and Moscovici, and it sheds new light on the spectral-theoretic interpretation of the nontrivial zeros of the Riemann zeta function.

Lower bounds for discrete moments in a conjecture of Ng

math.NT

v2

Assuming the Riemann Hypothesis and the simplicity of the non-trivial zeros of the Riemann zeta function $\zeta(s)$, we prove lower bounds for the discrete moments $\sum_{0<\gamma\le T}|\zeta(2\rho)/\zeta'(\rho)|^{2k}$ for every fixed rational $k\ge1$, and for every fixed real $k\ge1$. At $k=1$ we give a new proof of the explicit bound, half of the main term conjectured by Ng.

Almost sure upper bound for sums of random multiplicative functions and critical chaos

math.NT

math.PR

v2

Let $f$ be a Steinhaus or Rademacher random multiplicative function. We use methods from the theory of critical chaos to improve on the best known upper bound for partial sums of random multiplicative functions. In particular, our results imply that for any $\varepsilon>0$, almost surely $$ \Big|\sum_{n\le x}f(n)\Big| \ll_{\varepsilon}\sqrt{x}(\log_2x)^{1/4}(\log_3x)^{1+\varepsilon}. $$ This proves in a strong form a conjecture of Harper on large fluctuations of partial sums of random multiplicative functions, and determines the exact corresponding logarithmic exponent.

Discrete dynamics of Eratosthenes sieve

math.NT

v3

We study Eratosthenes sieve as a discrete dynamic system. At each stage of the sieve there is a cycle of gaps ${\mathcal G}(p^\#)$ of length $\phi(p^\#)$ and span $p^\#$. There is a recursion ${\mathcal G}(p_k^\#)\longrightarrow {\mathcal G}(p_{k+1}^\#)$ that creates the next cycle from the current one. If we take initial conditions from the cycle ${\mathcal G}(p_0^\#)$, then for all constellations of span $|s| < 2p_1$, including gaps $g < 2p_1$, the driving terms of various lengths form Markov chains. These yield {\it exact} models for the populations $n_s(p_k^\#)$ for all further stages of the sieve. If $s$ is an admissible constellation of length $J$, then its population $n_{s,J}(p^\#)$ grows as $\Theta \left( \prod (q-J-1)\right)$. So we factor out the superexponential growth to obtain the exact model for the relative population $w_s(p_k^\#)$ of the constellation $s$ across all further stages of the sieve. $$ w_{s,J}(p_k^\#) \; = \; n_{s,J}(p_k^\#) \, / \, \prod_{J+1 < p \le p_k} (p-J-1) $$ The asymptotic value of the relative population is a constant ${w_{s,J}(\infty) \ge 1}$ that depends only on the odd prime factors that divide a span in $s$. Assuming that the instances of a constellation $s$ are approximately uniformly distributed in ${\mathcal G}(p_k^\#)$, we develop first-order estimates of the number of instances $s$ that would occur in the interval of survival $\Delta H(p_k) = (p_k^2, p_{k+1}^2]$. We define a statistic $\eta_s(p_k)$, the quadratic density of the constellation $s$ over the interval $\Delta H(p_k)$. We show that the first-order estimates $\widehat{\eta_g}(p)$ for prime gaps agree with samples up to $5.677\,E14$.

On the counting function of square-full numbers

math.NT

v2

We study the distribution of square-full numbers under the assumptions of Riemann hypothesis and that the zeros of $\zeta(s)$ are simple. Thus the error term is improved to a considerable extent with an extra main term.

$\vec M$ Versions of Andrews-Gordon Identities Revisited

math.NT

math.CO

v2

In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_\nu$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_\nu^2 - M_1N_1 - M_2N_2 - \cdots - M_\nu N_\nu } }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_\nu} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^{\nu}n_k$ for $1\le i\le \nu$.

Classification of torsion of elliptic curves over quintic fields

math.NT

math.AG

v2

We determine all the groups that appear as the torsion group of an elliptic curve over a quintic number field. Apart from the groups that already occur infinitely often, which were determined by Derickx and Sutherland, exactly three groups occur: $\mathbb{Z}/28\mathbb{Z}$, $\mathbb{Z}/30\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$. Up to isomorphism of the pair $(K,E)$, the first and the third are each realised by a single elliptic curve and the second by two curves, which are $2$-isogenous over a common quintic field. The curves realising $\mathbb{Z}/28\mathbb{Z}$ and $\mathbb{Z}/30\mathbb{Z}$ were found by van Hoeij, while the group $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$ is new, and $5$ is the smallest degree in which a non-cyclic sporadic torsion group occurs. The methods improve on those developed by Derickx and Najman, and are based on Hecke sieves and the arithmetic of cuspidal divisor classes.

Surjectivity of the Enots Wolley Sequence

math.NT

math.CO

v3

We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose, toward a contradiction, that some eligible integer is omitted, and consider its finite set of prime divisors. The local rules then severely restrict how terms involving these primes can occur: after a finite initial segment, terms divisible by some but not all of them can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite conclusion at large scales. From almost every term divisible by all of the chosen primes, it produces enough smaller earlier terms divisible by only some of them; a weighted double count makes this excess quantitative and yields a contradiction. It follows that any omission would force every sufficiently late term to have a prime divisor in one fixed finite set. Prime recurrence and a disjoint-cover argument rule out such a finite obstruction, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.

Tunnell-type criteria for variants of the congruent number problem

math.NT

v2

We study the $\theta$-congruent number problem for $\cos\theta=\pm3/5$ and $\pm4/5$ using the generalized theta series construction of Sirolli--Tornar\'ia. We describe its specialization to newforms of weight $2$ over $\mathbb Q$ with nontrivial square-free odd part of the level, and explain the reduction of quadratic twists to odd fundamental discriminants. The same construction gives an effective procedure for every $\theta$-congruent number problem with nonzero rational cosine. For the four angles, we construct explicit forms of weight $3/2$ whose Fourier coefficients determine the central $L$-values of the associated elliptic curves. This gives Tunnell-type criteria for every positive square-free integer: a nonzero coefficient implies non-$\theta$-congruence unconditionally, and the converse holds assuming the Birch--Swinnerton-Dyer conjecture. We also prove unconditional non-$\theta$-congruence for primes in explicit arithmetic progressions.

An ergodic approach to equations of the form $x+y=\lfloor\alpha(n)\rfloor$

math.NT

math.DS

v2

Motivated by questions and results of Erd\H{o}s, S\'ark\"ozy and S\'os (1989), and Khalfalah and Szemer\'edi (2006), we introduce an ergodic approach to additive problems concerning solutions of equations of the form \[ x+y=\lfloor\alpha(n)\rfloor,\quad x,y\in A,n\in\mathbb{N} \] where $\alpha(t)$ is a sufficiently regular function, such as a polynomial or a logarithmico-exponential function of polynomial growth (e.g. $\alpha(t)=t^{5/2}+t^2\log t$), and $A$ is either a given set of positive upper density, or a cell of a prescribed finite partition of $\mathbb{N}$. We give a complete description of the Hardy field functions of polynomial growth for which these partition and density problems are always solvable. The ergodic approach also applies to the more general problem of finding $x\in A_1,y\in A_2$, where $A_1,A_2$ are two given sets of positive density. This in turn allows us to treat equations of the form $kx+ly=\lfloor\alpha(n)\rfloor$, where $k,l\in\mathbb{Z}$. Some of our results also hold true when $A$ is a subset of the primes with positive relative upper density.

A Note On Certain Minimal Excludants Over Overpartitions

math.NT

math.CO

v2

Let $\sigma\mathrm{Mex}(n)$ and $\sigma_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions, respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $\sigma_e\mathrm{Mex}(n)\equiv\sigma\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2}$, where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$, and obtain relation with basic hypergeometric series. Furthermore, we prove the asymptotic behavior of $\sigma\mathrm{Mex}(n)$, $\sigma_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $\sigma\mathrm{Mex}(n)\sim 2\,\sigma_e\mathrm{Mex}(n).$

Wave Numbers: Discrete Sequence Algebras, Sieve Projectors, and Dynamical Geometry

math.NT

v2

We establish a comprehensive algebraic, geometric, and physical classification of the wave closure space generated from primitive plane wave sequences on the discrete spatial lattice $\mathbb{Z}$. Resolving lattice degeneracies via unwrapped phase spaces, we prove that the linear wave group $\mathcal{G}$ under pointwise product, inversion, and root extraction is an infinite divisible abelian torsion group isomorphic to $(\mathbb{Q}/\mathbb{Z}) \times (\mathbb{Q}/\mathbb{Z})$, with canonical decomposition into Pr\"{u}fer $p$-groups and maximal cyclotomic value field $\mathbb{Q}^{\mathrm{ab}}$. Extending to coordinate powers yields the polynomial phase group $\mathcal{G}_{\mathrm{poly}}$, classified by integer-valued polynomials $\operatorname{Int}(\mathbb{Z})$. Adjoining addition yields the group algebra $\mathbb{C}[\mathcal{G}_{\mathrm{poly}}]$, for which we establish the Permutation-Symmetric Phasor Superposition Theorem, factoring superpositions into collective barycentric carriers and closed Born probability envelopes. Using algebraic sieves over roots of unity, we construct idempotent projectors and complementary Not-sieve notch filters, achieving exact algebraic synthesis of both momentum and localized Kronecker position bases. Generalizing to non-abelian quaternions $\mathcal{V}_\mathbb{H}$, we prove a polar decomposition into scalar envelopes and $\mathrm{SU}(2)$ spinor rotors. Identifying coordinate advance with time, biquaternion determinants intrinsically yield Minkowski spacetime $s^2 = c^2 t^2 - \|\mathbf{x}\|^2$ and the Lorentz group $\mathrm{SO}^+(1,3)$. We demonstrate emergent vacuum zero-point jitter, topological selection of rational frequencies, and correspondences with discrete qudits.

The Brauer-Manin obstruction for stacky curves

math.AG

math.NT

v4

We show that the Brauer-Manin obstruction is the only obstruction to strong approximation for all stacky curves over global fields with finite abelian fundamental groups. This includes all stacky curves of genus $g = \frac{1}{2}$, thus explaining a recent counterexample to the Hasse principle of Bhargava-Poonen. We will furthermore show that the elementary obstruction is the only obstruction to the integral Hasse principle for smooth proper integral models of stacky curves of genus $g < 1$. We then compute the Brauer-Manin obstruction for smooth proper integral models of stacky curves of genus $\frac{1}{2}$.

$c_{\rm eff}$ from Surgery and Modularity

hep-th

math-ph

math.GT

math.MP

math.NT

v3

$\widehat{Z}$ invariants, rigorously defined for negative definite plumbed 3-manifolds, are expected - on physical grounds - to exist for every closed, oriented 3-manifold (Gukov et al., 2020). Several prescriptions have been proposed to extend their definition to generic plumbings by reversing the orientation of a negative definite plumbing, thus turning it into a positive definite one (Cheng et al., 2019). Two existing proposals are relevant for this paper: (i) the regularized $+1/r$-surgery conjecture combined with the false-mock modular conjecture (Park, 2021 and Cheng et al., 2024), and (ii) a construction based on resurgence and a false theta function duality (Costin et al., 2023). In this note, we compare these proposals on the class of Brieskorn homology spheres $\overline{\Sigma(s,t,rst\pm1)}$ and find that they are incompatible in general. Our diagnostic is the effective central charge, $c_{\rm eff}$, which governs the asymptotic growth of coefficients of $\widehat{Z}$ (Gukov and Jagadale, 2024). First, we prove that the upper bound on $c_{\rm eff}$ from prescription (i) is governed by the Ramanujan theta function, which regularizes the surgery formula. Second, we develop numerical and modular tools that deliver the lower bounds as well as exact values via mixed mock-modular analysis. Complementing this, we also study $c_{\rm eff}$ for negative definite plumbed 3-manifolds which allow for a better comparison of pairs of 3-manifolds related by orientation reversal. As a result, we find that for some Brieskorn spheres the surgery and false-mock prescriptions violate the expected relation between $c_{\rm eff}$, Chern-Simons invariants and non-abelian flat connections.These findings underscore $c_{\rm eff}$ as a sensitive probe of the ''positive side'' of $\widehat{Z}$-theory.

De Rham affineness of the Nygaard filtered prismatization in positive characteristic

math.AG

math.AT

math.NT

v3

Let $k$ be a perfect ring of characteristic $p>0$, and let $R$ be an animated $k$-algebra. This note aims to show that the Nygaard filtered prismatization $R^{\mathrm{Nyg}}$ of $R$ is naturally isomorphic, as a stack over $k^{\mathrm{Nyg}}$, to the relative spectrum over $k^{\mathrm{Nyg}}$ of the Rees algebra of the Nygaard filtered prismatic cohomology of $R$ relative to $W(k)$. In doing so, we axiomatise the functorial affineness property displayed by the relative Nygaard filtered prismatization, and dub it de Rham affineness after the fundamental example of the functor sending an animated ring to its relative de Rham stack. While we treat this concept as an organising tool for the author's forthcoming work on the syntomification of Frobenius liftable schemes, we are able to frame some questions based on a structural result of independent interest: a functor to stacks which is de Rham affine often arises via ring stacks through transmutation.