https://arxiv.org/api/xq9adcASiEQKsml5o3TkL3FF2jI 2026-06-26T00:07:14Z 49346 945 15 http://arxiv.org/abs/2605.13666v1 2026-05-13T15:24:36Z

Given a (possibly infinite) subset $A$ of the natural numbers, we ask how many times a fair six-sided die must be rolled until the rolled numbers add up to an element of $A$. Using a one-dimensional dynamic programming recursion together with truncation and rigorous error bounds, we compute the expected number of rolls efficiently and with very high accuracy. When $A$ is the set of prime numbers, the irregular distribution of primes makes it difficult to obtain explicit error estimates. Nevertheless, the density of primes implies that the associated survival probability decays exponentially fast, which enables highly accurate truncation estimates. As a result, our calculations yield significantly sharper estimates for this expectation and its higher moments than the original results of Conroy, Alon, and Malinovsky. In particular, we determine the expectation to more than $1000$ decimal places.

2026-05-13T15:24:36Z 14 pages, 3 figures Christoph Koutschan Tipaluck Krityakierne Thotsaporn Aek Thanatipanonda http://arxiv.org/abs/2605.13628v1 2026-05-13T14:55:15Z

In this note, we show how to adapt Tao's slice rank method to extend the Ellenberg--Gijswijt theorem on cap sets to the problem of forbidding arithmetic progressions with restricted differences. In particular, we show that if $q$ is an odd prime power, there is $\varepsilon_q>0$ such that if $S \subseteq \mathbb{F}_q$ with $0 \in S$ and $|S|>(q+1)/2$ and $A \subseteq \mathbb{F}_q^n$ contains no three-term arithmetic progression whose common difference is in $S^n$, then $|A| \leq q^{(1-\varepsilon_q)n}$.

2026-05-13T14:55:15Z David Conlon Jacob Fox Huy Tuan Pham http://arxiv.org/abs/2409.15056v2 2026-05-13T14:34:53Z

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $μ=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $μ$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.

2024-09-23T14:32:23Z Version 2: 20 pages, accepted for publication in Journal of Number theory Katharina Müller Anwesh Ray http://arxiv.org/abs/2605.13590v1 2026-05-13T14:25:37Z

We study Galois embedding problems arising from the 3-torsion of elliptic curves defined over $\mathbb{Q}$, extending the correspondence to all possible images of mod 3 Galois representations; namely, $\operatorname{GL}_2(\mathbb{F}_3),SD_{16},D_6,D_4$ and $C_2^2$. In the cyclotomic case, we show that solvability of these embedding problems is equivalent to the existence of infinitely many elliptic curves whose 3-division fields provide the corresponding solutions.

2026-05-13T14:25:37Z José-A. Gálvez Joan-C. Lario http://arxiv.org/abs/2605.13454v1 2026-05-13T12:48:56Z

Let $A\subset \mathbb{F}_p$ with density 1/2. We call a set $A$ almost affine invariant under an affine transformation $φ(x)=ax+b$ if \[|A \triangle φ(A)| =o(p).\] We determine that, the threshold value of $K$ such that $A$ is almost affine invariant simultaneously under all $φ(x)$ with $|a|, |b|\le K$ and $a\neq 0$, is $K=o(\log p)$. This solves Ben Green's Open Problem 90.

2026-05-13T12:48:56Z 14 pages. Comments are welcome Jie Ma Quanyu Tang Max Wenqiang Xu http://arxiv.org/abs/2601.22822v2 2026-05-13T12:08:12Z

We study the average number of representations of an integer $n$ as $n = φ(n_{1}) + \dots + φ(n_{j})$, for polynomials $φ\in \mathbb{Z}[n]$ with $\partialφ= k\ge 1$, $\operatorname{lead}(φ) = 1$, $j \ge k$, where $n_{i}$ is a prime power for each $i \in \{1, \dots, j\}$. We extend the results of Languasco and Zaccagnini (2019), for $k=3$ and $j=4$, and of Cantarini, Gambini and Zaccagnini (2020), where they focused on monomials $φ(n) = n^k$, $k\ge 2$ and $j=k, k + 1$.

2026-01-30T10:47:09Z Revised according to the Referee's remarks. Other minor fixes Alessandra Migliaccio Alessandro Zaccagnini http://arxiv.org/abs/2605.13300v1 2026-05-13T10:13:21Z

We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.

2026-05-13T10:13:21Z 22 pages Fabien Cléry Gerard van der Geer http://arxiv.org/abs/2412.20748v4 2026-05-13T07:23:59Z

Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. Classically, for smooth complex proper toric varieties, the quotients by numerical equivalence with rational coefficients can be described geometrically as singular cohomology. They are also expressed in terms of tropical geometry, tropical cohomology, introduced by Itenberg-Katzarkov-Mikhalkin-Zharkov. This paper aims to generalize this to suitable pairs of smooth proper varieties and divisors by introducing a tropical analog of intersection homology.

2024-12-30T06:43:11Z 82 pages. v.2, v.3, v.4:very minor changes Ryota Mikami http://arxiv.org/abs/2604.23096v2 2026-05-13T03:12:48Z

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*} f_p(τ)=f\left(\fracτ{p}\right)\quad(τ\in\mathbb{H}). \end{equation*} Let $j$ be the elliptic modular function. We show that if $p\equiv 1$ or $-1\Mod{N}$ and $f$ is integral over $\mathbb{Z}[j]$, then \begin{equation*} \frac{1}{p}(f_p^p-f)(f_p-f^p) \end{equation*} is also integral over $\mathbb{Z}[j]$. This result generalizes the classical Kronecker congruence relation for $j$.

2026-04-25T01:31:08Z I have received logical comments on the paper and am revising it accordingly, and there may also be a change in authorship Ho Yun Jung Ja Kyung Koo Dong Hwa Shin http://arxiv.org/abs/2512.21640v3 2026-05-13T02:31:09Z

Let $\mathcal{P}$ be a subset of primes and for each prime $p\in \mathcal{P}$, consider a subset $\mathcal{L}_p$ of $\mathbb{Z}/p\mathbb{Z}$. We provide restriction estimates with integers $\leq N$ sifted by $(\mathcal{L}_p)_{\substack{p\leq z\\ p\in \mathcal{P}}}$. This generalizes a result of Green-Tao [3] on the restriction estimates.

2025-12-25T12:02:04Z Tanmoy Bera G. K. Viswanadham http://arxiv.org/abs/2512.08307v3 2026-05-13T00:51:22Z

Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions of the resulting automorphic representations on GL(8) and discuss applications towards Ramanujan bounds for GL(3) and the strong Artin conjecture for certain 3-dimensional Galois representations.

2025-12-09T07:09:51Z Wee Teck Gan http://arxiv.org/abs/2605.12688v1 2026-05-12T19:37:23Z

We discuss the relation between statistics on low-lying zeros of $L$-functions and distribution of the associated central values. More precisely, we deduce explicit conditional lower bounds toward the Keating-Snaith conjecture (on the distribution of central values of families of $L$-functions) from partial results toward the Rudnick-Sarnak density conjecture (on the one-level density for the low-lying zeros of these $L$-functions). We show in fact that the same crucial ingredient occurs in the classical approaches for proving both results, providing the connection. We precisely determine the relation between the type of symmetry of the family, the allowed Fourier support in its distributional statement, and the quality of the lower bounds obtained.

2026-05-12T19:37:23Z 25 pages Didier Lesesvre Ade Irma Suriajaya http://arxiv.org/abs/2306.16251v3 2026-05-12T18:54:02Z

We find bivariate generating functions for the $k=1$ cases of recently conjectured colored partition identities of Capparelli, Meurman, A. Primc, and M. Primc that are slight variants of the generating functions for the sum sides of the Andrews-Gordon and Andrews-Bressoud identities, relating them to recent work of Warnaar. This $k=1$ cases turn out to be equivalent to identities of Jing, Misra, and Savage. Finally, we provide bijections for these identities involving two-rowed cylindric partitions, in the spirit of Corteel.

2023-06-28T14:25:55Z SIGMA 22 (2026), 046, 38 pages Matthew C. Russell 10.3842/SIGMA.2026.046 http://arxiv.org/abs/2505.16529v3 2026-05-12T15:36:22Z

We say that a normalized modular form is of CM type modulo $\ell$ by an imaginary quadratic field $K$ if its Fourier coefficients $a_p$ are congruent to $0$ modulo a prime $\mathcal L\mid \ell$ for every prime $p$ that is inert in $K$. In this paper, we address the following question. Let $f$ be a weight~$2$ cuspidal Hecke eigenform without complex multiplication which is of CM type modulo $\ell$ by an imaginary quadratic field $K$. Does there exist a congruence modulo $\ell$ between $f$ and a genuine CM modular form of weight~$2$? We conjecture that such a congruence always exists. We prove this conjecture for $\ell>2$ and $\ell\neq 3$ when $K=\mathbb{Q}(\sqrt{-3})$. In this setting, we discuss three situations: (i) modular forms attached to abelian surfaces with quaternionic multiplication, (ii) $\mathbb{Q}$-curves completely defined over an imaginary quadratic field, and (iii) elliptic curves over $\mathbb{Q}$ whose $5$-torsion Galois representation has image the maximal cyclic of order $16$ inside $\operatorname{GL}_2({\mathbb F}_5)$. In all these cases, the modular forms under consideration are of CM type modulo suitable primes~$\ell$, and we show that the associated residual Galois representations are monomial with respect to an imaginary quadratic field $K$ (in some instances, more than one such field). Finally, we present numerical evidence that motivated the conjecture and provides further support for its validity beyond the cases treated in this paper.

2025-05-22T11:16:41Z Luís Dieulefait Josep González Joan-C. Lario http://arxiv.org/abs/2605.12268v1 2026-05-12T15:30:24Z

We determine exactly which positive rational numbers occur as squared edge lengths of regular $d$-simplices with vertices in $\mathbb{Q}^n$. The answer exhibits a sharp stabilization phenomenon: once $n-d\geq 3$, every positive rational number occurs, while codimensions $0$, $1$, and $2$ are governed by explicit square-class, norm-group, and Hilbert-symbol conditions. The proof reduces simplex realizability to the Hasse--Minkowski classification of rational quadratic forms.

2026-05-12T15:30:24Z 11 pages, 1 table Scott Duke Kominers