24 pages. A few misprints are corrected and references are updated. A result of Chamberland and Dilcher is now used to simplify the proof of Theorem 3.1
In this sequel to arXiv:0905.3327, we continue to study the congruence properties of the alternating version of multiple harmonic sums. As contrast to the study of multiple harmonic sums where Bernoulli numbers and Bernoulli polynomials play the key roles, in the alternating setting the Euler numbers and the Euler polynomials are also essential.
The congruences for Jacobi sums of some lower orders has been treated by many authors in the literature. In this paper we establish the congruences for Jacobi sums of order 2l^2 with odd prime l. These congruences are useful to obtain algebraic and arithmetic characterizations for Jacobi sums of order 2l^2 .
In this paper we investigate congruence relationships of particular finite generalized harmonic numbers sums. We suggest more transparent and simpler method to analyse these sums and present several additional results for certain special cases.
We give a congruence for L-functions coming from affine additive exponential sums over a finite field. Precisely, we give a congruence for certain operators coming from Dwork's theory. This congruence is very similar to the congruence of Manin for the characteristic polynomial of the action of Frobenius on the Jacobian of a curve defined over a finite field.
Multiple harmonic sums are iterated generalizations of harmonic sums. Recently Dilcher has considered congruences involving q-analogs of these sums in depth one. In this paper we shall study the homogeneous case for arbitrary depth by using generating functions and shuffle relations of the q-analog of multiple harmonic sums. At the end, we also consider some non-homogeneous cases.
We prove two results on Kloosterman sums over finite fields, using Stickelberger's theorem and the Gross-Koblitz formula. The first result concerns the minimal polynomial over Q of a Kloosterman sum, and the second result gives a characterisation of ternary Kloosterman sums modulo 27.
We apply a technique used in $[$Tsukerman, Equality of Dedekind sums mod $\mathbb Z$, $2\mathbb Z$ and $4\mathbb Z$, arXiv:1408.3225] combined with the Barkan-Hickerson-Knuth-formula in order to obtain congruences mod $4$ for the alternating sum of the partial quotients of the continued fraction expansion of $a/b$, where $0<a<b$ are integers.
We show that for any prime prime $p\not=2$ $$\sum_{k=1}^{p-1} {(-1)^k\over k}{-{1\over 2} \choose k} \equiv -\sum_{k=1}^{(p-1)/2}{1\over k} \pmod{p^3}$$ by expressing the l.h.s. as a combination of alternating multiple harmonic sums.
We will study the solution of a congruence, $x \equiv g^{(1/2)ω_g(2^n)} \bmod 2^n$, depending on the integers $g$ and $n$, where $ω_g(2^n)$ denotes the order of $g$ modulo $2^n$. Moreover, we introduce an application of the above result to the study of an estimation of exponential sums.
There are classical congruences between the class number of an imaginary quadratic field and a Bernoulli number or an Euler number. Under the BSD conjecture, Onishi obtained an elliptic generalization of these congruences, which gives congruences between the order of the Tate-Shafarevich group of certain elliptic curves with CM by the Gauss integers ring and Mordell-Weil rank 0, and a coefficient of power series expansion of an elliptic function associated to Gauss integers ring. In this paper, we provide Onishi's type congruences for the Eisenstein integers case.
We produce congruences modulo a prime $p>3$ for sums $\sum_k\binom{3k}{k}x^k$ over ranges $0\le k<q$ and $0\le k<q/3$, where $q$ is a power of $p$. Here $x$ equals either $c^2/(1-c)^3$, or $4s^2/\bigl(27(s^2-1)\bigr)$, where $c$ and $s$ are indeterminates. In the former case we deal more generally with shifted binomial coefficients $\binom{3k+e}{k}$. Our method derives such congruences directly from closed forms for the corresponding series.
The following congruence for power sums, $S_n(p)$, is well known and has many applications: $1^n+2^n +\dots +p^n \equiv\begin{cases} -1 \text{ mod } p, & \text{ if } \ p-1 \ | \ n; 0 \text{ mod } p, & \text{ if } \ p-1 \ \not| \ n, \end{cases}$ where $n\in{\mathbb N}$ and $p$ is prime. We extend this congruence, in particular, to the case when $p$ is any power of a prime. We also show that the sequence $(S_n(m) \text{ mod } k )_{m \geq 1}$ is periodic and determine its period.
We adapt ideas of Phong, Stein and Sturm and ideas of Ikromov and Müller from the continuous setting to various discrete settings, obtaining sharp bounds for exponential sums and the number of solutions to polynomial congruences for general quasi-homogeneous polynomials in two variables. This extends work of Denef and Sperber and also Cluckers regarding a conjecture of Igusa in the two dimensional setting by no longer requiring the polynomial to be nondegenerate with respect to its Newton diagram.
Recently, Ni and Pan proved a $q$-congruence on certain sums involving central $q$-binomial coefficients, which was conjectured by Guo. In this paper, we give a generalization of this $q$-congruence and confirm another $q$-congruence, also conjectured by Guo. Our proof uses Ni and Pan's technique and a simple $q$-congruence observed by Guo and Schlosser.
Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{{{(-1)}^{i}}}{ijk}}\equiv \frac{{{p}^{r-1}}}{2}{{B}_{p-3}}\, (\bmod \, {{p}^{r}}).\]
In a recent paper, Bacher and de la Harpe study conjugacy growth series of infinite permutation groups and their relationships with $p(n)$, the partition function, and $p(n)_{\textbf{e}}$, a generalized partition function. They prove identities for the conjugacy growth series of the finitary symmetric group and the finitary alternating group. The group theory also motivates an investigation into congruence relationships between the finitary symmetric group and the finitary alternating group. Using the Ramanujan congruences for the partition function $p(n)$ and Atkin's generalization to the $k$…
Let $p$ be a prime. In this short note we study some families of super congruences involving the following alternating sums \begin{equation*} \sum_{\substack{j_1+j_2+\cdots+j_n=2 p^r p\nmid j_1 j_2 \cdots j_n}} \frac{(-1)^{j_1+\cdots+j_b}}{j_1\cdots j_n} \pmod{p^r}, \end{equation*} which extend similar statements proved by Shen and Cai who treated the cases when $n=4,5$.
For coprime positive integers $q$ and $e$, let $m(q,e)$ denote the least positive integer $t$ such that there exists a sum of $t$ powers of $q$ which is divisible by $e$. We prove an upper bound for $m(q.e)$ and investigate the case where $m(q,e)$ is "large". We also pay special attention to the situation where $e$ is a prime power.
Let ${\mathcal{P}_{n}}$ denote the set of positive integers which are prime to $n$. Let $B_{n}$ be the $n$-th Bernoulli number. For any prime $p \ge 11$ and integer $r\ge 2$, we prove that $$ \sum\limits_{\begin{smallmatrix} {{l}_{1}}+{{l}_{2}}+\cdots +{{l}_{6}}={{p}^{r}} {{l}_{1}},\cdots ,{{l}_{6}}\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{1}{{{l}_{1}}{{l}_{2}}{{l}_{3}}{{l}_{4}}{{l}_{5}}{l}_{6}}}\equiv - \frac{5!}{18}p^{r-1}B_{p-3}^{2} \pmod{{{p}^{r}}}. $$ This extends a family of curious congruences. We also obtain other interesting congruences involving multiple harmonic sums and Bernou…
For various positive integers $k$, the sums of $k$th powers of the first $n$ positive integers, $S_k(n+1)=1^k+2^k+...+n^k$, have got to be some of the most popular sums in all of mathematics. In this note we prove that for each $k\ge 2 $$ 2S_{2k+1}(n)- (2k+1)nS_{2k}(n)\equiv \{{array}{ll} 0\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\,even\,\,or}\,\, n\,\, {\rm is\,\, odd} & {\rm or} \,\, n\equiv 0\,(\bmod{\,4}) \frac{n^3}{2}\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\, odd} &,\,{\rm and}\,\, n\equiv 2\,(\bmod{\,4}). {array}.$$ The above congruence allows us to state an equivalent formulati…
Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the coprimality condition on the determinant one could not achieve an exponent below $2/3$. The proof uses a bound for short character sums involving binary quadratic forms, which extends a result of Chang.
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) …
We will prove several congruences modulo a power of a prime such as $$ \sum_{0<k_1<...<k_{n}<p}\leg{p-k_{n}}{3} {(-1)^{k_{n}}\over k_1... k_{n}}\equiv {lll} -{2^{n+1}+2\over 6^{n+1}} p B_{p-n-1}({1\over 3}) &\pmod{p^2} &{if $n$ is odd} -{2^{n+1}+4\over n6^n} B_{p-n}({1\over 3}) &\pmod{p} &{if $n$ is even}. $$ where $n$ is a positive integer and $p$ is prime such that $p>\max(n+1,3)$.
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence.
The explicit formulas expressing harmonic sums via alternating Euler sums (colored multiple zeta values) are given, and some explicit evaluations are given as applications.
Let ${\mathcal{P}_{n}}$ denote the set of positive integers which are prime to $n$. Let $B_{n}$ be the $n$-th Bernoulli number. For any prime $p\ge 5$ and $r\ge 2$, we prove that \begin{equation} \sum\limits_{\begin{smallmatrix} {{l}_{1}}+{{l}_{2}}+\cdots +{{l}_{5}}={{p}^{r}} {{l}_{1}},\cdots ,{{l}_{5}}\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{1}{{{l}_{1}}{{l}_{2}}{{l}_{3}}{{l}_{4}}{{l}_{5}}}}\equiv -\frac{5!}{6}{{B}_{p-5}}{{p}^{r-1}} \pmod{{{p}^{r}}}. \end{equation} This gives an extension of a family of super congruences found by Wang, Cai and Zhao.
It is shown that for any prime $p$ and any natural numbers $\ell, m,$ and $s$ such that $0<s<p$, the three following congruences \begin{align*}\sum_{i\ge \ell+1}(-1)^{m-i} {m \choose i}{m+s-1+i(p-1) \choose m+s-1+\ell(p-1)} &\equiv 0 \bmod p\\ \sum_{i\ge 0}(-1)^{m-i} {m \choose i}{\ell+ip \choose m+s-1}&\equiv 0 \bmod p^m\\ \sum_{j,i\ge \ell}(-1)^{j-i}{m \choose j} {j \choose i}{j+s-1+i(p-1) \choose j+s-1+\ell(p-1)}&\equiv 0 \bmod p^{m-\ell} \end{align*} hold true. The corresponding quotients involve Adelberg polynomials which can be computed explicitly, providing closed-form expressions for t…
In this paper, we study the alternating Euler $T$-sums and related sums by using the method of contour integration. We establish the explicit formulas for all linear and quadratic Euler $T$-sums and related sums. Some interesting new consequences and illustrative examples are considered.
We establish $q$-analogs for four congruences involving central binomial coefficients. The $q$-identities necessary for this purpose are shown via the $q$-WZ method.
Consider the linear congruence equation $x_1+\ldots+x_k \equiv b\,(\text{mod } n)$ for $b,n\in\mathbb{Z}$. By $(a,b)_s$, we mean the largest $l^s\in\mathbb{N}$ which divides $a$ and $b$ simultaneously. For each $d_j|n$, define $\mathcal{C}_{j,s} = \{1\leq x\leq n^s | (x,n^s)_s = d^s_j\}$. Bibak et al. gave a formula using Ramanujan sums for the number of solutions of the above congruence equation with some gcd restrictions on $x_i$. We generalize their result with generalized gcd restrictions on $x_i$ by proving that for the above linear congruence, the number of solutions is $$\frac{1}{n^s}\s…
In this paper, we will study p-adic q-expansion of alternating sums of powers. From these properties, we derive some interesting properties related to p-adic q-expansion of alternating sums of powers
Let $p$ be a large prime number and $g$ be any integer of multiplicative order $T$ modulo $p$. We obtain a new estimate of the double exponential sum $$ S=\sum_{n\in \mathcal{N}}\left|\sum_{m\in \mathcal{M} }e_p(an g^{m})\right|, \quad \gcd (a,p)=1, $$ where $\mathcal{N}$ and $\mathcal{M}$ are intervals of consecutive integers with $|\mathcal{N}|=N$ and $|\mathcal{M}|=M<T$ elements. One representative example is the following consequence of the main result: if $N=M\approx p^{1/3}$, then $|S|< N^{2-1/8 + o(1)}$. We then apply our estimate to obtain new results on additive congruences involving …
In this paper, we introduce a new type of generalized alternating hyperharmonic numbers $H_n^{(p,r,s_{1},s_{2})}$, and show that Euler sums of the generalized alternating hyperharmonic numbers $H_n^{(p,r,s_{1},s_{2})}$ can be expressed in terms of linear combinations of classical (alternating) Euler sums.
In this paper, we study congruences on sums of products of binomial coefficients that can be proved by using properties of the Jacobi polynomials. We give special attention to polynomial congruences containing Catalan numbers, second-order Catalan numbers, the sequence (\seqnum{A176898}) $S_n=\frac{{6n\choose 3n}{3n\choose 2n}}{2{2n\choose n}(2n+1)},$ and the binomial coefficients ${3n\choose n}$ and ${4n\choose 2n}$. As an application, we address several conjectures of Z.\ W.\ Sun on congruences of sums involving $S_n$ and we prove a cubic residuacity criterion in terms of sums of the binomia…
Congruences of truncated sums of infinite series do not directly extend to congruences of the truncated sums of higher powers of these infinite series. Guo and Zudilin recently established a variety of supercongruences for truncated sums of certain basic hypergeometric series. In this note we extend some of these supercongruences to the truncated sums of the squares of the corresponding series.
A recent paper of A. Sofo proves some results about sums of products of quadratic alternating harmonic numbers and reciprocal binomial coefficients. In this paper, we extend his result to cubic alternating harmonic number sums and develop new closed form representations of sums of cubic alternating harmonic numbers and reciprocal binomial coefficients. Some inter- esting (known or new) illustrative special cases as well as immediate consequences of the main results are also considered.
We give a family of congruences for the binomial coefficients ${kp-1\choose p-1}$ in terms of multiple harmonic sums, a generalization of the harmonic numbers. Each congruence in this family (which depends on an additional parameter $n$) involves a linear combination of $n$ multiple harmonic sums, and holds $\mod{p^{2n+3}}$. The coefficients in these congruences are integers depending on $n$ and $k$, but independent of $p$. More generally, we construct a family of congruences for ${kp-1\choose p-1} \mod{p^{2n+3}}$, whose members contain a variable number of terms, and show that in this family …
In the paper, we establish a new estimate for Kloosterman sum over primes with respect to an arbitrary modulus $q$. This estimate together with some recent results of the second author are applied to the problem of solvability of the congruence \[ g(p_{1})\, + \,\ldots\, + \,g(p_{k}) \,\equiv\, m\pmod{q} \] in prime variables $p_{1},\ldots, p_{k}\le N$, $N\le q^{1-δ}$. Here $g(x)\,\equiv\,a\overline{x}+bx\pmod{q}$, where $a,b,m$ and $k\ge 3$ are arbitrary integers, $(ab,q)=1$. The main result of the paper gives an asymptotic formula for the number of solutions for the case when $q$ is coprime …
Consider the congruence class R_m(a)={a+im:i\in Z} and the infinite arithmetic progression P_m(a)={a+im:i\in N_0}. For positive integers a,b,c,d,m the sum of products set R_m(a)R_m(b)+R_m(c)R_m(d) consists of all integers of the form (a+im)(b+jm)+(c+km)(d+\ell m) for some i,j,k,\ell\in Z. It is proved that if gcd(a,b,c,d,m)=1, then R_m(a)R_m(b)+R_m(c)R_m(d) is equal to the congruence class R_m(ab+cd), and that the sum of products set P_m(a)P_m(b)+P_m(c)P_m(d) eventually coincides with the infinite arithmetic progression P_m(ab+cd).
In this paper we construct $q$-Genocchi numbers and polynomials. By using these numbers and polynomials, we investigate the $q$-analogue of alternating sums of powers of consecutive integers due to Euler.
We combine an extended version of Bailey's transform with an identity of Bressoud and with some identities of Berkovich and Warnaar to prove a variety of positivity results for alternating sums involving partition functions.
In this paper we shall evaluate two alternating sums of binomial coefficients by a combinatorial argument. Moreover, by combining the same combinatorial idea with partition theoretic techniques, we provide $q$-analogues involving the $q$-binomial coefficients.
Considering the problem of finding all the integer solutions of the sum of $M$ consecutive integer squares starting at $a^{2}$ being equal to a squared integer $s^{2}$, it is shown that this problem has no solutions if $M\equiv3,5,6,7,8$ or $10 (mod\,12)$ and has integer solutions if $M\equiv0,9,24$ or $33 (mod\,72)$; or $M\equiv1,2$ or $16 (mod\,24)$; or $M\equiv11 (mod\,12)$. All the allowed values of $M$ are characterized using necessary conditions. If $M$ is a square itself, then $M\equiv1 (mod\,24)$ and $(M-1)/24$ are all pentagonal numbers, except the first two.
In this paper we construct a new q-Euler numbers and polynomials. By using these numbers and polynomials, we give the interesting formulae related to alternating sums of powers of consecutive q-integers following an idea due to Euler.
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.
Multiple zeta values are real numbers defined by an infinite series generalizing values of the Riemann zeta function at positive integers. Finite truncations of this series are called multiple harmonic sums and are known to have interesting arithmetic properties. When the truncation point is one less than a prime $p$, the mod $p$ values of multiple harmonic sums are called finite multiple zeta values. The present work introduces a new class of congruence for multiple harmonic sums, which we call weighted congruences. These congruences can hold modulo arbitrarily large powers of $p$. Unlike res…
Given a prime $p$, an integer $H\in[1,p)$, and an arbitrary set $\cal M\subseteq \mathbb F_p^*$, where $\mathbb F_p$ is the finite field with $p$ elements, let $J(H,\cal M)$ denote the number of solutions to the congruence $$ xm\equiv yn\bmod p $$ for which $x,y\in[1,H]$ and $m,n\in\cal M$. In this paper, we bound $J(H,\cal M)$ in terms of $p$, $H$ and the cardinality of $\cal M$. In a wide range of parameters, this bound is optimal. We give two applications of this bound: to new estimates of trilinear character sums and to bilinear sums with Kloosterman sums, complementing some recent results…