2024-12-02 | | Total: 18
We derive a formula for the product of two Dirichlet series satisfying Hecke's functional equation. Several examples are given. At the conclusion of our paper, we address prior work on similar formulas.
Assuming the Generalized Riemann Hypothesis and a pair correlation conjecture for the zeros of Dirichlet $L$-functions, we establish the truth of a conjecture of Montgomery (in its corrected form stated by Friedlander and Granville) on the magnitude of the error term in the prime number theorem in arithmetic progressions. As a consequence, we obtain that, under the same assumptions, the Elliott-Halberstam conjecture holds true.
Finding explicit examples of sequences $(x_n)_{n \in \mathbb{N}}$ with Poissonian pair correlations (PPC) turns out to be a difficult problem. Therefore, this property is often studied in a random setting. While it is known that i.i.d. sequences of uniformly distributed random variables generically have Poissonian pair correlations, the case of dependent random variables has not been addressed in the literature yet. The present paper is the first contribution dealing with the dependent setting. More specifically, sequences of jittered samples and random walks on the torus are investigated. We show here that for the former class, the PPC property depends on how the finite sample is extended to an infinite sequence. Moreover, we prove that the random walk on the torus generically has PPC.
Let $(G,+)$ be an Abelian group. Given $h\in \mathbb{Z}^+$, a non-empty subset $A$ of $G$ is called an $S_h$-set if all the sums of $h$ distinct elements of $A$ are different. We extend the concept of $S_h$-set to a more general context in the context of finite vectorial spaces over finite fields. More precisely, a $\emptyset \neq A\subseteq \mathbb{F}_q^r$ is called an $S_h$-linear set if all the linear combinations of $h$ elements of $A$ are different. We establish a correspondence between $q$-ary linear codes and $S_h$-linear sets. This connection allow us to find lower bounds for the maximum size of $S_h$-sets in $\mathbb{F}_q^r$.
The question of integer complexity asks about the minimal number of $1$'s that are needed to express a positive integer using only addition and multiplication (and parentheses). In this paper, we propose the notion of $l$-complexity of multiples of $l$, which specializes to integer complexity when $l=1$, prove several elementary results on $2$-complexity of even positive integers, and raise some interesting questions on $2$-complexity and in general $l$-complexity.
Given a finite abelian group $\Gamma$, we study the distribution of the $p$-part of the class group $\operatorname{Cl}(K)$ as $K$ varies over Galois extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$ with Galois group isomorphic to $\Gamma$. We first construct a discrete valuation ring $e\mathbb{Z}_p[\Gamma]$ for each primitive idempotent $e$ of $\mathbb{Q}_p[\Gamma]$, such that 1) $e\mathbb{Z}_p[\Gamma]$ is a lattice of the irreducible $\mathbb{Q}_p[\Gamma]$-module $e\mathbb{Q}_p[\Gamma]$, and 2) $e\mathbb{Z}_p[\Gamma]$ is naturally a quotient of $\mathbb{Z}_p[\Gamma]$. For every $e$, we study the distribution of $e\operatorname{Cl}(K):=e\mathbb{Z}_p[\Gamma] \otimes_{\mathbb{Z}_p[\Gamma]} \operatorname{Cl}(K)[p^{\infty}]$, and prove that there is an ideal $I_e$ of $e\mathbb{Z}_p[\Gamma]$ such that $e\operatorname{Cl}(K) \otimes (e\mathbb{Z}_p[\Gamma]/I_e)$ is too large to have finite moments, while $I_e \cdot e\operatorname{Cl}(K)$ should be equidistributed with respect to a Cohen--Lenstra type of probability measure. We give conjectures for the probability and moment of the distribution of $I_e\cdot e\operatorname{Cl}(k)$, and prove a weighted version of the moment conjecture in the function field case. Our weighted-moment technique is designed to deal with the situation when the function field moment, obtained by counting points of Hurwitz spaces, is infinite; and we expect that this technique can also be applied to study other bad prime cases. Our conjecture agrees with the Cohen--Lenstra--Martinet conjecture when $p\nmid |\Gamma|$, and agrees with the Gerth conjecture when $\Gamma=\mathbb{Z}/p\mathbb{Z}$. We also study the kernel of $\operatorname{Cl}(K) \to \bigoplus_e e\operatorname{Cl}(K)$, and show that the average size of this kernel is infinite when $p^2\mid |\Gamma|$.
Ramanujan investigated maximal order for the number of divisors function by introducing some notion such as (superior) highly composite numbers. He also studied maximal order for other arithmetic functions including the sum of powers of divisors function. In this paper we relate zero-free regions for the Riemann zeta-function to maximal order for the sum of powers of divisors function. In particular, we give equivalent conditions for the Riemann hypothesis in terms of the sum of the $1/2$-th powers of divisors function. As a by-product, we also give equivalent conditions for the Riemann hypothesis in terms of the partial Euler product for the Riemann zeta-function.
Let $\mathbb{F}_q$ be the finite field of $q$ elements. We define the Rudin-Shapiro function $R$ on monic polynomials $f=t^n+f_{n-1}t^{n-1}+\dots + f_0\in\mathbb{F}_q[t]$ over $\mathbb{F}_q$ by $$ R(f)=\sum_{i=1}^{n-1}f_if_{i-1}. $$ We investigate the distribution of the Rudin-Shapiro function along the irreducible polynomials. We show, that the number of irreducible polynomials $f$ with $R(f)=\gamma$ for any $\gamma\in\mathbb{F}_q$ is asymptotically $q^{n-1}/n$ as $n\rightarrow\infty$.
We provide a proof of a conjecture by Zhao concerning the structure of certain relations among cyclotomic multiple zeta values in weight two. We formulate this conjecture in a broader algebraic setting in which we give a natural equivalence between two schemes attached to a finite abelian group $G$. In particular, when $G$ is the group of roots of unity, these schemes describe the standard relations among cyclotomic multiple zeta values.
For $i\in \{1,2,3\}$, let $E_i(x)$ denote the error term in each of the three theorems of Mertens on the asymptotic distribution of prime numbers. We show that for each $i\in \{1,2\}$, the Riemann hypothesis is equivalent to the condition $\int_2^X E_i(x)\,\mathrm{d}x>0$ for all $X>2$, and we examine assumptions under which the equivalence also holds for $i=3$. In addition, we generalize this to analogues of Mertens' theorems concerning prime sums twisted by quadratic Dirichlet characters or restricted to arithmetic progressions.
Kantor's Thesis was the first step in unifying the Chabauty-Kim and Lawrence-Venkatesh methods via relative completion. In this work, we refine Kantor's approach by addressing its limitations, achieving the first unification where a dimension inequality between local and global Galois cohomology implies Diophantine finiteness for curves. This results in a new conditional proof of Faltings' and Siegel's theorems and introduces a novel p-adic analytic method for computing rational points on hyperbolic curves, offering advantages over the Chabauty-Kim and Lawrence-Venkatesh approaches. Our technical contributions are threefold. First, we establish the density of Kantor's p-adic period map. Second, our method applies to all curves of genus g >= 2, extending beyond the specific modular curves considered in Kantor's thesis. Third, we resolve the representability problem for Kantor's global Selmer stack. Previously, Kantor's method required additional conjectures in p-adic Hodge theory to represent his Selmer stack--a priori a rigid analytic stack--in a category with a suitable dimension theory. We overcome this by replacing the unipotent completions used in Kim's framework with the unipotent radicals of Kantor's relative completions, derived from monodromy representations associated with the relative cohomology of a Kodaira-Parshin family. Kantor's method is a step toward the Effective Faltings Problem, which seeks not only to establish finiteness of rational points on hyperbolic curves but to compute them explicitly. While the Lawrence-Venkatesh method is unconditional, it has not yet been made effective for any curve. In contrast, the Chabauty-Kim method, though conditional, has been made effective in various settings. Our Unipotent Chabauty-Kim-Kantor method addresses key challenges in Kantor's program and highlights its potential for both theoretical and computational advances.
We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative crystals by certain nilpotent connections, and classify (local) absolute crystals by certain enhanced connections. By using a $p$-adic Riemann--Hilbert functor and an infinite dimensional Sen theory over the Kummer tower, we globalize the results on absolute crystals and further classify them by certain small (global) $\mathbb{B}_{\mathrm{dR}}^+$-local systems.
In this article, we study the relation between the universal deformation rings and big Hecke algebras in the residually reducible case. Following the strategy of Skinner-Wiles and Pan's proof of the Fontaine-Mazur conjecture, we prove a pro-modularity result. Based on this result, we also give a conditional big $R=\mathbb{T}$ theorem over some totally real fields, which is a generalization of Deo's result.
It is well known that there is a somewhat mysterious relation between the area of the quartic Fermat curve $x^4+y^4=1$, aka squircle, and the arc length of the lemniscate $(x^2+y^2)^2=x^2-y^2$. The standardproof of this fact uses relations between elliptic integrals and the gamma function. In this article we generalize this result to relate areas of sectors of the squircle to arc lengths of segments of the lemniscate. We provide a geometric interpretation of this relation and an elementary proof of the relation, which only uses basic integral calculus.
Let $\mathcal{K}=\mathbb{F}_q((x^{-1}))$. Analogous to orthogonality in the Euclidean space $\mathbb{R}^n$, there exists a well-studied notion of ultrametric orthogonality in $\mathcal{K}^n$. In this paper, we extend the work of \cite{AB24} about counting results related to orthogonality in $\mathcal{K}^n$. For example, we answer an open question from \cite{AB24} by bounding the size of the largest ``orthogonal sets'' in $\mathcal{K}^n$. Furthermore, we investigate analogues of Hadamard matrices over $\mathcal{K}$. Finally, we use orthogonality to compute the number of sublattices of $\mathbb{F}_q[x]^n$ with a certain geometric structure, as well as to determine the number of orthogonal bases for a sublattice in $\mathcal{K}^n$. The resulting formulas depend crucially on successive minima.
For non-negative integer parameters $r,u,m,n$ define \begin{align*} \cal{D}(r,u,m,n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \sigma(x)=y \textrm{ for exactly } u \textrm{ pairs } (x,y) \textrm{ such that } 1\leq x,y\leq r \textrm{ and } \sigma(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\} \end{align*} and \begin{align*} \cal{D}_{r,u,m}(n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \forall_{1\leq x<y\leq r} \ x \textrm{ and } y \textrm{ are in disjoint cycles of } \sigma \textrm{ and } \sigma(z)=z \textrm{ for exactly } u \textrm{ elements } 1\leq z\leq r, \textrm{ and } \sigma(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\}, \end{align*} where $\mathcal{S}_{n}$ denotes the set of all the permutations of $\{1,\ldots ,n\}$. In this paper we study connections between the sets $\mathcal{D}(r,u,m,n)$, $\mathcal{D}_{r,u,m}(n)$, and the sets of (some classes of) $r$-derangements. We rely mostly on counting arguments.
The elements of a finite field of prime order canonically correspond to the integers in an interval. This induces an ordering on the elements of the field. Using this ordering, Kiss and Somlai recently proved interesting properties of the set of points below the diagonal line. In this paper, we investigate the set of points lying below a parabola. We prove that in some sense, this set of points looks the same from all but two directions, despite having only one non-trivial automorphism. In addition, we study the sizes of these sets, and their intersection numbers with respect to lines.
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áček from 1969. The proof uses a connection with continued fractions, ``thin orbits,'' and Zaremba's conjecture.