Number Theory [math.NT]

A note on uniform version of Littlewood inequality and Fibonacci numbers

math.NT

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 planar functions over $\mathbb{F}_{q^3}$

math.NT

math.CO

Let $\mathbb{F}_q$ denote the finite field of order $q$. For $q$ odd, we investigate the planarity over $\mathbb{F}_{q^3}$ of the family $$ f_{E,A,B,C,D}(X) := EX^2+ AX^{q+1}+ BX^{q^2+1}+CX^{2q} +DX^{2q^2}\in \mathbb{F}_{q}[X]. $$ Using results from the theory of q-polynomials, we establish conditions under which these polynomials are planar functions. In particular, we provide characterizations for the planarity property and present new families of planar trinomials, quadrinomials, and pentanomials.

Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

math.NT

math.CO

In additive number theory, a finite set $A$ of integers is an $h$-basis for $n$ if every integer in $\{0,1,2,\ldots, n\}$ can be represented as the sum of exactly $h$ not necessarily distinct elements of $A$. This paper introduces a new class of problems for these and related additive bases. The problems are designed, in part, to be susceptible to solution by AI.

Connected components of the ranges of twisted divisor functions on number fields

math.NT

Let $r\in\mathbb{C}$, let $K$ be a finite extension of $\mathbb{Q}$, let $I_K$ be the monoid of integral ideals in the ring of integers $\mathcal{O}_K$ of $K$, and let $\chi$ be a Dirichlet character. Then define the twisted ideal divisor function $\sigma_{r, K, \chi} : I_K \rightarrow \mathbb{C}$ by $$\sigma_{r,K,\chi}(I) = \sum_{J \mid I} N(J)^{-r}\chi(N(J)),$$ where $N$ denotes the ideal norm. For real $r>1,$ we study the number of connected components $C_{r, K, \chi}$ of the closure $\overline{\sigma_{r,K,\chi}(I_K)}$, writing $C_{r,K}$ when $\chi$ is the principal character modulo 1. We prove that $C_{r,K,\chi}$ is finite when $\chi$ is real-valued. When $K = \mathbb{Q}$, we show that for fixed $r > 1,$ every sufficiently large positive integer is realized as $C_{r,\mathbb{Q},\chi},$ and if $r$ is sufficiently large, then every positive integer is realized as $\chi$ varies. For finite Galois extensions $K$ over $\mathbb{Q}$, we exhibit new exponential lower bounds for $C_{r,K},$ and we prove that for every fixed integer $s \geq 2$, the values $C_{r,K}$ are unbounded as $K$ ranges over degree-$s$ extensions of $\mathbb{Q}$.

Notes on congruence zeta functions via a Berkovich approach

math.NT

We revisit congruence zeta functions of smooth projective varieties over finite fields in the framework of Scholze's Berkovich motives. Via this formalism and categorical traces, we construct a new zeta function, and show that it agree with classical one

Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

math.NT

Understanding the asymptotic behavior of the number of Galois orbits of newforms in $S_k(\Gamma_0(N), \Psi)$ as the weight increases is a central problem motivated by Maeda's conjecture. For trivial nebentypus, prior work of Dieulefait, Pacetti, and Tsaknias established a lower bound for the number of non-CM Galois orbits using local inertial types and Atkin-Lehner signs as invariants. We extend this framework to newforms with non-trivial quadratic nebentypus. On the local side, the quadratic nebentypus imposes strict central character constraints, and we explicitly determine the number of Galois orbits of admissible local inertial types. We then establish the Galois equivariance of Atkin-Li pseudo-eigenvalues, which serves as a second global invariant when taken up to a natural equivalence relation. Using existence results for newforms with prescribed local invariants, we obtain a lower bound for the number of non-CM Galois orbits for sufficiently large weights (with conditions on $N$) by counting compatible pairs of these invariants. Finally, computations in small weights reveal a strict inequality in the quadratic nebentypus setting, indicating that certain local equivalences are not realized globally by Galois conjugation over the coefficient field of the modular form.

Saturation and No-Go Theorems for Scalar Poisson Certificates of Gaussian Mass Maximality

math.NT

math.FA

math.MG

Regev and Stephens-Davidowitz conjectured that the Gaussian mass $\Theta_\Lambda(t) = \sum_{x \in \Lambda} e^{-t\lVert x\rVert^2}$ of any integral lattice $\Lambda \subset \mathbb{R}^n$ is bounded above by $\Theta_{\mathbb{Z}^n}(t)$. For $n\ge 4$, we prove a saturation theorem for the natural scalar Poisson-summation certificates of this conjecture: any such certificate that is sharp at $\mathbb{Z}^n$ must interpolate the Gaussian, and have vanishing Fourier transform, at every nonzero point of integer squared norm. Applied to the lattice $E_8 \oplus \mathbb{Z}^{n-8}$, this rigidity is incompatible with the strict theta-series gap $\Theta_{\mathbb{Z}^8}(t) - \Theta_{E_8}(t) = \theta_2(it/\pi)^4\,\theta_4(it/\pi)^4 > 0$. Consequently, in dimensions $n \ge 8$, no scalar Poisson certificate can attain the sharp $\mathbb{Z}^n$ Gaussian mass bound. The same argument rules out the corresponding scalar certificate strategy for the stable-lattice formulation of the conjecture, and extends to orbit-constant graded families $\Lambda \mapsto h_\Lambda$; near-sharp sequences are similarly excluded under a uniform summability hypothesis.

Lower bounds for the Hausdorff dimension of expressible sets

math.NT

We obtain positive lower bounds on the Hausdorff dimension of sets of real numbers given by expressions of the form $\sum_{n=1}^\infty \frac{1}{a_n b_n}$, where $b_n$ satisfies some growth condition and $a_n$ lies in some set, possibly depending on $n$. As a consequence of our results, some of the irrational numbers arising from Erd\H{o}s' celebrated construction from 1976 are not Liouville numbers.

Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

math.NT

We develop the theory of equivariant, ultra Kolyvagin systems to bypass structural limitations of the Euler system machinery over infinite rings. By utilizing collections of classes living in the exterior powers of patched Selmer groups -- constructed from ultraproducts of classical Selmer groups -- we compute the structure of an Iwasawa Selmer group up to pseudo-isomorphism of Iwasawa modules and prove the absence of finite submodules. We apply this theoretical framework to the fine Selmer group of an elliptic curve and the Bloch-Kato Selmer group of the Rankin-Selberg convolution of modular forms.

Words for generalized Markov numbers

math.NT

math.CO

We construct a word-theoretic framework for generalized Markov numbers, that is, positive integers appearing in positive integer solutions of the generalized Markov equation $x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz$. For each positive rational slope $t$, we define a word $\omega_t$ by a recursive rule on a binary tree and realize it geometrically by a line segment of slope $t$. Matrix evaluation of $\omega_t$ gives a Markov--monodromy matrix encoding the generalized Markov number at $t$. We also show that $\omega_t$ recovers the classical Cohn word by a local substitution rule, and that the completed word $\overline{\omega}_t=xyz\omega_t^{-1}$ is related to the generalized Cohn matrices.

Products involving the real parts of Jacobi sums and related cyclotomic matrices

math.NT

Let $q$ be an odd prime power and $\chi_q$ be a generator of the group of all multiplicative characters of $\mathbb{F}_q$. In this paper, we study the arithmetic properties of the product $$R_q=\prod_{0<(q-1)/4}\left(J_q(\phi_q,\chi_q^k)+J_q(\phi_q,\chi_q^{-k})\right),$$ which is related to the real parts of Jacobi sums. Also, we reveal the connection between $R_q$ and the cyclotomic matrix $$\left[\phi_q(s_i+s_j)\right]_{1\le i,j\le (q-1)/2},$$ where $\phi_q$ is the unique multiplicative character of $\mathbb{F}_q$, and $s_1,s_2,\cdots,s_{(q-1)/2}$ are exactly all the non-zero squares over $\mathbb{F}_q$.

Ekedahl-Oort strata under natural embeddings of orthogonal and unitary Shimura varieties

math.NT

math.AG

In this paper, we study the behavior of Ekedahl-Oort strata under natural embeddings between the good reductions modulo $p$ of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties, a prototypical setting for the construction of special cycles in the Kudla program. In each case, we determine the EO stratum containing the image of a given EO stratum under the embedding. We also compute discrete invariants of these Shimura varieties, including their $p$-ranks and $a$-numbers; in the GSpin case, these are obtained via the Kuga-Satake embedding.

The Northcott Property for Composites of Number Fields of Bounded Degree

math.NT

We prove that infinite Galois extensions of number fields with Galois group of finite exponent have the Northcott property. The main novelty of our approach lies in the application of a theorem of Segal on profinite groups.

Inhomogeneous Approximation by Sums of Roots

math.NT

math.CO

Let $d\geq 2$ and $k\geq 1$ be fixed. We prove that, for every $\epsilon>0$ and every real $\beta$, there exist integers $1\leq b_1,\ldots,b_k\leq N$ such that \[ \left\|\sum_{j=1}^k b_j^{1/d}-\beta\right\| \ll_{d,k,\epsilon} N^{-k/d+\epsilon}. \] The proof combines Schmidt's Subspace Theorem with an explicit inhomogeneous transference argument. This improves Iyer's (2025) higher-root exponent $(k-d+1)/d^2$, and also the analogous $d$-ary full-basis exponent away from the cases where $k+1$ is a power of $d$, at the cost of ineffectivity. We also record a conjectural uniform exponent $k-1/d$. In the square-root case $d=2$, we give explicit integer-target constructions for $k=2,3,4$ attaining this conjectural value.

The V/L recursion for Macdonald's 7th Variation Schur polynomials

math.CO

math.NT

math.RA

We generalize and prove the recursive relation \[ S_{\lambda}(V) = \sum_{L\subseteq V\text{ line}} S_{\lambda}(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.

Prime Certificates for Exact Vertex-Coprime Ramsey Numbers

math.CO

cs.DM

math.NT

Let $G_n$ be the coprime graph on $\{1,\ldots,n\}$. We prove that the mixed vertex-coloring coprime Ramsey number satisfies \[ \Rcop(k_1,\ldots,k_c)=p_{\sum_{i=1}^c(k_i-1)}, \] where $p_m$ is the $m$-th prime. The proof is elementary: the prime clique $\{1\}\cup\{p\le n:p\text{ prime}\}$ gives the upper bound by pigeonhole, while a prime-bin partition gives the matching lower bound by coloring each composite with a bin containing one of its prime divisors. We reserve $\Rcop$ for this vertex-coloring parameter; the edge-coloring parameter on the same host graph is denoted $\Redge$. The same certificate viewpoint yields three extensions: a support-disjointness generalization, a polynomial-time certificate-extraction primitive, and an exact reduction of the edge-coloring variant to classical Ramsey numbers: $\Redge(k_1,\ldots,k_c)=p_{\Rcl(k_1,\ldots,k_c)-1}$. These two formulas are rank transfers from the same clique-label certificate. We also prove that the balanced two-color diagonal threshold equals the unrestricted threshold $p_{2k-2}$ for all $k\ge2$, via a deterministic prime-bin split requiring only the weak inequality $2p_m<3p_m$; for fixed $c$, a Hall argument plus a standard Selberg--Delange estimate gives eventual multicolor balanced certificates.

Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type

math.DS

math.AG

math.LO

math.NT

Let $f,g\in\mathbb{C}[z]\setminus\mathbb{C}$ and $c\in\mathbb{C}[z]$. Suppose that $\mathrm{deg}(c)=1$ if $\mathrm{deg}(f)=\mathrm{deg}(g)=1$. Using the theory of Presburger arithmetic, we prove that the rank-two recurrence set \[S_{f,g,c}^2:=\left\lbrace(m,n)\in\mathbb{Z}_{\geq0}^2\colon \exists\lambda\in\mathbb{C}, f^{\circ m}(\lambda)=g^{\circ n}(\lambda)=c(\lambda)\right\rbrace\] is semi-linear. This is a generalization of a theorem of Yang and Zhong for the case $m=n$. We also obtain partial results on recurrence sets for rational maps in the case $m=n$. These results are related to higher-dimensional questions of dynamical Mordell--Lang type of rank $\leq2$.

A Continuum of Small-cap Decouplings and Exponential Sums for the Moment Curve in $\mathbb{R}^4$

math.CA

math.NT

We use the high-low method and wavepacket pruning to prove new small-cap decoupling estimates for the moment curve in $\mathbb{R}^4$. As an application, we verify a conjecture of Demeter regarding the $L^{12}$ square-root cancellation of exponential sums associated with the moment curve in $\mathbb{R}^4$. This provides a continuum of square-root cancellation estimates that connects the Vinogradov MVT in $\mathbb{R}^3$ with a result of Bourgain, related to improving the best-known estimate for the Lindel\"{o}f hypothesis.

Structural properties and tilting correspondences of perfectoid towers

math.AC

math.AG

math.NT

We prove that every perfectoid tower can be decomposed into a fiber product of perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we show that separated perfectoid towers are reduced. We also establish the tilting invariance of \'{e}tale cohomology and Koszul homology for perfectoid towers.

An elementary proof of the local Kronecker-Weber theorem

math.NT

v2

We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on algebra. In particular, we will not make use of results from local class field theory or Galois cohomology.

Universality criterion sets for quadratic forms over number fields

math.NT

v2

In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it necessarily represents all totally positive integers, i.e., is universal. We use a novel characterization of minimal criterion sets to show that they always exist and are unique, and that they must contain certain explicit elements. We also extend the uniqueness result to the more general setting of representations of a given subset of the integers.

Rectangular representations and $\lambda$-independence of algebraic monodromy groups

math.NT

math.RT

v4

Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $\lambda$-independence results on the algebraic monodromy groups of compatible systems of $\lambda$-adic Galois representations of number fields.

The Bruhat-Tits stratification for basic unramified $GU(1,n-1)$ Rapoport-Zink spaces at arbitrary parahoric level

math.NT

math.AG

v2

In this paper, we describe a stratification on the reduced special fiber of the basic unramified unitary Rapoport-Zink space of signature $(1,n-1)$ and at arbitrary parahoric level. We prove the smoothness, irreducibility and compute the dimensions of the closed strata, which are isomorphic to the closure of certain fine Deligne-Lusztig varieties for a product of unitary and general linear groups. We also describe the incidence relations of the stratification by using Bruhat-Tits indices, which are related to the Bruhat-Tits building of an underlying $p$-adic unitary group.

On numerical semigroups with embedding dimension four

math.NT

v2

We develop a geometric procedure for finding the Ap\'ery set of any numerical semigroup with embedding dimension four. Previous methods of comparable strength worked only for embedding dimension three or under very specific conditions. We illustrate our method by finding the Frobenius numbers, genera, Betti elements, minimal presentations, and catenary degrees of numerical semigroups generated by four consecutive squares and by four consecutive triangular numbers.

A Ceiling Continued Fraction Approach to the Erd\H{o}s-Straus Conjecture: Heuristic finiteness of counterexamples

math.NT

v2

We introduce the Ceiling Continued Fractions (FCT) framework for constructing three-term Egyptian fraction representations in the Erd\H{o}s-Straus conjecture. The approach exploits divisor structures of shifted integers p+i rather than congruence-based techniques. We derive a super-polynomial upper bound on the failure probability; its convergence, together with the Borel-Cantelli lemma, provides heuristic evidence that counterexamples, if any exist, form a finite set. Computational tests on 10^9 primes in ranges around 10^17, 10^52, and 10^131, show no counterexamples with very small search depth.

Local certification of residual squareclasses in $\mathbb Q(\sqrt{2},\sqrt{pq},\sqrt{ps})$: one-bit, affine, and finite-choice Hilbert-symbol frameworks

math.NT

v2

Recent works of El Hamam described explicit fundamental systems of units for several families of multiquadratic fields of degrees 8 and 16. In the degree-8 field $L^+ = \mathbb{Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}),$ the corrected classification still leaves a residual binary indeterminacy: one must decide which of two explicitly constructed squareclasses gives the final unit generator. In this paper, we make this remaining bit explicit. First, we give an explicit local criterion deciding the parameter $\mu \in \{1, \epsilon_{pq}\}$ left open in recent literature. The criterion is first expressed in terms of Hilbert symbols at a single finite place, and is then sharpened to a residue criterion at a chosen split auxiliary rational prime. Second, we show that the standard residue datum $D(p,q,s) = \left( p \bmod 8,\,\, q \bmod 8,\,\, s \bmod 8,\,\, \biggl(\dfrac{q}{p}\biggr),\,\, \biggl(\dfrac{s}{p}\biggr),\,\, \biggl(\dfrac{q}{s}\biggr) \right)$ does not determine the final generator: we compute explicit triples with the same $D(p,q,s)$ but opposite values of the residual bit. Third, we place the one-bit problem inside a hierarchy of local-certification results in $K^\times/K^{\times2}$: besides the linear residual-choice statement, we prove an affine local-certification theorem for residual-choice cosets and a finite-test-set separation theorem for arbitrary finite candidate families.

A proof of the $4,7$ cases of Sylvester's conjecture on cube sums

math.NT

v2

In this paper, we prove that every prime $p$ which is congruent to $4,7$ modulo $9$ is the sum of two rational cubes. This is $2/3$ of Sylvester's conjecture which has a history of nearly 150 years since 1879. In the proof, we use recent progress on Full BSD conjecture of rank $0$ elliptic curves in \cite{BF} to deduce that the Manin-Stevens constants of some families of elliptic curves are units. We also use recent solutions of Unbounded Denominators Conjecture in \cite{CDT} to prove that some cubic roots of modular functions are invariant under some congruence subgroups. Instead of using the Unbounded Denominators Conjecuture, we also give another conditional proof assuming the GRH for number fields or Artin's primitive root conjecture for arithmetic progressions.

Notes on sum-free sets in abelian groups

math.CO

math.GR

math.NT

v2

In this paper we highlight a few open problems concerning maximal sum-free sets in abelian groups. In addition, for most even order abelian groups $G$ we asymptotically determine the number of maximal distinct sum-free subsets in $G$. Our proof makes use of the container method.

An algorithm for Aubert-Zelevinsky duality \`a la M{\oe}glin-Waldspurger

math.RT

math.NT

v2

Let $F$ be a locally compact non-Archimedean field of characteristic $0$, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$. The goal of this paper is to give an explicit description of the Aubert-Zelevinsky duality for $G$ in terms of Langlands parameters. We present a new algorithm, inspired by the Moeglin-Waldspurger algorithm for $\mathrm{GL}_n(F)$, which computes the dual Langlands data in a recursive and combinatorial way. Our method is simple enough to be carried out by hand and provides a practical tool for explicit computations. Interestingly, the algorithm was discovered with the help of machine learning tools, guiding us toward patterns that led to its formulation.

On conjectural fermionic formulas for the Macdonald index in Argyres-Douglas theories

math.CO

hep-th

math.NT

v2

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression independently conjectured by Andrews et al. and Kim et al. for the same Macdonald index.

Lattice point counting problems on step-two nilpotent Lie groups

math.CA

math.NT

v2

We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{\alpha,M}(x, t)=\left(|M_1x|^\alpha + |M_2t|^{\alpha / 2}\right)^{1 / \alpha}$ adapted to the dilation structure, where $\alpha>0$ and $M_1,M_2$ are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all $\alpha>0$. The bounds are sharp when the group center is unidimensional and $\alpha=2$, in certain rational sense. Our study also generalizes and even quantitively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from $2/3$ to ${1}/{3}$ if $\alpha \in(3,4) $ or $\alpha=1$; and the factor $\log ^{2/3} R $ is dropped if $\alpha=4$ (i.e., the Cygan--Kor\'anyi norm case) or $\alpha\in(2,3]$. (ii) In dimension $3$, the estimation is upgraded from $O_\epsilon(R^{ 5/2+\epsilon})$ to $O(R^{2}\log^{ 1/2} R)$ for $\alpha=1$, and to $O(R^{{19}/{8}})$ for $\alpha\in (1,2)$; and the factor $\log R$ is removed for $\alpha>4$. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitive improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.