Number Theory [math.NT]

Jittered sampling and probability measures

math.NT

math.CA

math.PR

This paper investigates the discrepancy of a family of random sampling methods obtained by perturbing the grid $\frac{1}{M}\mathbb{Z}^{d}\cap\left[ -1/2,1/2\right)^{d}$, where $M$ is a large positive integer. Parameterized by an arbitrary probability measure $\mu$, this family encompasses several classical methods for evaluating the quality of an $N$-point set in $\mathbb{T}^{d}$, where $N=M^{d}$. We show that all probability measures, except for Dirac measures, behave like the Lebesgue measure in the Monte Carlo discrepancy. This represents a limiting case where the measure $\mu$ depends on $M$. In this latter context, we prove that, up to a constant, the lowest possible discrepancy is achieved when the support of $\mu$ has diameter $\leq c/M$, and that this upper bound is sharp.

Tadpole Nahm sum as a Wronskian

math.NT

math.CO

We show that the tadpole Nahm sum is essentially a specialization of a series studied by Bartlett and Warnaar. This overlooked connection was first discovered by the internal model mathvision-harness-0.3 at MathVision AI. We then use Macdonald-type identities for the Bartlett-Warnaar series to express the principal tadpole Nahm sum and its twisted version in terms of a Wronskian of generalized theta series. The principal case confirms a conjecture of Milas and Wang.

Unshared zeros of Dirichlet $L$-functions

math.NT

We prove that no Dirichlet $L$-function (and more generally, no nontrivial finite linear combination of Dirichlet $L$-functions) can vanish at every zero of a fixed $L(s,\chi_0)$. At the heart of the proof is a short-window asymptotic for the twisted discrete moment $\sum_{\rho} x^{\rho} L(\rho,\chi_1)$, where $\chi_0\ne\chi_1$ are primitive Dirichlet characters, $\rho=\beta+i\gamma$ runs over zeros of $L(s,\chi_0)$ with $T-\Delta<\gamma\le T$, and $x\in\mathbb{Z}$. The asymptotic is unconditional, assuming no hypothesis of GRH type, and it holds for every window width $\Delta\in[T e^{-C\sqrt{\log T}},\,T/\log T]$, thus reaching windows shorter than $T(\log T)^{-A}$ for any fixed $A$. Notably, the main term $\frac{\chi_1(x)}{2\pi}\,\Delta\log T$ depends on $x$ only through the single value $\chi_1(x)$. Since distinct primitive characters are distinguished by their values, varying $x$ isolates the contribution of each $L$-function within a linear combination, and we deduce that for a positive density of $x\in\mathbb{N}$, every nontrivial combination is nonzero at some zero of $L(s,\chi_0)$ in any sufficiently high short window. The proof combines contour integration of $-\frac{L'}{L}(1-s,\overline{\chi}_0)\,L(s,\chi_1)$ with short-interval estimates for the Dirichlet convolution $(\chi_0\Lambda)*\chi_1$, which derive from the classical de la Vall\'ee Poussin zero-free region.

On the Frobenius Number of Quotients of Numerical Semigroups

math.NT

math.CO

math.GR

Given a numerical semigroup $S$ and a positive integer $p$, the quotient $\frac{S}{p}=\{n\in \mathbb{N} \mid pn\in S\}$ also forms a numerical semigroup. When $S=\langle a,b\rangle$ with $\gcd(a,b)=1$, a well-known open problem is to find a closed-form formula for the Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$, which remains open even in the special case $b=a+1$. Inspired by Curtis's theorem on the non-existence of polynomial formulas for the Frobenius number $g(\langle s_1,s_2,s_3\rangle)$, we provide a negative answer to this open problem in a certain sense. Concretely, we obtain the following three main results. (i): The Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$ cannot be represented, uniformly in $a,b,p$, by any finite collection of polynomial (or rational) formulas. (ii): For each fixed $p$, the function $a\mapsto g\!\left(\frac{\langle a,a+1\rangle}{p}\right)$ is a quadratic quasi-polynomial with period dividing $p$. (iii): There is no nonzero polynomial $F\in \mathbb{C}[X_1,X_2,X_3]$ satisfying $F\left(a,p,g\!\left(\frac{\langle a,a+1\rangle}{p}\right)\right)=0$ for all primes $a,p$ with $2

Finite length for unramified $\mathrm{GL}_2$: beyond multiplicity one, non-semisimple case

math.NT

Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. We study the smooth mod $p$ representations of $\mathrm{GL}_2(K)$ appearing in a tower of mod $p$ Hecke eigenspaces of the cohomology of Shimura curves, under mild genericity assumptions but notably no multiplicity one assumption at tame level, and prove that they are of finite length, thereby extending some recent results of Breuil, Herzig, Hu, Morra and Schraen to higher multiplicity. In a previous companion article we investigated the case where the local Galois representation attached to the Hecke eigensystem is semisimple; this article treats the non-semisimple case.

On the role of higher roots in prime ideal races

math.NT

Let $L/K$ be a Galois extension of number fields, and let $C_1, C_2$ be conjugacy classes of $\mathrm{Gal}(L/K)$. By introducing algebraic parameters related to $C_1$ and $C_2$, we provide a conditional characterization for Chebyshev's bias logarithmic density $\delta_{L/K}(C_1,C_2)$ to lie in the interval $(1/2, 1)$, meaning that the prime ideal race is biased. Unlike existing examples in the literature, where the bias comes from a difference in the number of square roots, the order of vanishing of Artin $L$-functions at $s=1/2$, or a combination of both, we use this criterion to construct Galois extensions where neither of these aspects plays a role. In our constructions, the bias arises entirely from a difference in the number of $2p$-th roots for an odd prime $p$. We prove that the minimal Galois group order required for this phenomenon is $96$ for $p=3$ and $320$ for $p=5$, where in both cases the group structure is a direct product of two generalized quaternion groups. Furthermore, we provide generalized constructions for all odd primes. Finally, these same algebraic parameters enable us to prove that an estimate established by Aoki and Koyama under the Deep Riemann Hypothesis holds unconditionally in certain cases.

Explicit Twisted Hilbert Class Components Beyond Classical Irregularity

math.NT

Let $p \equiv 1 \pmod 6$ be prime and $K_p = \mathbf{Q}(\zeta_{3p})$. We study the reflected circular unit $\mu_p = (1+z\zeta_p)/(1+\bar z\zeta_p)$, $z = -\zeta_3^2$, and its character projections. A universal Stirling polynomial $P_m$ gives an exact identity between the anti-spectrum of $\mu_p$ and the primitive divided $\chi_{-3}$-twisted Stickelberger spectrum: $P_{p-j}(h) - P_{p-j}(1-h) = -(2h-1)(j-1)!\,b_j$, $h = z/(1+z)$. Thus the locally blind lines of the reflected unit are precisely the zeros of the corresponding divided twisted Bernoulli eigenvalues. For every $p < 500$ we enumerate these zeros. Exactly twelve character lines occur. On each line an explicit integral idempotent product of $\mu_p$ is a local $p$-th power at the conductor primes but not a global $p$-th power. Small completely split primes provide finite Artin certificates. The generalized Bernoulli number has exact $p$-adic valuation one in every case; the character-wise Main Conjecture therefore proves that each radical generates the complete Hilbert-class-field component, which has order $p$. Seven of the twelve lines occur at classically regular primes, so twisted degeneracy below 500 is more often invisible to ordinary irregularity than aligned with it. The first case, $p = 67$, is worked out in full, and a deterministic integer-arithmetic program (included as an ancillary file) reproduces the enumeration and every certificate.

On the Comparison of the D-new Modular Degree and the Shimura Degree of Modular Abelian Varieties

math.NT

Let $E$ be an elliptic curve over $\mathbb{Q}$. We prove that the degree of the Shimura parametrization of $E$ arising from the optimal quotient $J^D(M)\to E$ is equal to the $D$-new modular degree of $E$, under mild assumptions on the local Galois representations of $E$. As an application, we prove a conjecture of Deines asserting the equality of the $D$-new modular degree, the $D$-new congruence number, and the Shimura degree of $E$. We introduce the Shimura congruence number into this framework and prove, under the same assumptions, that all four quantities coincide; moreover, the two congruence numbers are always equal. We establish new cases of multiplicity one for Shimura Jacobians and use them to prove the main theorems, following a strategy introduced by Agashe, Ribet, and Stein. Building on these results, we obtain new examples of the failure of multiplicity one. Finally, we give a negative answer to a question of Papikian and Rabinoff asking whether the functorial map between the component groups of the N\'eron models of $J^D(M)$ and $E$ is surjective when $D>1$, and we relate this phenomenon to the failure of multiplicity one.

Modularity of Nahm Sums Dual to Zagier's Rank-Three Examples

math.NT

math.CO

In 2007, Zagier identified twelve sets of rank-three modular Nahm sums and proved the modularity of three of them. The modularity of the remaining examples was confirmed by Wang. In this paper, we investigate the Nahm sums dual to Zagier's rank-three examples, numbered according to their order in Zagier's list. Combining our results with earlier work, the modularity of all these duals is established except those corresponding to the ninth and twelfth examples. For the ninth example, we prove three of the four sets of identities required to establish the proposed product representations and leave the remaining set as a conjecture, thereby obtaining a conditional modularity result. For the twelfth example, we formulate conjectural product identities that would imply the modularity of its dual. Our proofs rely on Rogers--Ramanujan type identities that express the relevant Nahm sums as finite combinations of infinite products. Along the way, we prove four rank-four tadpole Nahm sum identities previously conjectured by Cao and Wang and by the present authors. We also discover and prove the modularity of several new rank-three Nahm sums.

A lower bound for the distance between CM points on Shimura curves

math.NT

In this paper, we establish a quantitative Diophantine approximation result for complex multiplication (CM) points on Shimura curves. Specifically, we prove a lower bound for the distance between a sequence of CM points $P_n$ converging to a fixed CM point $P$ on a Shimura curve $X(D,1)$ in terms of the discriminant of the endomorphism rings of $P_n$. The proof exploits the complex geometry of the Fuchsian uniformization, the explicit matrix representation of the underlying quaternion algebra, and Liouville's inequality. We show that the distance between the corresponding fixed points $\tau_n$ and $\tau$ in the upper half-plane is bounded below by a positive constant times a negative power of the discriminant. This result provides a Shimura curve analogue of a result of Habegger on singular moduli and modular curves.

Matrix Kloosterman sums and product-trace estimates for semisimple algebras

math.NT

math.AG

math.RT

Let $k=\mathbb{F}_q$, $E=\mathbb{F}_{q^n}$ and $\mathrm{Tr}=\mathrm{Tr}_{E/k}$. For $r\ge 2$, $a\in k^{\times}$ and $x\in E^{\times}$, let $\mathrm{N}(E,r,x,a)$ be the number of $r$-tuples $(x_1,\cdots,x_r)$ in $(E^{\times})^r$ satisfying $x_1\cdots x_r=x$ and $\mathrm{Tr}(x_1+\cdots+x_r)=a$. We prove $\left|\mathrm{N}(E,r,x,a)-\left((q^n-1)^{r-1}+(-1)^r\right)/q\right|\le (r^n-1) q^{\frac{(r-1)n-1}{2}}$. This proves the square-root estimate predicted in Wan's conjecture and generalizes a previous result of Moisio and Wan. For a finite semisimple algebra $B=\prod\limits_{i=1}^s M_{d_i}(\mathbb{F}_{q^{n_i}})$ over $k$ and a regular element $x\in B^{\times}$, the same method combined with Zelingher's formula leads to analogous square-root estimates.

On the automorphisms of numerical power monoids

math.NT

math.CO

math.GR

math.RA

Let $H$ be a numerical monoid, that is, a cofinite submonoid of $\mathbb N$ (the non-negative integers under addition). Denote by $\mathcal P_{\text{fin},0}(H)$ the monoid obtained by endowing the family of all finite subsets of $H$ containing $0$ with the operation of setwise addition induced by $H$ on its power set. Tringali and Yan [JCTA, 2025] have recently established that $\mathcal P_{\text{fin},0}(\mathbb N)$ has a unique non-trivial automorphism, and conjectured that the automorphism group of $\mathcal P_{\text{fin},0}(H)$ is trivial whenever $H \ne \mathbb N$. We prove this conjecture and, as a byproduct, give a new proof of the Tringali--Yan theorem.

Optimality of Wouter van Doorn's Upper Bound for the Mayer-Erd\H{o}s Farey Problem

math.NT

Let $\mathcal{F}_n$ be the Farey sequence of order $n$, written in increasing order. Call two fractions $\frac{a}{b} < \frac{c}{d}$ badly ordered if $a < c$ and $b > d$. Let $f(n)$ be the minimum number of Farey fractions strictly between two badly ordered fractions in $\mathcal{F}_n$. We prove $f(n)=\left(\frac{1}{4}+o(1)\right)n$. In the equivalent indexing convention of Erd\H{o}s Problem 1005, this determines the requested asymptotic constant as $c=1/4$. The upper bound $f(n)\le n/4+O(1)$ was first obtained by Wouter van Doorn; the main result here is the matching lower bound.

Self-Referential Leading Digits of Exponential Sequences: Arithmetic Structure and Certified Search

math.NT

For $c>1$ and an integer radix $b\ge2$, we study the positive integers $m$ for which $mb^k\le c^m<(m+1)b^k$ for some $k\ge0$; for integer $c$, this is the self-prefix leading-digit condition. We derive an exact shrinking-target criterion; for $c\ge2$, an exact signed-discrepancy identity isolates both infinitude and the conjectural logarithmic count. For $c\ge2$ with nonintegral logarithmic slope, Lambert $W_{-1}$ inversion produces a candidate sequence with an eventual two-gap law and an exact counting formula; for $(c,b)=(2,10)$ all consecutive candidate gaps are $3$ or $4$. For algebraic $c$ with irrational $\log_b c$, the Lambert-root phases satisfy deterministic moving-target asymptotics in an explicit nontrivial power range strictly below the critical scale. For irrational logarithmic slope, actual hits obey fixed-difference and arithmetic-chain rigidity; for multiplicatively independent integer parameters, coherent endpoint hits at floor resonance centers force every intermediate term. Finally, set $\rho=\{\log_b c\}$. For fixed multiplicatively independent integers $c,b$, an interpolated continued-fraction locator has bit complexity $O(N^{1-1/\nu}\operatorname{polylog}N)$ for every $\nu>\mu(\rho)$. We give an explicit certified instance for $(2,10)$, whose infinitude remains open.

Algebraic values of transcendental power series with geometric coefficient moduli

math.NT

Let $\lambda>1$ be a real algebraic number. We construct continuum many power series $f(z)=\sum_{k\geq0}a_kz^k$ of radius of convergence exactly one such that every nonzero coefficient $a_k$ is algebraic and has modulus $\lambda^m$ for some $m\geq0$. Moreover, for every integer $s\geq0$, the derivative $f^{(s)}$ takes algebraic values at all algebraic points of the open unit disk and is transcendental over $\mathbb{C}(z)$. The proof combines algebraic polygonal cancellation with a sparse polynomial-block argument. This shows that a multiplicative rank-one restriction on coefficient moduli is compatible with algebraicity of the full analytic jet at every algebraic point once algebraic phases are allowed.

Larger sieve with height function and uniform bounds for integral points on curves over number fields

math.NT

Let $A \subseteq \mathcal{O}_{K}$ be a set of algebraic integers of height up to $H$ such that $|A \mod{\mathfrak{p}}|\leq \alpha |\mathcal{O}_{K}/\mathfrak{p}|$ for every prime ideal $\mathfrak{p}$ with $N\mathfrak{p}>c$ for some $\alpha \in (0,1)$. It follows from a larger sieve due to Ellenberg, Elsholtz, Hall and Kowalski that $|A| \ll_{K,c,\alpha}H^{2\alpha}$. In this paper, we improve on this larger sieve bound by showing that $|A|\ll_{K,c,\alpha}H^{\alpha}(\log H)^r$. We also obtain a two-dimensional larger sieve of Helfgott and Venkatesh type over $\mathcal{O}_{K} \times \mathcal{O}_{K}$ and apply it to produce a Bombieri-Pila type bound over $\mathcal{O}_{K}$.

Slowly Divergent Trajectories for Weighted Singular Vectors in R^2

math.NT

math.DS

Let $w=(w_1,w_2)$ satisfy $w_1>w_2>0$ and $w_1+w_2=1$. For every function $f:[0,\infty)\to(0,\infty)$ with $f(t)\to0$, we prove that the set of $w$-singular vectors whose weighted shortest-vector function satisfies $W_x(t)\ge\log f(t)$ for all sufficiently large $t$ has Hausdorff dimension $s_w=2-(1+w_1)^{-1}$, equal to the full Hausdorff dimension of $\operatorname{Sing}_w(2)$. For every $0<\nu<1$ and $\mu>0$, a separate power schedule gives Hausdorff dimension $s_w$ for the weighted uniform approximation set with rate $Q^{-1}\exp\bigl(-\mu(\log Q)^\nu\bigr)$, whereas the lower-envelope theorem gives the same dimension for its complement in $\operatorname{Sing}_w(2)$. We give a direct proof of the lower-envelope theorem by adapting the self-affine construction of Liao--Shi--Solan--Tamam to a variable sequence of return times and using an empty-denominator-window argument to control intermediate cusp excursions without further pruning the tree.

Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves

math.NT

cs.LG

We investigate the extent to which the reduced minimal Weierstrass coefficients of an elliptic curve over $\mathbb{Q}$ may be computed from it's Frobenius traces. Decision tree models reveal that the first two reduced minimal Weierstrass coefficients can be recovered with perfect accuracy from the Frobenius traces at the primes $2$ and $3$, and the third by supplementing these two traces with the conductor parity. We subsequently prove explicit formulae for these coefficients using the Frobenius traces and conductor parity. These formulae appear to be new. In particular, we deduce that the first three reduced minimal Weierstrass coefficients of an elliptic curve are determined by its isogeny class.

Signs of Square-Free Fourier Coefficients of Half-Integral weight cusp forms and the Congruent Number Problem

math.NT

We study the sign distribution of square-free Fourier coefficients of half-integral weight cusp forms. We prove that, for half-integral weight cusp forms \(f\) satisfying the eigenform conditions and having a nonzero cuspidal Shimura lift, the numbers of positive and negative square-free Fourier coefficients up to \(X\) are both \(\gg_{f,\varepsilon}X^{4/7-\varepsilon}\). As an application to the congruent-number problem, we consider the weight \(3/2\) cusp form whose Shimura lift is the weight \(2\) newform attached to $ E:y^2=x^3-x$. We prove that each each sign occurs among its square-free Fourier coefficients at \(\gg_{\varepsilon}X^{4/7-\varepsilon}\) odd square-free integers \(t\leq X\). In particular, the square-free Fourier coefficients change sign infinitely often.

Bilinear forms with Kloosterman sums via quadratic characters

math.NT

We prove new bounds for bilinear forms with Kloosterman sums, valid for all moduli c. In the critical range where the summation length is the square root of the modulus, the saving over the trivial bound is c^{-1/32}, improving on all previous approaches even for prime moduli. This is based on a new connection to quadratic character sums. Applications to moments of twisted L-functions and to the large sieve for exceptional Maass forms are given.

On $C^k$-functions mapping $\mathbb{Q}$ into itself and Mahler's problem on Liouville numbers

math.NT

Liouville numbers form a classical class of transcendental real numbers characterized by exceptionally strong rational approximations. A theorem of Maillet shows that non-constant rational functions with rational coefficients preserve the Liouville property, motivating a question of Mahler on whether analogous phenomena hold for transcendental functions. In this paper, we address this problem for real functions of finite smoothness. For any $\varepsilon>0$, we construct an uncountable set of $C^k$-functions on $\mathbb{R}$, dense with respect to the topology of uniform convergence on compact sets, mapping $\mathbb{Q}$ into itself and satisfying $\operatorname{den}(f(p/q)) \le q^{2k+\varepsilon}$, and deduce that such functions preserve Liouville numbers. In contrast, we prove a rigidity result about a $C^{2k+1}$-function mapping $\mathbb{Q}$ into itself and satisfying $\operatorname{den}(f(p/q)) \ll q^k$.

A Salem-Spencer-Type Construction for Large Subsets of Integer Grids with No Isosceles Right Triangles

math.CO

math.NT

Let $F(n)$ be the largest size of a subset of $\{0,1,\ldots,n-1\}^2$ containing no nondegenerate isosceles right triangle. We give a modified Salem--Spencer-type construction over the Gaussian integers showing that $F(n)=\Omega(n^{1.3})$. The best known upper bound is $F(n)\ll n^2/(\log n)^{1+c}$ for some absolute constant $c>0$, so there is still a large gap between the bounds.

Non-isomorphism of rings of integer-coefficient holomorphic functions on disks of varying radius

math.RA

math.CV

math.NT

For $\rho \in (0,1]$, let $R(\rho) = \mathbb{Z}[[z]] \cap O(B(0,\rho))$ denote the ring of power series with integer Taylor coefficients converging on the open disk $B(0,\rho)$. We prove that these rings are pairwise non-isomorphic as abstract rings. Three ingredients drive the proof: the ideal $(z)$ is the unique principal ideal with quotient $\mathbb{Z}$, so any isomorphism sends $z$ to a generator $g$ of $(z)$; every isomorphism is substitution by $g$, because it respects the $(z)$-adic filtration; and a Hadamard gap series with a natural boundary at $|w| = \rho_1$ forces the image $g(B(0,\rho_2))$ into $B(0,\rho_1)$, after which the Schwarz lemma and integrality of coefficients force $g = \pm z$ and $\rho_1 = \rho_2$.

Tiling a triangle into a prime number of congruent triangles

math.MG

math.NT

We show that, apart from a few known exceptions, if a triangle is cut into $N$ congruent triangles, then $N$ is not a prime number. The exceptions are cutting an isosceles triangle in half, cutting an equilateral triangle in three, a 3-tiling of a 30-60-90 triangle, and the long-known biquadratic tilings of a certain right triangle, when $N$ is a sum of two squares.

Additive Bases from Primitive Dyck Words: Regular Underapproximations, Motzkin Coding, and Digit Lifting

cs.FL

math.CO

math.NT

We study additive representations by integers whose canonical binary expansions are primitive Dyck words. Pairing consecutive bits yields a positional form of the classical relation between Dyck paths and two-colored Motzkin paths: except for 10, primitive Dyck words are exactly the binary block images of base-4 words 3w0, where w is a two-colored Motzkin word. This exposes a regular underapproximation, digit closure, and sharp generation bounds. We prove an interval digit-lifting theorem for digitally closed sets and a constructive base-4 propagation algorithm that lifts finite sumset certificates to infinite tails in logarithmically many recursive stages. Combining these tools with exact finite certificates and generation-gap lower bounds, we classify all positive even integers requiring more than six primitive Dyck summands. The integer 46 requires eight, and 34, 44, 98, 154, 198, 202, 206, 838, 842, and 846 require seven; every other positive even integer requires at most six. Thus 848 is the sharp eventual threshold. The bound is asymptotically optimal because 10*4^(k+1)-6 requires six summands for every k >= 2. The associated halved family has exact asymptotic additive order five. Supplementary programs reproduce all finite certificates using exact integer arithmetic.

On the Thickness of Infinite Generalized Sidon Sets, II

math.CO

math.NT

A set $\mathcal{A}$ of nonnegative integers is a $B_h$-set if the sums $a_1+\cdots+a_h$ with $a_1\le\cdots\le a_h$ and $a_i\in\mathcal{A}$ are distinct; a $B_2$-set is a Sidon set. We prove that for every even $h$ and every $B_h$-set $\mathcal{A}$, \[ \liminf_{n\to\infty} \frac{ | \mathcal{A}\cap[0,n) | }{\sqrt[h]{n/\log n}} \le \left(\frac{\pi}{\log 2} \cdot \frac{\Gamma(1+h/2)^2}{\Gamma(1+1/h)^{h}}\right)^{1/h}. \]

Beyond the Adams Conjecture

math.RT

math.NT

For symplectic and even orthogonal groups over a $p$-adic field, we determine the number of local Arthur packets containing the local theta lift of a tempered representation at the first occurrence in the going-up tower. These counts show that the local theta lifts may lie in many more local Arthur packets than those predicted by the Adams conjecture.

Cyclic codes and cyclically covering subspaces

cs.IT

math.CO

math.IT

math.NT

A subspace of $\mathbb{F}_q^n$ is called cyclically covering if the union of $\sigma^i(U)$ can cover the whole space $\mathbb{F}_q^n$, where $\sigma$ is the cyclic shift, $0 \leqslant i \leqslant n-1$. Let $h_q(n)$ be the largest possible co-dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. We show that $h_2(2p) = 2$ for every prime $p$ such that $2$ is a primitive root modulo $p$. By constacyclic codes, we show that $h_q((q-1)n) = 0$ when $h_q(n) = 0$ and $\gcd(n,q-1) = 1$. We also derive a lower bound on $h_q(n)$ by the concept of support weight distribution, which is important in coding theory. Finally, using irreducible cyclic codes, we present several families of $n$ such that $h_q(n) = 0$.

Multiplicative irreducibility of shifted multiplicative subgroups in the extremal case

math.CO

math.NT

In a recent breakthrough, Kalmynin proved a conjecture of S\'ark\"ozy on additive irreducibility of the set of quadratic residues in a prime field. More recently, Kim, Yip, and Yoo initiated the study of a multiplicative analogue of the conjecture for shifted multiplicative subgroups. Specifically, they showed that for an odd prime $p$, a proper multiplicative subgroup $G$ of $\mathbb F_p^*$, and $\lambda\in G$, there do not exist sets $A,B\subseteq \mathbb F_p^*$ with $|A|,|B|\ge 2$ such that $AB=(G-\lambda)\setminus\{0\}$. In this paper, when $\lambda \in \mathbb F_p^* \setminus G$, we completely resolve this problem in the equality case from a Stepanov bound in a prime field.

Simply branched covers of curves and wild conductor exponents

math.AG

math.NT

We use deformation theory to show that a cover of smooth, projective, geometrically connected curves $\pi\colon C\to D$ over a $p$-adic field can be $p$-adically perturbed to obtain a nearby simply branched cover $\pi'\colon C'\to D$ and that, if $D=\mathbb{P}^1$ and $\pi^*\mathcal{O}_{\mathbb{P}^1}(1)$ is very ample, then we may take $C'=C$. As an application, we give a formula for the wild conductor exponent of a curve at a prime $p>d$ in terms of the ramification data of any degree $d$ cover $C\to\mathbb{P}^1$.

On the problem of large gcd for disjoint residue classes

math.CO

math.NT

Consider $k$ pairwise disjoint residue classes $a_i \pmod{m_i}$. We prove that \[ \max_{1\leq i

Ramified and Unramified Motivic Multiple $t$-, $T$- and $S$-Values

math.NT

v2

In this paper, we consider several variants of motivic multiple zeta values of level two by restricting the summation indices to fixed parity patterns. These variants include Hoffman's multiple $t$-values, Kaneko and Tsumura's multiple $T$-values, and the multiple $S$-values previously studied by the authors. By applying the descent theory of Brown and Glanois to the motivic versions of these values, we derive criteria for determining when they are ramified or unramified. Assuming Grothendieck's period conjecture, our results partially confirm a conjecture by Kaneko and Tsumura regarding the unramified nature of multiple $T$-values of depth less than four. We obtain similar results for motivic multiple $S$-values. Furthermore, we generalize a result of Charlton to broader families of unramified multiple $t$-values with unit components. Finally, we propose several open problems for future research.

On the strongly regular locus of the inertia stack of $\mathrm{Bun}_G$

math.NT

math.AG

math.RT

v4

Let $G$ be a connected reductive group over a finite extension of $\mathbb{Q}_p$. We show that for each $b \in B(G)$, the strongly regular locus of the inertia stack of $\operatorname{Bun}_G^b$ is open in the inertia stack of $\operatorname{Bun}_G$. As a consequence, we extend the computation of Hansen--Kaletha--Weinstein of trace distributions of the cohomology of local shtuka spaces $\mathrm{Sht}_{G,b,\mu}$ to non-basic $b$. If $b$ is closed in $B(G,\mu)$, or $b$ is basic and has only one specialization in $B(G,\mu)$, then we compute the trace distribution of the entire strongly regular locus. In the process, we prove some results on the behavior of characteristic classes under cohomologically smooth pullback.

On the error in the prime number theorem in short intervals

math.NT

v4

Assuming the Riemann Hypothesis, we derive explicit bounds for the error terms in short interval analogues of the prime number theorem using a new smoothing argument. Our results improve upon earlier bounds in both constant terms and applicable ranges. In addition, we apply our bounds to establish sharper conditional bounds for a broad class of weighted sums over primes in a short interval.

On the maximal unramified pro-2-extension of $\mathbb{Z}_2$-extension of certain real biquadratic fields

math.NT

v2

For any positive integer $n$, we show that there exists a real number field $k$ (resp. $k'$) of degree $2^{n+2}$ whose $2$-class group is isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ such that the Galois group of the maximal unramified extension of $k$ (resp. $k'$) over $k$ (resp. $k'$) is abelian (resp. non abelian, more precisely isomorphic to $Q_8$ or $D_8$, the quaternion and the dihedral group of order $8$ respectively). In fact, we construct the first examples in the literature of families of real biquadratic fields for which the layers of the cyclotomic $\mathbb{Z}_2$-extension satisfy the previous conditions and whose unramified abelian $2$-Iwasawa modules are isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$; hence these fields satisfy Greenberg's conjecture.

On Manin's conjecture for Ch\^atelet surfaces

math.NT

math.AG

v2

We resolve Manin's conjecture for all Ch\^atelet surfaces over $\mathbb{Q}$.

On the Artin formalism for triple product $p$-adic $L$-functions

math.NT

v2

Our main objective in the present article is to study the factorisation problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorisation. Our analysis, which is guided by the ETNC philosophy, recasts this problem as a comparison of diagonal cycles, Beilinson--Kato elements, and Heegner cycles.

Computational Experiments in Number Theory

math.NT

cs.AI

v4

This paper presents two concrete applications of Artificial Intelligence to algorithmic and analytic number theory. Recent benchmarks of large language models have mainly focused on general mathematics problems and the currently infeasible objective of automated theorem proving. In the first part of this paper, we relax our ambition and focus on a more specialized domain: we evaluate the performance of the state-of-the-art open-source large language model Qwen2.5-Math-7B-Instruct on algorithmic and computational tasks in algorithmic number theory. On a benchmark of thirty algorithmic problems and thirty computational questions taken from classical number-theoretic textbooks and Math StackExchange, the model achieves at least 0.95 accuracy (relative to the true answer) on every problem or question when given an optimal non-spoiling hint. The second part of the paper empirically verifies a folklore conjecture in analytic number theory stating that the modulus \(q\) of a Dirichlet character \(\chi\) is uniquely determined by the initial nontrivial zeros \(\{\rho_1,\dots,\rho_k\}\) (for some \(k\in\mathbb{N}\)) of the corresponding Dirichlet \(L\)-function \(L(s,\chi)\). We train a LightGBM multiclass classifier to predict the conductor \(q\) for 214 randomly chosen Dirichlet \(L\)-functions from a vector of statistical features of their initial zeros (moments, finite-difference statistics, FFT magnitudes, etc.). The model empirically verifies the conjecture for small \(q\), achieving at least 93.9\% test accuracy when sufficient statistical properties of the zeros are incorporated. For the second part of the paper, code and dataset are available.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 1: Poisson summation

math.NT

math.RT

v3

At the beginning of this century, Langlands introduced a strategy known as \emph{Beyond Endoscopy} to attack the principle of functoriality. Altu\u{g} studied $\mathsf{GL}_2$ over $\mathbb{Q}$ in the unramified setting. The first step involves isolating specific representations, especially the residual part of the spectral side, in the elliptic part of the geometric side of the trace formula. We generalize this step to the case with ramification at $S=\{\infty,q_1,\dots,q_r\}$ with $2\in S$, thereby fully resolving the problem of isolating these representations over $\mathbb{Q}$ which remained unresolved for over a decade. Such a formula that isolates the specific representations is derived by modifying Altu\u{g}'s approach. We use the approximate functional equation to ensure the validity of the Poisson summation formula. Then, we compute the residues of specific functions to isolate the desired representations.

Period relations for Rankin-Selberg convolutions for $\mathrm{GL}(n)\times\mathrm{GL}(n)$

math.NT

math.RT

v4

Using the modular symbol approach, we prove the rationality and period relations for certain critical values of Rankin-Selberg L-functions for $\mathrm{GL}(n)\times\mathrm{GL}(n)$ over any number field that contains a CM field.

Large Value Estimates for Dirichlet Polynomials with Characters and Zero Density of Dirichlet $L$-Functions

math.NT

v2

It is proved that \[ \sum_{\chi \bmod q}N(\sigma,T,\chi) \ll_{\epsilon} (qT)^{7(1-\sigma)/3+\epsilon}, \] where $N(\sigma,T,\chi)$ denotes the number of zeros $\rho=\beta+it$ of $L(s,\chi)$ in the rectangle $\sigma\leq \beta\leq 1$, $|t|\leq T$. The exponent $7/3$ improves upon Huxley's earlier exponent of $12/5$. The key innovation lies in deriving a sharp upper bound for sums over affine transformations of functions with a GCD twist, which arises from our adaptation of the Guth--Maynard method. As applications of the zero density estimates obtained in this paper, we derive a new upper bound for the least Goldbach number in arithmetic progressions modulo a prime and establish new results on primes in arithmetic progressions in short intervals, in particular for prime-power moduli.

Effective surjectivity of Galois representations of products of elliptic curves over function fields

math.NT

v4

We prove an effective surjectivity result for Galois representations of products of non-isotrivial, non-isogenous elliptic curves over certain function fields of characteristic $0$. This is by way of an isogeny degree bound in this setting, generated from bounds for elliptic curves by Griffon--Pazuki and from the function field analogue of the Frey--Mazur conjecture, by employing techniques originating in work by Serre and Masser--W{\"{u}}stholz in the number field setting.

S\'ark\"ozy's theorem in $\mathbb{F}_q[t]$ via the van der Corput property

math.NT

v3

Fix a positive prime power $q$, and let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$ with $\text{char}(\mathbb{F}_q)>2$. Suppose $A \subseteq \{f \in \mathbb{F}_q[t]: \text{deg } f \leq N\}$ contains no pair of elements whose difference is of the form $P-1$ with $P$ irreducible. Adapting Green's approach to S\'ark\"ozy's theorem for shifted primes in $\mathbb{Z}$ using the van der Corput property, we show that \[ |A| \ll q^{(N+1)(11/12+o(1))}, \] improving upon the bound $O\big(q^{(1-c/\log N)(N+1)}\big)$ due to L\^{e} and Spencer. An important distinction between Green's argument and ours lies in the properties of exponential sums over function fields, which differ in several interesting ways from their number-field counterparts.

Perfect Sets of Liouville Numbers with Controlled Self-Powers

math.NT

v4

We study the arithmetic behavior of self-powers $x^x$ when $x$ is a Liouville number. Using recent ideas on strengthened Liouville approximation, we develop flexible constructions that illuminate how transcendence, Liouville properties, and "large" topological size interact in this setting. As a concrete outcome, we build a perfect set of Liouville numbers of continuum cardinality whose finite sums, finite products, and self-powers all remain Liouville. These results show that rich algebraic and topological structures persist inside the Liouville universe for the map $x\mapsto x^x$.

On the computation of base-change lifts and lifts of Hida families

math.NT

v3

We derive an explicit formula for the Hecke eigenvalues of a Hilbert modular form which is a base-change lift of a classical newform to a totally real number field. We show that for a totally real Galois number field $F$ the $L$-function of a base-change lifted form can be factorized as a product of twists of the $L$-function of the underlying classical form over irreducible representations of $\mathrm{Gal}(F / \mathbb{Q})$. Moreover, we use the formula for the Hecke eigenvalues of a base-change lift to prove the existence of a base-change lift of a Hida family. In particular, we show that a Hida family of classical Hecke eigenforms can be lifted to a formal power series that specializes to the base-change lifts of the Hida family of classical cusp forms.

Effective Joint Sato-Tate Distribution and Sign Change of Symmetric Power Coefficients

math.NT

v2

We prove an unconditional, effective joint Sato--Tate distribution for the Fourier coefficients of two twist-inequivalent, non-CM newforms $f$ and $f'$. Our result generalises a result of Thorner, which holds for rectangular regions, by extending it to any measurable region of $[-2,2]^2$ whose boundary consists of finitely many continuous curves of finite length. As a consequence, we develop a unified framework to study various arithmetic properties of Fourier coefficients of symmetric power $L$-functions attached to $f$ and $f'$. In particular, for these coefficients (and their polynomial expressions), we obtain effective distribution results, quantitative statements on simultaneous sign behaviour, and bounds for the first sign change.

Reductions of $\mathrm{GL}_2(\mathbb Q_{p^f})$-Banach spaces of slopes in $(0,1)$

math.NT

v2

Let $p$ be an odd prime and $f \geq 1$. We consider a $p$-adic locally algebraic $\text{GL}_2(\mathbb Q_{p^f})$-representation attached to a tuple of $f$ weights $k=(k_i)$ for $0 \leq i \leq f-1$ and a $p$-adic integer $a_p$ with valuation in $(0,1)$. We give conditions under which the irreducible quotients of the subquotients in a filtration on the reduction mod $p$ of the natural integral structure on this space are supercuspidal. We also check that for small $k$ and $f$ the integral structure is a lattice so that the mod $p$ reduction is nonzero.

Decay of weighted cusp counts for congruence subgroups of $SL_2$ over number fields

math.NT

math.AG

math.GR

v2

For congruence subgroups commensurable with $\operatorname{SL}_2$ over number fields, we study cusp counts with arithmetic multiplicities. We prove that the ratio of the total weighted cusp count to the group index is bounded by a negative power of the norm of the congruence level, with an exponent that can be chosen explicitly in terms of the degree of the number field. This is a generalization of a theorem of Cox--Parry over rational numbers. The main input is an explicit local orbit estimate for arbitrary subgroups of exact level in $\operatorname{SL}_2(\mathcal O_K/\mathfrak p^e)$, uniform over all number fields of fixed degree. This estimate is covered by a general result of Finis--Lapid. We give a new explicit proof in our setting based on an analysis reminiscent of additive combinatorics.

The Arithmetic Geometry of Square-Sided Heron Triangles

math.NT

v2

We study rational Heron triangles with two marked square sides using elliptic curves and K3 surfaces. An explicit quartic-to-elliptic correspondence parametrizes marked similarity classes by rational points satisfying a positivity condition, modulo \((x,y)\sim(x,-y)\). We determine the generic Mordell--Weil group, prove that every \(k\in\mathbf Q\setminus\{0,\pm1\}\) supports infinitely many scalene classes with exactly two square sides, and construct a primitive family with \(N(X)\gg X^{1/4}\). Requiring the third side to be square gives a genus-three Ciani quartic whose Jacobian is \(\mathbf Q\)-isogenous to a product of three elliptic curves. Geometrically, the two constructions give inequivalent elliptic fibrations on a single singular K3 surface, with geometric Mordell--Weil ranks \(2\) and \(0\). The minimal resolution of the all-square locus is a surface of general type with invariants \((K^2,p_g,q)=(2,3,0)\). Assuming weak Bombieri--Lang, parameters yielding a nondegenerate all-square triangle form a thin subset of \(\mathbf P^1(\mathbf Q)\).

Sharp Upper Bounds for Moments of Dedekind Zeta Functions

math.NT

v3

Assuming the Generalised Riemann Hypothesis, we establish conjecturally sharp upper bounds for shifted moments of products of Dedekind zeta functions of arbitrary number fields. This improves results of Milinovich and Turnage-Butterbaugh and extends a recent result of Hagen. As applications, we obtain mean-square bounds for short-interval sums of the coefficients of Dedekind zeta functions and upper bounds for the large deviations of Dedekind zeta functions. Our results apply to both Galois and non-Galois extensions.

A Resolution of Erd\H{o}s Problem 731 under Dyadic Regularity

math.NT

v2

We resolve Erd\H{o}s Problem 731 under the explicit dyadic-regularity formalization of "reasonable." Let $A(n)$ be the least positive integer not dividing $\binom{2n}{n}$. On dyadic intervals $X\le n<2X$, put $L=\log(2X)$ and $F_X=\sqrt{2}(\log 2)^{1/4}L^{1/4}\exp\sqrt{(\log 2)L}$. Uniformly for $1\le z\le Z(X)=o(L^{1/4})$, we prove $\mathbb{P}_X(A(n)\le F_X\exp(-z))\asymp \exp(-2z)$ and $\mathbb{P}_X(A(n)>F_X\exp(z))\ll \exp(-2z)$. Consequently $\log A(n)=\sqrt{(\log 2)\log n}+\frac{1}{4}\log\log n+O_{\mathrm{dens}}(1)$. We also prove dyadic nonconcentration: no scalar center on a large dyadic block, and hence no dyadically regular deterministic scale $f$, can satisfy $A(n)/f(n)\to 1$ in natural density. The proof retains the exact least-common-multiple divisibility condition and replaces heuristic cross-base independence by a moving-base restricted-digit variance theorem. The resolution proved here has been formally verified in Lean.

Joint level-weight murmurations: prime averaging and the cubic pointwise range

math.NT

v2

Let (N) range over squarefree levels (N \asymp X), and let the even weight (k) vary in a smooth window (k \asymp K). We study natural root-number-weighted traces of Hecke eigenvalues at primes (p \asymp XK^2). First, uniformly for (X^{\varepsilon_0} \leq K \leq X^{3-\varepsilon_0}), we prove a fixed-prime asymptotic whose main term is expressed through Zubrilina's murmuration density. The exponent (3) is the endpoint of our absolute treatment of the nonzero Poisson frequencies. Second, after averaging the primes with logarithmic weight, we obtain unconditionally, throughout every fixed polynomial range (X^{\varepsilon_0} \leq K \leq X^{A_0}), an explicit atomic limiting measure. The fixed-prime argument groups the local Fourier expansion by exact additive conductor and uses Burgess truncation, whereas the prime-averaged argument applies a smooth Barban-Davenport-Halberstam estimate.

Recurrences for Hypergeometric Moments and Binomial-Harmonic Sums

math.NT

math.CA

v4

Let \[ F(a,b;c;x)={}_2F_1(a,b;c;x), \qquad \Phi_{m,\varepsilon}(\lambda;a,b,c) = \int_0^1 x^{m+\lambda}F(a,b;c;\varepsilon x)\,dx, \quad \varepsilon=\pm1. \] We study these moments by deriving and solving a first-order recurrence in $m$. This recurrence leads to formulas for higher powers of the denominator and for denominators of the form $(dn+m+1)^K$, with applications to product-binomial series and moments of complete elliptic integrals. Differentiation with respect to $c$ gives corresponding recurrences for harmonic-number weights, whose initial values are described using Bell polynomials, logarithms, zeta values, and Dirichlet $L$-values.

Strongly complete sets and a conjecture of Erd\H{o}s

math.NT

math.CO

v3

A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. We show that $A\subseteq\mathbb{N}$ is strongly complete whenever \[ \big|A\cap(2^k,2^{k+1}]\big|\ge6 \] for every sufficiently large $k\in\mathbb{N}$, and \[ \sum_{a\in A}\|a\theta\|=\infty, \quad\forall\theta\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erd\H{o}s. The proof builds on previous work of Bergelson and Simmons. In fact, our approach allows us to establish a more general strong-completeness criterion with suitable ordered blocks in place of dyadic intervals. We also discuss some applications of our results as well as their connections to a few other interesting problems, including two completeness problems of Erd\H{o}s and Graham.

Partition regularity of Pythagorean pairs

math.CO

math.NT

v5

We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs, i.e., $x,y\in \mathbb{N}$ such that $x^2\pm y^2=z^2$ for some $z\in \mathbb{N}$. We also show that partitions generated by level sets of multiplicative functions taking finitely many values always contain Pythagorean triples. Our proofs combine known Gowers uniformity properties of aperiodic multiplicative functions with a novel and rather flexible approach based on concentration estimates of multiplicative functions.

Partition regularity of generalized Pythagorean pairs

math.CO

math.NT

v3

We address partition regularity problems for homogeneous quadratic equations. A consequence of our main results is that, under natural conditions on the coefficients $a,b,c$, for any finite coloring of the positive integers, there exists a solution to $ax^2+by^2=cz^2$ where $x$ and $y$ have the same color (and similar results for $x,z$ and $y,z$). For certain choices of $(a,b,c)$, our result is conditional on an Elliott-type conjecture. Our proofs build on and extend previous arguments of the authors dealing with the Pythagorean equation. We make use of new uniformity properties of aperiodic multiplicative functions and concentration estimates for multiplicative functions along arbitrary binary quadratic forms.

Polynomial bounds for the Chowla Cosine Problem

math.CA

math.CO

math.NT

v3

Let $A\subset \mathbf{N}$ be a finite set of $n=|A|$ positive integers, and consider the cosine sum $f_A(x)=\sum_{a\in A}\cos ax$. We prove that $$\min_x f_A(x)\leqslant -n^{ 1/5-o(1)},$$ thereby establishing polynomial bounds for the Chowla cosine problem.

On the Thickness of Infinite Generalized Sidon Sets, I

math.CO

math.NT

v3

Let $g \ge1$. A set $\mathcal{A}$ of nonnegative integers is a Sidon set if for each $d>0$ there is at most one pair $(a,b) \in \mathcal{A} \times \mathcal{A}$ with $d=a-b$. If there are at most $g$ pairs, then $\mathcal{A}$ is a $g$-Golomb ruler. We prove that if $\mathcal{A}$ is a $g$-Golomb ruler, then \[\liminf_{n\to\infty} \frac{ | \mathcal{A}\cap[0,n) | }{\sqrt{n/\log n}} \le \frac{2\sqrt g }{\sqrt{\log 2}},\] generalizing and sharpening results of Erd\H{o}s and Cilleruelo. There is a $g$-Golomb ruler $\mathcal{G}$ with \[\frac{\sqrt g }{\sqrt2} \le \limsup_{n\to\infty} \frac{ | \mathcal{G}\cap[0,n) | }{\sqrt n} \le \sqrt{g } ,\] generalizing a result of Kr\"uckeberg.