Number Theory [math.NT]

Lower bounds for some value sets over finite fields: incidence geometry and Bourgain's group expansion theorem

math.NT

We develop two transition principles for lower-bounding value sets generated by structured sequences over prime fields. A reciprocal-affine family with $M$ internal transitions and bounded quotient multiplicity has image size $\gg \min{M,p}^{8/15}$. This recovers the factorial-residue bound and yields the same exponent for arithmetic Pochhammer products, Gaussian $q$-factorials, derangement numbers, and the numbers of ordered subsets. A second theorem treats nonzero sequences whose consecutive ratios evolve under a nondegenerate M"obius transformation: their value sets have size $\gg \min{M,p}^{1/2+\eta}$ for an absolute constant $\eta>0$. As consequences, fixed rows of Pascal's triangle and the initial half-blocks of the Catalan and central binomial sequences exceed the square-root scale. The proofs combine transition quotients with, respectively, Cartesian-product point-line incidence geometry and Bourgain's expansion-based incidence theorem in $\mathrm{SL}_2(\mathbb{F}_p)$.

On the Diophantine Equations Arising from Three-Term $b$-Concatenations in Pell-Type Sequences

math.NT

We study the Diophantine problem of representing a Pell or Pell--Lucas number as the base-$b$ concatenation of three other Pell or Pell--Lucas numbers. Under the condition that the index of the middle block does not exceed that of the leading block, we obtain an explicit upper bound for the sequence indices in terms of $b$. For $2\leq b\leq15$, we determine exactly $51$ solutions up to the identification $Q_0=Q_1=2$, while there are $74$ solutions when distinct index choices are counted separately.

Primes with Restricted-Digit Differences

math.NT

math.CO

Fix a base $b\ge2$ and a digit set $\mathcal{D}\subset\{0,1,\dots,b-1\}$, and let $\mathcal C_k$ be the set of integers in $[0,b^k)$ whose $k$ base-$b$ digits all lie in $\mathcal D$. We study prime pairs and three-term arithmetic progressions in primes whose difference, or common difference, belongs to $\mathcal C_k$. Under a natural digit non-resonance condition, we establish a localized Fourier criterion guaranteeing asymptotic formulae with explicit leading constants for both problems. Using a transfer-operator argument, we verify this criterion in explicit parameter ranges for several natural families of digit sets.

On the classification of small cyclotomic integers

math.NT

We give a general classification theorem for cyclotomic algebraic integers with all complex absolute values bounded by a fixed constant $c$, modeled on the theorem of Cassels which treats the case $c = \sqrt{5}$ up to finitely many exceptions. As a corollary, we establish that the range of the function taking a cyclotomic integer to its maximum complex absolute value is a well-ordered (but not closed) subset of the real numbers. We also formulate analogous statements for algebraic numbers in the maximal cyclotomic extension of a fixed number field. The proofs combine a result of Loxton, which bounds the number of roots of unity in the shortest additive representation of a cyclotomic integer in terms of the maximum complex absolute value, with an equidistribution theorem of Bilu et al. for Galois orbits of torsion points on algebraic tori.

On the class number of certain cyclotomic fields

math.NT

We construct four infinite families of cyclotomic fields and show that each member of these families has class number a multiple of 3. In fact, we show that the class number of the corresponding maximal real subfields has class number divisible by 3. A construction by Kishi and Miyake [11] and a result of Yamaguchi [13] help us achieve this target. Finally, we produce computational evidence corroborating our results.

A $q$-microscope for mock-theta denominator patterns

math.NT

We give a systematic creative-microscoping treatment of truncated basic hypergeometric sums attached to three classical third-order mock theta denominator patterns, represented by $\phi(q)$, $\omega(q)$, and $\nu(q)$. The main conceptual point is that these denominator patterns naturally admit exact finite theta evaluations at $a=q^{\pm n}$, microscopic $q$-supercongruences, and cyclotomic/$p$-adic consequences within a single framework. For \[ S(q,a):=\sum_{n\ge 0}\frac{q^{2n+1}(aq,q/a;q^2)_n}{(-q^2;q^2)_n}, \] we prove, for odd $n$, a finite theta evaluation at $a=q^{\pm n}$, equivalently a microscopic $q$-supercongruence. We prove an analogous finite theta evaluation for the $\nu$-type denominator \[ N_m(q,a):=\sum_{j=0}^{m} q^{2j+1}\frac{(aq,q/a;q^2)_j}{(-q;q^2)_{j+1}}. \] We then introduce the one-parameter denominator family \[ \T(q;b):=\sum_{n\ge 0} q^{2n}\frac{(q;q^2)_n^2}{(q^2;q^2)_n(b;q^2)_n}, \] whose specializations include the $\omega$-type shifted denominator ($b=q^3$) and the two-color family ($b=q^{2k}$). For its truncated $a$-extension we obtain an exact evaluation at $a=q^{\pm n}$, deduce microscopic congruences modulo $(a-q^n)(1-aq^n)$, and derive cyclotomic consequences, including zero congruences in the $q^{2k}$-subfamily and nontrivial $p$-adic versions for the cases $b=q$ and $b=q^3$.

Infinite-order $p$-adic differential equations for Hurwitz-type Euler zeta functions: Higher-dimensional extensions and uniqueness of bounded solutions

math.NT

math-ph

math.MP

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

The entropy of coclass one and of SmallGroup(729,45)

math.NT

math.GR

Investigating the descendant tree T(Delta) of 3-groups G of maximal nilpotency-class, with root Delta=SmallGroup(27,3), we show for the first time that an entropy-value H(P_r)=sum P_r(G)|log(P_r(G))| can also be determined for the real probability-distribution P_r(G) of all terminal vertices outside of the mainline on this infinite digraph. These vertices arise as automorphism groups Gal(F(3,infinity,K)/K) of maximal unramified pro-3-extensions F(3,infinity,K) of real-quadratic number fields K=Q(d^1/2), d>0. For the groups G of another descendant tree T(N), with root N=SmallGroup(729,45) and unbounded coclass, which has been studied by L. Bartholdi and M. R. Bush, we compare the entropy H(P_r) of the real measure P_r(G) with the entropy H(P_i) of the imaginary measure P_i(G).

Central non-vanishing of Dirichlet $L$-functions

math.NT

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.

From dimension four to dimension five in the Tate conjecture for abelian varieties over finite fields

math.NT

Assume the Tate conjecture for abelian varieties of dimension at most four over finite fields. We prove it in dimension five, in every codimension and for every prime $\ell\ne p$. In dimension five we also prove standard conjecture~$D_\ell$ over $\overline{\mathbf F}_p$ and independence from $\ell$ of rational cycle class kernels over algebraically closed fields of characteristic $p$. An analysis of K\"unneth summands and Newton polygons reduces the proof to a block formed from an almost ordinary surface, an ordinary surface, and a supersingular elliptic curve. A CM half twist, a Morita decomposition, and Kimura nilpotence identify the Tate classes of this block with endomorphisms of the ordinary surface. Kahn's theorem then gives equality of rational and numerical equivalence and Parshin's conjecture over finite fields in dimension five.

Lattice point visibility along polynomials has density one

math.NT

We prove that every nonzero integer polynomial with at least two distinct complex roots has lattice point visibility density one, resolving the polynomial visibility conjecture of Chaubey-Pandey in the generality proposed by Lobsenz-Phillips. Visibility is taken along the curves y = tF(x) with rational t, with a point visible if no positive lattice point on the same curve has a smaller horizontal coordinate. The proof uses a greatest common divisor cutoff to reduce the problem to finitely many equations of the form F(b) = qF(a), with 0 < q < 1; for each equation, the positive integers a admitting a positive integer solution b < a form a set of density zero. This elementary argument removes the proper-power hypothesis of earlier work without requiring estimates uniform in the ratio.

Normal Behavior and Periodic Points of a Pseudo-Aliquot Map Associated with the Dedekind Psi Function

math.NT

We study the iteration of (T(n)=\psi(n)-n), where (\psi) is the Dedekind psi function. We show that, for almost all integers, successive iterates satisfy strong asymptotic growth relations governed by (T(n)/n). As an application, we prove that for every fixed (\ell\ge1), the set of integers satisfying (T^{(\ell)}(n)=n) has asymptotic density zero, and hence so does the set of periodic points of any fixed period.

Mean Values and Normal Order of a Successive-Iterate Ratio of Dedekind's Arithmetic Function

math.NT

We obtain asymptotic formulas for the three sums \[ \sum_{n\le x}\frac{\psi(\psi(n))}{\psi(n)},\qquad \sum_{n\le x}\frac{\psi(n)}{\psi(\psi(n))},\qquad \sum_{n\le x}\log\frac{\psi(\psi(n))}{\psi(n)}, \] where \(\psi\) denotes Dedekind's arithmetic function. We also determine the normal order of the successive-iterate ratio; more precisely, \[ \frac{\psi(\psi(n))}{\psi(n)} \sim \frac{6e^\gamma}{\pi^2}\log_3 n \] for almost all positive integers \(n\).

Bounds on Whittaker Functions for $\mathrm{GL}(n)$

math.NT

We prove a new estimate on Jacquet-Whittaker function for $\mathrm{GL}_n(\mathbb R)$, assuming that the Langlands parameters are purely imaginary and well-spaced. This gives an upper bound for the global sup-norm of the Whittaker function that matches the lower bound of Brumley-Templier in the exponent up to a linear error in $n$.

Fields of definition of $p$-torsion points of elliptic curves and their ramification

math.NT

Let $E$ be an elliptic curve over $\mathbb{Q}_p$. We study the field $\mathbb{Q}_p(E[p])$ generated by the $p$-torsion points of $E$. When $E$ has good reduction, we determine not only $\mathbb{Q}_p(E[p])$ but also the field $\mathbb{Q}_p(P)$ for every point $P\in E[p]$. This classification yields criteria for the existence of $p$-torsion over unramified and Lubin--Tate extensions of $\mathbb{Q}_p$. As a global application, let $E/\mathbb{Q}$ be an elliptic curve and let $p$ be an odd prime of good reduction. Define $f_p(E)$ to be the multiplicative order of $a_p(E)$ modulo $p$ in the ordinary case, and set $f_p(E)=p^2-1$ in the supersingular case. We prove that $E(K)[p]=0$ for every number field $K/\mathbb{Q}$ with $[K:\mathbb{Q}]

Methods to Find Integer Points on the Elliptic Curve of Factorizable Polynomial Equation

math.NT

As a valuable theoretical and application problem, the integer points on two types of elliptic curve y^2=(x-a)(x-b)(x-c) and y^2 = (x-a)(x^2+ax+b) are studied. By using elementary number theory method, the solution of the original equations is reduced to the solution of simultaneous Pell equations or generalized Pell equation, which can improve the efficiency in searching integer solutions by computer. Effective methods are proposed to find the integer solutions of the equations, which are convenient for algorithm programming implementation. At the same time, the derivation of the methods leads to two sufficient conditions, which can determine the unsolvability of these two types of equation respectively. The methods proposed are for equations with undetermined coefficients, which are more general than the solutions of the equations with specific known coefficients, and more suitable for computer programming implementation.

Optimization of Quadratic Sieve Algorithm Implementation for Large Integer Factorization

math.NT

The quadratic sieve method is a core tool in number theory. In this paper, we present two optimization methods for the Quadratic Sieve algorithm. In the sieving process, the original polynomial root value accumulation step is changed from the original di to the mdi (m is a small integer), which can change the complexity from O(n) to O(n/m). Another optimization method is that for all parameter lookup steps, the original traversal lookup can be changed to an efficient binary search, which can change the complexity of the loop from O(n) to O(logn). This enhancement reduces the computational complexity of RSA modulus factorization in practical settings.

Unsupported Cyclotomic Divisors in Three-Prime Integer Tilings

math.NT

Cyclotomic divisibility imposes strong prime-power structure on integer tiles. We study unsupported cyclotomic divisors: mixed-order divisors for which none of the prime-power components of the order divides the mask, although every prime in the order divides the tile cardinality. Kiss, \L aba, Marshall and Somlai asked whether such a phenomenon can occur in the three-prime setting. We prove that unsupported cyclotomic divisors already occur for periods with three distinct prime factors. For primes \(p

Generalized Zeckendorf expansions of the 2nd order

math.NT

We generalize Zeckendorf's theorem to second-order linear recurrences of the form $G_{k+2} = gG_{k+1} + hG_{k}$ with arbitrary, coprime initial values $(G_1, G_2)$. We analyze the asymptotic behavior of the count $\#R_G(X)$ of positive integers less than or equal to $X$ that have an expansion under the standard rule of expansions $\mathcal{E}$ associated with the recurrence. Additionally, we provide sufficient conditions under which $G$ has the unique expansion property under the rule of expansions. Finally, we completely characterize the $g$-golden ratio recurrence family when $G_1 = 1$ or $G_2 = 1$. Our approach directly investigates the algebraic structure of the expansions, simplifying and completing previous partial results.

A Fricke transformation for cubic-residue eta products of level 13

math.NT

We prove an explicit Fricke transformation for the two-dimensional space generated by normalized reciprocal products on the cubic-residue cosets modulo 13. The transformation matrix is a scalar multiple of a matrix of differences of cubic Gaussian periods. Its projective action is defined over the cyclic cubic field, whereas the normalized matrix is defined over the real cyclotomic field. The proof uses generalized eta functions, a modular unit of degree two on $X_1(13)$, and a five-coefficient identity. A separate divisor argument lifts the projective transformation to the asserted linear transformation. We also record the Fricke images at an arbitrary prime $p\equiv1\pmod3$ and prove that their normalized sine constants belong to the associated cyclic cubic subfield.

High dimensional Riemann--Roch spaces in linear spaces with small squares

math.NT

math.CO

Let $F$ be a function field over an algebraically closed field $K$ and $S$ a finite dimensional $K$-subspace of $F$. The square of $S$ is spanned by all products of pairs of elements in $S$. We conjecture that if $\dim S^2 \leq 3 \dim S - 4$, then $S^2$ must contain a Riemann--Roch space of dimension at least $2 \dim S - 1 + g$, where $g$ is the genus of $F$. This generalizes a theorem of Freiman from additive combinatorics, stating that small sumsets must contain long arithmetic progressions. We prove our conjecture in the case that $S$ is contained in a Riemann--Roch space of dimension at most $3/2\dim S + 1$. For the proof we study the annihilator of $S$ and introduce the notion of weight for linear forms.

Three Irrationality Results for the Dilogarithm: Rhin--Viola and Viola--Zudilin Constructions at $-1/4$, $1/5$, and $-1/3$

math.NT

We prove the irrationality of \[ \Li_2(-1/4),\qquad \Li_2(1/5),\qquad \Li_2(-1/3). \] The three arguments form a natural progression. The first is an endpoint completion of the five-parameter Rhin--Viola method. Rhin and Viola's 2019 treatment already supplies the negative-argument continuation, permutation invariance and factorial divisor; at $z=-4$ we use three bounded shifts, an elementary fixed-contour estimate and a four-term recurrence to remove the remaining nonvanishing problem in the complex-saddle regime. For $1/5$ we pass to the six-parameter Viola--Zudilin family and apply the Rhin--Viola factorial transformations term by term inside two binomial expansions of the same integral. This inherited divisor crosses the arithmetic threshold that the unrefined five-parameter construction does not reach in our computations. The same crossbreed, combined with the negative-argument continuation, proves the result at $-1/3$. All proof-critical finite inequalities are accompanied by exact executable certificates. Supplementary computations propagate $10{,}000$ exact primitive coefficient pairs for each of $1/5$ and $-1/3$, with complete gcd removal and no failure of the certified smallness or adjacent nonproportionality checks.

Maximising the number of solutions to linear equations

math.NT

math.CO

We study the asymptotically maximal possible number of integer solutions to the linear equation $ax+by+cz = 0$ with a fixed choice of $a, b, c \in \mathbb{Z}$ and variables $x, y, z \in S$ for some finite set $S\subset \mathbb{Z}$, as $|S|\to +\infty$. Define $\gamma_{a, b, c}$ to be the largest constant for which there are arbitrary large finite sets $S\subset \mathbb{Z}$ such that the number of solutions to $ax+by+cz=0$ with $x,y,z\in S$ is $\gamma_{a,b,c}|S|^2-o(|S|^2)$. We prove structural results for general $a, b, c$ and moreover, we show that $5/13\le \gamma_{1,1,-3}\le 1/2-\delta$ for some constant $\delta>0$. In addition we show that the limit as $a \rightarrow \infty$ of $\gamma_{1,1,-a}$ is equal to precisely $1/5$.

$p$-adic properties of division polynomials and algebraic sigma functions

math.NT

Let $p \geq 5$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $E/K$ be an elliptic curve with good reduction. Let $F_n$ denote the $n$-division polynomial of $E$. Silverman proved that if the reduction is ordinary, then for every $P \in E(K) \setminus \hat{E}(K)$ and a suitable power $q$ of $p$, the sequences $(F_{mq^k}(P))_{k \geq 0}$ converge $p$-adically to limits that are algebraic over the field of definition of $E$. In both the ordinary and supersingular cases, we show that these sequences converge, and determine these limits explicitly in terms of the values of Mumford's algebraic sigma function attached to the Teichm\"uller lift of the prime-to-$p$ torsion component of the reduction of $P$. In particular, the limits are algebraic in the supersingular case as well. As an application, we obtain explicit $p$-adic limit formulas for nonsingular elliptic divisibility sequences.

Upper bounds for arithmetic functions over polynomial values via Chebotarev--Sato--Tate distributions

math.NT

We establish logarithmic upper bounds for nonnegative multiplicative functions evaluated at values of multivariable polynomials. The polynomial contribution is encoded by the permutation character on the geometric irreducible components of the corresponding hypersurface, while the arithmetic contribution is described by a class function on a joint Chebotarev--Sato--Tate group. This yields a unified framework for symmetric-power coefficients of CM and non-CM modular forms, Dedekind zeta-function coefficients, and mixed automorphic--Galois weights. As a further application, we obtain quantitative divisibility results for Fourier coefficients along polynomial values, including explicit formulas in the full residual-image and Eisenstein congruence cases.

The method of telescoping continued fractions

math.NT

We give an approach to discover continued fractions for series of the form $$\sum_{k=0}^\infty \frac{\epsilon^k}{(x+k)^s},$$ where $\epsilon = \pm 1$. We find a continued fraction of the form \begin{equation*} \frac{a_1}{b_1(x)} \fplus \frac{a_2}{b_2(x)} \fplus \fdots \end{equation*} where $a_k$ are constants and $b_k(x)$ are polynomials. Our technique involves telescoping continued fractions. This provides a discovery approach to continued fractions given by Ramanujan for $$2\sum_{k=1}^\infty \frac{(-1)^{k+1}}{x+2k-1}, 2\sum_{k=0}^\infty \frac{1}{(x+2k+1)^2}, 2\sum_{k=0}^\infty \frac{(-1)^k}{(x+2k+1)^2}, \sum_{k=1}^\infty \frac{1}{(x+k)^3}, $$ and the like. We display the first few terms of several continued fractions obtained in this manner for larger values of $s$, including $s=5, 7, 9, 11$. They do not follow as simple a pattern as Ramanujan's continued fractions.

Counting Representations of Quadratic Forms

math.NT

We answer a question of C. S. Herz about the number of integral $k\times m$ matrices $T$ such that $T^tT\leq R$ for a fixed positive definite $m\times m$ matrix $R$. We give an asymptotic formula for the count. This can be seen as a generalization of the Gauss circle problem, as counting representation of quadratic forms by the identity $I_k$, and as counting integral points bounded by the Stiefel manifold $T^tT=R$. The main tool is a bound for Bessel functions of matrix argument that was proved over Jordan algebras.

A Proof of Bala's Congruence Conjectures for A158690

math.NT

math.CO

Let $a(n)$ be the sequence A158690 in the On-Line Encyclopedia of Integer Sequences (OEIS), defined by the exponential generating function $\sum_{n\ge0} a(n)t^n/n! = 1+\sum_{m\ge1}\prod_{j=1}^m(1-e^{-(2j-1)t})$. We prove two congruence conjectures of Peter Bala. The first states that, for every integer $k\ge1$, the sequence $a(n)$ modulo $k$ is eventually periodic with period dividing $\varphi(k)$. We prove the stronger statement that the Carmichael function $\lambda(k)$ is an eventual period. The second conjecture asserts the shifted Gauss congruences $a(np^r+i)\equiv a(np^{r-1}+i)\pmod{p^r}$ for every $i\ge0$, every prime $p$, and all $n,r\ge1$. Both results follow from a general theorem for exponential generating functions of the form $G(e^t-1)$ with $G\in\mathbb Z[[y]]$, together with the standard power-sum formula for Stirling numbers of the second kind.

Parameterized partial theta identities and a unified $q$-difference proof

math.NT

math.CO

We establish five families of integer-parameter extensions of Ramanujan's partial theta identities. The families follow from a common two-parameter specialization of Andrews' transformation, for which we give an independent proof based on a $q$-difference recurrence and a boundary estimate. Specializations of the integer parameter recover six identities from Ramanujan's lost notebook. As an application, a residue argument applied to the fifth family gives an integer-parameter extension of Lovejoy's residual identity, from which we construct a corresponding family of conjugate Bailey pairs.

The Normal Form of Smith's Matrices

math.NT

For any integers $x$ and $y$, let $(x,y)$ and $[x,y]$ stand for the greatest common divisor and the least common multiple of $x$ and $y$, respectively. We denote by $|T|$ the number of elements of a finite set $T$. Let $a,b$ and $n$ be positive integers and let $S=\{x_1,...,x_n\}$ be a set of $n$ distinct positive integers. Let $(f((x_i,x_j)))$ (abbreviated by $f(S)$) and $(f([x_i,x_j]))$ (abbreviated by $(f([S]))$) stand for the $n\times n$ matrices whose $(i,j)-$entry is $(f((x_i,x_j)))$ and $(f([x_i,x_j]))$ respectively. In 1989, Beslin and Ligh gave a description of the lower triangular decomposition of $((x_i,x_j))$. In 1992, Bourque and Ligh showed that if $S$ is factor closed (i.e., S contains all positive divisors of any element of S), then the GCD matrix $((x_i,x_j))$ divides the LCM matrix $([x_i,x_j])$ (written as $((x_i,x_j))|([x_i,x_j])$) in the ring $M_n(\mathbb{Z})$ of $n\times n$ matrices over the integers. In this paper, we will show the diagonalization of $((x_i,x_j))$ and its applications. Our main new contributions are Theorems 4.1 and 4.2, which extend previous results to gcd-closed sets satisfying condition $\mathcal{G}$.

On a problem of Nathanson related to minimal asymptotic bases and maximal asymptotic nonbases

math.NT

Let $\mathbb{N}_0=\{0,1,2,\ldots\}$ and let $h\ge2$ be an integer. For a set $A\subseteq\mathbb{N}_0$, write $hA$ for the set of all sums of $h$, not necessarily distinct, elements of $A$. In this paper, we prove that for every $h\ge2$, there is a partition $\mathbb{N}_0=A\sqcup B$ such that $A$ is a minimal asymptotic basis of order $h$ and $B$ is a maximal asymptotic nonbasis of order $h$. This solves an open problem posed by Nathanson in 1974.

Prime pairs along rays of prime indices

math.NT

math.CO

Let $p_j$ be the prime with index $j$. We prove that the ratios $m/n$ for which $p_m+p_n$ is a square are dense in $\mathbb R_{>0}$. The same is true when $|p_m-p_n|$ is a square. In every nonempty open interval, almost every index can be used as a numerator and as a denominator. We also give a quantitative lower bound for the number of possible partners.

On Dynamical Mordell-Lang Conjecture for Split Map

math.NT

In this article, we prove the dynamical Mordell-Lang conjecture for product of endomorphisms on curves defined over complex number field. Moreover, we proved that there is some effectively computable on the the common difference of the arithmetic progressions.

Asymptotically optimal packings of arithmetic progressions with prime differences

math.NT

math.CO

For a positive integer $n$, put $A_d=\{id:1\le i\le\lfloor n/d\rfloor\}$ for $1\le d\le n$ and $B_d=\{id:1\le i\le n\}$ for $d\in\mathbb{N}$. For $D\subseteq\{1,\ldots,n\}$, let $m_D(n)$ be the minimum length of an integer interval containing pairwise disjoint shifted copies of $A_d$ for all $d\in D$. For a finite set $E\subseteq\mathbb{N}$, define $M_E(n)$ analogously using $B_e$, $e\in E$. Let $\mathcal{P}(x)=\{p\le x:p\text{ is prime}\}$. We prove $m_{\mathcal{P}(\sqrt n)}(n)=\left(\frac43+o(1)\right)\frac{n^{3/2}}{\ln n}$ and $M_{\mathcal{P}(n)}(n)=\left(\frac16+o(1)\right)\frac{n^3}{\ln n}$ as $n\to\infty$. These asymptotic formulas attain the known lower bounds and settle two conjectures of Alon, D\k{e}bski, Grytczuk and Przyby\l{}o concerning prime differences. The proof combines a cyclic phase-selection principle with lattice covering estimates and a decomposition into regular blocks of primes.

$\vec M$ Versions of Andrews-Gordon Identities Revisited

math.NT

math.CO

In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_\nu$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_\nu^2 - M_1N_1 - M_2N_2 - \cdots - M_\nu N_\nu } }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_\nu} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^{\nu}n_k$ for $1\le i\le \nu$.

Zeros of Ramanujan-Like Polynomials

math.NT

In this paper we study a naturally occurring variant of Ramanujan polynomials with a Bernoulli convolution structure, $S_v$, related to the double Mordell-Tornheim series. In particular, we prove for even $v$ all zeros of $S_v$ lie on the complex unit circle, and for even $v \ge 4$ they are simple with the exception of roots at $1, -1$, which are double roots.

Residual finiteness and cuspidal cohomology of Picard modular surfaces

math.NT

math.GR

We prove that, for every non-uniform arithmetic lattice in $\mathrm{SU}(2,1)$, its inverse images in the universal cover and in all connected finite covers are residually finite. The key new input is that every commensurability class of such lattices contains a congruence arithmetic lattice $\Gamma$ for which $$H^1_{\mathrm{cusp}}(\Gamma\backslash\mathbb B^2,\mathbb C)\ne 0.$$ In particular, the first inner cohomology of this ball quotient is non-zero. The proof uses Rogawski's endoscopic classification for $\mathrm{U}(3)$. A cohomological criterion proved previously by the author then gives the residual-finiteness result. Residual finiteness also yields multiplier systems of arbitrary denominator on suitable finite-index subgroups.

Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples

math.NT

math.CO

Let \(N\ge2\) and let \(p\) be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by \(\Phi_N\) has support diameter at least \((p-1)N/p\). Equality holds precisely for positive scalar multiples of monomial shifts of the \(p\)-term geometric sum \(\sum_{j=0}^{p-1} X^{jN/p}\), thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first \(p-1\) Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.

A pencil of quadratic forms in nine variables with no member of Witt index four

math.NT

We exhibit an explicit pair $(A,B)$ of integral symmetric $9\times9$ matrices, defining a nonsingular pair of quadratic forms over $\mathbb{Q}$, such that no member of the rational pencil $\lambda q_A+\mu q_B$ has Witt index $4$ over $\mathbb{Q}$. This refutes a conjecture from \cite{Que16a}, which predicted that every nonsingular pair in $n$ variables generates a pencil containing a form of Witt index $\lceil (n-1)/2\rceil$. The obstruction is purely $2$-adic and affects the whole pencil at once: every member has Witt index exactly $3$ over $\mathbb{Q}_2$. The proof is finite and elementary: a parity argument on $\det(\lambda A+\mu B)$, a congruence lemma reducing $\mathbb{P}^1(\mathbb{Q}_2)$ to the twelve classes of $\mathbb{P}^1(\mathbb{Z}/8)$, and a verification at each class, in which the anisotropy verdict is certified in two independent ways. All scripts are provided in the GitHub repository.

The spectrum of $(\xi\alpha^n)$ can be uncountable

math.NT

math.CA

In this note, we give a counterexample to the assertion of Problem 10.4 in Bugeaud's monograph Distribution modulo one and Diophantine approximation, which goes back to Mend\`es France. The problem states that the spectrum of the sequence $(\xi\alpha^n)_{n\ge1}$, that is, the set of irrational $\theta\in(0,1)$ for which $(\xi\alpha^n-n\theta)_{n\ge1}$ is not uniformly distributed modulo one, is at most countable for all real $\xi\ne0$ and $\alpha>1$. More precisely, we prove that for every real $\alpha>1$ there are $2^{\aleph_0}$ real numbers $\xi>0$ for which the spectrum of $(\xi\alpha^n)_{n\ge1}$ contains one and the same uncountable set.

Equidistribution of small points over finitely generated fields

math.NT

We study the equidistribution of small points over finitely generated fields, in connection with a conjecture of Yuan--Zhang. We first give a counterexample showing that numerical smallness, defined using Moriwaki heights for all polarizations, does not imply equidistribution at every valuation. We then prove that numerically small points do equidistribute at every fully transcendental valuation. In particular, when \(F\) is the function field of a curve \(B/\mathbb{Q}\), these valuations correspond to points of types \(2\), \(3\), and \(4\) in the Berkovich analytification of \(B_{\mathbb{Q}_p}\).

The Artin-Hasse $p$-section: weighted convolutions and $p$-adic recovery

math.NT

Let $p$ be an odd prime, and let $a_n$ be the reduction modulo $p$ of the $n$th coefficient of the Artin-Hasse exponential. We study the weighted $p$-section convolutions $W_k$ formed from the coefficients $a_{kp}$. We prove the conjecture of Avitabile and Mattarei for $1

Simple critical zeros and distinct zeros of the Riemann zeta-function in short intervals

math.NT

Recently, on the non-trivial zeros of the Riemann zeta function, it is discovered by Claude and verified by Alp\"oge and Furman that more than 67.25% of the zeros are simple and on the critical line, and more than 83.62% are distinct. Later, Lamzouri gave a different and more direct proof. In this article, we will use the method of Lamzouri to give lower bounds on the number of the non-trivial zeros of the Riemann zeta function in short intervals. To prove the main result, we establish Montgomery's theorem on the pair correlation of zeros of the zeta function in short intervals by following the approach of Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh, and then use Lamzouri's inequality on any finite multiset of complex numbers which is invariant under complex conjugation.

The Fibonacci numbers are not an additive uniqueness set for multiplicative functions

math.NT

Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence. We show that a multiplicative function $f$ satisfying \[ f(F_n+F_m)=f(F_n)+f(F_m)\qquad(n,m\geq 1) \] need not be the identity function, even when $f$ takes positive integer values. This answers negatively a question posed by Spiro in 1992. The smallest example presented here is obtained from $F_{31}=557\cdot 2417$. We prove the required divisibility equivalence, formulate an abstract prime-signature construction, and give a practical criterion producing further examples. We also describe the AI-assisted search that led to the construction and provide a reproducible certificate checker.

Relative $(\varphi, \Gamma)$-modules and $p$-adic differential equations

math.NT

math.AG

Let $X$ be an affinoid rigid analytic space over a $p$-adic field, equipped with a suitable \'etale map to a unit polydisk. We provide a formalism of \emph{imperfect relative period rings} over $X$, which lie inside the corresponding perfect relative period rings constructed by Kedlaya--Liu. Then we establish a relative version of the Fontaine--Cherbonnier--Colmez equivalence between $p$-adic local systems on $X$ and \'etale $(\varphi, \Gamma)$-modules over such imperfect relative period rings, generalizing previous works of Andreatta--Brinon and others. Using this equivalence, we construct $p$-adic differential equations attached to de Rham local systems, carrying both geometric and arithmetic differential operators. This generalizes the work of Berger to the relative geometric setting. Along the way, we study a relative Fontaine--Sen theory on the decompletion of $\Gamma$-modules over the relative $\mathbf{B}_{\mathrm{dR}}^+$-period rings.

A Lang-Trotter Problem for Non-Geometric Quadratic Inductions

math.NT

Let $K/\mathbb Q$ be an imaginary quadratic extension and $p$ an odd prime. Write $\rho=\operatorname{Ind}_{G_K}^{G_{\mathbb Q}}\chi$, where $E/\mathbb Q_p$ is a finite extension and $\chi:G_K\to\mathcal O_E^\times$ is a continuous character. For a fixed $r\in\mathbb Z\setminus\{0\}$, let $\pi_{\rho,r}(X)$ denote the number of rational primes $\ell\le X$ such that $\rho$ is unramified at $\ell$ and $\operatorname{tr}\rho(\operatorname{Frob}_\ell)=r$. Let $a,b$ be the two weights of $\chi$ at $p$. We prove that if $(a,b)\notin\mathbb Q^2$, then $\pi_{\rho,r}(X)\ll_{\rho,r,\varepsilon}X^\varepsilon$ for every $\varepsilon>0$, while if $(a,b)\in\mathbb Q^2\setminus\mathbb Z^2$, then only finitely many such primes occur. These bounds are substantially sparser than the classical CM Lang--Trotter scale. The main input in the non-rational case is a rigidity theorem for algebraic curves in the \(p\)-adic analytic trace locus, combined with rigid-analytic Pila--Wilkie counting; the rational non-integral case is treated by a local ramification argument.

Replication Descent and $J$-Finality of Replicable Functions

math.NT

math.GR

We show that replication carries congruence symmetry down an explicit level tower. If a normalized replicable function $f$, holomorphic on the upper half-plane, is invariant under $\Gamma_0(N)$, then its $n$th replicate is invariant under $\Gamma_0(N/(N,n))$. Thus every replicate whose index is divisible by $N$ is the normalized modular invariant $J=j-744$. This gives a direct and classification-free proof of $J$-finality for congruence-invariant replicable functions. The argument uses only the replication identities and an elementary generation theorem for congruence subgroups; it requires neither complete replicability nor arithmetic hypotheses on the Fourier coefficients. We then apply the descent law to completely replicable functions of finite replication order. Their replication towers have a canonical terminal replicate, and the only possible terminal functions are $J$, $q^{-1}$, and $q^{-1}+q$. Moreover, a finite-order completely replicable function is $J$-final precisely when its terminal replicate is $J$, and any symmetry beyond translations forces this alternative.

Todd's relation conjecture and binary relations for multiple zeta values in positive characteristic

math.NT

We prove Todd's relation conjecture: all $\mathbb{F}_q(\theta)$-linear relations of Thakur's multiple zeta values are generated from the fundamental binary relation by the operators $\mathcal{B}^{\mathrm{S}}$, $\mathcal{C}^{\mathrm{S}}$, $\mathcal{B}^{\mathrm{S}}\circ \mathcal{C}^{\mathrm{S}}$; moreover they are also generated by $\mathcal{B}^{\ast\mathrm{S}}$, $\mathcal{C}^{\mathrm{S}}$, $\mathcal{B}^{\ast\mathrm{S}}\circ\mathcal{C}^{\mathrm{S}}$. The $\mathcal{B}^{\ast\mathrm{S}}$-part of this conjecture has been proved by Chang, Chen and Mishiba. We prove the whole conjecture for Carlitz multiple polylogarithm values, which implies the $\mathcal{B}^{\mathrm{S}}$-part for multiple zeta values. We also determine all fixed relations and binary relations. Let $\mathfrak{BR}^{\mathrm{S}}_w$ be the $\mathbb{F}_q(\theta)$-linear space spanned by binary relations of weight $w$, and let $\operatorname{Fix}^{\mathrm{S}}_w$ be the $\mathbb{F}_q(\theta)$-linear space spanned by fixed relations. We derive generating functions $\sum_{w\ge 1}\bigl(\dim_{\mathbb{F}_q(\theta)}\operatorname{Fix}^{\mathrm{S}}_w\bigr)x^w=\frac{x^{q+1}(1-x)}{(1-2x)(1-2x+x^{q+1})}$ and $\sum_{w\ge 1}\bigl(\dim_{\mathbb{F}_q(\theta)}\mathfrak{BR}^{\mathrm{S}}_w\bigr)x^w=\frac{x^q(1-x)}{(1-2x)(1-2x+x^{q+1})}.$ Our results are based on the recent work of Im-Kim-Ngo Dac on the $\mathbb{F}_q$-linear relations of Thakur's multiple zeta values, and a system of transfer theorems between multiple zeta values and multiple polylogarithm values.

Pascal tiling and congruences modulo N in Pascal's triangle

math.NT

math.CO

We investigate the properties of matrices obtained from a geometric transformation of the first $N$ rows of Pascal's triangle. For $N > 2$, their congruence properties form a \emph{Pascal tiling}, that is, a perfect alternation between entries congruent to $0 \pmod{N}$ and the others, if and only if $N$ is prime. This result yields an alternative proof of the classical congruence $L_N-1\equiv 0 \pmod{N}$ for prime $N$, where $L_N$ denotes the $N$th Lucas number. Within the framework of the \emph{Pascal tiling theorem}, this congruence can be expressed as a sum of entries lying along a diagonal of one of the matrices under consideration; when $N$ is prime, each of these entries is congruent to $0 \pmod{N}$. By contrast, for Fibonacci pseudoprimes, the sum remains congruent to $0 \pmod{N}$ while at least one of its terms is not. Finally, these results are interpreted in terms of decompositions of binomial coefficients and extended to multinomial coefficients, leading to a study of the associated symmetries. This perspective highlights the case where $N$ is a prime power and clarifies the conditions under which a Pascal tiling arises.

Moments of the Crank Statistic for $t$-Core Partitions and Overpartitions

math.NT

math.CO

Recently, Kang, Kim, and Lee \cite{Kang2026} developed a unified moment-trace framework for symmetric partition statistics using complete Bell polynomials and their inversion formula. In this paper, we apply this framework to crank statistics for $t$-core partitions and overpartitions. For $t\in\{5,7,11,17,19\}$, we show that the normalized even crank moment generating functions for $t$-core partitions admit partition-trace representations in terms of the functions $D^{(t)}_{2s}(\tau)$, together with suitable Bernoulli-number shifts. We also establish inverse trace formulas that recover $D^{(t)}_{2s}(\tau)$ from the corresponding normalized even crank moments. For overpartitions, we obtain analogous trace and inverse-trace identities for the normalized even moments associated with the first and second residual crank generating functions. As applications, we use complete Bell polynomials and their inversion formula to obtain explicit expressions for the $t$-core partition numbers and overpartitions number in terms of sums involving divisor function.

Prescribed Abscissae on Congruent-Number Curves over Simplest Cubic Fields

math.NT

Let $K_t=\mathbb{Q}(\theta_t)$, where $\theta_t$ is the largest root of $X^3-tX^2-(t+3)X-1$ and $t\geq-1$ is an integer. We classify the points in $E_n(K_t)$ with abscissa $\theta_t-1$, for $E_n:y^2=x^3-n^2x$, when $n$ is a positive integer and $E_n(\mathbb{Q})$ has rank zero. The main step excludes every nonzero two-torsion value of the group trace. The classification reduces to $v^2=2n^2-9$, and the conjugates of every resulting point generate a subgroup of rank two. A classical quartic equation then gives exactly four pairs $(d,t)$ with $d>0$ rational for which $(\theta_t-1)/d^2$ is an abscissa on $E_3$. Without a rank assumption, we exclude the abscissa $\theta_t-1$ on $E_5(K_t)$ and $E_6(K_t)$ and prove that only finitely many parameters $t$ admit this abscissa for each fixed positive integer $n$. For an integral shift $\theta_t-r$, we obtain a simultaneous-square criterion for trace zero. We use it to construct points on $E_3$ over infinitely many pairwise nonisomorphic simplest cubic fields.

Second derivatives of $p$-adic $L$-functions and the Shafarevich--Tate group of rank-two CM elliptic curves

math.NT

For an elliptic curve $E/\mathbb{Q}$ of rank two with complex multiplication, Coates, Liang and Sujatha gave a criterion for the vanishing of $Sha(E/\mathbb{Q})[p^\infty]$ at a good ordinary prime $p$ and applied it to five such curves for $p < 30{,}000$. We prove a cyclotomic criterion of the same kind: outside an explicit set of primes, the normalised second Taylor coefficient of the Mazur-Tate-Teitelbaum $p$-adic $L$-function at the central point is a $p$-adic unit if and only if the cyclotomic $p$-adic regulator is a unit and $Sha(E/\mathbb{Q})[p^\infty] = 0$, and, by the theory of Bannai and Kobayashi, if and only if an explicit combination of three critical Hecke $L$-values of weight $2p - 1$ has valuation exactly two. Following the algorithm of Stein and Wuthrich, we compute the regulator for the same five curves at every good ordinary prime below $30{,}000$: it is a unit at all but three of the $8{,}050$ primes outside the excluded set. The one case that the criterion of Coates, Liang and Sujatha left open, $p = 577$ for $y^2 = x^3 + 34x$, is settled by the new criterion. A Lean 4 formalisation of the first equivalence, assuming stated results from the literature, is provided.

Counting Survivor Sets: Exponential Equivalence with Prime-Admissible Sets

math.NT

math.CO

For each integer $n\geq 1$, let $N(n)$ denote the number of distinct subsets of $\{2,\ldots,n+1\}$ obtained by choosing one forbidden residue class modulo each integer from $2$ to $n$; this is OEIS sequence A396595 (https://oeis.org/A396595). Equivalently, $N(n)$ is the initial-restriction complexity of the family of global residue-profile survivor sequences. We derive a closed formula, depending on the parity of $n$, for the number of locally distinct residue profiles, and an exact inclusion--exclusion formula for profiles realizing a prescribed survivor set. We prove that $\log N(n)$ has order $n/\log n$, with any possible leading constant between $\log 2$ and $2\log 2$. For prime traces, the logarithm of their number is asymptotic to $(\log 2)n/\log n$. Our main comparison theorem shows that $N(n)$ is exponentially equivalent to the block complexity of prime-admissible subsets of an interval of length $n$. The combinatorial component of the private composite coordinates argument used in the comparison theorem is formalized in Lean 4/Mathlib. We also establish an exact structural recurrence, characterize extendibility by a residue-class covering criterion, and give a dynamic enumeration algorithm. As further illustrations of the model, we exhibit purely periodic global profiles generating prime-valued survivor sequences for which we have not identified corresponding OEIS entries.

Symmetric power L-functions of a weighted hyper-Kloosterman family

math.NT

As a natural generalization of the classical hyper-Kloosterman family studied by D. Haessig and S. Sperber, we study the $k$-th symmetric power $L$-functions attached to a weighted hyper-Kloosterman family $$Kl_{n,m}(t;x_{1},\cdot\cdot\cdot,x_{n})=x_{1}^{m}+x_{2}\cdot\cdot\cdot+x_{n}+\frac{t}{x_{1}x_{2}\cdot\cdot\cdot x_{n}}.$$ Under suitable conditions, we determine the bounds of degrees of these $L$-functions and prove that their $q$-adic Newton polygons admit uniform lower bounds.

A geometric Jacquet--Langlands correspondence for Shimura varieties

math.NT

math.AG

We formulate a conjecture predicting the existence of exotic isomorphisms between Igusa stacks associated to different Shimura data whose underlying groups are pure inner forms of each other, and prove it in many cases of interest. In combination with the spectral action of Fargues--Scholze, this allows us to relate the cohomology groups of the two Shimura varieties, giving a geometric incarnation of the Jacquet--Langlands correspondence. An important ingredient in our proofs is the work of Xiao--Zhu on exotic Hecke correspondences between the perfect special fibers of different Shimura varieties, which we reinterpret in terms of exotic isomorphisms of perfect Igusa stacks.

Four explicit continued fractions for values of the Lerch transcendent and the Hurwitz zeta function

math.NT

We prove four explicit continued fraction representations for the Lerch transcendent $\Phi(z, s, M+1)$, where $\Re M>0$ and $(z,s)\in\{(-1,1),(-1,2),(1,2),(1,3)\}$. All of the continued fractions have unit partial numerators, while partial denominators depend on the parameter $M$. The proofs combine equivalent transformations of continued fractions, generalized hypergeometric functions, three-term recurrences, and asymptotic analysis of minimal solutions. For $z=1$, the corresponding representations give continued fractions for the values of the Hurwitz zeta function $\zeta(2, M+1)$ and $\zeta(3, M+1)$.

A Problem on the largest divisor $d$ of $N$ with $d\leq \sqrt{N}$

math.NT

For a given number $N$, we consider the problem of computing two integers $1\leq r,f < N$ such that the set $$\mathcal{X}(N,r,f) = \{(a+b)-(f+\frac{Nr+1}{f}): ab=Nr\}$$ consists only of positive integers. Computing a solution to the problem is equivalent to finding a pair $(r,f)$ satisfying $l(Nr) < f \leq l(Nr+1)$, where $l(x)$ is the largest divisor of $x$ bounded by $\sqrt{x}$. This requires factoring both $Nr$ and $Nr+1$. We present a simple randomized algorithm that - avoiding factoring - computes pairs $(r,f)$. We give an exact formula for the total number of possible pairs $(r,f)$, and with the aid of empirical data we estimate that the ratio $$\frac{\phi(N)-2}{|\mathfrak{F}(N)|}$$ to be roughly about $c*\log \log N$. Here, $\mathfrak{F}(N)$ is the set of unique $r$ appearing among all possible pairs $(r,f)$, $\phi(.)$ is the Euler's totient function, and $c$ is a constant equal to 2 for prime $N$ and oscillates much for composite $N$. As a separate and independent case, we study the same problem of computing $(r,f)$ with $r>N$. We present a procedure to find such an $r$, which requires finding the least prime in an arithmetic progression.

Reduction Modulo Binary Polynomials with Logarithmic Feedback Depth

math.NT

cs.SC

Polynomial modular reduction is central to binary finite-field arithmetic and repeated Frobenius powering. Sparse top-down folding uses few shift/XOR operations, but a tap near the leading term creates a long feedback chain. We formulate this recurrence as inversion of a nilpotent shift operator and factor its inverse by characteristic-two Frobenius powers. The resulting Frobenius-factorized reduction (FFR) applies to every monic binary modulus without materializing a reciprocal or dense reduction matrix, and its shifts can be generated online without a persistent modulus-specific schedule. For degree $m$, nonleading support size $s$, and nearest-tap distance $\Delta_{\min}$, FFR has exact feedback depth $\lceil\log_2(m/\Delta_{\min})\rceil$ and scheduled work $O(ms(1+\log(m/s)))$. A portable-C evaluation on 1,096 supports through degree $131072$ identifies distinct FFR, L\'opez--Dahab, and gf2x-backed Barrett regions. On four certified irreducible moduli, FFR makes complete Rabin irreducibility testing $1.35$--$8.04$ times faster than NTL and $1.60$--$6.81$ times faster than the matched Barrett implementation.

On a problem of Erd\H{o}s and Nathanson related to minimal asymptotic bases of order $h$

math.NT

Let $h\geq 3$ be an integer and $0<\alpha<1/h$. In this paper, we prove that there exists a minimal asymptotic basis of order $h$ with asymptotic density $\alpha$. This solves an open problem posed by Erd\H{o}s and Nathanson in 1988.

On the cardinality of the exception set in Littlewood's discrete conjecture

math.NT

Let $p$ be a prime, $d\ge 2$, $H\in [1,p)$, and $\ln\ln p = o(\ln H)$. We prove that $$ \min_{1\le n \le H} n \left\|\frac{a_1 n}{p}\right\|\ldots \left\|\frac{a_d n}{p}\right\| \approx \frac{1}{(\ln p)^{d-1} \ln H} $$ for "almost all" $a \in ({\Bbb Z} / p{\Bbb Z})^d$.

Generalizing a Pair of Diophantine Equations

math.NT

For coprime integers $a$ and $b$, it is known that exactly one of the two Diophantine equations $$ ax+by\ =\ \frac{(a-1)(b-1)}{2} \qquad\text{and}\qquad 1+ax+by\ =\ \frac{(a-1)(b-1)}{2} $$ admits a nonnegative integer solution, and that this solution is unique. We first generalize this result by replacing the right-hand side with an arbitrary integer $m$ and its complement $ab-a-b-m$. This framework enables us to study the existence and uniqueness of nonnegative integer solutions to $$ ax+by\ =\ \frac{(a-1)(b-1)}{k} \qquad\text{and}\qquad 1+ax+by\ =\ \frac{(a-1)(b-1)}{k}, $$ where $k$ is a fixed positive integer. We then obtain explicit results when $a$ and $b$ are consecutive Fibonacci numbers. Finally, we examine the original pair of equations in several particular settings, including when $b\equiv \pm1\mod a$, when $b$ is replaced by a higher power, and when the parameters are squared.

The modulo 9 Kanade--Russell identities and their Nahm-sum duals

math.NT

math.CO

Kanade and Russell initiated a family of conjectural Rogers--Ramanujan type identities of moduli $9$ and $12$, which ultimately comprised five modulo $9$ identities and eleven modulo $12$ identities. The eleven modulo $12$ conjectures were subsequently settled through the work of Bringmann, Jennings-Shaffer, and Mahlburg and of Rosengren. In this paper, we prove all five modulo $9$ Kanade--Russell sum-product identities, four individual generalized Nahm-sum dual identities, and a product formula for the natural dual companion of the fifth Kanade--Russell identity, which is expressed as a linear combination of two negative-mixed-term generalized Nahm sums. The first three individual dual identities settle Conjecture~3.6 of Wang and Wang, while the fourth proves the corresponding conjecture of Li and Wang. Our results also connect directly with the recent Dynkin-diagram framework of Sun and Wang for generalized Nahm sums. They identified the rank-two pairs $(T_1,G_2)$ and $(G_2,T_1)$ as unresolved cases whose modularity would follow, respectively, from the first modulo $9$ Kanade--Russell identity and its Wang-Wang dual. The present results prove precisely these two required identities and hence establish the corresponding modularity statements unconditionally.

Rational functions over finite fields with Galois closure of genus zero

math.NT

math.AG

Let $k=\mathbb F_q$. We classify, up to pre- and post-composition by $k$-M\"obius transformations, all separable $k$-indecomposable rational functions $f\in k(X)$ of degree greater than one whose Galois closure has genus zero. The classification is valid in arbitrary characteristic and includes exact arithmetic conditions and class counts over the prescribed field. Semilinear Frobenius descent determines the finite-field forms and which geometric decompositions descend to $k$. For every separable $f\in k(X)$ of degree greater than one with Galois closure of genus zero and every $m\geqslant1$, we prove that $f$ permutes $\mathbf P^1(\mathbb F_{q^m})$ if and only if it is exceptional over $\mathbb F_{q^m}$, meaning that it permutes $\mathbf P^1(L)$ for infinitely many finite extensions $L/\mathbb F_{q^m}$. No indecomposability assumption or lower bound on $q$ is needed. The argument combines fixed-point averaging with ramification on the Galois-closure curve. If the full constant field is $\mathbb F_{q^d}$, these properties depend only on $\gcd(m,d)$. For each classified family we determine the permutation extension degrees explicitly and characterize polynomial representatives.

Sharp order-preserving integer models for short additive equalities

math.NT

math.CO

We ask how small an increasing integer model of a finite real set can be while preserving all equalities between equal-length sums of at most $q$ elements, with repetitions allowed. The increasing correspondence must preserve exactly which sums are equal; the signs of unequal comparisons may change. Let $H_m(q)$ be the least diameter sufficient for every ordered real set of size $m$. For every integer $q\ge2$ we prove $H_4(q)=q(q+1)$ and $H_5(q)=q^2(q+1)$, and we determine $H_6(2)=24$. The proofs use the linear space determined by the additive equalities and the inequalities prescribing the order of the elements. They also give bounds for larger sets, determine the first two asymptotic terms for each fixed $m\ge4$, and yield further families of sharp examples. An application bounds the integer alphabets needed to realize finite additive-square-free spectra. The supplementary data support the finite six-element classification.

The Archimedean place is a blurred interval at infinity

math.NT

math.AG

math.CT

math.LO

Classically, the places of $\mathbb{Q}$ are often regarded as a one-point compactification of $\mathrm{Spec}(\mathbb{Z})$, with the real place corresponding to a formal ``prime'' added at infinity. Re-examining this picture from a topos-theoretic perspective reveals a subtler geometry: while the non-Archimedean places are identified with singletons indexed by the non-zero prime ideals of $\mathbb{Z}$, the Archimedean place is represented by the space of upper reals $\overleftarrow{[0,1]}$, which may be informally thought of as the unit interval equipped with a non-Hausdorff topology. On a technical level, our analysis brings together geometric logic and descent techniques from topos theory, distinguishing standard descent from lax descent toposes both at the level of sheaves and of the geometric theories they classify. More broadly, this paper brings into conversation two parallel distinctions: on the number-theoretic side, between Archimedean and non-Archimedean phenomena, and on the topos-theoretic side, between standard and lax descent. Looked at from a high level, these perspectives begin to converge on a common theme: how should the connected and the disconnected interact?

Coarse moduli of motivic augmentations

math.AG

math.AT

math.KT

math.NT

A variety $X$ over a suitable base $Z$ gives rise to a highly structured algebra $C^*(X)$ in motives over $Z$. In turn, a $Z$-point gives rise to an augmentation $C^*(X) \to 1$. This assignment $X(Z) \to Aug(C^*(X))$ factors the so-called ``unipotent Kummer map'' to torsors under the unipotent fundamental group in realizations. In one direction, this suggests the possibility of ``performing'' Chabauty-Kim theory motivically without waiting for a motivic t-structure. In a different (largely independent) direction, we may hope to extract arithmetic information for use in bounding sets of integral points from the full rational homotopy type going beyond $\pi_1$. In both directions, the coarse space for motivic augmentations $Aug(C^*(X))$ would benefit from a structure of finite type $\mathbb{Q}$-variety, and similarly, the coarse space $Aug(C^*_{F\phi}(X))$ of augmentations in filtered $\phi$ modules would benefit from a structure of finite type $\mathbb{Q}_p$-variety. We establish two criteria for representability, compute these spaces in several examples, and construct a comparison with Selmer varieties. Finally, we demonstrate how these constructions lead to K-theoretic finiteness criteria in an example.

Partial Results on Hankel Determinants and the Corresponding J-Fractions of a Sequence Related to Bernoulli Numbers

math.CO

math.NT

When exploring the Hankel determinant of the sequence $\mu_{k}=B_{k+1}/(k+1)$, where $B_{k}$ is the $k$-th Bernoulli number, we obtained two interesting results. The first one applies in general to all sequences $(c_{k})_{k\geq0}$ with all even-indexed term $0$, except for $c_{0}$. In this case, the coefficient of the second highest order of the corresponding monic orthogonal polynomials determines the Hankel determinants. Our second result shows, the corresponding J-fractions, obtained from the generating function of $\mu_{k}$, is exactly the same as in early work of Cao, on a faster sequence converging to the Euler--Mascheroni constant.

Polynomial point counts for moduli spaces of curves with marked points

math.AG

math.NT

We prove that the number of curves of a fixed genus g with n marked points over finite fields is a polynomial function of the cardinality of the field if and only if g = 0 or 3g + 2n is less than or equal to 24. This confirms a conjecture of Canning, Larson, and the authors.

The Constant in Thomae-Type Formulas for Eight Points on the Complex Projective Line

math.AG

math.NT

We consider the family of cyclic fourfold covers $w^4 = \prod_{j=1}^{7}(z-x_j)$ of the complex projective line branched at the eight points $x_1,\ldots,x_7,\infty$. The period map identifies the configuration space $X(2,8)$ of the branch points with a Zariski open subset of a quotient of the five-dimensional complex ball. The inverse of the period map is expressed projectively by $105$ automorphic forms $f_J$, which are proportional to the signed branch-point polynomials $\hat x_J$ with a common scalar factor. We determine this factor for the period $\eta$ of the differential $dz/w$: it is the product of the constant $-1/(2^{12}\Gamma(3/4)^{16})$ and the square of a quadratic form in $\eta$.

Microlocalization and singular supports of constructible \'etale sheaves

math.AG

math.NT

Let $X$ be a smooth scheme over a perfect field of characteristic $p>0$, and let $F$ be a constructible complex of finite Tor-dimension with finite coefficients of characteristic prime to $p$. We prove \[ {\rm SS}_\mu(F)\subseteq {\rm SS}(F), \] where ${\rm SS}_\mu(F)$ is Saito's microlocal singular support and ${\rm SS}(F)$ is Beilinson's singular support. This answers a question of Saito. For perverse $\ell$-adic sheaves, the inclusion is an equality. As applications, we resolve another question of Saito regarding support estimates for microlocalization along a smooth closed subscheme, and we prove Saito's conjecture on characteristic classes (\emph{Invent. Math. 207: 597-695, 2017}), showing that the cohomological characteristic classes of Abbes and Saito are the cycle classes associated with the corresponding characteristic cycles.

A Uniform Product-Difference Theorem for Dense Subsets of $\mathbb Z^2$

math.CO

math.DS

math.NT

We establish a uniform product-difference theorem for dense subsets of $\mathbb Z^2$, which gives an affirmative answer to Problem~2 of Fish and, as consequences, to both parts of his Problem~1. More precisely, we prove that for every $\delta>0$ there exists an integer $K(\delta)\geq 1$ such that every set $E\subseteq\mathbb Z^2$ with upper Banach density $d^\star(E)\geq\delta$ satisfies \[ K(\delta)\mathbb Z \subseteq \{ab:(a,b)\in E-E\}. \] As consequences, we obtain affirmative answers to both parts of Fish's Problem~1: for positive-density sets $E_1,E_2\subseteq\mathbb Z$ and $E\subseteq\mathbb Z^2$, respectively, the sets \[ (E_1-E_1)^2-(E_2-E_2)^2 \quad\text{and}\quad \{x^2-y^2:(x,y)\in E-E\} \] contain nontrivial ideals of $\mathbb Z$, with generators depending only on the corresponding density thresholds. In particular, the latter result also settles a conjecture of Davies concerning differences of the indefinite quadratic form $x^2-y^2$ in dense subsets of $\mathbb Z^2$.

External Difference Families Arising from Two or Three Cyclotomic Classes

math.CO

math.NT

We study external difference families arising from cyclotomic classes in finite fields from the viewpoint of a fixed number of blocks. For families consisting of even-indexed cyclotomic classes, the EDF condition can be expressed in terms of relations among cyclotomic numbers. We first study the two-block case and recover a classical characterization in terms of quadratic forms. Our main result shows that, for a prime $p=12k+1$, the family $\{C_0^6,C_2^6,C_4^6\}$ forms an EDF in $\mathbb{F}_p$ if and only if $k$ is a square. The proofs combine symmetry relations of cyclotomic numbers with their explicit evaluations.

The exponent of harmonic LCM avoidance

math.CO

math.NT

Fix $k\ge 3$, and let $f_k(N)$ be the largest harmonic sum of a subset of $[N]$ containing no $k$ distinct integers with a common pairwise least common multiple. We prove that $f_k(N)=(\log N)^{\gamma_k+o(1)}$ for a well-defined exponent $\gamma_k\in(0,1]$. Following the weighted-pressure idea of Chojecki, we give a self-contained proof of variational formulas for $\gamma_k$ in terms of weighted sunflower-free families. We then eliminate the continuous weight: if $M_k(n,r)$ is the largest size of an $r$-uniform $k$-cosunflower-free family on $[n]$, then \[ \gamma_k=\sup_{n\ge1,\ 1\le r\le n}\frac{r}{en}M_k(n,r)^{1/r}. \] This finite-block formula yields a direct transfer principle from uniform set-system constructions, recovers the Tang--Zhang bounds, and gives $0.438899\ldots<\gamma_3\le0.889881\ldots$.

Solutions to 6 problems in recurrence and Van der Corput sets

math.DS

math.NT

We present solutions to six problems concerning sets of nice recurrence and van der Corput (vdC) sets. We answer a question of Moreira, repeated by Fish and Skinner, by showing that every set of ergodic nice recurrence is a set of nice recurrence. We answer questions of Bergelson as well as Bergelson and Lesigne by showing that every set of nice recurrence is a nice vdC-set, that the family of nice vdC-sets is partition regular, and that the family of sets of nice recurrence is partition regular. We mention that Chapman independently proved that sets of nice recurrence are partition regular. We answer a question of Kelly and L\^e, a special case of which was previously asked by Peres, and show that for every nontrivial compact metrizable group $K$, every $K$-vdC set is also a vdC set. Lastly, we answer a question of Farhangi, Rodr\'iguez, and Tucker-Drob and show that for any countably infinite discrete group $G$, a vdC set in $G$ is a set of operatorial recurrence in $G$. The initial solutions to these problems were produced by an AI system. The authors checked their correctness, simplified and reformulated them as clear, human-readable proofs, and situated the resulting contributions within the existing literature.

Logarithmic $A_{\mathrm{inf}}$-cohomology, Part II

math.AG

math.NT

We develop a theory of logarithmic $A_{\mathrm{inf}}$-cohomology with coefficients for a class of $p$-adic log formal schemes that are ``sufficiently log smooth'', where the coefficients are given by relative log BKF modules. Then we establish comparison isomorphisms with \'etale, de Rham, and crystalline cohomology, and also extend these results to the derived setting. As an application, we give a new proof of the $C_{\mathrm{st}}$ conjecture for semistable local systems. The proof also uses the prismatic interpretation of semistable local systems established by Du--Liu--Moon--Shimizu.

Proofs of Some Kanade--Russell Mod 12 Conjectures

math.CO

math.NT

Kanade and Russell conjectured seventeen Rogers--Ramanujan type identities of modulus 12. Eleven of these identities involving triple sums were proved by Bringmann--Jennings-Shaffer--Mahlburg and by Rosengren. Motivated by these works and using similar methods, we settle all the six remaining conjectures including two triple sum identities labeled $I_{5a}$ and $I_{6a}$ originated from Russell's thesis and four quadruple sum identities labeled 7, 7a, 8 and 8a. Our proof of the triple sum identities combines linear recurrences, $q$-difference equations, and $q$-series summation formulas. For the quadruple sum identities, we represent the sums as contour integrals whose integrands are infinite products and evaluate them by residue calculus. The resulting residues reduce to single sum cubic basic hypergeometric series, and we are able to express them as infinite products.

Majorization and additive tuples in $\mathbb{Z}_2^n$

math.CO

math.NT

Majorization is a fundamental tool for comparing how "spread out" the entries of two vectors are. Key majorization results were obtained for the integers by Hardy, Littlewood and P\'olya and for $\mathbb{Z}_p$ by Lev. In this paper, we establish a powerful majorization theorem in $\mathbb{Z}_2^n$ that is an analogue of Lev's result in $\mathbb{Z}_p$. Our proof is based on a novel use of a compression argument that optimizes certain sums of additive representation counts. Our majorization theorem has several applications in additive combinatorics. We resolve the question: given subsets $A_1,\ldots,A_k\subseteq\mathbb{Z}_2^n$ of prescribed sizes, when is the function $r_k(A_1,\ldots,A_k)$, which counts the number of additive $k$-tuples in $A_1\times\cdots\times A_k$, maximized? We establish the corresponding minimization result and a characterization of all extremizers for $r_k(A,\ldots,A)$ when $k$ is odd. When $k=3$, this quantity is the number of Schur triples in $A$; as a special case, we recover a theorem of Samotij and Sudakov on Schur triples. We also obtain a convexity inequality and use it to prove an analogue of Pollard's theorem that strengthens and extends a well-known result of Bollob\'as and Leader in the $\mathbb{Z}_2^n$ setting.

A Perfectoid Pro-\'Etale Lie Torsor Can Have a Non-Surjective Sen Map

math.AG

math.NT

We construct a smooth connected rigid analytic curve over $\mathbb C_p$ with an affinoid perfectoid profinite \'etale $\mathbb Z_p^2$-torsor whose geometric Sen morphism is not surjective, thereby disproving Rodr\'\i guez Camargo's conjectured implication from perfectoidness to surjectivity. The construction relies on a pullback theorem showing that perfectoid profinite \'etale towers are preserved under universally injective morphisms of rigid analytic spaces.

On the $a$-number of Fermat type function fields and some of their subfields

math.AG

math.NT

The $a$-number of a function field $F$ is the dimension of the kernel of the Cartier operator acting on the holomorphic differentials of $F$. We compute the action of the Cartier operator on the holomorphic differentials on the Hermitian function field $\mathcal{H}$, function fields of Fermat type $\mathcal{F}_{n,m}$ and the Hurwitz function field $\mathcal{H}_n$. From this, we obtain various results about the $a$-number of these function fields, including a generalisation of the results on the Fermat function field from Kodama and Washio.

The range and omitted values of a certain sequence involving the partition function

math.CO

math.NT

Let \(p(n)\) denote the ordinary partition function. Motivated by analogous questions concerning Euler's totient function and its complementary counting function, we study the range of the partition-derived sequence \(p(n)-n\). We give combinatorial interpretations of this sequence and investigate both the attained and omitted positive integers. We obtain exact and asymptotic information about the gaps between consecutive attained values and show that the range is remarkably sparse: its counting function has order \((\log x)^2\), and consequently the range has natural density zero. We also extend the discussion to partitions whose Durfee square has side at least a fixed positive integer.

The sharp constant in the Mashreghi-Ransford inequality

math.CV

math.CO

math.NT

Let $(a_n)_{n\geq0}$ be a sequence of complex numbers, and define \[ b_n=\sum_{k=0}^n \binom{n}{k} a_k, \qquad c_n=\sum_{k=0}^n \binom{n}{k}(-1)^{n-k}a_k. \] Let $\beta>1$, put $\alpha=\sqrt{\beta^2-1}$, and suppose that $b_n,c_n=O(\beta^n)$. Mashreghi and Ransford proved that \[ \limsup_{n\to\infty}\frac{|a_n|}{\alpha^n} \leq \kappa \left(\limsup_{n\to\infty}\frac{|b_n|}{\beta^n}\right)^{\!1/2}\! \left(\limsup_{n\to\infty}\frac{|c_n|}{\beta^n}\right)^{\!1/2} \] with a universal constant satisfying $2/\sqrt{3} \leq \kappa\leq2$. We prove that the optimal constant is indeed $\kappa=2/\sqrt{3}$. The proof, which uses exponential generating functions, Phragm\'en-Lindel\"of estimates, and Cauchy's formula, is compared to the classical one of Mashreghi and Ransford.

The sphere packing problem in dimension 24

math.NT

math.MG

v4

Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensional case.

Uniform unlikely intersections for unicritical polynomials

math.NT

math.DS

v4

Fix $d\geq2$, and consider the family $f_{t}(z)=z^{d}+t$ of polynomials parameterized by $t\in\mathbb{C}$. In this article, we will show that there exists a constant $C(d)$ such that for any $a,b\in\mathbb{C}$ with $a^{d}\neq b^{d}$, the number of $t\in\mathbb{C}$ such that $a$ and $b$ are both preperiodic for $f_{t}$ is at most $C(d)$.

Notes on Mitsui's Prime Number Theorem with Siegel zeros

math.NT

v3

In these notes, we refine Mitsui's Prime Number Theorem from 1957, which for a number field $K$ predicts the number of prime elements in a bounded convex set in $K \otimes _{\mathbf Q} \mathbf R $ and in a specified congruence class modulo an ideal $\mathfrak q $, by incorporating potential Siegel zeros of Hecke $L$-functions. This allows the norm of the modulus $\mathbf N (\mathfrak q )$ to grow at a pseudopolynomial rate $e^{\sqrt{\log X}/O(1)}$ with respect to the size $X$ of the convex set as opposed to powers of $\log X$. The extra flexibility and precision are essential in our sequel work on linear patterns of prime elements. We also hope that our updated exposition will make Mitsui's work accessible to a wider mathematical audience.

On the solutions of the generalized Fermat equation over totally real number fields

math.NT

v4

Let $K$ be a totally real number field and $\mathcal{O}_K$ be the ring of integers of $K$. In this article, we study the asymptotic solutions of the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ over $K$ with prime exponent $p$, where $A,B,C \in \mathcal{O}_K \setminus \{0\}$. For certain class of fields $K$, we prove that the equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution $(a,b,c) \in \mathcal{O}_K^3$ with $2|abc$. Then, under some assumptions on $A,B,C$, we also prove that $Ax^p+By^p+Cz^p=0$ has no asymptotic solution in $K^3$. Finally, we give several purely local criteria of $K$ such that $Ax^p+By^p+Cz^p=0$ has no asymptotic solutions in $K^3$, and calculate the density of such fields $K$ when $K$ is a real quadratic field.

Orbital integrals and ideal class monoids for a Bass order

math.NT

v4

A Bass order is an order in a number field for which every fractional ideal can be generated by two elements. Examples include quadratic orders, orders containing the maximal order of a subfield $F$ with $[E:F]=2$, and orders whose discriminant is fourth-power-free. We prove a closed conductor formula for the number of fractional ideals of a Bass order $R$ modulo multiplication by invertible ideals. For a Bass order, this number is also the number of overorders of $R$, and we give an explicit conductor parametrization of all overorders. The proof combines the classification of local Bass overorders with a local--global argument. Orbital integrals give the corresponding weighted mass formulas, including the split local case. We also prove, by a smoothening procedure, a geometric orbital integral theorem for the relevant integral model; this theorem is presented separately in Section 4.

The Unipotent Chabauty-Kim-Kantor Method for Relative Completions

math.NT

math.AG

v2

We develop a new $p$-adic analytic method for studying integral points on hyperbolic curves, building on Kantor's relative-completion approach to unifying the Chabauty-Kim and Lawrence-Venkatesh methods. Its central mechanism converts dimension inequalities between algebraic global and local Galois cohomology stacks into nonzero rigid-analytic functions vanishing on the integral points within a residue disk. Assuming the relevant Bloch-Kato dimension formulas, we verify these inequalities for curves of genus at least $2$, as well as for certain modular curves, and thereby obtain a new conditional proof of the theorems of Faltings and Siegel. Our method produces genuinely new functions, different from those produced by Chabauty-Kim, pointing to an improved effective approach. Our key technical contributions include the following. We prove that Kantor's $p$-adic period map is analytic and algebraically Zariski dense in the relevant period domain. We also bypass the conjectural representability of Kantor's Selmer stacks by decomposing the integral-point locus into finitely many Kummer strata. On each stratum, the relative Kummer map factors through a neutral-fibre Selmer stack, which we prove is an algebraic Artin stack of finite type. We also develop a theory of finite-type motivic quotients of the relative completion: these quotients are cofinal among all finite-type quotients and recover the relative completion as their inverse limit. For Kodaira-Parshin families over curves of genus at least $2$, we construct a canonical adjoint-supported tower with fixed finite-dimensional abelianization and controlled graded pieces. At sufficiently deep levels, the Bloch-Kato formulas imply the required dimension inequality and produce genuinely relative rigid-analytic functions that do not arise from the ordinary unipotent completion.

The integer group determinants for $GA(1,q)$

math.NT

v2

We show that the integer group determinants for the general affine group of degree one, $GA(1,q)$ with $q=p^k$ a prime power, take the form $D=AB^{q-1},$ where $A$ is a $\mathbb Z_{q-1}$ integer group determinant and $B\equiv A \bmod q$. This generalizes the result for $k=1$. When $2^k-1$ is a Mersenne prime we show that this condition is both necessary and sufficient for $GA(1,2^k).$ The same is true for $GA(1,9)$ and $GA(1,27)$, but interestingly not for $GA(1,16)$.

Higher Schwarzian, quasimodular forms and equivariant functions

math.NT

math-ph

math.CA

math.MP

v2

The Schwarzian derivative plays a fundamental role in complex analysis, differential equations, and modular forms. In this paper, we investigate its higher-order generalizations, known as higher Schwarzians, and their connections to quasimodular forms and equivariant functions. We prove that a meromorphic function is equivariant if and only if its higher Schwarzians are quasimodular forms of prescribed weight and depth, thereby extending classical results and linking projective differential operators to the structure of modular and quasimodular forms.

On the congruence ideal associated to $p$-adic families of Yoshida lifts

math.NT

v2

We study congruences involving $p$-adic families of Hecke eigensystems of Yoshida lifts associated with two Hida families (say $\mathcal{F},\mathcal{G}$) of elliptic cusp forms. With appropriate hypotheses, we show that if a Hida family of genus two Siegel cusp forms admits a Yoshida lift at an appropriately chosen classical specialization, then all classical specializations are Yoshida lifts. Moreover, we prove that the characteristic ideal of the non-primitive Selmer group of (a self-dual twist of) the Rankin--Selberg convolution of $\mathcal{F}$ and $\mathcal{G}$ is divisible by the congruence ideal of the Yoshida lift associated with $\mathcal{F}$ and $\mathcal{G}$. Under an additional assumption inspired by pseudo-nullity conjectures in higher codimension Iwasawa theory, we establish the pseudo-cyclicity of the dual of the primitive Selmer group over the cyclotomic $\mathbb{Z}_p$-extension.

On the Lebesgue-Nagell equation $x^2-2 = y^p$

math.NT

v3

We investigate the Lebesgue--Nagell equation $$x^2-2=y^p$$ in integers $x,y,p$ with $p\geq 3$ an odd prime. A longstanding folklore conjecture asserts that the only solutions are the ``trivial'' ones with $y=-1$. We confirm the conjecture unconditionally for $p\leq 13$, and prove the conjecture holds for $p>911$ through a careful application of lower bounds for linear forms in two logarithms. We also show that any ``nontrivial'' solution must satisfy $y > 10^{1000}$. In addition, we establish auxiliary results that may support future progress on the problem, and we revisit some prior claims in the literature.

Jacobi pole divisors and supersingular lifts

math.NT

math.CA

v2

We study the reducible parameter values of a second-order modular differential equation for the full modular group and show that their pole data is controlled by a single polynomial linking three a priori different structures. The residue conditions for the associated weight two form are exactly the Stieltjes equilibrium equations for four shifted Jacobi families. This determines the poles uniquely and produces a canonical divisor on $X(1)$ supported on the elliptic arc. After the standard eta-normalization, with $\ell=6r$, the differential equation takes the Kaneko-Zagier form, and the same Jacobi polynomial is precisely the polynomial factor in its distinguished modular solution. When $\ell$ is prime, this polynomial is an $\ell$-integral characteristic-zero lift of the non-elliptic supersingular polynomial. Consequently, its splitting field over $\Q_\ell$ is unramified of degree at most two, with Frobenius cycle structure determined by the supersingular $j$-invariants. Complete splitting occurs exactly when every supersingular $j$-invariant in characteristic $\ell$ is defined over $\F_\ell$, equivalently when the Fricke quotient $X_0^+(\ell)$ has genus zero. These are Ogg's primes, which are exactly the prime divisors of the order of the Monster. A common singular Sturm-Liouville equation further gives strict interlacing for consecutive reducible parameters. Finally, we prove that the canonical representatives of the poles are transcendental although their $j$-invariants are algebraic, and determine their limiting distribution and endpoint scales on the modular arc.

Massey products and the Iwasawa theory of fine Selmer groups

math.NT

v2

A central conjecture of Coates and Sujatha predicts that the fine Selmer group of any $p$-adic Galois representation is cotorsion over the relevant Iwasawa algebra with vanishing $\mu$-invariant, generalizing Iwasawa's original conjecture for class groups. In this article, we recast this conjecture in terms of higher Galois cohomological operations called Massey products, stated purely in terms of the residual representation. This characterization implies that if the $\mu$-invariant vanishes for a given $\mathbb{Z}_p$-extension, then it also vanishes for all $\mathbb{Z}_p$-extensions the Greenberg neighbourhood of radius $1/p$. Furthermore, we establish that the unobstructedness of ordinary deformation rings over $\mathbb{Z}_p$-extensions is equivalent to the vanishing of the $\mu$-invariant of the fine Selmer group attached to the adjoint representation. For ordinary deformation rings attached to $2$-dimensional automorphic Galois representations, we establish a close connection between the Noetherian property and the vanishing of the $\mu$-invariant.

Lower bound for the canonical height on abelian varieties over totally p-adic extensions

math.NT

v3

Let $A/\mathbb{Q}$ be an abelian variety and let $\hat{h}$ be the canonical height on $A(\overline{\Q})$ associated to a symmetric ample line bundle $\mathcal{L}$ on $A$. We prove that $\hat h$ is bounded away from zero on non-torsion points of $A$ defined over the maximal totally $p$-adic extension of $\mathbb{Q}$, for all but finitely many primes $p$. More generally, for abelian varieties over a number field $K$, we obtain a similar height gap over certain infinite extensions of $K$, including Galois extensions with finite local degree at non-archimedean places.

Counting rational points on affine hypersurfaces

math.NT

v2

We prove an upper bound for the number of rational points of bounded height on irreducible affine hypersurfaces. More precisely, given an irreducible polynomial $f \in \mathbb{Z}[X_1, \dots, X_n]$, we prove an upper bound on the number of points $(x_1, \dots, x_n) \in \mathbb{Q}^n$ such that $f(x_1, \dots, x_n) = 0$ and each component has height at most $B$. To prove this, we require a quantitative form of Hilbert's irreducibility theorem, where we bound the number of reducible specialisations of an irreducible polynomial at rational points of bounded height.

Mass equidistribution for lifts on hyperbolic $4$-manifolds

math.NT

math.DS

math.SP

v3

This paper is part of a broader project to establish the quantum unique ergodicity conjecture for Hecke-Maass forms on arithmetic hyperbolic $4$-manifolds. The conjecture is known in dimensions $2$ and $3$, but dimensions $4$ and higher present a new difficulty: ruling out concentration along certain homogeneous submanifolds whose stabilizers are non-tempered. We overcome it here for the Pitale lifts, a family of non-holomorphic analogues of Saito-Kurokawa lifts. Our main new ingredient is a construction of an amplifier with exceptional geometric properties. To the best of our knowledge, this is the first successful use of amplification to rule out concentration along a non-tempered subgroup.

A vanishing theorem for residual Eisenstein cohomology

math.NT

math.RT

v2

We study the residual Eisenstein cohomology of semisimple groups in the context of maximal parabolic subgroups which remain maximal over $\mathbb{R}$. Under certain general hypotheses, we show that these residual representations are cohomological one degree below middle, and one above; however, the classes above middle vanish in the full automorphic cohomology. We offer two proofs of this vanishing, one quick and one more explicit. The latter of the two proofs finds an explicit cochain which provides a primitive to the image of a nontrivial class from the cohomology of such a residual representation. This cochain is valued in regular Eisenstein series. Along the way, we study in detail the archimedean component of the relevant induced representation. In particular, we prove that it has a subrepresentation which is the sum of two discrete series, whose Harish-Chandra parameters we describe, and that the intertwining operator vanishes to order exactly $1$ on that subrepresentation.

Short Exponential Sums and Ternary Correlations of Multiplicative Functions

math.NT

v3

In this paper, we investigate the average behavior of ternary correlations for general $k$-divisor-bounded multiplicative functions, assuming certain second moment integral bounds for the associated $L$-functions. Our approach differs from previous methods based on spectral theory or Heath-Brown-type decompositions, and instead combines the circle method with weighted short exponential-sum bounds. The key input is short exponential-sum estimates obtained from integral moment bounds for $L$-functions.

Exponential sums over singular binary quintics

math.NT

v2

We give a characteristic-free explicit formula for exponential sums over singular binary quintic forms, based on the Waring decomposition of binary forms. This extends the method used in our previous work on the space of binary quartics to a non-coregular space.

Torsion and Positive Rank in an Elliptic Family Arising from Cubic 2-Cycles

math.NT

v2

We study the elliptic family $E_t:Y^2=X^3+4X^2+16t^2$ arising from rational $2$-cycles of $x^3+bx+a$. For every $t\in\mathbb{Q}^\times$, we prove that $P_t=(0,-4t)$ has infinite order, so every nonsingular rational fiber has positive rank. We determine its rational torsion subgroup: it is cyclic of order $2$ precisely when $t=u(u^2+4)/4$ for some $u\in\mathbb{Q}^\times$, and is trivial otherwise. No such fiber admits a rational $3$- or $5$-isogeny. An explicit birational dictionary then shows that, for every fixed $a\in\mathbb{Q}^\times$, infinitely many $b\in\mathbb{Q}$ yield a rational $2$-cycle of $x^3+bx+a$. The uniform non-torsion assertion follows from Nagell--Lutz integrality. The torsion exclusions combine elementary $2$-descent with explicit genus-$3$ curves, an unconditional rank-zero Prym argument, and two-cover descent with elliptic Chabauty. Exact Magma and SageMath certificates accompany the computer-assisted steps.

A Proof of a Conjecture of Zhi-Wei Sun on a Truncated Legendre-Symbol Determinant

math.NT

v2

Let $p\ge7$ be a prime with $p\equiv3\pmod4$ and let $\chi$ be the Legendre symbol modulo $p$. We prove that $\det[x+\chi(j-k)]_{0\le j,k\le(p-7)/2}=\floor{(p-2)/3}^{2}x$ in $\mathbb{C}[x]$, which settles Conjecture~3.4 of Zhi-Wei Sun. The truncated matrix is a corner of Chapman's Legendre-symbol matrix $C$, and its determinant can be expressed through a handful of entries of $C^{-1}$ and of $C^{-1}\one$. Those entries are in turn read off from Vsemirnov's cyclotomic factorization of $C$ with the help of Schur's Pfaffian identity.

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

math.NT

v2

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

The distribution and the structure of the maximum of partial sums in families of trace functions

math.NT

v2

In \cite{ABL21}, Autissier, Bonolis and Lamzouri obtained uniform estimates for the distribution function of the maximum of partial sums of a class of families of $m$-periodic complex-valued functions under certain conditions. For example, these conditions are verified by Kloosterman or Birch sums. In this article, under the same assumptions, we obtain an improved estimate for the tail of the distribution of the maximum of partial sums in these families, which gives for the first time an asymptotic formula for the logarithm of the distribution function, in a large uniform range. Furthermore, we prove a "structure theorem" for the maximum of partial sums of a family of complex $m$-periodic functions in our class, which shows that universally over this class, most of the partial sums with large norm are close to their imaginary part, and the maximum is attained around $m/2$. This is in sharp constrast with the results of Bober-Golmaker-Granville-Koukoulopoulos \cite{BGGK18}, Lamzouri \cite{Lam24} and Lamzouri-Nath \cite{LN24} for the distribution of the maximum of character sums in various families of Dirichlet characters.

Strong Weil Degree Divisibility at Higher Levels

math.NT

v2

Let \(\pi_E:X_0(M)\to E\) be the strong Weil parametrization with Manin constant \(c_E\). We prove \(\deg \pi_E\mid c_E^{\Omega(N/M)}\deg g\) for every multiple \(N\) of \(M\) and every nonconstant morphism \(g:X_0(N)\to E'\) over \(\mathbb{Q}\), where \(E'\) is \(\mathbb{Q}\)-isogenous to \(E\) and \(\Omega\) counts prime factors with multiplicity. When \(c_E=1\), as is known for squarefree \(M\), the modular degree at level \(M\) therefore divides every such degree at every higher level. As an application of the divisibility theorem, we prove that no \(X_0(N)/\mathbb{Q}\) admits a morphism over \(\mathbb{Q}\) of positive odd degree at most \(1645\) to an elliptic curve of positive \(\mathbb{Q}\)-rank. For a fixed target \(E'\) and a generator \(u:E\to E'\), we also prove that if the Manin constant \(c_{u\circ\pi_E}=1\), the old homomorphisms induced by degeneracy maps form an integral basis of \(\operatorname{Hom}_{\mathbb{Q}}(J_0(N),E')\), and the old degree matrix determines the exact morphism degrees. The proofs bound denominators in the rational old basis. The divisibility and lattice results extend to compatible towers of intermediate modular curves, including the \(X_1\)-tower.

Sharp Bounds for Rational Points Near Space Curves

math.NT

math.CA

v2

Let $Q\geq 1$ be large, and $\delta \in(0,1)$ be small. Denote by $\mathcal C \subset \mathbb R^3$ a sufficiently smooth curve with non-vanishing curvature and torsion. How many rational points $\mathbf{a}/q$ of height $q\in[1, Q]$ are $\delta/q$-near $\mathcal C$? This manuscript provides an essentially optimal answer, thereby addressing a problem stated by Beresnevich and Kleinbock, for space curves. We show that the folklore conjectures are incorrect for certain manifolds with codimension $\ge 2$, including the moment curve $(t,t^2,t^3)$. The reason is a {hitherto} hidden `major arc' type obstruction. We also establish matching upper bounds, up to endpoints. Our argument combines purely Fourier analytical techniques with the planar counting results by Vaughan and Velani.

Exceptional sets for compositions involving Euler's function,the divisor-sum function and Dedekind's function

math.NT

v2

Let \(\psi(n)\), \(\phi(n)\), and \(\sigma(n)\) denote Dedekind's arithmetic function, Euler's totient function, and the sum-of-divisors function, respectively. We study exceptional sets associated with the compositions \(\phi(\psi(n))\), \(\phi(\sigma(n))\), \(\psi(\psi(n))\), and \(\psi(\sigma(n))\). For every fixed \(c>0\), we obtain quantitative upper bounds for the numbers of integers \(n\le x\) satisfying \(\phi(\psi(n))\ge cn\) and \(\phi(\sigma(n))\ge cn\), thereby refining density results of S\'andor and Dixit and Bhattacharjee, respectively. We further establish quantitative density-zero estimates for the sets of integers \(n\le x\) for which \(\psi(\psi(n))\le cn\) or \(\psi(\sigma(n))\le cn\). More generally, we allow the fixed thresholds in the first two problems to be replaced by thresholds involving non-decreasing functions subject to mild growth conditions.

General Stirling-Ramanujan Constants are exponential periods and applications

math.NT

math-ph

math.CV

math.MP

v2

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 exponential base field $\mathbb{E}=\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 $\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 $\mathbb{E} \left ( 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 $\mathbb{E} \left ( w,e^{-wt}\right )$. The logarithms of the determinants of the Laplacian on spheres and lens spaces are exponential periods over $\mathbb{E}$. The values $\zeta(2n+1)/\pi^{2n}$ are exponential periods over $\mathbb{E}$. 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{E}(\chi )=\mathbb{Q}(\chi)(t,e^{-t})$. For $n\geq 0$, $L_\chi'(-n)$ and $L_\chi(n+1)/\pi^n$ are given in terms of these constants and are exponential periods over $\mathbb{E}(\chi )$.

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

math.NT

v2

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 $\asymp 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.

A Neighboring-Denominator Variant of the Erd\H{o}s--Mahler Conjecture

math.NT

v2

We prove a quantitative neighboring-denominator variant of the Erd\H{o}s-Mahler conjecture. Let $p_n/q_n$ be the convergents of an irrational real number $\xi$. If $p_nq_nq_{n+1}$ is $S$-smooth for infinitely many $n$, where $S$ is a fixed finite set of primes, then there exists an effectively computable constant $c=c(S)>0$ such that \[ \log q_{n+1}\gg_{\xi,S} q_n^c \] along those indices. Consequently, $\xi$ is a Liouville number. The proof uses the determinant identity for consecutive convergents and a fixed-base consequence of Yu's theorem on $p$-adic logarithmic forms.

Unit Indices of Shanks Orders

math.NT

v3

For an integer $t\geq-1$, let $\theta_t$ be the largest real root of $g_t(X)=X^3-tX^2-(t+3)X-1$, and set $R_t=\mathbb{Z}[\theta_t]\subseteq\mathcal{O}_t=\mathcal{O}_{\mathbb{Q}(\theta_t)}$, $N_t=[\mathcal{O}_t:R_t]$, and $\varepsilon_t=[\mathcal{O}_t^\times:R_t^\times]$. We determine $\varepsilon_t$ when $N_t$ is squarefree, $27$, or $343$: the only nontrivial indices in these cases are $\varepsilon_3=3$, $\varepsilon_5=7$, $\varepsilon_{12}=13$, and $\varepsilon_{54}=19$. Local conductor calculations give $\varepsilon_t\mid N_t$ for squarefree $N_t$. For arbitrary $N_t$, a regulator comparison shows that $t\geq2N_t$ implies $\varepsilon_t=1$. When $N_t=p^3$ with $p\neq3$ a rational prime, this bound and the index criterion leave at most four possible parameters with $\varepsilon_t>1$ for each fixed $p$. For arbitrary additive index, we also prove that $13\mid\varepsilon_t$ if and only if $t=12$ or $66$, with unit index $13$ in both cases. The proof determines the rational solutions of a plane quartic equation by an explicit genus-two descent and a local Chabauty argument, proving Louboutin's Conjecture 19 on its integral solutions. When $N_t$ is a rational prime, we determine the Picard kernel, the cardinality and fibers of the ideal class monoid over $\operatorname{Pic}(\mathcal{O}_t)$, and the corresponding integral matrix-conjugacy classes.

Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers

math.NT

v3

A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\infty$ diffeomorphisms $f:\mathbb{R}\to\mathbb{R}$, arbitrarily close to the identity and transcendental over $\mathbb{R}(x)$, such that for every real number field $K\subset\mathbb{R}$, every $n\geq 1$, and every $m\geq 0$, \[ D^m(f^{\circ n})(K)\subseteq K, \qquad D^m(f^{\circ n})(\mathscr{L})\subseteq\mathscr{L}. \] In fact, the non-analyticity locus may be prescribed as any nonempty compact perfect nowhere-dense set disjoint from the real algebraic and Liouville numbers. The proof combines Maillet's theorem with an arithmetic refinement of K\"orner's smooth polynomial sewing method and a rational-germ construction.

Summing the reciprocal of the polynomial appearing in Fermat's Last Theorem

math.NT

v2

Consider the polynomial $f=x^N+y^N-z^N$ where $x,\,y$ and $z$ are positive integers and $N \ge 3$ is an integer. By Fermat's Last Theorem, $f$ is never zero so that its reciprocal, $1/f$, has no singularities. We therefore study the finite sum of the reciprocal: $S(m,N)=\sum_{x=1}^m\sum_{y=1}^m\sum_{z=1}^{m}\frac{1}{f}$. The terms $1/f$ can be positive, negative and their magnitude is less than unity. A key observation is that $S(m,N)$ can be split into two convenient parts: a dominant contribution $D(m,N)$ that has a simple analytical expression and a remainder $R(m,N)$ which is more complicated but negligible compared to $D(m,N)$. Therefore, $S(m,N)$ is almost identical to $D(m,N)$. The analytical expression for $D(m,N)$ is $(2\,m-1)\,H_m^{(N)}$ where $H_m^{(N)}=\sum_{x=1}^m\frac{1}{x^N}$ approaches quickly the Riemann zeta function $\zeta(N)$ as $m$ increases. Therefore, the original sum $S(m,N)$ has a simple expression: it is basically linear in $m$ with slope equal to $2\,\zeta(N)$. Its linear behavior is not an asymptotic result; plots of $S(m,N)$ vs. $m$ for different $N$ show a straight line starting at $m=1$. $S(m,N)$ deviates slightly from a straight line over a small interval $8\le m\le 12$ for the case $N=3$. This slight deviation is due to Fermat near misses where $x^3+y^3-z^3=\pm 1$ (for $z\ne x$ and $z\ne y$); these create a jump in the remainder $R(m,3)$ at $m=9$. We make a numerical and analytical study of the remainder $R(m,N)$. From the numerical analysis, $R(m,N)$ converges for $N\ge 4$ but it was harder to tell whether $N=3$ converged. An analytical study based on a comparison of $R(m,N)$ to its Cauchy principal value integral, shows that $R(m,3)$ likely diverges logarithmically. It also shows that $R(m,N)$ converges for $N\ge 4$ in agreement with the numerical analysis. We discuss in the conclusion some interesting questions for future investigation.

On the Growth of Denominators of Simultaneous Best Diophantine Approximations in a Norm Induced by an Inner Product

math.NT

v2

For $n$-dimensional simultaneous best Diophantine approximations in an arbitrary norm induced by an inner product, for $n\geq2$ we prove $q_{k+2^n}\geq q_k+\min\{q_{k+2^{n-1}},2q_{k+1}\}$. This yields $g_n(\alpha):=\liminf_{m\to\infty}(q_m)^{1/m}\geq\varphi^{1/2^{n-1}}, \text{ for } \ \varphi = \dfrac{1 + \sqrt{5}}{2}.$ Consequently, $\displaystyle G(n):=\inf_{\alpha\in\mathbb R^n\setminus\mathbb Q^n}g_n(\alpha)\geq\varphi^{1/2^{n-1}}$ and $\underline{\mathcal D}_n(\alpha)\leq\left\lfloor 2^{n-1}\frac{\log2}{\log\varphi}\right\rfloor+1$, where $\underline{\mathcal D}_n(\alpha)$ is a quantity related to multidimensional generalizations of the three-distance theorem. In particular, $g_2(\alpha)\geq\sqrt\varphi, \, g_3(\alpha)\geq\sqrt[4]{\varphi}, \, \underline{\mathcal D}_2(\alpha)\leq3, \, \underline{\mathcal D}_3(\alpha)\leq6.$

A new proof that more than $2/3$ of the zeros of the Riemann zeta function are simple and on the critical line

math.NT

math.CV

v2

We obtain a new, conceptually simpler, unconditional proof that more than $67.25\%$ of the non-trivial zeros of the Riemann zeta function are simple and on the critical line, and that at least $83.62\%$ of the non-trivial zeros are distinct. Our approach also yields two new unconditional estimates on simple zeros and zeros on the critical line. More precisely, we prove that the proportion of zeros that are simple or lie on the critical line (or both) is at least $88.76\%$, and that the average of the proportions of simple zeros and of zeros on the critical line is at least $83.62\%$. A proof of the bounds for simple zeros on the critical line and for distinct zeros was very recently produced by an internal research version of Claude developed by Anthropic and subsequently verified by two mathematicians at Anthropic, Levent Alp\"oge and Ralph Furman, whereas our two additional estimates are neither stated nor proved in the Claude paper. The argument produced by Claude is technically intricate, and its main mechanism is not immediately transparent. It combines several ingredients from linear algebra, including a finite-dimensional matrix representation of Weil's Hermitian form and a rank--trace inequality for Hermitian matrices, with a second moment calculation over the zeros using the explicit formula. Our new approach proceeds by replacing the entire finite-dimensional matrix framework by a single Hilbert space inequality, which allows for a direct application of Montgomery's theorem on the pair correlation of zeros of the zeta function, in the unconditional form obtained by Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh.

Representation Defects and Cassels Pairings for Congruent Number Curves: R\'edei Symbols and Governing Fields

math.NT

v2

Using BSD results for CM elliptic curves, we relate Qin's quadratic form representation defects to the Cassels pairing on the pure $2$-Selmer group of a congruent number elliptic curve. When the pure $2$-Selmer dimension is even, we prove that the normalized representation defect modulo $2$ is the Pfaffian of the Cassels pairing matrix; the dimension of its radical yields sharper $2$-adic divisibility and information on the $2$-primary Shafarevich--Tate group. For products of primes congruent to $1$ modulo $8$ that are pairwise quadratic residues, we give explicit Cassels pairing matrices for both $E_n$ and $E_{2n}$ and express their entries in terms of quartic and R\'edei symbols. For each fixed prime $p$, we construct a governing field of degree $256$ and determine the exact joint distribution of the two Pfaffians by Chebotarev's theorem. In particular, there is a set of primes $q$ of natural density $5/128$ for which both $E_{17q}$ and $E_{34q}$ have rank zero and $2$-primary Shafarevich--Tate group isomorphic to $(\Z/2\Z)^4$.

Odd denominators in the Lonely Runner spectrum for six speeds

math.NT

math.CO

v2

For distinct positive integers v_1, ..., v_n let ML(v_1, ..., v_n) be the largest number L such that at some time t every t vi is at distance at least L from the nearest integer; the Lonely Runner Conjecture asserts that ML >= 1/(n+1). Write ML = p/q in lowest terms. Kravitz conjectured that whenever ML < 1/n one has q = np + 1; Fan and Sun found counterexamples for n = 4, conjectured that q = np + k with 1 <= k <= n always holds, and observed that in their data for n = 6 only k = 1 and k = 3 occur. We explain this observation. For six speeds we show that all but finitely many tuples with ML < 1/6 satisfy ML = (P-1)/(6P) for an integer P congruent to 1 or 5 modulo 6; in particular k is 1 or 3 and the denominator q is odd. The proof determines the three infinite two-parameter families of tuples on which such values concentrate, computes ML exactly on each family, and describes exactly where k = 3 occurs. An exhaustive search over the 2 x 10^9 sextuples with speeds at most 110 finds no exception. For five speeds the same method, together with Chen's classification of the tuples attaining ML = 1/5, shows that all but finitely many tuples with ML < 1/5 satisfy Kravitz's original conjecture. The computations are exact and the code is provided.

On the Frobenius Coin Problem in Three Variables

math.CO

math.NT

v2

The three-variable Frobenius coin problem asks for the largest integer that cannot be represented as a non-negative integer combination of three positive integers $a_1

Drinfeld's lemma for algebraic stacks

math.AG

math.NT

v2

Drinfeld's lemma is a powerful tool for splitting $\ell$-adic local systems defined over a product of connected schemes over a finite field. In this paper, we show that Drinfeld's lemma also holds true for algebraic stacks.

On the Supersingular Locus of the $\mathrm{GU}(2,n-2)$ Shimura Variety

math.AG

math.NT

v3

We study the supersingular locus of a reduction at an inert prime of the Shimura variety attached to $\mathrm{GU}(2,n-2)$. More concretely, we decompose the supersingular locus into a disjoint union of iterated fibrations over (classical) Deligne-Lusztig varieties after taking perfection. As an immediate application, when $p\geq3$, we prove an analogue of Oort's conjecture on the supersingular locus of the Siegel modular variety.

Motivic cohomology of mixed characteristic schemes

math.AG

math.KT

math.NT

v3

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general, but it uses the classical $\mathbb{A}^1$-invariant motivic cohomology of smooth $\mathbb{Z}$-schemes as an input. The main new input of our construction is a global filtration on topological cyclic homology, whose graded pieces provide an integral refinement of derived de Rham cohomology and Bhatt--Morrow--Scholze's syntomic cohomology. Our theory satisfies various expected properties of motivic cohomology, including relations to \'etale cohomology and to non-connective algebraic $K$-theory.

Cluster algebraic interpretation of generalized Markov numbers and their matrixizations

math.CO

math.NT

v3

Markov numbers, i.e. positive integers appearing in solutions to $x^2 + y^2 + z^2 = 3xyz$, can be viewed as specializations of cluster variables. The second author and Matsushita gave a generalization of the Markov equation, $x^2 + y^2 + z^2 + k_1yz + k_2xz + k_3xy = (3+k_1+k_2+k_3)xyz$, whose solutions can be viewed as specializations of cluster variables in generalized cluster algebras. We give two families of matrices in $SL(2,\mathbb{Z}[x_1^\pm,x_2^\pm,x_3^\pm])$ associated to these cluster structures. These matrix formulas relate to previous matrices appearing in the context of Markov numbers, including Cohn matrices and generalized Cohn matrices given by the second author, Maruyama, and Sato, as well as matrices appearing in the context of cluster algebras, including matrix formulas given by Kanatarc{\i} O\u{g}uz and Y{\i}ld{\i}r{\i}m. We provide a classification of the two families of matrices and exhibit an explicit family of each. The latter is done by realizing cluster variables in generalized Markov cluster algebras as weight-generating functions of order ideals in certain fence posets which are related to Christoffel words. An interesting observation is that these functions resemble Caldero-Chapoton functions for string modules, and a byproduct of our proofs is a new skein-like formula for such functions.

Reducedness of twisted loop groups

math.RT

math.AG

math.NT

v2

We give an elementary proof of the reducedness of twisted loop groups along the lines of the Kneser-Tits problem.

Universality results for random matrices over finite local rings

math.PR

math.AC

math.CO

math.NT

v2

Let $R$ be a finite local ring. We prove a quantitative universality statement for the cokernel of random matrices with i.i.d. entries valued in $R$. Rather than use the moment method, we use the Lindeberg replacement technique. This approach also yields a universality result for several invariants that are finer than the cokernel, such as the span and the determinant.

A relative Langlands dual realization of $T^*(G/K)$ and derived Satake

math.RT

math.AG

math.NT

v2

We show that the cotangent bundle $T^*(G/K)$ of a quasi-split symmetric space $G/K$ is isomorphic to the dual variety of the loop symmetric space for the Langlands dual group, providing instances of the relative Langlands duality for non-split groups. Then we establish a Langlands dual description of equivariant coherent sheaves on $T^*(G/K)$ in terms of constructible sheaves on the loop symmetric spaces, generalizing the derived Satake equivalence for reductive groups to quasi-split symmetric spaces. To this end, we prove the derived Satake equivalence for the twisted affine Grassmannians, study ring objects arising from loop symmetric spaces, and explore the formality and fully-faithfulness properties of $!$-pure objects. We deduce a version of Bezrukavnikov equivalence for quasi-split symmetric spaces and make connections to the geometric Langlands on the twistor $\mathbb P^1$.

The Gao-Zhuang conjecture for the Heisenberg group over $\mathbb{F}_p$

math.CO

math.NT

v2

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 Gao and Zhuang \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 finite Heisenberg group over $\mathbb F_p$. Godara and Sarkar proved the Gao-Zhuang equality for $H_{27}=\operatorname{UT}_3(\mathbb F_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$. Together with the known abelian and cyclic-index cases, this completes the verification of the Gao-Zhuang equality for all groups of order $p^3$, for every prime $p$.

Lattice Green's function of the hyperkagome lattice: modular uniformization at level 30 from an orthogonal differential Galois group

math-ph

cond-mat.stat-mech

math.MP

math.NT

v2

The lattice Green's functions of the cubic lattices are classical: each is a symmetric square of a second-order operator, with a closed form in complete elliptic integrals. The hyperkagome lattice, realized by the iridium sublattice of the spin-liquid candidate Na4Ir3O8, has resisted such a treatment: Varma and Monien reduced its density of states to a threefold integral they found no way to solve exactly. From exact lattice moments we obtain an irreducible third-order linear differential (Picard-Fuchs) operator annihilating the Green's function. It is not a literal symmetric square, yet its symmetric square carries a rational solution: the differential Galois group is orthogonal, and an order-two differential intertwiner makes the operator projectively a symmetric square. Our main result is that the underlying second-order operator is the uniformizing equation of the genus-zero modular curve of Gamma_0(30)+, the level-thirty group generated by Gamma_0(30) and all its Atkin-Lehner involutions, an explicit eta quotient parametrizing the natural variable. That uniformizing equation is itself not new - it is a row of the Lian-Yau table of genus-zero groups - so what is new here is the identification of a lattice Green's function with it, together with a proof: the Schwarzian identity is established by an a priori pole-degree bound rather than checked numerically, which also proves the tabulated entry. The hyperkagome Green's function is therefore modular at level thirty, supplying the closed form Varma and Monien sought. Its weight-two period is obtained explicitly: a depth-one quasimodular form which we prove is not a modular form times an algebraic function at any weight.

An $\mathfrak{sl}_2$-action on the uri Lie algebra

math.QA

math.NT

v2

We construct an $\mathfrak{sl}_2$-action by derivations on the Lie algebra $\mathfrak B$ of swap invariant alternil bimoulds with the uri bracket of K\"uhn and Schneps. This Lie algebra plays the role for formal multiple Eisenstein series which Racinet's double shuffle Lie algebra $\mathfrak{dm}_0$ plays for multiple zeta values. The kernel $\mathfrak m$ of the lowering operator is a Lie subalgebra, $\mathfrak B$ is the direct sum of its iterates under the raising operator, and this gives Rankin-Cohen type operators on $\mathfrak m$. We define a Lie subalgebra $\mathfrak d$ of $\mathfrak B$ and show that it is isomorphic to $\mathfrak{dm}_0$ extended by an additional element in weight one.