Number Theory [math.NT]

Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic

math.NT

math.AG

Let $K$ be a field and let $E/K$ be a nonsingular projective curve in general Weierstrass form. We prove associativity of its chord--tangent operation by combining polynomial factorization, formal differentiation, and quadratic interpolation. The main identity eliminates the two nonvertical lines $Y=\ell(X)$ and $Y=m(X)$ occurring in the successive additions $S=P\oplus Q$ and $T=S\oplus R$. There are $c\in K$ and a monic quadratic polynomial $h\in K[X]$ such that \[ \ell+m+\Apol=c(X-x_S), \qquad \Gpol+\ell m=(X-x_S)h, \] and \[ (Y-\ell)(Y-m) =(X-x_S)(h-cY) +Y^2+\Apol(X)Y-\Gpol(X). \] When $c\ne0$, the graph of $q=h/c$ contains $P,Q,R$, and $-T$. The two bracketings determine the same quadratic by ordinary or Hermite interpolation and therefore yield the same final point. The proof applies in every characteristic, since tangency is expressed through the formal partial derivatives of the Weierstrass equation. For the short Weierstrass form, a separate concise proof identifies $q$ with the interpolating parabola in Zwegers's construction.

PageRank on Lubotzky--Phillips--Sarnak graphs

math.NT

math.CO

math.SP

We compare return probabilities for random walks stopped at an independent geometric time on Lubotzky--Phillips--Sarnak graphs and on the infinite regular tree, with the McKay measure giving the tree value and the Ihara zeta function describing the additional returns caused by cycles. We estimate this correction when the mean walk length is comparable to the length of the shortest cycle, a regime in which walks long enough to traverse a cycle receive non-negligible weight. Unconditionally, we prove an upper bound with a double logarithmic factor and bounded fixed moments over prime levels after multiplication by the number of vertices. Under the Generalized Riemann Hypothesis for quadratic Dirichlet $L$-functions, the correction is of the same order as the reciprocal of the number of vertices.

Some Methods to Solve the Diophantine Equation ay^2=b(x^k-c^k)

math.NT

The solution of the Diophantine equation ay^2=b(x^k-c^k) is studied in different cases of k. Methods are proposed for different cases of k, which are convenient for computer algorithm implementation. The original equation is reduced to lower-degree equations, which can improve the efficiency in searching possible integer solutions. A sufficient condition of the unsolvability of ay^2=b(x^2n-c^2n) is presented.

An explicit family of twists of the Carlitz module with unbounded analytic rank

math.NT

Grishkov and Logachev have asked (Problem 1.4 of their recent survey) whether, for a fixed finite field F_q, the analytic ranks of the twists of the Carlitz module are bounded. We answer this in the negative for every q >= 3. For q = p^s and n >= 1 put P_{q,n} = (theta^(q^n) - theta)^(q-2). We show that the directed graph of the matrix M(P_{q,n},1,k) of Grishkov-Logachev has a completely explicit set of circuits: they are pairwise disjoint, none of them meets an entry involving t, and they are in bijection with the orbits of E^n under cyclic rotation, where E is the set of l in [0,q-2] with p not dividing l+1. Consequently L(C_P, t, T) does not depend on t, it factors as a product of one term 1 - wt(nu) T^per(nu) per orbit, and the analytic rank equals the sum of p^(v_p(per(nu))) over the orbits of weight 1. When n is a power of p this equals (q/p)^n (p-1)^(n-1), which is unbounded. The argument also answers questions 3.6.1 to 3.6.4 of the survey for this family.

New bounds for the integer Chebyshev constant of [0,1]

math.NT

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

On a problem on Ramanujan-Sato series of level 11

math.NT

A longstanding open problem concerning Ramanujan-Sato series is given by determining an expression for the coefficients $c_{11}(n)$ associated with Ramanujan-Sato series of level 11 with a fixed, nested, finite binomial sum for all nonnegative integers $n$, by direct analogy with the known formulas for the coefficients for lower-level Ramanujan-Sato series (and this is clarified and made explicit in our paper). This open problem was given by Cooper et al. in 2015 [J. Math. Anal. Appl.], in Cooper's 2017 textbook on Ramanujan's theta functions, and in Cooper's 2025 contribution to the Contemp. Math. series. This problem seems to have remained open. We succeed in solving this problem, by introducing and proving a double binomial sum formula for $c_{11}(n)$ that is directly analogous to the coefficient formulas for lower-level Ramanujan-Sato series.

Perfect squares in reciprocal-sum sequences and primes that are inert in quadratic fields

math.NT

Let $k$ be a positive integer, and consider the sequences of positive rationals with $x_0\in\N$ and $x_{n+1}=k/(x_0+x_1+\dots+x_n)$. Write $x_n=a_n/b_n$ in lowest terms. We show that there is a rational constant $c>0$ such that $c\,a_n+b_n$ is a perfect power for every such sequence and every $n\ge2$ if and only if $k=h^2$ and every prime factor of $h$ is congruent to $3$ modulo $4$; in that case $c=2/h$ and the powers are squares. The proof rests on the observation that $t_n=(x_0+\dots+x_n)/h$ satisfies $t_{n+1}=t_n+1/t_n$, a recursion under which reduced fractions never cancel. This yields an exact formula for $c\,a_n+b_n$, shows that along any single sequence each prime factor of $h$ spoils at most one term, and leads to two generalizations. For arbitrary $k$ the invariant $b_n^2-\frac4k a_n^2$ is always a rational square, and it is always an integer square exactly when the primes dividing the square part of $k$ satisfy an inertness condition in $\Q(\sqrt{-k})$. For the recursions $x_{n+1}=h^2/(x_0+\dots+x_n+n\mu h)$ the role of the Gaussian integers is played by the quadratic fields $\Q(\sqrt{\mu^2-4})$, which include $\Q(\sqrt{-3})$ and every real quadratic field.

Congruence Jumping in Polynomial Divisibility Systems: Arithmetic Structure and Solution Sets

math.NT

Let $A$ and $B$ be polynomials with integer coefficients. We study nonzero integer solutions of $$y\mid A(x),\qquad x\mid B(y),$$ using quotient transformations that may change the polynomial pair. We call this process \emph{congruence jumping}. We establish a general reciprocal-polynomial rule governing such jumps, without coprimality, monicity, or unit assumptions, and give exact criteria for when the resulting polynomial states can be normalized integrally. Companion-surface identities provide a mechanism for constructing infinite integral quotient chains, including an explicit mixed-degree example. The quadratic case is considerably more rigid. We obtain a quantitative denominator bound for finite chains, classify the exceptional nonconstant one-sided infinite chains with nonintegral conic parameter, and show that changing quadratic states reduce to ordinary Vieta dynamics on a fixed conic. We further construct a genuinely nonunit recurrent four-cycle with infinitely many positive integral points and show that its dynamics admits a uniform Pell-type linearization. A motivating nonunit divisibility system is analyzed through Pell orbits and changing-state ladders. Finally, an independent relation-lattice criterion reduces certain solution sets to a finite divisor search.

Multiplicative recurrence of Piatetski--Shapiro and nil-Bohr sets

math.NT

math.CO

math.DS

Adapting the circle method developed by Frantzikinakis--Klurman--Moreira, we establish a sufficient criterion for a set of natural numbers to be multiplicatively recurrent. We apply this criterion to Piatetski--Shapiro sets with small exponents and to regular irrational nil-Bohr sets. We also study the value distribution of unimodular completely multiplicative functions along these sets.

Transcendence of dendric beta-expansions with pure discrete spectrum

math.NT

math.DS

We prove the transcendence of numbers that have $\beta$-expansions in algebraic bases $\beta$ belonging to dendric shifts with purely discrete spectrum, under certain combinatorial conditions on their directive sequences of substitutions. This includes Arnoux-Rauzy sequences on arbitrary alphabets and Cassaigne-Selmer sequences. The proof uses Rauzy fractals and the subspace theorem.

Powers in orbits and semigroups generated by polynomials

math.NT

math.DS

In this paper, we study the presence of perfect powers in orbits of polynomials, or of semigroups generated by a finite family of polynomials, defined over a number field. In particular, we correct and generalize a result of Ahmadi et al. (2012), showing that multiplicative shifts of perfect powers in orbits can be detected by a finite algorithm. We also give a finiteness result on elements in orbits satisfying certain multiplicative relations.

Construction of parametrized families of general pseudo-bimagic and bimagic squares

math.NT

A magic square of order $n$ is a square array of $n^2$ distinct integers such that the integers of every row, every column and the two diagonals have the same common sum. If a magic square remains a magic square even when each integer is replaced by its square, it is called bimagic. If, however, all the rows and all the columns of the aforementioned square of squares add up to a common sum, but the two diagonals do not, the original magic square is called pseudo-bimagic. Except for one family of $6 \times 6$ pseudo-bimagic squares, parametrized families of bimagic squares have not been published. In this paper we construct parametrized families of $6 \times 6$ pseudo-bimagic squares and $8 \times 8$ bimagic squares. We use these families to construct, for any positive integer $m$, multi-parameter families of pseudo-bimagic squares of order $6m$ and bimagic squares of order $8m$. We also give numerical examples of $6 \times 6$ and $12 \times 12$ pseudo-bimagic squares and an $8 \times 8$ bimagic square.

Baire-category transfer between Engel and Pierce expansions

math.NT

math.DS

In this paper, we construct an explicit correspondence between Engel and Pierce expansion digit sequences, obtained by adding $n-2$ to the $n$th Engel expansion digit, and show that it induces a homeomorphism from the set of irrationals in the unit interval onto the complement of a countable dense subset of this set. This yields a transfer principle for Baire category between the two expansions, and we determine exactly which Borel classes are preserved. We then identify this homeomorphism with the composition of two maps considered by Moroz (2027), and study the continuity of the second map, which sends modified Engel expansions to Pierce expansions. We determine its set of discontinuities, show that every discontinuity is a jump, and prove that the map is nowhere monotone. In particular, this confirms, for this map, the nowhere monotonicity and the continuity outside the exceptional set conjectured by Moroz (2027). As applications, we characterize the non-increasing position-dependent weights for which the associated series of Pierce expansion digits diverges on a comeager set, and we relate the convergence exponents of the Engel and Pierce expansion digit sequences.

Indefinite theta vectors and generalized Nahm sums of arbitrary rank

math.NT

We construct indefinite theta representations for a family of signed generalized Nahm sums of arbitrary rank \(r\geq2\). After explicit normalization and boundary correction, one signed branch gives the even components of a \((2r-1)\)-component holomorphic theta vector associated with a lattice of signature \((1,1)\). Euler-type multiple sums provide the odd components, yielding formulas uniform in both the rank and the component index. Using Zwegers' theory, we determine the weight-one modular transformation laws of the real-analytic completion, with an explicit finite sine matrix for the \(S\)-transformation. We decompose the nonholomorphic correction into a finite sum of products of unary theta functions and one-dimensional error-function series, and compute the antiholomorphic derivative of the completion. Together with the completed transformation laws, these formulas give the inhomogeneous transformation law of the holomorphic vector. We also evaluate a linear combination of two signed branches as a difference of Jacobi product quotients. This identity and further evaluations for two families of symmetrizable matrices and their duals, combined with known results, give multiple-sum representations for every component of four associated product vectors. These representations are finite combinations of generalized Nahm sums with the prescribed matrices and symmetrizers; in the dual families, signed sums and half-period translates are allowed.

The sixth moment of the Riemann zeta function

math.NT

We prove new large value estimates for the Riemann zeta function on the critical line. For instance, we improve the upper bound on the measure of $t\in [T, 2T]$ with $|\zeta(1/2 + it)| \geq T^{1/8}$ for the first time since Hardy-Littlewood (1923). Our results imply improved upper bounds on the $k$-th moment of zeta for every $4 < k \leq 12$. We show in particular that \begin{equation*} \int_{0}^{T} |\zeta(\tfrac{1}{2} + it)|^6 \,d t \ll_\varepsilon T^{\frac{5}{4} - \frac{1}{60} + \varepsilon}. \end{equation*} The main ingredient is a new large value estimate for exponential sums with square-root phases, and certain perturbations. Those arise in the expansion of the short second moment of zeta.

Translation invariant quadratic forms in $8$ variables and dense sets of primes

math.NT

math.RT

Let $Q$ be a translation invariant indefinite quadratic form in $8$ variables. Let $\mathcal{P}$ be the set of all primes. Let $\mathcal{A}\subset\mathcal{P}\cap\{1,\dots,X\}$. By developing the recent work of Green, we prove that subject to a mild condition on the form $Q$ there exist pairwise distinct primes $p_{1},\dots,p_{8}\in \mathcal{A}$ satisfying $Q(p_{1},\dots,p_{8})=0$ provided that \[\frac{|\mathcal{A}|}{X/\log X}\gg_{Q}(\log\log X)^{-c}\] for some absolute constant $c>0$.

Sharp $p$-adic Extrema and Least Extremal Rows for Restricted Binomial GCDs

math.NT

For integers $m\ge 2$ and rows $N>m$ divisible by $m$, consider the restricted binomial greatest common divisor $G(N;m)=\gcd\{\binom Nk:0

A Prime-Power Dichotomy for Nekrasov--Okounkov Hook Lengths and $t$-Core Partitions

math.NT

Let $a_t(n)$ denote the coefficients of the Nekrasov--Okounkov hook length generating function $F_{t^2}(x)$, and let $b_t(n)$ denote the coefficients of the $t$-core partition generating function $C_t(x)$. We prove a sharp prime-power dichotomy: for every integer $t\ge 2$, the congruence $$ a_t(n)\equiv b_t(n)\pmod t $$ holds for all $n\ge 0$ if and only if $t$ is a prime power. When $t=p$ is prime, the congruence strengthens to modulo $p^2$. For $t=6$, and more generally for every integer that is not a prime power, the congruence fails. This identifies prime powers as the exact moduli for which these two partition-theoretic coefficient sequences are arithmetically equivalent.

Tridimensional character sums with polynomial arguments and applications

math.NT

Let $p$ be a large prime and $\chi$ a non-trivial Dirichlet character modulo $p$. We study the character sum \[ \sum_{a \sim A} \sum_{b \sim B} \sum_{c \sim C} \alpha(a,b) \beta(c)\chi(f(a) + bc), \] where $z \sim Z$ means $Z\le z < 2Z$, $f \in \mathbb{Z}[X]$ is of small degree $k$, and $\boldsymbol\alpha=(\alpha(a,b))_{a\sim A,b\sim B}$ and $\boldsymbol\beta=(\beta(c))_{c\sim C}$ are two complex coefficients. We prove non-trivial upper bounds for this sum in either of the two cases: (1) $\boldsymbol\beta\equiv1$, $k=2,3,4,5$ and $A,B,C>p^{\frac{1}{8}+\varepsilon}$, (2) $\boldsymbol\beta$ general, $k=2,3$ and $A,B,C>p^{\frac{1}{6}+\varepsilon}$, where $\varepsilon>0$ is fixed. This work was originally motivated by an intermediate result of Ganguly and Rajan (2023) on counting $2\times2$ matrices over $\mathbb{F}_p$ with irreducible characteristic polynomials, where the entries are in short segments. The new bounds here allow us to count such matrices in much shorter segments.

Uniform estimate of Lang-Weil type for counting points of schemes over finite rings

math.NT

math.AG

In this paper, we study the number of points of $\mathbb{Z}$-schemes $X$ of finite type over the finite rings $\mathbb{Z}/p^m\mathbb{Z}$ for positive integers $m$ and prime numbers $p$. Motivated by Igusa's conjecture for exponential sums and the Lang-Weil estimate, we establish an estimate of $X(\mathbb{Z}/p^m\mathbb{Z})$ in terms of $m$, $X(\mathbb{Z}/p^{m-1}\mathbb{Z})$ and poles of the $p$-adic Igusa local zeta function of $X$ uniformly in $m\geq 2$ and $p$. Our estimate might be viewed as an inductive version for counting points of schemes over finite rings of the Lang-Weil estimate. Our estimate agrees with the expected bound of Igusa's conjecture for exponential sums if $X_{\mathbb{Q}}$ is not a locally complete intersection having only rational singularities. This can be regarded as an analogous version of the estimate of exponential sums modulo powers of primes of polynomials with non-rational singularities given by Cluckers, Musta\c{t}\v{a} and the author in 2019. In the case that $X_{\mathbb{Q}}$ is a locally complete intersection having only rational singularities, our estimate is very close to the expected bound of Igusa's conjecture for exponential sums. To prove our estimate, beside using the usual tools such as resolutions of singularities and Denef's formula for Igusa local zeta functions, we also use the Hermit interpolation formula to study the numerators of Igusa local zeta functions. By the same method, we are able to approach Igusa's conjecture for exponential sums in the case of rational singularities. Lastly, to have further applications of our result in the future, we study heavily on $p$-adic analysis to give an upper bound of the real parts of non-trivial poles of Igusa local zeta functions in terms of suitable generalized log canonical thresholds.

Quadratic distances in even dimensions over prime fields

math.NT

math.CA

math.CO

Let $p$ be an odd prime, let $m\geq1$ be an integer, and let $Q$ be a nondegenerate quadratic form on $\mathbb{F}_p^{2m}$ with Witt index $m-1$. For a nonempty set $E\subseteq\mathbb{F}_p^{2m}$, write $\Delta_Q(E)=\{Q(x-y):x,y\in E\}$. We prove that, whenever $|E|\geq p^m$, $$ |\Delta_Q(E)|\gg \frac{p}{\log\bigl(2+p^{m+1}/|E|\bigr)}, $$ with an absolute implied constant independent of $p$, $m$ and $Q$. In the planar case $m=1$, we also prove that $$ |\Delta_Q(E)|\gg\frac{|E|}{\log(2|E|)}, \qquad (1\leq |E|\leq p), $$ which is optimal up to a logarithmic factor.

Averages of Artin characters and their relation to the Davenport--Heilbronn theorem

math.NT

We bound the error term in the counting function of cubic extensions of $\mathbb{Q}$ by $\mathcal{O}_\epsilon\left(X^{\theta+\epsilon}\right)$, with $\theta < 2/3$, improving upon results due to Bhargava, Taniguchi, and Thorne. The proof proceeds by relating a certain discriminant-reducing sieve, due to Bhargava, Shankar, and Tsimerman, to averages of Artin characters associated with the Artin $L$-function $\zeta_K(s)/\zeta(s)$, with $K$ a cubic field. Conditional on the Generalised Riemann Hypothesis (GRH) for Dedekind zeta functions $\zeta_K(s)$, we obtain further savings and show that the error term is $\mathcal{O}\left(X^{2/3-1/51+\epsilon}\right)$. Moreover, for the analogous smooth counting problem, we obtain a bound $\mathcal{O}(X^{1/2+\epsilon})$ for the error term, conditionally improving results of Shankar, S\"odergren, and Templier. Our arguments can also handle finitely many splitting conditions. The methods we use to study cubic fields are natural extensions of methods which are used to study the one-level density associated with the above family of Artin $L$-functions. In this direction, we improve the admissible support $[-\sigma,\sigma]$, from the previously known admissible value $\sigma < 2/5$, to $\sigma < 1$, conditional on the GRH. This also proves that at least $75\%$ of these $L$-functions are non-vanishing at the central point, conditionally improving upon results of Shankar, S\"odergren and Templier. Finally, one may study similar questions over a rational function field $\mathbb{F}_q(T)$, with $q$ coprime to $2$ and $3$. Here, we obtain a proportion of non-vanishing of at least $75\%$ for the analogous family of $L$-functions. Furthermore, we obtain a bound $\mathcal{O}(X^{1/2+\epsilon})$ for the error term in the counting function of cubic function fields, improving previous results of the author. Over function fields, our results are unconditional.

Square products of factorials and a conjecture of Erd\H{o}s and Graham

math.NT

For $n\ge2$ let $F(n)$ be the least $k\ge2$ such that $n!$ is the largest factor in a product of $k$ distinct factorials that is a perfect square, and let $D_k(X)$ be the number of $n\le X$ with $F(n)=k$. Erdos and Graham asked for the order of growth of $D_k(X)$ for $3\le k\le6$, and conjectured that $D_6(X)\gg X$. We prove that $D_3(X)=\kappa_3\sqrt X+O_\varepsilon(X^{2/5+\varepsilon})$ with an explicit constant $\kappa_3=2.7097\ldots$, and that $D_5(X)\asymp D_6(X)\asymp X$. Together with classical facts, this determines the order of growth of $D_k(X)$ for every $k$. The exponent $2/5$ comes from balancing a uniform bound for Pell equations against Gallagher's larger sieve, with residue restrictions supplied by the Weil bound. For five and six factors we restrict to integers with a prime factor exceeding $X^{1-\alpha}$, where $\alpha>0$ is small and fixed. We exclude shorter representations by combining an equidistribution estimate for primes of Matomaki, Radziwill, Shao, Tao and Teravainen with the large sieve. In an appendix we use a zero-sum theorem for finite abelian groups to construct, for every $m\ge2$, perfect $m$-th powers that are products of a bounded number of distinct factorials with arguments given by fixed affine functions.

Supersingularity and Superspeciality Verification of Abelian Surfaces

math.NT

cs.CR

Supersingular abelian surfaces are essential in isogeny-based cryptography. Despite this, we have no efficient algorithm to verify if a given abelian surface is supersingular. In this work, we initiate this research topic by giving an efficient Monte Carlo algorithm to verify if an abelian surface over $\mathbb{F}_p$ is supersingular in $O(\log p)$ with negligible failure probability, and an efficient conclusive algorithm if the order is smooth. We derive this algorithm by a careful analysis on the structure of supersingular Jacobians over $\mathbb{F}_p$. Furthermore, we derive efficient algorithms to verify if an abelian variety of any dimension is minimal or maximal, and to verify if a Jacobian of any dimension is superspecial.

Infinite free pro-p products as absolute Galois groups

math.NT

math.GR

In this paper we prove a generalized version of Mel'nikov's Criterion, which has also been proved by Haran, and use it in order to connect the realization as absolute Galois groups of free pronite and free pro-p products of a sheaf of pro-p groups.

On the prime geodesic theorem

math.NT

We improve the error term in the prime geodesic theorem for the modular group. More generally, our result applies to any congruence subgroup of any indefinite quaternion algebra over $\mathbb{Q}$.

On The Index of Polynomial Compositions over Valued Fields

math.NT

math.RA

Determining whether an algebraic number field admits a power integral basis is a classical problem, but it can be difficult for fields defined by polynomial compositions and dynamical iterates. In this paper, we study the monogeneity of compositions $f(h(x))$, where $f(x)$ and $h(x)$ are monic polynomials over an arbitrary Krull valuation ring and $h(x)$ is a trinomial. We derive explicit formulas for the discriminant of the composition and use them to characterize when $f(h(x))$ generates a monogenic field. In particular, we relate the monogeneity of the composition to that of $f(x)$ and to explicit square-free conditions on the critical values of $h(x)$. We further extend the results to polynomial iteration and obtain a criterion for the monogeneity of binomial iterates, yielding new infinite families of monogenic fields. Finally, we give quantitative results and illustrate our criteria with several examples.

Direct Group Laws on Classical Genus-One Models

math.AG

math.NT

This exposition constructs group laws by residual intersection on short Weierstrass cubics, the curves $(u^2+u)(v^2+v)=d$, Edwards curves, Hessian curves, Jacobi quartics curves, Jacobi intersections curves, Huff curves, and a symmetric QRT biquadratic. Lines give the operation on plane cubics, while planes give the operation on smooth intersections of two quadrics in $\PP^3$. Associativity is proved by comparing two products of three line or plane equations. After the common zeros are cancelled, equality of the remaining zeros follows from the elementary fact that a smooth projective curve of genus one admits no nonconstant rational function with one simple pole. The formulas for $(u^2+u)(v^2+v)=d$ are valid in every characteristic and are written explicitly in characteristics $2$ and $3$; the other models are treated in characteristic different from $2$ and $3$.

Markov chains arising in the study of random matrices over pro-finite rings

math.PR

math.NT

Recent work of the author investigates certain random processes, valued in abelian p-groups, that naturally arise in the study of Haar random matrices over $\mathbb{Z}_p$. It was found, somewhat surprisingly, that these processes are reversible Markov chains. In this short note, we give a simple alternative derivation of this fact. The new derivation also proves that this phenomenon is not specific to $\mathbb{Z}_p$, but generalizes to Haar random matrices over any profinite local ring.

Transcending Algebraic Geometry

math.AG

math.LO

math.NT

We give an exposition of some of the ideas leading up to Jacob Tsimerman's groundbreaking work developing the theory of o-minimal definability in arithmetic and algebraic geometry.

Mock Modularity, Resurgence, and Dual False Theta Functions

hep-th

math.GT

math.NT

The $\hat{Z}$ invariant of a three-manifold $M_{3}$, a half-index of the $3d$ $\mathcal{N}=2$ theory $T[M_{3}]$, is well understood for negative-definite plumbed three-manifolds. For orientation-reversed manifolds, however, the known formulas fail to produce $q$-series, and making sense of the operation $q \rightarrow q^{-1}$ remains a central open problem. Seifert manifolds, whose $\hat{Z}$ invariants are built from false theta functions, offer a natural testing ground. We study ``dual false theta functions'', the objects that should replace false theta functions under orientation reversal. Two characterizations of these duals exist in the literature: a modular one, based on mock modularity with a prescribed shadow, and a resurgent one, based on Borel--Mordell integrals and transseries. We prove that the two characterizations are equivalent. We construct a new family of dual false theta functions for values of positive integer $p$ satisfying a Pell-equation condition. Its members are built from Zwegers' indefinite theta functions, have integer coefficients, and have effective central charge $c_{\text{eff}} \leq 1$. We also show that the mock theta functions of Li and Schwagenscheidt satisfy these characterizations and arise from a natural regularization of the divergent product $\eta^{3}(\tau)\psi_{p, a}(- \tau)$.

A Combinatorial Approach to the CUE Joint Moment Problem

math.PR

math-ph

math.CO

math.MP

math.NT

In this paper, we give exact combinatorial expressions for all CUE joint moments on the unit circle, in the case that all exponents are even positive integers, yielding the corresponding asymptotics. We offer two equivalent expressions for these quantities: the first is a sum involving Kostka numbers; the second is related to counting integer matrices (magic squares). As an application of our results, we unify many results in the literature, which were previously disconnected. Moreover, we prove a conjecture of Basor et al. (2018) regarding an irregular conformal block structure.

Intersecting integer partitions: star bounds and counterexamples at every scale

math.CO

math.NT

Two integer partitions $t$-intersect if they have at least $t$ common parts, counted with multiplicity. We study the largest $t$-intersecting families of integer partitions of $n$ into exactly $k$ positive parts. The canonical $t$-star consists of the partitions containing at least $t$ ones. Applying Kupavskii's weak-spread theorem, we prove that this star is largest whenever $n\ge Ak^3$, for every fixed $A>24$ and all sufficiently large $k$, uniformly over $1\le t

Recurrent two-dimensional sequences over three and four letters simulating von Neumann constructions of finite ordinals

math.CO

math.NT

We study three recurrent double sequences whose colored diagrams encode mirrored versions of the finite-ordinal construction. Two sequences use three letters and realize variants with two and three initial symbols. A four-letter sequence realizes the von Neumann construction from one initial symbol. For each sequence we describe its cells explicitly and identify the ordered nesting of its rectangles. For four letters, we distinguish ordinary and virtual boxes and prove their assembly rules. The proofs proceed by induction along antidiagonals. For the constructions with one and three initial symbols, we reduce the recurrence to finite sets of local configurations and verify those sets by computer. We derive formulas for the numbers of nested boxes, including arithmetic-term representations, and we prove that none of the three sequences is $k$-automatic for any integer $k \geq 2$.

Complex hyperbolic surfaces whose closed geodesics are all simple

math.GT

math.AG

math.DG

math.NT

We show that all closed geodesics in any arithmetic complex hyperbolic surface of second type are simple. These include the fake projective planes studied by Mumford, Klingler, Prasad-Yeung, and Cartwright-Steger.

On a parity result for the symmetric square of modular forms with congruent residual representations

math.NT

v3

The parity of Selmer ranks for elliptic curves defined over the rational numbers $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$ has been studied by Shekhar. The proof of Shekhar relies on proving a parity result for the $\lambda$-invariants of Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension $\mathbb{Q}_\infty$ of $\mathbb{Q}$. This has been further generalized for elliptic curves with supersingular reduction at $p$ by Hatley and for modular forms by Hatley--Lei. In this paper, we prove a parity result for the $\lambda$-invariants of Selmer groups over $\mathbb{Q}_\infty$ for the symmetric square representations associated to two modular forms with congruent residual Galois representations. We treat both the ordinary and the non-ordinary cases.

Symmetry of hypergeometric functions over finite fields and geometric interpretation

math.NT

v5

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms between certain algebraic varieties. The numbers of rational points on these varieties are hypergeometric functions over finite fields.

Difference operators and difference equations on lattices, or grids, up to the elliptic hypergeometric case

math.NT

v3

It is shown how to define difference operators and equations on particular lattices $\{x_n\}$, $2n\in\mathbb{Z}$, such that the divided difference operator $(\mathcal{D}f)(x_{n+1/2})= (f(x_{n+1})-f(x_n))/(x_{n+1}-x_n)$ has the property that $\mathcal{D}f$ is a rational function of degree $2d$ when $f$ is a rational function of degree $d$. It is then shown that the $x_n$s are in the most general case values of an elliptic function at a sequence of arguments in arithmetic progression (\emph{elliptic lattice}). Many special and limit cases, down to the most elementary ones, are considered too. First and second order difference operators and equations are constructed, up to the simplest elliptic hypergeometric ones. One also shows orthogonality and biorthogonality properties of rational solutions to some of these difference equations.

On the Riemann Hypothesis for Drinfeld Modules

math.NT

v2

In this paper we provide a short proof of the Riemann Hypothesis for Drinfeld modules which uses only basic notions from the theory of global function fields and of Drinfeld modules.

A sharp almost sure upper bound for partial sums of random multiplicative functions

math.NT

math.PR

v2

We prove that, for either a Steinhaus random multiplicative function or a Rademacher random multiplicative function $f$, and every $\varepsilon>0$, almost surely $|\sum_{n\le x}f(n)|\ll_{\varepsilon,f}\sqrt{x}(\log\log x)^{1/4+\varepsilon}$. Together with Harper's almost sure lower bound, this determines the sharp logarithmic exponent in both models. This settles Harper's conjecture on the large fluctuations of random multiplicative functions.

Better than square-root cancellation and Gaussian behavior on Piatetski-Shapiro Sequences

math.NT

v2

In this paper, we investigate whether Harper's better than square-root cancellation phenomenon still appears in Piatetski-Shapiro sequences, and when one should expect only square-root size. If $c=c(X)$ satisfies $(c-1)\log X\to 0$ as $X\to\infty$, then for Steinhaus or Rademacher random multiplicative functions we have \[ \mathbb{E}\left|\sum_{n\in\mathcal{N}^{(c)}(X)}f(n)\right|=o\!\left(\sqrt{|\mathcal{N}^{(c)}(X)|}\right). \] For Lebesgue almost every fixed $1<\frac{8}{7}$, we prove the multiplicative energy satisfies \[ E^\times(\mathcal{N}^{(c)}(X))=2|\mathcal{N}^{(c)}(X)|^2-|\mathcal{N}^{(c)}(X)|+o\left(|\mathcal{N}^{(c)}(X)|^2\right). \] Together with a largest prime factor estimate, this allows us to apply the criterion of Soundararajan and Xu and obtain a standard complex Gaussian limit for the normalized Steinhaus sum. To the best of our knowledge, this gives the first asymptotic formula for the multiplicative energy of Piatetski-Shapiro sequences. For fixed exponent argument, our proof combines metric arguments with the Van der Corput's $B$-process and a double large sieve estimate with Robert-Sargos spacing theorem.

Extreme values and logarithm laws for toral translations

math.NT

math.DS

math.PR

v2

We study extreme values of normalised $r$-th nearest neighbour distance functions in inhomogeneous Diophantine approximation, and prove Weibull and Fr\'echet limit laws for these functions 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. We adapt the Poisson approximation strategy of Bj$\ddot{\text{o}}$rklund and Gorodnik (arXiv:2201.05116) combined with an effective multiple equidistribution result, which we deduce using results of Str$\ddot{\text{o}}$mbergsson (arXiv:1309.6103) and of Bj\"{o}rklund and Gorodnik (arXiv:2105.05468).

Central non-vanishing of Dirichlet $L$-functions

math.NT

v2

We prove that, for every sufficiently large modulus $q\not\equiv2\bmod4$, at least $3/8-o(1)$ of the primitive Dirichlet characters $\chi$ modulo $q$ have $L(1/2,\chi)\ne0$. We also establish stronger proportions for moduli $q$ satisfying certain arithmetic conditions.

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

math.NT

v2

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

The exceptional set of a prime and a square

math.NT

v2

Let $X$ denote the number of positive integers which are a prime plus a square. We prove that $E(X)=O(X^{4/5})$.

Density of large holes among power-free lattice points

math.NT

math.CO

v2

For fixed integers $d,r\ge1$ with $dr\ge2$, the $r$-free points of $\mathbb{Z}^d$ are those whose coordinate gcd is not divisible by the $r$th power of any prime. Fix $1\le q\le \infty$. A lattice point is $R$-deep if every lattice point in the closed $\ell_q$-ball of radius $R$ centred there is non-$r$-free. We mark each finite nearest-neighbour component of non-$r$-free points containing an $R$-deep point by its lexicographically least such point. Uniformly for $1\le q\le\infty$, the densities of $R$-deep points and of these representatives both have the asymptotic form $\exp\left\{-\frac{v_{d,q}R^d}{\zeta(dr)}\left[d(dr-1)\log R+dr\log\log R-\Upsilon_{d,r,q}+r\frac{\log\log R}{\log R}-\frac{\Lambda_{d,r,q}}{\log R}+O_{d,r}\left(\frac{(\log\log R)^2}{(\log R)^2}\right)\right]\right\}$ as $R\to\infty$, where $v_{d,q}$ is the volume of the unit $\ell_q$-ball and $\Upsilon_{d,r,q},\Lambda_{d,r,q}$ are explicit constants. For deep points, this sharpens the positive-density hole constructions of Baake, Moody, and Pleasants and of Pleasants and Huck, and the latter authors' upper bounds for sparse-pattern frequencies. For $d=1$, consider the densities of $r$-free integers followed by at least $g-1$ consecutive non-$r$-free integers, or by exactly $g-1$ such integers and then another $r$-free integer. Both have the asymptotics $\exp\left\{-\frac{g}{\zeta(r)}\left[(r-1)\log g+r\log\log g-\widehat{\Upsilon}_r+r\frac{\log\log g}{\log g}-\frac{\widehat{\Lambda}_r}{\log g}+O_r\left(\frac{(\log\log g)^2}{(\log g)^2}\right)\right]\right\}$ as $g\to\infty$, where $\widehat{\Upsilon}_r=\Upsilon_{1,r,1}+(r-1)\log2$ and $\widehat{\Lambda}_r=\Lambda_{1,r,1}+r\log2$. The exact-gap expansion improves Grimmett's leading asymptotic and refines the formula in Jiang's recent preprint. For fixed $r$, we also obtain estimates uniform in growing dimensions $d=O_r((\log R)^r)$.

On the largest prime factors of $p-1$ and $p+1$

math.NT

v3

We prove that each of the inequalities $P^{+}(p+1)>P^{+}(p-1)$ and $P^{+}(p-1)>P^{+}(p+1)$ holds for a positive proportion of primes. The argument combines a logarithmic balance identity with a uniform Selberg sieve over a thin cofactor strip. The same transfer mechanism applies to either shift and converts a one-sided large-prime-factor reservoir into an unconditional ordering result in both directions.

The rationality problem for multinorm one tori

math.AG

math.NT

math.RA

v4

In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. For multinorm one tori that split over finite Galois extensions with nilpotent Galois group, we prove that stable rationality and retract rationality are equivalent, and give a criterion for the validity of the above two conditions. This generalizes the result of Endo (2011) on the rationality problem for norm one tori. To accomplish it, we introduce a generalization of character groups of multinorm one tori. Moreover, we establish systematic reduction methods originating in work of Endo (2001) for an investigation of the rationality problem for arbitrary multinorm one tori. In addition, we provide a new example for which the multinorm principle holds.

On hyperbolic lattices whose reduced automorphism group is virtually abelian

math.AG

math.NT

v2

We give a classification of even integral lattices with virtually abelian reduced automorphism group. As a consequence, we complete the classification of K3 surfaces with virtually abelian automorphism group. In the appendix we formulate an algorithm for weak approximation in orthogonal groups and use it to determine if two indefinite lattices are isometric.

A lattice family with kissing numbers $\tau(\mathcal{L}_n) \ge e^{2 \sqrt{n}}$

math.CO

cs.IT

math.IT

math.MG

math.NT

v2

For all prime powers $q\geq5$, we construct lattices $\mathcal{L}_q\subseteq\mathbb{Z}^q$ with kissing numbers \[ \tau(\mathcal{L}_q)\geq \left(\frac{1}{2\pi e^2}+o(1)\right)\sqrt{q}\,e^{2\sqrt{q}}. \] The same asymptotic bound holds on a set of integer dimensions of natural density $1$, and in every sufficiently large integer dimension $n$ with an additional factor $e^{-\tfrac{1}{2}n^{1/40}}$. The construction is an extension of a previous construction by Bennett-Peikert based on Reed-Solomon codes.

Extremal Least Common Multiples in Rows of Pascal's Triangle

math.CO

math.NT

v2

For $r \ge 0$, let $\mathcal P_r=\{\binom{r}{0},\binom{r}{1},\ldots,\binom{r}{\lfloor r/2\rfloor}\}$ be the set of distinct entries in row $r$ of Pascal's triangle. We study the least possible least common multiple of $n$ entries chosen from one row, with the row itself also free: $a(n)=\min_{r\ge0,\ S\subseteq\mathcal P_r,\ |S|=n}\operatorname{lcm}(S)$. Whereas the least common multiple of an entire row is given by a classical identity of Farhi, allowing both the row and the selected coefficients to vary creates a different optimization problem. We first recast the fixed-row problem exactly as a weighted prime-power exclusion problem, which explains how omitting a few coefficients can remove expensive prime-power contributions. Our main asymptotic result is $\log a(n)=2n+O\!\left(n\exp\!\left(-c(\log n)^{3/5}(\log\log n)^{-1/5}\right)\right)$ for some absolute $c>0$, so $a(n)^{1/n}\to e^2$. A two-band refinement further shows that every optimal row satisfies $r_n=2n+O\!\left(n\exp\!\left(-c(\log n)^{3/5}(\log\log n)^{-1/5}\right)\right)$, and that the minimum prefix defect of an optimal support is $o(n)$.

On c-polynomial factorisations

math.CO

math.NT

v2

c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.