BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In this paper we confirm several conjectures on determinants and permanents. For example, we prove that for any prime p≡3(mod4) the number 2det[ajk]0≤j,k≤(p−1)/2 is congruent to a square modulo p, where ajk=(pj+k)+(pj2+k2) with (p⋅) the Legendre symbol. We also prove that per[jk−1]1≤j,k≤n−1≡0(modn) for any integer n>1 with n≡2(mod4).
In this paper we study arithmetic properties of some permanents, many of which involve trigonometric functions. For any primitive n-th root ζ of unity, we obtain closed formulas for the permanents per[1−ζjxk]1≤j,k≤n and per[1−ζj−kx1]1≤j,k≤n. Another typical result states that for any odd integer n>1 we have tn:=n1per[tanπnjk]1≤j,k≤(n−1)/2∈Z, and that tp≡(−1)(p+1)/2(modp) for any odd prime p. We also pose several conjectures for further research; for example, we conjecture that per[∣j−k∣]1≤j,k≤p≡−21(modp) for any odd prime p.
Motivated by Ramanujan-type series and Zeilberger-type series, in this paper we investigate two new types of series for powers of π. For example, we prove that ∑k=0∞(198k2−425k+210)4096kk3(k2k)3=−21π1 and ∑k=0∞(k2k)3198k2−227k+47=633264−4π2. We also pose many conjectures in this new direction.
The Motzkin numbers Mn=∑k=0n(2kn)(k2k)/(k+1) (n=0,1,2,…) and the central trinomial coefficients Tn (n=0,1,2,…) given by the constant term of (1+x+x−1)n, have many combinatorial interpretations. In this paper we establish the following surprising arithmetic properties of them with n any positive integer: n2∑k=1n(2k+1)Mk2∈Z, 6n2(n2−1)∑k=0n−1k(k+1)(8k+9)TkTk+1, and also ∑k=0n−1(k+1)(k+2)(2k+3)Mk23n−1−k=n(n+1)(n+2)MnMn−1.
Let n>1 be an odd integer. For any primitive n-th root ζ of unity in the complex field. Via the Engenvector-eigenvalue Identity, we show that ∑τ∈D(n−1)sign(τ)∏j=1n−11−ζj−τ(j)1+ζj−τ(j)=(−1)2n−1n((n−2)!!)2, where D(n−1) is the set of all derangements of 1,…,n−1. This confirms a previous conjecture of Z.-W. Sun. Moreover, for each δ=0,1 we determine the value of det[x+mjk]1≤j,k≤n completely, where mjk={(1+ζj−k)/(1−ζj−k)δif j=k,if j=k.
For n∈N={0,1,2,…} and b,c∈Z, the nth generalized central trinomial coefficient Tn(b,c) is the coefficient of xn in the expansion of (x2+bx+c)n. In particular, Tn=Tn(1,1) is the central trinomial coefficient. In this paper, we mainly establish some parametric congruences involving generalized central trinomial coefficients. As consequences, we prove that for any prime p>3 ∑k=0p−112k(k2k)Tk≡(3p)43p−1+3(modp2) and ∑k=0p−13kTkHk≡23+(3p)−p(1+(3p))(modp2), where (−) denotes the Legendre symbol and Hk:=∑j=1k1/j denotes the kth harmonic number. These confirm two conjectural congruences of the second author.
In this paper we mainly study sums of four rational squares with certain restrictions. Let Q≥0 be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any a,b,c,d∈Q≥0, each r∈Q≥0 can be written as x2+y2+z2+w2 with x,y,z,w∈Q≥0 such that ax+by+cz+dw is a rational square (or a rational cube). This paper also contains many conjectures; for example, for any positive integers a and b with gcd(a,b)=1, we conjecture that each r∈Q≥0 can be written as aw4+bx4+y2+z2 with w,x,y,z∈Q.
Hilbert's Tenth Problem (HTP) asks for an algorithm to test whether an arbitrary polynomial Diophantine equation with integer coefficients has solutions over the ring Z of the integers. This was finally solved by Matiyasevich negatively in 1970. In this paper we obtain some further results on HTP over Z. We prove that there is no algorithm to determine for any P(z1,…,z9)∈Z[z1,…,z9] whether the equation P(z1,…,z9)=0 has integral solutions with z9≥0. Consequently, there is no algorithm to test whether an arbitrary polynomial Diophantine equation P(z1,…,z11)=0 (with integer coefficients) in 11 unknowns has integral solutions, which provides the best record on the original HTP over Z. We also prove that there is no algorithm to test for any P(z1,…,z17)∈Z[z1,…,z17] whether P(z12,…,z172)=0 has integral solutions, and that there is a polynomial Q(z1,…,z20)∈Z[z1,…,z20] such that {Q(z12,…,z202): z1,…,z20∈Z}∩{0,1,2,…} coincides with the set of all primes.
In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation P(z1,…,z52)=0 (with integer coefficients) over the Gaussian ring Z[i] is solvable.
We obtain q-analogues of several series for powers of π. For example, the identity ∑k=0∞(2k+1)3(−1)k=32π3 has the following q-analogue: \begin{equation*} \sum_{k=0}^\infty(-1)^k\frac{q^{2k}(1+q^{2k+1})}{(1-q^{2k+1})^3}=\frac{(q^2;q^4)_{\infty}^2(q^4;q^4)_{\infty}^6} {(q;q^2)_{\infty}^4}, \end{equation*} where q is any complex number with ∣q∣<1. We also give q-analogues of four new series for powers of π found by the second author.
In this paper we establish connections between covers of Z by residue classes and subset sums in a field. Suppose that A0={as(ns)}s=0k covers each integer at least p times with the residue class a0(n0)=a0+n0Z irredundant, where p is a prime not dividing any of n1,…,nk. Let m1,…,mk∈Z be relatively prime to n1,…,nk respectively. For any c,c1,…,ck∈Z/pZ with c1⋯ck=0, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \sum_{s\in I}c_s=c\bigg\}$$ contains an arithmetic progression of length n0 with common difference 1/n0, where {x} denotes the fractional part of a real number x.
We make many new observations on primitive roots modulo primes. For an odd prime p and an integer c, we establish a theorem concerning ∑g(pg+c), where g runs over all the primitive roots modulo p among 1,…,p−1, and (p⋅) denotes the Legendre symbol. On the basis of our numerical computations, we formulate 35 conjectures involving primitive roots modulo primes. For example, we conjecture that for any prime p there is a primitive root g<p modulo p with g−1 a square, and that for any prime p>3 there is a prime q<p with the Bernoulli number Bq−1 a primitive root modulo p. We also make related observations on quadratic nonresidues modulo primes and primitive prime divisors of some combinatorial sequences. For example, based on heuristic arguments we conjecture that for any prime p>3 there exists a Fibonacci number Fk<p/2 which is a quadratic nonresidue modulo p; this implies that there is a deterministic polynomial time algorithm to find square roots of quadratic residues modulo a prime p>3.
Via symbolic computation we deduce 97 new type series for powers of π related to Ramanujan-type series. Here are three typical examples: ∑k=0∞(k+1)(2k−1)(6k−1)(−640320)3kP(k)(k2k)(k3k)(3k6k)=5π18×557403310005 with \begin{align*}P(k) = &637379600041024803108 k^2 + 657229991696087780968 k \\&+ 19850391655004126179, \end{align*} ∑k=1∞(2k+1)2k3(k2k)3(3k+1)16k=2π2−8, and ∑n=0∞(−100)n3n+1∑k=0n(kn)2Tk(1,25)Tn−k(1,25)=8π25, where the generalized central trinomial coefficient Tk(b,c) denotes the coefficient of xk in the expansion of (x2+bx+c)k. We also formulate a general characterization of rational Ramanujan-type series for 1/π via congruences, and pose 117 new conjectural series for powers of π via looking for corresponding congruences. For example, we conjecture that ∑k=0∞(−29700)k39480k+7321Tk(14,1)Tk(11,−11)2=π67955. Eighteen of the new series in this paper involve some imaginary quadratic fields with class number 8.
In this paper we study some conjectures on determinants with Jacobi symbol entries posed by Z.-W. Sun. For any positive integer n≡3(mod4), we show that (6,1)n=[6,1]n=(3,2)n=[3,2]n=0 and (4,2)n=(8,8)n=(3,3)n=(21,112)n=0 as conjectured by Sun, where (c,d)n=(ni2+cij+dj2)1≤i,j≤n−1 and [c,d]n=(ni2+cij+dj2)0≤i,j≤n−1 with (n⋅) the Jacobi symbol. We also prove that (10,9)p=0 for any prime p≡5(mod12), and [5,5]p=0 for any prime p≡13,17(mod20), which were also conjectured by Sun. Our proofs involve character sums over finite fields.
The pentagonal numbers are the integers given by p5(n)=n(3n−1)/2 (n=0,1,2,…). Let (b,c,d) be one of the triples (1,1,2),(1,2,3),(1,2,6) and (2,3,4). We show that each n=0,1,2,… can be written as w+bx+cy+dz with w,x,y,z pentagonal numbers, which was first conjectured by Z.-W. Sun in 2016. In particular, any nonnegative integer is a sum of five pentagonal numbers two of which are equal; this refines a classical result of Cauchy claimed by Fermat.
The 1-3-5 conjecture of Z.-W. Sun states that any n∈N={0,1,2,…} can be written as x2+y2+z2+w2 with w,x,y,z∈N such that x+3y+5z is a square. In this paper, via the theory of ternary quadratic forms and related modular forms, we study the integer version of the 1-3-5 conjecture and related weighted sums of four squares with certain linear restrictions. Here are two typical results in this paper: (i) There is a finite set A of positive integers such that any sufficiently large integer not in the set {16ka: a∈A, k∈N} can be written as x2+y2+z2+w2 with x,y,z,w∈Z and x+3y+5z∈{4k: k∈N}. (ii) Any positive integer can be written as x2+y2+z2+2w2 with x,y,z,w∈Z and x+y+2z+2w=1. Also, any sufficiently large integer can be written as x2+y2+z2+2w2 with x,y,z,w∈Z and x+2y+3z=1.
An open conjecture of Z.-W. Sun states that for any integer n>1 there is a positive integer k≤n such that π(kn) is prime, where π(x) denotes the number of primes not exceeding x. In this paper, we show that for any positive integer n the set {π(kn): k=1,2,3,…} contains infinitely many P2-numbers which are products of at most two primes. We also prove that under the Bateman--Horn conjecture the set {π(4k): k=1,2,3,…} contains infinitely many primes.
We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime p≡1(mod4) and integer a≡0(modp), we prove that \begin{align*}&(-1)^{|\{1\le k<\frac p4:\ (\frac kp)=-1\}|}\prod_{1\le j<k\le(p-1)/2}(e^{2πiaj^2/p}+e^{2πiak^2/p}) \\=&\begin{cases}1&\text{if}\ p\equiv1\pmod 8,\\\left(\frac ap\right)\varepsilon_p^{-(\frac ap)h(p)}&\text{if}\ p\equiv5\pmod8,\end{cases} \end{align*} and that \begin{align*}&\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{aj^2\}_p>\{ak^2\}_p\right\}\right| \\&+\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{ak^2-aj^2\}_p>\frac p2\right\}\right| \\\equiv&\left|\left\{1\le k<\frac p4:\ \left(\frac kp\right)=\left(\frac ap\right)\right\}\right|\pmod2. \end{align*} where (pa) is the Legendre symbol, εp and h(p) are the fundamental unit and the class number of the real quadratic field Q(p) respectively, and {x}p is the least nonnegative residue of an integer x modulo p. Also, for any prime p≡3(mod4) and δ=1,2, we determine (−1)∣{(j,k): 1≤j<k≤(p−1)/2 and {δTj}p>{δTk}p}∣, where Tm denotes the triangular number m(m+1)/2.
In this paper we study some products related to quadratic residues and quartic residues modulo primes. Let p be an odd prime and let A be any integer. We mainly determine completely the product fp(A):=∏p∤i2−Aij−j21≤i,j≤(p−1)/2(i2−Aij−j2) modulo p; for example, if p≡1(mod4) then fp(A)≡{−(A2+4)(p−1)/4(modp)(−A2−4)(p−1)/4(modp)if (pA2+4)=1,if (pA2+4)=−1, where (p⋅) denotes the Legendre symbol. We also determine ∏p∤2i2+5ij+2j2i,j=1(p−1)/2(2i2+5ij+2j2) and ∏p∤2i2−5ij+2j2i,j=1(p−1)/2(2i2−5ij+2j2) modulo p.
In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) n distinct numbers (or elements of an additive abelian group) a1,…,an with adjacent sums ai+ai+1 (or differences ai−ai+1) pairwise distinct. For an odd prime power q=2n+1>13 with q=25, we show that there is a circular permutation (a1,…,an) of the elements of S={a2: a∈Fq∖{0}} such that {a1+a2,…,an−1+an,an+a1}=S, where Fq denotes the field of order q. For any finite subset A of an additive torsion-free abelian group G with ∣A∣=n>3, we prove that there is a numbering a1,…,an of the elements of A such that a1+2a2, a2+2a3, …, an−1+2an, an+2a1 are pairwise distinct. We also pose 30 open conjectures for further research.
Let a,b,c,d,e,f∈N with a≥c≥e>0, b≤a and b≡a(mod2), d≤c and d≡c(mod2), f≤e and f≡e(mod2). If any nonnegative integer can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈Z, then the ordered tuple (a,b,c,d,e,f) is said to be universal over Z. Recently, Z.-W. Sun found all candidates for such universal tuples over Z. In this paper, we use the theory of ternary quadratic forms to show that 44 concrete tuples (a,b,c,d,e,f) in Sun's list of candidates are indeed universal over Z. For example, we prove the universality of (16,4,2,0,1,1) over Z which is related to the form x2+y2+32z2.
Let a,b,c,d,e and f be integers with a≥c≥e>0, b>−a and b≡a(mod2), d>−c and d≡c(mod2), f>−e and f≡e(mod2). Suppose that b≥d if a=c, and d≥f if c=e. When b(a−b), d(c−d) and f(e−f) are not all zero, we prove that if each n∈N={0,1,2,…} can be written x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈N then the tuple (a,b,c,d,e,f) must be on our list of 473 candidates, and show that 56 of them meet our purpose. When b∈[0,a), d∈[0,c) and f∈[0,e), we investigate the universal tuples (a,b,c,d,e,f) over Z for which any n∈N can be written x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈Z, and show that there are totally 12082 such candidates some of which are proved to be universal tuples over Z. For example, we show that any n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈Z, and conjecture that each n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈N.
Let p be an odd prime and let a,m be integers with a>0 and m≡0(modp). In this paper we determine ∑k=0pa−1(k+d2k)/mk mod p2 for d=0,1; for example, ∑k=0pa−1mk(k2k)≡(pam2−4m)+(pa−1m2−4m)up−(pm2−4m)(modp2), where (−) is the Jacobi symbol, and {un}n⩾0 is the Lucas sequence given by u0=0, u1=1 and un+1=(m−2)un−un−1 for n=1,2,3,…. As an application, we determine ∑0<k<pa,k≡r(modp−1)Ck modulo p2 for any integer r, where Ck denotes the Catalan number (k2k)/(k+1). We also pose some related conjectures.
Define gn(x)=∑k=0n(kn)2(k2k)xk for n=0,1,2,.... Those numbers gn=gn(1) are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving gn(x). For example, for any prime p>5 we have ∑k=1p−1kgk(−1)≡0(modp2)and∑k=1p−1k2gk(−1)≡0(modp). This is similar to Wolstenholme's classical congruences ∑k=1p−1k1≡0(modp2)and∑k=1p−1k21≡0(modp) for any prime p>3.
Dirichlet's L-functions are natural extensions of the Riemann zeta function. In this paper we first give a brief survey of Apéry-like series for some special values of the zeta function and certain L-functions. Then, we establish two theorems on transformations of certain kinds of congruences. Motivated by the results and based on our computation, we pose 48 new conjectural series (most of which involve harmonic numbers) for such special values and related constants. For example, we conjecture that \begin{align*}\sum_{k=1}^\infty\frac1{k^4\binom{2k}k}\bigg(\frac1k+\sum_{j=k}^{2k}\frac1j\bigg)=&\frac{11}9ζ(5), \\\sum_{k=1}^\infty\frac{(-1)^{k-1}}{k^3\binom{2k}k}\bigg(\frac1{5k^3}+\sum_{j=1}^{k}\frac1{j^3}\bigg)=&\frac{2}5ζ(3)^2, \end{align*} and ∑k=1∞k(2k−1)(2k4k)(k2k)48k=215∑k=1∞k2(3k), where (3k) denotes the Legendre symbol.
In this paper we first investigate for what positive integers a,b,c every nonnegative integer n can be represented as x(ax+1)+y(by+1)+z(cz+1) with x,y,z integers. We show that (a,b,c) can be either of the following seven triples: (1,2,3), (1,2,4), (1,2,5), (2,2,4), (2,2,5), (2,3,3), (2,3,4), and conjecture that any triple (a,b,c) among (2,2,6), (2,3,5), (2,3,7), (2,3,8), (2,3,9), (2,3,10) also has the desired property. For integers 0≤b≤c≤d≤a with a>2, we prove that any nonnegative integer can be represented as x(ax+b)+y(ay+c)+z(az+d) with x,y,z integers, if and only if the quadruple (a,b,c,d) is among (3,0,1,2), (3,1,1,2), (3,1,2,2), (3,1,2,3), (4,1,2,3).
Let m be a positive integer, and define ζm(s)=∑n=1∞ns(−e2πi/m)ω(n) and ζm∗(s)=∑n=1∞ns(−e2πi/m)Ω(n), for ℜ(s)>1, where ω(n) denotes the number of distinct prime factors of n, and Ω(n) represents the total number of prime factors of n (counted with multiplicity). In this paper we study these two zeta functions and related arithmetical functions. We show that ∑n is squarefreen=1∞n(−e2πi/m)ω(n)=0if m>4, which is similar to the known identity ∑n=1∞μ(n)/n=0 equivalent to the Prime Number Theorem. For m>4, we prove that ζm(1):=∑n=1∞n(−e2πi/m)ω(n)=0 and ζm∗(1):=∑n=1∞n(−e2πi/m)Ω(n)=0. We also raise a hypothesis on the parities of Ω(n)−n which implies the Riemann Hypothesis.
For m=3,4,… those pm(x)=(m−2)x(x−1)/2+x with x∈Z are called generalized m-gonal numbers. Sun [13] studied for what values of positive integers a,b,c the sum ap5+bp5+cp5 is universal over Z (i.e., any n∈N={0,1,2,…} has the form ap5(x)+bp5(y)+cp5(z) with x,y,z∈Z). We prove that p5+bp5+3p5(b=1,2,3,4,9) and p5+2p5+6p5 are universal over Z, as conjectured by Sun. Sun also conjectured that any n∈N can be written as p3(x)+p5(y)+p11(z) and 3p3(x)+p5(y)+p7(z) with x,y,z∈N; in contrast, we show that p3+p5+p11 and 3p3+p5+p7 are universal over Z. Our proofs are essentially elementary and hence suitable for general readers.
For x≥0 let π(x) be the number of primes not exceeding x. The asymptotic behaviors of the prime-counting function π(x) and the n-th prime pn have been studied intensively in analytic number theory. Surprisingly, we find that π(x) and pn have many combinatorial properties which should not be ignored. In this paper we pose 60 open problems on combinatorial properties of primes (including connections between primes and partition functions) for further research. For example, we conjecture that for any integer n>1 one of the n numbers π(n),π(2n),...,π(n2) is prime; we also conjecture that for any integer n>6 there exists a prime p<n such that pn is a primitive root modulo pn. One of our conjectures involving the partition function p(n) states that for any prime p there is a primitive root g<p modulo p with g∈{p(n): n=1,2,3,...}.
The harmonic numbers Hn=∑0<k≤n1/k (n=0,1,2,…) play important roles in mathematics. Let p>3 be a prime. With helps of some combinatorial identities, we establish the following two new congruences: ∑k=1p−1k(k2k)Hk≡31(3p)Bp−2(31)(modp) and ∑k=1p−1k(k2k)H2k≡127(3p)Bp−2(31)(modp), where Bn(x) denotes the Bernoulli polynomial of degree n. As an application, we determine ∑n=1p−1gn and ∑n=1p−1hn modulo p3, where $$g_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\quad\mbox{and}\quad h_n=\sum_{k=0}^n\binom nk^2C_k$$ with Ck=(k2k)/(k+1).
Let Hn(2) denote the second-order harmonic number ∑0<k≤n1/k2 for n=0,1,2,…. In this paper we obtain the following identity: ∑k=1∞k(k2k)2kHk−1(2)=48π3. We explain how we found the series and develop related congruences involving Bernoulli or Euler numbers; for example, it is shown that ∑k=1p−12k(k2k)Hk(2)≡−Ep−3(modp) for any prime p>3, where E0,E1,E2,… are Euler numbers. Motivated by the Amdeberhan-Zeilberger identity ∑k=1∞(21k−8)/(k3(k2k)3)=π2/6, we also establish the congruence ∑k=1(p−1)/2k3(k2k)321k−8≡(−1)(p+1)/24Ep−3(modp) for each prime p>3.
Generalized octagonal numbers are those p8(x)=x(3x−2) with x∈Z. In this paper we mainly show that every positive integer can be written as the sum of four generalized octagonal numbers one of which is odd. This result is similar to Lagrange's theorem on sums of four squares. Moreover, for 35 triples (b,c,d) with 1≤b≤c≤d (including (2,3,4) and (2,4,8)), we prove that any nonnegative integer can be exprssed as p8(w)+bp8(x)+cp8(y)+dp8(z) with w,x,y,z∈Z. We also pose several conjectures for further research.
Let p be an odd prime and let d∈{2,3,7}. When (p−d)=1 we can write p=x2+dy2 with x,y∈Z; in this paper we aim at determining x or y modulo p2. For example, when p=x2+3y2, we show that if p≡x≡1(mod4) then ∑k=0(p−1)/2(3[3∣k]−1)(2k+1)(−16)k(k2k)2≡(p2)2x(modp2) where [3∣k] takes 1 or 0 according as 3∣k or not, and that if −p≡y≡1(mod4) then ∑k=0(p−1)/2(3k)(−16)kk(k2k)2≡(−1)(p+1)/4y≡∑k=0(p−1)/2(1−3[3∣k])(−16)kk(k2k)2(modp2). We also determine $$\sum_{k=0}^{p-1}\frac{k\binom{2k}k^3}{m^k}\sum_{k\le j<2k}\frac1j\quad \mbox{mod}\ p$$ for m=1,−8,16,−64,256,−512,4096.
For m=3,4,…, the polygonal numbers of order m are given by pm(n)=(m−2)(2n)+n (n=0,1,2,…). For positive integers a,b,c and i,j,k≥3 with max{i,j,k}≥5, we call the triple (api,bpj,cpk) universal if for any n=0,1,2,… there are nonnegative integers x,y,z such that n=api(x)+bpj(y)+cpk(z). We show that there are only 95 candidates for universal triples (two of which are (p4,p5,p6) and (p3,p4,p27)), and conjecture that they are indeed universal triples. For many triples (api,bpj,cpk) (including (p3,4p4,p5),(p4,p5,p6) and (p4,p4,p5)), we prove that any nonnegative integer can be written in the form api(x)+bpj(y)+cpk(z) with x,y,z∈Z. We also show some related new results on ternary quadratic forms, one of which states that any nonnegative integer n≡1(mod6) can be written in the form x2+3y2+24z2 with x,y,z∈Z. In addition, we pose several related conjectures one of which states that for any m=3,4,… each natural number can be expressed as pm+1(x1)+pm+2(x2)+pm+3(x3)+r with x1,x2,x3∈{0,1,2,…} and r∈{0,…,m−3}.
Let m>2 and q>0 be integers with m even or q odd. We show the supercongruence ∑k=0p−1(−1)km(kp/m−q)m≡0(modp3). for any prime p>mq. This confirms a conjecture of Sun.
Binomial coefficients and central trinomial coefficients play important roles in combinatorics. Let p>3 be a prime. We show that Tp−1≡(3p)3p−1 (modp2), where the central trinomial coefficient Tn is the constant term in the expansion of (1+x+x−1)n. We also prove three congruences modulo p3 conjectured by Sun, one of which is ∑k=0p−1(kp−1)(k2k)((−1)k−(−3)−k)≡(3p)(3p−1−1) (modp3). In addition, we get some new combinatorial identities.
In this paper we establish some new supercongruences motivated by the well-known fact limn→∞(1+1/n)n=e. Let p>3 be a prime. We prove that $$\sum_{k=0}^{p-1}\binom{-1/(p+1)}k^{p+1}\equiv 0\ \pmod{p^5}\ \ \ \mbox{and}\ \ \ \sum_{k=0}^{p-1}\binom{1/(p-1)}k^{p-1}\equiv \frac{2}{3}p^4B_{p-3}\ \pmod{p^5},$$ where B0,B1,B2,… are Bernoulli numbers. We also show that for any a∈Z with p∤a we have $$\sum_{k=1}^{p-1}\frac1k\left(1+\frac ak\right)^k\equiv -1\pmod{p}\ \ \ \mbox{and}\ \ \ \sum_{k=1}^{p-1}\frac1{k^2}\left(1+\frac ak\right)^k\equiv 1+\frac 1{2a}\pmod{p}.$$
Let d≥4 and c∈(−d,d) be relatively prime integers. We show that for any sufficiently large integer n (in particular n>24310 suffices for 4≤d≤36), the smallest prime p≡c(modd) with p≥(2dn−c)/(d−1) is the least positive integer m with 2r(d)k(dk−c) (k=1,…,n) pairwise distinct modulo m, where r(d) is the radical of d. We also conjecture that for any integer n>4 the least positive integer m such that $|\{k(k-1)/2\ \mbox{mod}\ m:\ k=1,\ldots,n\}|= |\{k(k-1)/2\ \mbox{mod}\ m+2:\ k=1,\ldots,n\}|=n$ is the least prime p≥2n−1 with p+2 also prime.
Let p be an odd prime. In 2008 E. Mortenson proved van Hamme's following conjecture: ∑k=0(p−1)/2(4k+1)(k−1/2)3≡(−1)(p−1)/2p(modp3). In this paper we show further that \begin{align*}\sum_{k=0}^{p-1}(4k+1)\binom{-1/2}k^3\equiv &\sum_{k=0}^{(p-1)/2}(4k+1)\binom{-1/2}k^3 \\\equiv & (-1)^{(p-1)/2}p+p^3E_{p-3} \pmod{p^4},\end{align*}where E0,E1,E2,… are Euler numbers. We also prove that if p>3 then ∑k=0(p−1)/2(−210)k20k+3(k,k,k,k4k)≡(−1)(p−1)/2p(2p−1+2−(2p−1−1)2)(modp4).
For integers b and c the generalized central trinomial coefficient Tn(b,c) denotes the coefficient of xn in the expansion of (x2+bx+c)n. Those Tn=Tn(1,1) (n=0,1,2,…) are the usual central trinomial coefficients, and Tn(3,2) coincides with the Delannoy number Dn=∑k=0n(kn)(kn+k) in combinatorics. We investigate congruences involving generalized central trinomial coefficients systematically. Here are some typical results: For each n=1,2,3,… we have ∑k=0n−1(2k+1)Tk(b,c)2(b2−4c)n−1−k≡0(modn2) and in particular n2∣∑k=0n−1(2k+1)Dk2; if p is an odd prime then ∑k=0p−1Tk2≡(p−1) (modp) and ∑k=0p−1Dk2≡(p2) (modp), where (−) denotes the Legendre symbol. We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms.
Given a squarefree positive integer d, we want to find integers (or rational numbers with denominators not divisible by large primes) a0,a1,a2,… such that for sufficiently large primes p we have ∑k=0p−1ak≡x2−2p (mod p2) if 4p=x2+dy2 (and 4∤x if d=1), and ∑k=0p−1ak≡0 (mod p2) if (p−d)=−1. In this paper we give a survey of conjectures and results on this topic and point out the connection between this problem and series for 1/π.
The author gives the full list of his conjectures on series for powers of π and other important constants scattered in some of his public papers or his private diaries. The list contains 234 reasonable conjectural series. On the list there are 178 reasonable series for π−1, four series for π2, two series for π−2, four series for π4, two series for π5, three series for π6, seven series for ζ(3), one series for πζ(3), two series for π2ζ(3), one series for ζ(3)2, three series involving both ζ(3)2 and π6, one series for ζ(5), three series involving both ζ(5) and ζ(2)ζ(3), two series involving both πζ(5) and π3ζ(3), three series involving ζ(7), three series for K=L(2,(3⋅)), one series for the Catalan constant G, two series for πG, one series involving both π3G and π2ζ(3), two series for πK, two series involving L=L(4,(3⋅)), three series involving β(4)=L(4,(⋅−4)), and four series for π2loga with a=2,3,(5+1)/2. The code of a conjectural series is underlined if and only if a complete proof of the identity is available.
Let a and m>0 be integers. We show that for any integer b relatively prime to m, the set {an+bn: n=1,…,m2} contains a complete system of residues modulo m. We also pose several conjectures for further research; for example, we conjecture that any integer n>1 can be written as k+m with 2k+m prime, where k and m are positive integers.
Let A be a finite set of integers. We show that if k is a prime power or a product of two distinct primes then ∣A+k⋅A∣≥(k+1)∣A∣−⌈k(k+2)/4⌉ provided ∣A∣≥(k−1)2k!, where A+k⋅A={a+kb: a,b∈A}. We also establish the inequality ∣A+4⋅A∣≥5∣A∣−6 for ∣A∣≥5.
We confirm Sun's conjecture that $(\root{n+1}\of{F_{n+1}}/\root{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where (Fn)n≥0 is the Fibonacci sequence. We also prove that the sequence $(\root{n+1}\of{D_{n+1}}/\root{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit 1, where Dn is the n-th derangement number. For m-th order harmonic numbers Hn(m)=∑k=1n1/km (n=1,2,3,…), we show that $(\root{n+1}\of{H^{(m)}_{n+1}}/\root{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.
In this paper we mainly employ the Zeilberger algorithm to study congruences for sums of terms involving products of three binomial coefficients. Let p>3 be a prime. We prove that ∑k=0p−164k(k2k)2(k+d2k)≡0(modp2) for all d∈{0,…,p−1} with d≡(p+1)/2(mod2). If p≡1(mod4) and p=x2+y2 with x≡1(mod4) and y≡0(mod2), then we show $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{2k}{k+1}}{(-8)^k}\equiv 2p-2x^2\pmod{p^2}\ \ \mbox{and}\ \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{2k}{k+1}^2}{(-8)^k}\equiv-2p\pmod{p^2}$$ by means of determining x mod p2 via (−1)(p−1)/4x≡∑k=0(p−1)/28kk+1(k2k)2≡∑k=0(p−1)/2(−16)k2k+1(k2k)2(modp2). We also solve the remaining open cases of Rodriguez-Villegas' conjectural congruences on ∑k=0p−1108k(k2k)2(k3k), ∑k=0p−1256k(k2k)2(2k4k), ∑k=0p−1123k(k2k)(k3k)(3k6k) modulo p2.
The Apéry polynomials are given by An(x)=∑k=0n(kn)2(kn+k)2xk (n=0,1,2,…). (Those An=An(1) are Apéry numbers.) Let p be an odd prime. We show that ∑k=0p−1(−1)kAk(x)≡∑k=0p−116k(k2k)3xk(modp2), and that ∑k=0p−1Ak(x)≡(px)∑k=0p−1(256x)k(k,k,k,k4k)(modp) for any p-adic integer x≡0(modp). This enables us to determine explicitly ∑k=0p−1(±1)kAk mod p, and ∑k=0p−1(−1)kAk mod p2 in the case p≡2(mod3). Another consequence states that $$\sum_{k=0}^{p-1}(-1)^kA_k(-2)\equiv\begin{cases}4x^2-2p\pmod{p^2}&\mbox{if}\ p=x^2+4y^2\ (x,y\in\mathbb Z),\\0\pmod{p^2}&\mbox{if}\ p\equiv3\pmod4.\end{cases}$$ We also prove that for any prime p>3 we have ∑k=0p−1(2k+1)Ak≡p+67p4Bp−3(modp5) where B0,B1,B2,… are Bernoulli numbers.
A generalized central trinomial coefficient Tn(b,c) is the coefficient of xn in the expansion of (x2+bx+c)n with b,c∈Z. In this paper we investigate congruences and series for sums of terms related to central binomial coefficients and generalized central trinomial coefficients. The paper contains many conjectures on congruences related to representations of primes by certain binary quadratic forms, and 62 proposed new series for 1/π motivated by congruences and related dualities.
In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let p be an odd prime and let a be a positive integer. We show that if p≡1(mod4) or a>1 then ∑k=0⌊43pa⌋(k−1/2)≡(pa2)(modp2), where (−) denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that ∑k=1p−1k2Lk≡0(modp)provided p>5, where the Lucas numbers L0,L1,L2,… are defined by L0=2, L1=1 and Ln+1=Ln+Ln−1 (n=1,2,3,…). Our third theorem states that if p=5 then we can determine Fpa−(5pa) mod p3 in the following way: ∑k=0pa−1(−1)k(k2k)≡(5pa)(1−2Fpa−(5pa)) (modp3), which appeared as a conjecture in a paper of Sun and Tauraso in 2010.
We prove a curious identity for the Bernoulli numbers.
We prove an analogue of the prime number theorem for finite fields.
For k=1,2,… let Hk denote the harmonic number ∑j=1k1/j. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime p>3 we have ∑k=1p−1k2kHk≡247pBp−3(modp2), ∑k=1p−1k2kHk,2≡−83Bp−3(modp), and ∑k=1p−1k2nHk,2n2≡6n+1(2n−16n+1)+npBp−1−6n(modp2) for any positive integer n<(p−1)/6, where B0,B1,B2,… are Bernoulli numbers, and Hk,m:=∑j=1k1/jm.
The Franel numbers given by fn=∑k=0n(kn)3 (n=0,1,2,…) play important roles in both combinatorics and number theory. In this paper we initiate the systematic investigation of fundamental congruences for the Franel numbers. We mainly establish for any prime p>3 the following congruences: \begin{align*}\sum_{k=0}^{p-1}(-1)^kf_k&\equiv\left(\frac p3\right)\ \ (\mbox{mod}\ p^2), \\ \sum_{k=0}^{p-1}(-1)^k\,kf_k&\equiv-\frac 23\left(\frac p3\right)\ \ (\mbox{mod}\ p^2), \\ \sum_{k=1}^{p-1}\frac{(-1)^k}kf_k &\equiv0\ \ (\mbox{mod}\ p^2), \\ \sum_{k=1}^{p-1}\frac{(-1)^k}{k^2}f_k&\equiv0\ \ (\mbox{mod}\ p). \end{align*}
We pose thirty conjectures on arithmetical sequences, most of which are about monotonicity of sequences of the form $(\root n\of{a_n})_{n\ge 1}$ or the form $(\root{n+1}\of{a_{n+1}}/\root n\of{a_n})_{n\ge1}$, where (an)n≥1 is a number-theoretic or combinatorial sequence of positive integers. This material might stimulate further research.
Let p be an odd prime. It is well known that Fp−(5p)≡0(modp), where {Fn}n≥0 is the Fibonacci sequence and (−) is the Jacobi symbol. In this paper we show that if p=5 then we may determine Fp−(5p) mod p3 in the following way: ∑k=0(p−1)/2(−16)k(k2k)≡(5p)(1+2Fp−(5p))(modp3). We also use Lucas quotients to determine ∑k=0(p−1)/2(k2k)/mk modulo p2 for any integer m≡0(modp); in particular, we obtain ∑k=0(p−1)/216k(k2k)≡(p3)(modp2). In addition, we pose three conjectures for further research.
For n=1,2,3,… let Sn be the sum of the first n primes. We mainly show that the sequence $a_n=\root n\of{S_n/n}\ (n=1,2,3,\ldots)$ is strictly decreasing, and moreover the sequence an+1/an (n=10,11,…) is strictly increasing. We also formulate similar conjectures involving twin primes or partitions of integers.
For n=1,2,3,... define S(n) as the smallest integer m>1 such that those 2k(k-1) mod m for k=1,...,n are pairwise distinct; we show that S(n) is the least prime greater than 2n-2 and hence the value set of the function S(n) is exactly the set of all prime numbers. For every n=4,5,... we prove that the least prime p>3n with 3|p-1 is just the least positive integer m such that 18k(3k-1) (k=1,...,n) are pairwise distinct modulo m. For d=4,6,12 and n=3,4,...., we prove that the least prime p>2n-2 with p=-1 (mod d) is the smallest integer m such that those (2k-1)^d for k=1,...,n are pairwise distinct modulo m. We also pose several challenging conjectures on primes. For example, we find a surprising recurrence for primes, namely, for every n=10,11,... the (n+1)-th prime p_{n+1} is just the least positive integer m such that 2s_k^2 (k=1,...,n) are pairwise distinct modulo m where s_k = sum_{j=1}^k(-1)^{k-j}p_j. We also conjecture that for any positive integer m there are consecutive primes p_k,...,p_n (k<n) not exceeding 2m+2.2*sqrt(m) such that m = p_n-p_{n-1}+...+(-1)^{n-k}p_k.
Let p>5 be a prime. Motivated by the known formulae ∑k=1∞(−1)k/(k3(k2k))=−2ζ(3)/5 and ∑k=0∞(k2k)2/((2k+1)16k)=4G/π(whereG=\sum_{k=0}^\infty(-1)^k/(2k+1)^2istheCatalanconstant),weshowthat∑k=1(p−1)/2k3(k2k)(−1)k≡−2Bp−3(modp),∑k=(p+1)/2p−1(2k+1)16k(k2k)2≡−47p2Bp−3(modp3),and∑k=0(p−3)/2(2k+1)16k(k2k)2≡−2qp(2)−pqp(2)2+125p2Bp−3(modp3),whereB_0,B_1,\ldotsareBernoullinumbersandq_p(2)istheFermatquotient(2^{p-1}-1)/p$.
In this paper we deduce some new supercongruences modulo powers of a prime p>3. Let d∈{0,1,…,(p−1)/2}. We show that $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{2k}{k+d}}{8^k}\equiv 0\ (\mbox{mod}\ p)\ \ \ \mbox{if}\ d\equiv \frac{p+1}2\ (\mbox{mod}\ 2),$$ and ∑k=0(p−1)/216k(k2k)(k+d2k)≡(p−1)+p24(−1)dEp−3(d+21)(modp3), where Ep−3(x) denotes the Euler polynomial of degree p−3, and (−) stands for the Legendre symbol. The paper also contains some other results such as ∑k=0p−1k(1+(p−1))/2864k(3k6k)(k3k)≡0(modp2).
For n=1,2,3,... let N_n(q) denote the number of monic irreducible polynomials over the finite field F_q. We mainly show that the sequence N_n(q)^{1/n} (n>e^{3+7/(q-1)^2}) is strictly increasing and the sequence N_{n+1}(q)^{1/(n+1)}/N_n(q)^{1/n} (n>=5.835*10^{14}) is strictly decreasing. We also prove that if q>8 then N_{n+1}(q)/N_n(q) (n=1,2,3,...) is strictly increasing.
For n=1,2,3,... let p_n be the n-th prime. We mainly show that p_n>n+sum_{k=1}^n p_k/k for all n>124, and sum_{k=1}^n kp_k<n^2p_n/3 for all n>30.
Let k>1 be an integer and let p be a prime. We show that if pa≤k<2pa or k=paq+1 (with 2q<p) for some a=1,2,..., then the set {\binom{n}{k}: n=0,1,2,...} is dense in the ring Z_p of p-adic integers, i.e., it contains a complete system of residues modulo any power of p.
Let G be a finite abelian group with |G|>1. Let a_1,...,a_k be k distinct elements of G and let b_1,...,b_k be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation π on {1,...,k} such that a_1b_{π(1)},...,a_kb_{π(k)} are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
The famous Erdos-Heilbronn conjecture plays an important role in the development of additive combinatorics. In 2007 Z. W. Sun made the following further conjecture (which is the linear extension of the Erdos-Heilbronn conjecture): For any finite subset A of a field F and nonzero elements a1,...,an of F, the set {a_1x_1+...+a_nx_n: x_1,....,x_n are distinct elements of A} has cardinality at least min{p(F)-delta, n(|A|-n)+1}, where the additive order p(F) of the multiplicative identity of F is different from n+1, and delta=0,1 takes the value 1 if and only if n=2 and a1+a2=0. In this paper we prove this conjecture of Sun when p(F)≥n(3n−5)/2. We also obtain a sharp lower bound for the cardinality of the restricted sumset {x_1+...+x_n: x_1\in A_1,...,x_n\in A_n, and P(x_1,...,x_n)\not=0}, where A1,...,An are finite subsets of a field F and P(x1,...,xn) is a general polynomial over F.
We decide to combine this preprint with two other ones (arXiv:1101.1946 and arXiv:1008.3887). The results on Apery numbers and polynomials will be added to the new version of arxiv:1101.1946, and those results on generalized trinomial coefficients will be added to the new version of arxiv:1008.3887
It is known that ∑k=0∞(k2k)/((2k+1)4k)=π/2 and ∑k=0∞(k2k)/((2k+1)16k)=π/3. In this paper we obtain their p-adic analogues such as ∑p/2<k<p(k2k)/((2k+1)4k)=3∑p/2<k<p(k2k)/((2k+1)16k)=pEp−3(modp2), where p>3 is a prime and E_0,E_1,E_2,... are Euler numbers. Besides these, we also deduce some other congruences related to central binomial coefficients. In addition, we pose some conjectures one of which states that for any odd prime p we have ∑k=0p−1(k2k)3=4x2−2p(modp2) if (p/7)=1 and p=x^2+7y^2 with x,y integers, and ∑k=0p−1(k2k)3=0(modp2) if (p/7)=-1, i.e., p=3,5,6 (mod 7).
The n-th Delannoy number and the n-th Schröder number given by Dn=∑k=0n(kn)(kn+k) and Sn=∑k=0n(kn)(kn+k)/(k+1) respectively arise naturally from enumerative combinatorics. Let p be an odd prime. We mainly show that ∑k=1p−1Dk/k2=2(−1/p)Ep−3(modp) and ∑k=1p−1Sk/mk=(m2−6m+1)/(2m)∗(1−((m2−6m+1)/p)(modp), where (-) is the Legendre symbol, E_0,E_1,E_2,... are Euler numbers and m is any integer not divisible by p. We also conjecture that ∑k=1p−1Dk2/k2=−2qp(2)2(modp), where qp(2)=(2p−1−1)/p.
Harmonic numbers Hk=∑0<j≤k1/j(k=0,1,2,...) arise naturally in many fields of mathematics. In this paper we initiate the study of congruences involving both harmonic numbers and Lucas sequences. One of our three theorems is as follows: Let u_0=0, u_1=1, and u_{n+1}=u_n-4u_{n-1} for n=1,2,3,.... Then, for any prime p>5 we have ∑k=0p−1uk+δHk/2k=0(modp), where δ=0 if p=1,2,4,8 (mod 15), and δ=1 otherwise.
In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let p be a prime and let a be any positive integer. We determine ∑k=0pa−1(k+d2k) mod p2 for d=0,...,pa and ∑k=0pa−1(k+δ2k) mod p3 for δ=0,1. We also show that Cn−1∑k=0pa−1Cpan+k=1−3(n+1)((pa−1)/3)(modp2) for every n=0,1,2,..., where Cm is the Catalan number (m2m)/(m+1), and (-) is the Legendre symbol.
Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer m, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0. When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most ⌈D(G)/∣A∣⌉+exp(G)−1 if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible. In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of exp(G)+sumi=1r⌊log2ni⌋, where G=Zn1⊕...⊕Znr with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems. Some additional more specific values and results related to s_{1,-1}(G) are also computed.
We collect here various conjectures on congruences made by the author in a series of papers, some of which involve binary quadratic forms and other advanced theories. Part A consists of 100 unsolved conjectures of the author while conjectures in Part B have been recently confirmed. We hope that this material will interest number theorists and stimulate further research. Number theorists are welcome to work on those open conjectures; for some of them we offer prizes for the first correct proofs.
Let m and n>0 be integers. Suppose that p is a prime dividing m−4 but not dividing m. We show that νp(∑k=0n−1mk(k2k)) and νp(∑k=0n−1(kn−1)(−1)kmk(k2k)) are at least νp(n), where νp(x) denotes the p-adic valuation of x. Furthermore, if p>3 then $$n^{-1}\sum_{k=0}^{n-1}\frac{\bi{2k}k}{m^k}=\frac{\binom{2n-1}{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)})$$ and n−1∑k=0n−1(kn−1)(−1)kmk(k2k)=4n−1Cn−1(modpνp(m−4)), where Ck denotes the Catalan number (k2k)/(k+1). This implies several conjectures of Guo and Zeng [GZ]. We also raise two conjectures, and prove that n>1 is a prime if and only if ∑k=0n−1multinomial(n−1)kk,...,k=0(modn), where multinomialk1+...+kn−1k1,...,kn−1 denotes the multinomial coefficient (k1+...+kn−1)!/(k1!...kn−1!).
Let p>3 be a prime. We prove that ∑k=0p−1(k2k)/2k=(−1)(p−1)/2−p2Ep−3(modp3), ∑k=1(p−1)/2(k2k)/k=(−1)(p+1)/28/3∗pEp−3(modp2), ∑k=0(p−1)/2(k2k)2/16k=(−1)(p−1)/2+p2Ep−3(modp3), where E_0,E_1,E_2,... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for π2, π−2 and the constant K:=∑k>0(k/3)/k2 (with (-) the Jacobi symbol), two of which are ∑k=1∞(10k−3)8k/(k3(k2k)2(k3k))=π2/2 and ∑k>0(15k−4)(−27)k−1/(k3(k2k)2(k3k))=K.
Let p be a prime and let a be a positive integer. In this paper we determine ∑k=0pa−1(k+d2k)/mk and ∑k=1p−1(k+d2k)/(kmk−1) modulo p for all d=0,...,p^a, where m is any integer not divisible by p. For example, we show that if p=2,5 then ∑k=1p−1(−1)kk(k2k)=−5pFp−(5p)(modp), where F_n is the n-th Fibonacci number and (-) is the Jacobi symbol. We also prove that if p>3 then ∑k=1p−1k(k2k)=8/9p2Bp−3(modp3), where B_n denotes the n-th Bernoulli number.
We prove that for any nonnegative integers n and r the binomial sum ∑k=−nn(n−k2n)k2r is divisible by 22n−min{α(n),α(r)}, where α(n) denotes the number of 1's in the binary expansion of n. This confirms a recent conjecture of Guo and Zeng.
In this paper we derive congruences expressing Bell numbers and derangement numbers in terms of each other modulo any prime.
In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form x2+y2+10z2, equivalently the form 2x2+5y2+4Tz represents all integers greater than 1359, where Tz denotes the triangular number z(z+1)/2. Given positive integers a,b,c we employ modular forms and the theory of quadratic forms to determine completely when the general form ax2+by2+cTz represents sufficiently large integers and establish similar results for the forms ax2+bTy+cTz and aTx+bTy+cTz. Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form 2ax2+y2+z2 if and only if all prime divisors of a are congruent to 1 modulo 4. (ii) The form ax2+y2+Tz is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of a is congruent to 1 or 3 modulo 8. (iii) ax2+Ty+Tz is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4. (iv) When v2(a)=3, the form aTx+Ty+Tz is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4 and v2(a)=5,7,..., where v2(a) is the 2-adic order of a.
We show that if p is an odd prime then ∑k=0p−1EkEp−1−k=1(modp) and ∑k=0p−3EkEp−3−k=(−1)(p−1)/22Ep−3(modp), where E_0,E_1,E_2,... are Euler numbers. Moreover, we prove that for any positive integer n and prime number p>2n+1 we have ∑k=0p−1+2nEkEp−1+2n−k=s(n)(modp) where s(n) is an integer only depending on n.
Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum ∑k=0pa−1(khpa−1)(k2k)/mk mod p^2, where h,m are p-adic integers with m\not=0 (mod p). For example, we show that if h\not=0 (mod p) and p^a>3 then sumk=0pa−1(khpa−1)(k2k)(−h/2)k=(pa1−2h)(1+h((4h−2)p−1/hp−1−1))(modp2), where (-) denotes the Jacobi symbol. Here is another remarkable congruence: If p>3 then ∑k=0pa−1(kpa−1)(k2k)(−1)k=3p−1(3pa)(modp2).
In this paper we initiate the study of products and sums divisible by central binomial coefficients. We show that 2(2n+1)binom(2n,n)| binom(6n,3n)binom(3n,n) for every n=1,2,3,... Also, for any nonnegative integers k and n we have (k2k)∣(2n+k+14n+2k+2)(2k2n+k+1)(n2n−k+1) and (k2k)∣(2n+1)(n2n)Cn+k(2kn+k+1), where Cm denotes the Catalan number (m2m)/(m+1)=(m2m)−(m+12m). Applying this result we obtain two sums divisible by central binomial coefficients.
Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: ∑0<i1<...<in<p(i1/3)(−1)i1/(i1...in)=0(modp).
In this paper we establish two symmetric identities on sums of products of Euler polynomials.
Let n be a positive even integer, and let a1,...,an and w1,...,wn be integers satisfying ∑k=1nak≡∑k=1nwk=0(modn). A conjecture of Bialostocki states that there is a permutation σ on {1,...,n} such that ∑k=1nwkaσ(k)=0(modn). In this paper we confirm the conjecture when w1,...,wn form an arithmetic progression with even common difference.
Let G be an additive abelian group whose finite subgroups are all cyclic. Let A_1,...,A_n (n>1) be finite subsets of G with cardinality k>0, and let b_1,...,b_n be pairwise distinct elements of G with odd order. We show that for every positive integer m\leq (k-1)/(n-1) there are more than (k-1)n-(m+1)n(n-1)/2 sets {a_1,...,a_n} such that a_1\in A_1,..., a_n\in A_n, and both a_i\not=a_j and ma_i+b_i\not=ma_j+b_j (or both ma_i\not=ma_j and a_i+b_i\not=a_j+b_j) for all 1\leq i<j\leq n. This extends a recent result of Dasgupta, Károlyi, Serra and Szegedy on Snevily's conjecture. Actually stronger results on sumsets with polynomial restrictions are obtained in this paper.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.