Number Theory [math.NT]

On some arithmetic conditions of recurrent sequences modulo prime p

math.NT

We study the $K$-Fibonacci sequence $\mathcal{F}_p$ modulo prime $p$. Cardinalities of sets $|\mathcal{F}_p+\mathcal{F}_p|$ and $|\mathcal{F}_p\cdot\mathcal{F}_p|$ are estimated. We present the method of estimating doubling constant of some $m$-dimensional recurrent sets in $\mathbb{F}_p$.

On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

math.NT

We address a new case of the Harris-Viehmann conjecture, which establishes a parabolic induction formula on the cohomology groups associated to non-basic local Shimura data. It follows that all supercuspidal representations on a Shimura variety are concentrated along the basic locus, making the conjecture relevant to the Langlands program. Historically, many cases of the Harris-Viehmann conjecture have been approached with the additional condition of Hodge-Newton reducibility on the underlying local Shimura datum. Building on previous work by Mantovan (EL/PEL case) and Hong (Hodge case), we extend the proof of the conjecture to unramified non-basic local Shimura data of abelian type under the assumption of Hodge-Newton reducibility. We leverage Shen's construction of Rapoport-Zink spaces of abelian type at the hyperspecial level.

On the binary digits of the Erd\H{o}s-Borwein constant

math.NT

In a landmark paper on arithmetical properties of Lambert series, Erd\H{o}s proved that $\sum_{n=1}^{\infty} \frac{1}{2^{n} - 1}$ is irrational. This value $E$ is now referred to as the Erd\H{o}s-Borwein constant. Crandall, in 2012, studied properties of the base-2 expansion of this constant, and left the following as an open problem: Does the string $11$ occur infinitely often in the base-2 expansion of $E$? This open problem was also subsequently noted by Shallit. We succeed in introducing a full proof that solves Crandall's problem in the affirmative. Our proof combines a congruence construction in the spirit of Erd\H{o}s and an estimate due to Alford, Granville, and Pomerance for the counting function for primes in arithmetic progressions. Our argument was developed through extensive interactions with GPT-5.5 Pro.

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

math.NT

The $\theta=\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 $\theta = \infty$ conjecture for a family of $L$-functions implies a quasi-Riemann Hypothesis for that family.

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

math.NT

math.AC

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\"onig--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.

Tribonacci properties of identities, matrices, and determinants

math.NT

math.CO

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.

Valuation Separation for Coprime Lucas Products

math.NT

Let $U_n=U_n(P,Q)$ be a nondegenerate Lucas sequence with $Q=\pm 1$ and discriminant $\Delta=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 $\Delta 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{\Delta})$, 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.

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

math.NT

cs.DM

math.CO

math.MG

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

Simultaneous Periods for Families of Rational Maps Modulo Primes

math.NT

math.CO

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 $\alpha\in\mathcal{A}_i$, $\alpha$ 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.

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

math.NT

math.AG

Let $\tau(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(\tau(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 $\tau$-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{\mu}_d=\ker([d]:\mathbb{G}_m\to\mathbb{G}_m)$, then $\mathrm{deg}(h_d)=d-\ell((1+X+Y=0)\cap\boldsymbol{\mu}_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 $\tau$-twisted exceptionality.

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

math.NT

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.

Variational estimate for the family of discrete averages associated to simplices

math.NT

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

The Frobenius problem for shifted square sequences starting with a multiple of 4

math.NT

The greatest integer that does not belong to a numerical semigroup S is called the Frobenius number of S, and finding the Frobenius number is called the Frobenius problem. In this paper, we solve the Frobenius problem for shifted square sequences starting with a multiple of 4.

A Note on Abelian Monogenic Trinomials

math.NT

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,\theta,\theta^2,\ldots,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=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$.

Incidence Obstructions for Power Products in Elliptic Divisibility Sequences

math.NT

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. We study when a product \[ \prod_{i=1}^k D_{n_i} \] can be a $\rho$-th power, where $\rho$ is a fixed prime. Our obstructions concern the incidence of prime divisors among the indices $n_i$, rather than the prime factorisation of individual EDS terms. Assuming that $D_1$ is divisible by $2$ or $3$, we show that sufficiently large primes $\ell$ occurring as simple largest prime divisors of the indices, with $n_i/\ell$ $B$-smooth whenever $\ell\mid n_i$, must occur in $\rho$-balanced incidence blocks. In particular, for a finite family of such primes, the associated incidence rows are disjoint, linearly independent over $\mathbb F_\rho$, and satisfy \[ |\Lambda^\ast|\le \lfloor k/\rho\rfloor . \]

Banded quadratic digit functions along irreducible polynomials over finite fields

math.NT

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 $\gamma\in\mathbb{F}_q$, $$\#\{f\in\mathcal{P}(n):Q_A(f)=\gamma\}=\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.

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

math.NT

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

Boundary CM points and class groups of small exponent

math.NT

Let $\mathcal F$ denote the fundamental domain for $\text{SL}_2(\mathbb{Z})$ on the upper half plane $\mathcal H$. William Duke showed that as fundamental discriminants $D \to -\infty$, the sets $\mathrm{CM}_{D}$ (CM points of discriminant $D$) are equidistributed in $\mathcal F$. In this paper, we investigate the behavior of CM points on the boundary of $\mathcal F$. We prove that such CM points are equidistributed on the boundary, and also give a complete characterization of when every $\mathrm{CM}_D$ point lies on the boundary. Along the way, we also (conditionally) give a complete classification of negative discriminants with class group of small exponent.

Orbit decomposition statistics for discrete dynamical systems: the Ces\`aro mean and a large deviation principle

math.DS

math.NT

math.PR

If a self-map $\sigma \colon \mathcal{X} \rightarrow \mathcal{X}$ has a dynamical zeta function with nonzero radius of convergence $1/\Lambda$ and the Ces\`aro mean $B$ of $ \# \mathrm{Fix}(\sigma^k)/\Lambda^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.

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

math.AG

math.NT

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.

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

math.CO

math.NT

For a split graph $S$, the combinatorics of 2-switches on $S$ is faithfully encoded by the factor graph $\Phi(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 $\Delta$ property, relating the differences and sums of complementary divisors of $n$, and thereby establish a two-way bridge between Graph Theory and Number Theory.

Lattice point counting problems on step-two nilpotent Lie groups

math.CA

math.NT

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.

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

math.NT

v5

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.

The Fyodorov--Hiary--Keating Conjecture on Mesoscopic Intervals

math.NT

math.PR

v2

We derive precise upper bounds for the maximum of the Riemann zeta function on a typical short interval of the critical line. We show that for fixed $\theta\in(-1,0]$, large $T$, and $y\geq 2$ satisfying $y=O(\log\log T/\log\log\log T)$, the proportion of points $t\in [T,2T]$ for which \begin{align*} \max_{|h|\leq \log^\theta T}\big|\zeta(&\tfrac{1}{2}+it+ih)\big|>e^{y} \cdot e^{S\sqrt{(\log\log T)|\theta|/2}}\frac{(\log T)^{(1+\theta)}}{(\log\log T)^{3/4}} \end{align*} is bounded above by a constant times $y\exp({-2y-y^2/((1+\theta)\log\log T)})$, where $S=S(t)$ is a quantity whose value distribution is approximately that of a standard Gaussian. Up to a multiplicative constant, this settles the upper bound of a conjecture of Fyodorov--Hiary--Keating which was only known in the leading order for $\theta\in(-1,0)$. Using similar techniques, we also derive upper bounds for the second moment of the zeta function on such intervals. We show that for large $T$, the proportion of $t\in [T,2T]$ for which \begin{align*} \frac{1}{\log^\theta T}\int_{-\log^\theta T}^{\log^\theta T} \big|\zeta(&\tfrac{1}{2}+it+ih)\big|^2\mathrm{d}h > A e^{S\sqrt{2|\theta|\log\log T}} \frac{(\log T)^{(1+\theta)}}{\sqrt{\log\log T}} \end{align*} tends to zero as $A\to\infty$, for the same $S$ as above. This proves a weak form of another conjecture of Fyodorov--Keating and generalizes a result of Harper, which is recovered at $\theta = 0$ (in which case $S$ is defined to be zero). Our proofs use an adaptation of the recursive scheme introduced by one of the authors, Bourgade and Radziwi{\l}{\l}.

On the fractional parts of certain sequences of $\xi \alpha^{n}$

math.NT

math.CA

v2

Assume that $\alpha>1$ is an algebraic number and $\xi\neq0$ is a real number. We are concerned with the distribution of the fractional parts of the sequence $(\xi \alpha^{n})$. Under various Diophantine conditions on $\xi$ and $\alpha$, we obtain lower bounds on the number $n$ with $1\leq n\leq N $ for which the fractional part of the sequence $(\xi \alpha^{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\'{u} and Yu.

Hirzebruch-Zagier cycles in $p$-adic families and adjoint $L$-values

math.NT

v2

Let $E/F$ be a quadratic extension of totally real number fields. We show that the generalized Hirzebruch-Zagier cycles arising from the associated Hilbert modular varieties can be put in $p$-adic families. As an application, using the theory of base change, we give a geometric construction of the multivariable $p$-adic adjoint $L$-function twisted by the Hecke character of $E/F$, attached to Hida families of Hilbert modular forms over $F$.

Gosper-type Lambert series identities of level 14

math.NT

v3

We derive two Gosper-type Lambert series identities of level $14$ which involve the $q$-constant $\Pi_q$ using a special case of Bailey's $_6\psi_6$ summation formula and certain propeties of $\eta$-quotients and generalized $\eta$-quotients on the congruence subgroup $\Gamma_0(14)$.

Root Clusters over Number fields : Inverse Problems and Applications

math.NT

math.AC

math.GR

v4

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.

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

math.NT

v2

Let $\sigma(n)$ be the sum of the positive divisors of $n$. A positive integer $n$ is said to be $2$-near perfect when $\sigma(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.

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

math.NT

math.CO

v2

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

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

math.NT

v2

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

Distribution of sums involving Dirichlet characters over the $k$-free integers

math.NT

v2

Assuming the generalized Riemann hypothesis and a bound for the negative discrete moments of the Riemann zeta function (resp. Dirichlet $L$-functions), we prove the existence of a logarithmic limiting distribution for the normalized partial sums $x^{-\frac{1}{2k}}\sum_{n\leq x}f(n)$, where $f$ is either a quadratic Dirichlet character or a modified Dirichlet character, restricted to the $k$-free integers. Moreover, we strengthen a conjecture made by Aymone, Medeiros and the author (cf. Ramanujan J. 59(3):713-728, 2022) concerning the precise order of magnitude for these partial sums.

Restricted set addition in finite abelian groups

math.NT

math.CO

math.GR

v2

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 $\alpha_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 $\alpha > \alpha_h$, there exists a positive integer $M_h(\alpha)$, which is determined precisely, such that for all $n > M_h(\alpha)$ with $n$ odd, if $A$ is a subset of a finite abelian group $G$ of order $n$ and if $|A| \geq \alpha n$, then $h^{\wedge} A = G$. Moreover, $\alpha_h > \alpha_{h + 1}$ for $h \geq 4$ and $\alpha_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.

Matchable numbers

math.NT

math.CO

v2

We say a natural number $n$ is matchable if there is a bijection from the set of $\tau(n)$ divisors of $n$ to the set $\{1,2,\dots,\tau(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.

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

math.NT

v4

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

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

math.NT

v3

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.

A Determinant Congruence Conjectured by Sun

math.NT

v2

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2} \] with no condition on $c$ and $d$. If $n=p$ is prime, the same congruence holds whenever the Legendre symbol $\leg{d}{p}$ is $-1$. For composite $n$, a polynomial determinant is divisible by two Vandermonde factors; after specialisation, their product already yields the required square divisor. For prime $n=p$, we estimate the rank of the matrix modulo $p$. The required rank defect follows from a coefficient cancellation obtained from the involution $t\mapsto d/t$ on $\Fp^\times$ and the condition $\leg{d}{p}=-1$.

Sun-type determinant and permanent congruences

math.NT

v2

Sun proposed a collection of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article proves Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12 from Sun's list. The determinant part is strengthened to a root-quotient criterion for irreducible binary quadratic forms over the quadratic extension of the prime field; the criterion gives the stated result for the determinant associated with the remaining binary quadratic form. The Cauchy-kernel part gives both derangement congruences modulo the square of the prime and a polynomial fixed-point permanent congruence modulo the prime. The Cayley-transform part gives the signed fixed-point determinant congruences, the quadratic-residue assertion for the signed derangement determinant, and the full fixed-point permanent congruence modulo the square of the prime. The half-size quadratic Cayley determinant is treated by a local expansion at a simple zero eigenvalue, giving divisibility by the square of the prime and, in the stronger congruence class, by its cube. The proofs combine finite-field diagonalisation, Cauchy cycle cancellation, matching expansions, interpolation, Morley's congruence and first nonzero determinant terms.

Two determinant evaluations in Sun's conjectures involving Legendre symbols

math.NT

v2

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the \(p\equiv1\pmod4\) part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry inverse package for the adjacent minor \([\chi(j-k+1)]_{0\le j,k<(p-1)/2}\). The core evaluation is \[ \det H=\leg{2}{p}(b'_p-a'_p),\qquad U^TH^{-1}U= \begin{pmatrix} \leg{2}{p}\dfrac{pb'_p-a'_p}{b'_p-a'_p}&1\\[2mm] \dfrac{b'_p-a'_p-1}{b'_p-a'_p}&1 \end{pmatrix}, \] where \(U=(\mathbf1,\eta)\) and \(\eta_j=\chi(j)\). The proof uses Vsemirnov's factorisation of Chapman's matrix and an adjacent cofactor calculation. The second result resolves Conjecture 4.10(i) for \(p\equiv1\pmod4\) in a stronger form: for any ordered half-system modulo sign and all \(u,v\in\mathbb F_p\), the determinant is evaluated exactly modulo \(p\). This second proof is a two-antidiagonal Vandermonde factorisation, and it gives the asserted square class as an immediate corollary.

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

math.NT

v2

A unitary perfect number is a positive integer n satisfying \sigma^*(n)=2n, where \sigma^* 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 \Phi_{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 Local Valuation Criterion for Quadratic-Permutation Interleaved Zadoff--Chu Sequences

math.NT

cs.IT

math.IT

v2

Berggren and Popovi\'c introduced quadratic-permutation-polynomial interleaved Zadoff--Chu sequences and, from exhaustive data, conjectured that all normalized QPP-interleaved Zadoff--Chu sequences are inequivalent to ordinary Zadoff--Chu sequences precisely for prime-power lengths $N=p^n$ with $p>3$ and $n>1$. We give an exact local arithmetic criterion. For a normalized QPP $\pi_{a,b}(k)=ak^2+bk\pmod N$, the interleaved sequence is equivalent, under the standard five CAZAC-preserving operations, to a Zadoff--Chu sequence if and only if, for every prime power $p^\alpha\Vert N$, the valuation of $a$ satisfies \[ \nu_p(a)\ge \begin{cases} 0, & p=2,\ \alpha=1,\\ \alpha-1, & p=2,\ \alpha\ge2,\\ \alpha-1, & p=3,\\ \alpha, & p>3. \end{cases} \] The proof is based on a third finite-difference invariant of the lifted Zadoff--Chu phase, namely \[ \Delta^3\bigl((ak^2+bk+\varepsilon_N+2q)(ak^2+bk)\bigr) =12a(2ak+3a+b). \] As a consequence, the conjectured prime-power boundary is not correct: the exact non-vacuous condition for all nonzero normalized QPPs to be inequivalent to Zadoff--Chu sequences is that $N$ is odd, $9\nmid N$, and $p^2\mid N$ for at least one prime $p\ge5$. In particular, $N=75=3\cdot5^2$ is the smallest non-prime-power counterexample to the conjectured ``only if'' direction. A second corollary records the corresponding statement for irreducible QPPs.

Escaping Chaos in Random Multiplicative Functions

math.NT

math.PR

v2

Let $f(n)$ be a Steinhaus random multiplicative function. Let $A\subset [1, N]$ be a finite set of integers. We show that \[\frac{1}{\sqrt{|A|}} \sum_{n\in A} f(n) \xrightarrow[]{d} \mathcal{CN}(0,1)\] forces that $|A|=o(N)$. We prove that the $o(1)$ density is sharp by showing that for most sets $A$, and thus confirm the existence, with density $\rho$ such that $(1-\rho)^{-1} =o((\log \log N)^{1/2})$, we have \[ \frac{1}{\sqrt{(1-\rho) |A|}} \sum_{n\in A} f(n) \xrightarrow{d} \mathcal{CN}(0,1). \] The extra factor $\sqrt{1-\rho}$ makes a difference as long as the density $\rho>0$.

A Uniform Random-Lattice Tail Bound for the SVP Kissing-Profile Parameter

math.NT

math.PR

v2

A recent SICOMP paper on classical and quantum algorithms for the shortest vector problem introduced a lattice-dependent parameter \(\gamma(L)\), bounded universally in the exponential sense by \(2^{0.402n+o(n)}\), and conjectured that this parameter is \(2^{o(n)}\) for most lattices. We prove the Haar--Siegel random-lattice version in a stronger, dimension-uniform form. Let \(X_n=\operatorname{SL}_n(\R)/\operatorname{SL}_n(\Z)\), let \(\mu_n\) be its invariant probability measure, and let \(\gamma(L)=\sup_{r\ge1} N_L(r\lambda_1(L))/r^n\), where \(N_L(R)\) counts nonzero vectors of \(L\) of Euclidean norm at most \(R\). For every \(n\ge3\) and every \(T>0\), \[ \mu_n\{L\in X_n:\gamma(L)>T\}\le C T^{-1} \] with an absolute constant \(C\). Consequently, for every sequence \(a_n\to\infty\), \(\gamma(L_n)\le a_n\) with \(\mu_n\)-probability tending to one; in particular \(\gamma(L_n)=2^{o(n)}\) with high probability. In the product model of independent Haar--Siegel lattices, \(\gamma(L_n)\le \exp(\sqrt n)\) eventually almost surely. The proof uses Rogers's second-moment estimate only through a dyadic self-normalization argument around the random scale \(\lambda_1(L)\).

Prym varieties that are not isomorphic to Jacobian

math.AG

math.NT

v2

We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym varieties that are not isomorphic to jacobians (even if one ignores the polarizations).

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

math.AG

math.NT

v3

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\'{e}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.

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

math.RT

math.AT

math.GR

math.NT

v2

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.

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

math.CO

math.NT

v2

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