Number Theory [math.NT]

Infinitely Many Binomial Coefficients of Deficiency One

math.NT

A binomial coefficient $\binom{n}{k}$ is good if all its prime divisors exceed $k$, and its deficiency is the number of $k$-smooth integers in $(n-k,n]$. A short constructive proof of the existence of infinitely many good binomial coefficients with deficiency exactly one is given, which provides an answer to a problem of Erd\H{o}s, Lacampagne, and Selfridge.

Carmichael numbers of the form $2^n p^m+1$ with odd exponent $m$: refinements of a theorem of Florian Luca, a general independence lemma, and a computational study

math.NT

Florian Luca devoted the last paper of his life to the set $\mathcal K$ of odd positive integers $k$ such that $2^n k+1$ is a Carmichael number for some positive integer $n$. He proved that if $m\ge 5$ is fixed and odd, then there are only finitely many primes $p$ with $p^m\in\mathcal K$. In this note, written as a small tribute to his memory, we extend his result in three directions, using only his published work as our reference base. First, we extract from his arguments explicit quantitative bounds: every Carmichael number $N=2^n p^m+1$ with $m$ odd satisfies $n<2^{2\cdot10^7(m+1)^2m^2(\log p)^2}$, and if $p>m$ the much sharper bound $n<25m^4\log p$ holds; for $p>500m^5\log m$ we further record the uniform bounds $\omega(N)\le 26m^7$ on the number of prime factors. As an application, the number of such Carmichael numbers up to $x$ is $O_m(x^{1/m})$. Second, we generalize the multiplicative independence step of Luca's proof from base $2$ to an arbitrary even base $b$: if $b$ is even, $m\ge3$ is odd and coprime to $b$, $p>m$ is prime and $N=b^n p^m+1$ is Carmichael, then $b^n p^m$ and $b^a p^\beta$ are multiplicatively independent whenever $b^a p^\beta+1$ is a prime factor of $N$. Third, we report an exhaustive computation showing that the only Carmichael number $2^n p^m+1\le 10^{18}$ with odd $3\le m\le 37$ is $1729=2^6\cdot 3^3+1$, that no such number exists with odd $5\le m\le 37$ (extended to $10^{21}$ for $5\le m\le 15$), and that the only example with even $4\le m\le 36$ is $46657=2^6\cdot 3^6+1=13\cdot 37\cdot 97$, where $3^6=27^2$ is the square of the smallest element of $\mathcal K$.

An Integral Representation of the Generalized Fibonacci Numbers

math.NT

math.CV

In this note, we present an integral representation of the $k$-generalized Fibonacci sequence and provide a proof using contour integration. This representation enables the derivation of several known identities and a Binet-type formula related to the $k$-generalized Fibonacci sequence.

Brauer-Kuroda relations for ramified graph covers

math.NT

math.CO

We establish graph-theoretic analogues of the Brauer-Kuroda relations for ramified Galois covers of finite graphs with arbitrary finite Galois groups. These formulas relate the numbers of spanning trees of intermediate quotient graphs and recover the corresponding formulas for unramified covers. Our proofs use $h$-functions defined on multiplicity spaces of complex representations of the Galois group.

The Sphere Packing Problem in Dimension 4 and the Twenty-Four-Cell Conjecture

math.NT

Every Voronoi cell of a unit-ball packing of $\mathbb{R}^4$ has volume at least $8$, and only the $D_4$ configuration attains it, so the twenty-four-cell conjecture holds and with it the density bound $\Delta_4=\pi^2/16$. Every contact count is settled here except twenty-four, where the argument rests on the classification of twenty-four-point codes of minimal angle $60^\circ$ of de Laat, Leijenhorst and de Muinck Keizer. Their certificate is re-verified here from the published data in exact arithmetic, all seven steps of it, so no part of their computation is taken on trust.

Moulds, Bimoulds, and some Lie algebras

math.NT

math.CO

math.QA

The Lie algebra of multiple zeta values is realized as the space $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ of alternal moulds whose swap is alternil up to a constant mould, equipped with the $ari$ bracket. In this paper, we study the larger space $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$ of alternil, swap-invariant bimoulds, which is conjecturally the Lie algebra for multiple $q$-zeta values. We propose an explicit formula for a Lie bracket $uri$ on this space. Moreover, we prove that the Lie algebra $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ embeds into $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, with the $ari$ bracket translating directly into the $uri$ bracket. Finally, we examine the associated-depth graded of $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, extending the known depth-graded setup for $\operatorname{ARI}_{\underline{al}\ast \underline{il}}^{\operatorname{pol}}$.

A density version for the sum of nine cubes of primes

math.NT

Let $\mathbb{P}$ be the set of primes. Suppose that $P_{i}$, $i=1,2,\ldots,9$ are nine subsets of $\mathbb{P}$ with relative lower density $\underline{d}_{\mathbb{P}}(P_{i})=\mu_{i}$. When $\sum_{i=1}^{9} \mu_{i}^{3}>8$, we prove that every sufficiently large odd integer can be written as $n=\sum_{i=1}^{9} p_{i}^{3}$ with $p_{i} \in P_{i}$, $i=1,2,\ldots,9$.

On the Euler transform and the floor function

math.NT

math.CO

Let $(a_n)_{n\geq 0}$ be a sequence of numbers. We derive an expression for the Euler transform of a general binomial sum involving $a_n$ and weighted by the floor function. To demonstrate the usefulness of our approach, several examples are discussed. We rediscover some known identities and prove several new. In particular, we derive some new identities for weighted binomial sums involving harmonic numbers and central binomial coefficients. We also present new closed-forms for weighted series involving the Riemann zeta function.

Distinct exponents in the prime factorization

math.NT

Following Erd\H{o}s (1982) and Sanna (2019), we study the arithmetic function $h(n)$, which is defined to be the number of distinct exponents in the prime factorization of a positive integer $n$. Among other things, we show that $$ \sum_{n\leq x}h(\phi(n)) \asymp x\left(\frac{\log\log x}{\log\log\log x}\right)^{1/2}, $$ where $\phi$ is the Euler totient function. The key ingredient is the Poisson random model for $\omega(n,T)$, the number of the prime divisors of $n$ in a given subset of primes $T$, which was introduced in a recent work of Ford.

Irreducible polynomials with restricted digits in base $b(T)$

math.NT

We study monic irreducible polynomials over $\mathbb{F}_q[T]$ whose non-leading digits, with respect to an arbitrary polynomial base $b(T)$, avoid a prescribed set of forbidden digits. Identifying the digit set with the ring $D=\mathbb{F}_q[T]/(b)$, we obtain an asymptotic formula for the number of such irreducible polynomials under conditions given in terms of Fourier parameters of the allowed digit set. The main term contains a singular series measuring the relative density of units among the allowed digits, while the error term is controlled by both pointwise and averaged Fourier estimates. As a consequence, we obtain a general criterion depending only on the cardinality of the forbidden set, as well as stronger results for structured restrictions, including examples in which the forbidden set contains a positive proportion of all digits. In particular, we treat additive cosets, restrictions compatible with the Chinese remainder decomposition of $D$, and coefficient-wise restrictions. The proof adapts the function field circle method for restricted coefficients to arbitrary polynomial bases.

On the generation of multiplicative groups by small primes

math.NT

cs.DS

math.GR

Motivated by a question of Regev arising from his improved quantum factoring algorithm, we study how many small primes are needed to generate the group $({\mathbb Z}/q{\mathbb Z})^\times$ when each prime may be used with exponent only $0$ or $1$. We prove that, for every fixed $\varepsilon>0$ and $A>0$, there is an absolute constant $C_*$ and a set of at most $(\log Q)^{1+\varepsilon}$ primes, all at most $(\log Q)^{C_*(A+1)}$, such that for all but $O(Q(\log Q)^{-A})$ (with the implied constant depending only on $\varepsilon$ and $A$) integers $q\leq Q$, every element of $({\mathbb Z}/q{\mathbb Z})^\times$ is a product of a subset of these primes modulo $q$. The exponent $1+\varepsilon$ in the number of primes is best possible up to the arbitrary $\varepsilon$ in the exponent.

The density of sums of distinct divisors

math.NT

For a positive integer $t$, let $d_t$ denote the natural density of the set of $n$ for which $t$ is a sum of distinct divisors of $n$. Erd\H{o}s proved that $d_t$ exists, gave an unspecified polylogarithmic upper bound, asserted without proof a matching lower bound, and asked whether $d_t \sim c_3/(\log t)^{c_4}$. We record the explicit bounds \[ \nu_t \le d_t \ll \frac{(\log\log t)^{\delta-3/2}}{(\log t)^{\delta}}, \qquad \nu_t = \frac{K}{\log t}\Bigl(1 + O\Bigl(\frac{\log\log t}{\log t}\Bigr)\Bigr), \] where $\delta = 0.086071\ldots$ is the Erd\H{o}s--Ford--Tenenbaum constant, $K=c\,e^{-\gamma}$, and $c=1.33607\ldots$ is the practical-number constant. Consequently, if Erd\H{o}s's asymptotic holds, then $\delta

Density of large holes among power-free lattice points

math.NT

math.CO

For fixed integers $d,r\ge1$ with $dr\ge2$, the $r$-free points of $\mathbb{Z}^d$ are the vectors whose coordinate gcd is not divisible by the $r$th power of any prime. We consider the set $W_{d,r}$ of non-$r$-free points in $\mathbb{Z}^d$ as the vertex set of a graph with nearest-neighbour adjacency. For $1\le q\le\infty$, we say that a point $t\in\mathbb Z^d$ is $R$-deep if $t+\{n\in\mathbb Z^d:\|n\|_q\le R\}\subseteq W_{d,r}$. Thus $R$-deep points are the lattice centres of closed $\ell_q$-balls whose lattice points are all non-$r$-free. We call a connected component $R$-large if it contains an $R$-deep point. We mark each finite $R$-large component by selecting its lexicographically least $R$-deep point as its representative. Uniformly for $1\le q\le\infty$, we show that the density of $R$-deep points and the density of these representatives both equal $$ \exp\!\left\{ -\frac{v_{d,q}}{\zeta(dr)} \left(d(dr-1)R^d\log R+drR^d\log\log R\right) +O_{d,r}(R^d) \right\} $$ as $R\to\infty$, where $v_{d,q}$ denotes the volume of the unit ball in $(\mathbb R^d,\|\cdot\|_q)$. For deep points, this sharpens the positive-density hole constructions of Baake, Moody, and Pleasants and of Pleasants and Huck, and the latter authors' upper bounds for sparse-pattern frequencies. When $d=1$, we show that the density of $r$-free integers followed by exactly $g-1$ non-$r$-free integers and then another $r$-free integer is $$\exp\!\left\{-\frac{r-1}{\zeta(r)}g\log g -\frac{r}{\zeta(r)}g\log\log g+O_r(g)\right\}$$ as $g\to\infty$, improving the asymptotic $\exp\left\{-\left(\frac{r-1}{\zeta(r)}+o(1)\right) g\log g\right\}$ which follows from Grimmett's work. % For fixed $r$, we also obtain estimates uniform in growing dimensions $d=O_r((\log R)^r)$.

A surprising generalization of the M\"{o}bius function

math.NT

We introduce a broad generalization of a recursive formula for the M\"{o}bius function $\mu(n) = 1-n-\sum_{d=2}^{n-1}\mu(d)\left[\frac{n}{d}\right]$ due to George Spencer-Brown. By replacing the greatest integer function $\left[\frac{n}{d}\right]$ in this classical recurrence with an arbitrary arithmetic function $f\left(\left[\frac{n}{d}\right]\right)$ with $f(1)=1$, we define a new generalized family of functions, denoted $\star(n)$. We prove that $\star(p) = -1$ if and only if $p$ is prime. This result yields a surprising algebraic characterization of primes and reveals a deep structural property underlying divisor sums and the greatest integer function.

S-integrality for families of ordinary K3 surfaces and algebraicity theorems

math.NT

math.AG

We prove an $S$-integrality theorem for special divisors on GSpin Shimura varieties in positive characteristic. Let $C$ be a generically ordinary curve in such a Shimura variety not contained in any special divisor. Then, for any increasing sequence of prime-to-$p$ positive integers $m_i$ and any finite set of closed points $S\subset C$, we prove that $C\setminus S$ meets the special divisor $Z(m_i)$ for all but finitely many $i$. The key new input is an algebraicity theorem for formal special endomorphisms which allows us to use techniques from Diophantine approximation. We prove this algebraicity theorem using a punctual monodromy theorem and a positive-characteristic analogue of the Mumford--Tate conjecture.

On the positivity of truncated pentagonal number series and some conjectures of Merca

math.NT

math.CO

Let $\nu_2(m)$ denote the $2$-adic valuation of a positive integer $m$ and set $N_m=m\bigl(1+\nu_2(m)/2\bigr)$. We prove four conjectures of Merca on the nonnegativity of truncated pentagonal number series weighted by the infinite products $\prod_{m\ge 1}(1-q^{2N_m})$ and $\prod_{r\ge 1}\bigl(q^{2^r r};q^{2^{r+1}r}\bigr)_\infty$. Our method is to regard the exponent map $m\mapsto m(\nu_2(m)+2)$ as a dynamical system on the positive integers: the factors of the associated quotient link into chains along its forward orbits, and the three orbits seeded at $1$, $4$ and $5$ are pairwise disjoint and telescope to exactly $1/\bigl((1-q)(1-q^4)(1-q^5)\bigr)$. The exponent triple $(1,4,5)$ is admissible in the sense of earlier work by Liu, which yields the desired factorization into two series with nonnegative coefficients. This orbit telescoping technique appears to be a mechanism complementary to the P\'olya--Szeg\H o criterion that underlies most existing positivity results of this kind in the literature.

Irrationality Exponents and Partial Quotient Growth in Continued Fractions

math.NT

Let $[a_1(x),a_2(x),\ldots,a_n(x),\ldots]$ be the continued fraction expansion of irrational $x\in[0,1)$, and let $q_n(x)$ be the denominator of the $n$-th convergent. In this paper, we study how the growth rate of $a_{n+1}(x)$ on a prescribed logarithmic size interacts with its upper growth rate relative to $q_n(x)$. For $\psi:\mathbb N\to\mathbb{R}_{\ge0}$ satisfying $\psi(n)\to \infty$ and $\alpha, \beta\in [0, \infty]$, define the joint level set \[F_{\alpha,\beta}:=\Big\{x\in [0,1)\colon \liminf_{n\to\infty}\frac{\log (a_{n+1}(x))}{\psi(n)}=\alpha,\ \limsup_{n\to\infty}\frac{\log (a_{n+1}(x))}{\log q_n(x)}=\beta\Big\}. \] We determine the Hausdorff dimension of $F_{\alpha,\beta}$ for all values of $ \alpha$ and $\beta$. Our results is related to several earlier results on the metric theory of continued fractions, including those of Bugeaud [Math. Ann. {327} (2003)] on irrationality exponents, Wang--Wu [Adv. Math. {218} (2008)] on the growth of partial quotients, and Song--Tan--Zhang [Nonlinearity {37} (2024)] on the joint distribution of convergence and irrationality exponents.

Abelian $p$-extensions with restricted $p$-ramification and the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q} (\sqrt{q})$

math.NT

We develop Hachimori's study on the unramified Iwasawa modules using extensions with restricted $p$-ramification. Let $K$ be an algebraic number field, and $p$ a prime number which splits into two distinct primes $\mathfrak{p}$, $\mathfrak{p}'$ in $K$. Assume that $K$ and $p$ satisfies several (somewhat strict) conditions. Let $K_\infty /K$ be the cyclotomic $\mathbb{Z}_p$-extension. In the present paper, we give a method to study the structure of the unramified Iwasawa module $X (K_\infty)$ by using abelian $p$-extensions unramified outside $\mathfrak{p}$. We give a sufficient condition for $|X (K_\infty)|$ to be finite in terms of such extensions. We also give a similar criterion for $X (K_\infty)$ to be finitely generated over $\mathbb{Z}_p$. In the latter part of the present paper, we consider the case where $k = \mathbb{Q} (\sqrt{q})$ with an odd prime number $q$ and apply our results to the cyclotomic $\mathbb{Z}_2$-extension $k_\infty /k$. We give a necessary and sufficient condition for $X (k_\infty)$ to be cyclic over $\mathbb{Z}_2$, which is different from the former results given by either Mouhib-Movahhedi or Mizusawa-Mouhib. We also give several sufficient conditions for the validity of Greenberg's conjecture.

The large sieve through Parseval, Large sifted sets are regular

math.NT

We modify the approach to the arithmetical form of the large sieve by relying on the Parseval identity rather than on an approximate Bessel inequality and as a consequence, we prove that sifted sets are either small or the attached Fourier polynomial is very regular at the origin. We also discuss the optimality of this approach and shall show in passing that $N\int_{-\delta}^\delta|S(\beta)|^2d\beta\ge(1-2/\sqrt{\delta N})|S(0)|^2$ for any trigonometric polynomial of length~$N$.

The weighted large sieve through Parseval

math.NT

We modify the approach to the arithmetical form of the large sieve by relying on the Parseval identity rather than on an approximate Bessel inequality and as a consequence, improve on the weighted large sieve inequality. We compute in passing the $L^2$-norm of the Beurling-Selberg majorant of the characteristic function of an interval.

Large values of the Hurwitz zeta function with rational parameter

math.NT

In this paper, we establish lower bounds for large values of the Hurwitz zeta function with rational parameter when the real part $\sigma \in [1/2,1]$. These results improve the earlier results of Ramachandra and Sankaranarayanan in 1989. On the critical line, our result recovers the corresponding lower bound of de la Bret\`eche and Tenenbaum (2019) for the Riemann zeta function, while for $1/2< \sigma \leq 1$, our lower bounds attain the same order as the corresponding lower bounds for large values of the Riemann zeta function. Our proofs are based on the resonance method.

Equal subset sums and close divisors

math.NT

math.CO

For $k\geq2$, let $\alpha_k$ be the supremum of the exponents $a$ for which almost every integer $n$ has $k$ distinct divisors in a multiplicative interval of relative length $(\log n)^{-a}$. Select each positive integer $i$ independently with probability $1/i$, forming a random set $\mathbf A$, and let $\beta_k$ be the supremum of the $c<1$ for which, with probability tending to one as $D\to\infty$, the set $\mathbf A\cap[D^c,D]$ has $k$ distinct subsets with the same sum. We prove that $\alpha_k=\beta_k/(1-\beta_k)$, resolving a conjecture of Ford, Green and Koukoulopoulos [Invent. Math. 232 (2023), 1027--1160]. We also prove that their weak and strict entropy thresholds coincide. The proof combines flag refinement and entropy concavity with an upper bound for approximate subset sums that is uniform in arbitrary translations. A model with independent geometric prime exponents then transfers this bound to divisors.

Boyd's conductor-11 Mahler measure conjecture: proof of the split-integral identity (C3), with an exact structural analysis of the family S_k

math.NT

Boyd's 1998 tables of conjectural identities $m(P)=r\,|L'(E,0)|$ between Mahler measures of two-variable polynomials and $L$-values of elliptic curves begin with the smallest possible conductor, $N=11$. The third conductor-$11$ identity, (C3), concerns the polynomial $S_0=y^2+(x^2+1)y+x^3$, which vanishes on the unit torus, and asserts that a signed split integral $I_{\mathrm{split}}$ of $\log|y|$ around the branch cut equals $b_{11}=L'(E_{11},0)$. We prove (C3). The proof identifies the split integral with a regulator integral along Samart's signed open chain $\tilde\gamma$, closed by a small-branch arc $\beta_0$ into a closed anti-invariant cycle $C'$, and proves its homology class is $2\gamma^-$ with $\gamma^-$ generating $H_1(E,\mathbb{Z})^-$: the period ratio is a-priori integral, and ball arithmetic (Arb) pins it to $2$. A direct regulator computation via Brunault's proved Siegel-unit formula---the symbol $\{x,y\}$ being a pair of modular units on $X_1(11)$, so Bloch's diamond theorem is not needed---then yields $I_{\mathrm{split}}=b_{11}$; the sign is certified in interval arithmetic, and the identity agrees with the numerical value to $366$ digits. For the family $S_k=y^2+(x^2+kx+1)y+x^3$ we determine exactly the torus intersections and the modular-unit/tempered cases; further Boyd-type evaluations are recorded as conjectures. At $k=-1$ (conductor $53$) the mechanism provably fails; an appendix treats Samart's conductor-$17$ analogue conditionally. All computations are reproducible from the accompanying code; every certification step is carried out within interval arithmetic.

A certified continuation machine for Mahler measure identities at CM points, with twelve new proofs of conjectures of Samart

math.NT

We axiomatize the differential-comparison continuation method of [Zf] into a general machine for proving Mahler measure identities at CM points: a modular parametrization with rigorous tail bounds, a single-valued holomorphic Mahler differential on the complement of the critical image, a propagation lemma replacing all monodromy and universal-cover arguments, interval-arithmetic path certification, and an exact three-track CM evaluation. Applied to Samart's family $n_4(s)=4\mathrm m(x^4+y^4+z^4+1+s^{1/4}xyz)$, the machine proves twelve further entries of his 2015 table [Sa15, Table 6], including the first identities in this family proved at non-degenerate CM points of class number two (attached to $\mathbb Q(\sqrt{-6})$ and $\mathbb Q(\sqrt{-15})$) and of class number four (attached to $\mathbb Q(\sqrt{-21})$, with four newforms and the genus group $(\mathbb Z/2)^2$). New ingredients include exact twist levels via grossencharacter conductors (Hecke's theorem), with the interval-locked Fricke ratio as an exact root-number sign lock; a twist-level trap ($g_{16}\otimes\chi_8$ has level $64$, not $32$); a genus-character decomposition of the lattice sums in class number two; and the discovery that Samart's applicability boundary $\{\mathrm{Im}\,\tau=1/\sqrt2\}$ is not the topological boundary of the continuation region. Every identity is certified by an exact algebraic track, rigorous final-identity interval locks (half-widths $4.6\times10^{-53}$ to $5.1\times10^{-52}$), and independent 50--60-digit cross-checks; all scripts are public. The evaluation track also yields six new identities at Heegner points ($D=11,19,27,43,67,163$), stated as conjectures with 60-digit evidence; we close with an umbrella conjecture organizing the proved and conjectured identities, and a precise analysis of the five remaining open entries.

Peels of Equilateral Triangulated Surfaces

math.NT

This paper studies the modularity problem for elliptic curves from the elementary geometry of peels of decorated equilateral triangulations. A peel is a finite developing domain together with the boundary identifications that reconstruct the triangulated surface. In genus one it recovers the universal cover and its rank-two deck lattice. For a fixed prime $\ell$, the finite unramified coverings $[\ell^n]:E\to E$ form a compatible tower whose deck groups are $E[\ell^n]$; their inverse limit is the Tate module $T_\ell(E)$, and over $\Q$ the compatible Galois action gives the usual $\ell$-adic representation. Cyclic isogenies, by contrast, give the index-$q$ lattice neighbors that form the local model for Hecke and Brandt correspondences. For a semistable elliptic curve $E/\Q$ of prime conductor $p$, the missing reciprocity is the construction, without using modularity, of a nonzero class $c_E$ in the degree-zero supersingular Brandt module such that $B_qc_E=a_q(E)c_E$ at every good prime. I make this obstruction explicit and study oriented CM packets attached to the Frobenius discriminants $D_q=a_q(E)^2-4q$. New elementary results show that $D_q$ is a nonsquare modulo $p$ exactly when the residual Frobenius polynomial is irreducible, that any residual image containing such an element gives a positive-density set of primes for which $p$ is inert in the quadratic field determined by $D_q$, and that the corresponding discriminants are necessarily unbounded.

On two families of period integrals related to Catalan's constant

math.NT

The construction of a mixed motive associated with Catalan's constant $G=\sum_{n=0}^\infty (-1)^n/(2n+1)^2$ in [arXiv:2510.20648] led to a supply of period integrals that evaluate to linear forms in 1 and $G$. Inside this supply, the boundary of the integration domain leads to a natural 3-parameter family of period integrals. We show that this family is closely related to the family of hypergeometric period integrals considered earlier by Rivoal, Zudilin and Nesterenko.

Improved rational approximations to Catalan's constant

math.NT

The works of Rivoal, Zudilin, and Krattenthaler and Nesterenko give an explicit sequence $p_n/q_n$ ($p_n,q_n\in \mathbb{Z}, q_n>0$) of rational approximations to Catalan's constant $G=1-1/3^2+1/5^2-1/7^2+1/9^2-\cdots$ satisfying $\vert G-p_n/q_n\vert \leq 1/q_n^{0.52}$ for sufficiently large $n$. We build on their works to give an explicit sequence $p_n/q_n$ ($p_n,q_n\in \mathbb{Z}, q_n>0$) with $\vert G-p_n/q_n\vert \leq 1/{q}_n^{0.62}$ for sufficiently large $n$.

Cokernels of random $p$-adic orthogonal matrices and their linearizations

math.NT

We study the linearization of the random $p$-adic orthogonal matrix model. Let $A_n$ and $B_n$ be Haar-random $n\times n$ special orthogonal and alternating matrices over $\mathbb{Z}_p$, respectively. For an odd prime $p$, we prove that $\mathrm{cok}(A_n-I_n)$ and $\mathrm{cok}(B_n)$ have the same limiting distribution as $n \to \infty$ through integers of the same parity. The two parity-dependent limits are interchanged for orthogonal matrices of determinant $-1$, while the full orthogonal group gives their equal mixture. For $p=2$, linearization does not preserve the limiting cokernel distribution, and we explicitly determine the limiting distributions for the special orthogonal model in terms of the spinor norm, which controls the parity of the $2$-adic valuation of the order of the torsion subgroup.

Iterated integrals for generalized Appell functions

math.NT

Appell functions are a large class of multi-variable quasi-elliptic functions, which are also instances of higher depth mock modular forms. A central aspect of these functions is their non-holomorphic modular completion. Our previous work developed Appell functions for a general positive definite lattice $\Lambda$, and expressed the non-holomorphic completion in terms of the generalized error functions $M_P$, which are integrals over a $P$-dimensional hyperplane in $\Lambda\otimes \mathbb{C}$. In this sequel, we express $M_P$ as a $P$-dimensional iterated integral of variables $w_j\in \mathbb{H}$, such that the completion of the Appell function takes the form of an iterated Eichler integral of modular forms. We apply this to the case of the root lattice of the $A_N$ Lie algebra, which is of particular interest because of their appearance in partition functions of topological twisted Yang-Mills theories.

A divisibility of automorphic periods for the real quadratic base change of $\mathrm{GL}_3$

math.NT

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation $\pi$ of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel base change to a real quadratic field $E$. As a corollary, we establish a divisibility predicted by the Bloch-Kato conjecture for the adjoint motive of $\pi$ twisted by an even quadratic character. This generalizes earlier works of Tilouine-Urban and Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods for conjugate self-dual cuspidal automorphic representations of $\mathrm{GL}_3(E)$, defined within the middle degree of the cuspidal cohomology instead of the top or bottom degrees. Moreover, we prove an \`a la Hida adjoint $L$-value formula for $\mathrm{GL}_3(E)$ that relates these newly defined middle-degree periods to the usual top and bottom automorphic periods.

Stable base change from unitary groups in three variables and integral relation of automorphic periods

math.NT

Let $E$ be a real quadratic field and let $U_E$ be the quasi-split unitary group in three variables associated with $E$. We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation $\pi_U$ of $U_E$ and the periods of its Rogawski stable base change to $\mathrm{GL}_3(E)$. This generalizes earlier works of Tilouine-Urban and Hida in the case of $\mathrm{GL}_2$. The divisibility we prove involves a new kind of automorphic periods for self-conjugate cuspidal automorphic representations of $\mathrm{GL}_3(E)$, defined within the middle degree of the cuspidal cohomology rather than the top or bottom degrees. Moreover, we prove an \`a la Hida adjoint $L$-value formula for $\mathrm{GL}_3(E)$, relating these newly defined middle-degree periods to the usual top and bottom automorphic periods. Finally, we also prove a similar formula for $U_E$, which is the first instance of such a result for quasi-split unitary groups.

Remarks on the Geometry of Sets in $\mathbb{Z}^d$ with Small Fourier $L^1$ Norm

math.NT

math.CA

We study geometric inverse problems for finite sets $A\subset \mathbb{Z}^d$ whose Fourier $L^1$ norm, or Wiener norm, \begin{align*} \|A\|:=\int_{\mathbb{T}^d}\Big|\sum_{a\in A}e(a\cdot t)\Big|dt \end{align*} is subpolynomial in $|A|$. In particular, we show a variety of geometric phenomena are incompatible with small Fourier $L^1$ norm. Our principal application concerns spherical Freiman models. Suppose $\|A\|=|A|^{o(1)}$ and $D\subseteq A$ is Freiman isomorphic to a set $S$ of lattice points on a sphere; then, $|D|/|A|$ must be polynomially small in $|A|$. Moreover, if $|D|/|A|$ is not too small, almost all of $S$ lies in a small number of spherical caps, and almost all caps have rich additive structure. The proof uses a new mechanism for studying additive structure across subsets of $A$, along with decoupling results of Bourgain-Demeter.

The existence and uniqueness of magic-faced hypercubes, and applications to Khajuraho most-perfect magic squares, cubes, and hypercubes

math.NT

math.CO

math.GR

A $\textit{magic-lined hypercube}$ (or, simply, $\textit{magic hypercube}$) of order $k$ and dimension $n$ is an arrangement of the numbers $1,\dots,k^n$ in a $k\times\cdots\times k$ ($n$-fold) grid such that every line of $k$ numbers parallel to a coordinate axis has the same magic sum. While such hypercubes exist for every order $k\ge 3$ and every dimension $n$, no magic-lined hypercube of order $2$ exists in any dimension $n\ge 2$. For hypercubes of order $2$, we thus relax the magic condition from lines to two-dimensional faces or planes. We call an arrangement of the numbers $1,\dots,2^n$ in a $2\times\cdots\times2$ ($n$-fold) grid \emph{magic-faced} if every $2\times2$ face has the same magic sum. We prove that a magic-faced hypercube of order $2$ exists in every dimension $n\ge0$, and that it is unique up to a certain natural set of transformations of size $2^n(n+1)!$ when $n$ is even and $2^n n\cdot n!$ when $n$ is odd. As an application, we recover and generalize the classical $4\times4$ Khajuraho magic square, answer a question of Coxeter on the group acting on the $384$ ``most-perfect" $4\times4$ magic squares, and extend the picture to higher dimensions. In particular, we prove that, in dimension $n$, these most-perfect objects form a single orbit under a certain natural action of the Weyl group $W(B_{2n})$.

The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials

math.NT

math.PR

The Odlyzko-Poonen conjecture states that a monic polynomial of constant coefficient $1$ and with remaining coefficients chosen independently and uniformly from $\{0,1 \}$ is irreducible over the rational numbers with probability tending to one as the degree tends to infinity. We prove the Odlyzko-Poonen conjecture unconditionally.

Extreme values of central $L$-derivatives and heights of Heegner points

math.NT

Using Soundararajan's resonance method, we obtain extreme values of the central derivatives \[ L^{(r)}(1/2,f\otimes\chi_d), \] where $f$ is a normalized newform and $\chi_d$ ranges over primitive real characters associated with negative fundamental discriminants. The twisted first moment estimate used in the proof may be of independent interest. Applying Gross--Zagier-type formulas, we obtain correspondingly large N\'eron--Tate heights of Heegner points on elliptic curves and large absolute values of Beilinson--Bloch heights of Heegner cycles attached to modular forms.

A finite arithmetic form of Robin's inequality and its equivalence to the Riemann hypothesis

math.NT

Robin's inequality reformulates the Riemann hypothesis as a bound on the sum-of-divisors function $\sigma$. We introduce a finite-truncation version of Robin's inequality determined intrinsically by the arithmetic structure of $n$, \[ \frac{\sigma(n)}{n} < e^\gamma \sum_{j=0}^{\omega(n)} \frac{(\ln\ln\ln n)^j}{j!}, \qquad n>5040, \] where $\omega(n)$ denotes the number of distinct prime factors of $n$, and $\gamma$ is the Euler-Mascheroni constant. The resulting bound is pointwise stronger than Robin's inequality and we prove it unconditionally for integers with $\omega(n)\le 6$, primorials, odd integers and square-free integers. We also prove that this inequality is equivalent to Robin's inequality, and hence to the Riemann hypothesis. Consequently, the Riemann hypothesis is equivalent to the truncated inequality holding for all colossally abundant numbers. We further show that if the inequality fails, its minimal counterexample must be a superabundant number, placing any obstruction within a rigid extremal class of integers.

An irreducible decomposition of the Weil representation restricted to open compact subgroups

math.RT

math.NT

For a $p$-adic field of any residual characteristic, we determine irreducible decompositions of the Weil representation restricted to the maximal open compact subgroups and the Iwahori subgroup by using the Schr\"{o}dinger model. In particular, these decompositions show that the restrictions are multiplicity free.

The unique extremal threemodular lattice of rank 26, the generalized hexagon $(2,8)$, and the tight Cayley-plane $5$-design

math.CO

math.GR

math.NT

We reconstruct the generalized hexagon of order $(2,8)$ from an abstract even rank-$26$ lattice of determinant $3$ and minimum $4$, and conversely reconstruct the lattice from the hexagon. Harmonic theta identities determine the $819$ shortest vectors in a non-zero discriminant class and their association scheme, and show that every non-empty positive-norm shell of the lattice and its dual is a spherical $5$-design. In the converse direction, the rank-$26$ idempotent gives the lattice, with saturation proved by a short dual-coset argument. A positive-definite Niemeier construction proves existence and uniqueness of the lattice and hence of the hexagon. The third moment of a projective $3$-design in the Cayley plane reconstructs the traceless Albert product. This upgrades angle-preserving bijections to elements of $F_4(\mathbb R)$ and proves geometric uniqueness of the tight $819$-point projective $5$-design. Finally, line deletion gives a rootless index-four sublattice of $N(A_1^{24})$ with a Golay trio and an oriented gluing. The gluing data form eight root-sign orbits, on which $L_3(2)\cong L_2(7)$ acts as on $\mathbf P^1(\mathbf{F}_7)$; two explicit Golay permutations prove transitivity. This proves uniqueness and gives the automorphism-group order. The group is identified afterward as ${}^3D_4(2):3$, with a central factor $C_2$ for the full lattice group. The reconstruction and deletion arguments parallel the length-$26$ binary code construction.

Approximating Pi (and other constants) by Radicals in the Footsteps of Rabbi Abraham Ibn Ezra and Guru RSJ Reddy

math.HO

math.NT

Inspired by the polymath Abraham Ibn Ezra (1089-1167) who approximated {\pi} by 20/9 times the square-root of 2, and contemporary scholar, RSJ Reddy, who gave (14-sqrt(2))/4, we point out that both of these approximations are optimal in some sense, and we generate many other ones that are even more optimal, albeit not as nice.

Ergodic Averages over Shrinking Sectors of $\mathbb Z[i]$

math.DS

math.NT

We study ergodic averages over Gaussian integers in shrinking angular sectors, which impose an increasingly restrictive directional relation between the real and imaginary coordinates. In uniquely ergodic systems, averages of continuous functions along $\Omega$ converge to the invariant integral uniformly in the base point and sector location for sectors whose widths shrink subpolynomially in the norm cutoff. For finitely generated multiplicative actions, we prove a quantitative sector--disk comparison in an explicit logarithmic shrinking range, with a power-saving error in $\log N$, uniformly in the base point and sector location. The exponents depend only on the number of distinct prime transformations, and the result requires neither ergodicity nor angular-distribution hypotheses on the sets of primes inducing the individual transformations. Strong unique ergodicity then yields convergence to the invariant integral at each fixed base point. Consequences include asymptotic independence of relative angular position and $T^{\Omega(n)} x$, Gaussian Liouville cancellation, and joint equidistribution modulo integers of prime-factor counts associated with two prime classes having divergent reciprocal-norm sums.

Continuous Optimization for p-adic Models

cs.LG

math.MG

math.NT

math.OC

stat.ML

We present the first method for native, continuous gradient descent for machine learning models with $p$-adic parameters. Existing native optimizers are discrete, mostly combinatorial searches, as the $p$-adic numbers $\mathbb{Q}_p$ are totally disconnected, with standard losses that are flat away from their minima. To enable continuous optimization, we propose working with $\mathbb{Q}_p$ via its Berkovich affine line: a canonical, path-connected expansion of $\mathbb{Q}_p$ that preserves its isometries and uniquely extends its analytic maps. This hull is a metric tree with interpretable points and local derivatives, which we show enables effective optimizers and backpropagation. We formulate gradient descent and show that its approximations efficiently learn linear models with coefficients in $\mathbb{Q}_p$ to do modular arithmetic, an XOR-like task not expressible by linear models in $\mathbb{R}$. We also demonstrate momentum and Adam variants, linear regression, and classification on binary-encoded hierarchies (Quillian semantic networks), addressing open problems posed by Martins (2025). Library at https://github.com/google-deepmind/padic-ml

Zero-Run Spectra of the $(3,2)$ Raney numbers Modulo Primes

math.CO

math.NT

We study the zero-run structure of the $(3,2)$-Raney numbers modulo a prime $p$. For every prime $p$, we determine the left-to-right maxima of the zero-run lengths, the complete zero-run spectrum, and the exact number of nonzero entries in $0\le n

Eisenstein scattering and Plancherel decomposition on cuspidal Bruhat-Tits quotients

math.SP

math.NT

For arithmetic quotients of Bruhat--Tits trees with finitely many cusps, we establish an explicit unitary correspondence between the spherical Eisenstein transform, with the Eisenstein series normalized by their constant terms, and the scattering transform of an associated Jacobi operator with finite core. Tracking the Haar measure, stabilizer weights, height coordinates, and cusp widths yields the Plancherel measure and shows that the absolutely continuous spectrum has multiplicity equal to the number of cusps. From a discrete Green identity we derive a matrix-valued Maass--Selberg formula for the Hermitian matrix $iS(\theta)^*\partial_\theta S(\theta)$, where $S(\theta)$ is the scattering matrix. Its trace is determined by $\det S(\theta)$, while the full matrix retains additional cusp-to-cusp information. After the corresponding change of normalization, the finite Schur complement obtained by eliminating the cusp rays agrees with the resonance matrix of Arends-Peterson-Weich. Using their resonance computations as input, we distinguish eigenvalues supported entirely in the finite core from poles of the scattering matrix. The Nagao and $\Gamma_0(T)$ quotients, together with a four-cusp quotient arising from an elliptic curve over $\mathbb F_3$, make the normalizations and matrix-valued conclusions explicit.

Resultant of an equivariant polynomial system with respect to a direct product of $r$ symmetric groups

math.AC

math.AG

math.CO

math.GR

math.NT

In this paper we study the resultant of systems of homogeneous multivariate polynomials which are equivariant under the action of a direct product of symmetric groups. We first treat, in detail, the case of a product of two symmetric groups, and establish a decomposition formula for the resultant of such systems. We then show that this decomposition, together with the underlying combinatorics, extends to an arbitrary (finite) direct product of $r$ symmetric groups. Thanks to these decomposition formulas, we prove that the discriminant of a multivariate homogeneous polynomial invariant under a direct product of $r$ symmetric groups splits into a product of resultants of smaller size that are easier to compute.

Support-Primitive Decomposition of Constacyclic Codes over Finite Fields: Coefficients-Based and Roots-Based Descriptions

cs.IT

math.IT

math.NT

Let $\mathcal C=(f)$ be a $\lambda$-constacyclic code over $\mathbb F_q$, where $f(X)$ is a monic factor of $X^N-\lambda$ with nonzero constant term. We introduce the support period $\operatorname{sp}(f)$ of $f(X)$, and define its support-primitive core $f_{\mathrm{sp}}(X)$ as the unique support-primitive polynomial satisfying $f(X)=f_{\mathrm{sp}}(X^s)$, where $s=\operatorname{sp}(f)$. We show that this polynomial relation induces a Hamming-weight-preserving linear isomorphism $\mathcal C\cong\mathcal C_{\mathrm{sp}}^{\, s}$, where $\mathcal C_{\mathrm{sp}}$ is the support-primitive core of $\mathcal C$, and prove that this decomposition is intrinsic to the code. We give two equivalent descriptions of the support period: a coefficient-based one and a roots-based one. In the repeated-root case, the latter is determined by the $p$-adic structure and the stabilizer of the defining function, while in the simple-root case it is determined by the coarsest multiple equal-difference representation of the defining set. We then derive coding-theoretic consequences for the Hamming distance, weight enumerator, covering radius, and Euclidean duality. In particular, the arithmetic Singleton bound of a simple-root constacyclic code is identified with the classical Singleton bound of its support-primitive core. Finally, we apply the decomposition to cyclic codes with reducible generator polynomials and obtain bounds for their arithmetic Singleton values.

Asymptotic density of k-almost primes

math.NT

v2

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : \Omega(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$\pi_k(x):=\ \mid\{n\leq x : \omega(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $\pi_k(x)$ becomes very technical [1, Chapter II.6, $\S$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

Central limit theorems for lattice point counting on tessellated domains

math.NT

math.DS

math.PR

v3

Following the approach of Bj$\ddot{\text{o}}$rklund and Gorodnik, we have considered the discrepancy function for lattice point counting on domains that can be nicely tessellated by the action of a diagonal semigroup. We have shown that suitably normalized discrepancy functions for lattice point counting on certain tessellated domains satisfy a non-degenerate central limit theorem. Furthermore, we have also addressed the same problem for affine and congruence lattice point counting, proving analogous non-degenerate central limit theorems for them. The main ingredients of the proofs are the method of cumulants and quantitative multiple mixing estimates.

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

math.NT

v2

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

Integers for Simple Radical Extensions

math.NT

v4

The ring of integers and the discriminant are determined for number fields which are simple radical extensions.

Transcendence Meets Normality: Construction of Transcendentally Normal Numbers

math.NT

math.PR

v4

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.

Adelic Mordell-Lang and the Brauer-Manin obstruction

math.NT

math.AG

v2

Let $X$ be a closed subvariety of an abelian variety $A$ over a global function field $k$ such that the base change of $A$ to an algebraic closure does not have any positive dimensional isotrivial quotient. We prove that every adelic point on $X$ which is the limit of a sequence of $k$-rational points on $A$ is a limit of $k$-rational points on $X$. Assuming finiteness of the Tate-Shafarevich group of $A$, this implies that the rational points on $X$ are dense in the Brauer set of $X$. Similar results are obtained over totally imaginary number fields, conditionally on an adelic Mordell-Lang conjecture.

On Some Generalisations of Gauss Sequences

math.NT

v5

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.

Explicit height bounds on modular polynomials for the elliptic $j$-invariant, cube root of $j$, and Weber modular function $\mathfrak f$

math.NT

v2

We improve an explicit upper bound on the height of the modular polynomial $\Phi_N$ given by Breuer, G\'omez, and Pazuki. We also prove new explicit upper bounds on the height of modular polynomials for the cube root of $j$ and the Weber modular function $\mathfrak f$.

Quantitative linear independence for square roots

math.NT

v2

We consider the problem of finding lower bounds for integer linear combinations of $\sqrt{a_1},\ldots,\sqrt{a_K}$, where $a_1,\ldots,a_K$ are positive integers such that their square roots are linearly independent over the rationals. We use a probabilistic approach and prove that for $K\geq 8$ and nonzero integers $m_1,\ldots,m_K$, $$ \bigg|\sum_{n\leq K} m_n\sqrt{a_n}\bigg| > e^{\frac{2^{K-1}-1}{K} - \frac{1}{2}} \bigg(\max_{n\leq K}|m_n|\sqrt{a_n}\cdot \sqrt{K}\bigg)^{-(2^{K-1}-1)}. $$ This inequality improves the dependence on $K$ in the classical product bound.

An introduction to the algebra of rings and fields

math.RA

math.NT

v2

This is an introduction to rings and fields, written for a quarter-long undergraduate course. It includes the basic properties of ideals, modules, algebras and polynomials, the constructions of ring extensions and finite fields, some number-theoretical applications (such as a proof of quadratic reciprocity and Jacobsthal's formulas for $p = x^2 + y^2$), and tastes of Gr\"obner bases and the Smith normal form. Familiarity with groups and vector spaces is assumed, though no deep results from either theory are used. Over 250 exercises are included (mostly without solutions).

On the Spectral theory of Isogeny Graphs and Quantum Sampling of Secure Supersingular Elliptic curves

quant-ph

math.NT

v3

In this paper, we study the problem of sampling random supersingular elliptic curves with unknown endomorphism rings. This problem has recently gained considerable attention as many isogeny-based cryptographic protocols require such ``secure'' curves for instantation, while existing methods achieve this only in a trusted-setup setting. We present the first provable quantum polynomial-time algorithms for sampling such curves with high probability, one of which is based on an algorithm of Booher et. al. One variant runs heuristically in $\tilde{O}(\log^{4} p)$ quantum gate complexity, and in $\tilde{O}(\log^{13} p)$ under the Generalized Riemann Hypothesis, and outputs a curve that is provably secure assuming average-case hardness of the endomorphism ring problem. Another variant samples uniform $\mathcal{O}$-oriented curves with unknown endomorphism rings, for any imaginary quadratic order $\mathcal O$, with security based on the hardness of Vectorization problem. When accompanied by an interactive quantum computation verification protocol our algorithms provide a secure instantiation of the CGL hash function and related primitives. Our analysis relies on a new spectral delocalization result for supersingular $\ell$-isogeny graphs: we prove the Quantum Unique Ergodicity conjecture and provide numerical evidence for complete eigenvector delocalization. We also prove a stronger $\varepsilon$-separation property for eigenvalues of isogeny graphs than that predicted in the quantum money protocol of Kane, Sharif, and Silverberg, thereby removing a key heuristic assumption in their construction.

Spectral Intertwining Operators

math.RT

math.AG

math.NT

v2

We study spectral intertwining operators between spectral Eisenstein series $\operatorname{Eis}_{P^\vee}$, $\operatorname{Eis}_{Q^\vee}$ for two parabolic subgroups $P, Q$ of a $p$-adic reductive group $G$ with the same Levi subgroup $M$, inspired by the analogy with the classical intertwining operators between parabolic induced representations of $p$-adic reductive groups. In particular, we construct the normalized (canonical) intertwining operator that satisfies the transitivity and an unnormalized intertwining operator that is adjoint to a rational section of an analog of the Bruhat-Mackey's filtration. Moreover, the normalized and unnormalized intertwining operators differ by a ratio of L-functions, analogously to the Langlands conjecture about classical ones up to units. Finally we prove that the spectral intertwining operators correspond to classical ones up to units under any conjectural categorical local Langlands correspondence.

Exact sequences of fundamental group schemes for $G$-torsors

math.AG

math.NT

v2

Let $k$ be a field, $G$ an affine $k$-group scheme, $X$ a connected scheme proper over $k$, $f:(Y,y)\to(X,x)$ a pointed $G$-torsor, $\mathcal{C}_X$ and $\mathcal{C}_Y $ the Tannakian categories of vector bundles on $X$ and $Y$, such that $f^*\mathcal{C}_X\subseteq \mathcal{C}_Y$, we give the necessary and sufficient conditions for the exactness of the natural sequence of $k$-group schemes $1\rightarrow \pi(\mathcal{C}_Y,y) \rightarrow \pi(\mathcal{C}_X,x) \rightarrow G \rightarrow 1.$ This provides a common framework of exact sequences for the $S$-, Nori, $F$-, \'etale fundamental group schemes and their extended variants. Finally, an isogeny of an elliptic curve shows that the relevant preservation property fails for the local, extended local, and unipotent categories.

Introduction to Universal Equations and Characteristic-free Resolution

math.AG

math.NT

v2

Recently, we announced a proof of a characteristic-free resolution of singularities. This is a survey article on the proof. We motivate the approach, describe the new ideas, and introduce the proof in the work.

On the Surjectivity of the Geometric Sen Map of Perfectoid Torsors

math.AG

math.NT

v2

We study surjectivity of the geometric Sen map for perfectoid $G$-torsors over smooth rigid analytic spaces over $\mathbb{C}_p$, where $G$ is a compact $p$-adic Lie group. We construct an affinoid perfectoid $\mathbb{Z}_p^2$-torsor over a smooth curve whose Sen map is not surjective, thereby disproving Rodr\'iguez Camargo's conjectured implication from perfectoidness to surjectivity. We prove that the Sen map of every perfectoid $G$-torsor over a smooth curve is nevertheless surjective on a Zariski open dense subset. Finally, we show that locally analytic decompletion implies Sen surjectivity for diamondian affinoid perfectoid torsors.