arXiv++ Combinatorics

Let p be a prime, and let n>0 and r be integers. In 1913 Fleck showed that $$F_p(n,r)=(-p)^{-[(n-1)/(p-1)]}\sum_{k=r(mod p)}\binom{n}{k}(-1)^k\in\Z.$$ Nowadays this result plays important roles in many aspects. Recently Sun and Wan investigated $F_p(n,r)$ mod p in [SW2]. In this paper, using p-adic methods we determine $(F_p(m,r)-F_p(n,r))/(m-n)$ modulo p in terms of Bernoulli numbers, where m>0 is an integer with $m\not=n$ and $m=n (mod p(p-1))$. Consequently, $F_p(n,r)$ mod $p^{ord_p(n)+1}$ is determined; for example, if $n=n_*(mod p-1)$ with $0<n_*<p-2$ then $$\frac{F_p(pn,0)}{pn}=\frac{n_*!}{n_*+1}B_{p-1-n_*} (mod p).$$ This yields an application to Stirling numbers of the second kind. We also study extended Fleck quotients; in particular we prove that if $a>0$ and $l\ge 0$ are integers with $2\le n-l\le p$ then $$\frac{1}{p^{n-l}}\sum_{l<k\le n} \binom{p^a n-d}{p^a k-d}(-1)^{pk}\binom{k-1}{l} =\frac{(-1)^{l-1}n!}{l!(n-l)}B_{p-n+l} (mod p)$$ for all d=1,...,max{p^{a-2},1}.

For an integer $n>2$, a rank-$n$ matroid is called an $n$-spike if it consists of $n$ three-point lines through a common point such that, for all $k\in\{1, 2, ..., n - 1\}$, the union of every set of $k$ of these lines has rank $k+1$. Spikes are very special and important in matroid theory. In 2003 Wu found the exact numbers of $n$-spikes over fields with 2, 3, 4, 5, 7 elements, and the asymptotic values for larger finite fields. In this paper, we prove that, for each prime number $p$, a $GF(p$) representable $n$-spike $M$ is only representable on fields with characteristic $p$ provided that $n \ge 2p-1$. Moreover, $M$ is uniquely representable over $GF(p)$.

Let $p$ be a prime, and let $n>0$ and $r$ be integers. In this paper we study Fleck's quotient $$F_p(n,r)=(-p)^{-\lfloor(n-1)/(p-1)\rfloor} \sum_{k=r(mod p)}\binom {n}{k}(-1)^k\in Z.$$ We determine $F_p(n,r)$ mod $p$ completely by certain number-theoretic and combinatorial methods; consequently, if $2\le n\le p$ then $$\sum_{k=1}^n(-1)^{pk-1}\binom{pn-1}{pk-1} \equiv(n-1)!B_{p-n}p^n (mod p^{n+1}),$$ where $B_0,B_1,...$ are Bernoulli numbers. We also establish the Kummer-type congruence $F_p(n+p^a(p-1),r)\equiv F_p(n,r) (mod p^a)$ for $a=1,2,3,...$, and reveal some connections between Fleck's quotients and class numbers of the quadratic fields $\Q(\sqrt{\pm p})$ and the $p$-th cyclotomic field $\Q(ζ_p)$. In addition, generalized Fleck quotients are also studied in this paper.

For positive integers $a_1,a_2,...,a_m$, we determine the least positive integer $R(a_1,...,a_m)$ such that for every 2-coloring of the set $[1,n]={1,...,n}$ with $n\ge R(a_1,...,a_m)$ there exists a monochromatic solution to the equation $a_1x_1+...+a_mx_m=x_0$ with $x_0,...,x_m\in[1,n]$. The precise value of $R(a_1,...,a_m)$ is shown to be $av^2+v-a$, where $a=min{a_1,...,a_m}$ and $v=\sum_{i=1}^{m}a_i$. This confirms a conjecture of B. Hopkins and D. Schaal.

A positive integer n is called a covering number if there are some distinct divisors n_1,...,n_k of n greater than one and some integers a_1,...,a_k such that Z is the union of the residue classes a_1(mod n_1),...,a_k(mod n_k). A covering number is said to be primitive if none of its proper divisors is a covering number. In this paper we give some sufficient conditions for n to be a (primitive) covering number; in particular, we show that for any r=2,3,... there are infinitely many primitive covering numbers having exactly r distinct prime divisors. In 1980 P. Erdos asked whether there are infinitely many positive integers n such that among the subsets of D_n={d>1: d|n} only D_n can be the set of all the moduli in a cover of Z with distinct moduli; we answer this question affirmatively. We also conjecture that any primitive covering number must have a prime factorization p_1^{alpha_1}...p_r^{alpha_r} (with p_1,...,p_r in a suitable order) which satisfies $\prod_{0<t<s}(alpha_t+1)\ge p_s-1$ for each s=1,...,r, with strict inequality when s=r.

In this paper we obtain some sophisticated combinatorial congruences involving binomial coefficients and confirm two conjectures of the author and Davis. They are closely related to our investigation of the periodicity of the sequence $\sum_{j=0}^l{l\choose j}S(j,m)a^{l-j}(l=m,m+1,...)$ modulo a prime $p$, where $a$ and $m>0$ are integers, and those $S(j,m)$ are Stirling numbers of the second kind. We also give a new extension of Glaisher's congruence by showing that $(p-1)p^{[\log_p m]}$ is a period of the sequence $\sum_{j=r(mod p-1)}{l\choose j}S(j,m)(l=m,m+1,...)$ modulo $p$.

Let p be any prime and a be a positive integer. For nonnegative integers l,n and an integer r, the normalized cyclotomic $ψ$-coefficient $${n,r}_{l,p^a}:=p^{-[(n-p^{a-1}-lp^a)/(p^{a-1}(p-1))]} \sum_{k=r(mod p^a)}(-1)^k{n \choose k}{{(k-r)/p^a} \choose l}$$ is known to be an integer. In this paper, we show that this coefficient behaves like binomial coefficients and satisfies some Lucas-type congruences. This implies that a congruence of Wan is often optimal, and two conjectures of Sun and Davis are true.

By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}. On the basis of this identity, for $d,r=0,1,2,...$ we construct explicit $F(d,r)$ and $G(d,r)$ such that for any prime $p>\max\{d,r\}$ we have \sum_{k=1}^{p-1}k^r C_{k+d}\equiv \cases F(d,r)(mod p)& if 3|p-1, \\G(d,r)\ (mod p)& if 3|p-2, where $C_n$ denotes the Catalan number $(n+1)^{-1}\binom{2n}{n}$. For example, when $p\geq 5$ is a prime, we have \sum_{k=1}^{p-1}k^2C_k\equiv\cases-2/3 (mod p)& if 3|p-1, \1/3 (mod p)& if 3|p-2; and \sum_{0<k<p-4}\frac{C_{k+4}}k \equiv\cases 503/30 (mod p)& if 3|p-1, -100/3 (mod p)& if 3|p-2. This paper also contains some new recurrence relations for Catalan numbers.

Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t<p$, then $$\frac{1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)} \binom{pn+s}{pk+t}(-1)^{pk}((k-r)/p^{a-1})^l =\frac {1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)}\binom{n}{k}\binom{s}{t}(-1)^k((k-r)/p^{a-1})^l (mod p).$$ We also present an application of the first congruence to Bernoulli polynomials, and apply the second congruence to show that a p-adic order bound given by the authors in a previous paper can be attained when p=2.

Let $p$ be a prime, and let $f(x)$ be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the $p$-adic order of the sum $$\sum_{k=r(mod p^β)}\binom{n}{k}(-1)^k f([(k-r)/p^α]),$$ where $α\geβ\ge 0$, $n\ge p^{α-1}$ and $r\in Z$. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as $$\sum_{k=r(mod p^α)}\binom{n}{k} a^k\equiv 0 (mod p^{[(n-p^{α-1})/φ(p^α)]})$$ provided that $α>1$ and $a\equiv-1(mod p)$.

Let $(a;q)_n=\prod_{0\le k<n}(1-aq^k)$ for n=0,1,2,.... Define q-Euler numbers $E_n(q)$, q-Salié numbers $S_n(q)$ and q-Carlitz numbers $C_n(q)$ as follows: $$\sum_{n=0}^{\infty}E_n(q)\frac{x^n}{(q,q)_n} =1/\sum_{n=0}^{\infty}\frac{q^{n(2n-1)}x^{2n}}{(q;q)_{2n}},$$ $$\sum_{n=0}^{\infty}S_n(q)\frac{x^n}{(q;q)_n} =\sum_{n=0}^{\infty}\frac{q^{n(n-1)}x^{2n}}{(q;q)_{2n}} /\sum_{n=0}^{\infty}\frac{(-1)^nq^{n(2n-1)}x^{2n}}{(q;q)_{2n}},$$ $$\sum_{n=0}^{\infty}C_n(q)\frac{x^n}{(q;q)_n} =\sum_{n=0}^{\infty}\frac{q^{n(n-1)}x^{2n+1}}{(q;q)_{2n+1}} /\sum_{n=0}^{\infty}\frac{(-1)^nq^{n(2n+1)}x^{2n+1}}{(q;q)_{2n+1}}.$$ We show that $$E_{2n}(q)-E_{2n+2^{s}t}(q)=[2^s]_{q^t} (mod (1+q)[2^s]_{q^t})$$ for any nonnegative integers n,s,t with t odd, where $[k]_q=(1-q^k)/(1-q)$; this is a q-analogue of Stern's congruence $E_{2n+2^s}=E_{2n}+2^s (mod 2^{s+1})$. We also prove that $(-q;q)_n=\prod_{0<k\le n}(1+q^k)$ divides $S_{2n}(q)$ and the numerator of $C_{2n}(q)$; this extends Carlitz's result that $2^n$ divides the Salié number $S_{2n}$ and the numerator of the Carlitz number $C_{2n}$. Our result on q-Salié numbers implies a conjecture of Guo and Zeng.

For an integer $x$ let $t_x$ denote the triangular number $x(x+1)/2$. Following a recent work of Z. W. Sun, we show that every natural number can be written in any of the following forms with $x,y,z\in\Z$: $$x^2+3y^2+t_z, x^2+3t_y+t_z, x^2+6t_y+t_z, 3x^2+2t_y+t_z, 4x^2+2t_y+t_z.$$ This confirms a conjecture of Sun.

By means of $q$-series, we prove that any natural number is a sum of an even square and two triangular numbers, and that each positive integer is a sum of a triangular number plus $x^2+y^2$ for some integers $x$ and $y$ with $x\not\equiv y (mod 2)$ or $x=y>0$. The paper also contains some other results and open conjectures on mixed sums of squares and triangular numbers.

Let A={a_s+n_sZ}_{s=1}^k be a finite system of arithmetic sequences which forms an m-cover of Z (i.e., every integer belongs at least to m members of A). In this paper we show the following sharp result: For any positive integers m_1,...,m_k and theta in [0,1), if there is a subset I of {1,...,k} such that the fractional part of sum_{s in I}m_s/n_s is theta, then there are at least 2^m such subsets of {1,...,k}. This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to m-covers of the integral ring of any algebraic number field with a power integral basis.

Let A,B,S be finite subsets of an abelian group G. Suppose that the restricted sumset C={a+b: a in A, b in B, and a-b not in S} is nonempty and some c in C can be written as a+b with a in A and b in B in at most m ways. We show that if G is torsion-free or elementary abelian then |C|\geq |A|+|B|-|S| -m. We also prove that |C|\geq |A|+|B|-2|S|-m if the torsion subgroup of G is cyclic. In the case S={0} this provides an advance on a conjecture of Lev.

Let q>1 and m>0 be relatively prime integers. We find an explicit period $ν_m(q)$ such that for any integers n>0 and r we have $[n+ν_m(q),r]_m(a)=[n,r]_m(a) (mod q)$ whenever a is an integer with $\gcd(1-(-a)^m,q)=1$, or a=-1 (mod q), or a=1 (mod q) and 2|m, where $[n,r]_m(a)=\sum_{k=r(mod m)}\binom{n}{k}a^k$. This is a further extension of a congruence of Glaisher.

This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its proper subsystems does. We show that if $G$ is cyclic, or $G$ is finite and $G_1,...,G_k$ are normal Hall subgroups of $G$, then $k\geq m+f([G:\bigcap_{i=1}^kG_i])$, where $f(\prod_{t=1}^r p_t^{α_t})=\sum_{t=1}^rα_t(p_t-1)$ if $p_1,...,p_r$ are distinct primes and $α_1,...,α_r$ are nonnegative integers. When all the $a_i$ are the identity element of $G$ and all the $G_i$ are subnormal in $G$, we prove that there is a composition series from $\bigcap_{i=1}^kG_i$ to $G$ whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.

A famous unsolved conjecture of P. Erdos and J. L. Selfridge states that there does not exist a covering system {a_s(mod n_s)}_{s=1}^k with the moduli n_1,...,n_k odd, distinct and greater than one. In this paper we show that if such a covering system {a_s(mod n_s)}_{s=1}^k exists with n_1,...,n_k all square-free, then the least common multiple of n_1,...,n_k has at least 22 prime divisors.

For integers a and n>0, let a(n) denote the residue class {x\in Z: x=a (mod n)}. Let A be a collection {a_s(n_s)}_{s=1}^k of finitely many residue classes such that A covers all the integers at least m times but {a_s(n_s)}_{s=1}^{k-1} does not. We show that if n_k is a period of the covering function w_A(x)=|{1\le s\le k: x\in a_s(n_s)}| then for any r=0,...,n_k-1 there are at least m integers in the form $\sum_{s\in I}1/n_s-r/n_k$ with I contained in {1,...,k-1}.

In this talk we introduce several topics in combinatorial number theory which are related to groups; the topics include combinatorial aspects of covers of groups by cosets, and also restricted sumsets and zero-sum problems on abelian groups. A survey of known results and open problems on the topics is given in a popular way.