Cyclotomy of symmetric polynomials
We prove some new identities for homogeneous symmetric polynomials when evaluated at roots of unity. Some of these formulas are applied to obtain new insights onto cyclotomic polynomials.
math.NT↗
arXiv subjects
Maurizio Laporta
Publications and source records attributed to Maurizio Laporta.
Divisibility criteria and coefficient formulas for cyclotomic polynomials
We establish necessary and sufficient conditions for a polynomial to be divisible by a cyclotomic polynomials and derive new formulas involving Ramanujan sums as an application of our results. Additionally, we provide new insights into the coefficients of cyclotomic polynomials and we propose a recursive relation between the coefficients of two cyclotomic polynomials whose indexes differ by a prime factor.
math.NT↗
Approximating the divisor functions
We exploit the properties of a sequence of functions that approximate the divisor functions and combine them with an analytical formula of a delta-like sequence to give a new proof of a theorem of Gronwall on the asymptotic of the divisor functions.
math.NT↗
On Ramanujan expansions and primes in arithmetic progressions
A celebrated theorem of Delange gives a sufficient condition for an arithmetic function to be the sum of the associated Ramanujan expansion with the coefficients provided by a previous result of Wintner. By applying the Delange theorem to the correlation of the von Mangoldt function with its incomplete form, we deduce an inequality involving the counting function of the prime numbers in arithmetic progressions. A remarkable aspect is that such an inequality is equivalent to the famous conjectural formula by Hardy and Littlewood for the twin primes.
math.NT↗
The Hardy-Littlewood conjectures on the twin primes and the binary Goldbach problem are true
A celebrated conjecture of Hardy and Littlewood provides with an asymptotic formula for the counting function of the twin primes. We give an unconditional proof of such a formula by means of a finite Ramanujan expansion of the counting function expressed in terms of the von Mangoldt function and its incomplete form. In a completely analogous way, we solve the conjugate conjecture on the representations of any even integer as the sum of two prime numbers.
math.GM↗
Sieve functions in arithmetic bands, II
An arithmetic function $f$ is called a $sieve$ $function$ of $range$ $Q$ if its Eratosthenes transform $g=f\astμ$ has support in $[1,Q]$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). We continue our study of the distribution of such functions over short $arithmetic$ $bands$, $n\equiv ar+b\, (\bmod\,q)$, with $1\le a\le H=o(N)$ and $r,b$ integers such that g.c.d.$(r,q)=1$. In particular, we discuss the optimality of some results.
math.NT↗
Sieve functions in arithmetic bands
An arithmetic function $f$ is called a {\it sieve function of range} $Q$, if its Eratosthenes transform $g=f\astμ$ is supported in $[1,Q]\cap\N$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). Here, we study the distribution of $f$ over short {\it arithmetic bands} $\cup_{1\le a\le H}\{n\in(N,2N]: n\equiv a\, (\bmod\,q)\}$, with $H=o(N)$, and give applications to both the correlations and to the so-called weighted Selberg integrals of $f$, on which we have concentrated our recent research.
math.NT↗
Symmetry and short interval mean-squares
The weighted Selberg integral is a discrete mean-square, that is a generalization of the classical Selberg integral of primes to an arithmetic function $f$, whose values in a short interval are suitably attached to a weight function. We give conditions on $f$ and select a particular class of weights, in order to investigate non-trivial bounds of weighted Selberg integrals of both $f$ and $f\astμ$. In particular, we discuss the cases of the symmetry integral and the modified Selberg integral, the latter involving the Cesaro weight. We also prove some side results when $f$ is a divisor function.
math.NT↗
A note on the exponential sums of the localized divisor functions
We prove an upper bound for the exponential sum associated to a localized $k-$divisor function, i.e., the counting function of the number of ways to write a positive integer $n$ as a product of $k\ge 2$ positive integers, each of them belonging to a specified interval. In particular, this gives an estimate for the exponential sum for the $k-$divisor function, $d_k(n)$.
math.NT↗
On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals, III
An arithmetic function $f$ is called a sieve function of range $Q$, if it is the convolution product of the constantly $1$ function and $g$ such that $g(q)\ll_{\varepsilon} q^{\varepsilon}$, $\forall\varepsilon>0$, for $q\leq Q$, and $g(q)=0$ for $q>Q$. Here we establish a new result on the autocorrelation of $f$ by using a famous theorem on bilinear forms of Kloosterman fractions by Duke, Friedlander and Iwaniec. In particular, for such correlations we obtain non-trivial asymptotic formulæ that are actually unreachable by the standard approach of the distribution of $f$ in the arithmetic progressions. Moreover, we apply our asymptotic formulæ to obtain new bounds for the so-called Selberg integral and symmetry integral of $f$, which are basic tools for the study of the distribution of $f$ in short intervals.
math.NT↗
Some optimal links between generations of correlation averages
For a real-valued and essentially bounded arithmetic function $f$, i.e., $f(n)\ll_{\varepsilon}\!n^{\varepsilon},\,\forall\varepsilon\!>\!0$, we \enspace give some optimal links between non-trivial bounds for the sums $\sum_{h\le H}\sum_{N<n\le 2N}f(n)f(n-h)$, $\sum_{N<x\le 2N} \big| \sum_{x<n\le x+H}f(n)\big|^2$ and $\sum_{N<n\le 2N} \big| \sum_{0\le |n-x|\le H}\big(1-{|n-x|\over H}\big)f(n)\big|^2$, with $H=o(N)$ as $N\to\infty$.
math.NT↗
A generalization of Gallagher's lemma for exponential sums
First we generalize a famous lemma of Gallagher on the mean square estimate for exponential sums by plugging a weight in the right hand side of Gallagher's original inequality. Then we apply it in the special case of the Cesaro weight, in order to establish some results mainly concerning the classical Dirichlet polynomials and the Selberg integrals of an arithmetic function $f$, that are tools for studying the distribution of $f$ in short intervals. Furthermore, we describe the smoothing process via self-convolutions of a weight, that is involved into our Gallagher type inequalities, and compare it with the analogous process via the so-called correlations. Finally, we discuss a comparison argument in view of refinements on the Gallagher weighted inequalities according to different instances of the weight.
math.NT↗
A modified Gallagher's Lemma
First we prove a modified version of the famous Lemma on the mean square estimate for exponential sums, by plugging the Cesaro weights in the right hand side of Gallagher's inequality. Then we apply it, in order to establish a mean value estimate for the Dirichlet polynomials.
math.NT↗
Generations of correlation averages
The present paper is a dissertation on the possible consequences of a conjectural bound for the so-called \thinspace modified Selberg integral of the divisor function $d_3$, i.e. a discrete version of the classical Selberg integral, where $d_3(n)=\sum_{abc=n}1$ is attached to the Cesaro weight $1-|n-x|/H$ in the short interval $|n-x|\le H$. Mainly, an immediate consequence is a non-trivial bound for the Selberg integral of $d_3$, improving recent results of Ivić based on the standard approach through the moments of the Riemann zeta function on the critical line. We proceed instead with elementary arguments, by first applying the "elementary Dispersion Method" in order to establish a link between "weighted Selberg integrals" \thinspace of any arithmetic function $f$ and averages of correlations of $f$ in short intervals. Moreover, we provide a conditional generalization of our results to the analogous problem on the divisor function $d_k$ for any $k\ge 3$. Further, some remarkable consequences on the $2k-$th moments of the Riemann zeta function are discussed. Finally, we also discuss the essential properties that a general function $f$ should satisfy so that the estimation of its Selberg integrals could be approachable by our method.
math.NT↗