Minimal value set binomials and Frobenius nonclassical curves

2026-06-05T19:18:21Z

In this paper, we characterize all minimal value set binomials over $\mathbb{F}_q$, that is, binomials whose size of the set of images is the smallest possible. With this information, we also classify all quadrinomial curves with separated variables that are $\mathbb{F}_q$-Frobenius nonclassical for the morphism of lines.

Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography

2026-06-05T18:31:27Z

In this work we study quantitative existence results for genus-$2$ curves over $\mathbb{Q}$ whose Jacobians have Mordell--Weil rank at least $1$ or $2$, ordering the curves by the naive height of their integral Weierstrass models. We use geometric techniques to show that asymptotically the Jacobians of almost all integral models with two rational points at infinity have rank $r \geq 1$. Since there are $\asymp X^{\frac{13}{2}}$ such models among the $X^7$ curves $y^2=f(x)$ of height at most $X$, this yields a lower bound of logarithmic density $13/14$ for the subset of such curves whose Jacobians have rank at least $1$. We further present a large explicit subfamily of genus-$2$ curves, ordered by height as above, for which the Jacobians have rank $r \geq 2$, yielding an unconditional logarithmic density of at least $5/7$. Independently, we give a construction of genus-$2$ curves with split Jacobian and rank at least $2$, producing a subfamily of logarithmic density at least $2/21$. Finally, we analyze quadratic and biquadratic twist families in the split-Jacobian setting, obtaining a positive proportion of rank-$2$ twists. These results have implications for Regev's quantum algorithm in hyperelliptic curve cryptography.

Two notes on valued fields

2026-06-05T18:12:44Z

This paper studies two questions on valued fields: the metric dimension induced by an absolute value, and the uniform openness of multiplication. For nontrivial non-archimedean absolute values, we prove that the metric dimension equals the density character. In the archimedean case, the metric dimension is 2 for subfields of $\mathbb{R}$, while for non-real subfields of $\mathbb{C}$ it is either 2 or 3, according to whether the field contains a non-real element together with its complex conjugate. We also show that multiplication is uniformly open on every valued field. Finally, we prove that this property is genuinely metric, not purely topological, even on $\mathbb{R}$ with a suitable compatible choice of metric.

Arithmetic Symmetry in Ideal Prouhet-Tarry-Escott Solutions

2026-06-05T18:00:00Z

Motivated in part by anomaly cancellation for integral charge spectra in chiral gauge theory, we study the symmetric locus in the ideal degree-three Prouhet-Tarry-Escott problem. A symmetric integer solution is one whose entries are paired about a common center $c\in \frac12\mathbb Z$. This symmetry reduces the problem to a sum-of-two-squares equation, $x^2+y^2=u^2+v^2$, in integer variables, subject to the appropriate parity conditions. Thus the problem is governed by representations as sums of two squares. For the full symmetric locus, let $N_{\mathrm{sym}}(H)$ denote the number of nontrivial symmetric integer solutions of height at most $H$, counted with unordered multiset conventions and summed over the admissible centers. Then \begin{align*} N_{\mathrm{sym}}(H) = \frac{4\log 2}{3π^2}H^3\log H+O(H^3). \end{align*} The logarithmic enhancement comes from the second moment of the sum-of-two-squares representation function. In particular, the symmetric locus is larger than one would expect from the naive $H^3$ degree-weighted box-counting scale alone. This asymptotic identifies a large arithmetically structured subfamily of the ideal degree-three solution space, and suggests that paired anomaly-free integral charge spectra reflect a fundamental number-theoretic structure.

Erdős-Kac theorems for discriminants of number fields

2026-06-05T17:34:54Z

The classical Erdős-Kac theorem gives a central limit theorem for the number of prime divisors of a random integer. We prove an analog for the number of ramified primes in a random $G$-extension of a number field when $G$ is abelian. This builds on previous work of Lemke Oliver and Thorne in the cases $G = S_d$ ($2 \le d \le 5$), and provides the first examples where local ramification events at distinct primes are not independent. We develop probability results that can be used "out of the box" to prove Erdős-Kac theorems for sequences of ideals in a number field, subject to Tauberian hypotheses involving finite sums of Euler products.

The Smallest Invariant Factor of Elliptic Curves, and Coincidences

2026-06-05T16:53:23Z

For an elliptic curve E over Q and a natural number j, Cojocaru has shown that there is an explicit constant C_E,j giving (under GRH) the density of primes p of good reduction such that the smallest invariant factor of E(F_p) is j. For E without complex multiplication, we study the question of when C_E,j is positive (a necessary and, on GRH, sufficient condition for there to be infinitely many such p), strengthening a result by Kim. Our arguments are group-theoretic using the image of the adelic Galois representation of E. Experimentally, C_E,j appears to vanish only when there is a coincidence of division fields; we document a number of families of such coincidences arising from abelian division fields.

Effective bounds for adelic Galois representations attached to elliptic curves over the rationals

2026-06-05T16:27:58Z

Given an elliptic curve $E$ defined over $\mathbb{Q}$ without complex multiplication, we provide an explicit sharp bound on the index of the image of the adelic representation $ρ_E$. In particular, if $\operatorname{h}_{\mathcal{F}}(E)$ is the stable Faltings height of $E$, we show that $[\operatorname{GL}_2(\widehat{\mathbb{Z}}) : \operatorname{Im}ρ_E]$ is bounded above by $10^{21} (\operatorname{h}_{\mathcal{F}}(E)+40)^{4.42}$, and, for $\operatorname{h}_{\mathcal{F}}(E)$ tending to infinity, by $\operatorname{h}_{\mathcal{F}}(E)^{3+o(1)}$. We also classify the possible (conjecturally non-existent) images of the representations $ρ_{E,p^n}$ whenever $\operatorname{Im}ρ_{E,p}$ is contained in the normaliser of a non-split Cartan. This result improves previous work of Zywina and Lombardo.

Gaps in Multiplicative Sidon Sets II

2026-06-05T16:22:21Z

With $ρ= \frac{13-\sqrt{69}}{10} \approx 0.47$, it was recently established that there exist multiplicative Sidon sets (sets without any non-trivial solutions to $ab = cd$) in $\{1, 2, \ldots, n\}$ with maximal gap size $\ll_{\varepsilon} n^{ρ+ \varepsilon}$. Here we improve upon this result and show that one can take $ρ= \frac{10}{33} \approx 0.303$ instead.

On additive convolution sum of arithmetic functions and related questions

2026-06-05T15:29:37Z

Ingham studied two types of convolution sums of the divisor function, the shifted convolution sum $\sum_{n \le N} d(n) d(n+h)$ and the additive convolution sum $\sum_{n < N} d(n) d(N-n)$ for integers $N, h$ and derived their asymptotic formulas as $N \to \infty$. There have been numerous works extending Ingham's result on the shifted convolution sum, but only little has been done towards the additive convolution sum. In this article, we extend the classical result of Ingham to derive an asymptotic formula with an error term of the sub-sum $\sum_{n < M} d(n) d(N-n)$ for certain integers $M \le N$. This involves careful choice of an applicable range of $M$. We also study the convolution sum $\sum_{n < M} f(n) g(N-n)$ for certain arithmetic functions $f$ and $g$ with absolutely convergent Ramanujan expansions, which in turn leads us to a well-established prediction of Ramanujan.

Exact output statistics of Icart's encoding in the exceptional $j=0$ case

2026-06-05T15:27:21Z

Icart's encoding is a classical deterministic map from finite fields to elliptic curves and a basic ingredient in early hash-to-curve constructions. We determine the exact one-output distribution of this map in the exceptional $j=0$ case. More precisely, for \[ E_{0,b}:Y^2=X^3+b,\ q\equiv2\pmod3, \] we compute the complete fibre distribution of $f_{0,b}:\mathbb F_q\to E_{0,b}(\mathbb F_q)$. This gives closed formulae for the image size, total variation distance from uniform, collision probability, power sums, entropy measures and basic batch statistics. We also derive the exact second moment of all nontrivial character sums of the output distribution. Via the Weil pairing, this becomes an exact energy formula for pairing-character tests on the supersingular $j=0$ family whose odd prime order subgroups have embedding degree two.

Twisted Moments of Rankin-Selberg $L$-functions in the Prime-Power Level Aspect

2026-06-05T14:46:05Z

We compute the twisted first and second moments of the shifted central values of the Rankin-Selberg $L$-functions given by $L\left(\frac12+ω, f\otimes g\right)$ as $f$ varies over primitive forms of prime power level $p^ν$ with $ν\geq 3$. Here $ω$ is a bounded shift and $g$ is a fixed primitive form of level relatively prime to $p$.

On the factorizations of integers via division algorithms for polynomials

2026-06-05T14:37:39Z

We introduce and study several conditions related to the factorization problem of composite numbers. For this purpose, we employ cyclotomic polynomials, Sylvester resultants, and the Fermat equation. We show that the existence of a specific solution to the Fermat type equation in positive characteristic $p$ implies polynomial-time factorization of a composite natural number that is a multiple of $p$. We also show that such solutions do not exist for many semi-prime integers.

On periods and Jacobians of Heisenberg curves

2026-06-05T14:34:55Z

Heisenberg curves are cyclic covers of Fermat curves that also arise as non-abelian covers of the projective line, branched over three points by the discrete Heisenberg group modulo an integer. As normal Belyi covers, these are curves with many automorphisms in the sense of Oort, who questioned whether such curves have CM Jacobians. In 1986, Ihara proposed using towers of curves to study the pro-$\ell$ Galois representation associated with the thrice-punctured projective line. To study the kernel of this representation, he suggested using Heisenberg curves, but it was unknown to him at the time whether their Jacobians lacked complex multiplication. In this paper, for any odd prime $\ell$, we prove that Heisenberg curves of level $\ell^n\neq 3$ do not have CM Jacobians. Thus, we resolve the missing part of Ihara's original argument and in doing so we provide an infinite family of new counterexamples to Oort's question.

Connection between the Riemann zeta-function and random matrices via hyperfunctions

2026-06-05T14:33:16Z

Bohr pioneered the study of the statistical behavior of the Riemann zeta-function. A classical result by Bohr and Jessen revealed that the values of the Riemann zeta-function to the right of the critical line behave like a random variable. We now propose to extend Bohr's theory to the stage of hyperfunctions. In this paper, we introduce two random hyperfunctions: one is associated with the values of the Riemann zeta-function on the critical line, and the other is associated with the characteristic polynomial of a random matrix from the circular unitary ensemble. We then derive a relationship between these random hyperfunctions which is consistent with the Keating-Snaith conjecture on the moments of the Riemann zeta-function.

A Fibonacci theorem for Collatz trajectories via modular graph structure

2026-06-05T13:16:53Z

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers in $\{1,\ldots,2^m\}$ have the property that their orbit under $T$ avoids the residue class $4\pmod6$ during steps $2,\ldots,m$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(\varphi/2)^m$, $\varphi=(1+\sqrt{5})/2$. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $\varphi$, against $ρ(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $Ψ_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ onto the directed paths of length $m$ in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<\varphi<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.