Banded quadratic digit functions along irreducible polynomials over finite fields

2026-05-25T14:04:47Z

Let $q$ be an odd prime power and let $\F_q$ be the finite field with $q$ elements. Let $\mathcal{P}(n)$ be the set of monic irreducible polynomials of degree $n$ over $\mathbb{F}_q$. For $f=t^n+f_{n-1}t^{n-1}+\cdots+f_0\in\mathcal{P}(n)$, fix coefficients $c_0,\ldots,c_m\in\mathbb{F}_q$ with $c_m\ne0$ and put $$ Q_A(f)=\sum_{j=0}^m c_j\sum_{i=j}^n f_i f_{i-j}+\ell_n(f),$$ where $\ell_n$ is an arbitrary linear form in the coefficients of $f$ and $f_n=1$. We prove that $Q_A$ is equidistributed on $\mathcal{P}(n)$: for every $γ\in\mathbb{F}_q$, $$\#\{f\in\mathcal{P}(n):Q_A(f)=γ\}=\frac{\#\mathcal{P}(n)}{q}+O_A(q^{19n/20+o(n)}),$$ as $n\to\infty$, with $q$ and the quadratic band fixed. This extends the finite-field Rudin--Shapiro result from nearest-neighbour correlations to arbitrary fixed symmetric Laurent symbols. The proof combines Vaughan's identity with rank estimates for Toeplitz forms; the main new ingredient is an averaged rank-defect estimate for reciprocal symbols in the central Type I range.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

2026-05-25T12:28:15Z

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. We discuss implications to Arithmetic Mirror Symmetry conjecture, a Hodge-theoretic approach to the study of Apéry constants of Fano varieties proposed by Golyshev--Kerr--Sasaki. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we construct two examples of a Mirror Symmetry correspondence between specific algebraic classes.

A Note on Abelian Monogenic Trinomials

2026-05-25T12:04:28Z

An abelian monogenic polynomial $f(x)\in {\mathbb Z}[x]$ is a monic polynomial of degree $N$ that is irreducible over ${\mathbb Q}$, such that the Galois group of $f(x)$ over ${\mathbb Q}$ is abelian, and $\{1,θ,θ^2,\ldots,θ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(θ)$, where $f(θ)=0$. In this article, we determine all abelian monogenic trinomials of the form $x^{2n}+ax^{n}+b$, where $n,a,b\in {\mathbb Z}$ with $n\ge 1$ and $ab\ne 0$.

A note on uniform version of Littlewood inequality and Fibonacci numbers

2026-05-25T09:12:03Z

We give a simple proof of a recent result by J. Schleischitz dealing with a counterexample to the uniform Littlewood conjecture. Our construction is based on simple properties of Fibonacci numbers.

On sums of two squares and a basis of order $2$

2026-05-25T09:08:56Z

Let $\mathcal{R}$ denote the set of integers $n$ that can be represented as the sum $n = x^2 + y^2$ with $(x,y) = 1$. Let $a$ and $b$ be integers with $a>0$, $a \nmid b$. We show that for sufficiently large positive integer $N$ there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots, n_1+m\}$ and $I_{2}=\{n_2-m, \ldots, n_2+m\}$ such that $m = [(\log N) (\log \log N)^{1/325565}]$, $I_{1}\cup I_{2} \subset [1, N]$, $N = n_1 + n_2$, and for any $n\in I_{1}\cup I_{2}$ at least one of $n$ or $an+b$ does not lie in $\mathcal{R}$. In particular, we have $n(an+b)\notin \mathcal{R}$ for all $n\in I_{1}\cup I_{2}$.

Variational estimate for the family of discrete averages associated to simplices

2026-05-25T07:34:41Z

We prove $\ell^2(\mathbb{Z}^n)-$estimate of long $r$-variational seminorm for the family of discrete averages associated to simplices.

Nonexistence of certain classes of generalized bent functions: Revisiting the element partition method

2026-05-25T06:03:50Z

We obtain new nonexistence results for two classes of generalized bent functions from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$, called type $[n,q]$ generalized bent functions. The first class concerns the case $q=2 p_1^{e_1} p_2^{e_2}$, where $p_1$ and $p_2$ are distinct odd primes. By applying the element partition method introduced by Lv and Li to earlier results of Feng and Feng-Liu, we obtain sharper nonexistence results for several families of parameters satisfying explicit congruence and order conditions. These results extend known nonexistence theorems in cases where the prime divisors of the odd part of $q$ are self-conjugate. The second class concerns the case $q=2 \cdot 3^a \cdot 7^b$. By extending the idea of the element partition method and combining it with explicit computations in suitable cyclotomic fields and their subfields, we prove that generalized bent functions of type $[1,2\cdot 3^a\cdot 7^b]$ do not exist for all positive integers $a$ and $b$.

Lubin-Tate representations over nontrivial finite Galois extensions of $\mathbb{Q}_{p}$ are not Aut-intrinsically Hodge-Tate

2026-05-25T05:09:10Z

In the present paper, we show that, for an odd prime number $p$ and a nontrivial finite Galois extension $k$ of $\mathbb{Q}_{p}$, the $p$-adic representation of the absolute Galois group of $k$ determined by a Lubin-Tate formal group over the ring of integers of $k$ is not Aut-intrinsically Hodge-Tate [in the sense of Hoshi]. This settles the odd-degree cases left open in the previous works of Hoshi and the author and, together with the known even-degree case, completes the picture for finite Galois extensions of $\mathbb{Q}_{p}$ in the case where $p$ is odd. This exhibits a sharp contrast, from the viewpoint of anabelian geometry, between the $p$-adic cyclotomic character and other $p$-adic Lubin-Tate characters.

Hilbert-90 quotient maps, torsion defects, and symmetric monodromy

2026-05-24T23:12:06Z

Let $τ(z)=-1-z^{-1}$. We study the reduced rational maps $h_d:\mathbb{P}^1\to\mathbb{P}^1$ obtained by cancelling common factors in $H_d^{\rm raw}(z)=z^d(τ(z)^d-1)/(z^d-1)$. These maps arise by Hilbert-90 descent from the trace-zero maps $X^{dq}-X^d$ on $\ker\operatorname{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}$, but the principal object is the resulting $τ$-equivariant quotient-map family; nonconstant separable members are viewed as covers. We prove that cancellation is exactly a torsion-defect phenomenon. If $\ell(-)$ denotes scheme-theoretic length and $\boldsymbolμ_d=\ker([d]:\mathbb{G}_m\to\mathbb{G}_m)$, then $\mathrm{deg}(h_d)=d-\ell((1+X+Y=0)\cap\boldsymbolμ_d^2)$, and, in characteristic $p>0$ with $d=p^s d_0$ and $p\nmid d_0$, $h_d=\operatorname{Frob}_{p^s}\circ h_{d_0}$ and $\mathrm{deg}(h_d)=p^s\mathrm{deg}(h_{d_0})$. We classify the tame quotient strata of morphism degree at most one and exactly two; the maximal-defect stratum yields a characteristic-two Mersenne trace-zero permutation family. In characteristic zero we prove the main monodromy theorem: every non-linear quotient is Morse and has full symmetric geometric monodromy, $G_{h_d}=S_{\mathrm{deg}(h_d)}$; the proof rules out branch-value collisions via a cyclotomic cross-ratio equation. In positive characteristic we isolate Frobenius-sparse Kummer and Artin-Schreier quotients, a certificate-verified characteristic-19 Klein-four Galois quotient, and the first nonsparse Frobenius-lacunary tower up to its stated primitivity and wild-inertia boundary. A twisted off-diagonal fiber-square trace formula turns $2$-transitive monodromy into a uniform obstruction to $τ$-twisted exceptionality.

Gosper-type Lambert series identities of level 14

2026-05-24T22:38:58Z

We derive two Gosper-type Lambert series identities of level $14$ which involve the $q$-constant $Π_q$ using a special case of Bailey's $_6ψ_6$ summation formula and certain propeties of $η$-quotients and generalized $η$-quotients on the congruence subgroup $Γ_0(14)$.

The $Δ$ property: a bridge between split graphs and Number Theory

2026-05-24T21:34:09Z

For a split graph $S$, the combinatorics of 2-switches on $S$ is faithfully encoded by the factor graph $Φ(S)$, a multigraph whose induced cycles have length at most $4$. In this paper we address the following question: for which $n \in \mathbb{N}$ is there a split graph $S$ whose factor graph contains an $n$-simple triangle, that is, a triangle all of whose edges have multiplicity $n$? We show that the answer is governed by a purely arithmetic condition, the $Δ$ property, relating the differences and sums of complementary divisors of $n$, and thereby establish a two-way bridge between Graph Theory and Number Theory.

On the Maximality, Weierstrass Semigroups, and Automorphism Group of the Curve $Y^{q+1} = X^n(X^n + 1)$

2026-05-24T21:19:10Z

We study the algebraic curve over $\mathbb{F}_{q^2}$ defined by $y^{q+1} = x^n(x^n+1)$, where $n$ is a positive integer coprime to the characteristic. We first prove (when $q$ is odd) that the nonsingular model of this curve is $\mathbb{F}_{q^2}$-maximal if and only if $n \mid (q+1)$. Writing $n = \frac{q+1}{m}$, we obtain a family of maximal curves parameterized by the divisors $m$ of $q+1$, which extends the previously studied case $m=3$ corresponding to maximal curves with the third largest possible genus. For this family, we determine the Weierstrass semigroups at several classes of rational points, including those lying above the branch points of the natural projection. These semigroups are described explicitly in terms of $q$ and $m$, and exhibit different behaviors depending on the arithmetic properties of $m$. Moreover, we determine the full automorphism group of the curve under a mild condition on the characteristic. Our results extend an earlier work on the case $m=3$ and provide new insight into the structure of this family of maximal curves.

On optimization on ravine functions. Minkowski-Cohn moduli surface in Cohn parameterization

2026-05-24T20:30:10Z

This paper presents a brief overview of ravine functions using the example of the Minkowski-Cohn moduli surface from the point of view of optimization on it. Elements of representation and solution of the minimization problem at a point are presented.

The smallest denominator not contained in a unit fraction decomposition of $1$ with fixed length

2026-05-24T17:02:10Z

Let $v(k)$ be the smallest integer larger than $1$ that does not occur among the denominators in any identity of the form $$ 1=\frac1{n_1}+\cdots+\frac1{n_k}, $$ where $1 \le n_1<\cdots0$ such that the inequality $$ v(k)\ge e^{c k^2} $$ holds for all positive integers $k$.

Simultaneous Periods for Families of Rational Maps Modulo Primes

2026-05-24T16:44:41Z

Let $K$ be a number field, and $\varphi_{1},\ldots,\varphi_{g}\in K(t)$ be finitely many rational maps, each of degree at least $2$. We first show that for generic finite sets $\mathcal{A}_{1},\ldots,\mathcal{A}_{g}$ consisting entirely of points that are not $\varphi_{i}$-periodic, there exists a set of primes $\mathfrak p$ of $K$ of positive density such that for each $\mathcal{A}_{i}$ and every $α\in\mathcal{A}_i$, $α$ is not $\varphi_i$-periodic modulo $\mathfrak p$. The notion of genericity used here is defined in terms of the associated arboreal fields and is sharper than those previously used in the literature. Leveraging our proof in the generic case, we then show that the same conclusion holds for most \textit{expected} cases of non-generic sets $\mathcal{A}_{i}$. Finally, we apply our result to confirm the dynamical Mordell--Lang conjecture for coordinate-wise actions of a class of maps that includes rational maps that are generic in this sense.