Number Theory [math.NT]

A descent-set obstruction for the Casas-Alvero conjecture

math.NT

The Casas--Alvero conjecture asserts that a monic polynomial $f$ of degree $d$ over a field of characteristic zero sharing a non-constant factor with each of $f',\dots,f^{(d-1)}$ is the $d$-th power of a linear polynomial. Two reductions are carried out. Once a root is translated to the origin, the condition at index $i$ is vacuous unless the coefficient $a_{d-i}$ is nonzero, so the Casas--Alvero locus stratifies by the support of the centred normal form; prescribing in addition which root realises each surviving condition makes the system unit lower triangular and eliminates the coefficients of $f$ entirely. When one root suffices, what remains is a single integer, and that integer is MacMahon's determinant: the number of permutations of $\{1,\dots,d\}$ with descent set the support of $f$. Since every subset is a descent set, no counterexample has fewer than three recycled roots; in characteristic $p$ a prime dividing one of these counts but none of the accompanying integers $z_{i}$ is a bad prime, the largest count in degree $d$ being the Euler zigzag number $A_{d}$, so that the irregular prime $691$ is bad for $d=11$. The stratification also yields short proofs of the two characteristic-$p$ propositions on which all known cases rest; supports of two elements are settled separately in every characteristic, whence a counterexample has at least four terms in centred normal form and a further Gr\"obner-free criterion for bad primes.

Exponential sums over primes

math.NT

Let $\alpha=a/q+\epsilon$ with $(a,q)=1$, $q\le N^{1/2}$ and $|\epsilon|\le 1/(qN^{1/2})$, and let $B:=\max(q,qN|\epsilon|)$. We show that \[ \Bigl|\sum_{n

Reciprocity for The Short Twisted Second Moment of The Riemann Zeta Function

math.NT

We prove a reciprocity formula for a twisted second moment of the Riemann zeta function over a short interval of length $T^{\delta}$, where $\delta \in (\frac{1}{2},1)$, centered at height $T$ on the critical line. This result extends Khan's reciprocity formula to the short interval setting and makes explicit the relation between the twisting parameters and the interval length.

Bounding The Number of Zeros Near the Central Point in Families of Cuspidal Newforms

math.NT

We study low-lying zeros in families of even holomorphic cuspidal newforms of fixed weight and prime level, with particular emphasis on the number of forms having a zero in a prescribed normalized window about the central point and on the distribution of the number of such zeros among the forms. We quantify the number of forms having at least one zero in the window and study the distribution of the number of zeros in that window among the forms. Assuming the Generalized Riemann Hypothesis, we obtain new lower bounds for the number of forms having a low-lying zero. We first prove that, along an infinite sequence of prime levels $N$, the number of such forms is $\gg N^{7/8}\log N$. We then use higher centered moments and an appropriate test function to show that a positive proportion of the family has a zero in a prescribed window. Finally, we obtain polynomial upper-tail bounds for the number of zeros occurring there and show that a positive proportion of forms have a bounded, nonzero number of low-lying zeros.

Transcendence of continued fractions over function fields and a quantitative version of Uchiyama's theorem

math.NT

Given a field $K$, let $K((T^{-1}))$ be the field of formal power series. Continued fractions in $K((T^{-1}))$ can be defined by analogy with classical real continued fractions and have been widely studied. Some results establish the transcendence of elements of $K((T^{-1}))$ arising from special families of continued fractions, but much remains to be explored. In this paper, assuming that $K$ has characteristic zero, we improve the known analogues of the Maillet--Baker criteria for quasi-periodic continued fractions. A central tool that we prove is a quantitative version of Uchiyama's analogue of Roth's theorem in function fields, which gives an explicit bound for the number of exceptionally good rational approximations to an algebraic power series. This quantitative estimate also yields a Davenport--Roth-type upper bound on the growth of the denominators of the convergents of algebraic elements. Finally, we prove that palindromic continued fractions are either quadratic or transcendental, as in the real case, but using a different proof strategy.

Algebraic geometric framework of Rogers--Ramanujan identities

math.NT

math.CO

math.RT

The Rogers--Ramanujan identities equate a $q$-series whose exponents are governed by a quadratic form with an infinite product supported on two residue classes modulo~$5$. Identities of this shape are scarce, and a central problem is to identify the structures that produce them in families. Huang, Jiang, and Oblomkov have proposed a source of a new kind: to each pair of coprime integers $a,b>1$ they attach an infinite-rank $q$-series $Z_{a,b}(q)$, assembled from counts of commuting nilpotent matrix pairs $(A,B)$ with $A^a=B^b$ over finite fields, and they conjecture that it equals an explicit product of $(a-1)(b-1)/2$ modular units of level $a+b$. The $a=2$ cases are the Andrews--Gordon identities; no case with $a>2$ was known. We prove the conjecture for $(a,b)=(3,4)$, $(3,5)$, $(3,7)$, and $(3,8)$. Our proofs pass through a finer sum-to-sum identity, which we conjecture for all $b$ coprime to $3$ and establish for all $b$ when $q=1$. Lau and Ono have since proved that identity in general, and with it the full $a=3$ case. These identities have been formalized and verified in Lean by AxiomProver.

Interlacing for zeros of the Serre derivative of Eisenstein series

math.NT

In 1970, Rankin and Swinnerton-Dyer showed that the non-elliptic zeros of Eisenstein series $E_k$ in the fundamental domain all lie on the lower arc $\{ e^{i\theta}: \frac{\pi}{2} < \theta < \frac{2\pi}{3}\}$. Very recently, Sugibayashi showed that the same property also holds for the Serre derivative $\vartheta_k(E_k)$ of Eisenstein series. In this paper, we first give very precise estimates for where exactly these zeros are located on the lower arc. These location estimates then allow us to prove four main results. First, we show that the zeros of $\vartheta_\ell(E_\ell)$ Stieltjes interlace with the zeros of $\vartheta_k(E_k)$ on the lower arc for all $\ell > k$. Second, we classify precisely when the zeros of $\vartheta_\ell(E_\ell)$ (standard) interlace with the zeros of $\vartheta_k(E_k)$ on the lower arc. Third, we show that the zeros of $\vartheta_k(E_k)$ always (standard) interlace with the zeros of $E_{k+2}$ on the lower arc. Fourth, as an application of the third main result, we show that the zeros of the cuspidal projection of $\vartheta_k(E_k)$ all lie on the lower arc, extending a result of Xue and Zhu.

Positive quasimodular forms and the sign uncertainty principle

math.NT

math.CA

For every positive integer $d$ divisible by $4$, we prove the following new upper bound for the Bourgain-Clozel-Kahane sign uncertainty constant: \[ \mathrm{A}_+(d) \le \sqrt{2 \left\lfloor \frac{d}{16} \right\rfloor + 2}. \] It recovers the optimal bound $\mathrm{A}_+(12) \le \sqrt{2}$ in dimension $12$ and improves the previously best known bound $\sqrt{(d+2)/(2\pi)}$ for all $d \ge 52$ divisible by $4$. The proof uses Fourier eigenfunctions and associated quasimodular forms constructed by Feigenbaum, Grabner, and Hardin.

Singular-weight Conway-invariant Jacobi forms of index four

math.NT

Let $\Lambda$ be the Leech lattice and let $\mathrm{Co}_0=\operatorname{Aut}(\Lambda)$. Sun and Wang proved that the space of $\mathrm{Co}_0$-invariant holomorphic Jacobi forms of singular weight $12$ and index $4$ satisfies \[ 4\leq \dim J^{\mathrm{Co}_0}_{12,\Lambda,4}\leq 9, \] and left its exact dimension open. We prove \[ \dim J^{\mathrm{Co}_0}_{12,\Lambda,4}=6. \] At singular weight, theta decomposition identifies this space with the simultaneous $\mathrm{Co}_0$- and Weil-invariant subspace of $\mathbb{C}[\Lambda/4\Lambda]$. Conway symmetry and $T$-invariance reduce the problem to a twelve-dimensional space of isotropic orbit sums. On this space the projected Weil $S$-operator satisfies the universal relation \[ S\left(S+\frac{1}{2}I\right)(S-I)=0, \] obtained from the level-$4$ Hecke algebra. Equivalently, the associated integral character matrix $K$ satisfies \[ K(K+2^{23}I)(K-2^{24}I)=0. \] Combining this relation with known index-$4$ forms, reduction modulo $2$, and character data obtained from the $A_3^8$ deep hole reduces the remaining possibilities to a finite exact calculation. A final torsion evaluation of the known index-$3$ form $\Phi_{12,3}$ determines the last required character value, and exact elimination leaves a unique admissible branch, of dimension $6$. We also construct two Conway-averaged theta forms from explicit markings of the Niemeier lattices with root systems $D_6^4$ and $D_4^6$. Together with the four forms previously exhibited by Sun and Wang, they give a natural basis of $J^{\mathrm{Co}_0}_{12,\Lambda,4}$.

Proof of a Conjecture on Primitive Quartic Polynomials over Finite Fields

math.NT

We present a proof of a conjecture we made about primitive polynomials, for $q$ sufficiently large. The argument follows a standard route, however a deeper result than usual with a character sum bound is required. This is a theorem of Fu and Wan. The proof is AI assisted.

Formal finite multiple zeta values

math.NT

We study the algebra of formal finite multiple zeta values by imposing the stuffle and linear shuffle relations of Kaneko and Zagier. Our first results are a surjective homomorphism to the algebra of formal symmetric multiple zeta values and a parity reduction in depth at most four. In even weight we construct a quotient of the formal double zeta space which surjects onto the space of finite multiple zeta values of depth at most four, and we attach to every even period polynomial an explicit relation among the values $\zeta_{A}(2a,1,2b,1)$.

Cycles of supersingular elliptic curves for pairing-based proof systems

math.NT

We give new constructions of cycles of pairing-friendly elliptic curves with a view towards unbounded recursive pairing-based proof systems. Unlike the only known prior cycle of elliptic curves - the ordinary MNT cycle - our construction uses elliptic curves that are supersingular. A trade-off of our approach is that the supersingular cycles are defined over extension fields (quadratic extensions in the optimal case), which makes elements and computations in $\mathbb{G}_1$ less compact and efficient than those in the MNT cycle. On the other hand, the supersingular cycles in this paper offer a key advantage over their MNT counterpart: every instance of our infinite family of supersingular curves can be efficiently constructed via Br{\"o}ker's algorithm, whereas it is only feasible to construct a relatively small, bounded number of MNT instances via the CM method. In other words, while both constructions give infinite families of pairing-friendly curves in theory, only the supersingular construction gives rise to infinite numbers of cycles that can be realised in practice. Supersingular cycles offer benefits that are relevant in the context of recursive pairing-based proof systems. They afford flexibility in the choices of underlying finite fields; one can choose primes $p$ for which the underlying field arithmetic is efficient and for which $p-1$ is divisible by a large power of 2. Or, as we study in detail, using supersingular cycles unlocks the possibility of connecting the cycle with other pairing-friendly elliptic curves that are defined over much smaller finite fields, where proof system arithmetic is much more efficient. Indeed, constructing these so-called lollipops of pairing-friendly curves was the motivating problem (posed by researchers back in 2019) that inspired the present work.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 5: cancellation theory

math.NT

math.RT

We complete our work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the ramified setting for \emph{Beyond Endoscopy} proposed by Langlands. We prove that the asymptotic formula for each term of the trace formula when summing over $n

The principal series 2-representation for $\mathrm{GL}_n\times\mathrm{GL}_n$ over a 2-dimensional local field

math.NT

math.RT

Let $F=\mathbb{F}_q((u))((t))$ and $H=\mathrm{GL}_n(F)_L\times\mathrm{GL}_n(F)_R$. An ordered tuple $\alpha=(\alpha_1,\dots, \alpha_n) $ defines a cross-$K_2$ multiplier on the doubled Borel. Twisted equivariantization then yields an exact uniformly smooth categorical principal series $2$-representation of $H$. For unitary parameters, the $\mathbb R((X))$-measure gives a positive Hom-valued formal Hermitian inner product on the spherical part. These constructions provide two-dimensional categorical analogues of selected unramified structures.

An exact formula for Erd\H{o}s' problem 1005

math.NT

In 1943, Erd\H{o}s considered the minimum number $f(n)$ of terms between two fractions in the Farey sequence of order $n$ whose numerators and denominators are oppositely ordered. Determining the constant $c$ in $f(n)=(c+o(1))n$ is known as Erd\H{o}s Problem 1005. Recently, Cipollini solved this asymptotic problem by proving that $f(n)=(1/4+o(1))n$. Following his framework, we give an analytic proof of an exact formula for $f(n)$ for all sufficiently large $n$. Combining this with a finite computer verification, we further determine $f(n)$ for every integer $n\geq 4$.

Hausdorff dimension of $\tau$-approximable points on self-similar sets in $\mathbb R^d$

math.NT

math.DS

Let $d\geq 1$. Let $K\subset\mathbb{R}^d$ be a non-singleton self-similar set generated by a finite strongly irreducible iterated function system satisfying the open set condition, and let $\delta=\dim_{\mathrm H} K$. For $\tau>1/d$, set \[ W_d(\tau) = \left\{ \mathbf{x}\in\mathbb{R}^d: |q\mathbf{x}-\mathbf{p}|0$ such that, for every $1/d<\tau<1/d+\varepsilon_K$, \[ \mathcal{H}^{s(\tau)}(K\cap W_d(\tau))=\infty, \qquad\text{with } s(\tau):=\delta+\frac{d+1}{1+\tau}-d, \] and consequently \[ \dim_{\mathrm H}(K\cap W_d(\tau)) = \delta+\frac{d+1}{1+\tau}-d. \] In dimension one, specializing to the middle-third Cantor set, this establishes the Bugeaud--Durand conjectural formula for $\tau>1$ sufficiently close to $1$.

Large values of quadratic character sums

math.NT

In this paper, we investigate large values of quadratic Dirichlet character sums. We prove new Omega results for both short and long quadratic character sums under the assumption of the Generalized Riemann Hypothesis (GRH), which improve the previous results.

Better than square-root cancellation in Piatetski-Shapiro sequences

math.NT

In this paper, we investigate whether the better than square-root cancellation phenomenon exists for $\sum^{}_{n\leq X,n\in \mathcal{A}}f(n)$ when $\mathcal{A}$ is a Piatetski-Shapiro sequence and $f(n)$ is a Steinhaus or Rademacher random multiplicative function. Harper's remarkable breakthrough (2019) showed that better than square-root cancellation phenomenon happens when $\mathcal{A}$ takes natural integers set $\mathbb{N}$. Then Max Wenqiang Xu (2023) proved the conclusion also holds if $\mathcal{A}$ consists of $\mathcal{R}$-rough numbers. The similar result can be obtained for $y$-smooth numbers according to Hardy and Xu's recent paper(2026). Our result provides another positive example about the existence of better than square-root cancellation phenomenon when $\mathcal{A}$ is not a set with multiplicative energy as small as $(2+o(1))|\mathcal{A}|^2$. Furthermore, inspired by Harper's work (2023), we also prove the typical size of character sums over Piatetski-Shapiro sequences is $o(\sqrt{|\mathcal{N}_c(x)|})$. Based on this, the character sums over Piatetski-Shapiro sequences can reach Weil's bound for almost all characters modulo a prime $p$.

Weighted singular vectors in common-base self-similar sets

math.NT

We prove a lower bound for the Hausdorff dimension of weighted totally irrational singular vectors in affine-spanning common-base integral self-similar sets satisfying the open set condition. For the middle-third Cantor square, the bound improves the previously known explicit lower bound.

On the Hausdorff dimension of the difference sets between typical and normal numbers

math.NT

We study the Hausdorff dimension of the difference sets between the set of typical numbers, defined via the Erd\H{o}s--R\'enyi law governing the longest run of digits, and the set of numbers normal in base $2$. Although both properties hold for Lebesgue-almost every real number, neither implies the other. The resulting difference sets $\textit{TpcN}\setminus\textit{Normal}$ and $\textit{Normal}\setminus\textit{TpcN}$ are $D_2({\bf \Pi}_3^0)$-complete in the Borel hierarchy. We show that this logical complexity is matched geometrically: both difference sets have full Hausdorff dimension. Unlike the classical Besicovitch-type sets governing single-digit frequencies, normality requires the correct frequency of every finite block simultaneously, and the explicit Moran-set constructions that succeed for simple normality break down under this requirement. We instead establish the dimension via a counting argument bypassing the need for an explicit construction.

Height Rigidity for Entire Functions

math.NT

We prove that algebraic values of bounded degree and polynomially bounded height are sparse on rational translates of the graph of a transcendental entire function. More precisely, for fixed $\theta\in\overline{\mathbb{Q}}\cap\mathbb{R}$, $D\geq1$, $t>0$, and for every $\varepsilon>0$, only $O(Q^{\varepsilon})$ rationals $r\in[0,1]$ of height at most $Q$ can satisfy simultaneously $[\mathbb{Q}(f(\theta+r)):\mathbb{Q}]\leq D$ and $H(f(\theta+r))\ll H(r)^t$. Consequently, if these bounds hold for every rational $r$ of sufficiently large height, then $f\in\overline{\mathbb{Q}}[z]$ and $\deg f\leq t$. As applications, we obtain rigidity results for entire functions taking rational or bounded-degree algebraic values with polynomially controlled arithmetic height. In particular, this excludes the polynomial-denominator scenario that arises naturally in connection with Mahler's problem on Liouville numbers. The proof combines Pila's bounded-degree counting theorem with standard height estimates and a simple geometric analysis of transcendental entire graphs.

On integers that are representable as the sum of two units

math.NT

Let $K$ be a number field of degree $D$ with maximal order $\mathcal{O}_K$. We show that under certain conditions on $K$, which in particular are always satisfied if $D$ is odd or if $D \geq 3$ and $K$ is primitive, the set of positive integers $N_K$ that can be expressed as a sum of two units in $\mathcal{O}_K^*$ is a finite effectively computable set. This result partially resolves an open problem posed by Tinkov\'{a}, Yatsyna, and the first author. We illustrate our method by explicitly computing $N_K$ for the smallest totally real quintic field $K$ with Galois group $S_5$.

On the residual Eisenstein cohomology of unitary groups

math.NT

We investigate the residual Eisenstein cohomology of an arbitrary unitary group $U(V)$ attached to an arbitrary quadratic extension of number fields $E/F$. Our focus lies on the contribution of the maximal parabolic $F$-subgroups of $U(V)$, for which we identify the cohomologically relevant poles of Eisenstein series and prove that the resulting residues all survive as non-trivial classes in automorphic cohomology in an explicit degree. To illustrate the range of phenomena involved, we study in detail the case of a unitary group over $F=\mathbb{Q}(\sqrt[3]{2})$ of $F$-rank $3$, for which we explicitly construct cuspidal automorphic representations, which satisfy all the assumptions of our main theorem and hence explicitly construct non-zero residual Eisenstein cohomology classes for this unitary group. The methods used in this construction are paradigmatic however, i.e., generalize to other unitary groups over other ground fields $F$ by the use of base change.

Simple and distinct zeros in a prime-modulus Dirichlet family at mesoscopic shrinking height

math.NT

Fix $0<\alpha<1$. Let $q$ tend to infinity through odd primes, put $Q=\log q$, and set $I=(Q^{-\alpha},2Q^{-\alpha}]$. Averaging without weights over the $q-2$ nonprincipal characters modulo $q$, let $\mathcal N_q$ be the number of nontrivial zeros in $I$, counted with multiplicity; let $\mathcal N^s_{0,q}$ and $\mathcal N^*_{0,q}$ count, respectively, simple and distinct critical-line zero points; and let $\mathcal N_{d,q}$ count all distinct zero points, without a location restriction. We prove unconditionally that \[ \mathcal N_q=\frac{q(\log q)^{1-\alpha}}{2\pi}\{1+o_\alpha(1)\}, \] \[ \liminf_{q\to\infty}\frac{\mathcal N^s_{0,q}}{\mathcal N_q} \ge C_{\mathrm{MT}},\qquad \liminf_{q\to\infty}\frac{\mathcal N^*_{0,q}}{\mathcal N_q} \ge C_{\mathrm{MT}},\qquad \liminf_{q\to\infty}\frac{\mathcal N_{d,q}}{\mathcal N_q} \ge C_d, \] where \[ C_{\mathrm{MT}}=\frac32-\frac1{\sqrt2}\cot\left(\frac1{\sqrt2}\right) =0.672500703679\ldots, \qquad C_d=\frac{1+C_{\mathrm{MT}}}{2}=0.836250351839\ldots . \] The physical height tends to zero, whereas $I$ contains $\asymp(\log q)^{1-\alpha}$ local mean spacings. The proof combines small-height counting and zero-density deletion with a finite smooth Gabor compression of Weil's Hermitian form. First and second matrix moments, together with an inertia-based rank--trace inequality, yield the three counting bounds. No form of the generalized Riemann hypothesis is assumed.

Superspecial Points on Shimura Curves

math.NT

Let $X$ be the Shimura curve attached to an indefinite quaternion $\mathbb{Q}$-algebra $B$ with a maximal order $O_B$. This paper investigates the reduction $X\otimes \mathbb{F}_p$ of $X$ modulo an arbitrary prime $p$, focusing particularly on its superspecial locus. We give an explicit criterion for the existence of superspecial $\mathbb{F}_q$-rational points on $X$. Furthermore, we compute both the number of geometric superspecial points and the number of $\mathbb{F}_p$-rational superspecial points, through the Eichler class number formula and the Selberg trace formula. As a key ingredient, we classify the Dieudonn\'e modules attached to superspecial $O_B$-abelian surfaces, which generalizes Ribet's classification of admissible quaternion bimodules of rank $2$ by dropping the admissible hypothesis. These results generalize Deuring's explicit formula for supersingular elliptic curves over $\mathbb{F}_p$ and give the Shimura-curve analogue of the Ibukiyama-Katsura formulas for principally polarized superspecial abelian surfaces over $\mathbb{F}_p$.

A dynamical generalization of Chowla's conjecture on average

math.NT

math.DS

Let $k\ge1$ be an integer and let $\lambda$ be the Liouville function. In 1965, Chowla gave a conjecture that the values of $\lambda(n+h_1),\dots, \lambda(n+h_k)$ are asymptotically unrelated for any distinct natural numbers $h_1, \dots, h_k$. In this article, motivated by the recent work of Bergelson and Richter on the dynamical generalizations of the prime number theorem, we will show a dynamical generalization of Chowla's conjecture on average. In the proof, we follow an approach of Qi and Zheng who established a variant of Bergelson and Richter's theorem over irreducible binary cubic forms. Moreover, we will use this approach to show an analogue of the dynamical Chowla's conjecture along the primes on average as well.

The multiplication table problem in large dimensions

math.NT

math.CO

For $N\geq 2$ and $k\geq 1$, let $M_k(N):=\#\{x_1\cdots x_k : x_i\in\{1,\ldots,N\}\text{ for all } i\}$ be the $k$-dimensional multiplication table. Given $N$, Khovanskii's theorem implies that $M_k(N)$ agrees, for all sufficiently large $k$, with a polynomial in $k$ of degree $\pi(N)$. We determine the asymptotic size of its leading coefficient, proving that, as $N\to\infty$, with $k$ sufficiently large relative to $N$, \[ M_k(N) = \exp\bigg((2\pi+o(1))\frac{\sqrt{N}}{\log N}\bigg)\frac{k^{\pi(N)}}{\pi(N)!}. \] We also study the analogous problem when the factors are restricted to $y$-smooth integers. For $y=o(\log N)$, we prove that the number of distinct products of $k$ such integers up to $N$ is asymptotic to the number of $y$-smooth integers up to $N^k$, uniformly for $k\geq 1$.

Oort's conjecture on supersingular abelian varieties in odd characteristic

math.NT

math.AG

Oort's conjecture asserts that for any $g \geq 2$ and any prime $p$, every geometric generic member in the supersingular locus $\mathcal{S}_g$ has automorphism group $\{ \pm 1 \}$. This has been proved very recently by Viehmann in full generality, with previously known counterexamples for $p=2$ and $g=2,3$. We construct, for any $g \geq 3$, a closed subvariety of dimension $g-1$ which contains an open dense subset $\mathcal{U}$ of $a$-invariant $g-2$ such that $\mathcal{U}$ meets every irreducible component of $\mathcal{S}_g$ and every geometric point in $\mathcal{U}$ has automorphism group $\{ \pm 1 \}$ if $p >2$. This gives an independent proof of Oort's conjecture for $p>2$. When $g>3$, so $a = g-2 > 1$, this provides complementary information to the $a=1$ locus investigated in Viehmann's work on how the automorphism groups interact with the geometry.

Subconvexity of Short $k$-Free Exponential Sums

math.NT

Let $S_k(\alpha;K)$ denote the exponential sum over $k$-free integers in the short interval $(N-K,N]$. For $s>0$, we prove essentially tight bounds on the $s$-th moments of $S_k(\alpha;K)$ whenever $K \gg N^{\theta_{k,s}+\epsilon}$ for some $\theta_{k,s}<1/2$. As an immediate consequence, we obtain a lower bound for the $L^1$-mean of the M\"obius-twisted exponential sum over short intervals of length at least $N^{0.49685}$. Moreover, we show that further improvements on all of these results would follow immediately from improvements to an $\ell^2$-estimate involving the M\"obius function.

Galois descents of certain multiple polylogarithms

math.NT

hep-th

We prove some conjectures of K. C. Au concerning the descents of cyclotomic levels in certain sums over multiple polylogarithms. Via answers to a question of Au in some particular cases, we also confirm Broadhurst's conjecture on honorary multiple zeta values at even weights.

M\"obius Covariance and Coefficient Duality: From Bernoulli Series to Enumerative Applications

math.CO

math.NT

A coefficient duality first encountered for formal Bernoulli series is shown to be equivalent to a general M\"obius covariance law for formal power series. We obtain a structural characterization, an eigenspace interpretation, and a weighted form of this duality. The Catalan convolution and Chebyshev identities from the motivating Bernoulli setting extend to arbitrary M\"obius-covariant families and yield a general Ramanujan-type summation formula encompassing consecutive half-integer powers. The framework also recovers classical Bernoulli and Euler recurrences and produces recurrence families for colored matchings and generalized central trinomial coefficients, with further realizations from reflection-symmetric Appell sequences and Gorenstein Hilbert series.

The equality between the Erd\H{o}s-Ginzburg-Ziv constant and the short product-one constant for finite nonabelian groups

math.CO

math.NT

Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erd\H{o}s-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $\eta(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erd\H{o}s-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=\eta(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erd\H{o}s-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.

A six-functor formalism for syntomic cohomology

math.AG

math.AT

math.KT

math.NT

We construct a six-functor formalism for syntomic cohomology of p-adic formal schemes. This, in particular, generalizes Poincar\'e duality to general smooth morphisms.

Degrees of Genus-Two Split-Jacobian Loci and Humbert-Form Reconstruction

math.AG

math.NT

Let $\mathcal{L}_n \subset \mathcal{M}_2$ be the locus of genus-two curves admitting a maximal degree-$n$ elliptic subcover, cut out in $\mathbb{P}(2,4,6,10)$ by an irreducible weighted-homogeneous polynomial $F_n \in \mathbb{Z}[J_2,J_4,J_6,J_{10}]$. Let $\nu(n)$ be the degree of $X_1(n) \to X(1)$, let $G_{n^2}$ be the Siegel modular form of level one with divisor the Humbert surface $H_{n^2}$, and let $k(H_{n^2})$ be its weight. We prove that the meromorphic Siegel modular form $F_n(\tau)$ obtained from $F_n$ has a pole of order exactly $\nu(n)$ along the product locus, that $\chi_{10}^{\nu(n)} F_n(\tau)$ is a constant multiple of $G_{n^2}$, and that $\deg_w F_n = k(H_{n^2}) - 10\nu(n)$ for every $n \geq 2$, even or odd. We determine the restriction of $G_{n^2}$ to the product locus as an explicit product of modular polynomials and, for $n \geq 3$, its leading Fourier-Jacobi coefficient as a product of theta functions over the torsion points of exact order $n$, and we characterize $G_{n^2}$, up to scalar, as the unique form of its weight vanishing on a single torsion divisor. These data convert the computation of $F_n$ from elimination into a linear problem of the size the formula prescribes, which we carry out for $n=5$.

Matrix group $\Lambda$-distributions

math.RT

math.AC

math.NT

math.PR

The $\Lambda$-distribution of a compact matrix group is an invariant in algebraic probability theory that was recently introduced to study zero distributions of function field $L$-functions. It is encoded by the $\sigma$-moment generating function, a generalization of the Molien series of classical invariant theory. In this work, we compute the $\sigma$-moment generating functions of finite matrix groups in many new cases. In particular, we compute the asymptotic $\Lambda$-distributions for the infinite families of Weyl reflection groups of types $B_n/C_n$ and $D_n$, complementing the previously known case of reflection groups of type $A_n$, i.e., symmetric groups. We also establish a general result relating the shapes of $\sigma$-moment generating functions to the distributions of associated classical random variables, explaining a previous ad hoc observation for independent Gaussians arising from traces of powers on compact classical groups.

An Explicit Ramsey Bound for de Polignac Numbers

math.NT

math.CO

v3

A number $ m $ is called a \textbf{de Polignac number}($ \mathbf{POL} $ in short) if it can be expressed as the difference of infinitely many pairs of consecutive prime numbers. For any given $r\in \mathbb N,$ a set $A$ is said to be $\Delta_r^\star$ if for all sets $S$ with $|S|=r$ such that $A\cap \{s-t:s>t\in S\}\neq \emptyset.$ In this article we prove that the set $\mathbf{POL}$ is $\Delta_r^\star$ with the specific computable value of $r,$ where $r=exp(\mathcal{O}(50)).$ Then we prove that there exists a set $E$ with $|E|\leq 2^{50\cdot \prod_{i=1}^{49}p_i} $ (where $(p_i)_i$ is the enumeration of primes) such that $\mathbb{N}=\bigcup_{t\in E} t^{-1}\mathbf{POL}.$

On the Density of Low Lying Zeros of a Large Family of Automorphic $L$-functions

math.NT

v3

Under the generalized Riemann Hypothesis (GRH), Baluyot, Chandee, and Li nearly doubled the range in which the density of low lying zeros predicted by Katz and Sarnak is known to hold for a large family of automorphic $L$-functions with orthogonal symmetry. We generalize their main techniques to the study of higher centered moments of the one-level density of this family, leading to better results on the behavior near the central point. Numerous technical obstructions emerge that are not present in the one-level density. Averaging over the level of the forms and assuming GRH, we prove the density predicted by Katz and Sarnak holds for the $n$-th centered moments for test functions whose Fourier transform is compactly supported in $(-\sigma, \sigma)$ for $\sigma~=~\min\left\{3/2(n-1), 4/(2n-\mathbf{1}_{2\nmid n})\right\}$. For $n=3$, our results improve the previously best known $\sigma=2/3$ to $\sigma=3/4$. We also prove the two-level density agrees with the Katz-Sarnak density conjecture for test functions whose Fourier transform is compactly supported in $\sigma_1 = 3/2$ and $\sigma_2 = 5/6$, respectively, extending the previous best known sum of supports $\sigma_1 + \sigma_2 = 2$. This work is the first evidence of an interesting new phenomenon: by taking different test functions, we are able to extend the range in which the Katz-Sarnak density predictions hold. The techniques we develop can be applied to understanding quantities related to this family containing sums over multiple primes.

The distribution of the maximum of cubic character sums

math.NT

v2

For a primitive Dirichlet character $\chi\pmod q$ we let \[M(\chi):= \frac{1}{\sqrt{q}}\max_{1\leq t \leq q} \Big|\sum_{n \leq t} \chi(n) \Big|.\] In this paper, we investigate the distribution of $M(\chi)$, as $\chi$ ranges over primitive cubic characters $\chi\pmod q$ with $(q,3)=1$ and $q\leq Q$. Our first result gives an estimate for the proportion of such characters for which $M(\chi)>V$, in a uniform range of $V$, which is best possible under the assumption of the Generalized Riemann Hypothesis. In particular, we show that the distribution of large cubic character sums behaves very differently from those in the family of non-principal characters modulo a large prime, and the family of quadratic characters. We also investigate the location of the number $N_{\chi}$ where the maximum of $|\sum_{n\leq N} \chi(n)|$ is attained, and show the surprising result that for almost all primitive cubic characters $\chi\pmod q$ with $M(\chi)>V$, $N_{\chi}/q$ is very close to a reduced fraction with a large denominator of size $(\log V)^{1/2+o(1)}$. This contradicts the common belief that for an even character $\chi$, $N_{\chi}/q$ is located near a rational of small denominator and gives a striking difference with the case of even characters in the other two families mentioned above, for which $N_{\chi}/q\approx 1/3$ or $2/3$ for almost all even $\chi$. Furthermore, in the case of cubic characters, the works of Granville-Soundararajan, Goldmakher, and Lamzouri-Mangerel show that if $M(\chi)$ is large, then $\chi$ pretends to be $\xi(n)n^{it}$ for some small $t$, where $\xi$ is an odd character of small conductor $m$. We show that for almost all such characters, we have $M(\chi)=m^{-1/2+o(1)}\big|L(1+it, \chi\overline{\xi})\big|.$

Asymptotic independence of $\Omega(n)$ and $\Omega(n+1)$ along logarithmic averages

math.NT

v3

Let $\Omega(n)$ denote the number of prime factors of a positive integer $n$ counted with multiplicities. We show that for any bounded functions $a,b\colon\mathbb{N}\to\mathbb{C}$, $$\frac{1}{\log{N}}\sum_{n=1}^N \frac{a(\Omega(n))b(\Omega(n+1))}{n} = \Bigg(\frac{1}{N}\sum_{n=1}^N a(\Omega(n))\Bigg)\Bigg(\frac{1}{N}\sum_{n=1}^N b(\Omega(n))\Bigg) + \mathrm{o}_{N\to\infty}(1).$$ This generalizes a theorem of Tao on the logarithmically averaged two-point correlation Chowla conjecture. Our result is quantitative and the explicit error term that we obtain establishes double-logarithmic savings. As an application, we obtain new results about the distribution of $\Omega(p+1)$ as $p$ ranges over $\ell$-almost primes for a "typical" value of $\ell$.

Almost primes and primes that are sums of two squares plus 1

math.NT

v3

In this paper, we obtain a lower bound for the number of primes $p\leq x$ such that $p-1$ is a sum of two squares and $p+2$ has a bounded number of prime factors. The proof uses the vector sieve framework, involving a semi-linear sieve and a linear sieve.

On two Romanoff type problems of Erd\H{o}s

math.NT

v4

Let $\mathcal{P}$ denote the set of primes. Erd\H{o}s and Kalm\'ar asked whether, for every real number $y>1$, the set $$ \mathcal{S}_y=\{p+\lfloor{y^k\rfloor}\colon p\in\mathcal{P},\ k\in\mathbb{N}\} $$ has positive lower asymptotic density. We prove this for Lebesgue almost all $y>1$. More precisely, if $$ \delta_y=\liminf_{N\to\infty}\frac{|\mathcal{S}_y\cap[1,N]|}{N}, $$ then $$ \delta_y\ge \frac{1}{\log y+9C_0/\pi^2}, $$ where $C_0$ is the absolute constant defined in (2.1). The order $1/\log y$ is best possible as $y\to\infty$. We also prove exact asymptotic formulas for the Romanoff sieve weight over the pairwise differences of $\lfloor{y^k\rfloor}$, both without restriction and over even differences. For the golden ratio $\varphi=(1+\sqrt5)/2$, we show that $$ \#\Bigl\{n\le x\colon n\notin \mathcal{P}+\bigl\{\lfloor{\varphi^k\rfloor}\colon k\ge1\bigr\}\Bigr\} \ge \frac{x}{1938}-O(\log x). $$ We then consider a squarefree analogue of a problem of Erd\H{o}s. He asked whether every sufficiently large odd integer is the sum of a squarefree integer and a power of two. We prove that, for Lebesgue almost all real numbers $a>1$ and every $\varepsilon>0$, $$ \#\Bigl\{n\le x\colon n\notin \mathcal{Q}+\bigl\{\lfloor{a^m\rfloor}\colon m\ge1\bigr\}\Bigr\} \ll_{a,\varepsilon} \frac{x(\log\log x)^{1+\varepsilon}}{\sqrt{\log x}}, $$ where $\mathcal{Q}$ is the set of positive squarefree integers.

Greedy Regular Convolutions

math.NT

v4

We introduce a class of convolutions on arithmetical functions that are regular in the sense of of Narkiewicz, homogeneous in the sense of Burnett et al, and bounded, in the sense that there exists a common finite bound for the rank of primitive numbers. Among these "greedy convolutions" the unitary convolution and the "ternary convolution" are particularly interesting: they are the only regular, homogeneous convolutions where each primitive number have the same finite rank. While the greedy convolution of length 3, also described in detail, has primitive numbers of rank 3 and rank 1, it is still special in that the set of primitives can be generated by a simple recursive procedure that we name selective sifting.

Local solubility in generalised Ch\^atelet varieties

math.NT

v3

We obtain asymptotic formulas for averages of general multivariate arithmetic functions evaluated at polynomial arguments using recent work of Rydin Myerson and Rome-Yamagishi. We give several applications of our results in analytic number theory and arithmetic geometry. For example, we improve on the number of variables needed to prove the Hasse principle for certain polynomial systems, and we count the number of fibers with a rational point in families of high-dimensional Ch\^atelet varieties, allowing for arbitrarily large subordinate Brauer groups.

Mordell--Lang and disparate Selmer ranks of odd twists of some superelliptic curves over global function fields

math.NT

v3

Fix a prime number $\ell \geq 5$. Let $K = \mathbb{F}_q(t)$ be a global function field of characteristic $p$ coprime to $2,3$, and $q \equiv 1 \text{ mod } \ell$. Let $C:y^\ell = F(x)$ be a non-isotrivial superelliptic curve over $K$ such that $F$ is a degree $3$ polynomial over $\mathbb{F}_q(t)$. Denote by $C_f: fy^\ell = F(x)$ the twist of $C$ by a polynomial $f$ over $\mathbb{F}_q$. Assuming some conditions on $C$, we show that the expected number of $K$-rational points of $C_f$ is bounded, and at least $99\%$ of such curves $C_f$ have at most $(3p)^{4\ell} \cdot \ell!$ many $K$-rational points, as $f$ ranges over the set of polynomials of sufficiently large degree over $\mathbb{F}_q$. To achieve this, we compute the distribution of dimensions of $1-\zeta_\ell$ Selmer groups of Jacobians of such superelliptic curves. This is done by generalizing the technique of constructing a governing Markov operator, as developed from previous studies by Swinnerton-Dyer, Klagsbrun--Mazur--Rubin, Yu, and the author.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 2: bounds towards the Ramanujan conjecture

math.NT

math.RT

v3

We continue generalizing Altu\u{g}'s work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the unramified setting for \emph{Beyond Endoscopy} to the ramified case where ramification occurs at $S=\{\infty,q_1,\dots,q_r\}$ with $2\in S$, after generalizing the first step. We establish a new proof of the $1/4$ bound towards the Ramanujan conjecture for the trace of the cuspidal part in the ramified case, which is also provided by adapting Altu\u{g}'s original approach. The proof proceeds in three stages: First, we estimate the contributions from the non-elliptic parts of the trace formula. Then, we apply the main result from our the previous work to isolate the $1$-dimensional representations within the elliptic part. Finally, we employ technical analytic estimates to bound the remainder terms in the elliptic part.

On Averages of Shifted Convolutions with Applications to $GL(2)$ and $GL(3)$ Fourier Coefficients

math.NT

v2

In this paper, we study the average shifted sum for general arithmetic functions. As an application, we prove non-trivial upper bounds for a sharp cut-off version of shifted convolutions involving $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$ Fourier coefficients. We apply square-root cancellation on average over short intervals for $GL(2)$ Fourier coefficients with the standard Hardy-Littlewood circle method.

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

math.NT

math.AG

v3

We define and study a biadditive symmetric (not necessarily perfect) pairing on the torsion part $\mathrm{Pic}(X)_{\mathrm{tors}}$ of the Picard group of a smooth projective curve $X$ over a field $k$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$. We call its kernel the intrinsic subgroup of $X$. It turns out that some information on the reduction type of $X$ can be read off from the intrinsic subgroup. Mazur's torsion theorem says that there are exactly 15 isomorphism classes of abelian groups that appear as the rational torsion points of an elliptic curve $X$ over $\mathbb{Q}$ (identified with $\mathrm{Pic}(X)_{\mathrm{tors}}$). We refine this result by determining which subgroups of those 15 groups appear as the intrinsic subgroups.

Quantitative Equidistribution on Hyperbolic Surfaces and Arithmetic Applications

math.NT

v2

The Wasserstein distance quantifies the distance between two probability measures on a metric space. We prove an analogue of the Berry-Esseen inequality for the Wasserstein distance on a finite area hyperbolic surface. This inequality controls the Wasserstein distance via an average of Weyl sums, which are integrals of Maass cusp forms and Eisenstein series with respect to these probability measures. As applications, we prove upper bounds for the Wasserstein distance for some equidistribution problems on the modular surface $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathbb{H}$, namely Duke's theorems on the equidistribution of Heegner points and of closed geodesics and Watson's theorem on the mass equidistribution of Hecke-Maass cusp forms conditionally under the assumption of the generalised Lindelof hypothesis.

Settled Elements in Arboreal Galois Groups of Quadratic PCF Polynomials

math.NT

math.GR

v2

Let $f(x) \in K(x)$ be a quadratic polynomial where $K$ is a field of characteristic not equal to $2$. The associated arboreal Galois representation of the absolute Galois group of $K$ acts on a regular rooted binary tree. Boston and Jones conjectured that, for $f \in \mathbb{Z}[x]$, the image of this representation contains a dense set of settled elements. Roughly speaking, a cycle of an automorphism $\tau$ of the tree is called stable if its length strictly increases at each subsequent level, and $\tau$ is called settled if the proportion of vertices contained in stable cycles goes to $1$ as the level goes to infinity. In this article, we prove that the arithmetic iterated monodromy groups of postcritically finite quadratic polynomials in $K[x]$ with periodic postcritical orbits are densely settled. In the number field case, by a result of Benedetto--Ghioca--Juul--Tucker \cite{BGJT2025s}, it follows that for infinitely many $a \in K$, the associated arboreal Galois representations are densely settled. In particular, our results apply to the arithmetic IMG of the Basilica map $f(x)=x^2-1$.

Planes in quadratic 4-space and associated shapes of lattices

math.NT

v2

Let $Q=-x_1^2-x_2^2-x_3^2+x_4^2$ be the standard signature $(1,3)$ quadratic form. To each non-degenerate rational plane $L$ in the four-dimensional quadratic space $(\mathbb{Q}^4,Q)$ we can naturally attach a periodic geodesic on the Bianchi orbifold $\mathrm{SL}_2(\mathbb{Z}[i])\backslash \mathbb{H}^3$ which records the position of $L$ in the Grassmannian up to integer rotations. Moreover, each such plane $L$ defines a CM point and a periodic geodesic on the modular curve through restriction of $Q$ to $L$ and its orthogonal complement. Lastly, the local isomorphism between $\mathrm{SO}_{1,3}(\mathbb{R})$ and $\mathrm{SL}_2(\mathbb{C})$ gives rise to a further periodic geodesic on the Bianchi orbifold. In this article, we exhibit a natural coupling of all the above objects and prove simultaneous equidistribution under a Linnik-type splitting condition. The main ingredient is the classification of joinings of higher-rank diagonalizable actions on homogeneous spaces due to Einsiedler and Lindenstrauss.

Weil's quadratic form via the screw function

math.NT

math.FA

v2

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

Secondary terms for first moments of Selmer groups of twists of elliptic curves over global function fields

math.NT

math.PR

v2

Let $E$ be a non-isotrivial elliptic curve over a global function field $\mathbb{F}_q(t)$ of characteristic coprime to $2$ and $3$. Under some explicit conditions, we determine the secondary terms for the first moments of prime Selmer groups of cyclic prime twist families of $E$ over $\mathbb{F}_q(t)$.

An Average-Order Theorem for a Shifted Pairwise-Coprime Extremal Problem

math.NT

math.CO

v2

For $n\ge 2$, let $M(n)$ be the supremum of $\sum_{a\in A}1/(n-a)$ over pairwise coprime sets $A\subset[1,n)$. Erd\H{o}s asked whether $M(n)\le \sum_{pd\}$ with a bounded-cost dual certificate and Buchstab--de Bruijn estimates. We also show $M(n)=(e^{-\gamma}+o(1))\log\log n$ for almost all $n$, with a quantitative exceptional-set bound, so Erd\H{o}s's inequality holds for almost all $n$. The argument combines a long-interval two-dimensional beta sieve for two moving forbidden residue classes with an exact finite singular-series cancellation. The remaining obstacles to a full variance estimate are a shifted-prime second moment for $d>\sqrt{2N}$ and finite-$u$ rough correlations in the intermediate tail, yielding a precise conditional criterion. For every $\varepsilon>0$ we also prove the uniform pointwise bound $M(n)\le(2+\varepsilon)\log\log n+O_{\varepsilon}(1)$ and explain the linear-sieve barrier at the constant $2$. The results of this paper have been formally verified in Lean.

An Efficient Algorithm for Estimating Prime Counts

math.NT

v2

We develop the Samojluk--Siemaszko (S--S) estimator for the prime-counting function $\pi(x)$ using a non-uniform partition generated by generalized triangular numbers. A cold-start evaluation uses $\big O(\sqrt{x})$ local terms, whereas consecutive partition nodes can be processed with amortized $\big O(1)$ update cost. Updated computations up to $10^{19}$, performed with the correction coefficient $c_T=0.7071$, show accuracy comparable with the Riemann approximation $R(x)$; the two estimators are also asymptotically equivalent at the level of their main term. The correction is written as a one-parameter family $S_{\ell,c}(x)$. Finite-range experiments indicate that effective coefficients lie near $0.7$. We prove asymptotic formulas for the natural scale $q_\ell(x)$ and the accumulated discretization error $D_\ell(x)$, obtaining an unconditional transfer relation between the normalized S--S error and the classical normalized prime-number-theorem error. Together with the logarithmic-mean theorem under RH, this identifies the exact coefficient $c_{\mathrm{th}}=1/\sqrt2$ as uniquely asymptotically optimal in the logarithmic-mean centering sense. The converse implication is quoted from a companion manuscript in preparation.

Construction of Generically Ordinary Families of Hyperelliptic Curves

math.NT

math.AG

v2

Katz conjectured in a 2018 lecture that the family of curves $y^2=x^d-dx+t$ over the $t$-line is generically ordinary for all sufficiently large primes $p$. We prove that, for every $g\ge 2$ and every nonzero algebraic integer $\alpha$, the genus-$g$ families $C_\alpha: y^2=x^d+\alpha x+t$ where $d\in\{2g+1, 2g+2\}$ are generically ordinary at every prime $p>P^+(d)$, provided that $\alpha$ is nonzero modulo every prime above $p$. The bound $P^+(d)=d^2-4d+2$ if $d$ is odd, and $P^+(d)=(d^2-3d+2)/2$ if $d$ is even.

Ramanujan-type identities for alternating Hurwitz zeta functions

math.NT

math.CA

v2

Around 1910, in an unpublished manuscript, Ramanujan proposed the following identity for $\zeta(2n+1)$: \[ \begin{aligned} \alpha^{-n}\,&\left\{\dfrac{1}{2}\,\zeta(2n + 1) + \sum_{m = 1}^{\infty}\dfrac{m^{-2n - 1}}{e^{2\alpha m} - 1}\right\} \\ &\quad\quad\quad\quad\quad\quad\quad-(-\beta)^{-n}\,\left\{\dfrac{1}{2}\,\zeta(2n + 1) + \sum_{m = 1}^{\infty}\dfrac{m^{-2n - 1}}{e^{2\beta m} - 1}\right\}\\ &=2^{2n}\sum_{k = 0}^{n + 1}\dfrac{(-1)^{k-1}B_{2k}\,B_{2n - 2k + 2}}{(2k)!(2n - 2k + 2)!}\,\alpha^{n - k + 1}\beta^k, \end{aligned} \] where $\alpha$, $\beta$ are positive numbers satisfying $\alpha\beta=\pi^2,n\in\mathbb{N},$ $B_n$ denotes the $n$-th Bernoulli number and $\zeta(z)$ is the Riemann zeta function. As shown by Berndt in the viewpoint of general transformation of analytic Eisenstein series, it is a natural companion of Euler's famous formula for even zeta values. In this paper, we extend Ramanujan's identity to the alternating Hurwitz zeta function. Then we systematically investigate the properties of the alternating Hurwitz zeta function $\zeta_E(z,x)$, as well as the corresponding Ramanujan-type identities, under different modular symmetry conditions. We also establish infinite series expressions for products of the tangent and hyperbolic tangent functions, and express the Dirichlet lambda function $\lambda(z)$ together with linear combinations of infinite series as convolution sums of special sequences. Furthermore, we define alternating Hurwitz kernels of even and odd orders, and obtain Ramanujan-type identities involving the alternating digamma function $\widetilde{\psi}(x)$ and Euler polynomials $E_n(x)$, as well as transformation formulas between even-order and odd-order alternating Hurwitz kernels.

A New Characteristic-Uniform Model for Elliptic Curves -- Theory, Arithmetic, and Applications

math.NT

cs.CR

v5

We develop a characteristic-uniform arithmetic theory for \[ \mathcal C_d:\quad (u^2+u)(v^2+v)=d. \] For \(d(1-16d)\ne0\), its smooth \((2,2)\)-completion has four rational boundary points forming \(\mathbb Z/4\mathbb Z\), an intrinsic \(D_8\)-action, the inverse \(-(u,v)=(u,-v-1)\), and the native Kummer map \(\kappa_d(u,v)=(u+1)\). Working natively, we derive complete full-point and differential laws, Kummer ladders and recovery, halving, tripling, \(2P+Q\), division polynomials, isogenies, CM endomorphisms, and pairings, with dedicated formulas in characteristics two and three. Classical models provide proof and optimization dictionaries while all endpoints remain native. For Cd25519, the Kummer line is exactly the X25519 line, and a native Segre recoding realizes the optimized complete \(a=-1\) Edwards full-point dependency graph. We further study \[ \begin{gathered} \mathcal C_{a,b,d}:(u^2+u+a)(v^2+v+b)=d,\quad \mathcal T_{a,d}:(u^2+u+a)(v^2+v)=d,\\ \mathcal R_{\tau,\sigma,\kappa}:(x^2-\tau)(y^2-\sigma)=\kappa xy,\quad \mathcal Q_{\alpha,\beta,\gamma}:x^2y^2+\alpha(x^2+y^2)+\beta xy+\gamma=0. \end{gathered} \] For these product, one-sided twisted, reciprocal, and QRT families, we determine their genus-one geometry, finite-field forms, arithmetic, and isogenies. On each smooth QRT fibre, the Vieta--McMillan map is a fixed elliptic translation. Marking \(D\) gives the state \(P\mapsto(\kappa(P),\kappa(P+D))\), with maps realizing \(n\mapsto mn+r\). This yields logarithmic ladders and an elliptic Lucas calculus with nonlinear addition, fast-index doubling, state-division polynomials, and bridges to elliptic divisibility sequences, sigma functions, and elliptic nets. In characteristic two, every ordinary pointed elliptic curve over a perfect field admits the binary state model. We further develop the \(\mathcal C_d\) platform for isogeny-based cryptography.

Periods of E-operators

math.NT

v2

We define an enlargement of the class of exponential periods by applying the rapid decay cohomology theory of Hien to a larger class of integrable connections on varieties than those twisted by a regular function. The main and motivating examples are given by those associated to $E$-operators. This delivers a method to realise a class of absolutely convergent integrals involving $E$-functions as matrix elements of a period pairing, which we call $E$-periods. Furthermore, we generalise rapid decay cohomology to singular varieties and prove a version of Nori's basic lemma in this setting.

Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

math.NT

math.RT

v2

We prove a Plancherel formula for a family of affine $\Psi$-bundles. As an application, we construct Fourier transforms and asymptotic Schwartz spaces for the family. We then prove the corresponding Poisson summation formula under suitable assumptions. The choice of affine $\Psi$-bundles we consider is motivated by applications to triple product $L$-functions explored in another paper of the authors and Leslie.

Equalities among simplest quartic fields: a complete classification

math.NT

v2

For a positive integer $n$, let $f_n(X)=X^4-nX^3-6X^2+nX+1$ and let $K_n=\mathbb{Q}(\rho_n)$, where $\rho_n$ is a root of $f_n$. We determine all coincidences among these fields: for distinct positive integers $m,n$, $K_m=K_n \Longleftrightarrow \{m,n\}\in\{\{1,103\},\{2,22\},\{4,956\}\}$. Thus the three previously known equalities are the only ones. This extends Hoshi's finite-range classification to all positive integral parameters and, in particular, subsumes the uniqueness results of Pincus and Washington. The proof combines Hoshi's correspondence between equal simplest quartic fields and primitive solutions of a quartic Thue equation with estimates of Lettl--Peth\H{o}--Voutier for rational approximations to two of its real roots. A Gaussian-integer identity yields a lower bound for the denominator of the resulting rational approximation; the continued-fraction information and the approximation estimates then exclude every parameter exceeding $1000$.

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

math.NT

v2

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

On the Existence of Hyperelliptic Curves over $\mathbb{Q}(T)$ with Certain Jacobian Ranks

math.NT

math.AG

v2

Let $y^2 = f(x,T)$ be a hyperelliptic curve of genus $g\geq 1$, defined over $\mathbb{Q}(T)$. We prove the existence of infinitely many imaginary hyperelliptic curves with a fixed genus $g$ having a certain rank for $5\leq r\leq 4g+2$, and a similar result for real hyperelliptic curves with a fixed genus $g$ having a certain rank for $6\leq r\leq 4g+4$. We begin by constructing such curves and prove the rank using two methods. First, we apply the generalized Nagao's conjecture, which relates the first moment and the rank of the Jacobian variety $J_\mathcal{X}(\mathbb{Q}(T))$, and that the conjecture holds for our curves, making the result unconditional. Furthermore, we explicitly construct rational points in the Mordell-Weil group and use Shioda-Tate to prove that the rank is equal to $r$.

Spectral Tile Direction in the Group $\mathbb{Z}_{p^2} \times \mathbb{Z}_{q^2} \times \mathbb{Z}_r$

math.CA

math.GR

math.NT

v4

Let $p$, $q$, and $r$ be distinct primes such that $p^2q^2

The period map from commutative to noncommutative deformations

math.AG

math.AT

math.NT

v2

We study the period map from infinitesimal deformations of a qcqs derived scheme $X$ over a field $k$ to those of the associated $k$-linear $\infty$-category $\mathrm{QC}(X)$. We identify the corresponding map on tangent fibres with the dual HKR map $\mathrm{R}\Gamma(X, \mathbf{T}_{X/k})[1] \longrightarrow \mathrm{HH}^{\bullet}(X/k)[2]$ and study its injectivity on homotopy groups. As applications, we show liftability of qcqs schemes along square-zero extensions to be a derived invariant, at least when $\mathrm{char}(k) \ne 2$, and exhibit cases where the entire classical deformation functor of $X$ is a derived invariant; this partially answers a question of Lieblich.

The distribution of the de Moivre experiment

math.PR

math.NT

v2

In this paper, we focus on the de Moivre random experiment, which allows us to introduce the $s$-Bernoulli distribution and the bi$^{s}$nomial distribution. We present some probabilistic properties such as the expectation, the variance, the skewness and kurtosis coefficients, the moments, the cumulants and the generating functions; the moments are expressed through extended Eulerian numbers and partial Bell polynomials, and the cumulants through logarithmic polynomials. Then we establish that, for an integer $s\geq 2$, the bi$^{s}$nomial distribution converges to a Poisson limiting distribution when the expectations converge, and that, for fixed parameters with $p\neq q$, it satisfies a central limit theorem as $n\rightarrow\infty$.

Small Matrices with Large Inverses: Unimodular $4 \times 4$ Cases

math.CO

cs.DM

math.NT

v4

How close to singularity can an $n \times n$ unimodular matrix be? For ternary cases as $n$ increases, exact expressions are unlikely, but upon fixing $n=4$ and assessing $(2k+1)$-ary cases as $k$ increases, we make significant progress; similarly for $(k+1)$-ary cases of $4\times 4$ nonnegative unimodular matrices.

Iterate Wronskians over $\mathbb{R}^d$ as $N$-ary brackets on $\mathbb{R}[x^1,\ldots,x^d]$: the $N$-bonacci numbers bound the highest total degrees

math.RA

math-ph

math.CO

math.MP

math.NT

math.QA

v2

For the algebra $\mathbb{R}[x^1,\ldots,x^d]$ of polynomials in $d\geqslant 1$ variables, regard the complete generalised Wronskian $W_d^k$ of differential order $k\geqslant 1$ over $\mathbb{R}^d$ as the $N=\tbinom{d+k}{d}$-ary Lie bracket. Take an $N$-tuple of polynomials, calculate their Wronskian, and keep re-using the newly-created polynomials to produce more of them. The problem is: how fast do their maximal total degrees grow with the number $n$ of iterations of the bracket? Here enter the $N$-bonacci numbers defined by the recurrence $F^{(N)}_n=F^{(N)}_{n-1}+\cdots+F^{(N)}_{n-N}\in \mathbb{N}$. We prove that for any choice of the initial arguments, the sequence of highest total degrees ${\mathsf{D}}^{(N)}_n \geqslant 0$ grows (if at all) asymptotically no faster than the $n$th $N$-bonacci number: $\lim_{n\to+\infty} ({\mathsf{D}}^{(N)}_n/F^{(N)}_n )<\infty$. We show that for $d=1$ and $k$ odd, the highest polynomial degrees do attain the $N$-bonacci bound. Keywords: Differential polynomial, $N$-ary Lie bracket, multivariate Wronskian determinant, Fibonacci numbers, $N$-bonacci numbers, asymptotic growth rate, growth of polynomial degrees, Skolem--Pisot problem.

Mutation-preserving generalized cluster algebras and Laurent mutation invariants

math.RA

math.AC

math.NT

v2

We introduce mutation-preserving generalized cluster algebras, for which the generalized cluster mutation in each direction is independent of the seed in the mutation equivalence class. We classify all irreducible generalized cluster algebras with this property. Then, a Markov-type Diophantine equation $x^2+y^2+z^2+2yz=kxyz$ is studied, which has a structure of the mutation-preserving generalized cluster algebra. We prove that positive integer solutions exist if and only if $1\leq k\leq 5$ and determine all their orbits under the associated generalized cluster mutation groups. In particular, multiple orbits occur for each $k=1,3$, whereas the solutions form a single orbit for each $ k=2,4,5$. We then classify all generalized Markov Laurent mutation invariants. As an application, a conjecture proposed by Chen-Li is proved, showing that every Laurent mutation invariant of irreducible sign-equivalent cluster algebras is essentially a polynomial in the corresponding basic invariant.

On The Spectral Properties of Discrete Landscape Functions

math.DS

math.NT

v2

We study the landscape function on a discretized interval. The discrete landscape has an explicit closed form, and its spectral coefficients can be computed exactly. We show that these coefficients lie in explicit abelian extensions of $\mathbb{Q}$, and obtain the bound $[\mathbb{Q}(c_k(N)):\mathbb{Q}]\leq\varphi(N)$ for every odd $k$. For the first coefficient, exact computation for $3\leq N\leq 30$ gives the full degree $\varphi(N)$ in every case, motivating the Chandra--Jain conjecture that $[\mathbb{Q}(c_1(N)):\mathbb{Q}]=\varphi(N)$ for all $N\geq 3$. We then reduce the higher modes to the coprime case and discuss the remaining degree question. We also discuss connections with parity, the Arnold cat map, and Lefschetz numbers. The Chandra--Jain conjecture has since been proved by Q. Zhou (Zenodo, doi:10.5281/zenodo.21935814).