Equality in a Reverse Minkowski Shell Bound for Integral Lattices via Spherical Designs

2026-05-24T15:12:24Z

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.

Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

2026-05-24T14:00:13Z

A unitary perfect number is a positive integer n satisfying σ^*(n)=2n, where σ^* sums unitary divisors. Only five examples are known, and no sixth has been found. We revisit the Subbarao-Warren problem by keeping the seed factor 2^a+1 explicit in the full balance (2^a+1)\prod_i(p_i^{e_i}+1)=2^{a+1}\prod_i p_i^{e_i}. Within a bounded enumeration of source components in the odd dependency graph, every admissible source kernel is either one of the two kernels occurring in the known nonsquarefree examples, 3^2 and 5^4, or one of five additional impostor kernels. We give a reproducible three-filter certificate eliminating those impostor kernels for all relevant seed classes with 1 <= a <= 10000. The filters combine Zsigmondy-type exponent obstructions, inherited non-3-Higgs witnesses, and deterministic 2-adic budget overshoot. The remaining obstruction is the auxiliary set H_even of even m for which every prime divisor of 2^m+1 is 3-Higgs. A structural lemma reduces finiteness of H_even to the prime branch m=2p, while allowing finite computations to leave composite candidates inherited from unresolved prime divisors. Using the supplied factor cache and APR-CL primality-verification transcripts, we prove |H_even \cap [2,40000]| <= 201 and |H_even \cap [2,50000]| <= 272, with explicit undecided frontier lists. Ford's theorem for downward-closed prime sets gives an unconditional power-saving thinness bound for H_even, but not finiteness. The remaining task is a divisor-level problem for the cyclotomic values Φ_{4p}(2). Thus the paper does not prove finiteness; it gives a bounded-box elimination, a verified finite frontier, and a precise analytic target for closing the remaining branch.

A Diophantine Criterion for the Shafarevich-Tate Groups of Elliptic Curves from Heron Triangles

2026-05-24T12:28:10Z

The solvability of Diophantine quartic equations is a contemporary area of interest due to its connection with generalized Fermat's equation. In this work, we are interested in the integer solutions of a similar Diophantine equation p u^2 = v^2 + w^2. For a particular form of u, v, and w, we prove that the elliptic curves E_p: y^2 = x(x-1)(x+p^2), which arise from Heron triangles, for primes p = 1 (mod 8) where q = (p^2+1)/2 is also prime, exhibit a sharp dichotomy based on the solution of the aforementioned Diophantine equation: either rank(E_p(Q)) = 2 with trivial Shafarevich-Tate group or rank = 0 with III(E_p/Q)[2] = (Z/2Z)^2.

Valuation Separation for Coprime Lucas Products

2026-05-24T07:30:03Z

Let $U_n=U_n(P,Q)$ be a nondegenerate Lucas sequence with $Q=\pm 1$ and discriminant $Δ=P^2+4Q>0$. We study Diophantine equations \[ A y^k=\prod_{i=1}^r U_{n_i}(P,Q), \qquad k\geq 2, \] where the indices $n_1,\ldots,n_r$ are pairwise coprime. The strong divisibility property implies that the factors $U_{n_i}$ are pairwise coprime, and hence a global $k$-th power condition separates into local valuation conditions on the individual factors. For $k=2$, this gives a termwise square-class restriction: each $U_{n_i}$ has signed squarefree part supported on the primes dividing $A$. In particular, the equation $Δy^2=U_mU_n$, with $\gcd(m,n)=1$, reduces to a finite square-class compatibility condition together with an integrality condition. Assuming the number-field $abc$ conjecture over $\mathbb Q(\sqrtΔ)$, we prove that only finitely many Lucas terms have squarefree part supported on a fixed finite set of rational primes. Consequently, the coprime product equations above admit an $abc$-conditional finite reduction. We also give the corresponding $k$-th power analogue and a primitive-divisor obstruction.

Tribonacci properties of identities, matrices, and determinants

2026-05-24T04:14:28Z

This paper considers the properties of Tribonacci numbers on identities, matrices, and determinants. In the first front part, we obtain several symmetric identities of Tribonacci numbers by a matrix-based approach and binomial inversion technique. In the core section of the latter half, we present a determinant representation of Tribonacci numbers in a slightly modified Toeplitz--Hessenberg form derived from Bell polynomials.

Counting Rational Points on Danielewski and Double Danielewski Surfaces over Finite Fields

2026-05-24T02:23:47Z

Let $\Fq$ be the finite field with $q$ elements. We study the number of $\Fq$-rational points on Danielewski and double Danielewski surfaces. For Danielewski surfaces, the point count is reduced to the number of roots of $P(Z)$ over $\Fq.$ For double Danielewski surfaces, one has to count the number of tuples $(\be,\g)\in\Fq^2$, such that $P(0,\g)=0$, $Q(0,\be,\g)=0$ hold simultaneously. We compute these numbers using gcd methods, resultants, character sums, Gauss sums, and the König--Rados theorem. We obtain explicit formulas in several structured cases, derive general bounds, and give a Macaulay2 algorithm for verification and show an intresting connection between the number of $\Fq$-rational points of these surfaces and polygonal numbers.

Rational points on modular curves via maps to elliptic curves with rank zero

2026-05-24T00:13:41Z

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le \mathrm{GL}_2(\mathbb{Z}/N\mathbb{Z})$, there is a modular curve $X_G$ whose rational points parametrize elliptic curves for which the image of the mod $N$ Galois representation is contained in $G$. If $X_G$ admits a map to an elliptic curve $E/\mathbb{Q}$ for which $E(\mathbb{Q})$ has rank $0$, then its rational points can be effectively determined, provided that a map $X_G \to E$ is known. In this article, we give a method for constructing such maps. Using this method, together with existing methods and results, we systematically determine the rational points of $X_G$ for more than $99\%$ of modular curves of level at most $70$.

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

2026-05-23T17:15:16Z

Let $σ(n)$ be the sum of the positive divisors of $n$. A positive integer $n$ is said to be $2$-near perfect when $σ(n)=2n+d_1+d_2$, where $d_1$ and $d_2$ are distinct positive divisors of $n$. We show that there are no odd $2$-near perfect numbers with exactly two prime factors, and that all even $2$-near perfect numbers (i.e. those of the form $2^kp^m$, where $p$ is an odd prime) belong to a specific family, provided that $m$ is at least 3. In combination with prior work, these results produce a complete characterization of $2$-near perfect numbers with exactly 2 prime factors.

Restricted set addition in finite abelian groups

2026-05-23T14:52:15Z

Let $A$ be a nonempty subset of finite abelian group $G$ of order $n$. For an integer $h \geq 2$, the restricted $h$-fold sumset $h^\wedge A$ is the set of all sums of $h$ distinct elements of $A$. It is known that if $G$ is a group of order $n$ and $A$ is a subset of $G$ such that $|A|$ is close to $\frac{n}{2}$, then $h^{\wedge}A = G$ under some conditions on $h$ and $n$. The constant $\frac{1}{2}$ is optimal for groups of even order but not for groups of odd order. For an integer $h \geq 4$, let $α_h$ be the unique positive root of the polynomial $3^{h - 2} x^{h - 1} + x - 1$. In this paper, we show that for any $α> α_h$, there exists a positive integer $M_h(α)$, which is determined precisely, such that for all $n > M_h(α)$ with $n$ odd, if $A$ is a subset of a finite abelian group $G$ of order $n$ and if $|A| \geq αn$, then $h^{\wedge} A = G$. Moreover, $α_h > α_{h + 1}$ for $h \geq 4$ and $α_h$ approaches $\frac{1}{3}$ as $h$ increases, and the constant $\frac{1}{3}$ is optimal when the smallest prime dividing $n$ is $3$. This result extends a theorem of Tang and Wei on $4^{\wedge}A$ in the cyclic group $\mathbb{Z}_n$ to $h^{\wedge}A$ for every $h \geq 4$, and to arbitrary finite abelian groups.

Root Clusters over Number fields : Inverse Problems and Applications

2026-05-23T14:05:38Z

We develop the theory of root clusters further in this article and give some applications. We introduce some new notions as well as recall earlier notions for field extensions over a perfect base field: root cluster size, its generalization root capacity, its dual notion ascending index and its generalization intersection indicium, and generalization of degree of extension, compositum indicium. We establish our results on the Inverse problems for these generalized notions over number fields which generalizes our earlier results. We give a field theoretic formulation for the concept of minimal generating sets of splitting fields of polynomials which was introduced by the author and Vanchinathan. We present new results as well as generalizations of our earlier results on the cardinalities of minimal generating sets for extensions over number fields. We generalize a result of Drungilas et al. by establishing that a certain family of triplets is compositum feasible over any number field and we also list all the irreducible triplets in this family. We also prove a partial case of a conjecture of Drungilas et al. Our methods for all these problems are Galois theoretic in nature and heavily rely on the known cases of the inverse Galois problem.

Orbit decomposition statistics for discrete dynamical systems: the Cesàro mean and a large deviation principle

2026-05-23T10:31:59Z

If a self-map $σ\colon \mathcal{X} \rightarrow \mathcal{X}$ has a dynamical zeta function with nonzero radius of convergence $1/Λ$ and the Cesàro mean $B$ of $ \# \mathrm{Fix}(σ^k)/Λ^k$ exists and is positive, we show a large deviation principle for the number of prime orbits occurring in the decomposition of a general orbit of length $\leq X$ (an element of the free abelian monoid generated by the prime orbits or, equivalently, a prime orbit of a finite multiset in $\mathcal{X}$) with speed $B \log X$ and universal rate function equal to that of the Poisson distribution with unit mean. We also show a large deviation principle for more general strongly additive functions. The proof uses asymptotic results on the total number of general orbits, as well as a weak analogue of Mertens's second theorem, that may be of independent interest. The theory applies, for example, to endomorphisms of algebraic groups over finite fields, additive cellular automata, and automorphisms of some solenoids.

Asymptotic Vanishing of Stiefel--Whitney Classes for $\mathrm{GL}_n(\mathbb{F}_q)$

2026-05-23T10:28:55Z

We study the asymptotic behavior of Stiefel--Whitney classes of irreducible orthogonal representations of the finite general linear groups $\mathrm{GL}_n(\mathbb{F}_q)$. Building on recent formulas expressing these classes in terms of character values at elements of order dividing $2$, we relate questions about characteristic classes to problems of $2$-adic divisibility of character values. For fixed odd $q$, we show that as $n \to \infty$, the values of irreducible orthogonal characters become highly divisible by powers of $2$ for almost all representations. As a consequence, the proportion of irreducible orthogonal representations with trivial first and second Stiefel--Whitney classes tends to $1$, and if $q \equiv 1 \pmod{4}$, the same holds for the fourth Stiefel--Whitney class. In particular, almost all orthogonal representations are spinorial in the large rank limit. In contrast, when the rank is fixed and $q \to \infty$, the behavior is markedly different. Focusing on $\mathrm{GL}_2(\mathbb{F}_q)$, we show that the second Stiefel--Whitney class vanishes with limiting probability $3/8$ among irreducible orthogonal representations.

On the fractional parts of certain sequences of $ξα^{n}$

2026-05-23T04:10:45Z

Assume that $α>1$ is an algebraic number and $ξ\neq0$ is a real number. We are concerned with the distribution of the fractional parts of the sequence $(ξα^{n})$. Under various Diophantine conditions on $ξ$ and $α$, we obtain lower bounds on the number $n$ with $1\leq n\leq N $ for which the fractional part of the sequence $(ξα^{n})_{n\geq1}$ fall into a prescribed region $I\subset [0,1]$, extending several results in the literature. As an application, we show that the Fourier decay rate of some self-similar measures is logarithmic, generalizing a result of Varjú and Yu.

The $θ= \infty$ Conjecture and the Riemann Hypothesis for Automorphic $L$-functions

2026-05-23T02:59:37Z

The $θ=\infty$ conjecture asserts that the mollified second moments of the Riemann zeta function remain bounded for mollifiers of arbitrary polynomial length. We investigate an analogue of this conjecture for automorphic $L$-functions associated with cuspidal representations of $\text{GL}_m(\mathbb{A}_{\mathbb{Q}})$, exploring its implications for the distribution of their nontrivial zeros. Extending the framework of Bettin and Gonek, we prove that if the mollified second moments of these $L$-functions remain suitably bounded for mollifiers of arbitrary polynomial length, then the $L$-functions are non-vanishing in corresponding regions of the critical strip. Furthermore, we establish a version of this criterion for families of $L$-functions, demonstrating that the $θ= \infty$ conjecture for a family of $L$-functions implies a quasi-Riemann Hypothesis for that family.

Matchable numbers

2026-05-23T01:51:30Z

We say a natural number $n$ is matchable if there is a bijection from the set of $τ(n)$ divisors of $n$ to the set $\{1,2,\dots,τ(n)\}$, where corresponding numbers are relatively prime. We show that the set of matchable numbers has an asymptotic density, which we compute, and we show that every squarefree number is matchable. We also present some related unsolved problems.