(n = 0, 1, 2,... ). (2)

Transcription

1 Bull. Austral. Math. Soc. 84(2011), no. 1, ON A CURIOUS PROPERTY OF BELL NUMBERS Zhi-Wei Sun and Don Zagier Abstract. In this paper we derive congruences expressing Bell numbers and derangement numbers in terms of each other modulo any prime. 1. Introduction Let B n denote the nth Bell number, defined as the number of partitions of a set of cardinality n (with B 0 = 1). In 1933 Touchard [T] proved that for any prime p we have B p+n B n + B n+1 (mod p) for all n = 0, 1, 2,.... (1) Thus it is natural to loo at the numbers B n (mod p) for n < p. In [S], the first author discovered experimentally that for a fixed positive integer m the sum p 1 B n/( m) n modulo a prime p not dividing m is an integer independent of the prime p, a typical case being p 1 B n 1853 (mod p) for all primes p 2. ( 8) n In this note we will prove this fact and give some related results. Our theorem involves another combinatorial quantity, the derangement number D n, defined either as the number of fixed-point-free permutations of a set of cardinality n (with D 0 = 1) or by the explicit formula n ( 1) D n = n!! (n = 0, 1, 2,... ). (2) 2010 Mathematics Subject Classification. Primary 11B73; Secondary 05A15, 05A18, 11A07. Keywords. Bell numbers, derangement numbers, congruences modulo a prime. The first author is the corresponding author, and he is supported by the National Natural Science Foundation (grant ) and the Overseas Cooperation Fund (grant ) of China. 1

2 2 ZHI-WEI SUN AND DON ZAGIER Theorem 1. For every positive integer m and any prime p not dividing m we have 0<<p B ( m) ( 1)m 1 D m 1 (mod p). (3) Using 0<m<p ( m)n δ n, (mod p) for, n {1,..., p 1}, we immediately obtain a dual formula for B n (n < p) in terms of D 0,..., D p 2. Corollary 1. Let p be any prime. Then for all n = 1,..., p 1 we have ( 1) n B n p 1 ( 1) m m n D m 1 (mod p). m=1 Combining the case n = p 1 of this corollary with the congruence p 1 ( 1) D p 1 ( ) p 1 D = (p 1)! 1 (mod p), we get the following further consequence of Theorem 1. Corollary 2. For any prime p we have B p 1 D p (mod p). For the reader s convenience we give a small table of values of B n and D n. n B n D n We will prove Theorem 1 in the next section and derive an extension of it in Section Proof of Theorem 1 We first observe that it suffices to prove (3) for 0 < m < p, since both sides are periodic in m (mod p) with period p. For the left-hand side this is obvious and for the right-hand side it follows from (2), which gives the expression ( 1) n D n r=0 ( 1)r 0 s<r (n s) (mod p) for D n (mod p) as the sum of a terminating infinite series of polynomials in n.

3 ON A CURIOUS PROPERTY OF BELL NUMBERS 3 We will prove (3) for 0 < m < p by induction on m. Denote by S m the sum on the left-hand side of (3), where we consider the prime p as fixed and omit it from the notation. Since D n = nd n 1 + ( 1) n for n = 1, 2, 3,... (obvious from (2)), we have to prove the two formulas S 1 1 (mod p), m S m S 1 S m+1 (mod p). (4) Recall that the Bell numbers can be given by the generating function x n B n = e ex 1, (5) n! equivalent to the well-nown closed formula B n = 1 r n e r!. Since the function y = e ex 1 satisfies y = e x y, this also gives the recursive definition n ( ) n B 0 = 1, B n+1 = B for all n 0. (6) This recursion is the ey ingredient in proving (4). For the first formula in (4) we use (6) with n = p 1 to obtain p 1 p 1 ( ) p 1 S 1 = ( 1) B B = B p B 0 (mod p), =1 =1 so it suffices to prove that B p 2 (mod p). This is a special case of Touchard s congruence (1), but can also be seen by writing (5) in the form x n B n = e x + ( e x 1 ) r + xp + O ( x p+1) n! r! p! 1<r<p r=0 to get B p /p! = 1/p! + (p-integral) + 1/p!. Now using Fermat s little theorem and (6) we have p 2 n ( ) n m S m ( m) p 1 n B p 2 p 2 ( ) p 1 ( 1) B m p 1 r (r = n ) r r=0 p 2 ( 1) ( B (m + 1) p 1 1 ) S m+1 S 1 (mod p) for 1 m p 2. This completes the proof of (4) and the theorem.

4 4 ZHI-WEI SUN AND DON ZAGIER 3. An extension of Theorem 1 We now give an extension of Theorem 1 from the Bell numbers B n to the Touchard polynomial, defined by = n S(n, )x. (7) The numbers S(n, ) occurring here are the Stirling numbers of the second ind, which can be defined in at least four different ways: combinatorially as the number of partitions of a set of n elements into non-empty subsets; by the generating function S(n, ) xn n! = (ex 1)! ( 0) ; (8) by the recursion relation S(n, ) = S(n 1, ) + S(n 1, 1) (n, 1) (9) together with the initial conditions S(n, 0) = S(0, n) = δ n,0 ; by the closed formula S(n, ) = j=0 ( 1) j j n j! ( j)!. (10) From the first or third of these we see that T n (1) = B n, so the following result includes Theorem 1 as the special case x = 1. Theorem 2. For any prime number p and any positive integer m not divisible by p, we have ( x) m ( m) n xp m 1 l=0 (m 1)! ( x) l (mod p Z p [x]), (11) l! where Z p denotes the ring of p-adic integers. Observe that this congruence of polynomials implies the congruence m 1 ( m) n 1 ( x) m 1 l=0 (m 1)! ( x) l (mod p) l!

5 ON A CURIOUS PROPERTY OF BELL NUMBERS 5 for any p-adic integer x not divisible by p, special cases being ( 2) n x 1 x (mod p) for p 2, ( 3) n x2 2x + 2 x 2 (mod p) for p 3, ( 4) n x3 3x 2 + 6x 6 x 3 (mod p) for p 2. Proof of Theorem 2. One can prove Theorem 2 by a slight modification of the argument used for Theorem 1, replacing the recursion (6) for the Bell numbers by the analogous recursion T 0 (x) = 1, T n+1 (x) = x n ( ) n T (x) for n 0 for the Touchard polynomials. But it is in fact easier to prove this congruence of polynomials for each coefficient separately. We first observe that, just as in the case of Theorem 1, it suffices to consider m among 1,..., p 1, since by setting l = m 1 r we can rewrite (11) in the form ( m) n ( r=0 1 s r ) (m s) ( x) p 1 r (mod p Z p [x][x 1 ]) in which both sides depend only on m (mod p). (Note that the expression on the right is a polynomial modulo p, since 1 s r (m s) is divisible by p for r p.) Comparing the coefficients of x on both sides of this identity, we see that it suffices to prove the congruence p 1 n= S(n, ) ( m) n 0<s<p (s m) (mod p) (12) for m and in {1,..., p 1}. We can do this in two different ways: By downward induction on. For = p 1 both sides of (12) reduce to 1 modulo p, and from the recursion (9) we get p 1 n= 1 S(n, 1) ( m) n = p 1 n= 1 ( m ) S(n + 1, ) S(n, ) ( m) n p 1 n= S(n, ) (mod p) ( m) n

6 6 ZHI-WEI SUN AND DON ZAGIER for 1 < < p, showing that the truth of (12) for implies its truth for 1. Here we have used the fact that S(p, ) 0 (mod p) for 1 < < p, which can be seen either from the combinatorial definition of the Stirling numbers (the group Z/pZ acts freely by translation on the set of its partitions into nonempty subsets, so p S(p, ) ) or else from the generating function (8) (because the coefficient of x p on the right-hand side of (8) is p-integral for 1 < < p). From the closed formula (10) for S(n, ) together with the easily verified fact that ( j/m)n is congruent to 1 (mod p) if j m (mod p) and to 0 (mod p) otherwise. This gives S(n, ) ( m) n ( 1)+m! ( ) p m (mod p) for and m in the range under consideration. If < p m then ( ) = 0 and (s m) = 0. p m 0<s<p If + m p, then the congruence that we have to prove is ( 1) +m (p m)! ( + m p)! ( 1) (m 1)! ( + m p)! (mod p), and this is clear since ( p 1 m 1) ( 1) m 1 ( 1) m (p 1)! (mod p). This completes the proof of (12) and of Theorem 2. Acnowledgments. This wor was done during the authors visit to the National Center for Theoretical Sciences (Hsinchu, Taiwan). Both authors are indebted to Prof. Wen-Ching Winnie Li for the ind invitation and to the Center for its financial support. References [S] [T] Z. W. Sun, A conjecture on Bell numbers (a message to Number Theory List), J. Touchard, Propriétés arithmétiques de certains nombres recurrents, Ann. Soc. Sci. Bruxelles 53A (1933), Department of Mathematics, Nanjing University, Nanjing , People s Republic of China address: zwsun@nju.edu.cn Homepage: zwsun Max-Planc-Institut für Mathemati, Bonn 53111, Germany address: don.zagier@mpim-bonn.mpg.de