Covering $\mathbb{F}_2^n$ with Hamming Balls

2026-06-06T00:48:55Z

Green asked the following question concerning structures in sumsets: Suppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $A_i+A_i$ contain a coset of codimension $O_K(1)$ for some $i$? An answer is not known even in the case of $K = 3$. We resolve this question in the affirmative in two special cases: (1) when $A_1, A_2$ are Hamming balls of radius $r < n/2 - 7$ relative to different bases, and (2) when $A_1$ is a Hamming ball of sufficiently small constant density.

Weighted Recursions for the Smallest Parts Function

2026-06-05T22:38:45Z

We establish new polynomial-weighted recursions for Andrews' smallest parts function. Our results use the generating series for the spt function, a harmonic Maass form of weight 3/2, paired with the Dedekind eta function. Unlike previous work, we use the Rankin-Cohen bracket to obtain modular forms of weight larger than 2. This introduces a nontrivial quasimodular component, which we determine for the relevant weights. We apply the holomorphic projection operator and the vanishing of cusp form spaces of small enough weight to obtain our results.

On the Vinberg Family of K3 Surfaces

2026-06-05T21:18:14Z

We study orthogonal modular forms associated with moduli spaces of lattice-polarized K3 surfaces whose generic transcendental lattices are of the form $T = H \oplus H \oplus L(-1)$ where $L$ is a root lattice of type $A_n$ or $D_n$. In Picard numbers $10$ through $17$, we use explicit Jacobian elliptic fibrations to construct modular forms on type IV domains associated with orthogonal groups $\mathrm{O}^+(T)$. We show that the coefficients of suitable Weierstrass models naturally realize generators for the corresponding graded rings of orthogonal modular forms.

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.

Explicit bounds for Dickman's function

2026-06-05T18:55:16Z

We establish numerically explicit upper and lower bounds for Dickman's function $ρ(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $ρ(u)$ without the need to solve the delay differential equation numerically.

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$.