Bailey pairs, Eichler integrals and unified Witten-Reshetikhin-Turaev invariants

2026-05-15T08:50:37Z

In 1999, Lawrence and Zagier expressed the Witten-Reshetikhin-Turaev (WRT) invariant of the Poincaré homology sphere as the limiting value of the Eichler integral of a weight 3/2 modular form. Habiro's construction of the unified WRT invariant subsequently recast this result as an identity for a $q$-hypergeometric series at roots of unity. This motivated Hikami to prove analogous $q$-series identities involving the unified WRT invariants of certain Brieskorn homology spheres. Hikami also made several conjectures of a similar type for $q$-series with no apparent connection to quantum invariants. In this paper we use the Bailey pair machinery and a novel relation between incomplete quadratic Gauss sums with periodic coefficients to construct infinite families of identities between $q$-multisums at roots of unity and limiting values of Eichler integrals of weight 3/2 modular forms. These identities include all of Hikami's results and conjectures as well as a generalization of the result of Lawrence and Zagier.

$p$-adic Linear Regression for Random Sampling with Digitwise Noise

2026-05-15T08:31:29Z

We propose a new probabilistic algorithm of $p$-adic linear regression for random sampling with digitwise noise. This includes a new probabilistic algorithm of modulo $p$ linear regression.

On the number of directions formed by Cartesian products in $\mathbb{F}_{p^2}^2$

2026-05-15T08:23:42Z

We prove a lower bound on the number of directions determined by Cartesian products $A\times A$ in the affine plane over the finite field $\mathbb F_{p^2}$. Our lower bound holds for sets of size $p^{2/3}<|A|

Abstract divisorial spaces and arithmetic intersection numbers

2026-05-15T07:53:57Z

Yuan and Zhang introduced arithmetic intersection numbers for adelic line bundles on quasi-projective varieties over a number field. Burgos and Kramer generalized this approach allowing more singular metrics at archimedean places. We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers to the setting of a proper adelic base curve in the sense of Chen and Moriwaki. We also allow more singular metrics at non-archimedean places using relative mixed energy there as well.

Power monoids and their arithmetic: a survey

2026-05-15T07:44:20Z

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these structures, generically known as power monoids, have attracted increasing attention in recent years, stimulating new perspectives in the study of factorizations in non-cancellative or non-commutative settings. We survey these developments and briefly review some related aspects.

Ordinary local representations and $\Ext$ groups

2026-05-15T07:25:44Z

We can associate an admissible unitary representation $Π(ρ_p)$ of $\GL_2(\Q_p)$ with every local Galois representation $ρ_p$ by the $p$-adic local Langlands correspondence. If $ρ_p$ is ordinary, we prove local and global vanishing results for $\Ext$ functors with respect to these representations.

A new construction of permutation polynomials over $\mathbb{F}_{q^3}$

2026-05-15T07:10:52Z

We determine all permutation polynomials among several families of polynomials over $\mathbb{F}_{q^3}$ for arbitrary prime powers $q$. We obtain some new families of permutation polynomials over $\mathbb{F}_{q^3}$ with simple coefficients for infinitely many characteristics. As a specific consequence, our results resolve the generalization of conjectures of Zhang, Zheng, Wang, Peng, and Li in the even characteristic. Our proofs are conceptually short and involve no complicated computations, in contrast to the proofs of results on permutation polynomials which were published previously. Moreover, we develop a totally new systematic method in this paper for the study of permutation polynomials.

Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Uniqueness

2026-05-15T07:06:55Z

The conjectural theory of local newofmrs for the split $p$-adic group ${\rm SO}_{2n+1}$, proposed by Gross, predicts that the space of local newforms in a generic representation is one-dimensional. In this note, we prove that this space is at most one-dimensional and verify its expected arithmetic properties, conditional on existence. These results play an important role in our proof of the existence part of the newform conjecture.

Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Reduction

2026-05-15T07:00:01Z

We prove that if the space of newforms is non-zero for every irreducible generic supercuspidal representation of ${\rm SO}_{2n+1}$ then it is also non-zero for all irreducible generic representations of ${\rm SO}_{2n+1}$.

On the Face Map of the Admissible Set With Iwahori Level

2026-05-15T06:25:49Z

To each face $\mathcal{F}$ of the coweight polytope $\mathcal{P}_μ$, we associate a subset $\text{Adm}(μ)_{\mathcal{F}}$ of the $μ$-admissible set $\text{Adm}(μ)$, which we refer to as a face of $\text{Adm}(μ)$. This gives rise to a face decomposition of $\text{Adm}(μ)$. As an application, we give a complete description of the fibers of the face map $|Δ|^f$ defined by Pappas-Rapoport and prove that the face map is surjective.

A Weyl-type theorem for Diophantine approximations driven by LCA groups and applications

2026-05-15T03:44:30Z

We investigate actions of locally compact Abelian (LCA) groups on the torus $\mathbb{T}^n$, motivated by their close connection with Diophantine approximation. While Kronecker's theorem yields a classical density result, we prove a stronger equidistribution theorem of Weyl type: every such action admits a decomposition into uniquely ergodic subsystems. The proof of this result is based on a characterization of unique ergodicity for actions of amenable groups on compact metric spaces. As consequences, we establish several foundational results for LCA groups, including the Bohr orthogonality of characters along arbitrary Folner sequences, a Bohr mean formula for almost periodic functions, and a Wiener-type theorem on LCA groups characterizing the discrete part of a Borel probability measure through its Fourier transform.

Metric properties of continued fractions with large prime partial quotients

2026-05-15T02:57:20Z

Let $x \in [0,1)$ with continued fraction expansion $[a_1(x),a_2(x),\dots]$, and let $φ:\mathbb{N}\to\mathbb{R}^+$ be a non-decreasing function. We consider the numbers whose continued fraction expansions contain at least two partial quotients that are simultaneously large and prime, that is \[ E'(φ):=\Big\{x\in[0,1): \exists\, 1\leq k\neq l\leq n, \ a'_{k}(x),\ a'_{l}(x)\geqφ(n) \ \text{for i.m. } n\in\mathbb{N}\Big\}, \] where $a'_i(x)$ denotes $a_i(x)$ if $a_i(x)$ is prime and $0$ otherwise. We establish a zero-one law for the Lebesgue measure of $E'(φ)$ and determine its Hausdorff dimension.

Improved Bounds for 3-Progressions

2026-05-15T00:46:03Z

We prove that if $A\subset \{1,\dots,N\}$ has no nontrivial three-term arithmetic progressions, then $|A|\leq \exp(-c\log(N)^{1/6}\log\log(N)^{-1})N$ for some absolute constant $c>0$. To obtain this bound, we use an iterated variant of the sifting argument of Kelley and Meka, as well as an improved bootstrapping argument for Croot-Sisask almost-periodicity due to Bloom and Sisask.

Explicitly combing hedgehogs over fields of Stufe 4

2026-05-14T22:29:02Z

Let $K[x,y,z]=K[X,Y,Z]/(X^2+Y^2+Z^2-1)$ be the coordinate ring of the algebraic unit sphere over a field $K$. Umberto Zannier showed that there exists a matrix in $\operatorname{SL}_3(K[x,y,z])$ with first row $(x,y,z)$ for $K=\mathbb Q_p$, the field of $p$-adic numbers for an odd prime $p$, or more generally, if $-1$ is a sum of two squares in $K$. The case $K=\mathbb Q_2$ remained open and was subsequently posed and discussed by Zannier with numerous researchers, thereby bringing the problem to broader attention. In 2025, Alexey Ananyevskiy and Marc Levine showed that such a matrix exists if and only if $K$ has Stufe at most $4$, equivalently, if there exist $a,b,c,d\in K$ such that $a^2+b^2+c^2+d^2=-1$. Since $\mathbb Q_2$ has Stufe $4$, this settled Zannier's problem. Their proof is purely existential and does not provide an explicit matrix. In this note, we construct an explicit example in terms of $a,b,c,d$ and describe the computational techniques used to find it.

Counting solutions to the quadratic determinant equation

2026-05-14T21:26:51Z

Given $h, N \in \mathbb{N}$ satisfying $1 \leqslant h \leqslant N^2$, we prove an asymptotic formula for the number of solutions to the equation $x_1 x_2 - x_3 x_4 = h$ with $x_1, \ldots, x_4 \in [-N,N] \cap \mathbb{Z}$. We use a combination of combinatorial and analytic arguments in physical space along with bounds for Kloosterman sums. Our main result concerns the case when $h = N^2 + O(N)$, wherein we obtain square-root cancellation error terms by bypassing Kloosterman sum bounds and exploiting an additional symmetry available in this setting via Ramanujan sums. This confirms a speculation of Dhanda-Haynes-Prasala in a very general form.