In [Yan22a], we defined so-called ``log-type" GCD sums and proved the lower bounds $Γ^{(\ell)}_1(N) \gg_{\ell} \left(\log\log N\right)^{2+2\ell}$. We will establish the upper bounds $Γ^{(\ell)}_1(N)\ll_{\ell} \left(\log \log N\right)^{2+2\ell}$ in this note, which generalizes Gál's theorem on GCD sums (corresponding to the case $\ell = 0$). This result will be proved by two different methods. The first method is unconditional. We establish sharp upper bounds for spectral norms along $α-$lines when $α$ tends to $1$ with certain fast rates. As a corollary, we obtain upper bounds for log-type GCD sums. The second method is conditional. We prove that lower bounds for log-type GCD sums $Γ^{(\ell)}_1(N)$ can produce lower bounds for large values of derivatives of the Riemann zeta function on the 1-line. So from conditional upper bound for $\left| ζ^{(\ell)}\left(1+ i t\right)\right|$, we obtain upper bounds for log-type GCD sums.
In this note we prove a new estimate on so-called GCD sums (also called Gál sums), which, for certain coefficients, improves significantly over the general bound due to de la Bretèche and Tenenbaum. We use our estimate to prove new results on the equidistribution of sequences modulo 1, improving over a result of Aistleitner, Larcher, and Lewko on how the metric poissonian property relates to the notion of additive energy. In particular, we show that arbitrary subsets of the squares are metric poissonian.
Let $\gcd(j,k)$ be the greatest common divisor of the integers $j$ and $k$. In this paper, we give several interesting asymptotic formulas for weighted averages of the $\gcd$-sum function $f(\gcd(j,k)) $ and the function $\sum_{d|k, d^{s}|j}(f*μ)(d) $ for any positive integers $j$ and $k$, namely $$ \sum_{k\leq x}\frac{1}{k^{r+1}}\sum_{j=1}^{k}j^{r}f(\gcd(j,k)) \quad \text{and} \quad \sum_{k\leq x}\frac{1}{k^{s(r+1)}}\sum_{j=1}^{k^s}j^{r} \sum_{\substack{d|k d^{s}|j}}(f*μ)(d), $$ with any fixed integer $s> 1$ and any arithmetical function $f$. We also establish mean value formulas for the erro…
It is shown that the maximum of $|ζ(1/2+it)|$ on the interval $T^{1/2}\le t \le T$ is at least $\exp\left((1/\sqrt{2}+o(1)) \sqrt{\log T \log\log\log T/\log\log T}\right)$. Our proof uses Soundararajan's resonance method and a certain large GCD sum. The method of proof shows that the absolute constant $A$ in the inequality \[ \sup_{1\le n_1<\cdots < n_N} \sum_{k,{\ell}=1}^N\frac{\gcd(n_k,n_{\ell})}{\sqrt{n_k n_{\ell}}} \ll N \exp\left(A\sqrt{\frac{\log N \log\log\log N}{\log\log N}}\right), \] established in a recent paper of ours, cannot be taken smaller than $1$.
Let $\gcd(k,j)$ be the greatest common divisor of the integers $k$ and $j$. For any arithmetical function $f$, we establish several asymptotic formulas for weighted averages of gcd-sum functions with weight concerning logarithms, that is $$\sum_{k\leq x}\frac{1}{k} \sum_{j=1}^{k}f(\gcd(k,j)) \log j.$$ More precisely, we give asymptotic formulas for various multiplicative functions such as $f=id$, $ϕ$, $id_{1+a}$ and $ϕ_{1+a}$ with $-1<a<0$. We also establish some formulas of Dirichlet series having coefficients of the sum function $\sum_{j=1}^{k}s_{k}(j)\log j$ where $s_{k}(j)$ is Anderson--Ap…
We use elementary arguments to prove results on the order of magnitude of certain sums concerning the gcd's and lcm's of $k$ positive integers, where $k\ge 2$ is fixed. We refine and generalize an asymptotic formula of Bordellès (2007), and extend certain related results of Hilberdink and Tóth (2016). We also formulate some conjectures and open problems.
We study the distribution of the generalized gcd and lcm functions on average. The generalized gcd function, denoted by $(m,n)_b$, is the largest $b$-th power divisor common to $m$ and $n$. Likewise, the generalized lcm function, denoted by $[m,n]_b$, is the smallest $b$-th power multiple common to $m$ and $n$. We derive asymptotic formulas for the average order of the arithmetic, geometric, and harmonic means of $(m,n)_b$. Additionally, we also deduce asymptotic formulas with error terms for the means of $(n_1,n_2,\cdots, n_k)_b$, and $[n_1,n_2,\cdots, n_k]_b$ over a set of lattice points, th…
We prove that \[ \sum_{k,{\ell}=1}^N\frac{(n_k,n_{\ell})^{2α}}{(n_k n_{\ell})^α} \ll N^{2-2α} (\log N)^{b(α)} \] holds for arbitrary integers $1\le n_1<\cdots < n_N$ and $0<α<1/2$ and show by an example that this bound is optimal, up to the precise value of the exponent $b(α)$. This estimate complements recent results for $1/2\le α\le 1$ and shows that there is no "trace" of the functional equation for the Riemann zeta function in estimates for such GCD sums when $0<α<1/2$.
We obtain asymptotic formulas with remainder terms for the hyperbolic summations $\sum_{mn\le x} f((m,n))$ and $\sum_{mn\le x} f([m,n])$, where $f$ belongs to certain classes of arithmetic functions, $(m,n)$ and $[m,n]$ denoting the gcd and lcm of the integers $m,n$. In particular, we investigate the functions $f(n)=τ(n), \log n, ω(n)$ and $Ω(n)$. We also define a common generalization of the latter three functions, and prove a corresponding result.
Let $\gcd(k,j)$ denote the greatest common divisor of the integers $k$ and $j$, and let $r$ be any fixed positive integer. Define $$ M_r(x; f) := \sum_{k\leq x}\frac{1}{k^{r+1}}\sum_{j=1}^{k}j^{r}f(\gcd(j,k)) $$ for any large real number $x\geq 5$, where $f$ is any arithmetical function. Let $ϕ$, and $ψ$ denote the Euler totient and the Dedekind function, respectively. In this paper, we refine asymptotic expansions of $M_r(x; {\rm id})$, $M_r(x;ϕ)$ and $M_r(x;ψ)$. Furthermore, under the Riemann Hypothesis and the simplicity of zeros of the Riemann zeta-function, we establish the asymptotic for…
It is proved that \[ \sum_{k,{\ell}=1}^N\frac{\gcd(n_k,n_{\ell})}{\sqrt{n_k n_{\ell}}} \ll N\exp\left(C\sqrt{\frac{\log N \log\log\log N}{\log\log N}}\right) \] holds for arbitrary integers $1\le n_1<\cdots < n_N$. This bound is essentially better than that found in a recent paper of Aistleitner, Berkes, and Seip and can not be improved by more than possibly a power of $1/\sqrt{\log\log\log N}$. The proof relies on ideas from classical work of Gál, the method of Aistleitner, Berkes, and Seip, and a certain completeness property of extremal sets of square-free numbers.
In this paper, we establish the following two identities involving the Gamma function and Bernoulli polynomials, namely $$ \sum_{k\leq x}\frac{1}{k^s} \sum_{j=1}^{k^s}\logΓ\left(\frac{j}{k^s}\right) \sum_{\substack{d|k \\ d^{s}|j}}f*μ(d) \quad {\rm and } \quad \sum_{k\leq x}\frac{1}{k^s}\sum_{j=0}^{k^{s}-1} B_{m}\sum_{\substack{d|k \\ d^{s}|j}} f*μ(d) $$ with any fixed integer $s> 1$ and any arithmetical function $f$. We give asymptotic formulas for them with various multiplicative functions $f$. We also consider several formulas of the Dirichlet series associated with the above identities. Th…
For a nonempty finite set $A$ of positive integers, let $\gcd\left(A\right)$ denote the greatest common divisor of the elements of $A$. Let $f\left(n\right)$ and $Φ\left(n\right)$ denote, respectively, the number of subsets $A$ of $\left\{1, 2, \ldots, n\right\}$ such that $\gcd\left(A\right) = 1$ and the number of subsets $A$ of $\left\{1, 2, \ldots, n\right\}$ such that $\gcd\left(A\cup\left\{n\right\}\right) =1$. Let $D\left(n\right)$ be the divisor sum of $f\left(n\right)$. In this article, we obtain partial sums of $f\left(n\right)$, $Φ\left(n\right)$ and $D\left(n\right)$. We also obtain…
We investigate an arithmetic function representing a generalization of the gcd-sum function, considered by Kurokawa and Ochiai in 2009 in connection with the multivariable global Igusa zeta function for a finite cyclic group. We show that the asymptotic properties of this function are closely connected to the Piltz divisor function. A generalization of Menon's identity is also considered.
We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these established expansions generating sums of the form $\sum_{d: (d,n)=1} f(d)$ (type I) and the Anderson-Apostol sums $\sum_{d|(m,n)} f(d) g(n/d)$ (type II) for any arithmetic functions $f$ and $g$. Our treatment of the type II sums includes a matrix-based factorization method relating the partition function $p(n)$ to arbitrary arithmetic functions $f$. We also conclude…
We compute the "moments" and its continuous analogue of the random variable $\N \ni l \mapsto \gcd(l,n_1) \gcd(l, n_2) ... \gcd(l, n_k) \in \N$ by a purely elementary method. This generalizes a result of Deitmar-Koyama-Kurokawa, which computed its "average" using some analysis involving L-function. We show this average is nothing but the invariant $μ(A) := \sum_{a\in A} \frac{1}{| a |}$ for a finite abelian group $A = \prod_{j=1)^k Z/n_j$. In ArXiv-0910.3879v1, this invariant plays an important role in the Soulé type zeta functions for Noetherian $F_1$-schemes in the sense of Connes-Consani.
The alternating multiple harmonic sums are partial sums of the infinite series defining the Euler sums which are the alternating version of the multiple zeta value series. In this paper, we present some systematic structural results of the van Hamme type congruences of these sums, collected as finite Euler sums. Moreover, we relate this to the structure of the Euler sums, which generalizes the corresponding result of the multiple zeta values. We also provide a few conjectures with extensive numerical support.
In 2021, Guyer and Mbirika gave two equivalent formulas that computed the greatest common divisor (GCD) of all sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In this current paper, we extend their results to the GCD of all sums of $k$ consecutive squares of these numbers. Denoting these GCD values by the symbol $\mathcal{G}_{G_0, G_1}^2\!(k)$, we prove $\mathcal{G}_{G_0, G_1}^2\!(k) = \gcd\left(G_k G_{k+1} - G_0 G_1,\; G_{k+1}…
Using GCD sums, we show that the set of the primes has small common multiplicative energy with an arbitrary exponentially big integer set $S$ and, in particular, size of any arithmetic progression in $S$ having the beginning at zero, is at most $O(\log |S| \cdot \log \log |S|)$. This result can be considered as an integer analogue of Vinogradov's question about the least quadratic non--residue. The proof rests on a certain repulsion property of the function $f(x)=\log x$. Also, we consider the case of general $k$--convex functions $f$ and obtain a new incidence result for collections of the cu…
In recent years the question of maximizing GCD sums regained interest due to its firm link with large values of $L$-functions. In the present paper we initiate the study of minimizing for positive weights~$w$ of normalized $L^1$- norm the sum $\sum_{m_1 , m_2 \leqslant N} w({m_1})w({m_2})\frac{(m_1,m_2)}{\sqrt{m_1m_2}} $. We consider as well the intertwined question of minimizing a weighted version of the usual multiplicative energy. We give three applications of our results. Firstly we obtain a logarithmic refinement of Burgess' bound on character sums $\displaystyle{\sum_{M<n\leqslant M+N}χ(…
This is part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.
The aim of this paper is to define new generating functions. By applying the Mellin transformation formula to these generating functions, we define q-analogue of Genocchi zeta function, q-analogue Hurwitz type Genocchi zeta function, q-analogue Genocchi type l-function and two-variable q-Genocchi type l-function. Furthermore, we construct new genereting functions of q-Hardy-Berndt type sums and q-Hardy-Berndt type sums attached to Dirichlet character. We also give some new relations related to q-Hardy-Berndt type sums and q-Genocchi zeta function as well.
A recent paper of Furdui and Valean proves some results about sums of products of "tails" of the series for the Riemann zeta function. We show how such results can be proved with weaker hypotheses using multiple zeta values, and also show how they can be generalized to products of three or more such tails.
The sum formulas for multiple zeta(-star) values and symmetric multiple zeta(-star) values bear a striking resemblance. We explain the resemblance in a rather straightforward manner using an identity that involves the Schur multiple zeta values. We also obtain the sum formula for polynomial multiple zeta(-star) values in terms of generating functions, simultaneously generalizing the sum formulas for multiple zeta(-star) values and symmetric multiple zeta(-star) values.
A typical formula of multiple zeta values is the sum formula which expresses a Riemann zeta value as a sum of all multiple zeta values of fixed weight and depth. Recently weighted sum formulas, which are weighted analogues of the sum formula, have been studied by many people. In this paper, we give two formulas of weighted sums with two parameters of multiple zeta values. As applications of the formulas, we find some linear combinations of multiple zeta values which can be expressed as polynomials of usual zeta values with coeffcients in the rational polynomial ring generated by the two parame…
We consider sums of the form $\sum ϕ(γ)$, where $ϕ$ is a given function, and $γ$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in a given interval. We show how the numerical estimation of such sums can be accelerated by a simple device, and give examples involving both convergent and divergent infinite sums.
We investigate the distribution of the zeros of partial sums of the Riemann zeta-function, sum_{n\leq X}n^{-s}, estimating the number of zeros up to height T, the number of zeros to the right of a given vertical line, and other aspects of their horizontal distribution.
The Ohno relation is a well-known relation among multiple zeta values. Hirose, Onozuka, Sato, and the author investigated the sum related to the Ohno relation and presented two types of new relations and five conjectural formulas. This paper proves one of these formulas.
We define and apply a method to study the non-vanishing of $p$-adic cyclotomic multiple zeta values. We prove the non-vanishing of certain cyclotomic multiple harmonic sums, and, via a formula proved in another paper, which expresses a cyclotomic multiple harmonic sums as an infinite sum of products of $p$-adic cyclotomic multiple zeta values, this implies the non-vanishing of certain $p$-adic cyclotomic multiple zeta values.
Ohno's relation states that a certain sum, which we call an Ohno type sum, of multiple zeta values remains unchanged if we replace the base index by its dual index. In view of Oyama's theorem concerning Ohno type sums of finite and symmetric multiple zeta values, Kaneko looked at Ohno type sums of finite and symmetric multiple zeta-star values and made a conjecture on the generating function for a specific index of depth three. In this paper, we confirm this conjecture and further give a formula for arbitrary indices of depth three.
An identity involving symmetric sums of regularized multiple zeta-star values of harmonic type was proved by Hoffman. In this paper, we prove an identity of shuffle type. We use Bell polynomials appearing in the study of set partitions to prove the identity.
We establish a new decoupling inequality for curves in the spirit of [B-D1], [B-D2] which implies a new mean value theorem for certain exponential sums crucial to the Bombieri-Iwaniec method as developed further in [H]. In particular, this leads to an improved bound $|ζ(\frac 12+it)|\ll t^{53/342+\varepsilon}$ for the zeta function on the critical line
Let $γ$ denote imaginary parts of complex zeros of the Riemann zeta-function $ζ(s)$. Certain sums over the $γ$'s are evaluated, by using the function $G(s) = \sum_{γ>0}γ^{-s}$ and other techniques. Some integrals involving the function $S(T) = (1/π)\argζ(1/2+iT)$ are also considered.
We prove some identities, which involve the non-trivial zeros of the Riemann zeta function. From them we derive some convergent asymptotic expansions related to the work by Cramér, and also new representations for some arithmetical functions in terms of the non-trivial zeros.
In this paper, we give identities involving cyclic sums of regularized multiple zeta values of depth less than $5$. As a corollary, we present two kinds of extensions of Hoffman's theorem for symmetric sums of multiple zeta values for this case.
We construct an analytic approach to evaluate odd Euler sums, multiple zeta value $ζ(3,2,\ldots,2)$ and multiple $t$-value $t\left(3,2,\ldots,2\right)$. Moreover, we also conjecture a closed expression for multiple $t$-value $t\left(2,\ldots,2,1\right)$.
In this paper, we shall show that certain signed cyclic sums of Mordell-Tornheim L-values are rational linear combinations of products of multiple L-values of lower depths (i.e., reducible). This simultaneously generalizes some results of Subbarao and Sitaramachandrarao, and Matsumoto et al. As a direct corollary, we can prove that for any integer k>2 and positive integer n, the Mordell-Tornheim sums zeta_\MT(\{n\}_k) is reducible.
In this paper, we establish some expressions of series involving harmonic numbers and Stirling numbers of the first kind in terms of multiple zeta values, and present some new relationships between multiple zeta values and multiple zeta star values. The relationships obtained allow us to find some nice closed form representations of nonlinear Euler sums through Riemann zeta values and linear sums. Furthermore, we show that the combined sums \[H\left( {a,b;m,p} \right) := \sum\limits_{a + b = m - 1} {ζ\left( {{\left\{ p \right\}_a},p + 1,{\left\{ p \right\}_b}} \right)}\quad (m\in \N,p>1) \] an…
Partial zeta functions of algebraic varieties over finite fields generalize the classical zeta function by allowing each variable to be defined over a possibly different extension field of a fixed finite field. Due to this extra variation their rationality is surprising, and even simple examples are delicate to compute. For instance, we give a detailed description of the partial zeta function of an affine curve where the number of unit poles varies, a property different from classical zeta functions. On the other hand, they do retain some properties similar to the classical case. To this end, …
We explore the sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In particular, we give precise values for the greatest common divisor (GCD) of all sums of $k$ consecutive terms of $\left(G_n\right)_{n \geq 0}$. When $G_0 = 0$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Fibonacci numbers, and when $G_0 = 2$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Lucas numbers. Denoting the GCD of all sum…
In this paper, we study various twisted A-harmonic sums, named following the seminal log-algebraicity papers of G. Anderson. These objects are partial sums of new types of special zeta values introduced by the first author and linked to certain rank one Drinfeld modules over Tate algebras in positive characteristic by Anglès, Tavares Ribeiro and the first author. We prove, by using techniques introduced by the second author, that various infinite families of such sums may be interpolated by polynomials, and we deduce, among several other results, properties of analogues of finite zeta values b…
Ohno's relation is a well-known family of relations among multiple zeta values, which can naturally be regarded as a type of duality for a certain power series which we call an Ohno sum. In this paper, we investigate $\mathbb{Q}$-linear relations among Ohno sums which are not contained in Ohno's relation. We prove two new families of such relations, and pose several further conjectural families of such relations.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper begins the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^3$ with divisor functions as coefficients.
In this paper, we formally introduce the notion of Ap{é}ry-like sums and we show that every multiple zeta values can be expressed as a $\bf Z$-linear combination of them. We even describe a canonical way to do so. This allows us to put in a new theoretical context several identities scattered in the literature, as well as to discover many new interesting ones. We give in this paper new integral formulas for multiple zeta values and Apéry-like sums. They enable us to give a short direct proof of Zagier's formulas for $ζ(2,\ldots,2,3,2,\ldots,2)$ as well as of similar ones in the context of Ap{é…
A discussion involving the evaluation of the sum $\sum_{0<γ\le T} |ζ(1/2+iγ)|^2$ is presented, where $γ$ denotes imaginary parts of complex zeros of the Riemann zeta-function $ζ(s)$. Three theorems involving certain integrals related to this sum are proved, and the sum is unconditionally shown to be $\ll T\log^2T\log\log T$.
In this series of papers we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper completes the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of arbitrary length with divisor functions as coefficients.
We present a unified approach which gives completely elementary proofs of three weighted sum formulae for double zeta values. This approach also leads to new evaluations of sums relating to the harmonic numbers, the alternating double zeta values, and the Witten zeta function. We discuss a heuristic for finding or dismissing the existence of similar simple sums. We also produce some new sums from recursions involving the Riemann zeta and the Dirichlet beta functions.
We prove that any Mordell-Tornheim sum with positive integer arguments can be expressed as a rational linear combination of multiple zeta values of the same weight and depth. By a result of Tsumura, it follows that any Mordell-Tornheim sum with weight and depth of opposite parity can be expressed as a rational linear combination of products of multiple zeta values of lower depth.
Bowman and Bradley proved an explicit formula for the sum of multiple zeta values whose indices are the sequence (3,1,3,1,...,3,1) with a number of 2's inserted. Kondo, Saito and Tanaka considered the similar sum of multiple zeta-star values and showed that this value is a rational multiple of a power of π. In this paper, we give an explicit formula for the rational part. In addition, we interpret the result as an identity in the harmonic algebra.
Upper bounds for GCD sums of the form [\sum_{k,{\ell}=1}^N\frac{(\gcd(n_k,n_{\ell}))^{2α}}{(n_k n_{\ell})^α}] are proved, where $(n_k)_{1 \leq k \leq N}$ is any sequence of distinct positive integers and $0<α\le 1$; the estimate for $α=1/2$ solves in particular a problem of Dyer and Harman from 1986, and the estimates are optimal except possibly for $α=1/2$. The method of proof is based on identifying the sum as a certain Poisson integral on a polydisc; as a byproduct, estimates for the largest eigenvalues of the associated GCD matrices are also found. The bounds for such GCD sums are used to …
We refine a recent heuristic developed by Keating and the second author. Our improvement leads to a new integral expression for the conjectured asymptotic formula for shifted moments of the Riemann zeta-function. This expression is analogous to a formula, recently discovered by Brad Rodgers and Kannan Soundararajan, for moments of characteristic polynomials of random matrices from the unitary group.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper is concerned with the precise input of the conjectural formula for the classical shifted convolution problem for divisor sums so as to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^2$ with divisor functions as coefficients.
