https://arxiv.org/api/MT3g0bq71tMN8/nE3ZGqsFP5bWU 2026-06-13T19:55:56Z 49201 105 15 http://arxiv.org/abs/2606.08842v1 2026-06-07T21:18:43Z

The real projective line $\mathbb{R}\mathbf{P}^1$ is the boundary of $\mathbf{HP}=\{z\in \mathbb{C}\colon \Im(z)>0\}$, a model of the hyperbolic plane whose space of geodesics identifies with $\mathcal{G}(\mathbf{HP})=\mathbb{R}\mathbf{P}^1 \times \mathbb{R}\mathbf{P}^1 \setminus \mathrm{diagonal}$. The modular group $Γ=\operatorname{PSL}_2(\mathbb{Z})$ acts on $\mathbf{HP}$ with quotient the modular orbifold $\mathbf{M}=Γ\backslash \mathbf{HP}$. Consider a finite-index subgroup of the modular group $Γ^\prime \subset Γ= \operatorname{PSL}_2(\mathbb{Z})$ corresponding to a finite cover $\mathbf{M} \to \mathbf{M}^\prime$. A geodesic $(ξ^-,ξ^+)\in \mathcal{G}(\mathbf{HP})$ projects $\bmod{Γ^\prime}$ to a geodesic $ξ^\prime \subset \mathbf{M}^\prime$. We conjecture that if $ξ^\prime$ is simple, then $ξ^+$ is either rational or quadratic or transcendental. We prove this conjecture for leaves of minimal geodesic laminations. We explain why the conjecture is known for all simple geodesics in the modular torus cover associated to the derived subgroup $Γ^\prime = [Γ, Γ]$.

2026-06-07T21:18:43Z 29 pages, 7 figures Christopher-Lloyd Simon http://arxiv.org/abs/2408.08207v5 2026-06-07T17:46:35Z

In \cite{kk04} the second and third author extended the methods of \cite{pr} and determined the \tm module structure on $\Ext^1(Φ,Ψ)$ where $Φ$ and $Ψ$ were Anderson \tm modules over $A={\mathbf F}_q[t]$ of some specific types. This approach involved the concept of biderivation and certain reduction algorithm. In this paper we generalize the results of \cite{pr} and \cite{kk04} and present complete algorithm for computation of \tm module structure on $\Ext^1(Φ,Ψ)$ for \tm modules $Φ$ and $Ψ$ such that $\rk Φ> \rk Ψ.$ The last condition is not sufficient for our algorithm to be executable. We show that it can be applied when the matrix at the biggest power of $τ$ in $Φ_t$ is invertible. We also introduce a notion of $τ$-composition series which we find suitable for the additive category of \tm modules and show that under certain assumptions on the composition series of $Φ$ and $Ψ$ our algorithm is also executable.

2024-08-15T15:18:42Z Filip Głoch Dawid E. Kędzierski Piotr Krasoń http://arxiv.org/abs/2606.08734v1 2026-06-07T17:04:29Z

We show that if $L$ is an extremal Type II lattice of rank $72$, then $L$ is generated by its vectors of norm $10$. The proof determines the full inner product distribution between the shells of norms $8$ and $10$ using the spherical $11$-design property of the norm-$10$ shell.

2026-06-07T17:04:29Z 6 pages Scott Duke Kominers 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