Number Theory [math.NT]

Tamagawa numbers and torsion of elliptic curves over function fields

math.NT

We study the divisibilities of Tamagawa numbers $ c(E) $ of elliptic curves $ E $ over global function fields $ K $ in terms of their torsion subgroups $ E(K)_{\operatorname{tors}} $. In particular, for a non-isotrivial elliptic curve $ E / k(t) $, where $ k $ is a finite field of characteristic greater than $ 3 $, we prove that $ |E(k(t))_{\operatorname{tors}}|^2 $ divides $ c(E) $, except possibly in four exceptional torsion families. More specifically, we give a complete characterisation of divisibilities for $ c(E) $ in each torsion family, and provide explicit examples to prove that they are best possible. Over a general global function field, we also prove that a rational point of prime order $ 5 \le N \le 101 $ on $ E / K $ forces $ N^2 $ to divide $ c(E) $, which motivates our result. Finally, we formulate a conjecture on the leading coefficient of the $ L $-function of $ E / K $, motivated by the integrality of Birch--Swinnerton-Dyer quotients.

Efficient Computation and Congruences for Colored Partition Functions

math.NT

For a positive integer $\alpha$, let $p_\alpha(n)$ denote the number of $\alpha$-colored partitions of $n$. The Rademacher-type expansion of Iskander, Jain, and Talvola is valid for every real $\alpha>0$, but when $\alpha>24$ it involves several polar terms and a two-parameter family of exponential sums $A_k^{(\alpha)}(n,m)$. For integral $\alpha$, we prove multiplicativity and prime-power reduction formulas for these sums, expressing their local factors as classical or quadratically twisted Kloosterman sums. Together with explicit truncation and precision bounds, these formulas yield an efficient algorithm for computing $p_\alpha(n)$ exactly. Our SageMath implementation computes the 1,113,767-digit integer $p_{100}(10^{10})$ in less than one hour. As an application, we use the algorithm to certify new Ramanujan-type congruences.

Quasimodular Forms, Partitions, and Primes in Intervals

math.NT

Recent developments in theories of partitions, quasimodular forms, multiple zeta values and $q$-multiple zeta values have led to connections between partitions and primes. Central to this progress are prime-detecting quasimodular forms, which are $q$-series whose non-negative coefficients vanish if and only if the input is prime. In this paper, we use properties of these quasimodular forms to motivate a proof of the infinitude of primes, to construct a novel partition theoretic factorization algorithm, and to show that the distribution of these coefficients relate to existence of primes in intervals. We also prove analogs of these results for primes in arithmetic progressions and discuss potential extensions of our results, including to Linnik's problem.

Conductors and Quadratic base change

math.NT

Let $F$ be a totally real field and $K/F$ a totally real quadratic extension. For a Hilbert cusp newform $f$ over $F$ with base change $f_K$ to $K,$ we determine the exact level of $f_K$ in terms of the level of $f,$ using only local representation theory: for each place $\mathfrak p$ of $F$ we compute how the conductor of the local component of $f$ changes under quadratic base change. The tame case (odd residue characteristic) follows from existing base change theory, but the case $p=2$ requires a finer $\varepsilon$-factor analysis that does not appear in the literature. We give a complete treatment of the dyadic imprimitive representations and, more delicately, the exceptional supercuspidal representations, for which no closed-form base change formula was previously known; in particular we determine, in terms of local root numbers, the base change of every exceptional supercuspidal representation of $GL(2,\mathbb Q_2)$ with trivial central character and conductor $3.$ This yields an explicit formula for the level of $f_K,$ specialized here to $F=\mathbb Q,$ along with a partial converse.

Factorizations in algebraic monogenic semidomains

math.NT

math.AC

We study the additive and multiplicative arithmetic of algebraic monogenic semidomains of the form $S_\alpha$. We first relate their structure to the conjugates of $\alpha$, characterize when $S_\alpha$ is a ring, and determine when its additive monoid is free. We then investigate units and prove a Dirichlet-type theorem showing that $S_\alpha^\times$ is the product of a finite cyclic group of roots of unity and a finitely generated free abelian group; in particular, the unit group is free abelian when $\alpha$ is positive. We also give a criterion that produces non-atomic algebraic monogenic semidomains. Turning to finiteness properties, we prove that $\mathbb{Z}[\alpha]$ is a finite factorization domain for every algebraic number $\alpha$, establish criteria ensuring that $S_\alpha$ is a finite factorization semidomain, and construct infinitely many positive cubic generators yielding finite factorization semidomains that are not rings. Finally, we give a membership criterion for rational elements of $\mathbb{Z}[\beta]$ for arbitrary algebraic $\beta$, and prove that, for algebraic integers $\alpha$, unique factorization ascends from $\mathbb{Z}[\alpha]$ to $\mathbb{Z}[\alpha/n]$ for every $n\in\mathbb{N}$.

Unit fractions with semiprime denominators: an elementary proof of Erd\H{o}s Problem #306

math.NT

math.CO

We give an elementary proof that every positive rational number $a/b$ with $b$ squarefree is a finite sum of distinct unit fractions $1/n$, where each $n$ is a product of two distinct primes (Erd\H{o}s Problem #306). After a reduction to small targets, we take a single complete bipartite graph between the primes in $(y^2,2y^2]$, together with $2$ and the primes of $b$, and a tuned initial segment of the primes in $(y^8,y^9]$, and show that some subgraph has reciprocal sum congruent to $a/b$ modulo $1$; the small total mass then forces equality. Writing the number of such subgraphs as a finite Fourier sum, we sort the frequencies into three cases using a table indexed by the two sides of the graph. The small integer frequencies give a positive main term, and all other frequencies are negligible by a divisor-counting argument and a no-wrap-around form of the Chinese remainder theorem. The only inputs about primes are Chebyshev-type bounds. The circle-method framework comes from Tang's Lean development, which gave the first proof; our construction removes its anchor-synchronisation step. The proof has been formalised in Lean 4, apart from a cited inequality of Ramanujan. This work is a human-AI collaboration: AI tools contributed substantially to the construction, the experiments and the writing.

On the sum of odd minimal excludants over overpartitions

math.NT

Andrews and Newman introduced the minimal excludant $\mathrm{mex}(\lambda)$ of an integer partition $\lambda$ and studied the summatory function $\sigma\mathrm{mex}(n)$, and Baruah et al. refined this to the odd- and even-restricted functions $\sigma_o\mathrm{mex}(n)$ and $\sigma_e\mathrm{mex}(n)$. In this paper, we introduce and study the overpartition analogue $\overline{\sigma_o\mathrm{mex}}(n)$, defined as the sum of odd minimal excludants over all overpartitions of $n$. We first derive the exact generating function for $\overline{\sigma_o\mathrm{mex}}(n)$, and relate it to the bivariate generating function of Aricheta and Donato for the overpartition minimal excludant. Using elementary $q$-series arguments, together with a weight-one eta-quotient identity for $\varphi(q)^2$ verified via the Gordon--Hughes--Newman--Ligozat criterion, we establish an infinite family of congruences satisfied by $\overline{\sigma_o\mathrm{mex}}(n)$. Consequently, we obtain that $\overline{\sigma_o\mathrm{mex}}(0)=1$ and, for $n\ge1$, $\overline{\sigma_o\mathrm{mex}}(n) \equiv 0 \pmod{4}$ if and only if $n$ is a perfect square. We further obtain congruences for the partial sums and self-convolution of $\overline{\sigma_o\mathrm{mex}}(n)$; in particular, an infinite family of congruences modulo $8$ for the self-convolution, expressed in terms of the divisor functions $d_1(n)$ and $d_3(n)$. We conclude the paper by establishing a Hardy--Ramanujan-type asymptotic formula for $\overline{\sigma_o\mathrm{mex}}(n)$ via the Wright circle method.

Matrix Solutions to the Diophantine equation $X^4+ Y^4=2Z^4$

math.NT

The present study explores integer and rational matrix solutions for the Diophantine equation $X^{4}+Y^{4}=2Z^{4}$, establishing that infinitely many solutions exist over different matrix rings, including $M_2(\mathbb{Z})$, $M_3(\mathbb{Z})$, $M_4(\mathbb{Z}).$ Furthermore, expanding the scope beyond the integer domain, the analysis demonstrates that an infinite number of matrix solutions can be found in degree-4 and degree-16 field extensions, specifically within $M_4(\mathbb{Q}(\sqrt[4]{l}))$ and $M_4(\mathbb{Q}(\sqrt[4]{l_1}, \sqrt[4]{l_2}))$ when the rational numbers involved lack perfect fourth powers and are not perfect squares.

On the Ordering and Injectivity of Lagrange Constants Associated with Certain Substitutions

math.NT

Motivated by the modern characterization of the Markoff spectrum via mechanical words and the Markoff Uniqueness Conjecture, we study the Lagrange constants of continued fractions generated by a parameterized family of substitutions $\phi_{a,b}$ $\phi_{a,b}$ defined by $0 \mapsto aa$ and $1 \mapsto bb$ with $b = a + 1$. Based on a three-fold arithmetic classification of pairs of rational numbers $0 \le x < y \le 1$, we investigate the order relations between the corresponding Lagrange constants $\mathcal{L}([\phi_{a,a+1}(G(x))])$ associated with the mechanical words $G(x)$. While an inequality is established for pairs of the second type (type (2)) whenever $a \ge 1$, the comparisons for type (1) and type (3) pairs hold for $a \ge 2$. Consequently, for any integer $a \ge 2$, where the order relations across all three types are completely determined, we establish an analogue of the Markoff Uniqueness Conjecture: the map $x \mapsto \mathcal{L}([\phi_{a,a+1}(G(x))])$ is injective on $\mathbb{Q} \cap [0, 1]$. Furthermore, supported by extensive numerical computations, we propose a general conjecture on the order relations for arbitrary $b > a$, highlighting a sharp phase transition in ordering behavior at the boundary $b = a^2 + 2$.

On Fermat-type equations of signature $(r,r,p)$

math.NT

Let $r\geq11$ be a prime. We show that there are infinitely many integers $C$ for which the Fermat-type equation $$ x^r+y^r=Cz^p $$ has no non-trivial primitive solutions for all sufficiently large (in terms of $r$ and~$C$) prime exponents~$p$. The proof uses several Frey curves to force simultaneous Frobenius trace equalities at the primes above~$3$; a new trace separation argument shows that these equalities imply $3\mid x+y$, after which a further Frey curve and level lowering give a contradiction with the Ramanujan bound.

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

math.NT

In recent work, authors defined $\bar{b}^k_{r,s}(n)$ to be the number of overcolored partition $k$-tuples wherein both even and odd parts are colored with $r$ and $s$ colors, respectively. This function generalizes the overcubic partition $k$-tuples studied by Chacon and Sellers. The present work gives a uniform framework for studying congruences for $\bar{b}^k_{r,s}(n)$ modulo odd primes. For example, we prove that, for $n\ge 1$, \begin{align*} \bar{b}_{4,2}^4(5n)\equiv 0\pmod{5}. \end{align*}

Lower Bounds for Moments of Automorphic L-functions

math.NT

In this article, we describe a method to obtain lower bounds for the 2kth moment of values of L-functions localised at the central point for all real k > 0. In particular, we handle the families of quadratic twists of self-dual irreducible unitary cuspidal automorphic representations of GL_2(A_Q) and GL_3(A_Q).

The infinite sum of the cubes of reciprocal balancing numbers

math.NT

In this paper, we study the infinite reciprocal cubic sum $\sum_{k=n}^{\infty}\frac{1}{B_k^3}$ of balancing numbers. We obtain explicit bounds for this sum and use them to determine the integer part of its reciprocal.

Pseudo-Effectivity in the Skolem-Mahler-Lech Theorem

math.NT

The Skolem--Mahler--Lech Theorem asserts that a non-degenerate linear recurrence sequence (LRS) has only finitely many zeros, but is ineffective in the sense that no general procedure is known to determine them. In this paper a \emph{pseudo-effective} approach is introduced: rather than seeking effective bounds for every sequence, one obtains explicit bounds valid for all but a controlled number of sequences of bounded height, up to a natural equivalence. Such results are established for order $3$ LRS's, and extended to all higher orders subject to suitable height constraints on the characteristic roots. The underlying mechanism is a quantitative theory for exponential-polynomial equations subject to low-height multiplicative perturbations. In particular, it is shown that the finiteness phenomenon underlying the Skolem--Mahler--Lech Theorem persists under arithmetic perturbations whose height is permitted to grow linearly at a sufficiently small rate. As a further application, a moving-target finiteness result is established for linear orbits entering expanding arithmetic neighbourhoods of proper linear subspaces.

Skew cyclic codes through Drinfeld modules

math.NT

We construct skew cyclic codes in the rank metric from the torsion of the supersingular Drinfeld module $\phi_T=t+\tau^n$ over $\mathbb{F}_{q^r}$, where $t$ is a root of a monic irreducible $\mathfrak{p}_0\in\mathbb{F}_q[T]$ of degree $r$ coprime to $n$. For every prime $\mathfrak{p}\neq\mathfrak{p}_0$ of degree $d$ and every divisor $m$ of $n$, the torsion $\phi[\mathfrak{p}]$ is a free module over the subring $R_0=\kappa[\pi^m]$ generated by a power of the Frobenius $\pi=\tau^r$, $\kappa=\mathbb{F}_q[T]/\mathfrak{p}$, and the codes are the left ideals of the centralizer $R\cong\mathrm{Mat}_m(R_0)$ of $R_0$. We prove a lattice anti-isomorphism between codes and $R_0$-submodules of $\phi[\mathfrak{p}]$, and a rank-BCH bound whose designed distance is the true distance.

Adelic reduction of module lattices

math.NT

We give a strict generalization of the LLL algorithm over number fields, based on the reduction theory of $\GL(n)$ over the adele ring of a number field. Our algorithm is free of heuristics, with rigorous bounds on output quality and complexity. As a consequence, we obtain a hierarchy of reductions from module-(H)SVP to ideal-HSVP, an example of which has runtime and approximation factors subexponential in the field degree. More importantly, we uncover a close connection between structured lattice reduction and a Diophantine approximation over number fields.

A Unified Approach to Formal Arakawa-Kaneko Type Zeta Values via Iterated Integrals

math.NT

We introduce a formal multiple polylogarithm function (FMPF) and general formal Arakawa-Kaneko zeta values (GFAKZVs), and establish several useful properties analogous to those of the ordinary Arakawa-Kaneko zeta values by employing the method of iterated integrals, a powerful tool originating in algebraic topology. In particular, we prove various duality and sum formulas involving FMPFs and GFAKZVs. This allows us to derive, in a uniform manner, a number of known results concerning Arakawa-Kaneko zeta values and Kaneko-Tsumura $\psi$-values that were previously obtained by different approaches, thereby highlighting the unifying power of the iterated integral formalism.

Escape and Non-Escape of Mass for Monogenic Binary Cubic Forms

math.NT

We study the distribution of monogenic integral binary cubic forms $f(x,y)$ with bounded discriminant and bounded monogenizer inside a fundamental domain for the action of $\mathrm{GL}_2(\mathbb{Z})$ on the space of real binary cubic forms. We show that when the monogenizer for $f$ is $[\pm1:0]$ (i.e., $f(\pm1,0)=1$), the corresponding set is fully concentrated in the cusp. We also prove a complementary result, namely, that when the monogenizers $[\pm1:0]$ (with height bounded in terms of the discriminant bound) are excluded, the resulting set has no escape of mass to the cusp. However, we surprisingly show that despite this non-escape of mass, the points in the fundamental domain are not equidistributed.

More than 83.69% of the zeros of the Riemann zeta function are distinct

math.NT

cs.AI

cs.LO

The lower asymptotic proportion of distinct nontrivial zeros of the Riemann zeta function, counted with multiplicity, is at least $0.8369928814\ldots$. The previous bound was $0.83625\ldots$. As in the proof of that bound, an unconditional version of Montgomery's pair-correlation theorem gives an asymptotic energy estimate. The new ingredient is a short matrix inequality with a free clipping parameter. It strengthens the lower bound for this energy in terms of the number of distinct zeros. The gain is a nonnegative correction from overlaps between different nearby zeros on the critical line, which is retained even when some of these zeros are double. The matrix inequality, the threshold lemma, the block dichotomy, the counting assembly and the exact arithmetic are proved formally in Lean 4. The constant relies on a computer-assisted local inequality from recent work that has not yet been refereed. That computation was re-run independently, and every imported input is listed. This paper is primarily an experiment in AI-assisted mathematical research (Section 4).

Dynamics of multiples of zeta by exponential functions

math.NT

We study the family of functions $V_z:s \mapsto \zeta(s) \exp (zs)$ with numerical experiments. For selected sequences $z_n=x_nu$ on rays, our experiments suggest that suitable fixed points of $V_{z_n}$ approach nontrivial zeros of $\zeta$ in a nearly logarithmic pattern. We formulate this behavior as conjectures with explicit restrictions on the ray. We prove a conditional result identifying finite limits as zeros, and give sufficient hypotheses for the convergence of refinement diagnostics. Substantive AI assistance in the preparation of this draft is disclosed in Section 5.

Stacky Heights, Entropy, and Zeta Functions of Weighted Hypersurfaces over Finite Fields

math.NT

math.AG

Let \(X\subset \mathbb P^n_{\mathbf w}\) be a weighted hypersurface over \(\mathbb F_q\), with associated stack \(\mathfrak X\). For \(\mathbf x\in X(\mathbb F_{q^r})\), let \(g_{\mathbf x}(r)=\gcd(k_{S(\mathbf x)},q^r-1)\), where \(k_S=\gcd(w_i:i\in S)\), and define \(\Theta_r(s)=\sum_{\mathbf x}g_{\mathbf x}(r)^{1-s}\) and \(Z_H^{\mathrm{can}}(\mathfrak X,s;t)=\exp(\sum_{r\ge1}\Theta_r(s)t^r/r)\). We prove the finite sector factorization \[ Z_H^{\mathrm{can}}(\mathfrak X,s;t)=\prod_{e\in E_{\mathbf w}} Z(X^{(e)}_{\mathbb F_{q^{o_e}}},t^{o_e})^{J_{1-s}(e)/o_e}, \] where \(X^{(e)}\) is the closed isotropy sector, \(o_e=\operatorname{ord}_e(q)\) for \(e>1\) and \(o_1=1\), and \(J_{1-s}\) is the Jordan totient function. Hence the specializations \(s=1,0,-1,-2,\ldots\) are rational in \(t\): \(s=1\) gives the Hasse--Weil zeta function of the coarse space, \(s=0\) the twist zeta function, and \(s=1-k\) the masses of the \(k\)-fold inertia stack. The factorization yields a functional equation when the nonempty sectors are self-dual and equidimensional; if they are also pure and geometrically irreducible, equidimensionality is necessary for every integral \(s\le0\). For weighted diagonal hypersurfaces of degree \(D\) with \(p\nmid D\), a finite Fermat cover gives purity and self-duality. We also prove a Lang--Weil asymptotic for isotropy entropy, with periodic leading term governed by isotropy periods and Frobenius orbits, and identify the function-field height with the stable stack height of Ellenberg--Satriano--Zureick-Brown, while the degree-based height remains a coordinate-complexity statistic.

The Beilinson--Bloch heights of generalized Ceresa cycles

math.NT

We compute the Beilinson--Bloch height of the generalized Ceresa cycle $\mathrm{Ce}(V)=\frac 1 2(V-[-1]V)$ for any cycle $V$ of pure dimension $d$ on an abelian variety $A$, in terms of an arithmetic intersection number of a certain adelic line bundle. As an application, we prove that this height is given by an adelic line bundle over algebraic families.

Prime-Detecting Identities from Dirichlet Inversion

math.NT

For each integer $k\geq1$, let $\sigma_k(n)=\sum_{d\mid n}d^k$, let $\sigma_k^{-1}$ denote its Dirichlet inverse, and let $J_k$ denote the $k$th Jordan totient function. For $n\in\mathbb{N}$, define $F_k(n)=\sigma_k^{-1}(n)+\mu(n)+J_k(n)+3$. We determine the zero set of $F_k$ completely. We prove that $F_1(n)=0$ if and only if $n$ is prime or $n=18$, whereas for every $k\geq2$, $F_k(n)=0$ if and only if $n$ is prime. The proof uses the convolution identities $\sigma_k=\mathbf{1}*I_k$ and $J_k=\mu*I_k$, where $I_k(n)=n^k$, together with an explicit prime-power formula for $\sigma_k^{-1}$ and a classification by prime-exponent patterns. We also prove the companion characterization $\sigma_k^{-1}(n)+n^k=-1$ if and only if $n$ is prime, for $k\geq1$ and $n>1$. Lambert-series coefficient identities recover the three constituent functions, while an exact intermediate-divisor relation explains the connection between the two characterizations and the exceptional value $18$.

On the distribution of the zeros of the Euler double zeta-function $\zeta_2(s,s)$

math.NT

We investigate the distribution of zeros of the function $\zeta_2(s,s)$, namely the function defined by putting $s_1=s_2=s$ in the Euler double zeta-function $\zeta_2(s_1,s_2)$. Our theorems provide refinements of observations, obtained numerically in a previous paper by the first author and M. Sh\=oji, with rigorous theoretical proofs.

A Padovan-automatic description of a nested recurrence

math.NT

math.CO

We study the sequence $a(0)=0$, $a(1)=1$ and $a(n)=n-a(n-a(n-a(n-1)))$ for $n\ge 2$, listed as A076502 in the On-Line Encyclopedia of Integer Sequences. We identify $a(n)$ as a two-position shift in the greedy Padovan numeration system, with a finite-state correction. The proof constructs an addition automaton from an exact integer-carry invariant and certifies its completeness by finite-language inclusion; a synchronized automaton then verifies the nested recurrence. We establish bounded discrepancy from the line of slope $c$, where $c^3-c^2+2c-1=0$, and show that the exact set of offsets from $\lfloor cn\rfloor$ is $\{-1,0,1,2\}$. We construct an explicit 26-letter non-erasing morphic presentation of the first-difference word, prove that its least balance constant is 4, and give an effective procedure for enclosing the global discrepancy extrema to arbitrary accuracy. We formalize the recurrence identification, six-decimal discrepancy bound, exact offset set, concrete morphic identity, least balance constant, and an effective extrema algorithm in Lean. Separate exact computations refine the numerical enclosures.

An elementary treatment of Ramanujan's elementary continued fractions

math.NT

math.CA

math.HO

We study the elementary continued fractions of Ramanujan. The entries considered are precursors of his hypergeometric and $q$-hypergeometric continued fractions. They appear in the first third of Chapter 12 of Ramanujan's second notebook.

Cancellation profiles of Fibonacci-Lucas zeta sums

math.NT

Finite Fibonacci and Lucas sums involving zeta values at negative integers can have individual terms far larger than their total. In this paper, we study the distribution of these term magnitudes as the even degree increases. For non-negative weights of at most exponential growth, we prove a finite exponential expansion for the normalized absolute-term sum with an explicit remainder at every fixed order. The normalized magnitudes converge in total variation to a discrete distribution determined by the even exponential generating function of the weights. For the Fibonacci and Lucas sums, this distribution has its unique maximum at index eight and we prove that the same index gives the largest finite-sum term at every even degree at least twenty-six. We also derive the factorial growth of the summation condition number. The signed identities are placed within the established Bernoulli-polynomial reflection framework and extended to a trace-one recurrence family, including repeated roots and a vanishing scale. Exact rational calculations and precision-refined evaluations illustrate the proved bounds and distinguish a fixed cancellation profile from the growing length of the sum.

$k$-Fibonacci and $k$-Lucas numbers with the H\"older inequality

math.NT

math.CA

Dujella, Jak\v seti\'c and Pe\v cari\'c recently established in \cite{DJP}, a chain of power-sum inequalities, built from H\"older's and Cauchy's inequalities and their converse forms, and applied it to the Fibonacci sequence using the identities $\sum_{i=1}^nF_i^2=F_nF_{n+1}$ and $\sum_{i=1}^nF_iF_{i+1}=F_{n+1}^2-\frac{1+(-1)^n}{2}$. We show that this machinery applies uniformly across the one-parameter family of $k$-Fibonacci and $k$-Lucas numbers of Falc\'on and Plaza, via the generalized identities \begin{align*} \sum_{i=1}^nL_{k,i}^2=\frac{L_{k,n}L_{k,n+1}-2k}{k},\qquad \sum_{i=1}^nF_{k,i}^2=\frac{F_{k,n}F_{k,n+1}}{k}, \end{align*} and \begin{align*} \sum_{i=1}^nL_{k,i}L_{k,i+1}=\frac{L_{k,n+1}^2}{k}-k+\bigl((-1)^n-1\bigr)\left(\frac{2}{k}+\frac{k}{2}\right), \end{align*} which recover the classical Fibonacci and Lucas identities at $k=1$. We further exploit the cross-identity $F_{k,i}L_{k,i}=F_{k,2i}$, valid for every $k\ge1$, to obtain a Cauchy-Schwarz-type inequality linking the two families that has no counterpart in the Fibonacci-only setting. At $k=1$, this specializes to a fully explicit elementary inequality between ordinary Fibonacci and Lucas numbers, alongside the corresponding H\"older and Cauchy-conversion refinements we obtain for ordinary Lucas numbers.

Biases in the distribution of primes in short intervals

math.NT

Assuming a suitably uniform Hardy--Littlewood prime tuples hypothesis, we obtain a second-order asymptotic for the proportion of short intervals containing a prescribed number of primes, when the interval length is comparable to the average prime spacing. The leading term is Poisson, but the arithmetic correction differs from the binomial correction in Cram\'er's independent model and predicts a stronger bias toward counts near the mean. The proof combines inclusion--exclusion with singular-series estimates of Montgomery and Soundararajan and a finite-sieve argument that controls the required alternating sums as the truncation order grows. We also give a refined random model that reproduces the correction and numerical comparisons that support the prediction.

Cyclotomic factors and irreducibility of the denominators of $q$-deformed rational numbers

math.NT

math.CO

math.QA

For $d\ge2$ the $q$-deformed modular group specialized at a primitive $d$-th root of unity is the triangle group of type $(2,3,d)$. Using this we determine the fractions $r/s$ for which the $d$-th cyclotomic polynomial divides the denominator $S_{r/s}(q)$ of the $q$-deformed rational number $[r/s]_q$. They form the orbit of $\infty$ under the normal closure of the translation $z\mapsto z+d$ in $\mathrm{PSL}(2,\mathbb{Z})$. This proves a conjecture of Byakuno, Ren and Yanagawa, and shows that the congruences $s\equiv0$ and $r\equiv\pm1$ modulo $d$ characterize the divisibility exactly for $d\le5$. For $a\in\{2,3,4,6\}$ and $n>5a^2$ prime to $a$ we show that $S_{a/n}(q)$ is irreducible up to cyclotomic factors. Together with a computer check for small primes, this confirms a conjecture of Kogiso, Ren, Wakui, Yanagawa and the author for every prime $p$ and every $r$ prime to $p$ with $r\equiv\pm a$ or $ar\equiv\pm1\pmod p$.

Necessary and sufficient condition for reciprocal polynomials to be monogenic

math.NT

Let $\mathbb{Z}_K$ denote the ring of integers of the number field $K=\mathbb{Q}(\theta)$, where $\theta$ is a root of a monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$. We say that $f(x)$ is monogenic if $\mathbb{Z}_K=\mathbb{Z}[\theta]$. A polynomial $f(x)\in\mathbb{Z}[x]$ is called reciprocal if $f(x)=x^{\deg(f)}f(1/x)$. In this article, we establish necessary and sufficient conditions for the monogeneity of reciprocal polynomials. As an application, we obtain an alternative and much simpler proof that the maximal real subfields of cyclotomic fields are monogenic.

The two-block odd partition function

math.NT

math.CO

We investigate arithmetic and combinatorial properties of the function $a(n)$, which is the signed number of partitions of $n$ into exactly two distinct part sizes, each occurring an odd number of times. We prove that $a(n)\ge 0$ for all $n$, establishing a positivity phenomenon for a signed partition function arising from a double Lambert series. Furthermore, we show that $a(n)$ satisfies nontrivial divisibility properties modulo $3$. The results reveal unexpected arithmetic regularity in a family of partition functions defined by odd multiplicity constraints and restricted support.

Rank stability of elliptic curves over $\mathbb{F}_q(t)$ in residue classes

math.NT

Fix a prime $\ell$. Let $K = \mathbb{F}_q(t)$ be a global function field such that $\gcd(q,6) = 1$ and $q \equiv 1 \pmod \ell$. Let $E$ be a non-isotrivial elliptic curve over $K$. Given a fixed monic polynomial $Q$ over $\mathbb{F}_q$, and assuming some mild conditions on $E$, we show that the rank of $E$ does not change with respect to a positive proportion of $\mathbb{Z}/\ell \mathbb{Z}$ extensions $K(\sqrt[\ell]{f})/K$, as $f$ varies over the set of monic polynomials over $\mathbb{F}_q$ such that $f \equiv A \pmod Q$ for any given polynomial $A$. We obtain this result by combining analytic and probabilistic techniques to study the distribution of certain prime Selmer groups of auxiliary abelian varieties constructed from these polynomials $f$.

Higher-order colossally abundant numbers

math.NT

Colossally abundant numbers have large sums of divisors relative to their size. They also admit a geometric description using supporting lines of a planar convex hull. Starting from this description, we change coordinates to obtain nested subsets of these numbers, which we call colossally abundant numbers of higher order. Their definition does not depend on the Riemann hypothesis. We give conditions under which Robin's inequality holds on any one of these subsets if and only if the Riemann hypothesis is true. Some of the resulting families have infinite sets at every level but an empty intersection. For two classes of coordinates, we determine how fast the least members grow. We also prove that every fixed positive integer divides all members of sufficiently high order. Under a concavity assumption, the least members form a divisibility chain; for power abscissas, successive quotients have unbounded numbers of prime factors, with an explicit limsup growth rate. In a second class of families, every global maximum of the normalized divisor sum is retained, and the least members tend to infinity if and only if the Riemann hypothesis is true. We give numerical examples and explain how the Ramanujan--Nicolas bounds produce terminating chains.

Omega bound for the Piltz divisor problem

math.NT

We obtain improved omega bounds for the error term in the Piltz divisor problem over number fields. Our proof combines Lamzouri's resonance argument with a counting theorem for nonnegative multiplicative functions. The counting theorem gives the estimates needed for the divisor coefficients over a number field and allows us to remove the factor involving the third iterated logarithm from the earlier bounds.

Square root cancellation in the hyperbolic lattice counting problem over cocompact groups

math.NT

For cocompact Fuchsian groups $\Gamma \leq \hbox{PSL}(2, \mathbb{R})$ we improve Selberg's bound for the error term of the counting function in the hyperbolic lattice counting problem, achieving an essentially optimal upper bound for the error term \begin{equation*} E(X;z, w) = O(X^{1/2+\varepsilon}) \end{equation*} for almost every pair of points $z,w$. We extend this pointwise result for cocompact lattices acting on the $n$-dimensional real hyperbolic space $\mathbb{H}^n$. Moreover, in the $2$-dimensional case we study the second moment of the error term of the counting function. We improve the upper bounds of Chamizo and Cherubini for almost all pairs $z,w$, but we disprove a conjecture of Phillips and Rudnick for the case of cocompact Fuchsian groups.

An improved high-low method for the parabola

math.NT

math.AP

math.CA

We demonstrate a modification of the high-low method of Guth-Maldague-Wang that yields a decoupling theorem which gives the sharp estimate for the discrete restriction constant for the parabola and also a diameter-free bound for the three-fold additive energy of rational points on the parabola and circle. These results were recently obtained by Deng-Fan-Guo-Guo-Luo and Cushman-Demeter-Wu, respectively. The novel features in this argument are an orthogonal expansion of $F^3$ and a new square function that also keeps the wavepackets discarded after pruning, resulting in new and more efficient high and low lemmas.

Sums of von Mangoldt convolutions via trace-sum averages over $U(N)$

math.NT

We study piecewise polynomial functions $\delta_k(c)$ that appear in the conjectured asymptotics for the variance of short-interval sums of von Mangoldt convolutions $\Lambda^{*k}$. By a theorem of Kuperberg and Lal\'in, a unitary matrix integral involving a sum of trace products governs the large-$q$ limit of the function-field analogue of this variance. We identify $\delta_k(c)$ as the leading-order coefficient of this integral when the total trace degree and matrix size grow with a fixed ratio $c$. Through an asymptotic analysis of two lattice-point representations for the matrix integral, we obtain explicit forms of $\delta_k(c)$. A finite spline expansion and a contour-integral representation expressing $\delta_k(c)$ as the inverse Laplace transform of a two-weight block Hankel determinant are also obtained.

Coxeter Symmetry in Hypergeometric Functions and Elliptic Integral Moments

math.NT

math.CA

We develop a hypergeometric framework for elliptic integral moments organized around Mishev's completed Saalsch\"utzian $L$-function and its $W(D_5)$ symmetry. The Bailey--Mishev very-well-poised ${}_7F_6(1)$ representation places complementary elliptic integral moments and harmonic hypergeometric sums in a common parameter space. We first give collision-based hypergeometric derivations of the three complementary-modulus moment families involving $K'^2$, $E'K'$, and $E'^2$. The $E'^2$ identity is also recovered independently from a Barnes-contiguous relation mirroring the differential system of the elliptic integrals. We then derive a hypergeometric evaluation of the harmonic-series representation of the four-Bessel moment $s_{4,0}$. At symmetric parameter points, Coxeter symmetry forces selected Taylor coefficients to vanish along symmetry-adapted paths, producing families of harmonic and special-value identities involving values of the Riemann zeta function and the same Bessel period. The resulting picture shows that these elliptic-moment, harmonic-sum, and special-value identities arise from a common $W(D_5)$ symmetry of generalized hypergeometric functions.

Density of $\mu$-ordinary Primes for K3 Surfaces

math.NT

By a result of Bogomolov and Zarhin, a K3 surface $X$ over a number field $L$ has ordinary reduction at a density 1 set of primes after passing to a finite extension of $L$. In this paper, we refine this result for non-CM K3 surfaces whose transcendental Hodge structure has endomorphism field $F$ abelian over $\mathbb{Q}$. We further assume a condition on the connected components of the $l$-adic monodromy group of $X$, and, when $F$ is totally real, a parity condition on the rank of the transcendental lattice over $F$. Under these assumptions, we prove that the set of primes of $L$ at which $X$ has $\mu$-ordinary reduction has density $1$. As a corollary, the set of primes of $L$ at which $X$ has ordinary reduction has density $1/[FL:L]$. We include explicit examples of K3 surfaces satisfying these conditions.

Exceptional poles of archimedean Asai $L$-functions

math.NT

math.RT

Let $\pi$ be an irreducible generic representation of $\operatorname{GL}_n(\mathbb{C})$. We classify the exceptional poles of the associated Asai $L$-function $L(s,\pi,\mathrm{As})$ and give a representation-theoretic characterization of them. When $\pi$ is in general position, we further express $L(s,\pi,\mathrm{As})$ in terms of the exceptional $L$-factors attached to the irreducible constituents occurring in the derivatives of $\pi$.

Plectic Lie Algebra Action on Hilbert modular varieties

math.NT

We construct some part of the plectic Galois action on the locally analytic $p$-adically completed cohomology of Hilbert modular varieties, predicted by the plectic conjecture of Nekov\'a\v{r}-Scholl. As a byproduct, we prove a vanishing result for the completed cohomology of Hilbert modular varieties below middle degree. To do this, we make use of the partial Sen operators constructed earlier by a geometric method.

Structure of derived Hecke algebras with coefficients in torsion-free profinite rings

math.NT

math.RT

In this article, we study derived Hecke algebras with coefficients in torsion-free profinite rings regarded as discrete rings. We compare each such algebra with the degreewise inverse limit of the derived Hecke algebras with coefficients in finite rings and with its subalgebra consisting of elements with uniformly finite double-coset support. Under cohomological comparison hypotheses, the natural map to this subalgebra has image given by its degree-zero part and its positive-degree torsion. We describe the kernel in terms of continuous cohomology and prove that it is a divisible square-zero ideal annihilated by every positive-degree element. These comparisons are compatible with Yoneda products, and the action on torsion Ext classes factors through the image. We compute the resulting algebras for the additive group $\mathbb{Q}_p$ and determine the underlying graded abelian groups for $(\operatorname{GL}_2(\mathbb{Q}_p),\operatorname{GL}_2(\mathbb{Z}_p))$ with coefficients in $\mathbb{Z}_p$, for $p>3$. The examples exhibit distinct effects of the coefficient topology and the support condition.

A new proof of two-color partition regularity of Pythagorean triples

math.NT

math.CO

math.DS

We give a new proof that if the natural numbers are colored in two colors, then there exists a monochromatic Pythagorean triple. The proof was found by ChatGPT Astra.

Hausdorff Dimension of Weighted Singular Vectors

math.NT

math.DS

Let $d\ge2$ and let $\mathbf w=(w_1,\ldots,w_d)$ satisfy $w_1\ge\cdots\ge w_d>0$ and $\sum_i w_i=1$. Set $s_*=d-(1+w_1)^{-1}$. We prove that there exist constants $C_{d,\mathbf w}>0$ and $\varepsilon_0=\varepsilon_0(d,\mathbf w)>0$ such that for all $0<\varepsilon<\varepsilon_0$, $$ \dim_H\operatorname{DI}_{\mathbf w}(\varepsilon)\le s_*+C_{d,\mathbf w}\sqrt\varepsilon. $$ Together with the lower bound of Kim--Park, this gives the exact formula $$ \dim_H\operatorname{Sing}(\mathbf w)=s_*. $$

Moments of random multiplicative functions with polynomial coefficients

math.NT

Let $f$ be a Steinhaus random multiplicative function and let $g$ be a polynomial of degree $d$. Write $S_N=N^{-1/2}\sum_{n\le N}f(n)\,e(g(n))$. We prove a quantitative dichotomy for the moments of $S_N$: for each integer $s\ge 2$, either $\mathbb{E}|S_N|^{2s}$ is close to the Gaussian moment $s!$, or the coefficients of $g$ can be approximated by rationals with a small denominator. In particular, if the coefficients of $g$ satisfy a Diophantine condition, then $S_N$ converges in law to a complex normal distribution with mean $0$ and variance $1$. Lean 4 code for the proofs is provided, for convenience of verification.

Weak Hall's conjecture, approximation gains, and continued fractions

math.NT

For an integer solution of $y^2=x^3+k$ with $x,y\ge 1$ and $k\ne 0$, the integers $x^3$, $|k|$ and $y^2$ form a triple in which one term is the sum of the other two. When $\gcd(x,y)=1$ this triple is coprime, and the $abc$ conjecture predicts that its quality is asymptotically at most $1$. Following M\"uller, Taktikos and de Weger, we factor this quality through the product $P=xy|k|$ into the approximation gain $G_a=\log\max(x^3,y^2)/\log P$ and the power gain $G_p=\log P/\log\rad(xy|k|)$, which is at least $1$. We show that the weak form of Hall's conjecture, which asks that $|k|>x^{1/2-\delta}$ for every $\delta>0$ outside finitely many solutions, is equivalent to the asymptotic bound $G_a\le 1$. More generally, for $6/11\le\kappa<6/5$, an asymptotic bound $G_a\le\kappa$ gives $|k|>x^{3/\kappa-5/2-\delta}$ for every $\delta>0$ outside finitely many solutions, and for $3/4\le\kappa<6/5$ the two statements are equivalent. Since the approximation gain never exceeds the quality, an $abc$ inequality with exponent $1\le\kappa<6/5$ gives the same bound for primitive solutions. The case $\kappa=1$ extends to all solutions and recovers the classical implication from the $abc$ conjecture to weak Hall. We also relate small values of $|k|$ to large partial quotients of $\sqrt x$.

Singular intersections in split semiabelian varieties

math.NT

math.AG

Let $\mathcal G$ be a split semiabelian variety of dimension $n \ge 2$ and let $\mathcal C \subset \mathcal G$ an irreducible curve, where everything is defined over $\overline{\mathbb{Q}}$. We prove that, under the natural hypothesis that $\mathcal C$ is not contained in any proper algebraic subgroup of $\mathcal G$, the set of points $P$ of $\mathcal C$ lying in an algebraic subgroup $H$ which intersects the curve tangentially at $P$ is finite. This generalizes a result for curves in 2-dimensional tori by March\'e and Maurin. We apply these results to square-freeness of certain geometric divisibility sequences.

On a generating function of the basis of weakly holomorphic functions on an elliptic curve

math.NT

Let $\Gz$ be a cofinite Fuchsian group whose quotient $\Gz\backslash\HH$ has genus one and a single cusp, normalized to be at $\infty$ with width one. Let $\Xg$ be its smooth compactification, which is an elliptic curve over $\CC$. Let $x,y$ be canonical generators of the function field on $\Xg$, which have poles of order $2,3$ respectively at the cusp and which {satisfy} a generalized Weierstrass relation $y^2+(a_1x+a_3)y=x^3+a_2x^2+a_4x+a_6$. Let $f$ be the unique (up to scale) weight two cusp form for $\Gz$, normalized so that the associated holomorphic differential is $\omega=dx/(2y+a_1x+a_3)$. With all this, we prove that the generating function identity \[ \frac{\bigl(y(\tau)+y(z)+a_1x(z)+a_3\bigr)f(z)}{x(z)-x(\tau)}=\sum_{m\ge0}\Phi_m(\tau)q_z^m \] defines a family $\{\Phi_m\}_{m\ge0}$ of weakly holomorphic modular functions on $\Xg$ such that the set $\{\Phi_0\}\cup\{\Phi_m\}_{m\ge2}$ is a canonical basis of the space $M_{0,\Gz}^{!,\infty}$ of weakly holomorphic modular functions on $\Xg$ with poles supported only at the cusp. As an application, by comparing the generating function of the family $\{\Phi_m\}_{m\ge0}$ with the generating function of the Niebur--Poincar\'e series, we show that the generating function of the special values of the Kloosterman zeta function at $1$ is the holomorphic part of a certain weight two harmonic Maass form up to an additive constant.

Complete classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$

math.NT

We solve Conjecture 1.6 of Furio and Lombardo [On $7$-adic Galois representations for elliptic curves over $\Q$, Proc.\ London Math.\ Soc.\ (3) \textbf{133} (2026), e70193.]. As a consequence, we complete the classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$. The proof is the result of a long AI-training period by the author from June 2026 to September 2026. The author has been working on this project alone without the help of any other.

A note on large clusters of $E_2$-numbers

math.NT

Let $q_n$ denote the $n$th product of two distinct primes. By completing a square in Sono's sieve and solving the resulting one-dimensional variational problem, we prove unconditionally that, for every $\varepsilon>0$ and all sufficiently large integers $\rho$, \[ \liminf_{n\to\infty}(q_{n+\rho}-q_n) \leq \exp\left((\pi+\varepsilon)\sqrt\rho\right). \]

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

math.NT

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

A difference formula of $p$-adic height pairings via the Bloch-Kato logarithm map

math.NT

The construction of a $p$-adic height pairing for a geometric $p$-adic representation of the absolute Galois group of a number field depends on a global $p$-adic logarithm and on local splittings of the Hodge filtrations at the primes above $p$. We study the dependence on these splittings for suitable two-dimensional symplectic self-dual representations, including self-dual twists of representations attached to even-weight newforms at non-ordinary primes not dividing the level. We express the difference between the height pairings associated with the two splittings determined by Frobenius explicitly in terms of local Bloch--Kato logarithms. As an application over $\mathbb{Q}$, we prove that at least one of the two cyclotomic $p$-adic height pairings is non-trivial under the additional assumptions that the Frobenius eigenvalues at $p$ are distinct and the localization map at $p$ from the Bloch--Kato Selmer group is non-zero.

Heavenly Elliptic Curves over Cubic Number Fields

math.NT

The study of heavenly abelian varieties is motivated by a question of Ihara. When an elliptic curve $E/K$ is heavenly at $\ell$, the extension $K(E[\ell^\infty])/K(\mu_\ell^\infty)$ is pro-$\ell$ and unramified away from $\ell$. These are the same arithmetic conditions as the fixed field of the kernel attached to pro-$\ell$ \'etale covers of the projective line over $K$ minus three points. In this paper we study heavenly elliptic curves defined over cubic number fields. Following the work on McLeman and Rasmussen in the quadratic case, we find that there is a wider range of possible behaviors for the trace of a balanced elliptic curve in the cubic case. In this setting, we introduce a further distinction between balanced and totally balanced curves. With this, we show that trace of the representation on the $\ell$-torsion for totally balanced elliptic curves is non-surjective. We also compute a bound on primes $\ell$ after which any heavenly elliptic curve defined over a cubic number field must be balanced. Finally we compare the trace behavior of totally balanced elliptic curves with CM elliptic curves.

The modal expansion of Kempner sums

math.CO

math.NT

This is a continuation of the author's earlier paper Block-count constrained harmonic sums: spectral expansion and block-directed Euler--Maclaurin. We presented in that reference the modal expansion of block-Irwin sums $I(b,w,k)$ for $k\geq1$. The case $k=0$ was fully developed when $w$ is a single digit, but it was presented only as a very short result summary for $w$ a multi-digit block. Although the framework is already completely exposed in the earlier paper, the case $k=0$ requires adding a separate, dedicated discussion, which is provided here.

Sharp lower bounds for the periodic maximal Schr\"odinger operator in higher dimensions

math.CA

math.AP

math.NT

We prove sharp lower bounds for the Schr\"odinger maximal function on the torus T^d for all dimensions d at least 2, and as a corollary obtain sharp regularity conditions for pointwise convergence of the periodic Schr\"odinger equation. Combined with sufficiency results established by Compaan-Luc\'a-Staffilani, this yields a full resolution of Carleson's problem up to endpoint for the periodic Schr\"odinger equation in all dimensions at least 2, and disproves the conjectured regularity condition of Miao-Yuan-Zhao, in contrast to the corresponding question in R^d. We also prove sharp estimates on the dimensions of divergence sets for the equation for high dimensional tori. Our approach uses complex multiplication on abelian varieties.

Very sparse return sets in arithmetic dynamics

math.DS

math.AG

math.NT

When studying the dynamical Mordell-Lang conjecture by using the $p$-adic method, experts have found that return sets of the $p$-adic version of the DML problem can be very sparse. In this article, we investigate the similar phenomenon for a complex analytic version of the DML problem and the DML problem for backward orbits.

A planar algebraic Zarankiewicz theorem over prime fields

math.CO

math.NT

We prove an incidence bound for bipartite graphs on finite subsets of $\mathbb{F}^2\times \mathbb{F}^2$ defined by Boolean combinations of polynomial equations of bounded degree. If such a graph is $K_{k,k}$-free and its vertex classes have sizes $m$ and $n$, then it has $O_{t,k}((mn)^{2/3}+m+n+mn/p)$ edges, where $t$ bounds the description complexity, $p$ is the characteristic of $\mathbb{F}$, and $1/p=0$ in characteristic zero. We also prove this bound for incidences between points and distinct geometrically irreducible components of a two-parameter polynomial family, allowing singular and nonreduced members. The proof extends Lewko's interpolation and contact-multiplicity method from lines to algebraic families. Applications include rich components, polynomial values on difference sets, and polynomial expansion.

Generic Points on the Staircase and Irregularities in Uniform Distribution

math.DS

math.NT

We study the ergodic integrals for linear flows on the infinite staircase, a translation surface with infinite area, and deduce detailed information on the bias properties of local discrepancy functions for irrational numbers of bounded type.

Uniform Unicellular Dessins d'Enfants with Trivial Automorphism Groups

math.AG

math.NT

A Bely\u{\i} function on a smooth projective algebraic curve defined over a number field determines a bipartite graph called a dessin d'enfant. We study the regularity and automorphism groups of dessins with uniform passports. In previous papers, we proved that every passport of the form $[n,n,n]$, $[n,b^{q},n]$, or $[b^{q},b^{q},n]$ of genus at least $2$ admits a dessin with trivial automorphism group. In this paper, we prove the analogous result for passports of the form $[a^{p},b^{q},n]$. The proof is mainly based on a counting argument: we compare a lower bound for the number of permutation representations having the prescribed passport with an upper bound for the number admitting a nontrivial automorphism. Together with our previous results, this shows that every uniform unicellular passport of genus at least $2$ admits a dessin with trivial automorphism group.

$p$-adic spectral zeta functions via the inverse Stieltjes transform

math-ph

math.MP

math.NT

Spectral zeta functions provide a standard tool for regularizing determinants of differential operators in quantum physics. In a previous paper (J. Math. Phys. 66: 083505, 2025), we introduced a $p$-adic spectral zeta function for discrete spectra via a locally analytic interpolation function. In this paper we extend the framework to continuous spectra using the inverse Stieltjes transform. Starting from the resolvent of a bounded operator, we construct a generalized distribution, called the $p$-adic spectral distribution, and define bosonic and fermionic zeta functions and functional determinants. We establish their analytic properties, special value formulas, and Stirling expansions, and show that our previous framework is embedded into the present one in the discrete case. In this approach, the bosonic and fermionic cases exhibit an interesting symmetry. As an application, we consider the position operator in $p$-adic quantum mechanics on an arbitrary compact subset of $\mathbb{C}_{p}$.

A quasipolynomial inverse theorem for the $\mathsf{U}^k(\mathbb{F}_p^n)$ norm in the high characteristic

math.CO

math.NT

We prove an inverse theorem for the Gowers uniformity norm $\mathsf{U}^k(\mathbb{F}_p^n)$ with quasipolynomial bounds in the case when $p \geq k$. The inverse theorem follows from a quasipolynomial structure theorem for Freiman multihomomorphisms, which are a natural generalization of Freiman homomorphisms to maps of several variables. The proof of the structure theorem for Freiman multihomomorphisms is the central result of the paper and rests on three main ingredients: algebraic regularity method, abstract Balog-Szemer\'edi-Gowers theorem and the theory of multilinear maps defined on multilinear varieties. The last ingredient originates from an earlier work of Gowers and the author, and is significantly expanded in this paper. In particular, once the theory of such maps is in place, the proof of the structure theorem for Freiman multihomomorphisms is relatively short, especially compared to the previous quantitative results in the inverse theory of Gowers norms.

Perfectoidness of Proper Shimura Varieties With Limpid Integral Models

math.AG

math.NT

We prove that any proper Shimura variety admitting a limpid integral model in the sense of Madapusi Pera becomes a perfectoid space at infinite level at $p$. Our method provides a new geometric approach that circumvents the need for a universal abelian scheme, making it applicable beyond Shimura varieties of Hodge type. Inspired by Scholze's proof of the perfectoidness of the Siegel modular variety, we construct analogues of the canonical subgroup and the anticanonical tower within a strict neighborhood of the ordinary locus. To achieve this we utilize the geometry of the universal $G$-aperture over the limpid integral model. Because every Shimura variety admits a limpid integral model for sufficiently large primes, our result implies that all proper Shimura varieties are globally perfectoid at infinite level for big enough primes.

Gauss--Manin connections extend to holonomic coadmissible D-cap-modules

math.AG

math.NT

We prove that the pushforwards of Gauss--Manin connections on smooth rigid analytic varieties along Zariski-open immersions are coadmissible and holonomic over Ardakov--Wadsley's sheaf D-cap of infinite order differential operators. This may be viewed as a rigid analytic variant of the classical theorem of Griffiths, Deligne, and Katz that Gauss-Manin systems have regular singularities after compactification. The proof combines p-adic de Rham comparison and Diao--Lan--Liu--Zhu's logarithmic Riemann--Hilbert correspondence with extendability results for log-connections with nilpotent residues. In the algebraic snc case, we also establish weak holonomicity via a p-adic Bernstein-Sato criterion of Bitoun and the first author.

Some applications of binary numeration systems with nonzero redundancy to the theory of locally complex functions

math.FA

math.DS

math.NT

In this paper, we study a numeration system with a non--integer base $a>1$ over the binary alphabet $A=\{0,1\}$: $$\left[0;\frac{r}{a-1}\right]\ni x=\sum\limits_{n=1}^{\infty}\frac{\alpha_n}{a^n} \equiv \Delta^{r_a}_{\alpha_1\alpha_2\ldots\alpha_n\ldots}, \quad \alpha_n\in A.$$ We investigate the geometry of $r_a$--representation of numbers, including the geometric interpretation of digits, the structure of cylinder overlaps, and the associated metric properties. The main object of our study is a nowhere monotone function of unbounded variation defined by $$f\left(x=\sum\limits_{n=1}^{\infty}\frac{\alpha_n}{2^n}\right) =\sum\limits_{n=1}^{\infty}\frac{\alpha_n}{a^n},$$ where the classical binary representation of the argument is assumed not to end with the infinite period $(1)$. We derive a system of two functional equations satisfied by $f$. We prove that the function has fractal level sets and a self--affine graph. We also evaluate the integral of $f$ over the interval $[0,1]$.

Automorphic $C^*$-algebras of reductive groups

math.RT

math.NT

math.OA

Let $G$ be a reductive group over a number field $F$. We define $C^*_{\rm aut}(G(\mathbb A))$, the automorphic $C^*$-algebra of $G$, to be the $C^*$-algebraic image of the full automorphic representation of $G(\mathbb A)$ on $L^2(G(F)\backslash G(\mathbb A))$. Using the Langlands spectral decomposition with respect to discrete Levi data, we construct an injective $*$-homomorphism \[ C^*_{\rm aut}(G(\mathbb A)) \longrightarrow \bigoplus_{[M,\sigma]} K_{C_0(\widehat{A_M})} \left( \operatorname{Ind}_P^G C_0(\widehat{A_M},H_{M,\sigma}) \right)^{W(G,M,\sigma)}, \] where $[M,\sigma]$ ranges over the associate classes of discrete Levi data. When $G$ is $\operatorname{GL}(n)$ or an inner form of it, we prove that this map is an isomorphism of $C^*$-algebras.

A uniform lower bound for the Zhang-Kawazumi invariant and applications to the Bogomolov conjecture

math.AG

math.NT

We prove that the Zhang-Kawazumi invariant $\varphi(X)$ of a compact and connected Riemann surface $X$ of genus $g\ge 2$ is strictly larger than \[\frac{g(g+2)-(2g+1)H_g}{g-1},\] where $H_g=\sum_{k=1}^g \frac{1}{k}$ denotes the $g$-th harmonic number. If $X$ is hyperelliptic, we give the stronger bound $\varphi(X)>\frac{g}{2}(H_g-1)$. The proof relies on a new expression of $\varphi(X)$ in terms of a quadratic form on the space of smooth Hermitian matrix-valued functions on $X$, evaluated at certain projector matrices. As an arithmetic application, we deduce new lower bounds for the self-intersection number $\omega_a^2$ of the admissible adelic metrized canonical bundle $\omega_a$ of a smooth projective curve of genus $g\ge 2$ over a number field and hence new uniform height bounds in the Bogomolov conjecture.

On a uniform bound for exponential sums modulo $p^m$ for Deligne polynomials

math.NT

math.AG

math.LO

v2

Let $f$ be a polynomial of degree $d>1$ in $n$ variables over $\mathbb{Z}$. Let $f_d$ be the homogeneous part of degree $d$ of $f$ and $s$ be the dimension of the critical locus of $f_d$. In this paper, we prove Igusa's conjecture for exponential sums with the exponent $(n-s)/(2(d-1))$. This implies a weak solution for a recent conjecture raised by Cluckers and the author (2020) about an analogue of the results of Deligne (1974) and Katz (1999) for exponential sums over finite fields in the finite ring setting. Moreover, this also improves the result of Cluckers, Musta\c{t}\u{a} and the author (2019) in case $n-s>2(d-1)$. In particular, this result improves the conditions $n-s>2^d(d-1)$ of Birch (1962) and $n-s>3(d-1)2^{d-2}$ of Browning-Prendiville (2017) on the validity of the estimation for the major arcs to $(n-s)>4(d-1)$. Therefore this result may have further applications on subjects related to the Hardy-Littlewood circle method such as the Hasse principle or distribution of rational points in algebraic varieties. On the other hand, we also improve the recent work of Cluckers, Koll\'ar and Musta\c{t}\u{a} (2019) on the strong monodromy conjecture in the range $(-{\rm lct}((f)+J_f^2),0]$ in case of bad reduction and bad Schwartz-Bruhat function. Namely, in the range $(-{\rm lct}((f)+J_f^2),0]$, the real part of any pole of the Igusa local zeta functions associated with $f$ and any Schwartz-Bruhat function over any $p$-adic field is a root of the Bernstein-Sato polynomial of $f$.

On Smirnov's approach to the $abc$ conjecture

math.NT

math.AG

v3

We use algebraic geometry over pointed monoids to give an intrinsic interpretation for the compactification of the spectrum of the ring of integers of a number field $K$, for the projective line over algebraic extensions of $\mathbb{F}_1$ and for maps between them induced by elements of $K$, as introduced by Alexander Smirnov in his approach to the $abc$ conjecture.

Modular functoriality in the Local Langlands Correspondence

math.NT

math.RT

v4

We develop a theory of Smith--Treumann localization in the context of Fargues-Scholze's Geometrization of the Local Langlands Correspondence. We then apply this theory to prove some conjectures of Treumann-Venkatesh concerning mod-$\ell$ Local Langlands functoriality between a reductive group $G$ and its fixed subgroup under an order $\ell$ automorphism. As another application, we explicitly calculate the Fargues-Scholze parameters of certain mod-$\ell$ toral representations.

Generalized modular equations and the CM values of Hauptmoduln

math.NT

v4

Monstrous moonshine relates the representation of the Monster finite sporadic simple group to the distinguished modular functions, called Hauptmoduln. Chen-Yui~\cite{Chen-Yui} showed that the CM values of Hauptmoduln which appeare in monstrous moonshine (but not all) are algebraic integers, which is similar to the singular moduli of the $j$-function. In this paper, we generalize this result to Hauptmoduln whose $q$-coefficients are cyclotomic integers. A main idea for our proof is the use of generalized modular equations for Hauptmoduln, which was introduced by Cummins-Gannon~\cite{Cummins-Gannon} in the study of monstrous moonshine. As an application, we show that if a formal $q$-series satisfies the special combinatoric property called complete replicability, its CM values are algebraic integers, without assuming the modular invariance.

Explicit conditional bounds for the residue of a Dedekind zeta-function at $s=1$

math.NT

v5

We prove new explicit conditional bounds for the residue at $s=1$ of the Dedekind zeta-function associated to a number field. Our bounds are concrete and all constants are presented with explicit numerical values.

An interpolation of Bradley's sum formula

math.NT

v4

The sum formula for $q$-multiple zeta values is a well-known relation. In this paper, we present its generalization for the $q$-multiple zeta function.

Local points on twists of $X(p)$ with applications

math.NT

v4

Let $E/\mathbb Q$ be an elliptic curve and $p \geq 3$ a prime. The modular curve $X_E^-(p)$ parametrizes elliptic curves with $p$-torsion modules anti-symplectically isomorphic to~$E[p]$. We give a complete classification of when $X_E^-(p)(\mathbb{Q}_\ell)$ is non-empty, for all primes $\ell$. We give two different applications. First, we classify CM curves $E/\mathbb{Q}$ for which the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for infinitely many~$p$. Assuming the Frey--Mazur conjecture, we prove that for at least $60\%$ of rational elliptic curves $E$, the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for at least $50\%$ of primes~$p$. Secondly, we introduce a new technique to the elimination stage of the modular method and apply it to show that $x^3+y^3=5^\alpha z^p$ has no non-trivial primitive solutions for various primes $p$ satisfying $(\alpha/p)=-1$. Moreover, as a by-product of our work, we simplify the assumptions of several local symplectic criteria due to the first author and Alain Kraus.

On Graphical Partitions with Restricted Parts

math.NT

math.CO

v3

An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed set. In this work, we investigate the probability that a uniformly random partition of an even integer $n$, subject to such restrictions, is graphical. We establish an upper bound on this probability expressed solely in terms of the Durfee square of the partition. Additionally, we evaluate the most-probable size of the Durfee square, depending solely on $n$ and the restrictions on the parts. Thus, we establish typical bounds on the probability that such random partitions are graphical. Our approach employs the Nash-Williams graphical condition, the saddle-point method and Edgeworth expansions.

Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients

math.NT

math.CA

v5

We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(\Gamma(1/3)/\Gamma(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(\Gamma(1/4)/\Gamma(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=\Gamma(1/7)\Gamma(2/7)\Gamma(4/7)/(\Gamma(3/7)\Gamma(5/7)\Gamma(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.

The Fibonacci--Redheffer matrix and its properties

math.NT

v3

A Redheffer--type matrix with Fibonacci entries is defined, and the determinant and spectral properties of this matrix are studied. Also, more general Redheffer--type matrices are considered and intriguing number-theoretic examples are illustrated. Furthermore, several asymptotic results are discussed and a new expression related to the Riemann hypothesis is presented.

Involution on a quotient space of multiple zeta values in positive characteristic

math.NT

v2

In this paper, we introduce $*$-inverse multiple zeta values and $*$-inverse Carlitz multiple polylogarithms in positive characteristic and study their algebraic structures and relations. Using special values of Carlitz multiple polylogarithms, we show that a natural quotient of the space of multiple zeta values in positive characteristic admits a Hopf algebra structure and that the original space admits a compatible comodule structure over this quotient. These structures may be regarded as function field analogues of the Hopf algebra and comodule structures arising from motivic multiple zeta values in characteristic zero. In particular, the antipode on this quotient gives a non-trivial involution corresponding to the $*$-inverse operation. We also establish, in certain cases, the $q$-shuffle product formula and linear relations for $*$-inverse multiple zeta values, providing evidence for our conjectures on their relations. Finally, we consider another characteristic-zero analogue of our construction, based on the Hopf algebra structure given by the harmonic product and the deconcatenation coproduct, and formulate a related problem.

Lifting $L$-polynomials of genus 3 curves

math.NT

v2

Let $C$ be a smooth plane quartic curve over $\mathbb{Q}$. Costa, Harvey, and Sutherland provide an algorithm with an implementation, improving Harvey's average polynomial-time algorithm, to compute the $\bmod \ p$ reduction of the numerator of the zeta function of $C$ at all $p\leq B$, where $p$ is an odd prime of good reduction, in $O(B\log^{3+o(1)} B)$ time, which is $O(\log^{4+o(1)}p)$ time on average per prime. Alternatively, their algorithm can do this for a single prime $p$ of good reduction in $O(p^{1/2+o(1)})$ time. While this algorithm can be used to compute the full zeta function, no implementation of this step currently exists. In this article, we provide an algorithm and an implementation for the group operation on the Jacobian of $C$ over $\mathbb{F}_p$, where $p$ is an odd prime of good reduction. We provide a Las Vegas algorithm that takes the $\bmod \ p$ result of Costa, Harvey, and Sutherland's algorithm and uses it to compute the full zeta function. The expected running time of the algorithm is bounded by $O(p^{1/4+o(1)})$. Our lifting algorithm can also be applied to hyperelliptic curves of genus 3.

Linear independence of theta series of positive-definite even unimodular lattices

math.NT

v2

We show that the minimal $g$ for which the degree $g$ theta series of positive-definite even unimodular lattices of rank $m\geq24$ are linearly independent is bounded between $\frac{m}{2}$ and $\frac{3m}{4}$.

Congruences between Klingen-Eisenstein series and cusp forms on $\mathrm{U}_{n,n}$

math.NT

v4

In this paper, we study congruences of Hecke eigenvalues between Hermitian Klingen-Eisenstein series and cusp forms on the unitary group $\mathrm{U}_{n,n}$ defined over the rational number field $\mathbb{Q}$. We also prove the rationality of the space of Hermitian automorphic forms and the integrality of their Hecke eigenvalues.

Products of consecutive integers with unusual anatomy

math.NT

v3

Call an interval $\{N+1,\dots,N+H\}$ of consecutive natural numbers \emph{bad} if the product $(N+1) \dots (N+H)$ is divisible by the square of its largest prime factor; \emph{very bad} if this product is powerful, and \emph{type $F_3$} if it has the same squarefree component as a factorial. Such concepts arose in the analysis of the factorial equation $a_1! a_2! a_3! = m^2$ with $a_1

The quotient problem for linear recurrence sequences

math.NT

v2

Let $\{U(m)\}_{m\in \N}$ and $\{V(n)\}_{n\in \N}$ be linear recurrence sequences. It is a well-known Diophantine problem to determine the finiteness of the set of natural numbers $n$ such that the ratio $U(n)/V(n)$ is an integer. We study the finiteness problem for the set $(m, n)\in \mathbb{N}^2$ such that there exist non-zero positive integers $d_{m, n}$ satisfying $\log |d_{m, n}|=o(n)$, and $d_{m, n}U(m)/V(n)$ is an element from a finitely generated subring of $\C$. In particular, we prove that for $m\neq n $, there exists a polynomial $P$ such that $d_{m, n}P(n)U(m)/V(n)$ is a multi-recurrence and $V(n)/P(n)$ is a linear recurrence and for $m=n$ both $d_{m, n}P(n)U(m)/V(n)$ and $V(n)/P(n)$ are linear recurrences. To prove our results, we employ Schmidt's subspace theorem, and the concept of moving hyperplanes, moving polynomials, and moving points.

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

math.NT

v3

Let $p_1, \dotsc, p_k$ be primes not exceeding $x$ ($k \geqslant 2$), and define the additive Mertens sum \[ S_k(x) = \sum_{p_1 \leqslant x} \cdots \sum_{p_k \leqslant x} \frac{1}{p_1 + \dotsm + p_k}. \] In contrast to Tenenbaum's generalized (multiplicative) Mertens sum, whose leading term has order $(\log \log x)^k$, the sum $S_k(x)$ has leading term of order $x^{k-1}/\log^k x$. We establish the complete asymptotic expansion \[ S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^{N} \frac{E_{k,n}}{\log^n x} + O_{k,N}\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right) \quad (\forall\, N \geqslant 0), \] where the coefficients are given by absolutely convergent multiple logarithmic integrals \[ E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dotsc, \log t_k)}{t_1 + \dotsm + t_k}\, \mathrm{d}\mathbf{t}, \] with $h_n$ the complete homogeneous symmetric polynomial of degree $n$. We derive closed-form expressions for the first two coefficients $E_{k,0}$ and $E_{k,1}$ for all $k$, and obtain the closed form for the diagonal part of the third coefficient $E_{k,2}$ (with $E_{k,2}$ fully explicit for $k \leqslant 7$), together with a uniform closed form for the coefficients of the new constants $G(-1/m)$, where $G(z)=\int_0^z \mathrm{Li}_2(t)/(1+t)\,\mathrm dt$, whose genuinely new instances first occur for $k \geqslant 5$ (Proposition 5.4); consequently, the first three terms of the expansions of $S_2(x)$ and $S_3(x)$ are fully explicit. For $k = 2$, we further obtain a closed-form expression for the entire sequence $\{E_{2,n}\}_{n \geqslant 0}$, whose values are explicit $\mathbb{Q}$-linear combinations of $\log 2$ and zeta values $\zeta(j)$. The proofs rely on the real-variable form of the prime number theorem, variable rescaling, and multivariate Taylor remainder estimates.

On a question of Gowers related to Littlewood's conjecture

math.NT

v2

In a blogpost in 2009, Gowers raised a possible approach to Littlewood's conjecture in Diophantine approximation, leading to a question about the existence of sufficiently many points in the unit cube such that the ``hyperbolic distance" between any two of them is large. In this note we answer this question by an explicit construction. This shows that this approach to prove Littlewood's conjecture cannot work, unless some further refinements are added.

Discrete dynamics of Eratosthenes sieve

math.NT

v4

We study Eratosthenes sieve as a discrete dynamic system. At each stage of the sieve there is a cycle of gaps ${\mathcal G}(p^\#)$ of length $\phi(p^\#)$ and span $p^\#$. There is a recursion ${\mathcal G}(p_k^\#)\longrightarrow {\mathcal G}(p_{k+1}^\#)$ that creates the next cycle from the current one. If we take initial conditions from the cycle ${\mathcal G}(p_0^\#)$, then for all constellations of span $|s| < 2p_1$, including gaps $g < 2p_1$, the driving terms of various lengths form Markov chains. These yield {\it exact} models for the populations $n_s(p_k^\#)$ for all further stages of the sieve. If $s$ is an admissible constellation of length $J$, then its population $n_{s,J}(p^\#)$ grows as $\Theta \left( \prod (q-J-1)\right)$. So we factor out the superexponential growth to obtain the exact model for the relative population $w_s(p_k^\#)$ of the constellation $s$ across all further stages of the sieve. $$ w_{s,J}(p_k^\#) \; = \; n_{s,J}(p_k^\#) \, / \, \prod_{J+1 < p \le p_k} (p-J-1) $$ The asymptotic value of the relative population is a constant ${w_{s,J}(\infty) \ge 1}$ that depends only on the odd prime factors that divide a span in $s$. Assuming that the instances of a constellation $s$ are approximately uniformly distributed in ${\mathcal G}(p_k^\#)$, we develop first-order estimates of the number of instances $s$ that would occur in the interval of survival $\Delta H(p_k) = (p_k^2, p_{k+1}^2]$. We define a statistic $\eta_s(p_k)$, the quadratic density of the constellation $s$ over the interval $\Delta H(p_k)$. We show that the first-order estimates $\widehat{\eta_g}(p)$ for prime gaps agree with samples up to $5.677\,E14$.

An Explicit Belyi Map for the Wiman Sextic and Cusp Forms for a Noncongruence Subgroup

math.NT

math.AG

v2

In this paper, we explicitly determine an algebraic Belyi function on a unique smooth projective model $\widetilde{W}$ of the Wiman sextic curve $W$ and describe its complex uniformization in terms of modular functions associated with a certain noncongruence subgroup $\Gamma_{\widetilde{W}} \subset {\rm SL}_2(\mathbb{Z})$. As an application, we give a direct proof of the unbounded denominators conjecture in weight $2$ for $\Gamma_{\widetilde{W}}$. The conjecture is now known in full generality by the work of Calegari, Dimitrov, and Tang, following earlier progress including work of Dong, Lin, and Ng. Our proof, however, uses a degeneration of $\widetilde{W}$ over $\mathbb{F}_{5}$ together with explicit Puiseux series expansions and is substantially different from the methods employed in their work.

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

math.NT

v3

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.

Prescribed Abscissae on Congruent-Number Curves over Simplest Cubic Fields

math.NT

v2

For integers $t\geq -1$, let $\theta_t$ be the largest real root of the Shanks polynomial $g_t(X)=X^3-tX^2-(t+3)X-1$ and put $K_t=\mathbb{Q}(\theta_t)$. We classify the points on $E_n:y^2=x^3-n^2x$ over $K_t$ with abscissa $\theta_t-1$ when $n$ is a positive integer and $E_n(\mathbb{Q})$ has rank zero. We determine the four pairs $(d,t)$ with $d>0$ rational for which $(\theta_t-1)/d^2$ is an abscissa on $E_3(K_t)$. We also 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$.

Counting Residue-Class Survivor Sets: An Asymptotic Comparison with Prime-Admissible Sets

math.NT

math.CO

v2

For $n\geq1$, choose one residue class $r_k\pmod{k}$ for every $2\leq k\leq n$, and retain those $m\in\{2,\ldots,n+1\}$ for which $m\not\equiv r_k\pmod{k}$ whenever $k

On the syntomic regulator of the Hesse cubic curves and $p$-adic hypergeometric functions

math.NT

math.AG

v3

We introduce a new type of $p$-adic hypergeometric function, which satisfies congruence relations similar to Dwork's $p$-adic hypergeometric function. Also, we prove that the syntomic regulators of the Hesse cubic curves are expressed in terms of the special values of our new $p$-adic hypergeometric functions. We also show that there is a transformation formula between our new $p$-adic hypergeometric function and a $p$-adic hypergeometric function of logarithmic type defined by Asakura.

Two Extremal Even Unimodular Lattices of Rank $88$

math.NT

math.CO

v2

In this paper, we construct two extremal positive definite even unimodular lattices of rank $88$ using a Hermitian tensor product over $\mathbb{Q}(\sqrt{-23})$, thereby extending the known existence range for such lattices from rank $80$ to rank $88$.

Another proof of the $U^4(\mathbf{F}_p^n)$-inverse theorem

math.NT

math.CO

v2

We give a new and shorter proof of a quantitative inverse theorem for the Gowers $U^4$-norm in the setting of high-dimensional vector spaces over finite fields.

Hypothetical connection of the theta functions of Dirichlet characters with the real cyclotomic fields

math.NT

v2

We consider a possible approach to the Lindel\"of hypothesis for Dirichlet $L$-functions. It is based on a special form of the functional equation for the corresponding theta functions. To estimate $L_\chi(0.5+it)$ we need to solve certain systems of linear equations. The entries to the corresponding matrices are formed by the summands to the series for theta functions and their derivatives. Numerical data suggest that the inverse matrices have a deep structure and allow us to state a number of conjectures. In particular, it seems that for a character modulo $q$ certain entries to the inverse matrices tend to finite limits when the sizes of the matrices run over arithmetical progressions with step $2q$. Moreover, these limits belong to the real cyclotomic field $\mathbb{Q}(\cos(\pi/q))$ (up to a scaling factor of $\sqrt{q}$).

A Note On Certain Minimal Excludants Over Overpartitions

math.NT

math.CO

v4

Let $\sigma\mathrm{Mex}(n)$ and $\sigma_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions, respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $\sigma_e\mathrm{Mex}(n)\equiv\sigma\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2}$, where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$, and obtain relation with basic hypergeometric series. Furthermore, we prove the asymptotic behavior of $\sigma\mathrm{Mex}(n)$, $\sigma_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $\sigma\mathrm{Mex}(n)\sim 2\,\sigma_e\mathrm{Mex}(n).$

Lower-order terms in mean-square formulas for the Euler--Zagier double zeta-function and regularized multiple zeta values

math.NT

v2

We study the mean square of the Euler--Zagier double zeta-function when the second variable moves vertically. Mean-square formulas in and beyond the region of absolute convergence were previously obtained by Matsumoto and Tsumura and by Ikeda, Matsuoka and Nagata. In particular, the latter authors determined the leading terms in the following three boundary cases: \[ \zeta_2\left(1+a,\frac12+it\right),\qquad \zeta_2\left(1+ib,\frac12+it\right),\qquad \zeta_2\left(1-a,\frac12+a+it\right), \] where $a\in\mathbb C$ with $\Re a>0$ and $b\in\mathbb R$ are fixed. The mean squares in the first and third cases, as well as in the second case when $b\neq0$, have leading terms of order $T\log T$. When $b=0$, the second case reduces to the corner $(1,1/2)$, where the leading term is of order $T(\log T)^3$. In the present paper, we refine these results by obtaining asymptotic formulas with remainder $o(T)$. In the case $b\neq0$, an additional oscillatory term of order $T$ occurs. We also show that, at the parameter points $(s_1,\sigma_2)=(k,\ell/2)$ with integers $k\geq1$ and $\ell\geq2$, the constant multiplying $T$ in the mean-square formula is a linear combination of multiple zeta values. At the boundary points $(k,1/2)$ with integers $k\geq1$, the harmonic finite parts of the corresponding divergent sums are expressed in terms of harmonic regularized multiple zeta values.

Imaginary Non-CM Fields of $2$-Power Degree

math.NT

v2

We establish a new method for the study of imaginary non-CM fields of arbitrary \(2\)-power degree and class number one. In particular, we show that for degrees greater than \(16\), dihedral fields either lie in the ray class field of one of the three imaginary quadratic fields \(\mathbb{Q}(\sqrt{-2})\), \(\mathbb{Q}(\sqrt{-3})\), \(\mathbb{Q}(\sqrt{-67})\), with the conductor of this ray class field supported only on primes dividing \(2\) and with explicit upper bounds on the relevant exponents, or are Hilbert class fields of imaginary quadratic fields. We also give a complete classification of the \(104\) imaginary non-CM fields of degree \(16\) with class number one, providing explicit tables of defining polynomials, Galois groups, base fields, and conductors. These 104 non-CM fields, together with the five CM fields classified by Louboutin and Okazaki \cite{lou7}, complete the classification of all imaginary fields of degree 16 with class number one. For CM fields, the problem reduces to computing relative class numbers via analytic class number formulae, whereas for non-CM fields the absence of a totally real subfield of index \(2\) necessitates a further approach and leads to a richer variety of Galois groups and ramification patterns.

Free semigroups of power series

math.NT

v2

Given power series $f_1,\dots,f_r\in z^2K[[z]]$ over a field $K$, we show that the semigroup $\langle f_1,\dots,f_r\rangle$ generated by the $f$'s under composition is free of rank $r$ whenever the multiplicative semigroup $\langle\mathrm{lc}(f_1),\dots,\mathrm{lc}(f_r)\rangle$ in $K^\times$ is free commutative of rank $r$; here $\mathrm{lc}(f)$ denotes the first nonzero coefficient of $f$. To do this, we associate an affine linear transformation to every $F\in\langle f_1,\dots,f_r\rangle$ and then apply a ping-pong lemma. In particular, combining this with work of Pappalardi, Sha, Shparlinski, and Stewart, it follows that most semigroups of polynomials over a number field $K$ are free, and we make this statement precise through a counting argument.

Divergent geodesics, ambiguous closed geodesics and the binary additive divisor problem

math.DG

math.DS

math.NT

v2

We give an asymptotic formula as $t\to+\infty$ for the number of common perpendiculars of length at most $t$ between two divergent geodesics or a divergent geodesic and a compact locally convex subset in negatively curved locally symmetric spaces with exponentially mixing geodesic flow, presenting a surprising non-purely exponential growth. We apply this result to count ambiguous geodesics in the modular orbifold recovering results of Sarnak, and to confirm and extend a conjecture of Motohashi on the binary additive divisor problem in imaginary quadratic number fields.

Holographic Equidistribution

hep-th

math.NT

v3

Hecke operators acting on modular functions arise naturally in the context of 2d conformal field theory, but in seemingly disparate areas, including permutation orbifold theories, ensembles of code CFTs, and more recently in the context of the AdS$_3$/RMT$_2$ program. We use an equidistribution theorem for Hecke operators to show that in each of these large $N$ limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincar\'e series of light states. This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries. We speculate on further physical interpretations for equidistribution, including a potential ergodicity statement.

Overcolored Partition Restricted by Parity of the Parts

math.CO

math.NT

v3

Very recently, Thejitha, Sellers, and Fathima defined the function $a_{r,s}(n)$, which enumerates the number of multicolored partitions of $n$, wherein both even parts and odd parts may appear in one of $r$-colors and $s$-colors, respectively, for fixed $r,s\ge 1$. In this paper, we extend the concept to overpartitions.

Crystalline Realizations of 1-Motives: Integral Structure and Classification via Linear Frobenius

math.AG

math.NT

v2

We study morphisms and integral weight splittings in the contravariant Dieudonn\'e realization of Deligne $1$-motives over a finite field. Combining the classical Tate theorem with a finite-level divisibility criterion, we prove integral full faithfulness after $p$-adic completion of morphism groups. We identify the geometric extension classes killed by the Barsotti--Tate realization and determine the exact common $p$-power denominator of the weight projectors from the extension maps of a $1$-motive and its Cartier dual. The same invariant measures the integral splitting defect. Frobenius resultants and reduced resultants give uniform bounds, whose sharpness is illustrated by explicit elliptic examples. Semilinear descent expresses crystalline morphisms through linear Frobenius intertwiners; eigenvalue ratios then determine morphism ranks over finite extensions and the minimal common field of definition. We characterize the rational essential image using cyclotomic factors and Honda--Tate multiplicities, and obtain derived realization equivalences for motives generated by curves after scalar extension and idempotent completion. Applications include quaternionic descent and divisor correspondences between smooth projective curves.

Negative $\beta$-transformations: invariant measures, matching properties and associated subshifts

math.DS

math.NT

v2

For a real number $\beta>1$, we study the negative $\beta$-transformations, defined by $T_{-\beta}(x) := -\beta x + \lfloor\beta x\rfloor + 1$ for $x \in (0,1]$. It is known that for each $\beta>1$, there exists a unique $T_{-\beta}$-invariant probability measure which is absolutely continuous with respect to the Lebesgue measure, denoted by $\nu_{-\beta}$. For two distinct non-integer real numbers $\beta_2>\beta_1>1$, we prove that $\nu_{-\beta_1}=\nu_{-\beta_2}$ if and only if $\beta_1$ is a root of the quadratic equation $x^2 - qx - p = 0$ (where $p, q \in \mathbb{N}$ and $p \leq q$) and $\beta_2 = \beta_1 + 1$. Furthermore, we show that $T_{-\beta}$ satisfies the matching property for all generalized multinacci numbers $\beta$. Finally, we prove that the simple $(-\beta)$-numbers, i.e., the numbers whose corresponding $(-\beta)$-shifts are subshifts of finite type, are dense in the parameter space $(1, \infty)$.

Rigidity and Galois theory of 3-manifolds branched over Chebotarev links

math.GT

math.DS

math.GR

math.NT

v2

The classical Neukirch--Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links $\mathcal{L}$ in 3-manifolds that satisfy a Chebotarev density property, and hence behave like the set of primes. We define the absolute Galois group of a 3-manifold relative to such a link as the inverse limit of profinite completions of finite sublink complements. Our main result shows that two covers of $S^3$ branched over finite sublinks of $\mathcal{L}$ are isomorphic if and only if their absolute Galois groups relative to $\mathcal{L}$ are isomorphic via a characteristic-preserving isomorphism. The proof translates the key ideas from the number-theoretic argument into 3-manifolds, developing Hilbert ramification theory for infinite covers and local-global principles. Doing so also provides a systematic justification for viewing Chebotarev links as topological analogues of the set of prime numbers. In addition, we propose further conditions on Chebotarev links which would further strengthen their connection to the prime numbers.

Iterative map with power-law scaling of Gamma-distributed fluctuations related to prime numbers

cond-mat.stat-mech

math.NT

v2

Prime numbers arise in several contexts beyond number theory, including statistical mechanics, quantum mechanics, and dynamical systems. However, the mechanisms underlying the irregularities of their sequence and their connections to physical systems remain poorly understood. The present work provides further insight into the search for deterministic fingerprints in the prime sequence. To this end, prime gaps at different separation distances are investigated through an empirical analysis. Based on this analysis, a modified local approximation of the Prime Number Theorem is introduced and analyzed empirically, in which the logarithmic gap estimate is evaluated at a midpoint-corrected argument. From this relation an iterative map is obtained that reproduces the classical asymptotic prime spacing at leading order and satisfies an approximate semigroup property. The residual fluctuations are found to follow Gamma distributions rescaled by the correction terms, with a variance exhibiting an approximate power-law scaling in the prime separation distance.

Thresholds and Fluctuations for Colorful Arithmetic Progressions in Sparse Random Colorings

math.CO

math.NT

math.PR

v2

In this paper, we derive thresholds and fluctuations for arithmetic progressions with prescribed color patterns in sparse random colorings of $[n]:=\{1, 2, \ldots, n\}$, where each element of $[n]$ is colored independently according to a given probability vector. For any admissible ordered palette of colors, we determine the full multi-parameter threshold region for the appearance of a colorful arithmetic progression. The threshold is governed by two competing mechanisms: a global first-moment condition and a local color-availability condition, resulting in a polyhedral satisfiability region, with a piecewise-polyhedral threshold surface. In the satisfiability region we establish asymptotic normality for the number of colorful arithmetic progressions of a given length, with an explicit rate of convergence in Wasserstein distance. On the threshold surface, we identify three distinct asymptotic regimes: Poisson, compound Poisson with mixed Poisson jumps, and compound Poisson with uniform jumps, after an appropriate normalization. These results provide a complete description of the threshold and fluctuation behavior of general colored arithmetic progressions under sparse random colorings, in a unified framework that interpolates between classical uncolored/monochromatic progressions in binomial random subsets and multicolored, including rainbow, arithmetic progressions.

Locally analytic representations in mixed characteristic via stacks

math.RT

math.NT

v2

For any $p$-adic Lie group $G$, we construct a group stack $G^\mathrm{la}$ over the $p$-adic branch of Clausen--Scholze's stack of norms such that quasicoherent sheaves on its classifying stack $*/G^\mathrm{la}$ recover locally analytic representations of $G$ after base change to any suitable Tate Huber pair, even in positive or mixed characteristic. We also show that smooth $\mathbb{F}_p$-representations of $G$ embed fully faithfully into sheaves on the mod $p$ fibre of $*/G^\mathrm{la}$ and establish Poincar\'e duality for cohomology of locally analytic representations in mixed characteristic.