Number Theory [math.NT]

A new perspective on the rank of Mazur's Eisenstein Hecke algebra

math.NT

Let $N, p \geq 5$ be primes such that $N \equiv 1 \bmod p$. We study the rank $r$ of the Hecke algebra that parametrizes modular forms of weight 2 and level $N$ that are Eisenstein modulo $p$. When $r$ is $2$ or $3$, we prove that $r-1$ equals the order of vanishing of the mod-$p$ reduction of a zeta element that interpolates Dirichlet $L$-values at $-1$, thereby recovering results of Merel and Lecouturier. This equality can fail in some cases when $r \geq 4$, and we provide a heuristic explanation of this failure. Our approach handles all of these cases uniformly by studying the analogous Hecke algebra in level $N^2$. When exactly one of $r-1$ or the order of vanishing equals $3$, we provide precise information about Galois orbits of cuspidal newforms in level $N^2$ that are Eisenstein modulo $p$.

Special periods and some non-tempered cases of the Gan-Gross-Prasad conjecture

math.NT

In this paper, we establish a relationship between special periods and special L-values of automorphic representations of classical groups, and prove the non-tempered global Gan--Gross--Prasad conjecture in several cases. Our approach consists of two main steps. First, inspired by Rallis' tower property, we study the interaction between special periods and the tower property for the genericity of global theta lifts. Second, we investigate the relationship between the analytic properties of L-functions and special periods via the Rankin--Selberg integral method. Combining these results with non-vanishing criteria for global theta lifts in terms of various L-values, we prove three explicit higher-corank families of non-tempered cases of the global Gan--Gross--Prasad conjecture.

Rational orbits under correspondences

math.NT

math.DS

Consider an algebraic function like $F(x) = \sqrt{x^3 - 1}$. If $p \in \mathbb{Q}$ is a rational number, how many iterates of $p$ under $F$ can also be rational? The dynamics of algebraic functions may be formalized in the language of correspondences on curves and their iterates. In this paper we show that if $F$ is a correspondence from $\mathbb{P}^1$ to itself defined over a finitely generated field $K$ of characteristic 0 satisfying several minor constraints, then either for each $n \geq 12$ there are only finitely many $p \in \mathbb{Q}$ for which $F^n(p)$ contains a $K$-rational point or $F$ belongs to an explicit list of known exceptional correspondences.

Thin subbases of Piatetski-Shapiro sequences

math.NT

For a non-integral real number $c>1$, let $\mathbb{N}_{(c)}:=\{\lfloor n^c\rfloor ~|~ n\in\mathbb{N}\}$. We show that $\mathbb{N}_{(c)}$ contains thin subbases of every order $h\geq 5$ when $1<2$, and $h\geq (\lfloor 2c\rfloor+1)(\lfloor 2c\rfloor+2)+1$ when $c>2$. In fact, for every regularly varying function $F$ such that \[ \frac{F(x)}{\log x}\to\infty\quad\text{ and } \quad F(x)\leq (1+o(1))\frac{\Gamma(1+1/c)^h}{\Gamma(h/c)} x^{h/c-1}, \] there exists $A\subseteq\mathbb{N}_{(c)}$ with $r_{A,h}(n)\sim F(n)$. We also establish analogous results for $k$-th powers of Piatetski-Shapiro numbers and Piatetski-Shapiro primes for small $c$.

Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

math.NT

math.DS

Let $p$ be an odd prime, let $n\ge2$, and let the $n$th Chebyshev polynomial $T_n$ act on $\Z/p^k\Z$. We count fixed and exact-periodic points, allowing non-permutation degrees, and organize the finite-field formulas by the two source groups needed for prime-power lifting. Over $\Fp$ we record the four-GCD fixed-point formula \[ N_1=\frac{\gcd(n-1,p-1)+\gcd(n+1,p-1)+\gcd(n-1,p+1)+\gcd(n+1,p+1)-2\delta}{2}, \] where $\delta=\gcd(n-1,2)$. The proof separates split and nonsplit source groups for $a=(\zeta+\zeta^{-1})/2$ and counts degenerate fixed residues branch-wise. For every odd $p$, \[ N_2=N_1+d(p-1). \] Here $d$ denotes the number of fixed residue classes $a\in\Fp$ for which \(T_n'(a)\equiv1\pmod p\). For $p\ge5$ and all $k\ge1$, \[ N_k=N_1+d\bigl(p^{\min(k-1,\nup(n^2-1))}-1\bigr). \] This all-level formula does not extend unchanged to $p=3$, where boundary $p$-adic estimates at $a=\pm1$ can fail; the first-lift formula remains valid. For periods, we use the Chebyshev order \[ \cord_e(n)=\min\{r\ge1:n^r\equiv\pm1\pmod e\}. \] A source-order-$e$ point is periodic over $\Fp$ exactly when $\gcd(n,e)=1$, with period $\cord_e(n)$. M\"obius inversion for the iterates $T_{n^j}$ gives exact-period point counts over $\Z/p^k\Z$ for all odd $p$; for $p\ge5$, the all-level fixed-point formula gives closed forms. When $p\nmid n$, orbitwise lifting modulo $p^2$ gives either full period retention or one Hensel lift plus ghost periodic points of period $\cord_{ep}(n)$. For $p\ge5$, higher lifts above a periodic residue are governed by the tower $\cord_{ep^q}(n)$.

A Ceiling Continued Fraction Approach to the Erd\H{o}s-Straus Conjecture: Heuristic finiteness of counterexamples

math.NT

We introduce the Ceiling Continued Fractions (FCT) framework for constructing three-term Egyptian fraction representations in the Erdos-Straus conjecture. The approach exploits divisor structures of shifted integers p+i rather than congruence-based techniques. Computational tests on 10^9 primes in ranges around 10^17 and 10^52, and 10^7 primes around 10^131, show no counterexamples with very small search depth. We derive a super-polynomial upper bound on the failure probability; its convergence, together with the Borel-Cantelli lemma, provides heuristic evidence that counterexamples, if any exist, form a finite set.

Small values of signed harmonic sums and logarithmic means of multiplicative functions

math.NT

math.CO

math.PR

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.

$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

math.NT

math.AG

We compute the \'etale $\mathbb{G}_m$-cohomology of some $p$-adic rigid analytic Stein spaces. The computation is done by considering the filtration induced by the subgroup of principal units $U=1+ \mathfrak{m} \mathcal{O}^+$ of $\mathbb{G}_m$. We then determine the $U$-cohomology via methods from $p$-adic Hodge theory (passage to the pro-\'etale site, comparison theorems with $p$-adic cohomologies), while the $\mathbb{G}_m/U$-cohomology is obtained using Kummer exact sequences. In particular, our formula applies to the case of Drinfeld upper-half space.

Statistics of the Genus Number of $S_3 \times C_2$ and $D_4$-fields

math.NT

The genus number of a number field is a fundamental invariant which measures the contribution of ramification to its ideal class group. In this paper, we establish the statistics for the genus number for $S_3\times C_q$-fields for $q\neq 3$ a prime number, $D_4$-fields and pure quartic fields. We also obtain precise results on the average and higher moments of the genus distribution within the family of $S_3\times C_q$-fields. Finally, based on heuristics, we formulate a conjecture identifying families for which one should expect the genus density to be zero, i.e., only a density zero subset of fields in the family attains any fixed genus number.

Exponential sums over singular binary quintics

math.NT

We give an estimate of exponential sums over singular binary quintic forms in a characteristic-free form, based on the Waring decomposition of binary forms. This extends the method on our preceding result on the space of binary quartics to a non-coregular space.

Non-Expansive Matrix Based number Systems

math.NT

Let $M = \left(\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix}\right)$ be a $2 \times 2$ Jordan block with eigenvalue $1$, and let $\mathcal{D} = \{\left(\begin{smallmatrix}0 \\ 1 \end{smallmatrix}\right), \left(\begin{smallmatrix} 0 \\ -1 \end{smallmatrix} \right)\}$. In this paper, we answer a question of Caldwell, Hare, and V\'avra about the minimal length representation of $\left( \begin{smallmatrix} a \\ b \end{smallmatrix} \right) = \sum_{i=0}^{k-1} M^i d_i$ with $d_i \in \mathcal{D}$. Further, we extend the work of Caldwell, Hare, and V\'avra to consider the case of $n \times n$ Jordan blocks with eigenvalue $-1$.

Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

math.NT

math.AG

We study generalized Jacobi sums, cyclotomic numbers, and $d$-compositions in Thaine's framework, and prove new multiplicative identities extending Davenport and Hasse's lifting theorem from the classical prime-power setting to products of prime powers. As applications, we construct multiplicative forms of degree $f\ge2$, i.e. $f$-ic forms, on complete intersections of $f$-ics. This places Pfister's theory of multiplicative quadratic forms over fields within the broader setting of multiplicative $f$-ic forms on affine algebraic varieties, where new phenomena arise. Moreover, a dense open subset $W \subset V$ carries the structure of an algebraic torus, and the multiplicative form is compatible with the induced group law on $W$.

The Logarithmic Asymptotic Phenomenon for Generalized Markov-Hurwitz Equations

math.NT

math.CO

math.DS

The purpose of this paper is twofold. First, we introduce a family of generalized Markov-Hurwitz equations, extending classical Markov-Hurwitz equations with additional degree n-1 interaction terms, Gyoda and Matsushita's generalized Markov equations from 3 variables to n variables. Second, we prove a logarithmic asymptotic phenomenon for the positive integer solutions of these equations.

The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

math.NT

math.AT

math.GR

math.GT

For $R$ a Euclidean number ring, and let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $\Gamma_n(p)$ vanishes above a degree $\nu$ that is quadratic in $n$. Let $K$ be the fraction field of $R$, and $\mathcal{T}_n(K)$ the Tits building of $\text{SL}_n(K)$. For $R=\mathbb{Z}$, Lee--Szczarba asked when $\text{H}^\nu(\Gamma_n(p))$ is isomorphic to $\widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/\Gamma_n(p))$, which was answered by Miller--Patzt--Putman. We study a generalized version of Lee--Szczarba's question. We prove that for a prime $p$ in a Euclidean number ring $R$ with fraction field $K$, that a natural map $\text{H}^\nu(\Gamma_n(p)) \to \widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/\Gamma_n(p))$ is always surjective, and give a sufficent set of conditions on $p \in R$ that guarantee when this map is an isomorphism.

Theta functions and transformations of bilateral basic hypergeometric series

math.NT

math.CA

math.CO

We establish new transformation formulas involving theta functions for certain bilateral basic hypergeometric series. From these, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove some conjectures of McIntosh on asymptotic transformations of $q$-series.

Appell function proofs of recent and old mock theta function identities

math.NT

In this note we give new proofs of two recent mock theta function identities discovered by Garvan and Mukhopadhyay. We also give a new proof of an old mock theta function identity of Watson. Using the setting of Appell function properties as first introduced and developed by Hickerson and Mortenson, we demonstrate that the identities are similar to certain tenth-order and sixth-order mock theta function identities found in Ramanujan's lost notebook. Our approach suggests more identities like those of Garvan and Mukhopadhyay.

On a polynomial involving quadratic residues modulo primes

math.NT

Let $p$ be an odd prime, and define $$G_p(x)=\prod_{k=1}^{(p-1)/2}\left(x-e^{2\pi i k^2/p}\right).$$ In this paper we study values of $G_p(x)$ at roots of unity via Galois theory, and confirm some previous conjectures. For example, for any primitive tenth root $\zeta$ of unity, we prove that $$G_p(\zeta)=\begin{cases}(-1)^{|\{1\le k\le \frac {p+9}{10}:\ (\frac kp)=-1\}|} &\text{if}\ p\equiv21\pmod{40}, \\(-1)^{|\{1\le k\le\frac {p+1}{10}:\ (\frac kp)=-1\}|}\zeta^{2}&\text{if}\ p\equiv 29\pmod{40}, \end{cases}$$ where $(\frac kp)$ denotes the Legendre symbol.

A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics

quant-ph

math-ph

math.MP

math.NT

We describe a general formalism for quantum dynamics and show how this formalism subsumes several quantum algorithms including the Deutsch, Deutsch-Jozsa, Bernstein-Vazirani, Simon, and Shor algorithms as well as the conventional approach to quantum dynamics based on tensor networks. The common framework exposes similarities among quantum algorithms and natural quantum phenomena: we illustrate this connection by showing how the correlated behavior of protons in water wire systems that are common in many biological and materials systems parallels the structure of Shor's algorithm.

$p$-adic Manifold Learning and Benchmark Tasks from Impartial Games

cs.LG

math.NT

We introduce $p$-adic manifold learning, propose an algorithm to solve it, and propose benchmark tasks from impartial games.

The McKay correspondence and local heights for wild-by-tame split metacyclic groups

math.AG

math.NT

We study the McKay correspondence for the representations of certain wild-by-tame split metacyclic groups whose order is divisible by the characteristic of the base field. We calculate the stringy motive of the quotient variety and find a formula for its stringy Euler number. As a consequence, we prove that a crepant resolution of the quotient variety (provided one exists) does not in general have Euler characteristic equal to the number of conjugacy classes in $G$, in contrast to the classical case. In particular, we show it depends on the choice of representation as well as the group. As part of this, we compute the v-function associated to a $G$-representation, corresponding to a stacky local height function.

Energy and Vertex Energy of Modified Divisor Prime Graphs

math.CO

math.NT

This paper investigates the energy and vertex energy of the modified divisor prime graph $G^*_{Dp}(n)$, which is distinguished from the standard divisor prime graph by the inclusion of a self-loop at the vertex $1$. To facilitate this analysis, we introduce a generalized definition of vertex energy for graphs with self-loops and demonstrate its mathematical consistency.

The Erd\H{o}s-P\'osa property for prime-length cycles fails (and beyond)

math.CO

math.NT

We prove that for every $t \in \mathbb{N}$, prime-length cycles do not have the $\frac{1}{t}$-integral Erd\H{o}s-P\'osa property, even when restricted to planar graphs. We in fact prove a more general density result. For every $t \in \mathbb{N}$ and every subset $L \subseteq \mathbb{N}$ with lower density zero, the set of cycles whose length is in $L$ do not have the $\frac{1}{t}$-integral Erd\H{o}s-P\'osa property, even when restricted to planar graphs. We also consider a less restrictive density condition on $L$, called porous, where the complement of $L$ contains arbitrarily long sequences of consecutive integers. We prove that for every porous set $L \subseteq \mathbb{N}$, the set of cycles whose length is in $L$ do not have the Erd\H{o}s-P\'osa property, even when restricted to projective planar graphs. Our results partially answer a question of Gollin, Hendrey, Kwon, Oum, and Yoo [Math. Ann., 393(2):2507-2559, 2025].

Correlations of error terms for weighted prime counting functions

math.NT

v2

Standard prime-number counting functions, such as $\psi(x)$, $\theta(x)$, and $\pi(x)$, have error terms with limiting logarithmic distributions once suitably normalized. The same is true of weighted versions of those sums, like $\pi_r(x) = \sum_{p\le x} \frac1p$ and $\pi_\ell(x) = \sum_{p\le x} \log(1-\frac1p)^{-1}$, that were studied by Mertens. These limiting distributions are all identical, but passing to the limit loses information about how these error terms are correlated with one another. In this paper, we examine these correlations, showing, for example, that persistent inequalities between certain pairs of normalized error terms are equivalent to the Riemann hypothesis (RH). Assuming both RH and LI, the linear independence of the positive imaginary parts of the zeros of $\zeta(s)$, we calculate the logarithmic densities of the set of real numbers for which two different error terms have prescribed signs. For example, we conditionally show that $\psi(x) - x$ and $\sum_{n\le x} \frac{\Lambda(n)}n - (\log x - C_0)$ have the same sign on a set of logarithmic density $\approx 0.9865$.

On special values of generalized $p$-adic hypergeometric functions of logarithmic type

math.NT

math.AG

v2

We introduce a new type of $p$-adic hypergeometric functions, which are generalizations of $p$-adic hypergeometric functions of logarithmic type defined by Asakura, and show that these functions satisfy the congruence relations similar to Asakura's. We also give numerical computations of the special values of these functions at $t=1$ and prove that these values are equal to zero under some conditions.

On $p$-adic incomplete Mellin transforms and $p$-adic incomplete gamma-functions

math.NT

v2

Let $r$ be a non-zero rational number. In a paper in the Transactions of the AMS in 2023, O'Desky and Richman gave a construction of a $p$-adic incomplete gamma-function $\Gamma_p(\cdot,r)$ for each prime $p$ for which $|r - 1|_p < 1$. Aside from the special case where $r = 1$, only finitely many primes satisfy that condition for a given $r$, so it is desirable to lessen this restriction. In the present paper, we give a construction that works under the much weaker condition that $|r|_p = 1$ using a $p$-adic integral transform we introduced in our paper of 2024 in Acta Arithmetica, which we interpret here as a $p$-adic analogue of an incomplete Mellin transform. For any given $r$, the condition $|r|_p = 1$ holds for all \emph{except} finitely many primes $p$. Our approach emphasizes the parallels between the complex and $p$-adic constructions, explaining how a $p$-adic integration-by-parts formula takes the place of complex integration by parts in the proof of the recurrence relations for the $p$-adic incomplete gamma-functions. We introduce a two-variable $p$-adic transform for the task, extending our earlier $p$-adic integral transform.

On Sidon sets with squares, cubes and quartics in short intervals

math.NT

v2

Representative examples of our results are as follows. For any positive integer $N$ the equation $$ x^3+y^3=z^3+t^3, \quad x,y,z,t\in \mathbb{N}, \quad \{x,y\}\not=\{z,t\} $$ has no solutions satisfying $$ N\le x,y,z,t < N+\Bigl(\frac{38}{3}N+\frac{1297}{36}\Bigr)^{1/2}+\frac{19}{6}. $$ The strict inequality ``$<$" can not be substituted by ``$\le$", that is, there exist infinitely many positive integers $N$ such that the equation has a solution with $$ N\le x,y,z,t \le N+\Bigl(\frac{38}{3}N+\frac{1297}{36}\Bigr)^{1/2}+\frac{19}{6}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ the equation has a solution satisfying $$ N\le x,y,z,t \le N+cN^{2/3}. $$ For any $\varepsilon>0$ there exist infinitely many positive integers $N$ such that the equation has no solutions satisfying $$ N\le x,y,z,t \le N+N^{4/7-\varepsilon}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ the equation $$ x^4+y^4=z^4+t^4,\quad x,y,z,t\in\mathbb{N}, \quad \{x,y\}\not=\{z,t\}, $$ has no solutions satisfying $$ N\le x,y,z,t \le N+cN^{3/5}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ this equation has a solution satisfying $$ N\le x,y,z,t \le N+cN^{12/13}. $$

Order drop, Hecke descent, and a mod $p^4$ supercongruence for symmetric-cube hypergeometric coefficients

math.NT

v2

We prove that the symmetric-cube coefficients $A_n=(-27)^n[z^n]\,_2F_1(1/3,1/3;1;z)^3$ satisfy the supercongruence $A(mp)\equiv A(m) \bmod p^4$ for every prime $p\geq 5$ and every $m\geq 1$. The proof rests on three ingredients: (i) the modular identification $F(t(\tau))=\eta(\tau)^9/\eta(3\tau)^3$ with $t(\tau)=\eta(3\tau)^{12}/\eta(\tau)^{12}$, whose logarithmic derivative is the weight-5 Eisenstein series $C(q)=3E_5(\chi_0,\chi_3)$ on $\Gamma_0(3)$; (ii) exact congruences $c_{mp^r}\equiv c_{mp^{r-1}} \bmod p^{4r}$ for the coefficients of $C$, combined with a Lagrange-Burmann extraction; and (iii) a Hecke descent on weakly holomorphic forms, where the defect is expanded in the two-dimensional space of weight-5 forms on $\Gamma_0(3)$ with character $\chi_3$, spanned by $C$ and $tC$, via a cusp-adapted basis, with the second cusp handled by the Fricke involution $W_3$. As an independent result, we show that the Mao-Tian cubic recurrence drops from order 3 to order 2 at the specialization $(1/3,1/3,1)$.

Solution to the Erdos problem on distinct residues of factorials

math.NT

math.CO

v2

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct. In this short note, we give the negative answer on this question in an elementary way.

A note on bilinear sums with modular square roots

math.NT

v2

Bag and Shparlinski \cite{BaSh} considered bilinear sums of terms of the form $e_p(axy^s)$, where $p$ is a prime, $a$ is an integer coprime to $p$, $s$ is an integer, $x$ runs over a subset of $\mathbb{F}_p^{\ast}$ and $y$ runs over an interval. Closely following their method, we establish an analogous result for the case when $s=1/2$ ($y^{1/2}$ being a modular square root of $y$ modulo $p$, if existent). A part of this note is devoted to reviewing our recent works on related bilinear sums.

Limits of equi-affine equi-distant loci of planar convex domains with two non-parallel asymptotes

math-ph

math.AG

math.DG

math.MP

math.NT

v2

In this note, we introduce equi-affine invariants by averaging over the space of tropical structures of fixed covolume. Applied to the tropical distance series, this construction produces a family of equi-affine invariant functions associated with convex domains which are expected to satisfy a number of remarkable properties. We conjecture a limiting description of the associated level sets in the compact case, and we prove an analogue of this statement for unbounded domains with two non-parallel asymptotes. In addition, we give an explicit formula for the arithmetic mean value at the center of the unit disk.

On Jiang's wavefront sets conjecture for representations in local Arthur packets

math.RT

math.NT

v2

This paper serves as an attempt towards the Jiang conjecture on the upper bound nilpotent orbits in the wavefront sets of representations in local Arthur packets of quasi-split classical groups, which is a natural generalization of the well-known Shahidi conjecture, reflecting the relation between the structure of wavefront sets and the local Arthur parameters. Applying the character identities of local Arthur packets and a matching method, we reduce the study of the upper bound to certain properties of the wavefront sets of the corresponding bi-torsor representations of general linear groups, which is implied by a recent result of Atobe and Ciubotaru for split classical groups when the residue characteristic is large.

Small Matrices with Small Inverses: Unimodular Zerofree Cases

math.CO

cs.DM

math.NT

v2

We consider unimodular matrices $M$ such that neither $M$ nor $M^{-1}$ contain zero entries. Matrices typically exhibit a trade-off: small $M$ imply large $M^{-1}$. We investigate rare cases where both remain small, classify these matrices up to symmetry, and discuss aspects of this balanced setting.