BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Zhi-Wei Sun

Zhi-Wei Sun contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.COmath.GRmath.LOmath.GM

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
40works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

40 published item(s)

preprint2022arXiv

Arithmetic properties of some permanents

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 $$\mathrm{per}\left[1-ζ^jx_k\right]_{1\le j,k\le n}\ \ \text{and}\ \ \mathrm{per}\left[\frac1{1-ζ^{j-k}x}\right]_{1\le j,k\le n}.$$ Another typical result states that for any odd integer $n>1$ we have $$t_n:=\frac1{\sqrt n}\mathrm{per}\left[\tanπ\frac{jk}n\right]_{1\le j,k\le (n-1)/2}\in\mathbb Z,$$ and that $t_p\equiv(-1)^{(p+1)/2}\pmod p$ for any odd prime $p$. We also pose several conjectures for further research; for example, we conjecture that $$\mathrm{per}[|j-k|]_{1\le j,k\le p}\equiv-\frac12\pmod p$$ for any odd prime $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On Motzkin numbers and central trinomial coefficients

The Motzkin numbers $M_n=\sum_{k=0}^n\binom n{2k}\binom{2k}k/(k+1)$ $(n=0,1,2,\ldots)$ and the central trinomial coefficients $T_n$ ($n=0,1,2,\ldots)$ 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: $$\frac2n\sum_{k=1}^n(2k+1)M_k^2\in\mathbb Z,$$ $$\frac{n^2(n^2-1)}6\,\bigg|\,\sum_{k=0}^{n-1}k(k+1)(8k+9)T_kT_{k+1},$$ and also $$\sum_{k=0}^{n-1}(k+1)(k+2)(2k+3)M_k^23^{n-1-k}=n(n+1)(n+2)M_nM_{n-1}.$$

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Proof of a conjecture involving derangements and roots of unity

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 $$\sum_{τ\in D(n-1)}\mathrm{sign}(τ)\prod_{j=1}^{n-1}\frac{1+ζ^{j-τ(j)}}{1-ζ^{j-τ(j)}} =(-1)^{\frac{n-1}{2}}\frac{((n-2)!!)^2}{n}, $$ where $D(n-1)$ is the set of all derangements of $1,\ldots,n-1$. This confirms a previous conjecture of Z.-W. Sun. Moreover, for each $δ=0,1$ we determine the value of $\det[x+m_{jk}]_{1\le j,k\le n}$ completely, where $$m_{jk}=\begin{cases}(1+ζ^{j-k})/(1-ζ^{j-k})&\text{if}\ j\not=k,\\δ&\text{if}\ j=k. \end{cases}$$

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Some parametric congruences involving generalized central trinomial coefficients

For $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the $n$th generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. In particular, $T_n=T_n(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$ $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{12^k}T_k\equiv\left(\frac{p}{3}\right)\frac{3^{p-1}+3}{4}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{T_kH_k}{3^k}\equiv\frac{3+\left(\frac{p}{3}\right)}{2}-p\left(1+\left(\frac{p}{3}\right)\right)\pmod{p^2}, $$ where $(-)$ denotes the Legendre symbol and $H_k:=\sum_{j=1}^k1/j$ denotes the $k$th harmonic number. These confirm two conjectural congruences of the second author.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sums of four rational squares with certain restrictions

In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any $a,b,c,d\in\mathbb Q_{\ge0}$, each $r\in\mathbb Q_{\ge0}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Q_{\ge0}$ 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\in\mathbb Q_{\ge0}$ can be written as $aw^4+bx^4+y^2+z^2$ with $w,x,y,z\in\mathbb Q$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Further results on Hilbert's Tenth Problem

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 $\mathbb Z$ of the integers. This was finally solved by Matiyasevich negatively in 1970. In this paper we obtain some further results on HTP over $\mathbb Z$. We prove that there is no algorithm to determine for any $P(z_1,\ldots,z_9)\in\mathbb Z[z_1,\ldots,z_9]$ whether the equation $P(z_1,\ldots,z_9)=0$ has integral solutions with $z_9\ge0$. Consequently, there is no algorithm to test whether an arbitrary polynomial Diophantine equation $P(z_1,\ldots,z_{11})=0$ (with integer coefficients) in 11 unknowns has integral solutions, which provides the best record on the original HTP over $\mathbb Z$. We also prove that there is no algorithm to test for any $P(z_1,\ldots,z_{17})\in\mathbb Z[z_1,\ldots,z_{17}]$ whether $P(z_1^2,\ldots,z_{17}^2)=0$ has integral solutions, and that there is a polynomial $Q(z_1,\ldots,z_{20})\in\mathbb Z[z_1,\ldots,z_{20}]$ such that $$\{Q(z_1^2,\ldots,z_{20}^2):\ z_1,\ldots,z_{20}\in\mathbb Z\}\cap\{0,1,2,\ldots\}$$ coincides with the set of all primes.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

$q$-Analogues of some series for powers of $π$

We obtain $q$-analogues of several series for powers of $π$. For example, the identity $$\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^3}=\frac{π^3}{32}$$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Connections between covers of $\mathbb Z$ and subset sums

In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=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 $n_0$ with common difference $1/n_0$, where $\{x\}$ denotes the fractional part of a real number $x$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

New observations on primitive roots modulo primes

We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$, and $(\frac{\cdot}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 $B_{q-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 $F_k<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$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

New series for powers of $π$ and related congruences

Via symbolic computation we deduce 97 new type series for powers of $π$ related to Ramanujan-type series. Here are three typical examples: $$\sum_{k=0}^\infty \frac{P(k) \binom{2k}k\binom{3k}k \binom{6k}{3k}}{(k+1)(2k-1)(6k-1)(-640320)^{3k}} =\frac{18\times557403^3\sqrt{10005}}{5π}$$ with \begin{align*}P(k) = &637379600041024803108 k^2 + 657229991696087780968 k \\&+ 19850391655004126179, \end{align*} $$\sum_{k=1}^\infty \frac{(3k+1)16^k}{(2k+1)^2k^3\binom{2k}k^3} = \frac{π^2-8}2,$$ and $$\sum_{n=0}^\infty\frac{3n+1}{(-100)^n} \sum_{k=0}^n{n\choose k}^2T_k(1,25)T_{n-k}(1,25) = \frac{25}{8π},$$ where the generalized central trinomial coefficient $T_k(b,c)$ denotes the coefficient of $x^k$ in the expansion of $(x^2+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 $$\sum_{k=0}^\infty\frac{39480k+7321}{(-29700)^k}T_k(14,1)T_k(11,-11)^2=\frac{6795\sqrt5}π.$$ Eighteen of the new series in this paper involve some imaginary quadratic fields with class number $8$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On some determinants involving Jacobi symbols

In this paper we study some conjectures on determinants with Jacobi symbol entries posed by Z.-W. Sun. For any positive integer $n\equiv3\pmod4$, 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=\bigg|\left(\frac{i^2+cij+dj^2}n\right)\bigg|_{1\le i,j\le n-1}$$ and $$[c,d]_n=\bigg|\left(\frac{i^2+cij+dj^2}n\right)\bigg|_{0\le i,j\le n-1}$$ with $(\frac{\cdot}n)$ the Jacobi symbol. We also prove that $(10,9)_p=0$ for any prime $p\equiv5\pmod{12}$, and $[5,5]_p=0$ for any prime $p\equiv 13,17\pmod{20}$, which were also conjectured by Sun. Our proofs involve character sums over finite fields.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On sums of four pentagonal numbers with coefficients

The pentagonal numbers are the integers given by $p_5(n)=n(3n-1)/2\ (n=0,1,2,\ldots)$. 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,\ldots$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the 1-3-5 conjecture and related topics

The 1-3-5 conjecture of Z.-W. Sun states that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as $x^2+y^2+z^2+w^2$ with $w,x,y,z\in\mathbb 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 $\{16^ka:\ a\in A,\ k\in\mathbb N\}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Z$ and $x+3y+5z\in\{4^k:\ k\in\mathbb N\}$. (ii) Any positive integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+y+2z+2w=1$. Also, any sufficiently large integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+2y+3z=1$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the set $\{π(kn):\ k=1,2,3,\ldots\}$

An open conjecture of Z.-W. Sun states that for any integer $n>1$ there is a positive integer $k\le 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,\ldots\}$ contains infinitely many $P_2$-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,\ldots\}$ contains infinitely many primes.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Proof of some conjectures involving quadratic residues

We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, 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 $(\frac{a}p)$ is the Legendre symbol, $\varepsilon_p$ and $h(p)$ are the fundamental unit and the class number of the real quadratic field $\mathbb Q(\sqrt p)$ respectively, and $\{x\}_p$ is the least nonnegative residue of an integer $x$ modulo $p$. Also, for any prime $p\equiv3\pmod4$ and $δ=1,2$, we determine $$(-1)^{\left|\left\{(j,k): \ 1\le j<k\le(p-1)/2\ \text{and}\ \{δT_j\}_p>\{δT_k\}_p\right\}\right|},$$ where $T_m$ denotes the triangular number $m(m+1)/2$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quadratic residues and quartic residues modulo primes

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 $$f_p(A):=\prod_{1\le i,j\le(p-1)/2\atop p\nmid i^2-Aij-j^2}(i^2-Aij-j^2)$$ modulo $p$; for example, if $p\equiv1\pmod4$ then $$f_p(A)\equiv\begin{cases}-(A^2+4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=1, \\(-A^2-4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also determine $$\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2+5ij+2j^2}\left(2i^2+5ij+2j^2\right) \ \text{and}\ \prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2-5ij+2j^2}\left(2i^2-5ij+2j^2\right)$$ modulo $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Some new problems in additive combinatorics

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) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q\not=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ 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 $a_1,\ldots,a_n$ of the elements of $A$ such that $$a_1+2a_2,\ a_2+2a_3,\ \ldots,\ a_{n-1}+2a_n,\ a_n+2a_1$$ are pairwise distinct. We also pose 30 open conjectures for further research.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Some universal quadratic sums over the integers

Let $a,b,c,d,e,f\in\mathbb N$ with $a\ge c\ge e>0$, $b\le a$ and $b\equiv a\pmod2$, $d\le c$ and $d\equiv c\pmod2$, $f\le e$ and $f\equiv e\pmod2$. If any nonnegative integer can be written as $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb Z$, then the ordered tuple $(a,b,c,d,e,f)$ is said to be universal over $\mathbb Z$. Recently, Z.-W. Sun found all candidates for such universal tuples over $\mathbb 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&#39;s list of candidates are indeed universal over $\mathbb Z$. For example, we prove the universality of $(16,4,2,0,1,1)$ over $\mathbb Z$ which is related to the form $x^2+y^2+32z^2$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Universal sums of three quadratic polynomials

Let $a,b,c,d,e$ and $f$ be integers with $a\ge c\ge e>0$, $b>-a$ and $b\equiv a\pmod2$, $d>-c$ and $d\equiv c\pmod 2$, $f>-e$ and $f\equiv e\pmod2$. Suppose that $b\ge d$ if $a=c$, and $d\ge 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\in\mathbb N=\{0,1,2,\ldots\}$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb 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\in[0,a)$, $d\in[0,c)$ and $f\in[0,e)$, we investigate the universal tuples $(a,b,c,d,e,f)$ over $\mathbb Z$ for which any $n\in\mathbb N$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb Z$, and show that there are totally 12082 such candidates some of which are proved to be universal tuples over $\mathbb Z$. For example, we show that any $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb Z$, and conjecture that each $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb N$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Exterior algebras and two conjectures on finite abelian groups

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&#39;s conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Linear extension of the Erdos-Heilbronn conjecture

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 $a_1,...,a_n$ 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 $a_1+a_2=0$. In this paper we prove this conjecture of Sun when $p(F)\geq 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 $A_1,...,A_n$ are finite subsets of a field F and $P(x_1,...,x_n)$ is a general polynomial over F.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On congruences related to central binomial coefficients

It is known that $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)4^k)=π/2$ and $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)16^k)=π/3$. In this paper we obtain their p-adic analogues such as $$\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)4^k)=3\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)16^k)= pE_{p-3} (mod p^2),$$ 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 $$\sum_{k=0}^{p-1}\binom{2k}{k}^3=4x^2-2p (mod p^2)$$ if (p/7)=1 and p=x^2+7y^2 with x,y integers, and $$\sum_{k=0}^{p-1}\binom{2k}{k}^3=0 (mod p^2)$$ if (p/7)=-1, i.e., p=3,5,6 (mod 7).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Delannoy numbers and Schröder numbers

The n-th Delannoy number and the n-th Schröder number given by $D_n=\sum_{k=0}^n\binom{n}{k}\binom{n+k}{k}$ and $S_n=\sum_{k=0}^n\binom{n}{k}\binom{n+k}{k}/(k+1)$ respectively arise naturally from enumerative combinatorics. Let p be an odd prime. We mainly show that $$\sum_{k=1}^{p-1}D_k/k^2=2(-1/p)E_{p-3} (mod p)$$ and $$\sum_{k=1}^{p-1}S_k/m^k=(m^2-6m+1)/(2m)*(1-((m^2-6m+1)/p) (mod p),$$ 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 $\sum_{k=1}^{p-1}D_k^2/k^2=-2q_p(2)^2 (mod p)$, where $q_p(2)=(2^{p-1}-1)/p$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On harmonic numbers and Lucas sequences

Harmonic numbers $H_k=\sum_{0<j\le k}1/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 $$\sum_{k=0}^{p-1}u_{k+δ}H_k/2^k=0 (mod p),$$ where $δ=0$ if p=1,2,4,8 (mod 15), and $δ=1$ otherwise.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On some new congruences for binomial coefficients

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 $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$ for $δ=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On weighted zero-sum sequences

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 $\lceil D(G)/|A|\rceil+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)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

p-adic valuations of some sums of multinomial coefficients

Let $m$ and $n>0$ be integers. Suppose that $p$ is a prime dividing $m-4$ but not dividing $m$. We show that $ν_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k})$ and $ν_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k})$ 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}\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}=\frac{C_{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)}),$$ where $C_k$ denotes the Catalan number $\binom{2k}{k}/(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 $$\sum_{k=0}^{n-1}multinomial{(n-1)k}{k,...,k}=0 (mod n),$$ where $multinomial{k_1+...+k_{n-1}}{k_1,...,k_{n-1}}$ denotes the multinomial coefficient $(k_1+...+k_{n-1})!/(k_1!... k_{n-1}!)$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

New congruences for central binomial coefficients

Let p be a prime and let a be a positive integer. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ and $\sum_{k=1}^{p-1}\binom{2k}{k+d}/(km^{k-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\not=2,5$ then $$\sum_{k=1}^{p-1}(-1)^k\frac{\binom{2k}k}k=-5\frac{F_{p-(\frac p5)}}p (mod p),$$ where F_n is the n-th Fibonacci number and (-) is the Jacobi symbol. We also prove that if p>3 then $$\sum_{k=1}^{p-1}\frac{\binom{2k}k}k={8/9} p^2B_{p-3} (mod p^3),$$ where B_n denotes the n-th Bernoulli number.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On almost universal mixed sums of squares and triangular numbers

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 $x^2+y^2+10z^2$, equivalently the form $2x^2+5y^2+4T_z$ represents all integers greater than 1359, where $T_z$ 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 $ax^2+by^2+cT_z$ represents sufficiently large integers and establish similar results for the forms $ax^2+bT_y+cT_z$ and $aT_x+bT_y+cT_z$. Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form $2ax^2+y^2+z^2$ if and only if all prime divisors of $a$ are congruent to 1 modulo 4. (ii) The form $ax^2+y^2+T_z$ 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) $ax^2+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4. (iv) When $v_2(a)\not=3$, the form $aT_x+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4 and $v_2(a)\not=5,7,...$, where $v_2(a)$ is the 2-adic order of $a$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On sums of binomial coefficients modulo p^2

Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}/m^k$ 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 $$ sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}(-h/2)^k =(\frac{1-2h}{p^a})(1+h((4h-2)^{p-1}/h^{p-1}-1)) (mod p^2),$$ where (-) denotes the Jacobi symbol. Here is another remarkable congruence: If p>3 then $$\sum_{k=0}^{p^a-1}\binom{p^a-1}{k}\binom{2k}{k}(-1)^k =3^{p-1}(\frac{p^a}3) (mod p^2).$$

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Products and sums divisible by central binomial coefficients

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 $$\binom {2k}k | \binom{4n+2k+2}{2n+k+1}\binom{2n+k+1}{2k}\binom{2n-k+1}n$$ and $$\binom{2k}k | (2n+1)\binom{2n}nC_{n+k}\binom{n+k+1}{2k},$$ where $C_m$ denotes the Catalan number $\binom{2m}m/(m+1)=\binom{2m}m-\binom{2m}{m+1}$. Applying this result we obtain two sums divisible by central binomial coefficients.

0 citations0 reviewsNo code linkedOpen access