Number Theory [math.NT]

A non-abelian large sieve and Artin's primitive root conjecture

math.NT

A well-known conjecture of Artin states that if $a$ is an integer not equal to $0, \pm 1$ or a perfect square, then there exist infinitely many primes $p$ such that $a$ is a primitive root $(\text{ mod } p)$. In this article, we study a generalization of the classical (abelian) large sieve inequality in non-abelian settings. Assuming the non-abelian large sieve inequality, we provide a proof of Artin's primitive root conjecture. Further, using duality techniques, we derive unconditional results towards the conjectured non-abelian large sieve inequality.

Rational Points and Brownian Motion

math.NT

math.CA

math.FA

math.PR

Given a real-valued function $f$, let $\mathcal{N}_f(\delta, Q)$ be the number of rational points with denominators at most $Q\ge 1$ in the $(\delta/Q)$-tubular neighbourhood of the graph of the function $f$. A heuristic predicts that the number of such points grows like the area of the neighbourhood provided that $\delta$ is big enough (in a suitable sense). Considerable efforts have been committed to prove this heuristic for regular curves. This culminated in the works by Vaughan \& Velani~(2006) and by Huang~(2015) establishing an asymptotic expansion for $\mathcal{N}_f(\delta, Q)$ provided that $\delta\gg Q^{-1+\epsilon}$ for some $\epsilon>0$ when the map $f$ is, among other assumptions, twice continuously differentiable. The present work deals with the thus-far unexplored regime where minimal regularity conditions are imposed on the curve. More precisely, it is concerned with the case where the map $f$ is an a.s. realisation of the graph of Brownian motion. The main result establishes the existence of an almost sure asymptotic expansion for the counting function for all values of $\delta$, with the exception of a critical regime, thereby going well beyond the theory currently available for regular curves. A key ingredient in the proof is the derivation of the area heuristic, which relies on establishing the a.s. asymptotics of the area of the tubular neighbourhood of the graph of Brownian motion. This result has two main consequences: firstly, it completes the counting aspect of the theory of Diophantine approximation on the graph of Brownian motion initiated by Sprind\v{z}uk (1979). Secondly, it hints at the existence of a theory unifying the analysis of rational points near a curve on the one hand and, on the other, its local H\"older regularity and fine-scale oscillations. It thus builds a seemingly new bridge between Number Theory and Multifractal Analysis.

Dense ascending waves: A resolution of the Alon-Spencer conjecture

math.NT

For a positive integer $n$, write $[n]=\{1,\ldots,n\}$. A strictly increasing sequence of integers $x_1<\cdots

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

math.NT

math.LO

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.

Positive Logarithmic Hausdorff Measures of Exceptional Sets for the $p$-adic and $t$-adic Littlewood Conjectures

math.NT

math.DS

We prove that if the exceptional set $E_p$ for the $p$-adic Littlewood conjecture is non-empty, then its logarithmic Hausdorff dimension is at least one. More precisely, whenever $E_p$ is non-empty, it has positive Hausdorff measure with respect to the gauge function $ h(r)=\frac{1}{\log(1/r)}. $ In particular, every non-empty $E_p$ has the cardinality of the continuum. We obtain stronger conclusions for the $t$-adic Littlewood conjecture over a finite field $\mathbb F_q$. For every prime power $q$, non-emptiness of the exceptional set $E_q^{(t)}$ implies that its $1/\log(1/r)$-Hausdorff measure is infinite. Moreover, when $q$ is odd, we refine the recent construction of Lai and Sprang~\cite{LaiSprang2026} and prove that \[ \mathcal H^{h_{A_q}}(E_q^{(t)})=\infty, \] where \[ h_{A_q}(r)=\frac{1}{(\log(1/r))^{A_q}}, \qquad A_q=\frac{q-1}{2}\log_2(q-1). \] In characteristic two, the corresponding conclusion with exponent one remains conditional on the existence of a counterexample.

General Stirling-Ramanujan Constants are exponential periods and applications

math.NT

math-ph

math.CV

math.MP

For $n\geq 0$, Stirling-Ramanujan constants $S_n$ are the Ramanujan summation of the divergent series $\sum_{k\geq 1} k^n\log k$. These constants are exponential periods over the base field $\mathbb{Q}(t,e^{-t})$. We generalize this result to a broad class of General Stirling-Ramanujan constants. Given polynomials $P$ and $Q$, with $\Re Q(s)>0$ for $\Re s >0$, the constant $S(P,Q)$ is the Ramanujan summation of the series $\sum_{k\geq 1} P(k)\log Q(k)$. They are exponential periods over the base field $\mathbb{K}_P((\omega)) (t,e^{-t}, (e^{-\omega t}))$ where $\mathbb{K}_P$ is the field of definition of $P$ and $(\omega)$ are the zeros of $Q$. These constants are related to the derivatives $\zeta'_H(-n,w)$ of Hurwitz zeta function at negative integers, which we prove are exponential periods over the base field $\mathbb{Q}\left(t,e^{-t}, w,e^{-wt}\right)$. They can be expressed using Bendersky Gamma functions $\hat \Gamma_n$ and the values $\log \hat \Gamma_n(w)$ for $\Re w >0$ are exponential periods over the base field $\mathbb{Q}\left(t,e^{-t}, w,e^{-wt}\right)$. The logarithms of the zeta-regularized determinants of the Laplacian on spheres are exponential periods in the base field $\mathbb Q (t,e^{-t})$. The values $\zeta(2n+1)/\pi^{2n}$ are exponential periods in the base field $\mathbb Q(t,e^{-t})$. For a periodic function $\chi:\mathbb{Z}\to \mathbb{C}$, we extend Ramanujan summation to the twisted series $\sum_{k\geq 1} \chi(k) P(k)\log Q(k)$ and define General Twisted Stirling-Ramanujan constants $S_{\chi}(P,Q)$. We derive integral formulas proving that they are exponential periods over $\mathbb{Q}(\chi)(t,e^{-t})$. For $n\geq 0$, the derivative of the $L$-function, $L_\chi'(-n)$ can be expressed in terms of these constants and is an exponential period over the base field $\mathbb{Q}(\chi)(t,e^{-t})$.

Prime multipliers of order ten: norm spectra, local charts, and selective lifting

math.NT

Write P(N) for the assertion that every principal minor of the Fourier matrix of order N is nonzero. The square-free principal-minor conjecture was previously known for a few uniform small-multiplier families, including several families with two prime factors; broader higher-factor results were non-uniform, apart from isolated exact verifications. We prove a near-complete prime-multiplier theorem for the composite base 10: P(10p) holds for every prime p \notin {2,5,11}. The proof begins with the complete cyclotomic norm spectrum of the principal minors of the order-ten Fourier matrix. Its rational-prime support is {2,3,5,11,31}. Ordinary finite-characteristic lifting settles the norm-safe multipliers. A known small-multiplier theorem handles one norm-exceptional case; another is settled by retaining the prime-ideal chart in which each carrier degenerates. This yields a flag-selective lifting lemma and an active-rank norm budget. The chart analysis also isolates the limitation at the remaining square-free exception: active carriers can cover every local chart, so the first-order argument stops. We discuss this obstruction, the non-uniformity of fixed-base lifting, and the difficulties in passing to general square-free orders. All finite calculations are exact and have been independently confirmed.

Coherent sequences of matrix spectra

math.NT

We attach sequences of matrix spectra to sequences of rational numbers and study them with numerical experiments. The initial segments of the spectrum sequences associated to each of several rational sequences appear to exhibit geometric regularities. Identities originating in the theory of symmetric functions express members of arithmetic sequences $\{h_n\}_{n \ge 0} \thinspace (h_0 = 1)$ as $h_n = |J_{h,n}|/n !$ for particular matrices $J_{h,n}$, where $|\cdot|$ is the determinant. In this setting we studied numerically sequences $\{a(n)\}_{n \ge 1}$ obtained from the Fourier expansions of cusp forms. Within the range of our observations, the sequences of spectra of certain "treated" matrices $\{J^{(c)}_{a,n}\}_{n=1,2,3,...}$ exhibit coherent behavior, meaning that the plots of the minimum moduli among the eigenvalues of the $J^{(c)}_{a,n}$ appear to oscillate or to form approximately straight lines of non-negative slope once $n$ is large enough.

A Classification of Small MSTD Sets in Arbitrary Fields

math.NT

A finite set $A$ in an additive abelian group is a More Sums Than Differences (MSTD) set if $|A+A| > |A-A|$. We prove that no MSTD set of size $5$ exists in an additive abelian group. Using a computer program inspired by Hegarty, we then obtain classifications of MSTD sets of sizes $6$, $7$, $8$, and $9$ in arbitrary fields. We also investigate the minimal cardinality of MSTD sets that are multiplicative subgroups of $\Z/p\Z$.

A note on Zlobin's note

math.NT

We prove several results concerning the arithmetic nature of multiple zeta values related to Zlobin's 2006 note. Our proofs are based on Zagier's theorem and Lindemann's theorem.

Uniformity in rational torsion and small points on abelian varieties

math.NT

math.AG

In this paper, we propose a method to study the Uniform Boundedness Conjecture and the Lang-Silverman Conjecture, which gives a uniform lower bound on the heights of non-torsion rational points, for abelian varieties $A$ defined over a global field $K$. Our method is inspired by Vojta's proof of the Mordell Conjecture (Faltings's Theorem). Oer function fields of characteristic $0$, a recent breakthrough of Looper-Yap (arXiv:2603.23396) proves both conjectures with inexplicit bounds. In our paper, we give a new proof of both conjectures with explicit bounds, which also depend polynomially on the field $K$ unless $A/K$ admits a factor of good reduction everywhere. We also prove explicit bounds for elliptic curves over function fields of characteristic $p>0$. Over number fields, we prove both conjectures under a suitable high-dimensional Szpiro conjecture (weaker than Hindry's version, Conjecture 3.4 of https://webusers.imj-prg.fr/~marc.hindry/MW-size.pdf) that we propose.

The strong form of Van der Waerden's conjecture via twisted Chowla

math.NT

math.PR

Determining the properties of a random polynomial has fuelled significant investigation over the past century. One driving force of this research is a 1936 paper of Van der Waerden. Fix $n \geq 3$ and let $E_n(B)$ be the number of monic, irreducible, non-$S_n$ polynomials $f = X^n + a_1 X^{n-1} + \cdots + a_n$ with $|a_j| \leq B$ for all $j$. A recent breakthrough of Bhargava bounds $E_n(B) \ll B^{n-1}$. This spectacularly resolves a conjecture of Van der Waerden, but leaves open its stronger form, namely that $E_n(B) = o(B^{n-1})$. Inspired by recent progress, we now address this strong form. Bhargava's result, together with work of Chow and Dietmann, essentially reduces the strong Van der Waerden conjecture to the claim that the number of polynomials $f$ with Galois group $A_n$ is $o(B^{n-1})$. Assuming a twisted function field version of Chowla's conjecture, we prove this claim. This not only connects two active and challenging areas of research, but also conditionally resolves the strong Van der Waerden conjecture for all $n \geq 7$. Our proof is based on a variant of Heath-Brown and Pierce's square sieve and $q$-van der Corput differencing. Our methods also apply to the analogous problem of counting square discriminants of polynomials that are not necessarily monic. In addition to describing our new contributions, we briefly elaborate on the various conjectures appearing in Van der Waerden's paper and some of the exciting recent work of others in this area of arithmetic statistics.

The normalized approximation function for multiple zeta-star values

math.NT

Motivated by the classical Lagrange spectrum and the reciprocal formulation of the Lagrange spectrum in continued-fraction theory, we introduce a normalized approximation function $\mathcal{N}(\alpha)$ for approximation by multiple zeta-star values. At each depth, the approximation error is minimized over all admissible indices and normalized by the binary scale determined by their weights. The function $\mathcal{N}(\alpha)$ is then obtained by taking the limit inferior as the depth tends to infinity. Using the order structure of multiple zeta-star values, we establish the regularity and generic behavior of this function. We prove that the depthwise approximation functions are upper semicontinuous, that $\mathcal{N}$ is Borel measurable, and that its zero set is a dense $G_\delta$ subset of $(1,+\infty)$. We also derive a natural-prefix approximation estimate showing that a large next digit produces an exceptionally good normalized approximation. Combined with the author's metric resultson Diophantine approximation of multiple zeta-star values, this gives a full-measure theorem under a logarithmically reinforced divergence condition and, in particular, proves that $\mathcal{N}(\alpha)=0$ for Lebesgue almost every $\alpha>1$. Finally, we give some basic properties of the image of the normalized approximation function and show that the image $\mathrm{Im}(\mathcal{N})$ is dense on the extended half-line $[0,+\infty]$.

Yun's zeta function and the overorder zeta function for Gorenstein cubic orders

math.NT

For every Gorenstein cubic $\mathbb Z$-order, we prove an identity equating Yun's zeta function, defined by counting finite-index submodules of the trace dual, with the explicit overorder zeta function introduced in our previous work on Beyond Endoscopy for $\mathrm{GL}_3$. This is posed as Conjecture A in an early draft of Deng-Espinosa and Lee subsequently proved the functional equation of the overorder zeta function, making the Deng--Espinosa isolation of the trivial representation fully unconditional. His argument computes the local factors explicitly. Our proof is independent of Lee's and does not evaluate the individual cubic overorder factors: it matches natural decompositions of the two sides and concludes by induction. As an application, we give a short, uniform evaluation of the local $\mathrm{GL}_3 $ Kloosterman Dirichlet series in the Poisson-summation argument of Deng--Espinosa. The direct local analysis of the Kloosterman series occupies nearly ninety pages in Deng--Espinosa while our treatment here replaces its case-by-case enumeration with a short uniform proof.

Kohnen--Ueda local newforms

math.NT

math.RT

We give a local newform theory for the metaplectic group of rank 1 over a non-archimedean local field of characteristic 0 with odd residual characteristic. It was suggested by some results of Kohnen and Ueda on the classical theory of modular forms of half-integral weight.

There and back again with Kaprekar 2-cycles

math.NT

A curious property of integers, first observed by D.~R. Kaprekar in 1949, is as follows: write the digits of a 4-digit number in both descending and ascending order, and then find the positive difference between these integers. Iterating this process on any 4-digit number - except for multiples of 1111 - eventually produces the number 6174. The process ends here, since 6174 is a fixed point of the procedure. In general, if we start with any integer and iterate this process, it either ends at a fixed point (as with 4 digits) or enters a cycle of numbers, called a Kaprekar cycle. In 2011, Dolan classified all fixed points of this process. We study Kaprekar cycles of length 2. We find general properties of numbers in a Kaprekar 2-cycle, and we classify all 2-cycles such that the two integers have the same smallest digit.

On the constant in Klartag's theorem for lattice packings in high dimensions

math.NT

In 2025, Boaz Klartag proved that there exists a lattice sphere packing in $\mathbb{R}^n$ whose density is at least \[ c n^2 2^{-n}, \] where $c>0$ is an absolute constant. Our aim is to refine the analysis of Klartag's argument and to show that the constant can be taken as \[ c = \frac{1}{2e} - o(1), \qquad n\to\infty. \]

On uniqueness in equivariant Iwasawa theory

math.NT

This sequel to our paper `On the ``main conjecture'' of equivariant Iwasawa theory' studies the possibility of the vanishing of $SK_1(QG)$, when $QG$ is the total ring of fractions of the Iwasawa algebra $\Lambda G=Z_p[[G]]$, with $G$ the Galois group of the Galois extension $K/k$ of loc. cit. The vanishing is equivalent to $SK_1(D)=0$ for all division algebras $D$ in the Wedderburn components of $QG$, so can be studied via the classification $D_{r,s,F}$ of these $D$'s, which provides a crossed product order $\Delta$ in $D$ and the valuation $v_\bullet$ with valuation ring $\Delta_\bullet$. $\Delta$ contains a special element $\Pi$, which generates a maximal subfield of $D$ over its centre with $V_\bullet(\Pi)=1$ and $\Pi\Delta\Pi^{-1}=\Delta$. The induced $\Pi$-filtration on $\Delta$ enables a study of the reduced norm built on a congruence for $nr(d)$ mod $\Pi\Delta$ for $d\in\Delta$. Given $d\in\Delta^\times$ with $nr(d)=1$, and $n\ge 1$ maximal with $d\in 1+\Pi^n\Delta$ (called the level of $d$), the main problem is to find a suitable commutator product $c\equiv d$ mod $\Pi^{n+1}\Delta$. Then $c^{-1}d\equiv 1$ mod $\Pi^{n+1}\Delta$ hence, setting $d'=c^{-1}d$, has $nr(d')=1$ and level $n'>n$. Repetition ends in $[\Delta^\times,\Delta^\times]$ when the level gets sufficiently large.

Counterexamples to Dujella's conjecture on integral points on the elliptic curve attached to a Diophantine triple

math.NT

A set $\{a,b,c\}$ of distinct positive integers is called a Diophantine triple if $ab+1$, $ac+1$, and $bc+1$ are perfect squares. Dujella formulated the conjecture that the only integral $x$-coordinates on the attached elliptic curve $$y^2=(ax+1)(bx+1)(cx+1)$$ are $0,d_-,d_+$, together with $-1$ when the triple contains $1$, where $d_{\pm}=a+b+c+2abc \pm2\sqrt{(ab+1)(ac+1)(bc+1)}$. The weaker question was stated as Problem 4.8 in Dujella's list of open problems: must every integral point with $x\ne-1$ make $ax+1$, $bx+1$, and $cx+1$ all perfect squares? We construct infinitely many triples $\{5,115,c\}$ admitting an integral point with $x\ne-1$ for which all three factors are nonsquares.

The Period-Three Secondary Term in the Mean Value of $L(1/2,\chi_D)$ in the Hyperelliptic Ensemble

math.NT

Let $q$ be an odd prime power. We revisit Florea's asymptotic formula for the first moment of quadratic Dirichlet $L$-functions over the odd-degree hyperelliptic ensemble $\mathcal H_{2g+1}$, and show that its secondary term is not the complete one. The square-dual generating function has three double poles of the same modulus on the secondary circle: the positive real one reproduces Florea's polynomial, while the two nonreal conjugate poles contribute at the same order. The complete secondary term is $q^{2g/3}(\alpha_{g\bmod3}g+\beta_{g\bmod3})$, with real coefficients whose dependence on the genus has minimal period exactly three, and on at least two of the three residue classes the nonreal poles contribute a term of order $gq^{2g/3}$. We also prove the formula for every odd prime power $q$, whereas Florea assumes $q\equiv1\bmod4$ throughout; this is achieved by a phase-normalized quadratic Gauss sum that restores the multiplicativity and the local evaluations her argument uses. Exact finite-ensemble moments for $q=3$ exhibit the three residue-class trends.

Cyclotomic norm congruences for zeta values and modular $L$-values

math.NT

We study congruences between special values of zeta functions and modular $L$-functions in cyclotomic towers. The underlying mechanism is an integral norm congruence for finite-level Iwasawa-theoretic elements, which becomes stronger as one ascends the tower. In the $\mathrm{GL}_1$ setting, this gives congruences for Dedekind zeta values over totally real fields, with applications to higher $K$-groups, generalized Bernoulli numbers, and Euler-Poincar\'e characteristics. In the $\mathrm{GL}_2$ setting, we use Mazur-Tate elements and their distribution relations to control the primitive twisted special values appearing at each cyclotomic level. Via Artin formalism, these give congruences for the corresponding base-change $L$-values over successive cyclotomic fields.

Generically Ordinary One-parameter Hyperelliptic Families are Dense

math.NT

math.AG

Let d=2g+1>4 and let A^{d-1} be the coefficient space parametrizing hyperelliptic families C_a: y^2 = x^d + a_{d-1}x^{d-1} + ... + a_1x+t over the t-line. We show that for a Zariski-generic coefficient vector a=(a_1,...,a_{d-1}) in \bar{Z}^{d-1}, for every prime p large enough, C_a has generically ordinary reduction at every prime above p. For arbitrary a in \bar{Z}^{d-1}, the set of ordinary primes of the hyperelliptic curve C: y^2=x^d+a_{d-1}x^{d-1}+...+a_1x+t over Q(a)(t) has natural density at least 1/[Q(a,\zeta_d):Q(a)]; after base change to Q(a,\zeta_d)(t), it has natural density 1.

Orthogonality Defects of HKZ-Reduced Bases

math.NT

Let $D_n$ denote the supremum of the orthogonality defects over all $n$-dimensional Hermite--Korkine--Zolotarev (HKZ)-reduced bases. This paper shows that $\lim_{n\to\infty} \log D_n/(n\log n)=2$. We also determine the exact value $D_4=4375/1024$.

On the binary representation of powers of $3$

math.NT

We establish that only finitely many powers of $3$ can have a simple binary representation.

$p$-adic Equidistribution of Special Loci in a Product of Modular Curves

math.NT

math.AG

Let $C\subset X(1)\times X(1)$ be a smooth curve defined over $\mathbb{C}_p$ with irreducible reduction. We study the intersection loci of $C$ with the modular subvarieties $Y_0(n)$. If the curve $C$ avoids points where both coordinates have supersingular reduction, or if a sequence $Y_0(a_n)$ is taken where the numbers $a_n$ have increasing divisibility by $p$, then these loci equidistribute to the unique canonical point of the analytification, $C^\text{Berk}$. If neither condition is satisfied, we expect equidistribution to fail and give a family of examples whose behaviour is believed to be typical. We also study the accumulation points of the set $C\cap\bigcup_nY_0(n)$ and show that this set is always non-discrete.

Representations with k-generalized Fibonacci numbers

math.NT

We study representations of integers using $k$-generalized Fibonacci numbers. For $k\geq 2$, we first consider signed representations of zero with coefficients in $\{-1,0,1\}$ and give a recursive description of their number. The resulting counting sequences satisfy linear recurrences whose characteristic polynomials are determined explicitly. In the Fibonacci and Tribonacci cases, these recurrences reveal unexpected connections between the corresponding representation counts and Tribonacci and Fibonacci sequences, respectively. We then consider representations with coefficients in $\{0,1\}$ in the Tribonacci case. Using a random inhomogeneous Tribonacci recurrence, we construct a binary-tree model in which representation multiplicities are encoded by a family of polynomials satisfying the product formula $Q_n(x)=\prod_{k=2}^{n-1}(1+x^{T_k})$. This product admits a probabilistic interpretation in terms of weighted Bernoulli sums. After normalization by $T_n$, these sums converge in distribution to the Bernoulli convolution $\sum_{j=1}^{\infty}\varepsilon_j\rho^{-j}$, where $\rho$ is the Tribonacci constant and the $\varepsilon_j$ are independent Bernoulli random variables. The limiting distribution satisfies a natural self-similarity relation, linking the representation problem to self-similar measures associated with Tribonacci scaling.

Euclidean Rings

math.NT

This is the text of my diploma thesis on Euclidean Rings from 1989, along with an English translation. Its main result is the generalization of Lenstra's idead of exceptional sequences to k-stage Euclidean rings.

A deterministic sin^2-type algorithm for complex cubic irrationalities with exact periodicity certificates

math.NT

Hermite asked in 1848 for a representation of real numbers whose eventual periodicity characterizes cubic irrationals. The totally real case was solved by Karpenkov's $\sin^2$-algorithm; the complex case, signature (1,1), is his Problem 4. We study a deterministic algorithm implementing his suggested analytic extension: the score expression is strictly negative on (1,1) data (closed form proved), the most negative score is selected, and exact score ties are resolved by a declared ordering. On a sample of 205 complex cubic polynomials, every run closes projectively with an exact unit certificate, each transition certified by exact comparisons in $\mathbb{Q}(\alpha)$. An exhaustive campaign over the full box $[-3,3]^3$ closes 194/194. Across 457 deformed bases, the terminal cycle is an invariant of the marked lattice. Certified finite transition graphs are computed for four fields; the plastic case is machine-checked in Lean 4, kernel-only. All data ship in a public archive with a portable verifier.

Extreme values and logarithm laws for toral translations

math.NT

math.DS

math.PR

We study extreme values of normalized $r$-th nearest neighbour distance functions in inhomogeneous Diophantine approximation, proving Weibull and Fr\'echet limit laws when the shift satisfies a natural Diophantine condition. Using these extreme value laws we prove corresponding logarithm laws for these functions. Our approach is based on homogeneous dynamics. The key input is to adapt the Poisson approximation strategy of Bj\"{o}rklund and Gorodnik (arXiv:2201.05116) combined with an effective multiple equidistribution result, which we deduce using results of Str\"{o}mbergsson (arXiv:1309.6103) and of Bj\"{o}rklund and Gorodnik (arXiv:2105.05468).

An elementary note on three consecutive powerful numbers

math.NT

In the recent work by T. H. Chan, it was shown that there are no three consecutive powerful numbers with the middle term a perfect cube and each of the other two having only a single prime factor raised to an odd power. They get it with Pell equations, elliptic curves, and second-order recurrences. In this paper, with results given by Nagell-Ljunggren, Lebesgue, Ko and some elementary methods, we extend the result to similar cases, whose middle term can be perfect powers for infinitely many powers. With this conclusion, we discuss the solutions to some Diophantine equations.

On the graded center of $D(G)^c$

math.NT

math.CT

math.RT

Let $D(G)$ denote the derived category of smooth $G$-representations on $k$-vector spaces, where $G$ is a locally pro-$p$ group and $k$ is a field of characteristic $p$. In this paper we are primarily interested in the graded center of the subcategory of compact objects $Z^*(D(G)^c)$ and variants thereof. When $G$ is a $p$-adic Lie group, without proper open centralizers, we completely determine this center modulo locally nilpotent elements and give various applications.

Quantitative Logarithmic Chowla Correlations Uniformly over Growing Shifts

math.NT

cs.DM

math.CA

Let $\lambda(n)=(-1)^{\Omega(n)}$ be the Liouville function. Pilatte proved a fixed power saving for the logarithmically weighted two-point correlation at shift one. More recently, Tao and Ter\"av\"ainen obtained power-logarithmic two-point estimates uniform over polylogarithmically growing shifts and coefficients outside a common exceptional set of scales; their result in particular implies, after logarithmic integration, a growing-shift logarithmic estimate with some unspecified positive exponent. We give a direct all-scales logarithmic estimate with an explicit shift range. For every fixed $0<\kappa<1/700$, there are constants $c_\kappa>0$ and $x_0(\kappa)$ such that $\displaystyle \sup_{1\le h\le(\log x)^\kappa}\left|\sum_{n\le x}\frac{\lambda(n)\lambda(n+h)}{n}\right|\ll_\kappa (\log x)^{1-c_\kappa}\qquad (x\ge x_0(\kappa)).$ The explicit endpoint is inherited from the $(\log N)^{-1/700}$ term in the short exponential-sum estimate of Matom\"aki, Radziwi{\l}{\l} and Tao. The key quantitative step is a scale-flexible version of Pilatte's circle-method uncentring: dilation by $h$ preserves the relevant fourth moment, while the short sums cost $h^{1/5}$. A flexible dyadic cutoff recovers every $\kappa<1/700$. For completeness we also record, in the specialised notation needed here, a residue-uniform arbitrary-interval transfer for the centred non-backtracking operator; a more general decoupling statement appears in the work of Tao and Ter\"av\"ainen. The result is logarithmically weighted and does not prove the ordinary Ces\`aro two-point Chowla conjecture.

Power-saving bounds for Thue--Mahler and Mordell equations

math.NT

We prove a new effective bound for cubic Thue--Mahler equations with power-saving dependence on the regulator. This has some applications. First, we improve Stark's bound $\log \max\{|x|,|y|\} \ll_\epsilon |k|^{1+\epsilon}$ for the integer solutions of Mordell's equation $y^2=x^3+k$ ($k$ a non-zero integer) by reducing the exponent $1+\epsilon$ to $1/2+\epsilon$; this is the first power-saving improvement without restrictions on $k$ in more than 50 years. Secondly, for integer squares and cubes of size $O(T)$ we improve the known unconditional separation lower bound $(\log T)^{1-o(1)}$ obtained by Stark in 1973 to $(\log T)^{2-o(1)}$. Finally, we obtain a power-saving improvement in the conductor aspect of the strongest currently available bounds for Frey's height conjecture (a strengthening of Szpiro's conjecture) in the case of elliptic curves over $\mathbb{Q}$ with integral $j$-invariant.

The classification of generalised Kummer surfaces in positive characteristic

math.AG

math.NT

Building on earlier work of Katsura and Rybakov, we complete the classification, in every characteristic, of all groups $G$ acting on an abelian surface $A$ by automorphisms preserving the group law such that the resolution of the quotient $A/G$ is a K3 surface. In order to do so, we study actions of groups with $p\mid|G|$ in characteristics $p=2,3$ and $5$. Using the theory of rational double points in positive characteristic, we show that the possible ADE singularity types of $A/G$ are constrained by the requirement that their local fundamental group contains $G$ as a subgroup, and we determine the singular locus of $A/G$ via the action of $G$ on the $\ell$-adic Tate module of $A$. As a key step in the classification, we prove that if $A$ is a supersingular abelian surface and $p\mid|G|$, then $A/G$ can never be a generalised Kummer surface. Finally, we construct explicit examples of such generalised Kummer surfaces as quotients of products of two elliptic curves.

Admissibility of Bernstein centers

math.RT

math.NT

We provide a criterion for determining when elements of the Bernstein center of a totally disconnected locally compact group are admissible invariant distributions in the sense of Harish-Chandra \cite{HC99}. As a consequence, we deduce the local integrability results for elements of bounded depth or Bernstein supports in the Bernstein centers of reductive $p$-adic groups. Our methods apply uniformly to both complex and mod-$\ell$ coefficients, generalizing results of Moy and Tadi\'{c} \cite{MT02} in the complex case.

Norm-Query Complexity of Algorithmic Problems in Finite-Dimensional p-adic Normed Spaces

cs.CC

math.NT

We study the deterministic norm-query complexity of computational problems in finite-dimensional vector spaces over $\mathbb{Q}_p$ equipped with an arbitrary ultrametric norm. For orthogonalization, we prove that no uniform finite query bound depending only on the dimension exists: for every deterministic algorithm that produces an $N$-orthogonal basis for every ultrametric norm $N$, the number of norm queries is unbounded as $N$ varies. We then study the Longest Vector Problem (LVP) for a rank-$m$ $p$-adic lattice. By adapting a brute-force search to the general norm-query setting and eliminating the scalar redundancy among nonzero coefficient vectors modulo $p$, we obtain an algorithm using exactly $(p^m-1)/(p-1)$ norm queries for $m\ge 2$, and prove that no deterministic norm-query algorithm can use fewer queries in the worst case. Finally, we consider the Closest Vector Problem (CVP). Apart from the trivial cases in which no norm query is needed, we prove that the deterministic worst-case norm-query complexity of the CVP is unbounded, even when the lattice and the target vector are fixed.

The Partition Pairing Theorems I

math.CO

math.NT

The aim of this paper is to introduce pairing theory for partitions. We begin with two statistics on integer partitions, the \emph{pairing index} and the \emph{pairing rank}. The pairing index is equidistributed with the number of parts, while a joint refinement identifies its two constituents with the numbers of even and odd parts. We further introduce the \emph{pairing width} and prove that pairing index and pairing width are jointly equidistributed with the number of parts and the largest part. The resulting finite Gaussian generating function has a cyclotomic factorization from which Kummer's famous carry theorem for binomial coefficients follows. We also prove a mod-$5$ congruence for the excess of unpaired parts congruent to $1$ modulo $4$ over those congruent to $3$ modulo $4$ in the partitions of $5n+4$. A signed specialization exhibits that the parity of the pairing rank is governed by self-conjugate partitions. Motivated by this, we go on to introduce a second, diagrammatic pairing: after the two wings of the Durfee square are folded together, the unpaired cells break into connected \emph{diagonal blocks}. These blocks may be reflected independently, giving a Boolean decomposition of the set of partitions with a unique representative having all successive ranks nonnegative. We then relate our theory to overpartitions and Frobenius representations, obtaining as a corollary a geometric realization of overpartitions in terms of partitions whose principal hooks are all even. Finally, we study simply paired partitions of negative pairing rank, obtaining identities involving odd divisors and overpartitions, a parity theorem for pairing rank $-2$, and a Toeplitz determinant whose coefficientwise limit is an explicit infinite product related to MacMahon's product for plane partitions.

MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys

cs.CR

math.NT

We introduce MCSI, a two message key exchange we design over the CSIDH class group action, in which each party sends its ephemeral public element under an authenticated encryption keyed by the value the two static keys determine. The design gives implicit mutual authentication, hides the ephemeral element from an eavesdropper, and lets a recipient discard an unauthenticated message after one tag check rather than after an evaluation of the group action, which is four orders of magnitude more expensive. On the analytic side, we prove that our protocol is correct with zero error, and prove three statements in the random oracle model, all reducing to the strong parallelisation problem: indistinguishability of the session key against a passive adversary, confidentiality of the blinded ephemeral element, and integrity of the blinded transport. None uses the decisional group action assumption, which is false for class group actions of non-prime discriminant. We also show that a blinding key cannot come from the session secret it is meant to establish. To instantiate the design we select parameters and show that a prime chosen for elliptic curve discrete logarithms is unusable: for $p = 2^{521}-1$, the NIST P-521 prime, the action admits no efficiently evaluable generator. On the practical side, we build and test the design. We implement the protocol twice, in C and independently in Python, cross check the two, and measure what a session costs in field operations, time and memory. We also audit our code for secret dependent control flow: the field arithmetic and the symmetric layer show none, while the group action leaks the key by construction, and two hundred timings separate two keys whose one-norms differ by five out of 370. Finally, we state what we do not prove, among them security under ephemeral key reveal, forward secrecy of the blinding, and constant time execution.

Marshall Quotients of the Rings $\mathbb Z/n\mathbb Z$

math.RA

math.AC

math.NT

We study the Marshall quotient \[ M(n)=M(\mathbb Z/n\mathbb Z) \] obtained from the ring of integers modulo $n$ by quotienting by the square classes of non-zero-divisors. Using elementary arithmetic of square classes modulo prime powers and the Chinese Remainder Theorem, we give an explicit description of these quotients and classify several of their structural properties. We determine when the quotient relation is arithmetically elementary, when $M(n)$ is hyperbolic, when it can be real reduced, and when it can be formally real. We also analyze the subset of invertible classes together with zero, proving exactly when it is a submultiring, when it is a hyperfield, and when it is hyperbolic. The results provide a finite family of test examples for questions connecting multirings, special hyperfields, real semigroups, and abstract quadratic-form theory.

A motivic derived Fourier transform

math.AG

math.NT

We construct a theory of Fourier transform for rational \'etale motives on derived vector bundles over derived Artin stacks over a field of positive characteristic, defined as the integral transform with kernel the Artin-Schreier motive. The basic properties are established: involutivity, base change, functoriality, duality, monodromicity, constructibility, and compatibilities with various natural transformations.

On the directions occurring in lattice-line coverings of the integer plane

math.CO

math.NT

We consider families of lines that cover every point of the integer lattice $\mathbf{Z}^2$ in the plane, subject to the constraint that no two lines of different direction in the family meet at a lattice point. Restricting to \emph{lattice lines} (lines containing at least two, hence infinitely many, lattice points, equivalently of rational direction), we show that the set of directions occurring in such a covering can be made dense in the space of line directions. The construction is a recursive splitting of $\mathbf{Z}^2$ into nested rank-2 sublattice cosets, each handed off to a freshly chosen direction; the key technical point is a steering lemma showing that at every stage of the recursion a new direction arbitrarily close to any prescribed target can still be realized, via an elementary sieve bound.

The asymptotic behavior of the rectangle partition function $p(m,n)$

math.CO

math.NT

Let $p(m,n)$ denote the number of partitions of a rectangle $m\times n$ into integer-sided rectangular blocks, where two partitions are indistinguishable if they consist of the same multiset of blocks, regardless of their geometric arrangement. We present an elementary approach to show that, for every fixed positive integer $m$, $$ \log p(m,n)=\pi\sqrt{\tfrac{2mH_m}{3}}\sqrt{n}+O(\log n), \qquad \text{as }n\to\infty, $$ where $H_m$ denotes the $m$-th harmonic number. This confirms a conjecture recently posed by the authors and generalizes the Hardy--Ramanujan formula for integer partitions.

An Exact Counting Formula for the Mutual Position of Two Plane Conics

math.CO

math.NT

Let $q$ be an odd prime power, and $\mathcal{C}, \mathcal{D}$ be two smooth plane conics defined over $\mathbb{F}_q$ with transversal intersection. We present an exact formula for the number of points in $\mathbb{P}^2(\mathbb{F}_q)$ that are internal/external to $\mathcal{C}$ and internal/external to $\mathcal{D}$. This refines the $\frac{q^2}{4}+O(q^{3/2})$ asymptotic estimate for this quantity due to Asgarli and Yip \cite[Theorem 1.2]{Asgarli}. In particular, we show that the error term is of size at most $q+\sqrt{q} + 1$. By studying the geometry of the incidence variety related to this problem, we link the exact point counts directly to the Frobenius traces of two associated elliptic curves, and the number of $\mathbb{F}_q$-rational intersection points of $\mathcal{C}$ and $\mathcal{D}$ and of the corresponding dual conics $\mathcal{C}^*$ and $\mathcal{D}^*$. Lastly, We provide a remark explaining the challenges in generalizing this method to the study of higher-dimensional quadrics.

The Gao-Zhuang conjecture for the Heisenberg group

math.CO

math.NT

Let $G$ be a finite nonabelian group. The small Davenport constant $\mathsf d(G)$ of $G$ is the largest integer $\ell$ such that there exists a product-one-free sequence over $G$ of length $\ell$, while the Gao constant $E(G)$ of $G$ is the least integer $\ell$ such that every sequence over $G$ of length at least $\ell$ contains a product-one subsequence of length exactly $|G|$. A long-standing conjecture of Zhuang and Gao \cite{ZG2005} asserts that $E(G)=\mathsf d(G)+|G|$ for every finite nonabelian group $G$. Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb F_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. Godara and Sarkar proved the Zhuang--Gao equality for the nonabelian group of order $27$ and exponent $3$, and asked whether the same equality holds for $H_{p^3}$ for every odd prime $p$. Recently, Volkmann proved that $\mathsf d(H_{p^3})=3p-3$. In this paper, we determine the Gao constant of $H_{p^3}$ and prove that $E(H_{p^3})=\mathsf d(H_{p^3})+|H_{p^3}|=p^3+3p-3$.

The number of sum-free subsets of lattice cubes

math.CO

math.NT

A subset of the $d$-dimensional lattice cube $[n]^d$ is sum-free if it contains no solution to the equation $x+y=z$. We study the total number of such subsets. For $d=1$, Cameron and Erd\H{o}s conjectured that the number of sum-free subsets of $[n]$ is $O(2^{n/2})$, and this was proved independently by Green and Sapozhenko. A recent work by Ghosal solved the case $d = 2$. In this paper, we consider all remaining dimensions and prove that for every fixed integer $d \geqslant 3$, the number of sum-free subsets of $[n]^d$ is $2^{M([n]^d) + O_d(n^{d-1})}$, where $M([n]^d)$ is the maximum possible size of a sum-free subset of $[n]^d$. This verifies a conjecture of Elsholtz and Rackham. Our proof combines the dual weights constructed by Keevash and Lim in their work for $M([n]^d)$, a one-dimensional counting estimate due to Ghosal, a bipartite swapping lemma of Zhao, and a strong fractional entropy inequality of Madiman and Tetali, and it avoids the use of the container lemma or deriving a stability theorem first.

Explicit Representatives and Sizes of Cyclotomic Cosets II: Cyclotomic Systems and Applications to Constacyclic Codes

math.NT

v2

Let $q=p^e$ be a prime power, let $\ell$ be a prime with $\gcd(\ell,qn)=1$, and let $n$ be a positive integer. While $q$-cyclotomic cosets are usually considered modulo a fixed integer, we consider their behavior along the sequence $n,\ell n,\ell^2n,\ldots$ of moduli. To describe the resulting compatibility among cyclotomic cosets, we introduce the $\ell$-adic $q$-cyclotomic system with base module $n$, defined as the projective limit of the spaces of $q$-cyclotomic cosets modulo $\ell^i n$. We associate to each $q$-cyclotomic coset modulo $n$ a cyclotomic $\ell$-adic integer and use its $\ell$-adic expansion to describe all compatible liftings through the successive levels. This leads to a classification of the corresponding sequences according to their splitting and stable behaviors, together with explicit formulas for the representatives and sizes of their components. We treat separately the cases of odd $\ell$ and $\ell=2$. These results are then used to determine representatives and sizes of $q$-cyclotomic cosets for arbitrary admissible parameters. As an application, we obtain explicit irreducible factorizations of binomials over finite fields and use them to describe the corresponding constacyclic codes.

Semi-integral points of bounded height on vector group compactifications

math.NT

v3

In this paper, we obtain the asymptotic formula for the counting function of Darmon points of bounded height on equivariant compactifications of vector groups using ideas similar to those in [PSTVA21]. We also show that this asymptotic formula is compatible with Manin's conjecture for $\mathcal{M}$-points formulated in [Moe26a].

On denominators of consecutive $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions

math.NT

v4

The sequence $({\mathscr S}_Q)_Q$ of $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions was defined in our previous work by ${\mathscr S}_Q := \{ a/q \in {\mathbb Q} \cap (0,1]: q+a+\bar{a} \le Q\}$, where $\bar{a}$ is the multiplicative inverse of $a\pmod{q}$ in $[1,q)$. Here, we prove that the set of $Q$-scaled denominators of consecutive fractions in ${\mathscr S}_Q$ is dense in the region ${\mathcal V}:=\{ (x,y)\in [0,1]^2 : \max \{ (1-3x)/2,2x-1\} \le y \le \max \{ x,1-x\} \}$, and provide a formula for their distribution in ${\mathcal V}$ as $Q\rightarrow \infty$.

A Hilbert 90 Property for S-Class Groups and Applications to the Gross--Kuz'min Conjecture

math.NT

v3

Let $L/K$ be a cyclic extension of number fields, and let $S$ be a finite set of places of $K$ containing the ramified and Archimedean ones. We say that $L/K$ has the $\mathbf{cl}^S$-Hilbert 90 property if, for any generator $\sigma \in \mathrm{Gal}(L/K)$, the kernel of the arithmetic norm map $\mathrm{cl}^S(L) \to \mathrm{cl}^S(K)$ coincides with $(1 - \sigma)\mathrm{cl}^S(L)$. We establish a criterion for the $\mathbf{cl}^S$-Hilbert 90 property that depends only on arithmetic data of the base field and does not require any knowledge of the class group of $L$. We then show that, for $\mathbb{Z}_p$-extensions, the $\mathbf{cl}^{S_p}$-Hilbert 90 property at finite layers already implies the finiteness of the coinvariants of the associated Kuz'min-Tate module, providing a new finite-level criterion for an Iwasawa-theoretic property related to the Gross--Kuz'min conjecture. This criterion can be expressed in terms of a local map closely related to Fermat quotients, making the criterion amenable to explicit computation. Motivated by extensive numerical experiments, we formulate a conjecture predicting that this criterion is satisfied for all but finitely many primes in the totally real case and present a random matrix heuristic supporting this prediction.

Modular Heights of Unitary Shimura Varieties I: Derivatives of Eisenstein Series

math.NT

v4

This is the first of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute an explicit expression of the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series.

Formalization of non-Archimedean functional analysis 1: spherically complete spaces

math.NT

cs.LO

math.FA

v3

In this article, we present a formalization of spherically complete spaces, a fundamental notion in non-Archimedean functional analysis, using the Lean theorem prover (v4.31.0), building over Mathlib. This work includes the equivalent definitions of spherically complete spaces, their basic properties, examples and non-examples such as the field $\mathbf{C}_p$ of $p$-adic complex numbers. As applications, we formalize the notion of Birkhoff-James orthogonality, the Hahn-Banach extension theorem and the spherical completion for non-Archimedean Banach spaces. URL of code: https://github.com/YijunYuan/SphericalCompleteness/tree/paper

On bi-periodic Padovan and Perrin quaternions over finite fields

math.NT

math.CO

math.RA

v2

In this paper, we investigate bi-periodic Padovan and bi-periodic Perrin quaternions in the quaternion algebra Q_Zp. We introduce the bi-periodic Perrin sequence and clarify its structural relationship with the bi-periodic Padovan sequence. By extending these sequences to the quaternion setting, we analyze their norm properties in the modular framework. For suitable choices of twin prime coefficients, we derive explicit criteria characterizing zero divisors and invertible elements in Q_Zp.

On factorial reciprocals in Cantor sets

math.NT

v3

Let $C$ be the middle-third Cantor set. We show that \[\left\{\frac{1}{n!}: n\in\mathbb{N}\right\}\cap C=\left\{1, \frac{1}{5!}\right\}.\] This answers a question recently posed by Jiang [J. Lond. Math. Soc., 113(1):e70408, 2026]. Our approach extends to general missing-digit sets, showing that, in any such set, there are only finitely many elements of the form $\frac{1}{n!}$, all of which can be effectively determined.

Asymptotic Universal Koszulity in Galois Cohomology

math.NT

math.RA

v3

We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree~$1$, capturing the idea that an infinite-dimensional algebra can be approximated by a filtered system of finite-type universally Koszul quadratic subalgebras. We establish basic structural properties of this class, including stability under filtered colimits, direct products, and base change, as well as a local finite-type criterion expressed in terms of finite-dimensional subspaces of the degree-one component. In the context of Galois cohomology, we prove a colimit theorem for pro-$p$ groups under mild assumptions, showing that cohomology rings arise as filtered colimits of finite quotients. This yields a general criterion under which the cohomology algebra of a profinite group is asymptotically universally Koszul. We further analyze finitely generated quotients via a finite-type capture result, identifying their cohomology with canonical quadratic subalgebras of the ambient algebra. Finally, we formulate conditional local--global and patching principles that isolate the mechanisms by which asymptotic universal Koszulity may arise in arithmetic settings. These results provide a flexible structural framework linking homological algebra, quadratic algebras, and Galois cohomology, and suggest several directions for further investigation.

p-adic Hodge theory of de Rham local systems, I: Newton polygon and monodromy

math.NT

math.AG

v2

We prove that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, we establish the equivalence of the following two statements: the local constancy of the Newton polygon function associated with a de Rham local system around rank-1 points, and the relative p-adic monodromy theorem near rank-1 points. We demonstrate how to extend the relative p-adic monodromy conjecture from the neighborhood of rank-1 points to the entire interiors of Newton partitions. Finally, we verify a conjecture of Howe-Klevdal concerning the potential good reduction of admissible pairs arising from variant of p-adic Hodge structures.

Explicit Prime Densities for Lucas Sequence Rank Divisibility

math.NT

v3

Let $U$ be a Lucas sequence, $p$ be a prime, and $\rho_U(p)$ be the rank of appearance of $p$ in $U$, that is, the least positive integer $n$ such that $p\mid U_n$, if it exists. We derive closed-form formulas for the Dirichlet density of primes $p$ for which $d\mid \rho_U(p)$, where $d\geq 1$ is a fixed integer. Our results complete the work of Sanna ($2022$) by covering all $U$ and all $d\geq 1$.

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

math.NT

math.CO

v3

Let $I_k = [(2k-1)^2, (2k+1)^2)$ for $k \geq 1$. Starting from the odd-composite matrix $(b_{ij})$ with $b_{ij} = (2i-1)(2j-1)$, introduced by the author in [1], we define for each odd integer $n$ the \emph{matrix multiplicity} $r(n)$, the number of times $n$ appears in $B$. We prove the exact identity \[ P_k = N_k - S_k + E_k \] where $P_k = \#\{\text{primes in } I_k\}$, $N_k = 4k$ counts the odd integers in $I_k$, $S_k = \sum_{n \in I_k \text{ odd}} r(n)$ is the total matrix multiplicity, and $E_k = \sum_{n \in I_k \text{ odd}} (r(n)-1)$ measures the excess multiplicity of non-semiprime odd composites. All three quantities $N_k$, $S_k$, $E_k$ are computable from the divisor structure of odd integers in $I_k$ without primality testing. The formula yields the equivalent combinatorial condition: \[ P_k \geq 1 \iff E_k \leq S_k - N_k. \] We verify $P_k \geq 1$ for all $k \leq 10^8$ by direct computation and establish $P_k \geq 1$ for all $k \leq 1.37 \times 10^{17}$ using the Baker-Harman-Pintz theorem [2]. Whether $P_k \geq 1$ for all $k$ (a weaker statement than Legendre's conjecture) remains an open problem, now equivalent to the purely combinatorial inequality $E_k \leq S_k - N_k$ for all $k$.

Modular Heights of Unitary Shimura Varieties II: Arithmetic Generating Series of Divisors

math.NT

v2

This is the second of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we define the arithmetic generating series of divisors on unitary Shimura varieties, compute the corresponding arithmetic intersection numbers, and derive the modular height formula for unitary Shimura curves as well as the height formula for a CM point on them.

Modular Heights of Unitary Shimura Varieties III: Proof of the Main Theorem

math.NT

v2

This is the third and the last of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute the arithmetic degree of the arithmetic generating series of divisors on unitary Shimura varieties, and then, combining with the results from the first two papers in this series, derive the modular height formula for unitary Shimura varieties.

Sparse Polynomial-Weighted Expansions

math.NT

v4

Let $b\ge2$ be an integer, let $p\in\mathbb{Q}[x]$ be nonzero, and let $S\subseteq\mathbb{N}$ be infinite. We prove that if $\sum_{n\in S}p(n)b^{-n}$ is rational, then, for every fixed $0<\theta\le1$, there is a constant $c>0$ such that $|S\cap(N,N+W]|\ge cW$ for all sufficiently large $N$ and every $N^\theta\le W\le N$. Thus rationality forces positive lower density; if $S=\{a_1<\cdots\}$ and $d=\deg p$, it also forces $a_{j+1}-a_j\le d\log_ba_j+O(1)$. In the binary linear case, the result implies the irrationality conjectured by Erd\H{o}s whenever $a_j/j\to\infty$. The proof turns rationality into an integer carry orbit of polynomial height. Repeated gap words lock the orbit onto rational polynomial graphs, while the normalized highest Newton coefficient evolves by an expanding affine map. Denominator preservation, polynomial sampling, and an interior--exterior count then rule out sparse polynomial-scale windows.

Construction of Generically Ordinary Families of Hyperelliptic Curves

math.NT

math.AG

v3

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. Finally, we show that for every algebraic integer $\alpha$ and every prime $p\equiv 1 \pmod d$, the family $C_\alpha$ is generically ordinary at every prime above $p$.

Zeros of the Dirichlet series of even zeta values

math.NT

v2

We give a complete unconditional description of the zero set of the Dirichlet series $\mathbf{D}(s) = \sum_{n \ge 1} \zeta(2n)n^{-s}$, which continues meromorphically to $\mathbb{C}$ with a single simple pole at $s = 1$. The series possesses neither an Euler product nor a self-dual functional equation, and descriptions with this level of completeness are exceedingly rare for such series. The key input is an exact functional equation of Hecke type, obtained from the Lipschitz summation formula, which expresses $\mathbf{D}$ in the left half-plane as a gamma factor times a dual series over the complex logarithms of the perfect squares; Riemann's functional equation appears as a single column of the dual series. The zeros fall into four families. The half-plane $\sigma \ge \sigma_0 = 1.5001\ldots$ is zero-free, and $\mathbf{D}$ has a unique real zero $\rho_0 = 0.2004\ldots$. The zeros in the critical strip are perturbed $a$-points of $\zeta$ for values of $a$ near $-(\zeta(2)-1)$, and their counting function obeys a Riemann--von Mangoldt law. The remaining zeros form two complex-conjugate strings that recede into the left half-plane along explicit rays, are eventually simple, and satisfy an asymptotic with geometrically decaying error. The string geometry is governed by interference between the two smallest frequencies of the dual series, $2\log 2$ contributed by the entire part of $\mathbf{D}$ and $\pm 2\pi i$ contributed by $\zeta$. No hypothesis of Riemann type is assumed at any point.

Dimensions of Orbit Closures and Discrepancy for Dynamical $p$-adic Sequences

math.NT

math.DS

v2

Classical discrepancy quantifies the irregularity of the distribution of a sequence in the unit interval. In this paper, we study the analogous notion for sequences in the ring of $p$-adic integers with a focus on the dynamically generated sequences. We prove that the orbits of ergodic $1$-Lipschitz self-maps of $\mathbb{Z}_p^d$ attain the optimal order of discrepancy and hence form low-discrepancy sequences. We also obtain bounds on the growth of the size of orbits of polynomial self-maps of $f: \mathbb{Z}_p^d \to \mathbb{Z}_p^d$ modulo $p^n$ for $d>1$. As a consequence, we show that orbit closures of $f$ have box dimension either zero or one. Our approach relies on the introduction of strong fixed points for such maps, together with several decomposition results for matrices over $\mathbb{Z}_p$.

A Multiplicative Fourier Proof of the Length-Four Index Conjecture

math.NT

math.CO

v2

Let $C_n$ be a cyclic group of order $n$. We prove that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one, thereby resolving the length-four index conjecture. After the gcd reduction, the nonunit case follows from the theorem of Shen-Xia-Li, and the remaining unit case is solved by a new multiplicative Fourier argument. The index-two residue identity yields a character-moment relation, and the odd characters with vanishing first moment form an exceptional spectrum of size at most $157\varphi(n)/1440<\varphi(n)/9$. A finite-group uncertainty principle then forces the four-term multiset to be invariant under negation, contradicting minimality. Apart from standard facts about primitive Dirichlet $L$-functions, the remaining argument is finite and requires neither asymptotic estimates nor computational verification.

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

math.NT

math.CO

v2

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. Inspired by the work of Alon and Bourgain, for sufficiently large prime $p\equiv1\pmod{k}$, we study cyclic orderings of subsets $A\subseteq \mathbb{F}_p$ for which $ f(a_i+a_{i+1})$ is a nonzero $k$-th power for every consecutive pair. By combining mixed character-sum estimates, Fourier analysis on $\mathbb{F}_p$, and spectral graph methods, we prove that every $A$ with $\#A\ge p+1-\lfloor N(p,k,f)/2\rfloor$ admits such an ordering, where $N(p,k,f)=\#\{x\in \mathbb{F}_p : f(x)\in D_k(\mathbb{F}_p)\}.$ We also give lower and upper bounds for the optimal universal threshold.

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

math.NT

v2

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

A structural trace identity and certified spectra for the Richelot-Brandt graph

math.NT

math.AG

v2

The degree-$2$ Brandt operator $B_2(2)$ on the principal genus of binary quaternion Hermitian lattices of discriminant $p$ is the weighted adjacency operator of the Richelot $(2,2)$-isogeny graph on superspecial principally polarized abelian surfaces, and commutes with an Atkin-Lehner involution $R(\pi)$. For every prime $p\ge7$ we prove that the trace of $R(\pi)$ is the sum of an explicit lift contribution from elliptic newforms of weights $2$ and $4$ and a signed defect of the weight-$3$ paramodular non-lift space; the closed formula for the defect yields the Fricke-sign bias $d(p)\ge0$ for every prime. We formulate an eigenvalue-sign refinement of Ibukiyama's principal-genus multiplicity conjectures: charpoly $B_2(2)$ factors into Eisenstein, Saito-Kurokawa, opposite-sign Yoshida, type-Va, and general-type blocks with specified $R(\pi)$-signs. The type-Va clause is a theorem for every prime: by the global lifting theorem of Roesner and Weissauer for inner forms anisotropic at the archimedean place, the weak packet of a general-type representation of $GU_2(B)$ is the full product of its local $L$-packets, each member occurring with multiplicity one, so both members of every type-Va pair occur and the type-Va block is an exact square split evenly by $R(\pi)$. For the Saito-Kurokawa and Yoshida blocks the refinement remains conjectural. Exact-arithmetic certificates, replayable from a frozen archive, verify the full prediction at every prime $11\le p\le149$: at $p=19$ the first type-Va pair is separated by $R(\pi)$, and at $p=61$ the graph realizes the general-type factor $x+7$.

Simple and distinct zeros in a prime-modulus Dirichlet family from near-microscopic to polylogarithmic heights

math.NT

v2

Fix \(\eta>0\) and \(A_0>0\). Let \(q\) tend to infinity through odd primes, put \(Q=\log q\), and let \(T=T(q)\) satisfy \[ \frac{(\log Q)^{1+\eta}}{Q}\le T\le Q^{A_0}. \] Set \(I=(T,2T]\), and sum without weights over the \(q-2\) nonprincipal characters modulo \(q\). Let \(\mathcal N_q\) count nontrivial zeros in \(I\) with multiplicity, let \(\mathcal N^s_{0,q}\) and \(\mathcal N^*_{0,q}\) count simple and distinct zeros on the critical line, and let \(\mathcal N_{d,q}\) count all distinct zeros in \(I\). Uniformly in this height range, we prove unconditionally \[ \mathcal N_q=\frac{qT\log q}{2\pi}\{1+o_{\eta,A_0}(1)\}, \quad \frac{\mathcal N^s_{0,q}}{\mathcal N_q}, \frac{\mathcal N^*_{0,q}}{\mathcal N_q} \ge C_{\mathrm{MT}}-o_{\eta,A_0}(1), \quad \frac{\mathcal N_{d,q}}{\mathcal N_q}\ge C_d-o_{\eta,A_0}(1), \] 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 proof combines Selberg's family-averaged argument estimate and zero-density deletion with a finite Gevrey Gabor compression of Weil's Hermitian form. Quantitative Fourier--Laplace estimates control exterior zeros down to the lower endpoint, while a local--remote shell decomposition gives uniform control throughout the polylogarithmic upper range. Matrix moment estimates and an inertia-based rank--trace inequality then yield the counting bounds. No form of the generalized Riemann hypothesis is assumed.

Two averaged dynamical generalizations of Chowla's conjecture

math.NT

math.DS

v2

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. In 2016, Tao proved that the two-point logarithmic Chowla's conjecture holds. Recently, Charamaras and Richter generalized Tao's theorem to bounded arithmetic functions and proposed a conjecture that generalizes Chowla's conjecture to bounded multi-variable arithmetic functions. In the end of this article, we will show an averaged form of this conjecture and a dynamical generalization of Tao's theorem.

Shifted second moment of Gaussian Hecke $L$-functions $L(s,\lambda^k)$

math.NT

v4

We establish a uniform asymptotic formula for the smoothly weighted shifted second moment of the Gaussian angular Hecke $L$-functions $L(s,\lambda^k)$. The completed moment is expressed as the sum of four explicit main terms, corresponding to the four functional-equation swaps, with an error of size $O_{\Phi,\epsilon}(K^{1/2+\epsilon})$.After the Archimedean factors are removed, the resulting formula agrees with the numerator-only specialization of the four-swap prediction of the $L$-functions Ratios Conjecture. The proof transforms the off-diagonal contribution into Weyl sums over the roots of $r^2\equiv-1\pmod C$, realizes these sums spectrally through incomplete Poincar\'e series evaluated at $i$, and separates the Eisenstein and Maa\ss{} spectra. The two $v$-type main terms arise respectively from the zero frequency and from the combined residues of two moving Eisenstein poles, while the cuspidal spectrum is absorbed into the square-root error term.

Forced Shadows of an Obstructed Hyperbolic Kac-Moody Denominator

math.NT

v2

The four orders of the quaternion algebra B6 carry four reflective wall data on lattices of signature (3,2); three integrate to Borcherds denominators and one is obstructed. The failed denominator survives as a weakly harmonic Maass form, and we prove its shadow is a Hecke eigenform on the line of the newform 6.4.a.a, with zero twist component. The mechanism is invariance selection: the obstruction functional is invariant under the discriminant isometry group, whose invariants in S_{5/2} are one-dimensional; the same mechanism, verified at quaternion discriminants 10 and 22, places the shadows there on 10.4.a.a and 22.4.a.c. On the weight-1/2 layer we prove a determination theorem: the canonical form exists and is unique precisely when the obstruction space vanishes, and among the 71 discriminants below 230 this happens exactly for D in {6, 10, 22}, the genus-zero compact Shimura curves, whose maximal-order ternaries are reflective with integral Weyl chambers of ranks 3, 4, 4; completeness beyond that range is reduced to an estimate on a quadratic Dedekind-type sum, given a bound on the Gauss-sum term. Parity confines this layer to odd channels; on the obstructed orientation the section layer is obstructed outside an explicit 40-element locus of orientations (a double shadow: CM, 36.2.a.a, at weight 3/2 and newform at weight 5/2), while the deck-symmetric directions instead carry a unique canonical weight-1/2 form. The defect invariant satisfies ||Xi||^2 = 144 exactly and equals L(f,2)/48 pi^2 to 31 digits. On the section layer the Petersson geometry is rigid: the Gram matrix of S_{3/2}(rho_4) is a single transcendental multiple of an exact rational form, and that transcendental is identified, to 40 digits, as 3 Gamma(1/3)^3 / (2^{7/3} pi^2): the weight-3/2 shadow norms lie in the Chowla-Selberg ring; the weight-5/2 norm is numerically excluded from it.

Legendre polynomials and complex multiplication, II: class numbers of quadratic fields and genus 2 supersingular polynomials

math.NT

v2

The factorizations over $\mathbb{F}_p$ of two supersingular polynomials $h_p(x)$ and $g_p(x)$ for genus $2$ curves, discussed by Ibukiyama, Katsura and Oort in their 1986 paper, are investigated. These polynomials are congruent modulo $p$ to the Jacobi polynomials $P_n^{(\alpha,0)}(1-2x)$, for $\alpha = \pm 1/4, \pm 1/6$, respectively. The number of their linear factors (mod $p$) is determined in terms of class numbers of the imaginary quadratic fields $\mathbb{Q}(\sqrt{-dp})$, where $d \in \{1,2,3\}$. The proofs use a quadratic transformation relating these polynomials to the Legendre polynomials $P_n(x)$; previous results on linear and binomial quadratic factors of $P_{(p-e)/4}(x)$ and $P_{(p-\bar e)/3}(x)$ proved by Brillhart and Morton; and properties of the irreducible quadratic factors of the class equations $H_{-3p}(X)$ and $H_{-12p}(X)$ (mod $p$). The quadratic transformation and linear factor results for $h_p(x) \equiv P_n^{(\pm1/4,0)}(1-2x)$ were first discovered using artificial intelligence.

Applications of the finite specializations of the $q$-deformed modular group

math.QA

math.CO

math.GT

math.NT

v2

Recently, Morier-Genoud and Ovsienko introduced the $q$-deformed modular group. For the construction, they first gave a group $G_q \subset \operatorname{GL}(2, \mathbb{Z}[q^{\pm}])$ and then set $\operatorname{PSL}_q(2,\mathbb{Z}):=G_q/Z(G_q)$. We show that, for $\zeta \in \mathbb{C}^*$, $\operatorname{PSL}_q(2,\mathbb{Z})|_{q=\zeta}$ is finite, if and only if so is $G_q(\zeta):=G_q|_{q=\zeta} \subset \operatorname{GL}(2,\mathbb{C})$, if and only if $\zeta=\zeta_n$ for $n=2,3,4,5$, where $\zeta_n$ is a primitive $n$-th root of unity. Although this result is essentially available in the existing literature, we give a precise proof for further developments. For example, we show that the set of traces of elements in $G_q(\zeta)$ and the set of the special values at $\zeta$ of the normalized Jones polynomials of rational links are finite if and only if $\zeta =\zeta_n$ for $n=2,3,4,5$ and also for $n=6$. We also study the quantized Pythagorean triples.

Bialgebraic geometry of B\"ottcher coordinates

math.DS

math.NT

v2

Becker and Bergweiler showed that if $f$ is a non-exceptional polynomial, then the B\"ottcher coordinate $\Psi_f \colon \mathbb D_R \to B_\infty(f)$ associated to $f$ is a transcendental function. In this paper, we study $f$-bialgebraic sets: algebraic subsets of $\mathbb D_R^n$ whose image under the coordinate-wise action of $\Psi_f$ is contained in an algebraic set of the same dimension. We give a complete dynamical classification of bialgebraic sets under the additional assumption that the Julia set of $f$ is either disconnected, or connected and admits a nondegenerate locally connected model. Inspired by the Ax--Lindemann--Weierstrass theorem and the Ax--Schanuel conjecture, we formulate analogs with $\Psi_f$ in place of the exponential function and prove them in the case where the Julia set $J_f$ is disconnected.

On the Hidden Pascal Symmetry and Moment Constraints of Vector Representatives in Quebbemann's 64-Dimensional Lattice

math.CO

math.NT

v2

In this paper, we investigate the underlying algebraic and combinatorial structures governing the coset representatives (shift vectors) for Construction A of lattices, with a particular focus on equations (14) and (15) presented in Paragraph 3, Chapter 8 of the seminal work by J.H. Conway and N.J.A. Sloane, "Sphere Packings, Lattices and Groups". These dual equations define the boundary conditions for the analytical generation of the 64-dimensional Quebbemann lattice (Q64). We prove that seeking non-zero solutions constrained by arithmetic or geometric progressions yields a structural collapse to the trivial zero vector due to the transcendental nature of {\pi}. Conversely, by relaxing these bounds to unique coordinate configurations, we uncover an exact, closed-form algebraic core governed by the alternating coefficients of the Pascal triangle. Furthermore, we implement an energy-minimization model via continuous-to-discrete projection that yields an optimal shift vector with a strictly integer Euclidean norm ||z||^2 = 20.000000. Finally, we bridge this formulation to the Repeated Differences paradigm of Craig's lattices Anm, showing how the spectral components of the {\Theta}-series are naturally filtered by these binomial structures.