Number Theory [math.NT]

The Waring-Goldbach problem in short intervals under the Generalized Riemann Hypothesis

math.NT

Let N be a sufficiently large odd integer. We study the representation of a large integer m N^k as a sum of m almost equal k-th powers of primes, where the common distribution scale is at least N^theta. Assuming the Generalized Riemann Hypothesis (GRH), we prove that for any epsilon > 0 one may take theta > 1/2, provided that m < k(k+1)/2 and that m, k are odd integers sufficiently large. This is achieved by employing a new tool closely related to earlier work. For sufficiently large m, by refining the discussion of the minor arcs, we further show that under GRH the equation has a solution provided m > 16k log k + 4k + 2. Moreover, we give an asymptotic formula for the number of solutions, with main term involving N^{2k theta (1 - (1 - 1/k)^{m_1}) + theta(m-1) + 1 - k}, where m_1 = 4k. Under GRH and for sufficiently large m, k, the short-interval Waring-Goldbach problem is essentially settled.

Mean Lindel\"of Hypothesis and Prime Geodesic Theorem on Bianchi Manifolds

math.NT

In this paper, we prove the mean Lindel\"of hypothesis for the second moment of symmetric square $L$-functions and thereby obtain the (unconditional) error bound $O (x^{36/23+\varepsilon})$ in the prime geodesic theorem on Bianchi manifolds.

A formula for the rank over $\mathbb{Q}(t)$ of the elliptic curve $y^2=x^3+At^6+Bt^3+C$

math.NT

In this paper, we give an explicit formula for the rank and generators (up to finite index) over $\mathbb{Q}(t)$ of all non-trivial elliptic curves of the form $y^2=x^3+At^6+Bt^3+C$, which is a larger class of elliptic surfaces than the one in Kloosterman's paper (2026) and Desjardins and Naskrecki's paper (2024), namely $y^2=x^3+At^6+C$. Our proof provides a new method to find this formula using generators of the geometric Mordell-Weil group even in the case where this geometric Mordell-Weil group (which are $\mathbb{Z}[\omega]$-modules) no longer decomposes into rank-one submodules by the methods in Kloosterman's paper (2026) and Desjardins and Naskrecki's paper (2024). Moreover, our proof uses only a few elements in the Galois group of the coordinates of the generators and only light computations by hand.

Number fields as curves over $\mathbf{F}_1$

math.NT

math.AG

math.OA

We study function fields in one variable over the field with one element $\mathbf{F}_1$. It is proved that the Galois extensions of $\mathbf{Q}$ are isomorphic to the curves over $\mathbf{F}_1$ being understood as the Deitmar schemes. Specifically, one gets explicit formulas linking the genus and the number of cusps of an algebraic curve over the extension $\mathbf{F}_{1^m}$ of order $m\ge 1$ of the field $\mathbf{F}_1$ and the $m$-th roots of unity of the corresponding number field. It follows that elliptic curves with one cusp over $\mathbf{F}_1$ are either the cyclotomic fields or the maximal abelian unramified extensions of the quadratic number fields. Our proof depends on representaion of the Drinfeld modules by the bounded linear operators on a Hilbert space and the crossed product structure of the Cuntz-Krieger algebras.

Simultaneously small continued fraction entropy and base $b$ entropy

math.NT

We construct a computable irrational number that simultaneously has small continued fraction entropy and base $b$ entropy for every integer base $b\geq 2.$ This addresses a question raised by Bugeaud.

Elementary proofs of congruences modulo 5 for overpartitions with restricted odd differences

math.NT

math.CO

In 2015, Bringmann, Dousse, Lovejoy, and Mahlburg defined the function $\overline{t}(n)$ to be the number of overpartitions of weight $n$ where (i) the difference between two successive parts may be odd only if the larger part is overlined and (ii) if the smallest part is odd then it is overlined. In their work, they proved that $\overline{t}(n)$ satisfies an elegant congruence modulo 3. Since then, a number of authors have studied arithmetic properties satisfied by $\overline{t}(n)$. In particular, in 2023, Hanson and Smith utilized the theory of modular forms to prove the following two congruences modulo 5: For all $n\geq 0$, \begin{align*} \overline{t}(80n+40)\equiv \overline{t}(80n+60)\equiv 0 \pmod{5}. \end{align*} Our goal in this work is to provide a truly elementary proof of this pair of congruences.

Rational Points near Monofractal Curves and the Strong Oscillation Principle

math.NT

math.CA

math.FA

In their previous work devoted to the distribution of rational points near Brownian motion, the authors conjectured the existence of an \emph{oscillation principle} governing the asymptotic behavior of the number of rational points with bounded denomi\-nators near the graph of a monofractal curve. In this note, a weaker form of this conjecture is shown to hold for a broad class of deterministic fractal curves. These include the classical Takagi and Weierstrass nowhere differentiable functions, and indeed a prevalent (i.e.~"large") class of functions among those which are H\"older continuous with a given exponent of regularity. This constitutes the first instance of deterministic fractal curves for which a precise count of the rational points under consideration is established.

Local Langlands functoriality for Yu's supercuspidals I: Kaletha's parametrization

math.NT

math.RT

This is the first of two papers dedicated to the explicit computation of the Fargues--Scholze correspondence. In this first part, we construct (inspired by, and extending, Kaletha's explicit Local Langlands Correspondence for non-singular supercuspidal representations) semisimple inertial L-parameters for all cuspidal representations arising from Yu's constructions, with arbitrary coefficients. We then establish a characterization of this correpondence in terms of certain functoriality properties. This characterization will be used in the sequel paper in order to compute the Fargues--Scholze correspondence after restriction to inertia.

Local Langlands functoriality for Yu's supercuspidals II: Fargues--Scholze's parametrization

math.NT

math.RT

This is the second of two papers dedicated to the explicit computation of the Fargues--Scholze correspondence. We compute the Tate cohomology of cuspidal representations arising from Yu's construction. Combining this with modular functoriality in the Local Langlands Correspondence, and the partial characterization of the Local Langlands Correspondence established in the first paper, we compare the Fargues--Scholze and Kaletha parametrizations. Among the consequences (and under an assumption expected to be supplied in forthcoming work), we deduce that the Fargues--Scholze correspondence has finite fibers and is surjective onto inertial L-parameters.

Twisted Rational Zeros and Local-Global Principles for Linear Recurrence Sequences

math.NT

cs.FL

The Skolem Problem asks whether a given linear recurrence sequence (LRS) has a zero term, and is equivalent to proving an effective version of the Skolem-Mahler-Lech theorem, which states that a non-degenerate LRS has finitely many zeros. Decidability of the Skolem Problem however, has remained open for many decades. Bilu et al. (2022) showed that the Skolem Problem for simple LRS is decidable subject to the weak $p$-adic Schanuel Conjecture and the Skolem Conjecture (also known as the exponential local-global principle), the latter of which states that an LRS has an integer zero if and only if it has a zero modulo every integer $m$. This paper works towards understanding the Skolem Conjecture. We provide an example showing that a natural strengthening of the Skolem Conjecture, where we restrict $m$ to be a prime power, is false. This failure is accounted for by the relationship between $p$-adic zeros of LRS (which arise naturally in the proof of the Skolem--Mahler--Lech theorem and have been studied algorithmically by Bacik et al. (2026)) and twisted rational zeros (introduced by Bilu et al. (2025)). By studying this relationship further, we are able to prove the main result of this paper: a local-global principle for simultaneous zeros of two coprime LRS, subject to the $p$-adic Schanuel Conjecture. A fundamental step in proving this result is characterising when twisted rational zeros are (or are not) $p$-adic zeros for infinitely many primes $p$, which we do unconditionally. This also answers two open questions of Bilu et al. (2025). Finally, we conjecture that the existence of twisted rational zeros is the only way that the aforementioned strengthened Skolem Conjecture may fail, which is supported by a heuristic argument.

Higher Schwarzians of Elliptic Double Covers and Eisenstein--Kronecker Functions

math.NT

We determine the Aharonov invariants of order at least two of every elliptic double cover by evaluating its projective kernel. In orders at least three, the formula separates the invariant into a constant Eisenstein term and an Eisenstein--Kronecker function evaluated under multiplication by two. The formula determines the ramification principal parts, torsion specializations, and isogeny traces, including the correction from two-torsion in an isogeny kernel. It also realizes the same intrinsic de Rham tensor through every degree-two projection: in higher orders this is the image of an Eisenstein section, while order two gives the classical Weierstrass complement to the Hodge line. A separate differential calculation shows that the Bernoulli-normalized invariant of order $p-1$ reduces to the quotient of the $p$th and first iterates of the defining derivation. For an elliptic invariant derivation this quotient is the Hasse invariant, independently of the rational function on its separable locus. The universal double cover provides a global specialization, integral away from two-torsion, whose reduction extends regularly across that locus. Classical Eisenstein zero theorems and the supersingular divisor congruence then describe the exactness loci and their reduction.

The Furstenberg-S\'ark\"ozy theorem for sums of an even number of odd powers

math.NT

We obtain a Furstenberg-S\'ark\"ozy-type result for sets $A\subset [N]$ whose difference set $A-A$ does not contain the sum of $s$-many $k$-th powers of positive integers, with $k>1$ odd and $s>0$ even. Namely, we prove that such sets must satisfy a power-saving bound $|A| \, \ll \, N^{1-\frac1k\min\{s \, \sigma_k, \, 1/2\}+\epsilon}$ for any fixed $\epsilon>0$, where $\sigma_k >0 $ is any admissible saving in a classical one-variable Weyl estimate. In particular, we can take $\sigma_k=\max\left\{{2^{1-k}}, \, \frac{1}{k(k-1)}\right\}$ using the classical theory and the best currently available bounds for classical Weyl sums. A greedy construction produces a set $A\subset[N]$ with $|A|\gg N^{1-s/k}$ for which $A-A$ contains no sum of $s$-many positive $k$-th powers, so our power-saving bound is of the correct shape.

An infinite family of imaginary biquadratic fields with a large class number

math.NT

We construct an infinite family of imaginary biquadratic fields with large class numbers. The construction of this family is done by composing two distinct families of imaginary quadratic fields: the first one is the family Q(sqrt(k^2-p^l)) introduced by Banerjee and Hoque [1], subject to specific constraints on the integer parameters, l, k and p, and the second one is the parametrized family of the form Q(sqrt(-F_(50s+25))) based on Fibonacci numbers, introduced by Kishi [2]. One of the main tools that is used is Kuroda's class number formula of imaginary biquadratic fields. We choose these two families with the sole aim to get high order elements in the class group of the resultant biquadratic fields.

Laurent series expansions for the Barnes multiple zeta function

math.NT

We study the Laurent coefficients of the Barnes multiple zeta function with complex parameters in a common open half-plane and a fixed holomorphic determination of the logarithm. At the highest pole, we derive explicit limit formulae for every regular Laurent coefficient in terms of finite multiple sums and logarithmic correction terms. At the lower possible poles, we establish all-order relations with the Taylor coefficients at the origin and their parameter derivatives. We also determine the large-order behavior by subtracting all principal parts. The remaining function is entire, so Cauchy's estimate separates explicit residue contributions from a remainder that decays faster than any fixed geometric rate. The neighboring residues yield the limiting even and odd subsequences, with vanishing residues and cancellations accounted for. The constant-term cases recover known finite-part representations; the main focus is their extension to higher Laurent coefficients.

Triple divisor type functions in arithmetic progressions to prime power moduli

math.NT

We study the equidistribution in arithmetic progressions modulo powers of a fixed odd prime of Hecke eigenvalues of noncuspidal $\mathrm{GL}_3$ automorphic forms, with a focus on the convolution coefficients $\lambda_{1\boxplus f}(n)=(\lambda_f\star 1)(n)$,attached to a level $1$ holomorphic primitive cusp form $f$. Utilizing techniques introduced by Kowalski--Lin--Michel and Mili\'{c}evi\'{c}, we prove the exponent $\vartheta=1/2+7/458-\varepsilon$ is admissible.

Iwasawa theory of (directe) Cayley graphs

math.NT

In this article, we prove the Defect Conjecture for Cayley graphs of abelian groups, dihedral groups, and groups of the form $\mathbb{Z}/p\mathbb{Z} \rtimes \mathbb{Z}/(p-1)\mathbb{Z}$ where $p\geq 3$ is a prime. We also compute the Iwasawa invariants of the Bowen--Franks groups associated with these graphs in several cases.

The Local Ghost Theorem in the Tr\`es Ramifi\'e Case

math.NT

Let $p\geq 11$ and let \[ \bar\rho\cong \left(\begin{smallmatrix}\omega&*\0&1\end{smallmatrix}\right) \] be a tr`es ramifi'ee nonsplit representation. For a primitive projective-augmented module of the corresponding Steinberg type, we determine the associated Iwahori and unramified dimensions and construct its ghost series. We prove that, at every point of the relevant component of $p$-adic weight space, the Newton polygon of the characteristic power series of the $U_p$-operator agrees with that of the ghost series. This establishes the local ghost conjecture in the tr`es ramifi'ee case. The main new feature is that the Iwahori power basis is indexed by a single arithmetic progression, so the Iwahori dimension may be odd. We establish the corresponding forms of ghost duality, the characterization of vertices by near-Steinberg ranges, and the finite-minor estimates required in the proof, treating both integral and half-integral centres and the fixed central index of the Atkin--Lehner involution. The global applications in the tr`es ramifi'ee case and the analogous local and global results in the peu ramifi'ee case are the subject of ongoing work.

Distribution of squarefree integers with double congruence conditions

math.NT

Given a positive integer $M$ with reduced residue system $\Phi_M$, we partition the set of squarefree integers according to some congruence conditions on the number of prime factors in each class $\phi \in \Phi_M$, and prove two relevant equidsitribution results in this setting. We discover the bias phenomenon in some special cases, and formulate a conjecture with numerical support.

Prime-power congruences for level-one eigenforms

math.NT

We study prime-power congruences for the prime-to-\(p\) Hecke eigensystems of normalized cuspidal level-one eigenforms as the weight varies, and we address the problem of classifying such systems for small prime powers. We construct Hecke-equivariant transfer maps between level-one modular-symbol modules via multiplication by suitable lifts of Dickson invariants; these maps reduce the problem to finite computation and propagate Hecke operator relations through all weights. For \(p=2,3,5,7\), we obtain all-weight classifications modulo \(2^8\), \(3^4\), \(5^3\), and \(7^2\), respectively.

Extreme values of quadratic Hecke $L$-functions

math.NT

We study large values of quadratic Hecke $L$-functions in the conductor aspect. Let $K$ be a fixed number field, and assume GRH for its finite-order Hecke $L$-functions. In a fixed ray class component with conductor norm comparable to $X$, we prove that \[ \max_\chi L\left(\frac12+\frac A{\log_2X},\chi\right) \geq\exp\left\{(e^{-A}+o(1)) \sqrt{\frac{\log X\log_3X}{\log_2X}}\right\} \] for every fixed $A\geq0$. Every fixed smaller constant is attained by at least $X^{1-o(1)}$ characters. The same count holds at a suitably slowly moving threshold approaching the displayed constant. The combinatorial input is a sparse squarefree G\'al set of cardinality $N$, retaining the known leading constant $2$ and having square multiplicative energy $N^{2+o(1)}$. The energy bound reflects the low degree of the associated Boolean polynomial. Together with the resonance estimate, it yields the abundance bound. We also prove unconditional analogues for quadratic characters with prime conductor away from one fixed place over any global function field of odd characteristic. Finally, we give bounds in the fixed strip and at $s=1$, including the dependence on the residue of the Dedekind zeta function and the prescribed local factors.

On $t$-sumfree sequences

math.NT

In this paper we explore the world of $t$-sumfree sequences, primarily for $t=2$ and $t=3$. Starting with $t$ increasing positive integers, build an infinite sequence by choosing as the next entry the least positive integer that is not the sum of $t$ distinct previous values. The main open problem concerns the question of the conjectured ultimate periodicity of these sequences. We formulate a sufficient condition to prove that a conjectured preperiod and period are correct. We also prove periodicity for a considerable subclass of 2-sumfree and of 3-sumfree sequences. Finally, we present the results of extensive computations on 3-sumfree sequences.

Mixed moment of $GL(2)$ and $GL(3)$ $L$-functions in the level aspect

math.NT

In this paper, we establish an asymptotic formula of mixed moments of $L(1/2,f)$ and $L(1/2,\mathrm{sym}^2 f)$ for cusp forms $f$ of weight $k$, prime level $q$ and real primitive nebentypus $\chi$ modulo $q$ in the level aspect with a power-saving error term. As an application, we deduce the simultaneous non-vanishing of $L(1/2, f)$ and $L(1/2,\mathrm{sym}^2 f)$ for sufficiently large prime levels.

An additive problem in connection with some quadratic real fields with class number one

math.NT

Our aim is to find all the prime numbers $p$ such that $p-x^2$ has at most two different prime factors, for all the odd integers $x$ such that $x^2

Powers of the Thue--Morse Series: 2-Adic Valuations and Automatic Odd Parts

math.NT

Let $T(x)=\prod_{j\ge 0}(1-x^{2^j})=\sum_{n\ge 0}t(n)x^n$ be the Thue--Morse generating function, and write $T(x)^m=\sum_{n\ge 0}t_m(n)x^n$ for a positive integer $m$. For a nonzero integer $a$, let $\nu_2(a)$ be the exponent of $2$ in $a$ and put $\operatorname{odd}(a)=a/2^{\nu_2(a)}$. For every $s\ge 1$, we prove that the sequence $(\operatorname{odd}(t_m(n))\bmod 2^s)_{n\ge 0}$ is $2$-automatic when $m=2^r$, $r\ge 1$, or $m=3\cdot 2^r$, $r\ge 2$. In both families, $\nu_2(t_m(n))=\nu_2\binom{n+m-1}{m-1}$. The valuation identity for $m=2^r$ is known; our proof recovers it and also establishes the automaticity assertion. For $m=6$ we prove $\nu_2(t_6(n))=\nu_2\binom{n+5}{5}+\mathbf{1}_{n\equiv 3\pmod 4}$ and show that its odd parts modulo every $2^s$ are $2$-automatic.

Refined conjectures on Fitting ideals of BDP Selmer groups

math.NT

Under mild assumptions, we prove the strong main conjecture for BDP Selmer groups of elliptic curves with good reduction in the sense of Kurihara's refined Iwasawa theory. In particular, the structure of the initial Fitting ideal of BDP Selmer groups over finite subextensions in the anticyclotomic $\mathbb{Z}_p$-extension is determined by the values of the corresponding $p$-adic modular form at CM points.

Modular functoriality for finite groups

math.NT

math.RT

We develop an extension of Deligne--Lusztig theory to certain (possibly infinite type) disconnected reductive groups arising from the special fibers of point stabilizers in the Bruhat--Tits building, which we call \emph{paraductive}. We then compute explicit lower bounds for the Tate cohomology of representations of paraductive groups, relating these to Shintani descent, Lusztig restriction, and the Glauberman correspondence. As an application, using Feng's modular functoriality and Scholze's independence of $\ell$, we compute the Fargues--Scholze L-parameters of non-singular depth $0$ cuspidal representations of a (possibly wildly ramified) reductive group over a nonarchimedean local field.

Uniform Mordell-Lang conjecture for semiabelian varieties

math.NT

We prove the uniform Mordell-Lang conjecture for semiabelian varieites.

A class formula for effective Anderson motives

math.NT

We establish a class formula with variable for arbitrary effective Anderson motives. This pursues the pioneering work of Taelman and extends the scope of the work of Angl{\`e}s-Ngo Dac-Tavares Ribeiro, removing the admissibility assumption and allowing for more general Anderson modules. In the same setting, we further conjecture a ''nondeterminantal'' version of the class formula which holds before taking determinants and prove a weak version of it. Finally, we prove an overconvergent version of the class formula and derive from it strong convergence properties for the associated L-series.

On Sarnak--Str\"{o}mbergsson conjecture

math.NT

math-ph

math.AP

math.CA

math.MP

Let $\Th(\alpha,L)=\sum_{v\in L}e^{-\pi\alpha|v|^2}$ for $\alpha>0$ and $E(L,s)=\sum_{v\in L\setminus\{0\}}|v|^{-2s}$ for $s>3/2$ be the theta and Epstein zeta functions associated to the lattice $L$, respectively. We are particularly interested in physically relevant dimension three. Fix the covolume of the lattice $L$ to $1$. Up to an orthogonal transformation, we prove that \begin{equation}\nonumber \argmin_{|L|=1}\Th(\alpha,L)= \begin{cases} \boldsymbol{\mathrm{FCC}}\;\;\mathrm{lattice},\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;&\text{if}\;\; \alpha>1, \boldsymbol{\mathrm{BCC}}\;\;\mathrm{lattice}, \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;&\text{if}\;\; \alpha<1, \boldsymbol{\mathrm{FCC}}\;\;\mathrm{or}\;\; \boldsymbol{\mathrm{BCC}}\;\;\mathrm{lattice},\;\;&\text{if}\;\;\alpha=1, \end{cases} \end{equation} and \begin{equation}\nonumber \argmin_{|L|=1}E(L,s)= \boldsymbol{\mathrm{FCC}}\;\;\mathrm{lattice},\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;\text{if}\;\; s>3/2. \end{equation} Therefore, we prove the Sarnak--Str\"{o}mbergsson conjecture \cite[Inequalities (43)--(44), Section 5]{SS}.

Improved bounds for Szpiro's conjecture

math.NT

In the direction of Szpiro's conjecture for all elliptic curves $E$ over $\mathbb{Q}$, the current best bound is $\log \Delta \ll N \log N$ where $\Delta$ is the absolute value of the minimal discriminant of $E$ and $N$ is the conductor of $E$ (the implicit constant is absolute). This bound dates back to 2013. We obtain the stronger bound $\log \Delta \ll N\log \log N$ which was previously known only under GRH. In addition, for semistable elliptic curves we prove $\log \Delta \ll N$. Our methods build on the theory developed by the author for approaching the $abc$ conjecture via Shimura curves.

Even-degree Hermitian Ikeda lifts via Fourier-Jacobi descent

math.NT

Let $E/F$ be a CM extension and let $m\geq2$ be an even integer. Starting from the odd-degree Hermitian Ikeda lift of degree $m+1$ constructed by Yamana, we construct a Hermitian Ikeda lift of degree $m$ from the theta components of its first Fourier-Jacobi coefficient. We determine its global Arthur parameter and its local constituents at every finite place. Using the global multiplicity formula for unitary groups, we obtain an explicit multiplicity-free decomposition of the resulting representation of $\mathrm{U}_{m.m}(\mathbb{A}_{F,\mathbf{h}})$ and show that its isomorphism class is independent of the Fourier-Jacobi index. When $F=\mathbb{Q}$, we compare Fourier coefficients and identify the construction with Ikeda's even-degree Hermitian lift.

Hypothetical connection of the theta functions of Dirichlet characters with the real cyclotomic fields

math.NT

We consider a possible approach to the Lindel\"of hypothesis for Dirichlet $L$-functions. It is based on a special form of the functional equation for the corresponding theta functions. To estimate $L_\chi(0.5+it)$ we need to solve certain systems of linear equations. The entries to the corresponding matrices are formed by the summands to the series for theta functions and their derivatives. Numerical data suggest that the inverse matrices have a deep structure and allow us to state a number of conjectures. In particular, it seems that for a character modulo $q$ certain entries to the inverse matrices tend to finite limits when the sizes of the matrices run over arithmetical progressions with step $2q$. Moreover, these limits belong to the real cyclotomic field $\mathbb{Q}(\cos(\pi/q))$ (up to a scaling factor of $\sqrt{q}$).

Loop spaces, twistor $\mathbb P^1$ and tempiric parameters

math.RT

math.NT

We establish bijections among spherical orbits on loop symmetric spaces, principal bundles on the twistor $\mathbb P^1$, and tempiric Langlands parameters. Using Vogan's theory of minimal $K$-types, we further establish bijections among irreducible equivariant local systems on loop symmetric spaces, irreducible local systems on principal bundles on the twistor $\mathbb P^1$, and irreducible representations of all strong inner forms of the dual symmetric subgroup. The latter bijections may be viewed as a combinatorial shadow of geometric Langlands duality for real reductive groups.

List Decoding, Linear Hashing, and Furstenberg over $\mathbb{F}_q$

cs.IT

cs.CC

cs.DS

math.CO

math.IT

math.NT

We give new bounds for list sizes of random linear codes at capacity, max loads of linear hash functions, and Furstenberg sets, over every finite field $\mathbb{F}_q$. 1. Random linear codes over $\mathbb{F}_q$ with rate $1 - H_q(p) - \epsilon$ are $(p, O(q H_q(p)/\epsilon))$-list decodable with high probability for all values of $p, q, \epsilon$, including the high error regime. This nearly matches the list size lower bound of $H_q(p)/\epsilon$ due to Guruswami, Li, Mosheiff, Resch, Silas, and Wootters [IEEE Trans. Inf. Theory 2022]. Our bound is the first uniform improvement for $q > 2$ since Guruswami, H{\aa}stad, and Kopparty [STOC 2010]. 2. Linear hash functions over $\mathbb{F}_q$ hashing $n$ balls to $n$ bins achieve maximum load $O(q \ln \ln q / {\ln q}) \cdot \ln n / {\ln \ln n}$, both in expectation and with probability $1-o(1)$. This nearly matches the lower bound of $\ln n / {\ln \ln n}$. Previously, only a polylogarithmic upper bound was known for $q > 2$, due to Alon, Dietzfelbinger, Miltersen, Petrank, and Tardos [J. ACM 1999]. We reduce list decodability and linear hashing to strong Furstenberg set lower bounds, which we prove using a new polynomial method of multiplicity gaps. While previous polynomial methods analyze a set $S$ by studying polynomials that vanish on it, we consider polynomials that vanish everywhere, but with higher multiplicity inside $S$ than outside.

Block-count constrained harmonic sums: spectral expansion and block-directed Euler-Maclaurin

math.CO

math.CA

math.NT

math.PR

math.SP

We determine exactly how harmonic sums, taken over integers with a given number of occurrences of a fixed block of digits, depend on that number of occurrences. Language factorizations, combined with stochastic radix expansions, relate these harmonic sums to the iteration of an operator whose eigenvectors are the Lebesgue measure and distributional derivatives of singular measures. The dual picture is given by a Riesz basis of eigenpolynomials in a suitable Hardy space. The resulting modal expansion admits a natural interpretation as a block-directed Euler-Maclaurin formula interpolating between Euler-Maclaurin and Taylor expansions.

On a classical zero-sum invariant II: Disproof of a long-standing conjecture

math.CO

math.NT

For a nontrivial finite abelian group $G$, let $\nu(G)$ be the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. It is easy to check that $\mathsf d (G)-1 \le \nu (G) \le \mathsf d (G)$, where $\mathsf d (G)$ is the small Davenport constant of $G$. A conjecture by Gao from the year 2000 stated that equality should always hold at the lower bound. This conjecture has since been confirmed for many families of groups (including all p-groups and groups of rank at most two). In the current note, we disprove the conjecture.

Small degree isogenies between conjugate principally polarized superspecial abelian surfaces

math.AG

math.NT

Let $p>3$ be a prime number. We prove that every principally polarized superspecial abelian surface over $\mathbb{F}_{p^{2}}$ with $p^{2}$-Frobenius $[-p]$ admits a separable polarized isogeny to its Frobenius conjugate with multiplier at most $(p^{3}/2)^{1/5}$. This generalizes a recent result of Aubry, Oyono, and Vincent (2026, arXiV:2607.14624) who proved that every supersingular elliptic curve defined over $\bar{\mathbb{F}}_{p}$ admits an isogeny to its Frobenius conjugate with degree at most $(p/2)^{1/3}$.

A perimeter analogue of Franklin's identity and an inequality related to the parity of parts

math.CO

math.NT

We prove two conjectures regarding partition perimeter inequalities. It was conjectured by Gray, Payne, and Watson that Franklin's partition identity becomes an eventual inequality if one replaces the size of the partition with its perimeter. We prove this conjecture by asymptotic analysis of the corresponding generating functions. Gray, Payne, Swisher, and Watson also conjectured that there is a bias for partitions with fixed perimeter to have more odd parts than even parts. We prove this conjecture by deriving the corresponding generating functions and give a positive recurrence for the coefficients. In the case that there are an equal number of odd parts and even parts we provide a connection to peakless Motzkin paths.

Sums of squares in function fields over a henselian valued field

math.NT

v4

The Pythagoras number of a field is the smallest natural number $n$ such that every sum of squares in the field is a sum of $n$ squares. Given a nondyadic henselian valued field $(K, v)$, we show that the best bound on the Pythagoras number for function fields of curves over $K$ is essentially the same as for function fields of curves over the residue field $Kv$. As a consequence, we obtain the upper bound $5$ for the Pythagoras number of function fields of curves over any field $K$ for which the rational function field $K(X)$ has Pythagoras number $2$. The proof uses a reduction to the case where the value group is a subgroup of the real numbers, where then a local-global principle for quadratic forms due to V.~Mehmeti is applied.

Weighted Versions of the Arithmetic-Mean-Geometric Mean Inequality and Zaremba's Function

math.NT

v4

We use the weighted version of the arithmetic-mean-geometric-mean inequality to motivate new results about Zaremba's function, $z(n) = \sum_{d|n} \frac{\log d}{d}$. We investigate record-setting values for $z(n)$ and the related function $v(n) = \frac{z(n)}{\log \tau(n)}$ where $\tau(n)$ is the number of divisors of $n$. We show that $v(n)$ takes on a maximum value and we give a list of all record-setting values for$v(n)$. Closely connected inequalities motivate the study of numbers which are pseudoperfect in a strong sense.

Mean Value for Random Ideal Lattices

math.NT

v3

We investigate the average number of lattice points within a ball for the $n$th cyclotomic number field, where the lattice is chosen at random from the set of unit determinant ideal lattices of the field. We show that this average is nearly identical to the average number of lattice points in a ball among all unit determinant random lattices of the same dimension. To establish this result, we apply the Hecke integration formula and subconvexity bounds on Dedekind zeta functions of cyclotomic fields. The symmetries arising from the roots of unity in an ideal lattice allow us to prove the existence of ideal lattice packings of dimension $\varphi(n)$ and density $n\cdot 2^{-\varphi(n)}(1+o(1))$ as $n$ goes to infinity.

On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums

math.NT

v5

Inspired by Weil's classical result on the zeta function of a projective Fermat curve defined over a finite field, in this paper, we investigate some arithmetic properties of the cyclotomic matrix $$\left[J_p(\chi^{ki},\chi^{kj})\right]_{1\le i,j\le n-1},$$ where $p\ge3$ is a prime, $1\le k

On finite $\beta$-expansions for the set of natural numbers

math.NT

math.DS

v2

We present a study of the problem of finiteness of the $\beta$-expansions for the set of natural numbers, condition $F_1$ in brief, for three families of Pisot numbers for which the $\beta$-expansion of 1 is not a non-decreasing sequence. We show a class of simple $\beta$-numbers which display a puzzling behaviour, in the sense that an infinite subset of such $\beta$ satisfy $F_1$, whereas a complementary infinite subset does not. This puzzle is organized by the residue class modulo 3 of an integer coefficient of the main family of polynomials discussed. We prove that, when $F_1$ does not hold, the complement of ${{\rm Fin}(\beta)}$ is infinite. Finally, we give a concise sufficient condition for $F_1$, which is the finitude of the $\beta$-expansion of $(\beta-\lfloor \beta\rfloor)^2$.

Weighted uniform distribution of subpolynomial functions along primes and applications

math.NT

math.DS

v2

Let $u(x)$ be a subpolynomial function in a Hardy field. We establish necessary and sufficient conditions for the weighted uniform distribution of the sequences $(u(n))_{n\in\mathbb{N}}$ and $(u(p_n))_{n\in\mathbb{N}}$, where $p_n$ denotes the $n$-th prime. This extends the main result of [4] to the weighted setting and leads to new applications in uniform distribution theory, ergodic theory, and additive combinatorics.

Integral Matrices of Fixed Rank over Number Fields

math.NT

cs.IT

math.IT

v2

We prove an asymptotic formula for the number of fixed rank matrices with integer coefficients over a number field K/Q and bounded norm. As an application, we derive an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes. This in turn implies that the moment estimates of random lattices with a number field structure also carry through for large enough discrete sets of module lattices.

A Lie algebra associated with adjoint multiple zeta values

math.NT

v3

Jarossay (arXiv math.NT1412.5099) introduced adjoint multiple zeta values and, by using Racinet's dual formulation of the generating series of multiple zeta values, found $\mathbb{Q}$-algebraic relations among them, referred to as the \textit{adjoint double shuffle relations}. Additionally, Jarossay defined the affine scheme $\mathrm{AdDMR}_0$ determined by the adjoint double shuffle relations and posed a question whether $\mathrm{AdDMR}_0$ is isomorphic to Racinet's double shuffle group $\mathrm{DMR}_0$ (Publ. Math. Inst. Hautes \'{E}tudes Sci. (2002), no. 95). In this paper, we refine Jarossay's question by introducing the condition referred to as the adjoint conditions, and, based on this refinement, we study the corresponding Lie algebraic aspect. Within this framework, we construct the Lie algebra associated with the adjoint double shuffle relations by imposing Hirose's parity results.

Arithmetic dynamics and Generalized Fermat's conjecture

math.NT

math.AG

v5

We propose generalized Fermat's conjecture in the framework of arithmetic dynamics, and give evidences. The multi-indexed version is added.

Reduction Types of Genus 2 Curves

math.NT

math.AG

v2

Tate produced a table for elliptic curves over local fields that beautifully summarises their arithmetic invariants in terms of the Kodaira type. We present an analogous set of tables for curves of genus 2. The invariants addressed include: reduction type of the minimal regular model, reduction type of the minimal regular model with normal crossings, N\'eron component group of the Jacobian, conductor exponent, valuation of the discriminant of a minimal Weierstrass model, and cluster pictures.

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

math.NT

math.LO

v4

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

A Short Proof of a Conjecture Regarding Quadratic Representations of Practical Numbers

math.NT

v2

A positive integer $n$ is called a practical number if every positive integer less than or equal to $n$ can be expressed as a sum of distinct positive divisors of $n$. In this paper, we study an open conjecture proposed by Wang and Sun concerning the quadratic representations of practical numbers. Specifically, we provide a short proof of the second part of the conjecture, demonstrating that for any positive integers $b$ and $c$ with $2 \nmid b$ and $2 \mid c$, there exists an integer $n$ satisfying $1 < n \le \max\{b, c\}$ such that $n^2 + bn + c$ is a practical number. Combined with the work of Somu, Li, and Kukla, this completely settles the conjecture of Wang and Sun.

Infinite-order $p$-adic differential equations for Hurwitz-type Euler zeta functions: Uniqueness and higher-dimensional extensions

math.NT

math-ph

math.MP

v2

We generalize the one-dimensional infinite-order linear differential equation satisfied by the $p$-adic Hurwitz-type Euler zeta function (Abh. Math. Semin. Univ. Hambg. 91: 117--135, 2021) to $n$ variables. By encoding the differential operator as a convolution with a distribution kernel, we introduce partial zeta functions and partial operators indexed by subsets of $\{1,\dots,n\}$. A tensor product expansion of the distribution kernel is established, whose M\"obius inversion via the binomial theorem yields the higher-dimensional analogue of the original equation in the form of an alternating-sum identity, reducing to the one-dimensional case when $n=1$. Convergence of the resulting series is confirmed by non-Archimedean estimates. As a second main contribution, we prove that, under the condition $|a|_p > 2p^{1/(p-1)}$, within the Banach space of bounded analytic functions on $\mathbb Z_p$, the shifted $p$-adic Hurwitz-type Euler zeta function is the unique solution to the one-dimensional equation. This uniqueness result establishes that the infinite-order $p$-adic differential equation admits at most one bounded analytic solution, and together with the existence theorem, it characterizes the shifted $p$-adic Hurwitz-type Euler zeta function uniquely. This sharply distinguishes it from the complex setting, where the operator series diverges on the Hurwitz zeta function, and the formal kernel fails to converge in the usual spaces of analytic test functions.

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

math.NT

v3

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

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

math.NT

v2

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

From Pythagorean Runs to Pell-Generated Cubic Runs

math.NT

v2

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

Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$

math.NT

math.CO

v2

Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $\Delta\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $\Delta$. We prove that \[ |A|\ll_{\Delta,d} N^d\exp\!\left(-c_{\Delta,d}\sqrt{\log N}\right) \] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of H\"older's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.

Character sums on an oriented singer conic and explicit Ramanujan double covers

math.NT

math.CO

v2

Let $q$ be odd. The trace conic in $\mathbb{F}_{q^3}$ determines a Singer difference set in $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^\times$ and a natural square-class lift to $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^{\times 2}$. We study the odd multiplicative Fourier coefficients of this lift and prove that they are bounded in absolute value by $2\sqrt{q}$. The proof improves the naive six-puncture Weil bound by exploiting a projective Klein-four symmetry of the associated rank-one local system. The resulting nontrivial cocycle produces a quaternionic action on its four-dimensional cohomology, while Frobenius symmetry reduces the relevant trace to two Weil-scale eigenvalues. As an application, the oriented conic yields an explicit Singer-invariant signing of the point-line incidence graph of $\mathrm{PG}(2, q)$. The corresponding dihedral Cayley graph is a connected Ramanujan double cover. Thus a conic lift already known in finite-geometric constructions has an additional Ramanujan spectral property governed by its odd multiplicative character sums.

A proof of Sylvester's conjecture

math.NT

v2

We prove Sylvester's conjecture, originating in his 1879 study of ternary cubic equations, that every prime $p\equiv4,7,8\pmod9$ is a sum of two rational cubes. Elkies announced a proof for the classes $4$ and $7$ in 1994, and Yin recently supplied a complete proof. For the remaining class $p\equiv8\pmod9$, we prove that the elliptic curve $E_p:y^2=x^3+p^2/4$ has analytic rank one, as predicted by the Birch and Swinnerton-Dyer conjecture, and so $p$ is a sum of two rational cubes. The proof begins by adapting the auxiliary Rankin--Selberg construction from the authors' work on the rank one converse for CM elliptic curves. The Rankin--Selberg $L$-function factors as the $L$-function of $E_p$ times a complementary $L$-function. Chan's $3$-isogeny descent and the rank zero converse show that the complementary central $L$-value is non-zero, and so it suffices to prove that a cubic component of the associated Heegner point is non-torsion. A basic difficulty is that the unweighted Hecke trace of the underlying CM orbit vanishes. Our decisive idea is to take $\lambda$-division before taking the trace, where $\lambda=1-\omega$ and $\omega$ is a primitive cube root of unity. We prove that the resulting division boundary is non-zero by analysing Frobenius at $p$. The Galois action on the CM orbit and ramification theory then transfer this non-vanishing to the cubic component.

Analytic expressions pertaining to certain arithmetical functions

math.CO

math.NT

v2

We demonstrate the general outlines of a method for obtaining analytic expressions for certain types of general arithmetical sums. In particular, analytical expressions for a general arithmetical sum whose terms are summed over either the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2+da^2 = N$ or the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2-da^2 = N$ are derived.

Polylogarithmic characterizations of the reduced coaction Lie algebra and the double shuffle Lie algebra, and their relation to the Kashiwara--Vergne Lie algebra

math.QA

math.NT

v3

The reduced coaction Lie algebra $\mathfrak{rc}_0$ is defined by a skew-symmetric condition together with an algebraic equation involving the reduced coaction, a non-cyclic refinement of the necklace cobracket. The double shuffle Lie algebra $\mathfrak{dmr}_0$ encodes the regularized double shuffle relations in the study of formal multiple zeta values, while the Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2$ arose in the study of the Kashiwara--Vergne conjecture. Our main result is the description of $\mathfrak{dmr}_0$ and $\mathfrak{rc}_0$ by vanishing conditions of different strengths on the same object: the defect of Drinfeld's pentagon equation; $\mathfrak{dmr}_0$ is characterised by the vanishing of the associated two-variable multiple polylogarithms, and $\mathfrak{rc}_0$ by the vanishing of those whose second index has depth $1$. We also establish explicit relations among these three Lie algebras. First, the skew-symmetric elements of $\mathfrak{dmr}_0$ embed into $\mathfrak{rc}_0$. Second, under an additional condition, we construct an injective Lie algebra morphism from $\mathfrak{rc}_0$ to $\mathfrak{krv}_2$.

The 1/2-Conjecture for $q$-Binomial Coefficients with Fractional Index

math.CO

math.NT

v2

For a nonnegative integer $k$ and a rational number $r\in\mathbb{Q}^+$, we define the generalized Gaussian binomial coefficient $\qbinom{r+k}{k} = \frac{(q^{r+1}; q)_k}{(q; q)_k}$. When $r=a/b$ with $a,b$ coprime positive integers and $b\geq 2$, expanding $\qbinom{r+k}{k}$ via the finite $q$-binomial theorem produces fractional powers of $q$, so that $\qbinom{r+k}{k}$ is a \emph{Puiseux series} in $q$ with nonnegative exponents; concretely it lies in $\mathbb{Q}[[q^{1/b}]]$. The notion we single out is the \emph{integer trace} of this expansion, the subseries consisting of those terms $c_r(d)\,q^d$ whose exponent $d$ is an integer, with all fractional powers discarded. This projection is not standard, and there is no a~priori reason for the surviving coefficients to behave coherently as $r$ varies. Nonetheless, ordering the family by the coefficientwise partial order leads to the \emph{$\tfrac{1}{2}$-Conjecture}: among all $r\in\mathbb{Q}^+$, the value $r=\tfrac{1}{2}$ maximizes the integer trace, in the sense that the coefficients of $\qbinom{1/2+k}{k}$ dominate those of $\qbinom{r+k}{k}$ coefficientwise for every $r$. That so elementary a definition should single out $\tfrac{1}{2}$ this cleanly came as a surprise to us. We prove the conjecture in several special cases and provide further computational evidence.