Number Theory [math.NT]

A round of Pintz to celebrate oscillations in sums

math.NT

We outline a method, going back to Landau and developed by Pintz, for connecting sums of arithmetic functions with zero-free regions for $L$-functions. We use the Riemann zeta-function as a prototype, but outline the utility of this method in general.

Pad\'{e} approximations for products of functions

math.NT

In this article, we construct new Pad\'{e} approximations for the \emph{product} of binomial functions and powers of logarithmic functions. While several explicit Pad\'{e} approximants are known for powers of exponential functions, binomial functions, and logarithmic functions individually, an explicit Pad\'{e} construction for the product of these functions has not yet been directly achieved. Our main result yields arithmetic applications, providing new linear independence measures for linear forms in $(1+\alpha)^{\omega_i}\log^{j_i}(1+\alpha)$ for $1 \le i \le m$ and $0 \le j_i \le r_i - 1$, where $0 < m, r_1, \ldots, r_m \in \mathbb{Z}_{\geq 1}$, $\omega_1, \ldots, \omega_m \in \mathbb{Q}$, and $0 \le \omega_1 < \cdots < \omega_m < 1$. These results hold with algebraic coefficients in both the complex and $p$-adic cases. Additionally, we establish that Pad\'{e} approximation of a single polylogarithm is, in general, perfect.

Generalized Hausdorff dimension of irrationals with Lagrange value exactly 3

math.NT

math.DS

We study the generalized Hausdorff dimension of some natural subsets of $k^{-1}(3)$, where $k^{-1}(3)$ consists of the real numbers $x$ for which $\left| x-\frac{p}{q} \right|<\frac{1}{(3+\varepsilon)q^2}$ has infinitely many rational solutions $\frac{p}{q}$ for any $\varepsilon<0$ but only finitely many for any $\varepsilon>0$. It is well known that $k^{-1}(3)$ is an uncountable set with Hausdorff dimension zero. Given any dimension function $h$, we determine the exact "cut point" at which the generalized Hausdorff dimension $\mathcal{H}^h(k^{-1}(3))$ drops from infinity to zero. In particular we show that such a measure is always zero or not $\sigma$--finite, and, as an application, we can classify topologically $k^{-1}(3)$. Moreover, we show that the subset of attainable elements of $k^{-1}(3)$ has the same generalized Hausdorff dimension as $k^{-1}(3)$, but the subset of non--attainable elements of $k^{-1}(3)$ has a "strictly smaller" generalized Hausdorff dimension.

Irreducibility of polynomials with random multiplicative coefficients revisited

math.NT

math.PR

We show that for a random polynomial \[ F(X) = \sum_{n=1}^{N} f(n) X^{n-1}, \] where $f(n)$ is a random completely multiplicative function taking values in $\{\pm 1\}$, one has \[ \limsup_{N \to \infty} \mathbb{P}\big[F(X) \text{ is irreducible}\big] = 1. \]

On binary correlations of Fourier coefficients of holomorphic cusp forms at prime arguments

math.NT

Let $\{\lambda_f(n)\}_{n \geq 1}$ be the normalized Hecke eigenvalues of a given holomorphic cusp form $f$ of even weight $k$. We show under the assumption of the existence of Littlewood's type zero free region for $L(s, f, \chi)$, where $\chi$ is a Dirichlet character modulo $q$, that if $X^{2/3+\varepsilon} \ll H \ll X^{1-\varepsilon}$ with $\varepsilon>0$, then for any $A\geq 1$, $$\sum_{1\leq |h|\leq H}\bigg| \sum_{\substack{X

The $m$-step solvable anabelian geometry of mixed-characteristic local fields

math.NT

math.AG

v4

Let $K$ be a mixed-characteristic local field. For an integer $m \geq 0$, we denote by $K^m / K$ the maximal $m$-step solvable extension of $K$, and by $G_K^m$ the maximal $m$-step solvable quotient of the absolute Galois group $G_K$ of $K$. We regard $G_K$ and its quotients as filtered profinite groups via the respective upper-numbering ramification filtrations. It is known from the previous result due to Mochizuki that the isomorphism class of $K$ is determined by the isomorphism class of the filtered profinite group $G_K$. In this paper, we prove that the isomorphism class of $K$ is determined by the isomorphism class of the maximal $2$-step solvable quotient $G_K^2$ as a filtered profinite group, and furthermore, that $K^m / K$ is determined functorially by the filtered profinite group $G_K^{m + 2}$ (resp. $G_K^{m + 3}$) for $m \geq 2$ (resp. $m = 0, 1$).

Higher a-numbers in $\mathbf{Z}_p$-towers via Counting Lattice Points

math.NT

math.AG

v2

Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $\alpha(n) p^{2n} + \beta(n) p^n + \lambda_r(n) n + \nu(n) $ for $n$ sufficiently large, where $\alpha,\beta,\nu,\lambda_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.

Computations directly on the cuspidal cohomology of congruence subgroups of $\mathrm{SL}(3, \mathbb{Z})$

math.NT

v3

Ash, Grayson, and Green [J. Number Theory 19 (1984), pp. 412-436] compute the action of Hecke operators on a certain subspace of the cohomology of low-level congruence subgroups of $\mathsf{SL}(3, \mathbb{Z})$. This subspace contains the cuspidal cohomology, which is of primary interest. We extend their work, introducing a method that allows for computing the action of Hecke operators directly on the cuspidal cohomology. Using this method, we obtain data for prime level less than 3500, finding seven additional levels at which nonzero cuspidal classes appear and calculating local factors for five of these levels.

Drinfeld Quasi-Modular Forms of Higher Level

math.NT

v2

We study the structure of the vector space of Drinfeld quasi-modular forms for congruence subgroups. We provide representations as polynomials in the false Eisenstein series with coefficients in the space of Drinfeld modular forms (the $E$-expansion), and, whenever possible, as sums of hyperderivatives of Drinfeld modular forms. \\ Moreover, we introduce and study the double-slash operator, and use it to provide a well-posed definition for Hecke operators on Drinfeld quasi-modular forms. We characterize eigenforms and, for the special case of Hecke congruence subgroups $\Gamma_0(\mathfrak n)$, we give explicit formulas for the Hecke action on $E$-expansions.

Coherent sheaves on the stack of Langlands parameters

math.AG

math.NT

math.RT

v3

We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known results as evidences of these conjectures.

Examples for the standard conjecture of Hodge type

math.AG

math.NT

v2

For each prime number $p$ and each integer $g \geqslant 5$, we construct infinitely many abelian varieties of dimension $g$ over $\overline{\mathbb{F}}_p$ satisfying the standard conjecture of Hodge type. The main tool is a recent theorem of Ancona on certain rank $2$ motives. These varieties are constructed explicitly through Honda-Tate theory. Moreover, they have Tate classes that are not generated by divisors nor liftable to characteristic zero. Also, we prove a result towards a classification of simple abelian varieties for which the result of Ancona can be applied to. Along the way, we prove results of independent interest about Honda-Tate theory and about multiplicative relations between algebraic integers.

Canonicalizing zeta generators: genus zero and genus one

math.QA

hep-ph

hep-th

math.AG

math.NT

v3

Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.

Publicly Verifiable Secret Sharing: Generic Constructions and Lattice-Based Instantiations in the Standard Model

cs.CR

cs.IT

math.IT

math.NT

v3

Publicly verifiable secret sharing (PVSS) allows a dealer to share a secret among a set of shareholders so that the secret can be reconstructed later from any set of qualified participants. In addition, any public verifier should be able to check the correctness of the sharing and reconstruction process. PVSS has been demonstrated to yield various applications, such as e-voting, distributed key generation, decentralized random number generation protocols, and multi-party computation. Although many concrete PVSS protocols have been proposed, their security is either proven in the random oracle model or relies on quantum-vulnerable assumptions such as factoring or discrete logarithm. In this work, we put forward a generic construction for PVSS that can be instantiated in the standard model under the Learning With Errors (LWE) assumption. Our instantiation provides the first post-quantum PVSS in the standard model, with a reasonable level of asymptotic efficiency.

Distribution of the roots of Eulerian polynomials

math.CO

math.CA

math.NT

math.PR

v2

We give a new proof that the empirical measures of the roots of Eulerian polynomials converge to a certain log-Cauchy distribution. To do so, we show that each moment of the roots of a related family of polynomials not only converge, but in fact become ultimately constant. These asymptotic moments are expressed in terms of Cauchy numbers of the second kind.