https://arxiv.org/api/ZPEO3BoZ+DY7qXlrdQOPKF8ZiL4 2026-06-21T14:02:27Z 49277 570 15 http://arxiv.org/abs/2410.22507v2 2026-05-26T10:55:12Z

In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it necessarily represents all totally positive integers, i.e., is universal. We use a novel characterization of minimal criterion sets to show that they always exist and are unique, and that they must contain certain explicit elements. We also extend the uniqueness result to the more general setting of representations of a given subset of the integers.

2024-10-29T19:57:10Z 23 pages, to appear in Adv. Math Vitezslav Kala Jakub Krásenský Giuliano Romeo http://arxiv.org/abs/2605.26839v1 2026-05-26T10:54:58Z

We obtain positive lower bounds on the Hausdorff dimension of sets of real numbers given by expressions of the form $\sum_{n=1}^\infty \frac{1}{a_n b_n}$, where $b_n$ satisfies some growth condition and $a_n$ lies in some set, possibly depending on $n$. As a consequence of our results, some of the irrational numbers arising from Erdős' celebrated construction from 1976 are not Liouville numbers.

2026-05-26T10:54:58Z 9 pages, 2 figures Maiken Gravgaard Simon Kristensen Jaroslav Hančl http://arxiv.org/abs/2605.26803v1 2026-05-26T10:17:37Z

Regev and Stephens-Davidowitz conjectured that the Gaussian mass $Θ_Λ(t) = \sum_{x \in Λ} e^{-t\lVert x\rVert^2}$ of any integral lattice $Λ\subset \mathbb{R}^n$ is bounded above by $Θ_{\mathbb{Z}^n}(t)$. For $n\ge 4$, we prove a saturation theorem for the natural scalar Poisson-summation certificates of this conjecture: any such certificate that is sharp at $\mathbb{Z}^n$ must interpolate the Gaussian, and have vanishing Fourier transform, at every nonzero point of integer squared norm. Applied to the lattice $E_8 \oplus \mathbb{Z}^{n-8}$, this rigidity is incompatible with the strict theta-series gap $Θ_{\mathbb{Z}^8}(t) - Θ_{E_8}(t) = θ_2(it/π)^4\,θ_4(it/π)^4 > 0$. Consequently, in dimensions $n \ge 8$, no scalar Poisson certificate can attain the sharp $\mathbb{Z}^n$ Gaussian mass bound. The same argument rules out the corresponding scalar certificate strategy for the stable-lattice formulation of the conjecture, and extends to orbit-constant graded families $Λ\mapsto h_Λ$; near-sharp sequences are similarly excluded under a uniform summability hypothesis.

2026-05-26T10:17:37Z 13 pages Scott Duke Kominers http://arxiv.org/abs/2506.17401v2 2026-05-26T09:53:00Z

In this paper we highlight a few open problems concerning maximal sum-free sets in abelian groups. In addition, for most even order abelian groups $G$ we asymptotically determine the number of maximal distinct sum-free subsets in $G$. Our proof makes use of the container method.

2025-06-20T18:04:34Z 18 pages, 2 figures. Author accepted manuscript, to appear in Integers Nathanaël Hassler Andrew Treglown http://arxiv.org/abs/2605.26771v1 2026-05-26T09:40:30Z

Understanding the asymptotic behavior of the number of Galois orbits of newforms in $S_k(Γ_0(N), Ψ)$ as the weight increases is a central problem motivated by Maeda's conjecture. For trivial nebentypus, prior work of Dieulefait, Pacetti, and Tsaknias established a lower bound for the number of non-CM Galois orbits using local inertial types and Atkin-Lehner signs as invariants. We extend this framework to newforms with non-trivial quadratic nebentypus. On the local side, the quadratic nebentypus imposes strict central character constraints, and we explicitly determine the number of Galois orbits of admissible local inertial types. We then establish the Galois equivariance of Atkin-Li pseudo-eigenvalues, which serves as a second global invariant when taken up to a natural equivalence relation. Using existence results for newforms with prescribed local invariants, we obtain a lower bound for the number of non-CM Galois orbits for sufficiently large weights (with conditions on $N$) by counting compatible pairs of these invariants. Finally, computations in small weights reveal a strict inequality in the quadratic nebentypus setting, indicating that certain local equivalences are not realized globally by Galois conjugation over the coefficient field of the modular form.

2026-05-26T09:40:30Z First draft, comments are welcome Debargha Banerjee Dhrubajyoti Das Srijan Das Tathagata Mandal Sudipa Mondal http://arxiv.org/abs/2605.26033v2 2026-05-26T09:10:23Z

We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{α,M}(x, t)=\left(|M_1x|^α+ |M_2t|^{α/ 2}\right)^{1 / α}$ adapted to the dilation structure, where $α>0$ and $M_1,M_2$ are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all $α>0$. The bounds are sharp when the group center is unidimensional and $α=2$, in certain rational sense. Our study also generalizes and even quantitively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from $2/3$ to ${1}/{3}$ if $α\in(3,4) $ or $α=1$; and the factor $\log ^{2/3} R $ is dropped if $α=4$ (i.e., the Cygan--Korányi norm case) or $α\in(2,3]$. (ii) In dimension $3$, the estimation is upgraded from $O_ε(R^{ 5/2+ε})$ to $O(R^{2}\log^{ 1/2} R)$ for $α=1$, and to $O(R^{{19}/{8}})$ for $α\in (1,2)$; and the factor $\log R$ is removed for $α>4$. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitive improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.

2026-05-25T17:01:32Z 43 pages; comments are welcome Sheng-Chen Mao http://arxiv.org/abs/2506.21941v4 2026-05-26T06:31:34Z

Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $λ$-independence results on the algebraic monodromy groups of compatible systems of $λ$-adic Galois representations of number fields.

2025-06-27T06:30:58Z 31 pages, 8 figures, accepted by International Mathematics Research Notices Chun-Yin Hui Wonwoong Lee http://arxiv.org/abs/2605.26488v1 2026-05-26T02:59:43Z

We revisit congruence zeta functions of smooth projective varieties over finite fields in the framework of Scholze's Berkovich motives. Via this formalism and categorical traces, we construct a new zeta function, and show that it agree with classical one

2026-05-26T02:59:43Z 6 pages Yuto Yamada http://arxiv.org/abs/2605.26482v1 2026-05-26T02:45:19Z

Let $r\in\mathbb{C}$, let $K$ be a finite extension of $\mathbb{Q}$, let $I_K$ be the monoid of integral ideals in the ring of integers $\mathcal{O}_K$ of $K$, and let $χ$ be a Dirichlet character. Then define the twisted ideal divisor function $σ_{r, K, χ} : I_K \rightarrow \mathbb{C}$ by $$σ_{r,K,χ}(I) = \sum_{J \mid I} N(J)^{-r}χ(N(J)),$$ where $N$ denotes the ideal norm. For real $r>1,$ we study the number of connected components $C_{r, K, χ}$ of the closure $\overline{σ_{r,K,χ}(I_K)}$, writing $C_{r,K}$ when $χ$ is the principal character modulo 1. We prove that $C_{r,K,χ}$ is finite when $χ$ is real-valued. When $K = \mathbb{Q}$, we show that for fixed $r > 1,$ every sufficiently large positive integer is realized as $C_{r,\mathbb{Q},χ},$ and if $r$ is sufficiently large, then every positive integer is realized as $χ$ varies. For finite Galois extensions $K$ over $\mathbb{Q}$, we exhibit new exponential lower bounds for $C_{r,K},$ and we prove that for every fixed integer $s \geq 2$, the values $C_{r,K}$ are unbounded as $K$ ranges over degree-$s$ extensions of $\mathbb{Q}$.

2026-05-26T02:45:19Z Sophie Zhu http://arxiv.org/abs/2206.05801v2 2026-05-25T19:07:25Z

We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on algebra. In particular, we will not make use of results from local class field theory or Galois cohomology.

2022-06-12T17:36:05Z 16 pages, 1 figure Jochen Koenigsmann Benedikt Stock http://arxiv.org/abs/2605.04551v2 2026-05-25T19:03:35Z

We introduce the Ceiling Continued Fractions (FCT) framework for constructing three-term Egyptian fraction representations in the Erdős-Straus conjecture. The approach exploits divisor structures of shifted integers p+i rather than congruence-based techniques. We derive a super-polynomial upper bound on the failure probability; its convergence, together with the Borel-Cantelli lemma, provides heuristic evidence that counterexamples, if any exist, form a finite set. Computational tests on 10^9 primes in ranges around 10^17, 10^52, and 10^131, show no counterexamples with very small search depth.

2026-05-06T06:56:14Z 10 pages Andres Ventas http://arxiv.org/abs/2605.26263v1 2026-05-25T18:45:36Z

Let $\mathbb{F}_q$ denote the finite field of order $q$. For $q$ odd, we investigate the planarity over $\mathbb{F}_{q^3}$ of the family $$ f_{E,A,B,C,D}(X) := EX^2+ AX^{q+1}+ BX^{q^2+1}+CX^{2q} +DX^{2q^2}\in \mathbb{F}_{q}[X]. $$ Using results from the theory of q-polynomials, we establish conditions under which these polynomials are planar functions. In particular, we provide characterizations for the planarity property and present new families of planar trinomials, quadrinomials, and pentanomials.

2026-05-25T18:45:36Z João Paulo Guardieiro Adler Marques Luciane Quoos Guilherme Tizziotti http://arxiv.org/abs/2405.06474v2 2026-05-25T17:02:26Z

We derive precise upper bounds for the maximum of the Riemann zeta function on a typical short interval of the critical line. We show that for fixed $θ\in(-1,0]$, large $T$, and $y\geq 2$ satisfying $y=O(\log\log T/\log\log\log T)$, the proportion of points $t\in [T,2T]$ for which \begin{align*} \max_{|h|\leq \log^θT}\big|ζ(&\tfrac{1}{2}+it+ih)\big|>e^{y} \cdot e^{S\sqrt{(\log\log T)|θ|/2}}\frac{(\log T)^{(1+θ)}}{(\log\log T)^{3/4}} \end{align*} is bounded above by a constant times $y\exp({-2y-y^2/((1+θ)\log\log T)})$, where $S=S(t)$ is a quantity whose value distribution is approximately that of a standard Gaussian. Up to a multiplicative constant, this settles the upper bound of a conjecture of Fyodorov--Hiary--Keating which was only known in the leading order for $θ\in(-1,0)$. Using similar techniques, we also derive upper bounds for the second moment of the zeta function on such intervals. We show that for large $T$, the proportion of $t\in [T,2T]$ for which \begin{align*} \frac{1}{\log^θT}\int_{-\log^θT}^{\log^θT} \big|ζ(&\tfrac{1}{2}+it+ih)\big|^2\mathrm{d}h > A e^{S\sqrt{2|θ|\log\log T}} \frac{(\log T)^{(1+θ)}}{\sqrt{\log\log T}} \end{align*} tends to zero as $A\to\infty$, for the same $S$ as above. This proves a weak form of another conjecture of Fyodorov--Keating and generalizes a result of Harper, which is recovered at $θ= 0$ (in which case $S$ is defined to be zero). Our proofs use an adaptation of the recursive scheme introduced by one of the authors, Bourgade and Radziwiłł.

2024-05-10T13:44:36Z 44 pages, 2 figures. V2: Corrections and major improvements to exposition Louis-Pierre Arguin Jad Hamdan http://arxiv.org/abs/2605.26020v1 2026-05-25T16:40:51Z

Let $\mathcal F$ denote the fundamental domain for $\text{SL}_2(\mathbb{Z})$ on the upper half plane $\mathcal H$. William Duke showed that as fundamental discriminants $D \to -\infty$, the sets $\mathrm{CM}_{D}$ (CM points of discriminant $D$) are equidistributed in $\mathcal F$. In this paper, we investigate the behavior of CM points on the boundary of $\mathcal F$. We prove that such CM points are equidistributed on the boundary, and also give a complete characterization of when every $\mathrm{CM}_D$ point lies on the boundary. Along the way, we also (conditionally) give a complete classification of negative discriminants with class group of small exponent.

2026-05-25T16:40:51Z 13 pages David Aiken Erick Ross Dmitriy Shvydkoy Hui Xue http://arxiv.org/abs/2411.02984v2 2026-05-25T14:53:09Z

Let $E/F$ be a quadratic extension of totally real number fields. We show that the generalized Hirzebruch-Zagier cycles arising from the associated Hilbert modular varieties can be put in $p$-adic families. As an application, using the theory of base change, we give a geometric construction of the multivariable $p$-adic adjoint $L$-function twisted by the Hecke character of $E/F$, attached to Hida families of Hilbert modular forms over $F$.

2024-11-05T10:45:53Z 57 pages. To appear in Journal of the Institute of Mathematics of Jussieu Antonio Cauchi Marc-Hubert Nicole Giovanni Rosso