Number Theory [math.NT]

On a conjecture about prime-detecting quasimodular forms

math.NT

Motivated by weighted partition of $n$ that vanish if and only if $n$ is a prime, Craig, van Ittersum, and Ono conjecture a classification of quasimodular forms which detect primes in the sense that the $n$-th Fourier coefficient vanishes if and only if $n$ is a prime. In this paper, we prove this conjecture by showing that Fourier coefficients of quasimodular cusp forms exhibit infinitely many sign changes.

Averaging quadratically twisted $L$-values and their derivatives

math.NT

In this paper, we unconditionally establish an asymptotic formula for the product of the quadratically twisted central $L$-value associated to a holomorphic cusp form $f$, and the quadratically twisted central $L$-derivative to a distinct holomorphic cusp form $g$. This result may be viewed as an extension of \cite{Li-MR4768632}, \cite{Kumar.etc-MR4765788} and \cite{zhou2025momentderivativesquadratictwists}.

Distribution of Farey fractions with $k$-free denominators

math.NT

We study the global and local distribution of Farey fractions with $k$-free denominators in residue classes defined as \[\mathscr{F}_{Q,k}^{(m)}:=\left\{\frac{a}{q}\ |\ 1\leq a\leq q\leq Q,\ \gcd(a,q)=1,\ q\ \text{is}\ k\text{-free}\ \&\ q\equiv b\pmod{m} \right\}.\] We show that $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$ is equidistributed modulo one, and prove analogues of the classical results of Franel, Landau, and Niederreiter for $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$, particularly, deriving an equivalent form of the generalized Riemann hypothesis (GRH) in terms of the distribution of $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$. Additionally, we study the local distribution of these sequences. We establish formulas for all levels of correlation measure. Specifically, we show the existence of the limiting pair correlation function and provide an explicit expression for it. Our results are based upon the estimation of weighted Weyl sums and weighted lattice point counting in restricted domains.

On quantum ergodicity for higher dimensional cat maps modulo prime powers

math.NT

math-ph

math.DS

math.MP

A discrete model of quantum ergodicity of linear maps generated by symplectic matrices $A \in \mathrm{Sp}(2d,\mathbb{Z})$ modulo an integer $N\ge 1$, has been studied for $d=1$ and almost all $N$ by P. Kurlberg and Z. Rudnick (2001). Their result has been strengthened by J. Bourgain (2005) and subsequently by A. Ostafe, I. E. Shparlinski, and J. F. Voloch (2023). For arbitrary $d$ this has been studied by P. Kurlberg, A. Ostafe, Z. Rudnick and I. E. Shparlinski (2024). The corresponding equidistribution results, for certain eigenfunctions, share the same feature: they apply to almost all moduli $N$ and are unable to provide an explicit construction of such ``good'' values of $N$. Here, using a bound of I. E. Shparlinski (1978) on exponential sums with linear recurrence sequences modulo a power of a fixed prime, we construct such an explicit sequence of $N$, with a power saving on the discrepancy.

Polynomials associated to Lie algebras

math.NT

We associate to a semisimple complex Lie algebra $\mathfrak{g}$ a sequence of polynomials $P_{\ell,\mathfrak{g}}(x)\in\mathbb{Q}[x]$ in $r$ variables, where $r$ is the rank of $\mathfrak{g}$ and $\ell=0,1,2,\ldots $. The polynomials $P_{\ell,\mathfrak{g}}(x)$ are uniquely associated to the isomorphism class of $\mathfrak{g}$, up to re-numbering the variables, and are defined as special values of a variant of Witten's zeta function. Another set of polynomials associated to $\mathfrak{g}$ were defined in 2008 by Komori, Matsumoto and Tsumura using different special values of another variant of Witten's zeta function.

Applications of Fa\`{a} di Bruno's formula to partition traces

math.NT

math.CO

We revisit several partition-theoretic generating functions, including the theta quotients from Ramanujan's lost notebook, MacMahon's partition functions, and reciprocal sums of parts in partitions, through the lens of the classical Fa\`{a} di Bruno formula. This approach offers a unified and natural reinterpretation of known results and provides a systematic framework for deriving new identities of a similar type.

Counting abelian number fields with restricted ramification type

math.NT

We count abelian number fields ordered by arbitrary height function whose generator of tame inertia is restricted to lie in a given subset of the Galois group, and find an explicit formula for the leading constant. We interpret our results as a version of the Batyrev-Manin conjecture on $BG$ and rephrase our result on number fields with restricted ramification type in terms of integral points on $BG$. We also prove that such number fields are equidistributed with respect to suitable collections of infinitely many local conditions.

On the Frobenius Problem for Some Generalized Fibonacci Subsequences -- II

math.NT

For a set $A$ of positive integers with $\gcd(A)=1$, let $\langle A \rangle$ denote the set of all finite linear combinations of elements of $A$ over the non-negative integers. Then it is well known that only finitely many positive integers do not belong to $\langle A \rangle$. The Frobenius number and the genus associated with the set $A$ is the largest number and the cardinality of the set of integers non-representable by $A$. By a generalized Fibonacci sequence $\{V_n\}_{n \ge 1}$ we mean any sequence of positive integers satisfying the recurrence $V_n=V_{n-1}+V_{n-2}$ for $n \ge 3$. We study the problem of determining the Frobenius number and genus for sets $A=\{V_n, V_{n+d}, V_{n+2d}, \ldots \}$ for arbitrary $n$ and even $d$.

Murmurations of Modular Forms and $p$-power Coefficients

math.NT

We extend the work of N. Zubrilina on murmuration of modular forms to the case when prime-indexed coefficients are replaced by squares of primes. Our key observation is that the shape of the murmuration density is the same.

Permutation polynomials of the form $x+\gamma \mathrm{Tr}(H(x))$

math.NT

Given a polynomial \( H(x) \) over \(\mathbb{F}_{q^n}\), we study permutation polynomials of the form \( x + \gamma \mathrm{Tr}(H(x)) \) over \(\mathbb{F}_{q^n}\). Let \[P_H=\{\gamma\in \mathbb{F}_{q^n} : x+\gamma \mathrm{Tr}(H(x))~\text{is a permutation polynomial}\}.\] We present some properties of the set \(P_H\), particularly its relationship with linear translators. Moreover, we obtain an effective upper bound for the cardinality of the set \(P_H\) and show that the upper bound can reach up to $q^n - q^{n - 1}$. Furthermore, we prove that when the cardinality of the set \(P_H\) reaches this upper bound, the function \(\mathrm{Tr}(H(x))\) must be an \(\mathbb{F}_q\)-linear function. Finally, we study two classes of functions $H(x)$ over \(\mathbb{F}_{q^2}\) and determine the corresponding sets $P_H$. The sizes of these sets $P_H$ are all relatively small, even only including the trivial case.

Density of algebraic points on products of curves

math.NT

math.AG

In this paper, we initiate the systematic study of density of algebraic points on surfaces. We give an effective asymptotic range in which the density degree set has regular behavior dictated by the index. By contrast, in small degree, the question of density is subtle and depends on the arithmetic of the curves. We give several explicit examples displaying these different behaviors, including products of genus $2$ curves with and without dense quadratic points. These results for products of curves have applications to questions about algebraic points on closely related surfaces, such as rank growth on abelian surfaces and bielliptic surfaces.

Une remarque sur l'invariant de Arf

math.NT

An alternative construction, using Witt's formalism, of the Arf-invariant of quadratic forms in characteristic 2.

Density of integral points in the Betti moduli of quasi-projective varieties

math.AG

math.GT

math.NT

Let $Y$ be a smooth quasi-projective complex variety equipped with a simple normal crossings compactification. We show that integral points are potentially dense in the (relative) character varieties parametrizing $SL_2$-local systems on $Y$ with fixed algebraic integer traces along the boundary components. The proof proceeds by using work of Corlette-Simpson to reduce to the case of Riemann surfaces, where we produce an integral point with Zariski-dense orbit under the mapping class group.

On multiplicities in length spectra of semi-arithmetic hyperbolic surfaces

math.GR

math-ph

math.MP

math.NT

We show that semi-arithmetic surfaces of arithmetic dimension two which admit a modular embedding have exponential growth of mean multiplicities in their length spectrum. Prior to this work large mean multiplicities were rigorously confirmed only for the length spectra of arithmetic surfaces. We also discuss the relation of the degeneracies in the length spectrum and quantization of the Hamiltonian mechanical system on the surface.

Sums and products in sets of positive density

math.CO

math.DS

math.NT

We develop an analytic approach that draws on tools from Fourier analysis and ergodic theory to study Ramsey-type problems involving sums and products in the integers. Suppose $Q$ denotes a polynomial with integer coefficients. We establish two main results. First, we show that if $Q(1) = 0$, then any set of natural numbers with positive upper logarithmic density contains a pair of the form $\{x + Q(y), xy\}$ for some $x, y \in \mathbb{N} \setminus \{1\}$. Second, we prove that if $Q(0) = 0$, then any set of natural numbers with positive density relative to a new multiplicative notion of density, which arises naturally in the context of such problems, contains $\{x + Q(y), xy\}$ for some $x, y \in \mathbb{N}$.

Local square mean in the hyperbolic circle problem

math.NT

v2

Let $\Gamma\subseteq PSL_2({\bf R})$ be a finite volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the $\Gamma$-orbit of $z$ in a hyperbolic circle around $w$ of radius $R$, where $z$ and $w$ are given points of the upper half plane and $R$ is a large number. An estimate with error term $e^{{2\over 3}R}$ is known, and this has not been improved for any group. Petridis and Risager proved that in the special case $\Gamma =PSL_2({\bf Z})$ taking $z=w$ and averaging over $z$ locally the error term can be improved to $e^{\left({7\over {12}}+\epsilon\right)R}$. Here we show such an improvement for the local $L^2$-norm of the error term. Our estimate is $e^{\left({9\over {14}}+\epsilon\right)R}$, which is better than the pointwise bound $e^{{2\over 3}R}$ but weaker than the bound of Petridis and Risager for the local average.

The Fourier transform of planar convex bodies and discrepancy over intervals of rotations

math.NT

math.MG

v3

This work studies the Fourier transform of the characteristic function of planar convex bodies averaged over affine transformations. We establish lower and upper bounds on the latter quantities in terms of the geometric properties of the bodies considered. The second matter of study is the affine quadratic discrepancy of planar convex bodies, and we present sharp results on its asymptotic behaviour. In particular, we address averages over intervals of rotations, answering an open question of Bilyk and Mastrianni.

A Jacquet-Langlands functor for $p$-adic locally analytic representations

math.NT

math.RT

v2

We study the locally analytic theory of infinite level local Shimura varieties. As a main result, we prove that in the case of a duality of local Shimura varieties, the locally analytic vectors of different period sheaves at infinite level are independent of the actions of the $p$-adic Lie groups $G$ and $G_b$ of the two towers; this generalizes a result of Pan for the Lubin-Tate and Drinfeld spaces for $GL_2$. We apply this theory to show that the $p$-adic Jacquet-Langlands functor of Scholze commutes with the passage to locally analytic vectors, and is compatible with central characters of Lie algebras. We also prove that the compactly supported de Rham cohomology of the two towers are isomorphic as smooth representations of $G\times G_b$.

Conjunctions of Three "Euler Constants" in Poisson-Related Expressions

math.NT

math.PR

v4

Three mathematical constants bear the name of the venerable Leonhard Euler: Euler's number, $e=2.718281\ldots$; the Euler-Mascheroni constant, $\gamma=0.577216\ldots$; and the Euler-Gompertz constant, $\delta=0.596347\ldots$. In the present work, we consider two joint appearances of these constants, one in a well-known equation of Hardy (interpretable in connection with inverse second moments of the Poisson probability distribution), and the other from a sequence of probabilities generated by recursively conditional Exponential (i.e., Poisson-event waiting-time) distributions. In both cases, we explore generalizations of the initial observations to offer more comprehensive results, including extensions of Hardy's equation.

Counting integral points near space curves: a Fourier analytic approach

math.NT

math.CA

v2

We establish upper and lower bounds for the number of integral points which lie within a neighbourhood of a smooth nondegenerate curve in $\mathbb{R}^n$ for $n\geq 3$. These estimates are new for $n\geq 4$, and we recover an earlier result of J. J. Huang for $n=3$. However, we do so by using Fourier analytic techniques which, in contrast with the method of Huang, do not require the sharp counting result for planar curves as an input. In particular, we rely on an Arkhipov--Chubarikov--Karatsuba-type oscillatory integral estimate.

Hilbert's Theorem 90, periodicity, and roots of Artin-Schreier polynomials

math.NT

math.AC

math.GR

v2

Let $E/F$ be a cyclic field extension of degree $n$, and let $\sigma$ generate the group ${\rm Gal}(E/F)$. If ${\rm Tr}^E_F(y)=\sum_{i=0}^{n-1}\sigma^i y=0$, then the additive form of Hilbert's Theorem 90 asserts that $y=\sigma x-x$ for some $x\in E$. When $E$ has characteristic $p>0$ we prove that $x$ gives rise to a periodic sequence $x_0,x_1,\dots$ which has period $pn_p$, where $n_p$ is the largest $p$-power that divides $n$. We also show, if $y$ lies in the finite field $\mathbb{F}_{p^n}$, then the roots of a reducible Artin-Schreier polynomial $t^p-t-y$ have the form $x+u$ where $u\in\mathbb{F}_p$ and $x=\sum_{i=0}^{n-1}\sum_{j=0}^{i-1}z^{p^j}y^{p^i}$ for some $z\in\mathbb{F}_{p^e}$ with $e=n_p$. Furthermore, the sequence $\left(\sum_{j=0}^{i-1}z^{p^j}\right)_{i\ge0}$ is periodic with period $pe$.

On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums

math.NT

v3

As a complement to our previous article, in this paper we determine the explicit values of $\det\left[J_p(\chi^{ki},\chi^{kj})\right]_{1\le i,j\le n-1}$ and $\det \left[J_p(\chi^{ki},\chi^{kj})\right]_{0\le i,j\le n-1}$, where $p$ is a prime, $1\le k

An improved large sieve for quadratic characters via Hooley neutralisers and its applications

math.NT

v2

We combine Hooley neutralisers and the large sieve for quadratic characters. We give applications to character sums with a hyperbolic height condition.

Spanning trees and continued fractions

math.CO

math.NT

v2

We prove the exponential growth of the cardinality of the set of numbers of spanning trees in simple (and planar) graphs on $n$ vertices, answering a question of Sedl\'a\v{c}ek from 1969. The proof uses a connection with continued fractions, ``thin orbits,'' and Zaremba's conjecture.

On the Sumset of Sets of Size $k$

math.CO

math.NT

v2

The set $\mathcal{R}_{G}(h,k)$ consists of all possible sizes for the $h$-fold sumset of sets containing $k$ elements from an additive abelian group $G$. The exact makeup of this set is still unknown, but there has been progress towards determining which integers are present. We know that $\mathcal{R}_{G}(h,k)\subseteq\left[hk-h+1,\binom{h+k-1}{h}\right]$, where the right side is an interval of integers that includes the endpoints. These endpoints are known to be attained. We will prove that the integers in $\left[hk-h+2,hk-1\right]$ are not possible sizes for the $h$-fold sumset of a set containing $k\geq 4$ elements of a torsion-free additive abelian group $G$. Furthermore, we will confirm that this interval can't be made larger by exhibiting a subset of $G$ whose $h$-fold sumset has size $hk$.

(Strange) gamma evaluations

math.CA

math.CO

math.NT

v2

We review "creative" strategies of closed-form evaluations of hypergeometric functions.

The Neighbour Sum Problem on Trees

math.CO

math.NT

v2

A graph $\mathcal G = (\mathcal V, \mathcal E)$ is said to satisfy the Neighbour Sum Property if there exists some $f:\mathcal V\to\mathbb R$ such that $f\not\equiv 0$ and it maps every vertex to the sum of the values taken by its neighbours. In this article, we provide an algorithm to check whether a given finite tree satisfies the neighbour sum property. We also find a large class of trees on $n$ vertices that satisfy the property.