https://arxiv.org/api/38TCJR94vz1YBr10iISzkDGlw64 2026-06-18T10:04:21Z 49268 240 15 http://arxiv.org/abs/2606.08733v1 2026-06-07T17:04:22Z

We study degree-$2$ Siegel theta series of extremal even unimodular lattices from the genus-$2$ viewpoint initiated by Ozeki. Using Igusa's structure theorem, we define a depth filtration on genus-$2$ cusp forms, measured by the total degree in $χ_{10}$ and $χ_{12}$, and relate it to the vanishing of low Fourier--Jacobi coefficients forced by extremality. In ranks $48$, $72$, and $96$, this interaction closes exactly and yields a direct genus-$2$ proof that the degree-$2$ theta series is uniquely determined by extremality (conditional on existence in rank $96$). In rank $120$ (again conditional on existence), the same argument leaves a one-dimensional residual line spanned by $χ_{10}^6$: with $χ_{10}$ in the standard integral normalization, any two such degree-$2$ theta series differ by an integer multiple of $χ_{10}^6$.

2026-06-07T17:04:22Z 13 pages Scott Duke Kominers http://arxiv.org/abs/2606.08665v1 2026-06-07T15:14:38Z

We give a short analytic proof of Raposo's signed refinement of Pohst's inequality.

2026-06-07T15:14:38Z 10 pages Scott Duke Kominers http://arxiv.org/abs/2606.08662v1 2026-06-07T15:05:53Z

Motivated by polynomial identity testing with exponentials (Li and Wu, ITCS'26), we study uncertainty principles for the number-theoretic transform (NTT). We show that the NTT satisfies strong sparsity tradeoffs: For every fixed prime $q$ and for all but finitely many primes $p \equiv 1 \pmod q$ every nonzero $f\in \mathbb F_p^{\mathbb Z_q}$ and its number-theoretic transform $\hat f$ satisfy \[ |\mathrm{Supp}(f)| + |\mathrm{Supp}(\hat f)| \ge q+1. \] Thus, a $k$-sparse function has transform support at least $q-k+1$. As our main technical contribution, we prove a probabilistic version of the above uncertainty principle, averaged over primes $p$, in the regime $p=q^{O(1)}$. As an application, we obtain a black-box identity test for $k$-sparse exponential polynomials of degree at most $d$ with vanishing soundness error, for $q$ moderately larger than $k$.

2026-06-07T15:05:53Z Giulio Malavolta Alon Rosen http://arxiv.org/abs/2606.08650v1 2026-06-07T14:32:12Z

We establish new $L^2$ restriction estimates for toral eigenfunctions. These estimates are sharp in certain cases, and thus prove a conjecture of Huang-Zhang for smooth submanifolds of large codimension. In particular, they provide new progress toward a conjecture of Bourgain-Rudnick. The proof combines a slicing and packing method with the approximation of the discrete spherical multiplier by Magyar-Stein-Wainger and Magyar.

2026-06-07T14:32:12Z 26 pages,1 figure Cheng Zhang Zhifei Zhu http://arxiv.org/abs/2606.08640v1 2026-06-07T14:04:42Z

We give some necessary conditions satisfied by special perfect polynomials over $\mathbb{F}_2$.

2026-06-07T14:04:42Z O. Rahavandrainy http://arxiv.org/abs/2501.00400v2 2026-06-07T13:19:43Z

Let $E$ be an elliptic curve, defined over a quartic extension $K$ of $\mathbb{Q}$, with $j(E) \in \mathbb{Q}$. In this paper, we classify the possible group structure of the torsion subgroup $E(K)_{\text{tors}}$.

2024-12-31T11:40:41Z 14 pages, 1 table. Typos were fixed, text presentation was improved and some references were added Lucas Hamada http://arxiv.org/abs/2511.06725v2 2026-06-07T07:31:03Z

We study the structure of the étale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve over the ring of S-integers of a number field in which a rational prime is inverted is anabelian, i.e., its schematic structure is completely determined by its étale fundamental group. Moreover, we obtain a partial result toward the semi-absolute version of Grothendieck's anabelian conjecture in this context.

2025-11-10T05:36:57Z 19 pages, zero pictures Ryoji Shimizu Naganori Yamaguchi http://arxiv.org/abs/2605.25542v2 2026-06-07T07:25:03Z

The greatest integer that does not belong to a numerical semigroup S is called the Frobenius number of S, and finding the Frobenius number is called the Frobenius problem. In this paper, we solve the Frobenius problem for shifted square sequences starting with a multiple of 4.

2026-05-25T07:59:34Z 4 pages Sungjin Hyun Kyunghwan Song http://arxiv.org/abs/2603.14795v3 2026-06-07T05:54:43Z

In this note, we investigate the paratrophic determinants attached to the multiplicative semigroup $\mathbb{Z}/N\mathbb{Z}$. We show that, via discrete Fourier, cosine, and sine transforms, these determinants factor into products of group determinants indexed by $d|N$. This yields explicit formulas for several determinant families, including determinants involving periodic Bernoulli functions and powers of the tangent function. As an application, we also prove a corrected version of a conjecture of Sun Zhi-Wei.

2026-03-16T03:51:29Z Hang Liu http://arxiv.org/abs/2606.00868v2 2026-06-07T01:16:38Z

We study the distribution of indecomposable elements in Euclidean lattices. A positive element in a lattice is called indecomposable if it cannot be represented as a sum of two other positive nonzero elements. The set of all indecomposables in a lattice forms the Hilbert basis for the positive lattice semigroup. We classify lattices that contain only finitely many indecomposables versus those that contain infinitely many. In the two-dimensional case, we prove that every positive element in a lattice can be represented as a positive integer linear combination of at most two indecomposables, which is a certain variation of the discrete Carathéodory's property. In the case of lattices coming from fractional ideals in real quadratic number fields, we obtain an explicit counting estimate for the number of indecomposables with bounded norm, showing logarithmic growth.

2026-05-30T19:47:50Z 15 pages, 4 figures Lenny Fukshansky Filiana Kostopoulou http://arxiv.org/abs/2606.08353v1 2026-06-06T21:56:01Z

We study murmurations in the depth aspect for holomorphic cusp forms of conductor $\ell^{2a}$ and fixed weight, where $\ell$ is an odd prime. For both $\mathrm{GL}_2$ and the definite quaternion algebra ramified at $\{\infty,\ell\}$, we determine the murmuration density as $a\to\infty$ with $\ell$ fixed. The resulting density agrees with the one previously obtained for odd conductor exponents, and hence gives a uniform density for cusp forms of conductor $\ell^n$ as $n\to\infty$. We also consider the case of Maass forms of conductor $\ell^n$. Finally, we compute the murmuration density in conductor $\ell^n$ as $\ell\to\infty$ with $n\geq3$ fixed.

2026-06-06T21:56:01Z 42 pages, 3 figures Leonard Tomczak http://arxiv.org/abs/2606.08325v1 2026-06-06T20:30:50Z

Let $X=\sum_{n\geq1}ξ_n2^{-n} $ be a random number where we model the digits $ξ_n$ as independent Bernoulli random variables with possibly non-identical parameters $p_n=\mathbb{P}(ξ_n=1)$. For any polynomial $P\in\mathbb{R}[X]$ with degree $d\geq2$, we prove almost sure absolute normality of $P(X)$ under the condition $p_n(1-p_n)\geq (\log n)^{Γ(d)} n^{-(d-1)/d}$ for a suitable constant $Γ(d)$ depending only on the degree $d$. Our analysis reveals the sharp power law $n^{-(d-1)/d}$, which is suggested by an elementary heuristics regarding carrier interactions. Our results establish a transition as we further show that the pure critical power law is insufficient, but the precise critical window remains an interesting open problem. As far as we know, this is the first sharp result on digit mixing. We complement our main results by structurally convenient summability criteria, which turns out to be sharp at least for $X^2$, and we formulate a more general conjecture for higher degrees. Our proofs rely on Fourier decay estimates which we obtain by probabilistic argument involving conditioning and non-resonancy estimates combined with a subtle triangularization argument.

2026-06-06T20:30:50Z 34 pages Chokri Manai http://arxiv.org/abs/2410.04189v3 2026-06-06T20:17:08Z

Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec. We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.

2024-10-05T15:08:03Z 59 pages, accepted for publication in Acta Math. v3 corrects an error with a partial summation argument in Section 8.3 and a minor inaccuracy in Section 8.7 Ben Green Mehtaab Sawhney http://arxiv.org/abs/2606.06118v2 2026-06-06T15:13:12Z

In this note, we generalize a 1950 result of P. Erd\H os on upper bounds of $k$-th moment of Romanoff type representation functions. As an application, we give a conditional proof of a recent conjecture of Y.-G. Chen on Romanoff type sumsets under the assumption of the Hardy-Littlewood conjecture.

2026-06-04T13:06:09Z Yuchen Ding Liangxun Li http://arxiv.org/abs/2606.08216v1 2026-06-06T15:10:08Z

For $0\leq k\leq n$, let $u(n,k)$ be the largest divisor of $\binom nk$ whose prime factors are at most $k$. Erdős Problem #684 concerns the special threshold $u(n,k)>n^2$ and asks how early this small-prime part can be forced to become large. We prove the density-one analogue for every fixed power threshold. If $f_c(n)$ is the least $k$ for which $u(n,k)>n^c$, then, for each fixed $c>0$, \[ f_c(n)=\left(\frac{c}{1-γ}+o(1)\right)\log n \] for almost all positive integers $n$. In particular, \[ f_2(n)=\left(\frac{2}{1-γ}+o(1)\right)\log n =(4.730544237\ldots+o(1))\log n \] for the Erdős #684 threshold. This is a normal-order theorem, not a pointwise resolution of the corresponding worst-case problem. The constant $1-γ$ is arithmetic. Kummer's theorem rewrites $\log u(n,k)$ as a sum of carry indicators, and complete-residue averaging gives \[ m(k)=k\sum_{p\leq k}\frac{\log p}{p-1}-\log k!=(1-γ)k+o(k). \] The cancellation in this formula moves the typical crossing from the naive scale $c\log n$ to $c(1-γ)^{-1}\log n$. We prove the required concentration uniformly for every $k\leq A\log X$ on one dyadic interval, after discarding a zero-density exceptional set caused by large powers of small primes dividing one of the nearby integers $n,n-1,\ldots$. We also prove Gaussian fluctuations in the logarithmic range. If $k=k(X)\to\infty$, $k\leq A\log X$, and $n$ is uniform in $[X,2X)\cap\mathbb Z$, then \[ \frac{\log u(n,k)-m(k)}{\sqrt{V(k)}}\Rightarrow \mathcal N(0,1), \qquad V(k)\sim (2-\log(2π))k\log k. \] Higher prime powers are needed for the mean, but after centering their aggregate is $L^2$-negligible on the Gaussian scale; the variance comes only from the prime levels.

2026-06-06T15:10:08Z 19 pages, no figures Eric Li Trinity College, University of Cambridge, United Kingdom