Irreducibility and locus of complex roots of polynomials related to Fermat's Last Theorem

2026-05-29T12:29:27Z

We study the polynomials $x^n + (1-x)^n + a^n, a \in\mathbb{Q}$, whose rational roots would yield counterexamples to Fermat's Last Theorem. We investigate their factorization over $\mathbb{Q}$. In the case $a \notin \{0, \pm 1\}$, we ask whether they are irreducible over $\mathbb{Q}$, prove the irreducibility for several infinite families, and investigate the location of the roots of these polynomials on the complex plane. For $a=\pm1$, the factorization of $K_{a,n}$ is intimately related to that of the Cauchy--Mirimanoff polynomials $E_n$ and the polynomials $T_n$ and $S_n$ introduced by P. Nanninga. After removing the trivial factors $x$, $x-1$, and $x^2-x+1$, the remaining components agree (up to change of variable) with $E_n$, $S_n$, or $T_n$. We prove several new irreducibility results for these factors.

Integrality of Averages of Roots of Unity and Perfect Isometries

2026-05-29T11:08:59Z

We establish a criterion for the integrality of averages of roots of unity and apply it to settle a conjecture regarding the linearity of functions on $\mathbb{Z}_n$. Specifically, we prove that for any modulus $n \ge 1$, if a function $f: \mathbb{Z}_n \to \mathbb{Z}_n$ satisfies that the averages $\frac{1}{n} \sum_{x=0}^{n-1} ω^{f(x)+bx}$ (where $ω=e^{2πi/n}$) are algebraic integers for all $b \in \mathbb{Z}_n$, then $f$ is necessarily linear modulo $n$. This provides a short, elementary proof that works uniformly for all $n$ and avoids the finite-field machinery used in previous partial results. Furthermore, when $n=p^r$, we utilize a local-global integrality argument to show that any normalized sum of $p^r$-th roots of unity that is $p$-adically integral must be either $0$ or a single root of unity. As an application, we completely characterize the perfect isometries of the cyclic group $C_{p^r}$: they are precisely those induced by affine permutations $x \mapsto αx + β$ with $\gcd(α, p^r)=1$.

Power Products in Elliptic Divisibility Sequences and Prime-Incidence Obstructions

2026-05-29T10:40:53Z

Let $E/\mathbb Q$ be an elliptic curve, let $P\in E(\mathbb Q)$ be non-torsion, and let $(D_n)$ be the associated elliptic divisibility sequence. For a fixed prime $ρ$, we study when an arbitrary finite product \[ \prod_{i=1}^k D_{n_i} \] can be a $ρ$-th power in $\mathbb Q^\times$. The main result is that, under the hypothesis that $D_1$ is divisible by $2$ or $3$, such product relations impose rigid restrictions on the large prime divisors of the indices $n_i$. More precisely, for every $B\ge 2$, all sufficiently large prime divisors $\ell$ which occur as simple largest prime divisors of the indices and whose complementary cofactors are $B$-smooth must occur in $ρ$-balanced blocks. Equivalently, the corresponding prime-incidence rows over $\mathbb F_ρ$ have pairwise disjoint supports, are linearly independent, and satisfy the packing bound \[ |Λ^*|\le \lfloor k/ρ\rfloor . \] In particular, if $n_i=\ell_i a_i$, where the $\ell_i$ are sufficiently large primes and the $a_i$ are $B$-smooth, then a $ρ$-th power product relation can hold only if each prime $\ell$ occurs among the $\ell_i$ with multiplicity divisible by $ρ$. The proof combines Silverman's valuation law, a fixed finite-prime-set consequence of Reynolds' finiteness theorem, and the Hasse bound. The case $ρ=2$ gives the corresponding square-product obstruction.

Pseudodifferential arithmetic, Riemann and Lindelöf hypotheses

2026-05-29T09:43:38Z

The Weyl symbolic calculus of operators leads to the construction, if one takes for symbol a certain distribution decomposing over the zeros of the Riemann zeta function, of an operator with the following property: the Riemann hypothesis is equivalent to the validity of a collection of estimates involving this operator. Pseudodifferential arithmetic, a novel chapter of pseudodifferential operator theory, makes it possible to make the operator under study fully explicit. This leads to a disproof of the conjecture: the closure of the set of real parts of non-trivial zeros of zeta is dense in $(0,1)$. A similar method leads to a proof of the Lindel\öf hypothesis.

An Improvement of Konstantoulas' Density Constant

2026-05-29T07:11:46Z

Let $A\subset N$, and define its ordered representation function $r(n)=\#\{(a,b)\in A\times A:a+b=n\}.$ The Erdos--Turan conjecture asserts that, if $r(n) > 0$ for all sufficiently large $n$, then $r(n)$ is unbounded. Konstantoulas proved a density-theoretic version: if the upper density of $E=N\setminus(A+A)$ is less than $1/10$, then $\limsup_{n\to\infty} r(n)> 5$. In this paper, we improve Konstantoulas' constant to $7/32$. We also prove that $D(E)< 1/2$ implies $\limsup_{n\to\infty} r(n) > 3$, and give a conditional criterion forcing $\limsup_{n\to\infty} r(n)>7$.

Lift-independence problem in the $P$-adic Simpson correspondence for curves

2026-05-29T05:45:09Z

Let $X$ be a proper smooth rigid analytic variety over a complete algebraically closed field $p$-adic field $\mathbf C$. Fix an continuation $\mathrm{Exp}$ of $\exp$. Faltings (in the curve case) and Heuer showed that any lifting $\widetilde X$ of $X$ over $\mathbf{B}_{\rm dR}^+/t^2$ induces an equivalence bewteen the category of Higgs bundles on $X_{\mathrm{\acute{e}t}}$ and the category of $v$-bundles on $X_v$. In this paper, we aim to study how the equivalence depends on the choice of such a lifting $\widetilde X$ when $X$ is a curve of genus $g\geqslant 2$. More precisely, we call a Higgs bundle lift-independent if it always corresponds to the same $v$-bundle under $p$-adic Simpson correspondence with respect to any lifting $\widetilde X$ and then we will show that (1) There exists some $r(g)\geqslant \sqrt{g-1}$ such that any semistable lift-independent Hitchin-small Higgs bundle of rank $r\leqslant r(g)$ has zero Higgs field. (2) There always exists a semistable Higgs bundle of degree $0$ with non-zero Higgs field that is lift-independent.

Asymptotic formulas for sums of elements from a multiplicative group

2026-05-29T04:31:43Z

Let $K$ be a number field, $k\geq 2$ an integer, $(K^*)^k$ the $k$-fold direct product of $K^*$ with coordinatewise multiplication, and $Γ$ a finitely generated subgroup of rank $r$ of $(K^*)^k$. Further, let $H(α)$ denote the absolute exponential height of an algebraic number $α$. Fix non-zero elements $a_1,\ldots , a_k\in K$. We give asymptotic formulas for the number of $\mathbf{x}=(x_1,\ldots , x_k)\inΓ$ with $H(a_1x_1+\cdots +a_kx_k)\leq X$ as $X\to\infty$ such that no non-empty subsum of $a_1x_1+\cdots +a_kx_k$ vanishes. By the same method of proof, we obtain an asymptotic formula as $X\to\infty$ for the number of non-negative integers $n$ with $H(u_n)\leq X$, where $\{ u_n\}$ is a linear recurrence sequence.

Moments of partition statistics, Bell polynomials and Eisenstein-type series

2026-05-29T03:42:28Z

We develop a systematic method to express generating functions for moments of combinatorial statistics in terms of partition traces. We employ an algebraic approach based on the complete Bell polynomials and their inversion formula, alongside an analytic approach via Faà di Bruno's formula. Our approach can be applied to a wide class of combinatorial statistics, such as the largest part of an integer partition, the partition crank and rank, and the unimodal sequence rank.

Hecke Eigenvalues of Ikeda Lifts

2026-05-29T00:18:05Z

In this paper, we study the Hecke eigenvalues of Ikeda lifts. Using the spherical map for the Hecke algebra of the symplectic group, we obtain an explicit formula for the eigenvalues $λ_F(p^r)$. From this formula, we show that $λ_F(p^r)$ can be written as a polynomial in $p^{\pm 1/2}$ with a positive leading term. Furthermore, we prove that the coefficients of this polynomial are bounded and, as a consequence, the Hecke eigenvalues $λ_F(p^r)$ are positive for all sufficiently large primes $p$.

The solvability of the inverse volcano problem over non-prime finite fields

2026-05-28T22:28:55Z

For a finite field $\mathbf{F}_{p^k}$ and a prime $\ell \neq p$, consider the graph $G$ of $\ell$-isogenies between ordinary elliptic curves over $\mathbf{F}_{p^k}$. Kohel proved that the connected components of $G$ have a remarkable structure, now called an $\ell$-volcano graph. Bambury, Campagna, and Pazuki investigated the inverse volcano problem: given a volcano graph $V$, can one find it as a connected component of $G$ over $\mathbf{F}_{p^k}$? They gave a complete positive answer over $\mathbf{F}_p$, and described a specific counterexample over $\mathbf{F}_{p^2}$. In this paper, we generalise the results of Bambury-Campagna-Pazuki by providing a precise framework for the inverse volcano problem over $\mathbf{F}_{p^k}$. The solvability of the problem for an $\ell$-volcano graph $V$ of depth $d$ is typically determined by the relation between $d$ and the $\ell$-valuation $r$ of $k$. When $r$ is small in comparison to $d$, we prove that there are infinitely many primes $p$ solving the inverse problem for $V$. The situation where $r$ is large in comparison to $d$ is more delicate: in many cases we prove that the inverse problem for $V$ is unsolvable; in a few other cases the problem appears to be solvable, but our proof of this is conditional on a variant of the Cohen-Lenstra heuristics for class groups of imaginary quadratic fields. We provide some computational evidence in support of these modified heuristics.

Transcendence and measures via the refined Diophantine exponent

2026-05-28T21:56:49Z

In 2007, Adamczewski and Bugeaud introduced the notion of the Diophantine exponent of an infinite word as a quantitative measure of repetition, leading to new transcendence results for real numbers whose expansions in an integer base are sufficiently simple. In the present article, we introduce the refined Diophantine exponent, which detects weaker forms of repetition while preserving the full strength of the classical approach. This new exponent applies in situations where repetition is partially obscured by some form of noise. Related ideas already appear in the work of Corvaja and Zannier in 2002 and, more recently, in the works of Kebis, Luca, Ouaknine, Scoones, and Worrell. Our approach provides a unified framework that recovers and extends these results, as well as those of Adamczewski and Bugeaud. We also develop quantitative refinements of this method, leading to results about transcendence measures. The recent breakthrough of Bell, Diller, and Jonsson in the context of algebraic dynamics is partly based on a similar idea, which also served as a motivation for the present work.

On the density of rational lines on diagonal cubic hypersurfaces, II

2026-05-28T20:33:41Z

In this paper, we establish the expected asymptotic formula for the number of rational lines on a diagonal cubic hypersurface in 18 or more variables, improving on recent work of the second author. This is achieved via a refined mean value estimate for minor arcs that non-trivially exploits a shifting variables argument in both underlying dimensions.

The Hasse principle for random homogeneous polynomials in thin sets

2026-05-28T20:25:27Z

Let $d$ and $n$ be natural numbers. Let $ν_{d,n}: \mathbb{R}^n\rightarrow \mathbb{R}^{N}$ denote the Veronese embedding with $N=N_{n,d}:=\binom{n+d-1}{d}$, defined by listing all the monomials of degree $d$ in $n$ variables using the lexicographical ordering. Let $\langle \boldsymbol{a}, ν_{d,n}(\boldsymbol{x})\rangle\in \mathbb{Z}[\boldsymbol{x}]$ be a homogeneous polynomial in $n$ variables of degree $d$ with integer coefficients $\boldsymbol{a}$, where $\langle\cdot,\cdot\rangle$ denotes the inner product. For a non-singular form $P\in \mathbb{Z}[\boldsymbol{x}]$ of degree $k\ (\leq d)$ in $N$ variables, consider a set of integer vectors $\boldsymbol{a}\in \mathbb{Z}^N$, defined by $$\mathfrak{A}(A;P)=\{\boldsymbol{a}\in \mathbb{Z}^N:\ P(\boldsymbol{a})=0,\ \|\boldsymbol{a}\|_{\infty}\leq A\}.$$ By handling a new lattice problem via the geometry of numbers, we confirm that whenever $n> 24d$ and $d\geq 17,$ the proportion of integer coefficients $\boldsymbol{a}\in \mathfrak{A}(A;P)$, whose associated equation $f_{\boldsymbol{a}}(\boldsymbol{x})=0$ satisfies the Hasse principle, converges to $1$ as $A\rightarrow\infty$. This improves on the recent work of the second author.

On the density of rational lines on diagonal cubic hypersurfaces

2026-05-28T20:17:17Z

In this paper, we establish the asymptotic estimates for the rational lines on diagonal cubic hypersurfaces defined by $\sum_{i=1}^sc_ix^3_i=0$ with $c_i\in\mathbb{Z}\setminus \{0\},$ provided that $s\geq 19.$ This improves the previously known bound $s\geq 21$ required to obtain such asymptotic estimates. Our approach develops a multidimensional shifting variables argument together with a pruning argument, and exploits the recent progress on the Parsell-Vinogradov system.

Density of subsets of squarefree elements in certain Dedekind domains

2026-05-28T18:39:54Z

We consider polynomial rings over finite fields and rings of integers of imaginary quadratic fields $\mathbb{Q}(\sqrt{-D})$. In this paper, we formulate the density of squarefree elements divisible by all elements of $T$ but by none of $P$, where $T$ and $P$ are subsets of squarefree elements and $T$ is finite. We also define Mersenne irreducibles in order to estimate the density of squarefree elements divisible by none of $P$.