Number Theory [math.NT]

An upper bound for an exceptional automorphism group

math.NT

math.AG

Let $q=p^h>7$ be odd, put $m=(q+1)/2$, and suppose that $i=(m-2)/2$ satisfies $\gcd(i,m)=\gcd(i+2,m)=1$. For the $\mathbf{F}_{q^2}$-maximal function field $\mathcal{F}_i=\mathbf{F}_{q^2}(x,y)$ defined by $y^m=x^i(x^2+1)$, Peter Beelen, Maria Montanucci, Jonathan Niemann, and Luciane Quoos showed that the geometric automorphism group contains a subgroup of order $4(q+1)$ and conjectured that its order is exactly $4(q+1)$. We prove this equality by establishing the reverse inequality.

Perfect numbers, Wieferich primes and the solutions of $\binom{2n}{n}\equiv 2^n \bmod n$

math.NT

In this article we focus on the solutions of a congruence equation: $\binom{2n}{n}\equiv 2^n \bmod n$. Using the main result of this article and the SageMath software, we improve largely the number of known solutions. Furthermore, we prove that some famous numbers like even perfect numbers and Wieferich primes are connected to solutions of this equation.

Poissonian pair correlations for the three-particle Sutherland model

math.NT

math-ph

math.MP

We prove a Berry-Tabor theorem for the repulsive three-particle trigonometric Sutherland Hamiltonian. For fixed total momentum, its relative spectrum is an affine translate of the positive-definite $A_2$-form. For a Diophantine coupling, the desymmetrized spectrum has Poissonian pair correlation. The proof reduces the problem to a finite-congruence and Weyl-sector version of Marklof's theorem on inhomogeneous quadratic forms.

Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization

math.NT

cs.LO

Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p$-normal sets, where $p$ ranges over the prime divisors of $\ell$. This generalizes an earlier theorem of Derksen and Masser (2012) on the solution set of $S$-unit equations over fields of positive characteristic. The purpose of this paper is twofold. First, we give a shorter proof of Dong and Shafrir's result, using the theorem of Derksen-Masser as a blackbox. Our proof also yields a decomposition of the zero set as a positive Boolean combination of affine transformations of zero sets of linear-exponential equations over fields. Second, we prove a multi-dimensional generalization of the Skolem-Mahler-Lech theorem over rings of finite characteristic. Specifically, we show that the zero set of every $n$-dimensional linear recurrence sequence over an $R$-module $M$ satisfying $\ell M = 0$ is the intersection of effectively computable $p$-normal sets (in $\mathbb{N}^n$), where $p$ ranges over the prime divisors of $\ell$. For example, this gives a decision procedure for whether two classical linear recurrence sequences have a common value over a ring of characteristic $p^a$ or $p^a q^b$, where $p$ and $q$ are primes.

Factorization patterns and fields of definition of $\ell$-torsion points on the Jacobians of genus 3 hyperelliptic curves

math.NT

Motivated by Schoof-Pila-type point-counting algorithms, we study the fields of definition and factorization patterns of Galois orbits of $\ell$-torsion points on the Jacobians of genus-3 hyperelliptic curves over finite fields. We show that the degree of the field of definition of the $\ell$-torsion points can be bounded by $O(\ell^4)$, improving the previously expected $O(\ell^6)$ bound (which reflects the size of the $\ell$-torsion subgroup, of order $\ell^6$ for a genus 3 Jacobian). Moreover, we establish a precise correspondence between the rank of the $\ell$-torsion subgroup and the Galois orbits of $\ell$-torsion divisors. Our approach relies on a detailed analysis of the Jordan decomposition of the Frobenius action on $J$ and its nilpotent part.

On lifting representations and actions on curves of the metacyclic groups $C_{p^s}\rtimes C_m$

math.NT

For a prime $p$, a pair $(s,m)\in\mathbb{N}^2$ with $m$ relatively prime to $p$, a homomorphism $\chi:C_m\rightarrow\operatorname{Aut}(C_{p^s})$, and an algebraically closed field $k$ of characteristic $p$, we consider the semidirect product $G=C_{p^s}\rtimes_{\chi} C_m$, denote its $p$-Sylow subgroup $C_{p^s}$ by $H$, and consider a $k[G]$-module $V$. Let $R$ be a complete discrete valuation ring of residue field $k$ and mixed characteristic $(0,p)$ that contains a primitive $p^s$-th root of unity. If $\chi$ is injective, we present two necessary and sufficient criteria for lifting $V$ to an $R[G]$-module $\widetilde{V}$ which is a free $R$-module: (i) when no extra requirement is made on $\widetilde{V}$ and (ii) when we require $\widetilde{V}^{C_{p^s}}=\{0\}$. The criteria correct several results in the literature and we use them to prove that, if $\chi$ is injective and $G$ acts faithfully on a connected smooth projective curve $X$ over $k$, then, under mild hypotheses satisfied if $X\rightarrow X/G$ is a Harbater--Katz--Gabber cover, the $k[G]$-module $H^0(X,\Omega_X)$ has a lift $\widetilde{V}$ to $R$ with $\widetilde{V}^{C_{p^s}}=\{0\}$. With $B$ as the field of fractions of $R$, we prove the following obstruction when $p$ is odd, $G/\operatorname{Ker}(\chi)$ has even order, and $X/C_{p^s}\cong\mathbb{P}^1_k$: if no such lift $\widetilde{V}$ exists with the $B[H]$-module $\widetilde{V}\otimes_R B$ defined over $\mathbb{Q}$, then the action of $G$ on $X$ does not lift to $R$.

Representation Defects and Cassels Pairings for Congruent Number Curves

math.NT

Qin expressed central values of the congruent number curve $E_n:y^2=x^3-n^2x$ through differences of ternary quadratic form representation numbers, while Zhang gave explicit formulas for the Cassels pairing on the pure $2$-Selmer group. We prove that the parity of Qin's normalized representation defect is the Pfaffian of the Cassels pairing. For $n=pq$ with $s_2=4$, we compute the $4\times4$ Cassels matrix and obtain an invariant $\Pi(p,q)$ such that $r_a(pq)\equiv h(-pq)+16\Pi(p,q)\pmod{32}$. We also prove an even analogue and a higher dimensional extension.

Resolving a conjecture on permutation polynomials over $\mathbb{F}_{2^n}$

math.NT

math.CO

Let $\delta\in\mathbb{F}_{2^n}$ satisfy $\operatorname{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\delta)=1$. We study the permutation behavior of $$ f(x) = \left(\frac{1}{x^2+x+\delta}\right)^{2^k}+x $$ over $\mathbb{F}_{2^n}$. Helleseth and Zinoviev proved that $f(x)$ is a permutation for $k=0,1$, and remarked that numerical evidence suggests that no other cases occur. In this paper, we confirm their assertion by proving that, for $0\leq k

Odd denominators in the Lonely Runner spectrum for six speeds

math.NT

math.CO

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.

Prime-power Diophantine tuples

math.NT

A positive $D(n)$-$m$-tuple is a set $A=\{a_1,\ldots,a_m\}$ of distinct positive integers such that $a_i a_j+n$ is a square for every $i\ne j$. In 2005, Dujella and Luca obtained an absolute bound for the cardinality of a $D(p)$- or $D(-p)$-tuple of positive integers, uniformly in the prime $p$. We extend the underlying gap argument to prime powers. An explicit toric elimination certificate, proved by elementary linear algebra, replaces the unsaturated homogeneous elimination step and is valid modulo every prime power. Explicit degree and height bounds for this eliminant yield a uniform gap principle. Combined with the general bound for bounded $|n|$, this shows that every positive reduced $D(\pm p^r)$-tuple (i.e. tuple with elements not divisible by $p$) has less than $2^{121}$ elements, independently of $p$ and $r$. Thus, every positive $D(\pm p)$-tuple has at most $2^{121}$ elements, positive $D(\pm p^2)$-tuples have less than $2^{122}$ elements, and the maximal cardinality of a positive $D(\pm p^r)$-tuple is $O(r)$ uniformly in $p$.

The Klein-V\'elu septic, 2-Division, and modular function fields of level 14

math.NT

We study the 2-division of the Klein-V\'elu elliptic normal septic. Its three non-zero 2-torsion points give rise to an explicit cubic equation over the function field of $X(7)$. We identify the three roots of this cubic with modular functions expressed in terms of septic theta functions at $\tau/2,\tau$, and $2\tau$, and show that its splitting field is precisely the function field of $X(14)$. This gives an explicit link between the 2-division geometry of the Klein-V\'elu septic and the passage from full level 7 to full level $14$. Several intermediate modular function fields in the resulting $S_3$-extension are also described.

The derived set of multiple star polylogarithms

math.NT

The derived set of multiple zeta-star values is the half-line $[1,+\infty)$. In this paper we study the corresponding two-dimensional problem for multiple star polylogarithms on the unit circle. We first prove that every shifted multiple star polylogarithm is the generating function of a completely monotone sequence and hence admits a normalized Hausdorff--Stieltjes representation. Both the shifted and the unshifted functions, as well as their infinite-depth limits, are shown to be univalent on the half-plane $\mathrm{Re}\,z<1$. For finite indices, the representing densities satisfy a strict monotone likelihood-ratio order with respect to the reverse lexicographic order. Together with closure properties of the Hausdorff--Stieltjes class and a limiting quotient argument, this shows that, along the upper semicircle, the argument of each translated curve increases strictly while its modulus decreases strictly; the corresponding lower-semicircle statement follows by conjugation. The same idea gives strict separation of the curves attached to different indices. We then establish a one-to-one correspondence between a natural set of pairs consisting of a point of the unit circle and an infinite index, and the closed half-plane $\mathrm{Re}\,w\geq \frac12$ with the point $1$ removed. Under a binary coordinate on the index set, this correspondence is a homeomorphism. As an application, a subclass of shifted cyclotomic multiple zeta-star values of all levels form a countable dense subset of the open half-plane $\mathrm{Re}\,w>\frac12$. Consequently, the derived set, and every higher derived set, of this cyclotomic family is the closed half-plane $\mathrm{Re}\,w\geq\frac12$.

The $\mathfrak{sl}_2$-algebra structure of multiple Eisenstein series

math.NT

We prove that the algebra of multiple Eisenstein series is an $\mathfrak{sl}_2$-algebra. In particular, we show that it is graded by weight, which also holds after taking complex linear spans. Further, we identify it as a graded $\mathbb{Q}$-algebra with the associated graded algebra of $q$-analogues of multiple zeta values with respect to the weight filtration. The main ingredient is an estimate that compares the usual defining sums of multiple Eisenstein series with sums over a lattice order depending on an integer $N$.

Supersingular Elliptic Curves Without Inseparable Small Degree Endomorphisms

math.NT

cs.CR

For a fixed characteristic $p$, let $\delta(p)$ denote the smallest degree needed to guarantee the existence of an isogeny from any supersingular curve $E$ to its Frobenius conjugate $E^{(p)}$. We translate existence questions concerning $\delta(p)$ into questions about positive definite integral ternary quadratic forms and use Voronoi's theory of perfect forms in dimension three to characterize when $\delta(p)$ is nearly maximal. For sufficiently large primes, we show that $\delta(p)$ attains its upper bound precisely when $p$ is represented by one of nine explicit cubic polynomials, reducing the infinitude of such primes to whether one of these cubics takes prime values infinitely often. We also prove that, for almost all primes, $\delta(p)$ lies at least $p^{1/6-o(1)}$ below its upper bound.

Overcolored Partition $k$-tuples Restricted by Parity of the Parts

math.NT

In this paper, we study the combinatorial object $\bar{b}^k_{r,s}(n)$ which counts the overcolored partition $k$-tuples wherein both even and odd parts are colored with $r$ and $s$ colors, respectively. We extend results of Chacon and Sellers for several families of $r,s$ and $k$. We also establish divisibility properties for $\bar{b}^k_{r,s}(n)$ modulo prime $p$ and conclude with new congruences modulo powers of $2$. The techniques involved to obtain our results rely on theta function identities and modular forms.

Arithmetic probability measures

math.NT

math.CV

We consider probability measures on compact subsets of the complex plane arising as limiting distributions of Galois conjugates of certain algebraic integers. These measures are characterized by infinitely many integral inequalities, one for each nonzero integer polynomial. We study a broad family of measures given by particular convex combinations of harmonic and equilibrium measures. We then show that, for measures in this family, it suffices to verify two conditions to guarantee all the required inequalities. Under additional arithmetic constraints on the underlying compact sets, we further show that the infinite collection of inequalities is equivalent to checking the inequalities associated with two explicitly specified integer polynomials.

The groups $\operatorname{SL}_2(\mathbb{F}_{13})$ and $\operatorname{SL}_2(\mathbb{F}_{19})$ are Galois over $\mathbb{Q}$

math.NT

math.GR

In this paper, we show that $\operatorname{SL}_2(\mathbb{F}_{13})$ and $\operatorname{SL}_2(\mathbb{F}_{19})$ are Galois groups of totally real extensions of $\mathbb{Q}$. For each of these primes $\ell$, we find a polynomial of degree $\ell+1$ whose splitting field has Galois group $\operatorname{PSL}_2(\mathbb{F}_\ell)$. These fields satisfy B\"oge's criterion and the associated central embedding problem has a proper solution with Galois group $\operatorname{SL}_2(\mathbb{F}_\ell)$. One can choose the resulting fields totally real via a quadratic twist. The degree $14$ polynomial is found through a genus one Hurwitz family of degree 14 covers. The degree 20 polynomial is found using Yang's modular equations for the Shimura curve $X_6^*(1)$.

Galois representations ramified at one prime via relative deformation theory

math.NT

math.RT

Let $p$ be an odd prime and let $\mathbf{G}/\mathbb Z$ be a split connected reductive group with $\operatorname{dim} Z(\mathbf{G})\leq1$. Assume that a split maximal torus of $\mathbf{G}$ admits a cocharacter whose pairing with every simple root is odd, and impose an explicit root-theoretic condition on the reduction of $\mathrm{Lie}(\mathbf{G}^{\mathrm{der}})$ modulo $p$. We construct infinitely many continuous representations $\rho:G_{\{p\}}\longrightarrow\mathbf{G}(\mathbb{Z}_p)$ which are unramified at every finite prime different from $p$ and whose images contain a principal congruence subgroup of $\mathbf G^{\mathrm{der}}(\mathbb{Z}_p)$. When the center has dimension one, the representations may be chosen to have open image in $\mathbf{G}(\mathbb{Z}_p)$. The construction continues the author's earlier work on $\mathrm{GL}_n$-valued representations ramified at one prime, but replaces the residual unobstructedness used there by a relative lifting argument. For $\mathbf{G}=\mathrm{GL}_n$ all the required root-theoretic conditions are automatic for every odd prime. We therefore obtain, for every odd $p$ and every $n>1$, infinitely many representations $G_{\{p\}}\to\mathrm{GL}_n(\mathbb{Z}_p)$ with open image. In particular, this removes the weak Vandiver-type hypothesis occurring in the author's previous work, as well as the restriction $p\geq7$ in that construction.

On the exponential sum over squarefree integers

math.NT

Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on the minor arcs of the Hardy--Littlewood dissection throughout the range $Q\le N^{1/2}$. The estimates of Schlage-Puchta [SP] and of Tolev [T] have the same dependence on $q$ and $Q$ but carry a factor $N^{\varepsilon}$. The proof uses Heath-Brown's square sieve with sieving primes confined to an interval $(P,2P]$, where $P$ may be as small as a multiple of $\log N$; a finite Fej\'er majorant in place of a truncated Fourier series; and, after completion of the character sums, a count of representations that exploits the restriction on the primes in place of the divisor function.

Short character sums of inhomogeneous polynomials

math.NT

Let $p$ be a prime. We prove nontrivial bounds on short sums of Dirichlet characters mod $p$ evaluated at a class of polynomials, not necessarily homogeneous, in $n$ variables and of degree $k$. For large $n$, we further achieve nontrivial bounds for sums over boxes with side-lengths as short as $p^{1/(k-1)+\varepsilon}$, which breaks past the Burgess barrier of $p^{1/4+\varepsilon}$ as soon as $k\geq 6$. In the proof, we develop a new variation of the Burgess amplification method that reduces the problem to bounding additive character sums. This is the first case in which a Burgess-type method succeeds in the inhomogeneous setting.

The subconvexity problem for symmetric square $L$-functions in level aspect

math.NT

In this paper, we address the subconvexity problem in level aspect for symmetric square $L$-functions for cuspidal automorphic representation of $\mathrm{GL}_2(\mathbb{Q})$ with a prescribed local ramification at prime $p$. To be more precise, let $\pi$ be a tempered cuspidal automorphic representation of conductor $q(\pi)=p^2$ with a non-quadratic central character of conductor $p$. We prove that if the corresponding local representation $\pi_p$ belongs to a suitable class of representations $\mathcal S$, then \[ L\left(\frac{1}{2},\,\mathrm{Sym}^2\pi\right)\ll_{\varepsilon, \pi_\infty} q(\mathrm{Sym}^2\pi)^{\frac{1}{4}-\frac{1}{168}+o(1)}, \] where implied constant depends polynomially on the spectral parameters of $\pi_\infty$. This is the first instance of level-aspect subconvex bound for $L$-functions of a $\mathrm{GL}_3(\mathbb Q)$ automorphic representation. Our approach is based on the delta-symbol method. Apart from some standard analytic number theoretic tools, Katz's theory of hypergeometric sums, and Deligne's proof of Weil-conjectures play an important role in the proof.

Catalan's constant is irrational

math.NT

Whether the constant $$G=\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^2}=\frac1{1^2}-\frac1{3^2}+\frac1{5^2}-\frac1{7^2}+\cdots$$ introduced by Catalan in the nineteen century is irrational, is a long-standing open problem. In this paper we prove the irrationality of $G$ via using suitable weights.

Some generalizations of Oort's conjecture

math.AG

math.NT

For a prime $p\geq 5$, let $\mathscr S_g$ be the moduli space over $\overline{\mathbb F}_p$ of $g$-dimensional principally polarized supersingular abelian varieties. We show that each of the following loci contains an open dense subscheme on which the principally polarized abelian varieties have automorphism group $\{\pm1\}$: (i) certain supersingular Ekedahl--Oort strata when $g$ is even, (ii) the loci in $\mathscr S_g$ with non-supersingular Ekedahl--Oort invariants of positive Coxeter type when $g\geq 3$, and (iii) the locus in $\mathscr S_g$ with $a$-number at least $2$ when $g\geq 4$. Consequently, for $g\geq 4$, the complement in $\mathscr S_g$ of the open locus where the automorphism group is $\{\pm1\}$ has codimension at least $2$. These results confirm Oort's conjecture for $p\geq 5$. We reduce them to statements about affine Deligne--Lusztig varieties for $\operatorname{GSp}_{2g}$ and prove analogues of (ii) for $\operatorname{GL}_{2g}$ and $\operatorname{GSO}_{4m}$.

Connections between colored restricted $b$-ary and ordinary partitions

math.CO

math.NT

We establish various connections between classes of colored and bounded ordinary partitions on one hand, and colored but not necessarily bounded binary and $b$-ary partitions on the other hand. Many of these results are based on special recurrence relations, some of which are new. We also obtain several classes of identities for sequences of colored $b$-ary partitions, and there are a few results concerning compositions.

Extension Problems for the Vladimirov--Taibleson Operator and the Hierarchical Laplacian

math.AP

math.FA

math.NT

We establish a non-Archimedean Caffarelli-Silvestre extension theory for the Vladimirov-Taibleson operator $D^s$ for $s>0$ and, more generally, for hierarchical Laplacians $L_C$. For every $f\in\mathcal{S}(\mathbb{Q}_p^n)$, we equip the Bruhat-tits tree $\mathcal{T}_{p^n}$ with the weight $w_{v_{k-1}v_k}=p^{k(s-n)}$ under the horocyclic coordinates. We prove that the resulting Dirichlet problem admits a unique bounded weighted-harmonic solution that is continuous on the end compactification. Its boundary traces converge to $f$ uniformly and in $L^2$, while the associated deformed normal derivative converges pointwise and in $L^2$ to $D^s f$. We derive explicit Fourier and Poisson representations of the extension and establish an energy identity between its weighted tree energy and the quadratic form of $D^s$. Motivated by $p$-adic AdS/CFT, we also give an equivalent massive formulation on the unweighted tree, based on a renormalized trace and a scale-corrected normal derivative. Finally, under natural local-finiteness and scaling assumptions, we extend the construction to hierarchical Laplacians $L_C$ on ultrametric spaces. We characterize the canonical edge conductances by requiring the cancellation Green operator on the ultrametric tree $\mathcal{T}_X$ to coincide with $L_C^{-1}$ on $\mathcal{S}_0(X)$. In the corresponding canonical flux class, the extension is unique, its Dirichlet-to-Neumann map is $L_C$, and it satisfies the associated energy identity. The Vladimirov-Taibleson construction is recovered as the homogeneous special case.

From Ordered Bernoulli Levels to Critical-Line Geometry: Integer Quantization, Bernoulli Residual Phase, and Prime-Power Spectra

cs.LG

math.NT

We study the ordered Bernoulli-word kernel f(p,n,k)=p^k(1-p)^(n-k) and the geometry generated by its inverse-integer level sets. The binary level 2^(-n) selects p=1/2 as the unique real split-independent anchor. Under complement-preserving complex continuation, the pair becomes z=1/2+iu and 1-z=1/2-iu, producing a conjugation-symmetric vertical geometry before any zeta-function input is introduced. The quadratic coordinate Q(z)=z(1-z)=1/4+u^2 has a sharp minimum at the central point and admits an exact integer quantization. For critical-line zero ordinates gamma_k, the induced levels L_k=1/4+gamma_k^2 are decomposed exactly as L_k=N_k+delta_k, where N_k is the nearest integer and delta_k is a periodic first-Bernoulli residual. Circularization gives Z_k=exp(2 pi i delta_k), isolating gamma_k^2 mod 1 as the residual phase variable. Unique factorization resolves the integer shells into prime-generator coordinates, while a distinct complex exponent s lifts the same construction to the Dirichlet atoms m^(-s), linking the Dirichlet-series and Euler-product assemblies. Exact identities, classical zeta connections, numerical controls, and open conditional Weyl tests are kept explicitly separate. No proof of the Riemann Hypothesis is claimed.

A Fej\'er--Riesz inequality for Dirichlet series

math.FA

math.CV

math.NT

We prove the following inequality for Dirichlet polynomials: \[ \int_0^1 |f(1/2+\sigma)|\,d\sigma\lesssim \lim_{T\to\infty} \frac{1}{2T} \int_{-T}^T |f(it)| \, dt. \] In particular, for a Dirichlet series $f(s) = \sum_{n\geq 1} a_n n^{-s}$ belonging to the Hardy space $\mathscr{H}^1$ of Dirichlet series, \[ \left|a_1+\sum_{n=2}^\infty \frac{a_n}{\sqrt n\log n}\right| \lesssim \|f\|_{\mathscr{H}^1}. \] This answers a question raised previously in the literature and it proves that the multiplicative Hilbert matrix has a bounded symbol.

The Prime Clockwork: A Dynamic Representation of Modular and Multiplicative Arithmetic

math.HO

cs.DM

math.DS

math.NT

nlin.CG

The way numbers are represented strongly influences which arithmetic structures are easy to see. The \emph{prime clockwork} is a recursively growing discrete dynamical system: a list of autonomous two-hand clocks driven by one common $+1$ signal. No primes or primality labels are supplied. Starting empty, the process appends a clock of period $n$ whenever none already present rings; the primes are generated internally as its growth times. For each installed prime $p$, the seconds reading $R_p$ advances through $0,\ldots,p-1$, and each return to zero increments the minutes reading $M_p$, which counts completed $p$-cycles. The hands use only increment, comparison, reset, and carry, without explicit \texttt{mod} or \texttt{div} operations. At time $n$, $n=pM_p(n)+R_p(n)$. The valuation readout $V_p(n)=\nu_p(n)$ is generated locally: it is zero when the seconds counter is non-zero (silent state) and otherwise (when the p-clock rings) one plus the earlier valuation addressed by the current minutes reading. The valuation vector gives the integer in unique prime-factorized form. Its coordinates add and subtract under multiplication and division, representing every positive rational uniquely; divisibility becomes weak componentwise order, and unique factorization is natural in this representation. Finite seconds arrays form Cartesian-product state spaces whose common orbit visits every joint state once before repeating; this \emph{grand cycle} is the order-sensitive dynamical counterpart of the Chinese remainder theorem. The same coordinates expose gcd, lcm, perfect powers, B\'ezout's identity, and Euler's totient. Rational valuation levels reach certain positive algebraic irrationalities, but not algebraic numbers in general.

Oort's conjecture for split unitary Shimura varieties

math.AG

math.NT

We prove that generically on the basic stratum of split unitary Shimura varieties, the universal abelian variety with endomorphism structure and polarization has automorphism group $\{\pm 1\}$, except for a few degenerate cases. This is a direct analogue of Oort's conjecture on automorphisms of supersingular abelian varieties. On the way, we explicitly compute the generic automorphism group of the universal $p$-divisible group in a given basic isogeny class.

Cranks for Ramanujan-type congruences of $k$-colored partitions

math.NT

v4

Dyson famously provided combinatorial explanations for Ramanujan's partition congruences modulo $5$ and $7$ via his rank function, and postulated that an invariant explaining all of Ramanujan's congruences modulo $5$, $7$, and $11$ should exist. Garvan and Andrews-Garvan later discovered such an invariant called the crank, fulfilling Dyson's goal. Many further examples of congruences of partition functions are known in the literature. Here, we provide a framework for discovering and proving such invariants for families of congruences. As a first example, we find a family of crank functions that simultaneously explains most known congruences for colored partition functions. The method used, which utilizes Gritsenko, Skoruppa, and Zagier's powerful recent theory of theta blocks, should also be useful for studying other combinatorial functions.

Hasse norm principle for Heisenberg extensions of degree $p^3$

math.NT

math.AG

v2

Let $k$ be a global field and $p$ be an odd prime number. We give a necessary and sufficient condition for the Hasse norm principle for separable field extensions $K/k$, i.e. the determination of the Shafarevich-Tate group $Sha(T)$ of the norm one tori $T=R^{(1)}_{K/k}(G_m)$ of $K/k$, with $[K:k]=p^3$ or $p^2$ when the Galois group of the Galois closure of $K/k$ is the Heisenberg group $E_p(p^3)\simeq (C_p)^2\rtimes C_p$ of order $p^3$, i.e. the extraspecial group of order $p^3$ with exponent $p$. As a consequence, we get the Tamagawa number $\tau(T)=p^2$, $p$ or $1$ via Ono's formula $\tau(T)=|H^1(k,\widehat{T})|/|Sha(T)|$.

Squares, three fleas, sporadic sets, and squares

math.NT

v2

Three fleas are on the plane. At each move, two fleas jump to the other two vertices of a square erected on the segment joining them. Starting from $\{(0,0),(2,1),(3,2)\}$ we study the possible areas of the triangle spanned by the fleas. Every positive half-integer occurs. An exact computation through $5\cdot 10^9$ finds that all integers missed are exactly perfect squares and sporadic values $5,29,80,99,179$. We prove the square obstruction using quadratic reciprocity and then explain its hidden geometry: a flea triangle naturally determines an oriented Descartes configuration, and the flea group is rationally conjugate to the determinant-one subgroup of a permutation extension of the Apollonian group. In Apollonian packings the reciprocity obstruction is partly obscured by strong congruence restrictions. For flea areas the contrast is cleaner: every residue class modulo every modulus occurs, yet every square is missed.

Zeros of Polynomials in Derivatives of Automorphic $L$-functions

math.NT

v3

Let $\mathfrak{F}_m$ be the set of all cuspidal automorphic representations of $\mathrm{GL}_m(\mathbb{A}_{\mathbb{Q}})$, and let $F(s,\boldsymbol{\pi})$ be a polynomial in the derivatives of $L$-functions associated with representations $\pi \in \cup_{m=1}^{\infty} \mathfrak{F}_m$. We establish an asymptotic formula for the number of nontrivial zeros of $F(s,\boldsymbol{\pi})$ with $0 < \operatorname{Im}(s) < T$. We explicitly determine the main term of this formula in terms of the dimensions, the arithmetic conductors, and the orders of differentiation of the component $L$-functions. Furthermore, we show that, under certain conditions, almost all nontrivial zeros of $F(s,\boldsymbol{\pi})$ lie near the critical line $\operatorname{Re}(s)=1/2$.

On subradically sifted sums related to Alladi's higher order duality between prime factors

math.NT

v2

In this paper, I utilize a variant of the Selberg--Delange method to find quantitative estimates of the sums \[M_{k,\omega}(x,y)=\sum_{\substack{p_{1}(n)> y\\ n\leq x} } \mu(n) {\omega(n)-1\choose k-1},\] where $y$ can grow with $x$ but we must have $y\leq Y_0\exp(\mathscr{p}\frac{\log x}{(\log\log (x+1))^{1+\epsilon}})$ with $Y_0,\mathscr{p},\epsilon>0$. Moreover, I give preliminary upper bounds for the general range $1.9\leq y\leq x^{\frac{1}{k}}$. In addition, I formalize the notions of subradical and radical dominance and discuss their relevance to the analytic approach to the study of arithmetic functions. Lastly, I give a fascinating formula related to the derivatives of the gamma function and the Hankel contour, which should be relevant for those employing the Selberg--Delange method to obtain higher-order terms.

Unbounded logarithmic limsup in Erd\H{o}s Problem 684 via shifted carry scheduling

math.NT

math.CO

v3

For $1\leq k\leq n$, let $u(n,k)=\prod_{p\leq k}p^{\nu_p\binom nk}$ and $f(n)=\min\{1\leq k\leq n:u(n,k)>n^2\}$. The minimum is interpreted as $+\infty$ if the set is empty. Here $\nu_p(m)$ denotes the exponent of the prime $p$ in $m$. Erd\H{o}s Problem 684 asks for bounds on $f(n)$. We prove $\limsup_{n\to\infty} \frac{f(n)}{\log n}\frac{\log\log\log n}{\log\log n}\geq\frac12$. In particular, $\limsup_{n\to\infty}f(n)/\log n=\infty$, so no uniform estimate $f(n)=O(\log n)$ is possible. The proof constructs integers $n=tL_M-h-1$, where $L_M=\operatorname{lcm}(1,\ldots,M)$. Product-cell coding yields simultaneous two-sided approximations to $tL_M$ modulo every prime in $(M,K]$. Writing $n+1=tL_M-h$, the shift by $h$ folds both signs into the same one-sided carry region. The carries at levels at most $M$ are bounded by $\log\binom{h+k}{h}$. For the prime powers above $K$, a truncated CRT witness has modulus below the search range; exponential weighting then gives an exponentially small exceptional set. An elementary anchored-fibre lemma selects a multiplier satisfying both requirements. Together, these ingredients prove the stated bound unconditionally. The theorem has been formally verified in Lean 4 with Mathlib.

Sharp vertex connectivity of the Markoff graphs modulo $p$

math.NT

math.CO

v2

For a prime $p$ and $k\in\mathbb{F}_p$, the generalized Markoff graph $G_{p,k}$ is an undirected graph whose vertices are the solutions over the finite field $\mathbb{F}_p$ of the normalized Markoff equation \[ x_1^2+x_2^2+x_3^2=x_1x_2x_3+k, \] where two vertices are adjacent if they differ by a Vieta involution. The Markoff graph $G_p$ is obtained from $G_{p,0}$ by removing the origin. The structure of $G_p$ has been the subject of extensive study; in particular, a major breakthrough of Bourgain, Gamburd, and Sarnak established that $G_p$ contains a giant connected component. Combined with Chen's remarkable divisibility theorem, this implies that $G_p$ is connected for all sufficiently large primes $p$. In the same paper, Bourgain, Gamburd, and Sarnak further asked whether the family $\{G_p\colon \text{primes }p\geq 5\}$ forms an expander family. This motivates us to investigate the robustness of connectivity in the Markoff graphs. The main result of this paper is proved in the general setting: for every prime $p\geq5$ and every $k\in\mathbb{F}_p\setminus\{4\}$, each connected component $C$ of $G_{p,k}$ with $|V(C)|\geq 3$ is $2$-connected. Reducing to the case $k=0$, we conclude that if the Markoff graph $G_p$ is connected, then it is in fact $2$-connected. Consequently, the Markoff graph $G_p$ is $2$-connected for all sufficiently large primes $p$. This is sharp in the sense that $G_p$ is not $3$-connected for any prime $p\geq 7$.

Convolution-type Bombieri-Vinogradov theorem with well-factorable weights, and its applications

math.NT

v2

In this paper, we consider the asymptotic density of $\#\{p\leq x:P^+(p-1)\geq p^c\}$ and $\#\{n\leq x:P^+(n)

<1$, and \begin{align*} \#\{n\leq x:P^+(n)

0.299x. \end{align*} The first result constitutes an improvement upon that of Ding and Wang (2025), who obatined $\mathop{\lim\sup}_{x\rightarrow\infty} \frac{1}{\pi(x)}\#\{p\leq x:P^+(p-1)\geq p^c\}\leq \frac{7}{2}\log\frac{1}{c}$. The second result improves a previous result $0.280$ by the author (2026). The key to the proof is that for a special class of convolution forms equipped with well-factorable weights, we may use the level \(x^{5/8-o(1)}\) for Pascadi's prime-distribution result with triple-well-factorable weights. We also use Pascadi's estimation of incomplete Kloosterman sums.

Winning property of counterexamples to Uniform Littlewood's Conjecture

math.NT

v2

In this paper, we prove that the set of counterexamples to the uniform Littlewood's conjecture proposed in Bandi-Fregoli-Kleinbock, that is, the set of pairs of real numbers $(x,y)$ satisfying $$ \limsup_{Q\to +\infty}\ Q\cdot \min_{1\leq q\leq Q}\langle qx\rangle\langle qy\rangle>0, $$ is hyperplane absolute winning. We show that a stronger statement holds: the set of real pairs $(x,y)$ satisfying $$ \liminf_{m\to +\infty}\ Q_m\cdot \min_{1\leq q\leq Q_m}\langle qx\rangle\langle qy\rangle>0, $$ is hyperplane absolute winning if $Q_{m+1} \gg Q_m^{\tau}$ for some $\tau > 1$. In particular, the above sets have full Hausdorff dimension in $\mathbb{R}^2$. In addition, we prove that these sets are absolute winning on every regular $C^2$ planar curve whose set of points of nonzero curvature is itself absolute winning on the curve. We also establish analogous results for certain lines.

Modular periodicity of the Euler up/down numbers at odd prime powers

math.NT

math.CO

v2

Let $E_n$ denote the number of alternating permutations of $\{1,\dots,n\}$, equivalently characterized by $\sum_{n\ge0}E_nz^n/n!=\sec z+\tan z$. For every $q\ge1$, the sequence $(E_n\bmod q)_{n\ge0}$ is eventually periodic; let $d(q)$ and $s(q)$ denote its minimal eventual period and preperiod. For every odd prime $p$, Knuth and Buckholtz proved $d(p)=\operatorname{lcm}(p-1,4)$ together with \[ d(p^r)\mid p^{r-1}d(p), \qquad s(p^r)\le r, \] and Ramassamy conjectured that both bounds are attained for every $r\ge1$. In this paper, we introduce an algebraic frequency expansion for the Euler zig-zag numbers using Hurwitz series over the coefficient ring $S_r=(\mathbb Z/p^r\mathbb Z)[x]/(x^2+1)$. More precisely, the corresponding Hurwitz series is represented as a finite combination of formal exponential modes, in a manner reminiscent of Fourier analysis.Using this expansion, we prove \[ d(p^r)=p^{r-1}d(p) \qquad \text{for every odd prime $p$ and every $r\ge1$}, \] thereby establishing Ramassamy's period conjecture. We also disprove the preperiod conjecture by proving \[ s(5^5)=4<5. \] Finally, we prove that $5^5$ is the smallest odd prime power for which $s(p^r)\ne r$, and based on our findings we further conjecture \[ s(p^r)\ge r-2 \] for every odd prime $p$ and every $r\ge2$.

The Algebraicity Problem for Hard-Core Entropy Constants on the Discrete Hypertori

math.NT

math.AG

math.CO

v2

We use tools and techniques from $p$-adic analysis and algebraic number theory to study the algebraicity of the hard square entropy constant and its high dimensional analogues. Specifically, we study arithmetic properties of $a_d(n)$, the number of independent sets in the $d$-dimensional discrete torus, and the associated entropy constants $\kappa_d=\lim_{n\to\infty}a_d(n)^{1/n^d}$. It is not known whether $\kappa_d$ is algebraic or transcendental for $d>1$. Using the fact that the sequence $a_d(p^k)$ converges $p$-adically for every prime $p$ and other arithmetic facts, we present a collection of criteria for the algebraicity of $\kappa_d$ and bound the number of possible values of prime powers $p^k$ for which $a_d(p^k)=\kappa_d^{p^{kd}}$.

Generalizations of Koga's version of the Wiener-Ikehara theorem

math.CV

math.CA

math.NT

math.PR

v4

We establish new versions of the Wiener-Ikehara theorem where only boundary assumptions on the real part of the Laplace transform are imposed. Our results generalize and improve a recent theorem of T. Koga [J. Fourier Anal. Appl. 27 (2021), Article No. 18]. As an application, we give a quick Tauberian proof of Blackwell's renewal theorem.

On the Local Langlands Functorial Transfer from $\text{SO}(5)$ to $\text{GL}(4)$

math.RT

math.NT

v2

Let $\text{F}$ be a non-archimedean local field of characteristic zero. We study the local Langlands functorial transfer from $\text{SO}(5, \text{F})$ to $\text{GL}(4, \text{F})$ for several families of supercuspidal representations of $\text{GL}(4, \text{F})$. In doing so, we give equivalent conditions for such representations to be functorial transfers from $\text{SO}(5, \text{F})$, expressed in terms of the Bushnell--Kutzko construction of supercuspidal representations, by studying poles of local exterior square $L$-functions and the existence of non-zero local Shalika models.

The Hydra Map and Numen Formalisms for Collatz-Type Problems

math.DS

math.NT

v4

This paper details a generalization of the formalism presented in the author's 2024 paper, "The Collatz Conjecture and Non-Archimedean Spectral Theory - Part I - Arithmetic Dynamical Systems and Non-Archimedean Value Distribution Theory", to the case of Hydra maps on the ring of integers $\mathcal{O}_{K}$ of a global field $K$. In addition to recounting these definitions, background material is presented for the necessary standard material in algebraic number theory and integration and Fourier analysis with respect to the $p$-adic Haar measure. This paper is meant to serve as a technical manual for use of Hydra maps and numens in future research.

Frobenius nonclassicality of generalized Fermat curves with respect to conics

math.AG

math.NT

v2

The effective application of the St\"ohr-Voloch theory for the linear system of plane curves of a fixed degree to bound the number of rational points of a family of plane curves defined over $\mathbb{F}_q$ requires the characterization of the $\mathbb{F}_q$-Frobenius nonclassical curves in the family. In this paper, we provide necessary and sufficient conditions for certain generalized Fermat curves $\mathcal{F}$ defined over $\mathbb{F}_q$ to be $\mathbb{F}_q$-Frobenius nonclassical with respect to the linear system of conics. In the Frobenius classical cases, we obtain nice bounds for the number $N_q(\mathcal{F})$ of rational points of $\mathcal{F}$ via St\"ohr-Voloch theory, whereas in the Frobenius nonclassical cases, we derive explicit formulas for $N_q(\mathcal{F})$.