Number Theory [math.NT]

On the sizes of the maximal prime powers divisors of factorials

math.NT

Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes $q > p$. For twin primes $p$ and $q = p + 2$ it is proved that the minimal $n_0$ satisfying $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ is given by $n_0 = (p^2+p)/2$.

Improving bounds for value sets of polynomials over finite fields

math.NT

Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$, and let $f \in \mathbb{F}_{q}[x]$ be a polynomial of degree $d > 0$. Denote the image set of this polynomial as $V_{f}=\{f(\alpha)\mid\alpha\in\mathbb{F}_{q}\}$ and denote the cardinality of this set as $N_{f}$. A much sharper bound for $N_{f}$ is established in this paper. In particular, for any $p\neq 2, 3$, and for nearly every generic quartic polynomial $f \in \mathbb{F}_{q}[x]$, we obtain $$\lvert N_f - \frac{5}{8} q \rvert \leq \frac{1}{2}\sqrt{q} + \frac{3}{4},$$ which holds as a simple corollary of the main result.

The Waring Problem of Harmonic Polynomials

math.NT

math.RA

This paper investigates the Waring problem of harmonic polynomials. By characterizing the annihilating ideal of a homogeneous harmonic polynomial, i.e., a real binary form that is in the kernel of the Laplacian, we show that its Waring rank equals its degree. Moreover, we show that any linear form can appear in a minimal Waring decomposition of a homogeneous harmonic polynomial, implying that the forbidden locus is empty. We also provide an explicit algorithm for computing the minimal Waring decompositions.

Rank metric codes from Drinfeld modules

math.NT

cs.IT

math.CO

math.IT

We establish a connection between Drinfeld modules and rank metric codes, focusing on the case of semifield codes. Our framework constructs rank metric codes from linear subspaces of endomorphisms of a Drinfeld module, using tools such as characteristic polynomials on Tate modules and the Chebotarev density theorem. We show that Sheekey's construction [She20] fits naturally into this setting, yielding a short conceptual proof of one of his main results. We then give a new construction of infinite families of semifield codes arising from Drinfeld modules defined over finite fields.

On difference sets of dense subsets of $\mathbb{Z}^2$

math.NT

math.CO

math.DS

In this article, we study the structure of the difference set $E - E$ for subsets $E \subseteq \mathbb{Z}^2$ of positive upper Banach density. In [Proc. Amer. Math. Soc. 146 (2018), 3449-3453, Problem 2] Fish asked whether, for every such set $E$, there exists a nonzero integer $k$ such that \[ k \cdot \mathbb{Z} \subseteq \{\, xy : (x,y) \in E - E \,\}. \] Although this question remains open, we establish a relatively weaker form of this conjecture. Specifically, we prove that there exist infinitely many integers $k \in \mathbb{Z}$ and a sequence $\langle x_n \rangle_{n \in \mathbb{N}}$ in $\mathbb{Z}$ such that \[ k \cdot FS(\langle x_n \rangle_{n \in \mathbb{N}}) \subseteq \{\, xy : (x,y) \in E - E \,\}, \] where $FS(\langle x_n \rangle)$ denotes the finite sums set generated by the sequence.

Weight filtration of Hurwitz spaces and quantum shuffle algebras

math.NT

math.AG

math.QA

We prove an equivalence between filtrations of primitive bialgebras and filtrations of factorizable perverse sheaves, generalizing the results obtained by Kapranov-Schechtman. Under this equivalence, we find that the word length filtration of quantum shuffle algebras as defined in Ellenberg-Tran-Westerland corresponds to the codimension filtration of factorizable perverse sheaves. Furthermore, we find that the geometric weight filtration of factorizable perverse sheaves corresponds to a filtration on quantum shuffle algebras which has not been previously defined in the literature, and we call this the algebraic weight filtration. To apply this to Hurwitz spaces, we prove a comparison theorem between the weight filtrations for Hurwitz spaces over $\mathbb F_p$ and $\mathbb C$, generalizing the comparison theorem of Ellenberg-Venkatesh-Westerland. This allows us to determine the cohomological weights for Hurwitz spaces explicitly using the algebraic weight filtration of the corresponding quantum shuffle algebra. As a consequence, we find that most weights of Hurwitz spaces are smaller than expected from cohomological degree, and we prove explicit nontrivial upper bounds for weights in some cases, such as when $G=S_3$ and $c$ is the conjugacy class of transpositions.

Sets of distinct representations of numbers in numeral systems with a natural base and a redundant alphabet

math.NT

In this work, we study a numeral system with a natural base $s \geq 2$ and a redundant alphabet $A_r=\{0,1, \dots, r\}$, where $s \leq r \leq 2s-2$. We investigate the topological, metric, and fractal properties of the set of numbers in the interval $\left[0,\frac{r}{s-1}\right]$ that admit a unique representation $x=\sum\limits_{n=1}^{\infty}\frac{\alpha_n} {s^n}\equiv\Delta^{r_s}_{\alpha_1\alpha_2...\alpha_n...}$, $\alpha_n\in A_r$. The criterion for the uniqueness of the number representation is established. It is proved that the Hausdorff--Besicovitch dimension of the set of numbers with a unique representation is equal to $\frac{\ln(2s-r-1)}{\ln s}$. An analysis of the quantity of representations of numbers having purely periodic representations with a simple period (a single-digit period) is carried out. It is proved that the set of numbers that admit a continuum of distinct representations has full Lebesgue measure. Conditions for a number to belong to this set are given in terms of one of its representations.

There are consecutive cubic fields with large class numbers, when ordered by discriminant

math.NT

We consider cubic number fields ordered by their discriminants, and show that there exist arbitrarily long sequences that contain only fields with class numbers greater than a given bound.

Restricted overpartitions and concave compositions: their modularity and asymptotics

math.NT

In this paper we study restricted overpartitions and concave compositions. Using q-series transformations, we show that their generating functions are related to modular forms, mock theta functions, false theta functions, and mock Maass theta functions. Moreover, we obtain their asymptotic main terms. We also study related rank statistics.

On a conjecture of Andrews and Bachraoui

math.NT

Recently, Andrews and Bachraoui considered a generating function $F_{k,m}(q)$ associated with certain two-color partitions, and conjectured that this function has non-negative coefficients for $m=1$. They showed this property for $1 \leq k \leq 4$. In this note, we prove that $F_{k,1}(q)$ has non-negative coefficients for $5 \leq k \leq 10$. Moreover, we show that, as $k\to\infty$, $F_{k,1}(q)$ is related to Ramanujan's third order mock theta function $\omega(q)$ and to quotients of certain $q$-binomial coefficients.

Landau-Siegel zeros of Rankin-Selberg $L$-functions

math.NT

We establish standard zero-free regions with no exceptional Landau-Siegel zeros for Rankin-Selberg $L$-functions and triple product $L$-functions in several new families for which modularity is not yet known.

Notes on Ecalle's and Brown's solutions to the double shuffle reltions modulo products

math.QA

math.NT

We investigate relationships between polar/polynomial solutions to the double shuffle relations modulo products, which were independently introduced by Brown and Ecalle.

P-adic Asai L-functions for quadratic Hilbert eigenforms

math.NT

v4

We construct p-adic Asai L-functions for cuspidal automorphic representations of GL2 / F, where F is a real quadratic field in which p splits. Our method relies on higher Hida theory for Hilbert modular surfaces with Iwahori level at one prime above p.

Nondegeneracy and Sato-Tate Distributions of Two Families of Jacobian Varieties

math.NT

math.AG

v2

We consider the curves $y^2=x^{2^m} -1$ and $y^2=x^{2^{d}+1}-x$ over the rationals. These curves are related via their associated Jacobian varieties in that the Jacobians of the latter appear as factors of the Jacobians of the former. One of the principal aims of this paper is to fully describe their Sato-Tate groups and distributions by determining generators of the component groups. In order to do this, we first prove the nondegeneracy of the two families of Jacobian varieties via their Hodge groups. We then use results relating Sato-Tate groups and twisted Lefschetz groups of nondegenerate abelian varieties to determine the generators of the associated Sato-Tate groups. The results of this paper add new examples to the literature of families of nondegenerate Jacobian varieties and of noncyclic component groups of Sato-Tate groups. Furthermore, we compute moment statistics associated to the Sato-Tate groups which can be used to verify the equidistribution statement of the generalized Sato-Tate conjecture by comparing them to moment statistics obtained for the traces in the normalized $L$-polynomials of the curves.

Hammersley Point Sets and Inverse of Star-Discrepancy

math.NT

cs.NA

math.NA

v3

We establish the existence of $N$-point sets in dimension $d$ whose star-discrepancy is bounded above by $2.4631832 \sqrt{\frac{d}{N}}$, where the numerical constant improves upon all previously known bounds. This improvement is obtained by combining a recent result by Gnewuch on bracketing numbers in high dimensions with discrepancy bounds for Hammersley point sets due to Atanassov in dimensions $1 \leq d \leq 4$.

Finite length for unramified $\mathrm{GL}_2$

math.NT

math.RT

v3

Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. If $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we prove that the admissible smooth representations of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. We also prove many new structural results about these representations of $\mathrm{GL}_2(K)$ and their subquotients.

Antiquantum $q$-series identities and mock theta functions

math.NT

v2

Ramanujan's original definition of mock theta functions from 1920 involves their asymptotic behaviors at roots of unity on the boundary of the disk of convergence $|q|<1$. More recently this topic has been related by several authors, including the first author with Ono and Rhoades in 2013, to quantum modular forms, first defined in 2010 by Zagier. In 2021, Lovejoy defined and studied related quantum $q$-series identities, which do not hold as equalities between power series inside the disk $|q|<1$ but which do hold on dense subsets of roots of unity on the boundary. Inspired by this, in our prior joint work from 2024 we further studied quantum $q$-series identities as related to mock theta functions and quantum modular forms; we also defined and studied antiquantum $q$-series identities, between series which are equal inside the disk $|q|<1$ but which hold at dense sets of roots of unity on the boundary for which one of the series diverges and is unnaturally truncated. Here, building from our previous work, we establish antiquantum $q$-series identities for all of Ramanujan's third order mock theta functions. We deduce these results in part by establishing and applying more general identities which are also of independent interest, and by using the theory of modular eta-quotients.

Hecke $L$-functions Away From The Central Line

math.NT

v2

We compute the first moment of cubic Hecke $L$-functions over $\mathbb{Q}(\sqrt{-3})$ evaluated at any $s$ inside the critical strip. The first moment for $s<\frac{1}{2}$ is particularly interesting, and we show there is a phase transition at $s=\frac{1}{3}$. This extends the analogue result of David-Meisner for the first moment over function fields. As in their work, the computation of the moment at $s=\frac{1}{3}$ relies on a cancellation between two terms which are a priori not related: a main term of the principal sum which comes from cubes, and the contribution from infinitely many residues of Dirichlet series of cubic Gauss sums to the dual sum. The cancellation also improves the error term and exhibits a secondary term for all $s$. In particular, at $s=\frac{1}{2}$, we prove the existence of a secondary term of size $Q^{5/6}$, where the size of the family is $Q$. We conjecture that a similar behaviour would hold for higher order Hecke $L$-functions attached to $\ell^{th}$ order residue symbols, refining a function field conjecture of David and Meisner. The proof follows the steps of writing $L(s,\chi)$ as two finite sums with the approximate functional equation. Two main ingredients are then exploited: the bound on the second moment of $L(1/2+it,\chi)$ that follows from Heath-Brown's cubic large sieve, and the deep work of Kubota and Patterson which connects the Dirichlet series of cubic Gauss sums to metaplectic forms, and gives a formula for its residues in terms of the Fourier coefficients of metaplectic theta functions. This is only known for cubic Gauss sums, and not for general Gauss sums of order $\ell\geq 4$.

Mahler measure, motivic regulators and Dirichlet $L$-values

math.NT

v2

Inspired by the work of Deninger, we present a formula that relates the Mahler measure of a two-variable variant of cyclotomic polynomial to regulator of class in motivic cohomology associated to cyclotomic fields and linear combination of special values of the derivative of Dirichlet $L$-functions. The formula is derived by studying the Beilinson regulator map applied to systematically constructed elements in the motivic cohomology group. Under linear independence hypothesis on the derivative of partial Dirichlet $L$-values at $s=0$ and $-1$, we study a Galois module structure of the relevant motivic cohomology and obtain the refined identity for a single $L$-value.

Two-sided cells of Weyl groups and certain splitting Whittaker polynomials

math.RT

math.NT

v3

Consider the subset of a Weyl group with a fixed descent set. For Weyl groups of classical types, we determine the number of two-sided cells this subset intersect. Moreover, we apply this result to prove that certain rational Whittaker polynomials associated with covering groups split over the field of rational numbers.

Distribution of the cokernels of determinantal row-sparse matrices

math.PR

math.CO

math.NT

v2

We study the distribution of the cokernels of random row-sparse integral matrices $A_n$ according to the determinantal measure from a structured matrix $B_n$ with a parameter $k_n \ge 3$. Under a mild assumption on the growth rate of $k_n$, we prove that the distribution of the $p$-Sylow subgroup of the cokernel of $A_n$ converges to that of Cohen--Lenstra for every prime $p$. Our result extends the work of A. M\'esz\'aros which established convergence to the Cohen--Lenstra distribution when $p \ge 5$ and $k_n=3$ for all positive integers $n$.