https://arxiv.org/api/NkCpxM0TkcRnrmspOUSO1cu85gg 2026-06-18T15:45:57Z 49268 315 15 http://arxiv.org/abs/2606.06068v1 2026-06-04T12:09:49Z

Let $pp (n)$ denote the number of ways to write $n$ as a sum of primes. In this paper, we show that $$ \log pp (n) \sim 2π\sqrt{\frac{n}{3\log n}}\;. $$ While sharper estimates are already known, they rely on highly involved and lengthy proofs. In sharp contrast, our approach uses a short, elementary recipe that easily adapts to yield similar asymptotic estimates for several related, extensively studied problems.

2026-06-04T12:09:49Z Asaf Cohen Antonir Asaf Shapira http://arxiv.org/abs/2606.00983v2 2026-06-04T11:46:39Z

We formulate a program to prove the categorical local Langlands conjecture (CLLC) of Fargues-Scholze, for all quasisplit $p$-adic groups where the Fargues-Scholze $L$-parameters agree with the semisimplification of a known "automorphic" local Langlands parametrization. A key working hypothesis - which we expect to prove elsewhere jointly with Hamann - is the compatibility of the enhanced Whittaker coefficient functor $c_ψ$ with Eisenstein series. For $\mathrm{GL}_n$, we show that this hypothesis alone implies the full CLLC. For more general groups $G$, we prove an induction principle which reduces CLLC for $G$ to CLLC for all proper Levi subgroups together with a very small amount of information about $G$. This principle applies unconditionally to many classical groups with current technology. Along the way, we establish many foundational results. In particular: - We prove a very strong finiteness theorem for spectral constant term functors. - We prove a spectral analogue of Bernstein's finite global dimension theorem for $p$-adic Hecke algebras. - We introduce and develop the theory of admissible ind-coherent sheaves and admissible duality on derived stacks. - We prove a duality theorem for the spectral action. Using all of these results, we unconditionally define a new and explicit functor $t_ψ$ from the spectral side to the automorphic side, which is defined on enough ind-coherent sheaves to control the entire conjecture.

2026-05-31T03:45:52Z 266 pages. v2: fixed a latex bug; other small changes and corrections David Hansen Lucas Mann http://arxiv.org/abs/2409.14933v4 2026-06-04T11:34:06Z

In this paper, we relate $L(1,π,\mathrm{Ad}^\circ)$ to the congruence ideals for cohomological cuspidal automorphic representations $π$ of $\mathrm{GL}_n$ over any number field. We then use this result to deduce relationships between the congruences of automorphic forms and adjoint $L$-functions. For CM and totally real fields, we apply the result to obtain a lower bound on the cardinality of certain Selmer groups in terms of $L(1,π,\mathrm{Ad}^\circ)$.

2024-09-23T11:41:10Z 38 pages. Many corrections and improvements. The major changes are Lemma 4.5, Corollary 4.10, Theorem 4.26 Ho Leung Fong http://arxiv.org/abs/2606.06024v1 2026-06-04T11:15:16Z

In 1983, Henri Cohen and Hendrik Lenstra proposed a conjecture about the distribution of the N-torsion of the class group of a random quadratic field, supported by what was at the time a large amount of computational evidence. The Cohen-Lenstra heuristics, which are still almost entirely unproven, have become one of the central foundational problems in arithmetic statistics. Recent years have seen a rapidly accelerated pace of development in Cohen-Lenstra problems. I will give a tour of these developments, including the work of Wood and her collaborators developing a fully fleshed out roster of generalized Cohen-Lenstra conjectures, with support from topology; Smith's theorems proving the Cohen--Lenstra conjectures for the 2-primary part of the class group, as part of more general theorems about Selmer groups in quadratic twists, leading to a resolution of the minimalist conjecture for elliptic curves; and recent work by Koymans and Pagano in the ell-primary case, expanding on Smith's work and proving Stevenhagen's conjecture on the negative Pell equation.

2026-06-04T11:15:16Z notes for a Seminaire Bourbaki talk #1251, delivered March 2026 Jordan S. Ellenberg http://arxiv.org/abs/2606.06008v1 2026-06-04T10:59:45Z

We construct canonical Steenrod square operations on the Geisser--Schmidt/Milne modified compactly supported étale cohomology of separated finite-type schemes over rings of $S$-integers in which $2$ is invertible. This lets us extend Feng's notion of the absolute étale Wu class from the finite-field setting to arithmetic bases away from $2$. A key technical input is a modified compactly supported relative Wu formula, extending Benoist's relative Wu formula to the arithmetic compact-support setting. Using this, we prove an absolute Wu formula for regular projective flat schemes over either finite fields of odd characteristic or rings of $S$-integers away from $2$: if $f\colon X\to B$ is such a scheme, then the absolute Wu class of $X$ is the product of the relative Wu class $\operatorname{Sq}^{-1}(w_{\mathrm{et}}(τ_f))$ and the pullback of the absolute Wu class of the base. In the $S$-integer case, the base contribution is $1+β_B$, where $β_B$ is the Bockstein, equivalently the Kummer class of $-1$. As an application, we obtain an infinite family of universal mod-$2$ congruences among the Chern classes of regular projective flat schemes over such bases, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series; this is the generalized Hecke theorem. In low dimensions these congruences recover Hecke's theorem on the different away from $2$, Serre's Riemann--Hurwitz theorem for spin bundles, Atiyah's theorem on theta characteristics over finite fields, and the smooth $3$-manifold branched-cover analogue of the Shusterman--Sawin theorem, while yielding new higher-dimensional congruences over both finite and arithmetic bases.

2026-06-04T10:59:45Z 85 pages, comments are welcome Shachar Carmeli Mark Shusterman Sa'ar Zehavi http://arxiv.org/abs/2606.05105v2 2026-06-04T09:51:42Z

We prove that there is a universal constant $c > 0$ such that, along an infinite sequence of dimensions $N$, there are lattice sphere packings in $\mathbb{R}^N$ of density at least $c N^2 \log\log N \, 2^{-N}$, improving the previous best bound due to Klartag by a $\log\log N$ factor. The proof follows Klartag's stochastic ellipsoid evolution process, subject to the cyclotomic symmetries introduced by Venkatesh.

2026-06-03T17:07:07Z Statement of AI use included. The first author is using a pseudonym. Chat log is in the ancillary files as a pdf Elisha B. Abuya Nihar Gargava Yufei Zhao http://arxiv.org/abs/2604.26429v4 2026-06-04T09:30:35Z

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

2026-04-29T08:39:51Z 9 pages. In general, the proof is the same as in the previous version. However, I was needed one more revision to fix some typos and shorten the paper again. Some explanations are clarified more Vyacheslav M. Abramov http://arxiv.org/abs/2606.05820v1 2026-06-04T08:00:07Z

We prove the finiteness of the set of $j$-invariants of Drinfeld modules of rank 2 over $\mathbb{F}_q[T]$ which are CM and $S$-units, for $S$ the infinite set of primes with even degrees. The proof is based on the study of ordinary reduction and supersingular reduction of Drinfeld modules, and on the splitting behaviour of primes dividing the difference of two Drinfeld singular moduli. We also provide an algorithm to compute a polynomial with coefficients in $\mathbb{F}_q[T]$ and roots the $j$-invariants having CM by a given order, and use it to compute some explicit examples, providing for instance counterexamples to a conjecture of Dorman. For a maximal order $\mathcal{O}$, we prove by a universality argument that our algorithm computes the Hilbert modular polynomial $H_\mathcal{O}$.

2026-06-04T08:00:07Z Liam Baker Fabien Pazuki Patricio Perez Pina http://arxiv.org/abs/2606.05771v1 2026-06-04T06:57:11Z

We introduce exotic Kloosterman sums and exotic inverted Kloosterman sums attached to non-commutative finite-dimensional semisimple algebras over a finite field $\mathbf{F}_q$, and prove their reduction formulae to exotic Kloosterman and exotic inverted Kloosterman sums over commutative étale $\mathbf{F}_q$ algebras. We then obtain square-root estimates for these sums; for inverted sums an explicit correction term may appear.

2026-06-04T06:57:11Z 9 pages Daqing Wan Dingxin Zhang http://arxiv.org/abs/2605.08624v3 2026-06-04T03:02:31Z

Let $s(n)$ denote the number of ones in the binary expansion of a natural number $n\in\mathbb{N}$. For any $t\in\mathbb{N}$ and $d\in\mathbb{Z}$, let $μ_t(d)$ denote the asymptotic density of the set of those natural numbers $n$ for which $s(n+t)-s(n)=d$. The $μ_t$ are properly defined probability measures on $\Z$, and the Cusick conjecture states that $μ_t(\mathbb{N})>\frac{1}{2}$ for any $t\in\mathbb{N}$. We investigate the properties of the family $\{μ_t\}_{t\in\N}$ by reindexing the odd integers via a suitable partial order. This construction leads to a nonautonomous dynamics on pairs of probability measures on $\Z$, which represents the process of growing a tree. The associated stopped random walk allows a transparent structural description of those measures, including their support, symmetries, variance, and an asymptotic dichotomy between the central limit theorem and the almost sure convergence. Next, we focus on the median-preserving property of this process, and show that the Cusick conjecture is a special case of a more general claim about the asymmetric evolution of the associated binary trees, which we support numerically.

2026-05-09T02:41:38Z 16 pages, 0 figures Dawid Tarłowski http://arxiv.org/abs/2606.05549v1 2026-06-04T01:01:56Z

Using degenerate Whittaker functions and explicit computations of Eisenstein series, we obtain explicit formulas for the Fourier expansions of theta lifts to the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$, where $n\ge 3$ and $G$ splits at all finite places. The theta lifts in question are Hecke eigen, non-cuspidal, square-integrable automorphic forms of weight $l$ ($l\ge n+2$, even), arising from elliptic newforms for $\SL_2(\Z)$ of weight $l-\frac{n-2}{2}$ when $n$ is even and $2l-n+1$ when $n$ is odd.

2026-06-04T01:01:56Z 44 pages Henry H. Kim Takuya Yamauchi http://arxiv.org/abs/2606.05547v1 2026-06-04T01:00:15Z

We prove an arithmetic analogue of Kashiwara regularity for filtered strongly equivariant Berthelot arithmetic $\mathscr D^\dagger$-modules on formal flag varieties. Let $\mathcal G$ be a split connected reductive group scheme over a complete discrete valuation ring of mixed characteristic, let $\mathfrak X=\widehat{\mathcal G/\mathcal B}$ be the formal flag variety, and let $\mathcal K\subseteq\mathcal G$ be a smooth closed subgroup whose special fiber acts on $X_s$ with finitely many separable orbits. We introduce a filtered strong equivariance condition requiring infinitesimal equivariance to be realized on good finite-level models. This condition allows the principal symbols of the fundamental vector fields to be controlled at the level where Berthelot characteristic varieties are defined. We prove that the characteristic variety of every filtered strongly equivariant coherent $\mathscr D^\dagger_{\mathfrak X,\mathbb Q}$-module is contained in the union of conormal bundles to the $\mathcal K_s$-orbits; hence such modules are holonomic. In the Frobenius range, Caro's stability theorem for $F$-holonomicity over smooth projective formal schemes upgrades this to geometric overholonomicity. As a consequence, simple Frobenius filtered strongly equivariant coherent arithmetic $\mathscr D^\dagger$-modules are classified by pairs $(O,E)$, where $O$ is a $\mathcal K_s$-orbit and $E$ is an irreducible $\mathcal K$-equivariant overconvergent $F$-isocrystal on $(O,\overline O)$ whose intermediate extension satisfies the filtered strong condition. The result is a regularity theorem under a finite-level equivariance hypothesis, rather than an existence theorem for that hypothesis.

2026-06-04T01:00:15Z Andrés Sarrazola-Alzate http://arxiv.org/abs/2606.05340v1 2026-06-03T18:28:57Z

Let $\mathbb{F}_q$ be a finite field of characteristic $p$ and $π\colon Y\to X$ be a finite $\mathbb{F}_q$-morphism of separated $\mathbb{F}_q$-schemes of finite type. Suppose $π$ is generically Galois with group $G$ of prime order $r\neq p$. We determine the mod-$r$ reduction of the zeta function of $Y$ in terms of the zeta function of $X$ and the branch locus $Z\subset X$ of $π$. We give applications to curves and to numerators of hyperelliptic/superelliptic curves.

2026-06-03T18:28:57Z Comments welcome Chris Hall http://arxiv.org/abs/2602.17007v2 2026-06-03T18:25:29Z

We introduce the Parabolic Mellin Transform (PMT), defined by ${P}_σ[f](z)=\int_{-\infty}^{\infty}w^{2z}f(w^2)dt$, where $w=σ+it$ and $σ>0$. Under the substitution $u=w^2$, the vertical line $\operatorname{Re}(w)=σ$ is mapped to the parabolic contour $C_σ$ in the $u$-plane. For the Gaussian kernel, the PMT yields $\int_{-\infty}^{\infty}w^{2z}e^{w^2}dt=π/Γ(\tfrac{1}{2}-z)=\cos(πz)Γ(z+\tfrac{1}{2})$, a parabolic-contour form of the classical Hankel representation for the reciprocal Gamma function. The advantage of this parametrization is that the contour integral becomes a Gaussian-damped vertical-line integral. We develop scaling, differentiation, and Dirichlet-composition identities for the PMT and use them to derive integral representations of the Hurwitz zeta, Riemann zeta, and Dirichlet eta functions. The framework provides a unified transform dictionary for Gamma-type and zeta-type special functions and yields equivalent reformulations of the Riemann hypothesis and the Lindelöf hypothesis in terms of zeros and growth of parabolic-contour integrals.

2026-02-19T02:09:32Z Peter Reinhard Hansen Chen Tong http://arxiv.org/abs/2606.05096v1 2026-06-03T16:59:09Z

We establish Diophantine approximation results for real symmetric matrices by collections of linearly independent integer vectors. For $X \in \mathrm{Sym}_d(\mathbb{R})$, we prove a Dirichlet-type theorem guaranteeing the existence of integral Lagrangian frames $(Q, P) \in \mathrm{Mat}_{d \times 2d}(\mathbb{Z})$ that satisfy $\lVert QX + P \rVert_{\mathrm{op}} \leq c_d/N$ and $\lVert Q \rVert_{\mathrm{op}} \leq N$ for any $N \geq 1$. Furthermore, we establish a Khintchine-type zero-one law, demonstrating that the size of the set of $ψ$-approximable symmetric matrices is determined by the convergence or divergence of the series $\sum_{q \geq 1} q^{ς- 1}ψ(q)^ς$, where $ς= d(d+1)/2$. The proofs rely on the reduction theory of the Siegel upper half-space, dynamical formulation over the space of symplectic lattices, and an analysis of the Siegel transform adapted to count Lagrangian frames instead of single lattice points.

2026-06-03T16:59:09Z 19 pages Minchang Kim