Number Theory [math.NT]

Totally positive field extensions and the pythagorean index

math.NT

For a formally real field $F$, we study totally positive field extensions $K$ over $F$. We show that, if $K /F$ is Galois and totally positive then so is the corresponding extension of their pythagorean closures $K_{\rm py}$ over $F_{\rm py}$. We also study the behaviour of weak isotropy and weak hyperbolicity of central simple algebras with an orthogonal involution over totally positive field extensions. We use some of these results to prove new cases for which a conjecture due to Becher holds.

An Algebraic Approach to the Fundamental Theorem of Algebra

math.NT

In this paper, we investigate the algebraic counterpart of the Fundamental Theorem of Algebra. We explore the concept of real closed fields and quadratic forms. We show, by means of Galois theory, that $F(\sqrt{-1})$ is algebraically closed if $F$ is real-closed. Lastly, we explain the algebraic closure of $\mathbb R(\sqrt{-1})=\mathbb C$ by demonstrating the real-closeness of $\mathbb R$.

Many Representations as Sums of Three Prime Cubes

math.NT

Let $F_k(n)$ be the number of unordered representations \[ n=p_1^k+p_2^k+\cdots +p_k^k \] by primes, with repetitions allowed. Erd\H{o}s stated that $\limsup_{n\to\infty} F_3(n)=\infty$, but his proof appears not to have been published. A complete unconditional proof is given. The principal input is the classical Hecke equidistribution theorem for the CM Fermat cubic; the rest of the argument uses standard estimates for primes in arithmetic progressions and elementary counting. The argument used for \(k=3\) does not extend to the case \(k=4\). Nevertheless, by applying the Green--Tao--Ziegler theorem to the linear forms arising from an admissible binary quartic identity, \(\limsup_{n\to\infty}F_4(n)\ge2\) is shown.

${}_5F_4$ evaluations and a family of $\pi^2+\log^2$ identities

math.NT

math.CO

We evaluate the series $\sum_{n\ge1} z^n\big/\!\big(n^2\binom{4n}{n}\big)$, equal to $-\tfrac{z}{4}\,{}_5F_4\!\left(1,1,1,\tfrac43,\tfrac53;\tfrac54,\tfrac32,\tfrac74,2;\tfrac{27z}{256}\right)$, in closed form at an infinite family of algebraic points indexed by a rational angle $\theta=j\pi/N$. Each value equals $c\,\pi^2$ plus a universal rational quadratic form in three logarithms, with $c=-\tfrac13\left(1-\tfrac{2j}{N}\right)^2$. This is the quartic-base case reached but not evaluated by D'Aurizio and Di Trani. The proof is self-contained: an exact integer factor relating two weights, followed by Landen's identity, reduces the integral to a sum of squared logarithms.

On the Finiteness of Isolated $j$-invariants for $X_1(N)$

math.NT

Characterizing isolated points on the modular curve $X_1(N)$ is a key obstruction to classifying all points of a fixed degree. These points do not lie in infinite parameterized families, making them difficult to obtain through geometric constructions. In this paper, we focus on the collection of "isolated $j$-invariants" for $X_1(N)$, which are the values obtained by mapping isolated points to the $j$-line. Prior work of the author in collaboration with Ejder, Liu, Odumodu, and Viray asks whether there are only finitely many isolated $j$-invariants lying in extensions of bounded degree. Here, we explore how this question relates to other uniformity problems in the field and give new finiteness results for isolated $j$-invariants in $\mathbb{Q}$. As an application, we show similar methods give sharpened polynomial bounds on torsion for non-CM elliptic curves having rational $j$-invariant.

Quantitative bounds for sets lacking polynomial progressions with shifted prime difference

math.NT

math.CO

We prove quantitative polynomial Szemer\'edi-type theorems involving polynomial progressions with shift parameter restricted to the set of shifted primes $\mathbb{P}-1$. The types of configurations covered are distinct degree progressions and progressions involving integer multiples of a fixed polynomial. For nonlinear configurations of length at least three, these results provide the first quantitative versions of such theorems. In the linear case, our results improve on work by the last two authors. Our density bounds are strongest in the case of distinct degree polynomials, where they give polylogarithmic bounds, of the same shape as recent bounds by Shao and Wang with integer shifts. The proofs combine recent quantitative results for polynomial configurations in the integers with quantitative Gowers uniformity bounds of the primes. For multiples of a fixed polynomial, we adapt a comparison argument of Altman and Sawhney to obtain uniformity over the polynomial families produced by the $W$-trick. For distinct degree progressions, we establish a comparison between prime-weighted and unweighted polynomial counts that is uniform throughout the density increment argument and accounts for a possible Siegel zero.

Arithmetic partial differential operators on ramified extensions of $\ZZ_p$

math.NT

The notion of $p$-derivation as introduced by Buium has a rich history of applications in arithmetic geometry. Working over $\ZZ_p$, Buium-Ralph-Simanca showed that arithmetic differential operators built from these determine $p$-adic analytic functions and vice versa. Notably, over $\ZZ_p$, there is only one $p$-derivation. In this article, we consider the same question for ramified extensions $A_\pi$ with uniformizer $\pi$. This has the effect of passing from ordinary to partial differential operators, since such extensions can enjoy multiple $\pi$-derivations. We introduce a notion of analytic functions which are naturally determined by these operators in a way analogous to that in the unramified case, but with a significantly richer structure. We show that under mild conditions, analytic functions and partial differential operators determine each other in this setting.

Forced Shadows of an Obstructed Hyperbolic Kac-Moody Denominator

math.NT

The four orders of the quaternion algebra B6 carry four reflective wall data on lattices of signature (3,2); three integrate to Borcherds denominators and one is obstructed. The failed denominator survives as a weakly harmonic Maass form, and we prove its shadow is a Hecke eigenform on the line of the newform 6.4.a.a, with zero twist component. The mechanism is invariance selection: the obstruction functional is invariant under the discriminant isometry group, whose invariants in S_{5/2} are one-dimensional; the same mechanism, verified at quaternion discriminants 10 and 22, places the shadows there on 10.4.a.a and 22.4.a.c. On the weight-1/2 layer we prove a determination theorem: the canonical form exists unconditionally and uniquely precisely when the obstruction space vanishes, and combining the finiteness bound of Bruinier-Ehlen-Freitag with a finite computation this happens exactly for D in {6, 10, 22}, the genus-zero compact Shimura curves, whose maximal-order ternaries are reflective with integral Weyl chambers of ranks 3, 4, 4. Parity confines this layer to odd channels; on the obstructed orientation the section layer is obstructed outside an explicit 40-element locus of orientations, giving a double shadow, CM (36.2.a.a) at weight 3/2 and newform at weight 5/2, while the deck-symmetric directions instead carry a unique canonical weight-1/2 form. The defect invariant satisfies ||Xi||^2 = 144 exactly and equals L(f,2)/(48 pi^2 ) to 31 digits. On the section layer the Petersson geometry is rigid: the Gram matrix of S_{3/2} is a single transcendental multiple of an exact rational form, and that transcendental is identified, to 40 digits, as 3 Gamma(1/3)^3 / (2^{7/3} pi^2). The weight-3/2 shadow norms lie in the Chowla-Selberg ring from which the weight-5/2 norm is excluded.

Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

math.NT

math.AG

Silverman conjectured that the geometric divisibility sequence attached to a Zariski-dense point on an irreducible commutative algebraic group of dimension at least two, with no unipotent part, returns to its initial value infinitely often. We construct, for the firsst time, unconditional examples of this phenomenon on geometrically nonsplit semiabelian varieties over number fields. More precisely, let $A/K$ be a positive-dimensional abelian variety over number field $K$, let $$ 1\longrightarrow\mathbf G_m\xrightarrow{\iota}G_q\xrightarrow{\pi}A \longrightarrow0 $$ be the extension represented by $q\in A^\vee(K)$, and let $R_\beta(q)\in G_q(K)$ be the normalized Ribet point associated with a homomorphism $\beta:A^\vee\to A$. Assume that $\delta$ is an isogeny and that the cyclic subgroup generated by $\delta q$ is Zariski dense in $A$. Let $t\in\mathbf G_m(K)$ be a torsion point. Then $G_q$ is geometrically nonsplit and $P=R_\beta(q)+\iota(t)$ has Zariski-dense cyclic orbit. Put $\delta=\beta-\widehat{\beta}$. If $e_\delta$ denotes the exponent of $\ker\delta$ and $h=\operatorname{ord}(t)$, define $$ N_{\delta,t} := \prod_{\ell} \ell^{ \max\left\{ 0, \left\lceil \frac{v_\ell(h)-2v_\ell(e_\delta)}{2} \right\rceil \right\}}. $$ If $N_{\delta,t}>1$, then $N_{\delta,t}\mid d_v(P)$ for all but finitely many finite places $v$, where $d_v(P)$ denotes the order of the reduction of $P$. Consequently, there exists a squarefree integer $Q>1$ such that $$ (n,Q)=1 \quad\Longrightarrow\quad \mathfrak d_{\mathcal N}(nP) = \mathfrak d_{\mathcal N}(P), $$ where $\mathfrak d_{\mathcal N}$ denotes the full denominator ideal on the N\'eron lft-model $\mathcal N$.

The irrationality measure of arctan1/2 is at most 8.585166

math.NT

This paper establishes a new upper bound for the irrationality measure of arctan(1/2), namely 8.585166... Following the strategy and proof techniques of Zudilin and Zeilberger (who improved the bound for pi), we use a family of complex contour integrals with symmetric integrands. The integrality and divisibility of the partial-fraction coefficients are derived via p-adic valuations and a specially defined prime set P_n. Combined with saddle-point asymptotics, the growth rates of the integral sequence and its rational/logarithmic components yield the desired irrationality measure.

Gap spectra and densities of slow Fibonacci walks

math.NT

math.CO

Let $F_1=F_2=1$ and $F_{t+2}=F_{t+1}+F_t$ for $t\geq1$. For every $n\geq2$, there are unique integers $a,b,t$ such that $n=aF_t+bF_{t-1}$ with $t\geq2$ and $1\leq a\leq b\leq F_t$. The Fibonacci walk with initial pair $(b,a)$ reaches $n$ as late as possible, and the term following $n$ in this walk is $\lfloor\phi n\rfloor$ when $t$ is even and $\lceil\phi n\rceil$ when $t$ is odd, where $\phi=(1+\sqrt5)/2$. Let $D=\{d_1<\cdots\}$ and $U=\{u_1<\cdots\}$ be the sets corresponding to even and odd $t$, respectively. For $\ell,m\geq1$, define $D_\ell=\{d_{k+\ell}-d_k:k\geq1\}$, $U_\ell=\{u_{k+\ell}-u_k:k\geq1\}$, $D_\ell(m)=\{d_k:d_{k+\ell}-d_k=m\}$ and $U_\ell(m)=\{u_k:u_{k+\ell}-u_k=m\}$. Chung, Graham and Spiro conjectured that $D_\ell=U_\ell$ for all $\ell$, and asked for the densities of $D_\ell(m)$ and $U_\ell(m)$, especially when $\ell=1$. In this paper, we determine the third and fourth order gap spectra, and show that the conjecture holds for $\ell=3$ but fails for $\ell=4$. We also answer their density question by characterizing when $D_\ell(m)$ and $U_\ell(m)$ have natural densities and proving that their logarithmic densities always exist and are equal. For $\ell=1$, we give the exact logarithmic densities.

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

math.NT

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

Simultaneous approximation to pairs of real numbers

math.NT

Let $B_{m}$ and $D_{n}$ be the denominators of the $m$th and $n$th convergent of the real numbers $\alpha$ and $\beta$, respectively. We introduce an abnormal method in the theory of simultaneous Diophantine approximation to the pair $\alpha,\beta$. Namely, the question of finding simultaneous approximation is turned into study of small solutions of a linear Diophantine equation $xB_{m} + yB_{m+1} = zD_{n} + vD_{n+1}$. The Thue-Siegel's lemma guarantees the existence of a non-zero integer vector $(x,y,z,v)$ in such a way that $|x|,|y|,|z|,|v|$ are bounded above by $\big( B_{m} + B_{m+1} + D_{n} + D_{n+1} \big)^{1/3}$. Thereby we can construct an integer $q:=xB_{m} + yB_{m+1} = zD_{n} + vD_{n+1}\ge 1$, a common denominator, which by the theory of continued fractions gives simultaneous approximations to $\alpha$ and $\beta$. We give also a variety of explicit constructions without the Thue-Siegel's lemma. Let $\|\alpha\|:=\underset{k\in\mathbb{Z}}\min\{|\alpha-k|\}$. For a class of numbers, including particular equivalent numbers $\alpha$ and $\beta$, we show there exist a real number $\kappa=\kappa(\alpha,\beta)>1/2$ and infinitely many explicitly constructible positive integers $q$ such that $\|q\alpha\| \le \frac{1}{q^{\kappa}}$ and $\|q\beta\| \le \frac{1}{q^{\kappa}}$. As the result improves Dirichlet's theorem on simultaneous approximation it also confirms the classical Littlewood conjecture for such a pair $\alpha,\beta$. In addition, we present general criteria for the classical Littlewood conjecture as well as for its $p$-adic counterpart.

Modularity theorems for Eisenstein congruences in prime-power level

math.NT

Let $p, N \geq 5$ be primes such that $N \equiv 1 \bmod p$. We prove modularity theorems at levels $N$ and $N^2$, showing that suitable Eisenstein localizations of the weight-$2$ $p$-adic Hecke algebra at these levels are isomorphic to certain natural quotients of a universal pseudodeformation ring. This universal ring parametrizes pseudorepresentations that are residually Eisenstein, unramified outside $Np$ and finite-flat at $p$, and satisfy appropriate conditions at $N$ depending on the level.

Variation of Iwasawa Invariants for Ordinary Representations

math.NT

Let $K$ be a number field and $p$ be an odd prime. Greenberg introduced a natural topology on the space of all $\mathbb{Z}_p$-extensions of $K$ and established several boundedness results for the classical Iwasawa invariants. We extend this framework to compare the Iwasawa invariants of Selmer groups attached to an ordinary $p$-adic representation across $\mathbb{Z}_p$-extensions lying in a Greenberg neighbourhood in the sense of Greenberg. We also establish analogous results for the fine Selmer groups. Finally, in a neighbourhood of the cyclotomic $\mathbb{Z}_p$-extension, we provide evidence for the expected connection between the characteristic ideal of the Selmer group and the conjectural $p$-adic $L$-function introduced by Disegni.

Simplex--center configurations in dense subsets of Euclidean spaces and the integer lattice

math.MG

math.CO

math.NT

We obtain density Ramsey theorems for configurations consisting of the vertices of a simplex $\Delta_o$ together with their barycenter. We prove that any subset $A\subseteq\mathbb{R}^n$ of positive upper density contains an isometric copy of all sufficiently large dilates of $\Delta_o$ together with its barycenter. As this configuration is non-spherical such results are not possible with respect to the quadratic Euclidean metric, we consider general metrics $\rho$ defined by a positive-definite, homogeneous forms of even degree at least four. We prove the analogous result in the discrete setting, for subsets $A$ of the integer lattice $\mathbb{Z}^n$, under some natural and necessary congruence restrictions on the scales $\lambda$ at which the set $A$ can contain an isometric copy of the simplex.

On the number of solutions of systems of diagonal equations through diagonal GP-graphs: the general and the Hermitian-form cases

math.CO

math.NT

For any $m, s \in \mathbb{N}$, we study the number $N_{m\times s,q}(\kappa, \beta)$ of solutions $(x_1,\ldots,x_s) \in (\mathbb{F}_q)^s$ of the monic system of diagonal equations $$ X_{1}^{k_i} + \cdots + X_{s}^{k_i}= \beta_i, \qquad (1\le i \le m), $$ with $\kappa=(k_1,\ldots,k_m) \in \mathbb{N}^m$ and $\beta=(\beta_1,\ldots,\beta_m) \in (\mathbb{F}_q)^m$. We show that this number can be obtained in terms of some data of \textit{diagonal} GP-graphs $\Gamma(\kappa,q)$. This is a new family of graphs that we introduce here, i.e. Cayley graphs of the form $$ \Gamma(\kappa,q) = Cay(\mathbb{F}_{q}^{m}, R_{\kappa}) \quad \text{where} \quad R_{\kappa} = \{ (x^{k_1},\ldots,x^{k_m}) : x \in \mathbb{F}_{q}^*\}, $$ with $\kappa=(k_1,\ldots,k_m)\in \mathbb{N}^{m}$. In particular, we give three different expressions for $N_{m\times s,q}(\kappa, \beta)$: one in terms of walks, another in terms of adjacency matrices of $\Gamma(\kappa,q)$ and the last one in terms of the spectrum of $\Gamma(\kappa,q)$. Finally, we explicitly derive combinatorial formulas for the number of solutions $N_{m}(s,q) = N_{m\times s,q}(\kappa_\ell, 0)$ of monic homogeneous systems of diagonal equations of the form $$ X_1^{q^{\ell_i}+1} + \cdots + X_s^{q^{\ell_i}+1} = 0 \qquad (1\le i \le m),$$ with $\kappa_\ell=(\ell_1,\ldots,\ell_m)=(1,3,\ldots,2m-1)$ and $m\ge 2$, via the known spectrum of Hermitian-form graphs, which can be viewed as diagonal GP-graphs. For any $m,s \in \mathbb{N}$, we give general summation and recursive formulas for $N_m(s,q) \in \mathbb{Z}[q]$. For the small cases $N_{1}(s,q)$, $N_{2}(s,q)$ and $N_{m}(s,q)$, with $1\le s \le 5$, we give explicit expressions.

Non-equivalence of pro-$p$-Iwahori invariants

math.RT

math.NT

Suppose $F$ is a nonarchimedean local field whose residue field is a proper extension of $\mathbb{F}_p$ with $p > 3$. Generalizing results of Ghate--Le--Sheth, we show that any split, connected, reductive group $G$ over $F$ which is not a torus admits a smooth, irreducible, non-admissible mod $p$ representation. We use this to show that the functor of pro-$p$-Iwahori invariants does not induce an equivalence between the category of smooth mod $p$ $G$-representations generated by their pro-$p$-Iwahori invariant vectors and modules over the pro-$p$-Iwahori--Hecke algebra, contrary to what happens for $\textrm{GL}_2(\mathbb{Q}_p)$.

Spectrum of the refined Diophantine exponent

math.CO

cs.FL

math.DS

math.NT

The refined Diophantine exponent, recently introduced by the author, is a quantity that measures the periodicity of an infinite word. In this article, we study this exponent from combinatorial and topological viewpoints. First, we show that, over a ternary alphabet, the spectrum of the refined Diophantine exponent is $[1,\infty]$. Second, we show that this exponent has topological properties similar to those of the set of Liouville numbers. Finally, we provide concrete examples with the Champernowne, Rudin--Shapiro, and Thue--Morse words, words coming from coding a rotation by intervals, and bracket words.

The arithmetic de Rham stack

math.AG

math.NT

We define and study the arithmetic de Rham stack $X^{\operatorname{arith}}$ of a scheme $X$ over a field of characteristic $p$, and analyze its relation with related stacks such as the Hyodo--Kato stack. We show that $X^{\operatorname{arith}}$ gives a stack-theoretic approach to rigid cohomology and its coefficients, known as overconvergent isocrystals and arithmetic $D$-modules, which avoids the long-standing problem of frame-choosing in earlier approaches. We finally give some arithmetic applications of our formalism, such as a proof of Berthelot's conjecture on the preservation of overconvergent isocrystals by smooth proper pushforward.

The Local Langlands Correspondence for Middle Supercuspidal Representations of $p$-adic $\text{GL}(2n)$

math.RT

math.NT

Let $\text{F}$ be a non-archimedean local field of characteristic zero with residual characteristic $p$. In this paper we give an explicit description of the local Langlands correspondence for middle supercuspidal representations of $\text{GL}(2n,\text{F})$, under the tameness condition $p\nmid 2n$, in terms of the maximal simple types that define them. We achieve this by explicitly computing and comparing the gamma factors on the automorphic and Galois sides of the local Langlands correspondence. The computation on the automorphic side requires neither the tameness condition nor the characteristic zero condition.

Distinct differences of singular moduli

math.NT

math.AG

v2

Let $E_1, E_2 / \mathbb{C}$ be non-isomorphic elliptic curves with complex multiplication. We prove that the pair $(E_1, E_2)$ is characterised, up to isomorphism, by the difference $j(E_1) - j(E_2)$ of the respective $j$-invariants. In other words, we show that if $x_1, x_2, x_3, x_4$ are singular moduli such that $x_1 - x_2 = x_3 - x_4$, then either $(x_1, x_2) = (x_3, x_4)$ or $(x_1, x_3) = (x_2, x_4)$.

An Equidistribution Result for Differences Associated to Square Pyramidal Numbers II

math.NT

v2

This paper presents some new results concerned with uniform distribution properties associated with the sequence $(a_n)_{n\in\mathbb{N}}$, which is defined as the distance from the $n$-th square pyramidal number to the closest square. We also extend the results to arithmetic progressions.

Exact counts of elliptic curves of bounded height over $\mathbb F_q(t)$ in characteristics $2$ and $3$

math.NT

math.AG

math.KT

v3

Let $p\in\{2,3\}$, let $q=p^r$ with $r\geq1$, and put $K=\mathbb F_q(t)$. We determine the exact weighted and unweighted counts of $K$-isomorphism classes of elliptic curves of bounded Faltings height, equivalently of bounded minimal-discriminant degree. Writing $B$ for the discriminant height bound, the leading term in each count is of order $B^{5/6}$ and has the same coefficient in every characteristic, whereas the lower-order terms depend substantially on $p$ and on the arithmetic of the constant field. In the unweighted count, characteristic two produces a term of order $B^{5/12}$ and, when $r$ is even, a term of order $B^{1/4}$, neither of which occurs for $p>3$. Some characteristic-specific lower-order coefficients are negative. These terms reflect two small-characteristic phenomena. First, the nonsmooth locus of generalized Weierstrass equations contains quasi-elliptic-type strata that are not detected by the rational-singular-section argument in de Jong's count: the unique geometric singular point of the generic fiber may be defined only after a nontrivial purely inseparable extension of $K$. Second, on the $j=0$ locus, the geometric origin-preserving automorphism groups are nonabelian and contain wild elements, while twisting affects which automorphisms descend to $K$. Consequently, the passage from weighted to unweighted counts requires a marked-inertia calculation involving conjugacy classes and centralizer weights. Our formulas show that nonsmooth-locus corrections, extra-automorphism loci, and the removal of minimality defects collectively account for all lower-order terms. Together with the characteristic-greater-than-three formulas of Bejleri-Park-Satriano, this completes the exact weighted and unweighted bounded-height enumerations over $\mathbb F_q(t)$ in every characteristic.

Transcendence Meets Normality: Construction of Transcendentally Normal Numbers

math.NT

math.PR

v3

In this work, we study real numbers $x$ for which $p(x)$ is (absolutely) normal for every non-constant integer-valued polynomial $p$. We call such numbers transcendentally normal. We prove that almost every real number is transcendentally normal and provide an explicit construction of such a number, based on Sierpinski's covering method and novel ideas involving the so-called stretch function. In the next step, we transform this construction into an algorithm that computes the digits of a t-normal number recursively in all integer bases. Moreover, we extend our covering approach to construct and compute LIL-normal numbers whose discrepancies are of the order predicted by the law of the iterated logarithm. We also take the opportunity to discuss several interesting open problems.

An upper bound for the size of the ideal class monoid

math.NT

v3

The ideal class monoid for an order $R$ in a finite field extension $E/F$ of a number field, denoted by $\overline{\mathrm{Cl}}(R)$, is a fundamental object to study in number theory which has useful applications in algebraic geometry and topology. In this paper, we describe an upper bound for $\#\overline{\mathrm{Cl}}(R)$, in terms of the class number of $E$ and (local) orbital integrals for $\mathfrak{gl}_n$. We also describe an upper bound for the class number of $E$ in terms of the Minkowski bound. When $[E:F]\leq 3$ or when $R$ is a Bass order, we refine our upper bound, using a known formula for local orbital integrals in the authors' previous work. In particular, if $R=\mathbb{Z}[x]/(x^3-mx^2+(m-1)x-1)$ with $m\in \mathbb{Z}$ which arises in a study of Cappell-Shaneson homotopy 4-spheres in topology, then we further refine our upper bound in terms of the discriminants of $R$ and $E$, which is $\frac{2}{3^5} \Delta_R^{\frac{1}{2}}\cdot \Delta_E^{\frac{3}{2}}$, when $\Delta_E>3075$.

On Some Generalisations of Gauss Sequences

math.NT

v4

In this paper, we introduce integer sequences satisfying new congruence properties inspired by the Euler and Gauss congruences, which we call Euler--Gauss sequences. Noting that every Gauss sequence is an Euler--Gauss sequence, we compare them with certain generalisations of Gauss sequences and provide several counterexamples. Unlike Gauss sequences, Euler--Gauss sequences include sequences based on distinct prime factors, such as the Smallest Prime Factor and Greatest Prime Factor sequences (suitably defined at $1$). Moreover, we show that the prime-divisor subclass of Gauss sequences, given by $\sum_{p\mid n} pg_p$ for an integer sequence $(g_n)$, admits a natural extension to Euler--Gauss sequences of the form $\sum_{p\mid n} pf_p(\operatorname{rad}(n))$, where, for each prime $p$, $f_p$ is an integer-valued function and $\operatorname{rad}(n)$ denotes the square-free kernel of $n$. Further, we obtain $q$-analogs of the Euler--Gauss sequences, fill gaps in the literature on $q$-Gauss sequences, and conjecture a divisibility criterion for $q$-Euler--Gauss sequences, which we have verified computationally. We also show that not only do our $q$-Euler--Gauss sequences satisfy the Cyclic Sieving Phenomenon (CSP) exhibited by the $q$-Gauss sequences, but we also derive a new CSP condition for the SPF and GPF sequences, not hitherto known in the literature.

Weighted Recursions for the Smallest Parts Function

math.NT

v2

We establish new polynomial-weighted recursions for Andrews' smallest parts function. Our results use the generating series for the spt function, a harmonic Maass form of weight 3/2, paired with the Dedekind eta function via the Rankin-Cohen bracket. In weights larger than 2, we find a nontrivial quasimodular component, which we determine for the relevant weights. We apply the holomorphic projection operator and the vanishing of cusp form spaces of small enough weight to obtain our results.

A first-exit proof of Cusick's sum-of-digits conjecture

math.NT

math.CO

v2

We prove Cusick's conjecture on the binary sum-of-digits function. More precisely, for every integer \(t\ge 1\) we show that \[ c_t:=\lim_{N\to\infty}\frac{1}{N} \#\{0\le n\frac{1}{2}, \] and in fact obtain the explicit bound \[ c_t\ge \frac{1}{2}+2^{-2s_2(t)-1}, \] where \(s_2(m)\) denotes the number of ones in the binary expansion of \(m\). The proof is based on an exact deconvolution which replaces the distribution of \(s_2(n+t)-s_2(n)\) by a finite stopped random-walk law. The required bias is then proved through first-exit medians for principal subsequence ideals.

More than two thirds of the zeta zeros are simple and on the critical line

math.NT

v2

We prove unconditionally that at least two thirds of the nontrivial zeros of the Riemann zeta function, counted with multiplicity, are simple and lie on the critical line, and that at least five sixths are distinct; the previous unconditional records are $\frac{5}{12}$ and $0.6603$. With the Montgomery--Taylor window the constants become $0.6725$ and $0.8362$. The argument makes Montgomery's 1973 deduction unconditional: the Riemann hypothesis, classically needed to read the zero side as a positive sum over real ordinates, is replaced by a rank-trace inequality applied to a finite compression of Weil's Hermitian form, with Sylvester's law of inertia handling off-line pairs. The analytic inputs are those of Aryan and of Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh. The results extend to primitive Dirichlet $L$-functions and are formally verified in Lean 4.

New Congruences Involving $p$-adic dual sequences

math.NT

math.CO

v2

Let $(a_n)_{n\geqslant 0}$ be a sequence of integers. Its dual sequence $(a_n^*)_{n\geqslant 0}$ is defined by \begin{equation*} a_n^* := \sum_{k=0}^{n} \binom{n}{k}(-1)^k a_k. \end{equation*} Let $p>3$ be a prime. In this paper we mainly investigate congruences modulo $p^2$ involving central binomial coefficients and $p$-adic dual sequences. For example, we prove that for any sequence $(a_k)_{k\ge0}$ of $p$-adic integers, \begin{align*} \sum^{(p-1)/2}_{k=0}\binom{2k}{k}^2\frac{a_{2k}}{16^k}\equiv\left( \frac{-1}{p}\right) \sum_{k=0}^{p-1}\frac{\mathcal{P}_{k}}{16 ^{k}}a_{k}^*\pmod{p^2}, \end{align*} where $(\mathcal{P}_n)_{n\ge0}$ are the Catalan--Larcombe--French numbers given by \begin{equation*} \mathcal{P}_0=1,\quad \mathcal{P}_1=8, \quad n^2 \mathcal{P}_n = 8(3n^2-3n+1)\mathcal{P}_{n-1}-128(n-1)^2\mathcal{P}_{n-2} \quad (n\ge2). \end{equation*} We also establish a new formula for $\sum_{k=0}^{(p-1)/2}\binom{2k}{k}a_{2k}^*/4^k \pmod{p^2}$ and as a consequence we confirm some conjectures of Z.-W. Sun \cite{Sun2014CANT} on the generalized central trinomial coefficients $T_{2k}(b,c)$, i.e., the coefficient of $x^{2k}$ in $(x^2+bx+c)^{2k}$, where $b,c$ are integers.

Weighted singular vectors in common-base self-similar sets

math.NT

v2

We prove a lower bound for the Hausdorff dimension of weighted totally irrational singular vectors in affine-spanning common-base integral self-similar sets satisfying the open set condition. For the middle-third Cantor square, the bound improves the previously known explicit lower bound.

Shifted second moment of Gaussian Hecke $L$-functions $L(s,\lambda^k)$

math.NT

v2

We establish a uniform asymptotic formula for the smoothly weighted shifted second moment of the Gaussian angular Hecke $L$-functions $L(s,\lambda^k)$. The completed moment is expressed as the sum of four explicit main terms, corresponding to the four functional-equation swaps, with an error of size $O_{\Phi,\epsilon}(K^{1/2+\epsilon})$.After the Archimedean factors are removed, the resulting formula agrees with the numerator-only specialization of the four-swap prediction of the $L$-functions Ratios Conjecture. The proof transforms the off-diagonal contribution into Weyl sums over the roots of $r^2\equiv-1\pmod C$, realizes these sums spectrally through incomplete Poincar\'e series evaluated at $i$, and separates the Eisenstein and Maa\ss{} spectra. The two $v$-type main terms arise respectively from the zero frequency and from the combined residues of two moving Eisenstein poles, while the cuspidal spectrum is absorbed into the square-root error term.

$F$-intersection flatness of dagger and Berkovich Tate algebras

math.AC

math.AG

math.NT

v3

We show, using the techniques developed in arXiv:2504.06444 and arXiv:2305.11139, that dagger algebras and Tate algebras in the sense of Berkovich in prime characteristic $p > 0$ have intersection flat Frobenius. Equivalently, if $S$ is such a ring, then $S^{1/p}$ is a flat and Mittag-Leffler $S$-module. As a consequence, we deduce that any ideal-adic completion of a reduced ring that is essentially of finite type over a dagger algebra or a Berkovich Tate algebra in prime characteristic has big test elements from tight closure theory.

Minkowski geometry of finite Hurwitz continued fractions

math.CA

math.NT

v2

We study the Minkowski geometry of finite-level sets of Gaussian rationals defined by the lengths of their Hurwitz continued fraction expansions. For each $m\geq 1$, let $H_m$ be the set of points in the fundamental square whose Hurwitz continued fraction expansions have length exactly $m$. We also introduce the relaxed recursive sets defined by $G_0=\{0\}$ and $$G_m=\Big\{\frac{1}{u+v}: u \in\mathbb{Z}[i],\ v\in G_{m-1},\ |u+v|>1 \Big\}.$$ We prove that for every $m\geq 1$, $$\dim_{\rm M} H_m=\dim_{\rm M} G_m=1.$$ We further determine the critical one-dimensional Minkowski content of these sets. We have ${\mathcal M}^1(H_1)={\mathcal M}^1(G_1)=4\pi\log(1+\sqrt{2})$, whereas ${\mathcal M}^1(H_m)={\mathcal M}^1(G_m)=\infty$ for every $m\geq 2$.

Finite monodromy groups in degenerating families and the stability degree of curves

math.AG

math.NT

v2

We compute the stability degree of curves of genus g and show that it is equal to the classical Minkowsky bound. We also compute the stability degree of semi-abelian varieties with prescribed toric and abelian ranks. The proof uses a specialization result for finite monodromy groups in degenerating families, obtained from a variant of Krasner's lemma, together with an explicit construction at the prime 2.