Sizes of Pre-Images of the Minimal Euclidean Function on the Gaussian Integers

2026-03-13T17:58:49Z

In 2023, the author presented the first computable minimal Euclidean function for a non-trivial number field. Along with a formula for $φ_{\mathbb{Z}[i]}$, the minimal Euclidean function on the Gaussian inteers, the same paper introduced a geometric description for $φ_{\mathbb{Z}[i]}^{-1}([0,n])$. This paper uses that construction to prove formulas for the size of the function's pre-images, or $|φ_{\mathbb{Z}[i]}^{-1}([0,n])|$.

Jacobian graphs

2026-03-13T17:37:11Z

We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.

Multi-height distribution of rational points of split toric stacks

2026-03-13T17:22:47Z

We study the distribution of rational points of split toric stacks with all heights bounded over $\mathbf{Q}$ by lifting the counting problem to an extended universal torsor under the torus associated with the orbifold Picard group. To achieve this, we prove the existence of an integral parametrization of rational points on toric stacks, which allows us to define a lift of the stacky height to this extended universal torsor. This allows us to define the Tamagawa number of a toric stack $X$ as an Euler product and, for a prime number $p$, to interpret the $p$-adic factor via a mass formula counting $\mathbf{F}_p$-points of the sectors of $X$.

Multi-height analysis of rational points of toric varieties

2026-03-13T17:01:48Z

We study the multi-height distribution of rational points of smooth, projective and split toric varieties over $\mathbf{Q}$ using the lift of the number of points to universal torsors.

Supercongruences for central trinomial coefficients

2026-03-13T16:21:49Z

For each $n=0,1,2,\ldots$, the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. Let $p>3$ be a prime, and let $n$ be any positive integer. In 2016, the second author conjectured that the quotient $(T_{pn}-T_n)/(pn)^2$ is always a $p$-adic integer. In this paper, we confirm this conjecture, and further prove that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $(\frac p3)$ is the Legendre symbol and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.

Intrinsic Diophantine approximation by rationals of height with a bounded number of distinct prime factors

2026-03-13T16:10:06Z

In this article, for a large class of rational self-similar IFS's wich contains the middle-third Cantor set, we compute the Hausdorff dimension of elements a self-similar set that are $ψ$-approximable by rational belonging to this set and satisfying that its numerator has a bounded number of distinct prime divisors. This paper is based on a previous version in which the proof of a lemma (Lemma 3.8) was incorrect.

Hyperbolicity and GCD for n+1 divisors with non-empty intersection

2026-03-13T16:08:20Z

We study hyperbolicity for quasi-projective varieties where the boundary divisor consists of n+1 numerically parallel effective divisors on a complex projective variety of dimension n, allowing non-empty intersection. Under explicit local conditions on beta constants or intersection multiplicities, we prove that all entire curves are algebraically degenerate. Our approach extends the method of Levin-Huang-Xiao to higher dimensions, establishing a second main theorem for regular sequences of closed subschemes. This also yields a GCD-type estimate in the same geometric setting.

Root numbers for twisted Fermat quotient curves

2026-03-13T16:04:08Z

Let $\ell$ be an odd prime, $N \geq 1$ be an integer, and $δ\geq 1$ be a $\ell^N$-th power free integer such that ${\rm ord}_{\ell}(δ) = 0$ or $\ell \nmid {\rm ord}_{\ell}(δ)$. In this paper, we give an explicit formula for the root number of the Hecke character associated with a certain quotient curve of the twisted Fermat curve $X^{\ell^N} + Y^{\ell^N} = δ$. This result gives a generalization of Stoll (2002) and Shu (2021).

On an Overpartition Analogue of $SOME(n)$

2026-03-13T16:01:19Z

Recently, Andrews and Dastidar introduced the partition function $SOME(n)$, defined as the sum of all the odd parts in the partitions of $n$ minus the sum of all the even parts in the partitions of $n$. They derived its generating function and established some congruences satisfied by $SOME(n)$. In this paper, we introduce an overpartition analogue of $SOME(n)$, denoted by $\overline{SOME}(n)$, the sum of all the odd parts in the overpartitions of $n$ minus the sum of all the even parts in the overpartitions of $n$. We derive the generating function for $\overline{SOME}(n)$ and obtain congruences modulo $3, \ 5$ and powers of $2$. Our method is based on classical $q$-series identities and manipulations of infinite products and sums.

The weight two and opposite sign cases for the Fourier relative trace formulas

2026-03-13T15:10:22Z

We provide an adelic relative trace formula proof to the Petersson/Bruggeman-Kuznetsov (PBK) formulas, specifically in the holomorphic case for $κ=2$ and the non-holomorphic case for $m_1m_2<0$. Given two sets of hypothesis on the non archimedean test function $f$, called the geometric and spectral assumptions, this approach allows us to obtain refined PBK formulas.

Duality for higher local fields after Kato and Suzuki

2026-03-13T15:08:41Z

A field $K$ is $d$-local if there exist fields $K=k_d,...,k_0$ with $k_{i+1}$ complete discrete valuation with residue field $k_i$, and $k_0$ finite of characteristic $p$. By work of Deninger and Wingberg, the Galois cohomology of such fields with finite coefficients satisfies a duality generalizing Tate duality when either $d=0$, $\mathrm{char} k_1=0$ or the coefficients have no $p$-torsion. Reviewing and synthesizing results of Suzuki and Kato, we obtain $p$-torsion duality statements under the weaker assumption that either $d\leq 1$ or $\mathrm{char} k_2=0$, as well as for varieties over $K$, where duality is stated in terms of locally compact Hausdorff topologies on the étale cohomology groups. More generally we obtain results for any perfect $k_0$, endowing the totally unramified cohomology groups of $K$ with the structure of ind-pro-quasi-algebraic $k_0$-groups.

The cubic moment of $L$-functions for specified local component families

2026-03-13T14:28:30Z

We prove Lindelöf-on-average upper bounds on the cubic moment of central values of $L$-functions over certain families of $\operatorname{PGL}_2/\mathbb{Q}$ automorphic representations $π$ given by specifying the local representation $π_p$ of $π$ at finitely many primes. Such bounds were previously known in the case that $π_p$ belongs to the principal series or is a ramified quadratic twist of the Steinberg representation; here we handle the supercuspidal case. Crucially, we use new Petersson/Bruggeman-Kuznetsov forumulas for supercuspidal local component families recently developed by the authors. As corollaries, we derive Weyl-strength subconvex bounds for central values of $\operatorname{PGL}_2$ $L$-functions in the square-full aspect, and in the depth aspect, or in a hybrid of these two situations. A special case of our results is the Weyl-subconvex bound for all cusp forms of level $p^2$. Previously, such a bound was only known for forms that are twists from level $p$, which cover roughly half of the level $p^2$ forms.

Multiplicative irreducibility of shifted multiplicative subgroups

2026-03-13T13:54:33Z

In a recent breakthrough, Kalmynin resolved conjectures of Lev--Sonn and Sárközy on additive decompositions of multiplicative subgroups of prime fields. In this paper, inspired by a related conjecture of Sárközy, we prove multiplicative analogues of Kalmynin's results. We show that for every proper multiplicative subgroup $G$, the shifted set $(G-1)\setminus\{0\}$ cannot be written as a product set nontrivially, addressing a conjecture of Sárközy. In addition, we prove that no nonzero shift of any coset of a proper multiplicative subgroup is a ratio set of the form $A/A$. Our results substantially sharpen previous theorems of Shkredov and the authors.

On obstructions to the Euler system method for Rankin-Selberg convolutions

2026-03-13T10:44:04Z

To apply the Euler system method to a $p$-adic Galois representation $T$, one needs the existence of a $σ\in G_{\mathbb{Q}(μ_{p^{\infty}})}$ such that $V/(σ-1)V$ is free of rank one over the coefficient ring: we say that such a $σ$ is an Euler-suitable element for $V$. Given a non-CM classical newform $f$ of weight $k \geq 2$ and character $χ$, a classical newform $g$ of weight $1$ and character $ψ$, and a prime ideal $\mathfrak{p}$ of residue characteristic $p$ of a sufficiently large number field, we consider the situation where $V=V_{f,g,\mathfrak{p}}$ is the tensor product of the $\mathfrak{p}$-adic representations attached to $f$ and $g$. D. Loeffler asked the following question: is is true that if $χψ\neq 1$, then there is an Euler-suitable element for $V_{f,g,\mathfrak{p}}$ for all but finitely many $\mathfrak{p}$? He gave a positive answer when $f,g$ had coprime conductors. We give several weaker sufficient conditions to answer this question in the affirmative. As an application, we remove some of the technical assumptions in the version of the Bloch-Kato Conjecture proved in arXiv:1503.02888. We also show that the general answer to the question is negative, by constructing a family of counter-examples, and giving additional counter-examples that do not fit in this family.

Sharp threshold for universality of cokernels of classical random matrix models over the $p$-adic integers

2026-03-13T10:30:58Z

We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $α_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $α_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $α_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erdős-Rényi random graphs to a broader class of Erdős-Rényi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.