We study M(n,k,r), the number of orbits of {(a_1,...,a_k)\in Z_n^k | a_1+...+a_k = r (mod n)} under the action of S_k. Equivalently, M(n,k,r) sums the partition numbers of an arithmetic sequence: M(n,k,r) = sum_{t \geq 0} p(n-1,k,r+nt), where p(a,b,t) denotes the number of partitions of t into at most b parts, each of which is at most a. We derive closed formulas and various identities for such arithmetic partition sums.
These results have already appeared in Elashvili/Jibladze/Pataraia, Combinatorics of necklaces and "Hermite reciprocity", J. Alg. Combin. 10 (1999) 173-188, and the main result was also published by Von Sterneck in Sitzber. Akad. Wiss. Wien. Math. Naturw. Class. 111 (1902), 1567-1601 (see Lemma 2 and references in math.NT/9909121). Thanks to Don Zagier and Robin Chapman for bringing these references to our attention.
We present an elementary proof that if $A$ is a finite set of numbers, and the sumset $A+_GA$ is small, $|A+_GA|\leq c|A|$, along a dense graph $G$, then $A$ contains $k$-term arithmetic progressions.
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…
We study upper bounds for sums of Dirichlet characters. We prove a uniform upper bound of the character sum over all proper generalized arithmetic progressions, which generalizes the classical Polya and Vinogradov inequality. Our argument is based on getting an upper bound for the l1 norm of the Fourier coefficients of a generalized arithmetic progression. Our method also applies to give upper bounds for polynomial exponential sums.
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Frobenius number is the largest positive integer that is NOT representable in terms of $a_1,a_2,\dots,a_k$. When $k\ge 3$, there is no explicit formula in general, but some formulae may exist for special sequences $a_1,a_2,\dots,a_k$, including, those forming arithmetic progressions and their modifications. In this paper, we give formulae for the power and weighted sum of nonrepresentable positive integers. As applications, we show explicit expressions of these sums for $a_1,a_2,\dots,a_k$ forming arithmetic progres…
We obtain asymptotic formulas for sums over arithmetic progressions of coefficients of polynomials of the form $$\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s,$$ where $p$ is an odd prime and $n, s$ are positive integers. Let us denote by $a_i$ the coefficient of $q^i$ in the above polynomial and suppose that $b$ is an integer. We prove that $$\Big|\sum_{i\equiv b\ \text{mod}\ 2pn}a_i-\frac{v(b)p^{sn}}{2pn}\Big|\leq p^{sn/2},$$ where $v(b)=p-1$ if $b$ divisible by $p$ and $v(b)=-1$ otherwise. This improves a recent result of Goswami and Pantangi.
Let $γ<1<c$ and $19(c-1)+171(1-γ)<9$. In this paper, we establish an asymptotic formula for exponential sums over Piatetski-Shapiro primes $p=[n^{1/γ}]$ in arithmetic progressions.
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. The concept of the weighted sum $\sum_{n\in{\rm NR}}λ^{n}$ is introduced in \cite{KZ0,KZ}, where ${\rm NR}={\rm NR}(a_1,a_2,\dots,a_k)$ denotes the set of positive integers nonrepresentable in terms of $a_1,a_2,\dots,a_k$. When $λ=1$, such a sum is often called Sylvester sum. The main purpose of this paper is to give explicit expressions of the Sylvester sum ($λ=1$) and the weighed sum ($λ\ne 1$), where $a_1,a_2,\dots,a_k$ forms arithmetic progressions. As applications, various other cases are also considered, inclu…
In this paper, for coprime numbers p and q we consider the well known Dedekind sums S(p,q) First, we give an improvement of the proof given by H. Rademacher and A. Whiteman, and we construct a new arithmetical proof for the reciprocity law
For a set $A$ of integers, the sumset $lA =A+...+A$ consists of those numbers which can be represented as a sum of $l$ elements of $A$ $$lA =\{a_1+... a_l| a_i \in A_i \}. $$ A closely related and equally interesting notion is that of $l^{\ast}A$, which is the collection of numbers which can be represented as a sum of $l$ different elements of $A$ $$l^{\ast} A =\{a_1+... a_l| a_i \in A_i, a_i \neq a_j \}. $$ The goal of this paper is to investigate the structure of $lA$ and $l^{\ast}A$, where $A$ is a subset of $\{1,2, ..., n\}$. As applications, we solve two conjectures by Erdös and Folkman, …
We prove the analogue of an identity of Huard, Ou, Spearman and Williams and apply it to evaluate a variety of sums involving divisor functions in two variables. It turns out that these sums count representations of positive integers involving radicals.
Let $K$ be a number field. This paper considers arithmetic functions over $K$, that are, complex valued functions on the set of nonzero integral ideals in $K$. Firstly we generalize some basic results on arithmetic functions. Next we define the generalized Ramanujan sums over $K$ and show some properties.
We investigate the problem of the distribution of sums of functions of prime numbers located on an arithmetic progression. This problem is closely related to the problem of the distribution of prime numbers on an arithmetic progression. Based on this distribution, a general formula was obtained for the asymptotic estimate of the sums of functions of primes, and also asymptotics was found for the sums of various functions of primes on a geometric progression. Several assertions about asymptotics of sums of functions of prime numbers on a geometric progression are proved. Necessary and sufficien…
Sums of the singular series constants that appear in the Hardy--Littlewood $k$-tuples conjectures have long been studied in connection to the distribution of primes. We study constrained sums of singular series, where the sum is taken over sets whose elements are specified modulo $r$ or weighted by smooth functions. We show that the value of the sum is governed by incidences modulo $r$ of elements of the set in the case of arithmetic progressions and by pairings of the smooth functions in the case of weights. These sums shed light on sums of singular series in other formats.
We use techniques of relative algebraic K-theory to develop a common refinement of the existing theories of metrized and hermitian Galois structures in arithmetic. As a first application of this very general approach, we then use it to prove several new results, and to formulate a framework of new conjectures, concerning the detailed arithmetic properties of wildly ramified Galois-Gauss sums.
Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of par…
Given a suitable arithmetic function h, we investigate the average order of h as it ranges over the values taken by an integral binary form F. A general upper bound is obtained for this quantity, in which the dependence upon the coefficients of F is made completely explicit.
We consider Mertens' function M(x,q,a) in arithmetic progression, Assuming the generalized Riemann hypothesis (GRH), we show an upper bound that is uniform for all moduli which are not too large. For the proof, a former method of K. Soundararajan is extended to L-series.
For finite sums of non-negative powers of arithmetic progressions the generating functions (ordinary and exponential ones) for given powers are computed. This leads to a two parameter generalization of Stirling and Eulerian numbers. A direct generalization of Bernoulli numbers and their polynomials follows. On the way to find the Faulhaber formula for these sums of powers in terms of generalized Bernoulli polynomials one is led to a one parameter generalization of Bernoulli numbers and their polynomials. Generalized Lah numbers are also considered.
In this note, we characterize all functions $f : \mathbb{N} \rightarrow \mathbb{C}$ such that $f(x_1^2+ \cdots + x_k^2)=f(x_1)^2+ \cdots + f(x_k)^2$, where $k \geq 3$ and $x_1, \cdots, x_k$ are positive integers.
We prove that the equation $(x-2r)^3 + (x-r)^3 + x^3 + (x+r)^3 + (x+2r)^3= y^p$ only has solutions which satisfy $xy=0$ for $1\leq r\leq 10^6$ and $p\geq 5$ prime.
We compute the variances of sums in arithmetic progressions of arithmetic functions associated with certain $L$-functions of degree two and higher in $\mathbb{F}_q[t]$, in the limit as $q\to\infty$. This is achieved by establishing appropriate equidistribution results for the associated Frobenius conjugacy classes. The variances are thus related to matrix integrals, which may be evaluated. Our results differ significantly from those that hold in the case of degree-one $L$-functions (i.e. situations considered previously using this approach). They correspond to expressions found recently in the…
We study the variance of sums of the $k$-fold divisor function $d_k(n)$ over sparse arithmetic progressions, with averaging over both residue classes and moduli. In a restricted range, we confirm an averaged version of a recent conjecture about the asymptotics of this variance. This result is closely related to moments of Dirichlet $L$-functions and our proof relies on the asymptotic large sieve.
Let $b(n)$ denote the number of cubic partition pairs of $n$. In this paper, we aim to provide a strategy to obtain arithmetic properties of $b(n)$. This gives affirmative answers to two of Lin's conjectures.
We determine primitive solutions to the equation $(x-r)^2 + x^2 + (x+r)^2 = y^n$ for $1 \le r \le 5,000$, making use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier.
We introduce new analogues of the Ramanujan sums, denoted by $\widetilde{c}_q(n)$, associated with unitary divisors, and obtain results concerning the expansions of arithmetic functions of several variables with respect to the sums $\widetilde{c}_q(n)$. We apply these results to certain functions associated with $σ^*(n)$ and $ϕ^*(n)$, representing the unitary sigma function and unitary phi function, respectively.
In the present paper, we introduce a multiple Ramanujan sum for arithmetic functions, which gives a multivariable extension of the generalized Ramanujan sum studied by D. R. Anderson and T. M. Apostol. We then find fundamental arithmetic properties of the multiple Ramanujan sum and study several types of Dirichlet series involving the multiple Ramanujan sum. As an application, we evaluate higher-dimensional determinants of higher-dimensional matrices, the entries of which are given by values of the multiple Ramanujan sum.
Estimating the discrepancy of the hypergraph of all arithmetic progressions in the set $[N]=\{1,2,\hdots,N\}$ was one of the famous open problems in combinatorial discrepancy theory for a long time. An extension of this classical hypergraph is the hypergraph of sums of $k$ ($k\geq 1$ fixed) arithmetic progressions. The hyperedges of this hypergraph are of the form $A_{1}+A_{2}+\hdots+A_{k}$ in $[N]$, where the $A_{i}$ are arithmetic progressions. For this hypergraph Hebbinghaus (2004) proved a lower bound of $Ω(N^{k/(2k+2)})$. Note that the probabilistic method gives an upper bound of order $O…
We investigate the coefficients of the polynomial \[ S_{m,r}^n(\ell)=r^n+(m+r)^n+(2m+r)^n+\cdots+((\ell-1)m+r)^n. \] We prove that these can be given in terms of Stirling numbers of the first kind and $r$-Whitney numbers of the second kind. Moreover, we prove a necessary and sufficient condition for the integrity of these coefficients.
We prove recursive formulas involving sums of divisors and sums of triangular numbers and give a variety of identities relating arithmetic functions to divisor functions providing inductive identities for such arithmetic functions.
We obtain several asymptotic formulas for the sum of the divisor function $τ(n)$ with $n \le x$ in an arithmetic progressions $n \equiv a \pmod q$ on average over $a$ from a set of several consecutive elements from set of reduced residues modulo $q$ and on average over arbitrary sets. The main goal is to obtain nontrivial results for $q \ge x^{2/3}$ with the small amount of averaging over $a$. We recall that for individual values of $a$ the limit of our current methods is $q \le x^{2/3-\varepsilon}$ for an arbitrary fixed $\varepsilon> 0$. Our method builds on an approach due to Blomer (2008) …
Let $f: \mathbb{Z}_+\rightarrow \mathbb{Z}_+$ be a polynomial with the property that corresponding to every prime $p$ there exists an integer $\ell$ such that $p\nmid f(\ell)$. In this paper, we establish some equidistributed results between the number of partitions of an integer $n$ whose parts are taken from the sequence $\{f(\ell)\}_{\ell=1}^{\infty}$ and the number of parts of those partitions which are in a certain arithmetic progression.
Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-ε} for all ε>0.
We deduce asymptotic formulas for the alternating sums $\sum_{n\le x} (-1)^{n-1} f(n)$ and $\sum_{n\le x} (-1)^{n-1} \frac1{f(n)}$, where $f$ is one of the following classical multiplicative arithmetic functions: Euler's totient function, the Dedekind function, the sum-of-divisors function, the divisor function, the gcd-sum function. We also consider analogs of these functions, which are associated to unitary and exponential divisors, and other special functions. Some of our results improve the error terms obtained by Bordellès and Cloitre. We formulate certain open problems.
Arithmetic progressions of integers that are relatively prime to their digital sums
The College of Idaho（爱达荷学院）；Cedar Crest College（雪松crest学院）；Bryn Mawr College（布林茅尔学院）；University of Michigan（密歇根大学）；Kutztown University of Pennsylvania（宾夕法尼亚库兹敦大学）
Let $\mathrm{pod}_{-3}(n)$ denote the number of partition triples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-3}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n\ge 0$, \[\mathrm{pod}_{-3}\Big({{3}^{2α+2}}n+\frac{23\times {{3}^{2α+1}}+3}{8}\Big)\equiv 0 \pmod{9}.\] We also establish some arithmetic relations between $\mathrm{pod}(n)$ and $\mathrm{pod}_{-3}(n)$, as well as some congruences for $\mathrm{pod}_{-3}(n)$ modulo 7 and 11.
Let ${{B}_{3}}(n)$ denote the number of partition triples of $n$ where each partition is 3-core. With the help of generating function manipulations, we find several infinite families of arithmetic identities and congruences for ${{B}_{3}}(n)$. Moreover, let $ω(n)$ denote the number of representations of a nonnegative integer $n$ in the form $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+3y_{1}^{2}+3y_{2}^{2}+3y_{3}^{2}$ with ${{x}_{1}},{{x}_{2}},{{x}_{3}},{{y}_{1}},{{y}_{2}},{{y}_{3}}\in \mathbb{Z}.$ We find three arithmetic relations between ${{B}_{3}}(n)$ and $ω(n)$, such as $ω(6n+5)=4{{B}_{3}}(6n+4).$
For a given prime $p$, we study the properties of the $p$-dissection identities of Ramanujan's theta functions $ψ(q)$ and $f(-q)$, respectively. Then as applications, we find many infinite family of congruences modulo 2 for some $\ell$-regular partition functions, especially, for $\ell=2,4,5,8,13,16$. Moreover, based on the classical congruences for $p(n)$ given by Ramanujan, we obtain many more congruences for some $\ell$-regular partition functions.
We show that the exponent of distribution of the sequence of squarefree numbers in arithmetic progressions of prime modulus is $\geq 2/3 + 1/57$, improving a result of Prachar from 1958. Our main tool is an upper bound for certain bilinear sums of exponential sums which resemble Kloosterman sums, going beyond what can be obtained by the Polya-Vinogradov completion method.
Let $\mathrm{pod}_{-4}(n)$ denote the number of partition quadruples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-4}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n \ge 0$, \[\mathrm{pod}_{-4}\Big({{3}^{α+1}}n+\frac{5\cdot {{3}^{α}}+1}{2}\Big)\equiv 0 \pmod{9}.\] We also establish some internal congruences and some congruences modulo 2, 5 and 8 satisfied by $\mathrm{pod}_{-4}(n)$.
Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order o…
Generalizing a classical problem in enumerative combinatorics, Mansour and Sun counted the number of subsets of $\Z_n$ without certain separations. Chen, Wang, and Zhang then studied the problem of partitioning $\Z_n$ into arithmetical progressions of a given type under some technical conditions. In this paper, we improve on their main theorems by applying a convolution formula for cyclic multinomial coefficients due to Raney-Mohanty.
We give explicit numerical values with 100 decimal digits for the Mertens constant involved in the asymptotic formula for $\sum\limits_{\substack{p\leq x p\equiv a \bmod{q}}}1/p$ and, as a by-product, for the Meissel-Mertens constant defined as $\sum_{p\equiv a \bmod{q}} (\log(1-1/p)+1/p)$, for $q \in \{3$, ..., $100\}$ and $(q, a) = 1$.
For an arbitrary homogeneous linear recurrence sequence of order d with constant coefficients, we derive recurrence relations for all subsequences with indices in arithmetic progression. The coefficients of these recurrences are given explicitly in terms of partial Bell polynomials that depend on at most d-1 terms of the generalized Lucas sequence associated with the given recurrence. We also provide an elegant formula for the partial sums of such sequences and illustrate all of our results with examples of various orders, including common generalizations of the Fibonacci numbers.
We prove a bound for quintilinear sums of Kloosterman sums, with congruence conditions on the "smooth" summation variables. This generalizes classical work of Deshouillers and Iwaniec, and is key to obtaining power-saving error terms in applications, notably the dispersion method. As a consequence, assuming the Riemann hypothesis for Dirichlet $L$-functions, we prove a power-saving error term in the Titchmarsh divisor problem of estimating $\sum_{p\leq x}τ(p-1)$. Unconditionally, we isolate the possible contribution of Siegel zeroes, showing it is always negative. Extending work of Fouvry and …
We study the probabilistic behavior of sums of Fourier coefficients in arithmetic progressions. We prove a result analogous to previous work of Fouvry-Ganguly-Kowalski-Michel and Kowalski-Ricotta in the context of half-integral weight holomorphic cusp forms and for prime power modulus. We actually show that these sums follow in a suitable range a mixed Gaussian distribution which comes from the asymptotic mixed distribution of Salié sums.
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.
