MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES OF RATIONAL FUNCTIONS arxiv:400854v2 [mathnt] 23 Oct 204 ARMIN STRAUB Department of Mathematics University of Illinois at Urbana-Champaign & Max-Planc-Institut für Mathemati Abstract One of the many remarable properties of the Apéry numbers A(n introduced in Apéry s proof of the irrationality of ζ(3 is that they satisfy the two-term supercongruences A(p r m A(p r m (mod p 3r for primes p 5 Similar congruences are conjectured to hold for all Apéry-lie sequences We provide a fresh perspective on the supercongruences satisfied by the Apéry numbers by showing that they extend to all Taylor coefficients A(n n 2 n 3 n 4 of the rational function ( x x 2 ( x 3 x 4 x x 2 x 3 x 4 The Apéry numbers are the diagonal coefficients of this function which is simpler than previously nown rational functions with this property Our main result offers analogous results for an infinite family of sequences indexed by partitions λ which also includes the Franel and Yang Zudilin numbers as well as the Apéry numbers corresponding to ζ(2 Using the example of the Almvist Zudilin numbers we further indicate evidence of multivariate supercongruences for other Apéry-lie sequences The Apéry numbers ( A(n Introduction n 0 ( 2 ( n n+ played a crucial role in R Apéry s proof [Apé79] [Poo79] of the irrationality of ζ(3 and have inspired much further wor Among many other interesting properties they satisfy congruences with surprisingly large moduli referred to as supercongruences a term coined by F Beuers [Beu85] For instance for all primes p 5 and all positive integers r (2 A(p r m A(p r m (mod p 3r 2 E-mail address: astraub@illinoisedu Date: October 22 204 200 Mathematics Subject Classification Primary A07 B83; Secondary B37 Key words and phrases Apéry numbers supercongruences diagonals of rational functions Almvist Zudilin numbers
2 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES The special case m r was conjectured by S Chowla J Cowles and M Cowles[CCC80] who establishedthe correspondingcongruencemodulo p 2 The case r was subsequently shown by I Gessel [Ges82] and Y Mimura [Mim83] while the general case has been proved by M Coster [Cos88] The proof is an adaption of F Beuers proof [Beu85] of the related congruence (3 A(p r m A(p r m (mod p 3r again valid for all primes p 5 and all positive integers r That congruence (3 can be interpreted as an extension of (2 to negative integers is explained in Remar 3 For further congruence properties of the Apéry numbers we refer to [Cow80] [Beu87] [AO00] [Kil06] Given a series (4 F(x x d n n d 0 a(n n d x n xn d d its diagonal coefficients are the coefficients a(nn and the diagonal is the ordinary generating function of the diagonal coefficients For our purposes F will always be a rational function It is well-nown see for instance [LvdP90 Theorem 52] that the diagonal of a rational function satisfies a Picard Fuchs linear differential equation and as such comes from geometry In particular the diagonal coefficients satisfy a linear recurrence with polynomial coefficients Many sequences of number-theoretic interest can be represented as the diagonal coefficients of rational functions In particular it is nown [Chr84] [LvdP90] that the Apéry numbers are the diagonal coefficients of the rational function (5 ( x [( x 2 ( x 3 ( x 4 ( x 5 x x 2 x 3 ] Several other rational functions of which the Apéry numbers are the diagonal coefficients are given in [BBC + 3] where it is also discussed how these can be obtained from the representation of the Apéry numbers as the binomial sum ( However all of these rational function involve at least five variables and in each case the polynomial in the denominator factors Our first result shows that in fact the Apéry numbers are the diagonal coefficients of a simpler rational function in only four variables Theorem The Apéry numbers A(n defined in ( are the diagonal coefficients of (6 ( x x 2 ( x 3 x 4 x x 2 x 3 x 4 Representing a sequence as the diagonal of a rational function has certain benefits For instance asymptotic results can be obtained directly and explicitly from this rational function This is the subject of multivariate asymptotics as developed in [PW02] For details and a host of wored examples we refer to [PW08] As a second example the rational generating function provides a means to compute the sequence modulo a fixed prime power Indeed the diagonal of a rational function with integral Taylor coefficients such as (6 is algebraic modulo p α for any α [LvdP90] A recent demonstration that this can be done very constructively is given in [RY3] where the values modulo p α of sequences such as the Apéry numbers are equivalently encoded as finite automata
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 3 We note that a statement such as Theorem is more or less automatic to prove once discovered For instance given a rational function we can always repeatedly employ a binomial series expansion to represent the Taylor coefficients as a nested sum of hypergeometric terms In principle creative telescoping [PWZ96] will then obtain a linear recurrence satisfied by the diagonal coefficients in which case it suffices to chec that the alternative expression satisfies the same recurrence and agrees for sufficiently many initial values For the rational function F(x given in (6 we can gain considerably more insight Indeed for all the Taylor coefficients A(n defined by (7 F(x x 2 x 3 x 4 n n 2n 3n 4 0 A(n n 2 n 2 n 4 x n xn2 2 xn3 3 xn4 4 we find for instance by applying MacMahon s Master Theorem [Mac5] as detailed in Section 4 the explicit formula (8 A(n ( ( ( ( n n3 n +n 2 n3 +n 4 n n 3 Z of which Theorem is an immediate consequence An instance of our main result is the observation that the supercongruence (2 for the Apéry numbers generalizes to all coefficients (8 of the rational function (6 in the following sense Theorem 2 Let n (n n 2 n 3 n 4 Z 4 The coefficients A(n defined in (7 and extended to negative integers by (8 satisfy for primes p 5 and positive integers r the supercongruences (9 A(p r n A(p r n (mod p 3r Note that the Apéry numbers are A(n A(nnnn so that (9 indeed generalizes (2 Our reason for allowing negative entries in n is that by doing so we also generalize Beuers supercongruence (3 Indeed as explained in Remar 3 below A(n A( n n n n Theorem 2 is a special case of our main result Theorem 32 in which we prove such supercongruences for an infinite family of sequences This family includes other Apéry-lie sequences such as the Franel and Yang Zudilin numbers as well as the Apéry numbers corresponding to ζ(2 We therefore review Apéry-lie sequences in Section 2 Though no uniform reason is nown each Apéry-lie sequence appears to satisfy a supercongruence of the form (2 some of which have been proved [Beu85] [Cos88] [CCS0] [OS] [OS3] [OSS4] while others remain open [OSS4] A major motivation for this note is to wor towards an understanding of this observation Our contribution to this question is the insight that at least for several Apéry-lie sequences these supercongruences generalize to all coefficients of a rational function Our main result which includes the case of the Apéry numbers outlined in this introduction is given in Section 3 In that section we also record two further conjectural instances of this phenomenon Finally we provide proofs for our results in Sections 4 and 5 Remar 3 Let us indicate that congruence(3 can be interpreted as the natural extension of (2 to the case of negative integers m To see this generalize the definition ( of the Apéry numbers A(n to all integers n by setting (0 A(n ( 2 ( 2 n n+ Z
4 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES Hereweassumethevaluesofthebinomialcoefficientstobedefinedasthe(limiting values of the corresponding quotient of gamma functions that is ( n Γ(z +n+ lim z 0 Γ(z + +Γ(z +n + Since Γ(z+ has no zeros and poles only at negative integers z one observes that the binomial coefficient ( n is finite for all integers n and Moreover the binomial coefficient with integer entries is nonzero only if either 0 and n 0 or if n < 0 and 0 or if n < 0 and n 0 Note that in each of these cases 0 or n 0 so that the symmetry ( ( n n n allows us to compute these binomial coefficients in the obvious way For instance ( ( 3 5 3 2 ( 3( 4 2! 6 As carefully shown in [Spr08] for all integers n and we have the negation rule ( ( n n+ ( sgn(( where sgn( for 0 and sgn( for < 0 Applying ( to the sum (0 we find that A( n A(n In particular the congruence (3 is equivalent to (2 with m in place of m Remar 4 The proof of formula (8 in Section 4 shows that the coefficients can be expressed as A(n n 2 n 3 n 4 ct (x +x 2 +x 3 n (x +x 2 n2 (x 3 +x 4 n3 (x 2 +x 3 +x 4 n4 x n xn2 2 xn3 3 xn4 4 representing them as the constant terms of Laurent polynomials In particular the Apéry numbers ( are the constant term of powers of a Laurent polynomial Namely [ ] n (x +x 2 (x 3 +(x +x 2 +x 3 (x 2 +x 3 + A(n ct x x 2 x 3 Since the Newton polyhedron of this Laurent polynomial has the origin as its only interior integral point the results of [SvS09] [MV3] apply to show that A(n satisfies the Dwor congruences A(p r m+na( n/p A(p r m+ n/p A(n (mod p r for all primes p and all integers mn 0 r In particular (2 A(p r m A(p r m (mod p r which is a weaer version of (2 that holds for the large class of sequences represented as the constant term of powers of a Laurent polynomial subject only to the condition on the Newton polyhedron This gives another indication why congruence (2 is referred to as a supercongruence It would be of considerable interest to find similarly well-defined classes of sequences for which supercongruences of the form (2 but modulo p r for > hold Let us note that the case r of the Dwor congruences implies the Lucas congruences A(n A(n 0 A(n A(n l (mod p wheren 0 n l {0p }arethep-adicdigitsofn n 0 +n p++n l p l It is shown in [RY3] that Lucas congruences hold for all Taylor coefficients of certain rational functions Additional divisibility properties in this direction are obtained
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 5 in [Del3] for Apéry-lie numbers as well as for constant terms of powers of certain Laurent polynomials Finally we note that an extension of Dwor congruences to the multivariate setting has been considered in [KR] In contrast to our approach where for instance the Apéry numbers appear as the diagonal(multivariate Taylor coefficients of a multivariate function F(x the theory developed in [KR] is concerned with functions G(x G(x x d for which say the Apéry numbers are the (univariate Taylor coefficients of the specialization G(xx 2 Review of Apéry-lie numbers The Apéry numbers A(n are characterized by the 3-term recurrence (3 (n+ 3 u n+ (2n+(an 2 +an+bu n n(cn 2 +du n where (abcd (750 together with the initial conditions (4 u 0 u 0 As explained in [Beu02] the fact that in the recursion (3 we divide by (n+ 3 at each step means that we should expect the denominator of u n to grow lie (n! 3 Whilethisiswhathappensforgenericchoiceoftheparameters(abcd theapéry numbers have the from this perspective exceptional property of being integral Initiated by Beuers [Beu02] systematic searches have therefore been conducted for recurrences of this ind which share the property of having an integer solution with initial conditions (4 This was done by D Zagier [Zag09] for recurrences of the form (5 (n+ 2 u n+ (an 2 +an+bu n cn 2 u n by G Almvist and W Zudilin [AZ06] for recurrences of the form (3 with d 0 and more recently by S Cooper [Coo2] for recurrences of the form (3 In each case apart from degenerate cases only finitely many sequences have been discovered For details and a possibly complete list of the sequences we refer to [Zag09] [AZ06] [AvSZ] [Coo2] Remarably and still rather mysteriously all of these sequences often referred to as Apéry-lie share some of the interesting properties of the Apéry numbers For instance they all are the coefficients of modular forms expanded in terms of a corresponding modular function In the case of the Apéry numbers A(n for instance it was shown by Beuers [Beu87] that (6 A(n n 0 ( η(τη(6τ η(2τη(3τ 2n η7 (2τη 7 (3τ η 5 (τη 5 (6τ where η(τ is the Dedeind eta function η(τ e πiτ/2 n ( e2πinτ The modular function and the modular form appearing in (6 are modular with respect to the congruence subgroup Γ 0 (6 of level 6 (in fact they are modular with respect to a slightly larger group While this relation with modular forms can be proven in each individual case no conceptual explanation is available in the sense that if an additional Apéry-lie sequence was found we would not now a priori that its generating function has a modular parametrization such as (6 As a second example it is conjectured and in some cases proven [OSS4] that each Apéry-lie sequence satisfies a supercongruence of the form (2 Again no uniform explanation is available and the nown proofs [Ges82] [Mim83] [Beu85]
6 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES [Cos88] of the supercongruences (2 and (3 all rely on the explicit binomial representation ( of the Apéry numbers However not all Apéry-lie sequences have a comparably effective binomial representation so that for instance for the Almvist Zudilin numbers [AvSZ sequence (42(δ] [CZ0] [CCS0] (7 Z(n n ( ( n n+ (3! ( 3 n 3 3 n! 3 0 which solve (3 with (abcd ( 7 380 the supercongruence (8 Z(p r m Z(p r m (mod p 3r for primes p 3 is conjectural only It would therefore be of particular interest to find alternative approaches to proving supercongruences In this paper we provide a new perspective on supercongruences of the form (8 by showing that they hold at least for several Apéry-lie sequences for all coefficients C(n of a corresponding rational function which has the sequence of interest as its diagonal coefficients In such a case one may then hope to use properties of the rational function to prove for some > the supercongruence C(p r n C(p r n modulo p r For instance for fixed p r these congruences can be proved at least in principle by computing the multivariate generating functions of both C(p r n and C(p r n which are rational functions because they are multisections of a rational function and comparing them modulo p r Let us note that in Example 39 below we give a characterization of the Almvist Zudilin numbers (7 as the diagonal of a surprisingly simple rational function and conjecture that the supercongruences (8 which themselves have not been proved yet again extend to all coefficients of this rational function We hope that the simplicity of the rational function might help inspire a proof of these supercongruences 3 Main result and examples We now generalize what we have illustrated in the introduction for the Apéry numbers A(n to an infinite family of sequences A λε (n indexed by partitions λ and ε { } which includes other Apéry-lie numbers such as the Franel and Yang Zudilin numbers as well as the sequence used by Apéry in relation with ζ(2 Our main theorem is Theorem 32 in which we prove (multivariate supercongruences for this family of sequences thus unifying and extending a number of nown supercongruences To begin with the sequences we are concerned with are introduced by the following extension of formula (8 Here x n is short for x n xn2 2 xn d d Theorem 3 Let α C and λ (λ λ l Z l >0 with d λ ++λ l and set s(j λ ++λ j Then the Taylor coefficients of the rational function (9 λ l j j r x s(j+r αx x 2 x d n Z d 0 A λα (nx n
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 7 are given by (20 A λα (n Z α l j ( ns(j+ ++ n s(j+λj (λ j n s(j+ n s(j+λj The proofofthiselementarybut crucialresultwillbe givenin Section4 Observe that the multivariate Apéry numbers A(n defined in (8 are the special case A (22 (n Our main result of which Theorem 2 is the special case λ (22 and ε followsnext Note that if n Z d 0 then the sum (20 defining A λα(n is finite and runs over 0min(n n d On the other hand if max(λ λ l 2 then A λα (n is finite for any n Z d Theorem 32 Let ε { } λ (λ λ l Z l >0 and assume that n Zd d λ ++λ l is such that A λε (n as defined in (20 is finite (a If l 2 then for all primes p 3 and integers r (2 A λε (p r n A λε (p r n (mod p 2r If ε then these congruences also hold for p 2 (b If l 2 and max(λ λ l 2 then for primes p 5 and integers r (22 A λε (p r n A λε (p r n (mod p 3r A proof of Theorem 32 is given in Section 5 One of the novel features of the proof which is based on the approach of Gessel [Ges82] and Beuers [Beu85] is that it proceeds in a uniform fashion for all n Z d As outlined in Remar 3 this allows us to also conclude and to a certain extent explain the shifted supercongruences (3 which among Apéry-lie numbers are special to the Apéry numbers as well as their version (23 related to ζ(2 In cases where n has negative entries the summation (20 while still finite may include negative values for (see Remar 3 We therefore extend classical results such as Jacobsthal s binomial congruences to the case of binomial coefficients with negative entries Example 33 For λ (2 the numbers (20 specialize to the Delannoy numbers A (2 (n ( ( n n +n 2 n Z which for n n 2 0 count the number of lattice paths from (00 to (n n 2 with steps (0 (0 and ( The Delannoy numbers do not satisfy (2 or (22 thus demonstrating the necessity of the condition l 2 in Theorem 32 They do satisfy (2 modulo p r by virtue of Remar 4 Example 34 The Apéry-lie sequence (23 B(n ( 2 ( n n+ Z which satisfies recurrence (5 with (abc (3 was introduced by Apéry [Apé79] [Poo79] along with ( and used to (reprove the irrationality of ζ(2
8 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES By Theorem 3 with λ (2 and ε the numbers B(n are the diagonal coefficients of the rational function (24 B(nx n ( x x 2 ( x 3 x x 2 x 3 n Z 3 0 In addition to the binomial sum for B(n provided by Theorem 3 MacMahon s Master Theorem 4 shows that B(n n 2 n 3 is the coefficient of x n xn2 2 xn3 3 in the product (x + x 2 + x 3 n (x + x 2 n2 (x 2 + x 3 n3 An application of Theorem 32 shows that for n Z 3 and integers r the supercongruences (25 B(p r n B(p r n (mod p 3r hold for all primes p 5 In the diagonal case n n 2 n 3 this result was first proved by Coster [Cos88] Proceeding as in Remar 3 and using the curious identity n ( 2 ( n n+ n ( ( 2 n n+ (26 ( n+ 0 0 we find that B( n ( n B(n for n > 0 Consequently (25 implies the shifted supercongruences B(p r m B(p r m which hold modulo p 3r for all primes p 5 and were first proved in [Beu85] along with (3 We observe that among the nown Apéry-lie numbers the sequence B(n and the Apéry numbers ( are the only ones to satisfy shifted supercongruences of the form (3 in addition to the supercongruences of the form (2 Example 35 As a consequence of Theorem 3 with λ (3 and ε the numbers n ( 2 ( ( n n+ n+2 C(n 0 are the diagonal coefficients of the rational function /(( x x 2 x 3 ( x 4 x x 2 x 3 x 4 By Theorem 32 it follows that C(p r n C(p r n modulo p 2r for all primes p We note that this congruence does not in general hold modulo a larger power of p as is illustrated by C(5 4009657 7 C( modulo 5 3 This demonstrates that in Theorem 32(a the modulus p 2r of the congruences cannot in general be replaced with p 3r even for p 5 Example 36 Next we consider the sequences n ( d n (27 Y d (n 0 The numbers Y 3 (n satisfy the recurrence (5 with (abc (72 8 and are nown as Franel numbers [Fra94] while the numbers Y 4 (n corresponding to (abcd (62 644 in (3 are sometimes referred to as Yang Zudilin numbers [CCS0] It follows from Theorem 3 with λ ( and ε that (28 ( x ( x 2 ( x d x x 2 x d n Z d 0 Y d (nx n
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 9 where (29 Y d (n 0 ( n ( n2 ( nd It is proved in [CCS0] that Y d (pn Y d (n modulo p 3 for primes p 5 if d 2 These congruences are generalized to the multivariate setting by Theorem 32 which shows that if d 2 then for n Z d 0 and integers r (30 Y d (p r n Y d (p r n (mod p 3r for primes p 5 Note that Y 2 (n Z ( n ( n2 ( n +n 2 Hence congruence (30 includes in particular the appealing binomial congruence ( ( pa a (mod p 3 pb b which is attributed to W Ljunggren [Gra97] and which generalizes the classical congruences by C Babbage J Wolstenholme and J W L Glaisher It is further refined by E Jacobsthal s binomial congruence which we review in Lemma 5 and which the proof of Theorem 32 crucially depends on Let us conclude this section with two conjectural examples which suggest that our results are not an isolated phenomenon Example 37 As noted in the introduction for the Apéry numbers there is no unique rational function of which a given sequence is the diagonal For instance the Franel numbers Y 3 (n are also the diagonal coefficients of the rational function (3 n (x +x 2 +x 3 +4x x 2 x 3 A rational function F(x is said to be positive if its Taylor coefficients (4 are all positive The Asey Gasper rational function (3 whose positivity is proved in [AG77] and [GRZ83] is an interesting instance of a rational function on the boundary of positivity (if the 4 is replaced by 4+ε for any ε > 0 then the resulting rational function is not positive The present wor was in part motivated by the observation [SZ4] that for several of the rational functions which have been shown or conjectured to be on the boundary of positivity the diagonal coefficients are arithmetically interesting sequences with lins to modular forms Note that the Asey Gasper rational function (3 corresponds to the choice λ (3 and α 4 in Theorem 3 which maes its Taylor coefficients G(n A (3 4 (n explicit We also note that an application of MacMahon s Master Theorem 4 shows that G(n n 2 n 3 is the coefficient of x n xn2 2 xn3 3 in the product (x x 2 x 3 n (x 2 x x 3 n2 (x 3 x x 2 n3 Although it is unclear how one might adjust the proof of Theorem 32 numerical evidence suggests that the coefficients G(n satisfy supercongruences modulo p 3r as well Conjecture 38 The coefficients G(n of the rational function (3 satisfy for primes p 5 and integers r G(p r n G(p r n (mod p 3r
0 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES Example 39 Remarably the previous example has a four-variable analog which involves the Almvist Zudilin numbers Z(n introduced in (7 Namely the numbers Z(n are the diagonal coefficients of the unexpectedly simple rational function (32 (x +x 2 +x 3 +x 4 +27x x 2 x 3 x 4 as can be deduced from Theorem 3 with λ (4 and α 27 Again numerical evidence suggests that the coefficients Z(n of (32 satisfy supercongruences modulo p 3r This is particularly interesting since even the univariate congruences (8 are conjectural at this time Conjecture 30 The coefficients Z(n of the rational function (32 satisfy for primes p 5 and integers r Z(p r n Z(p r n (mod p 3r Remar 3 The rational functions (3 and (32 involved in the previous examples mae it natural to wonder whether supercongruences might similarly exist for the family of rational functions given by (x +x 2 ++x d +(d d x x 2 x d This does not however appear to be the case for d 5 In fact no value b 0 in (x +x 2 ++x d +bx x 2 x d appears to give rise to supercongruences (by computing coefficients we have ruled out supercongruences modulo p 2r for integers b < 00000 and d 25 4 The Taylor coefficients This section is devoted to proving Theorem 3 Before we give a general proof we offer an alternative approach based on MacMahon s Master Theorem to which we refer at several occasions in this note and which offers additional insight into the Taylor coefficients by expressing them as coefficients of certain polynomials(see also Remar 4 This approach which we apply here to prove formula (8 is based on the following result of P MacMahon [Mac5] coined by himself a master theorem in the Theory of Permutations Here [x m ] denotes the coefficient of x m x mn n in the expansion of what follows Theorem 4 For x (x x n matrices A C n n and m (m m n Z n 0 n n [x m ] A ij x mi j [x m ] det(i n AX i j where X is the diagonal n n matrix with entries x x n Proof of formula (8 We note that ( x x 2 ( x 3 x 4 x x 2 x 3 x 4 det(i 4 MX
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES where M and X are the matrices 0 M 0 0 0 0 0 X x x 2 x 3 x 4 An application of MacMahon s Master Theorem 4 therefore shows that the coefficients A(n with n (n n 2 n 3 n 4 are given by A(n [x n ](x +x 2 +x 3 n (x +x 2 n2 (x 3 +x 4 n3 (x 2 +x 3 +x 4 n4 In order to extract the requisite coefficient we expand the right-hand side as (x +x 2 +x 3 n (x +x 2 n2 (x 3 +x 4 n3 (x 2 +x 3 +x 4 n4 ( ( n n4 x n4 4 2 x n 3 (x +x 2 +n2 (x 3 +x 4 n3+4 4 2 3 4 4 ( ( n n4 4 ( ( +n 2 n3 + 4 2 3 x +n2 2 x n4 4+2 2 x n +3 3 x n3+4 3 4 The summand contributes to x n xn2 2 xn3 3 xn4 4 if and only if n i i n j j for all ij 4 Writing n i i for the common value we obtain A(n n 2 n 3 n 4 Z ( n ( n4 ( n +n 2 n 2 ( n3 +n 4 n 3 which is equivalent to the claimed (8 Proof of Theorem 3 Recall the elementary formula ( x + ( n+ x n n 0 for integers 0 Combined with an application of the multinomial theorem it implies that ( x x ρ + ( n ++n ρ + x n n n ρ xnρ ρ n 0 n ρ 0 and hence (33 (x x ρ ( x x ρ + ( n ++n ρ (ρ x n n n ρ xnρ ρ n 0 n ρ 0 Here we used that the multinomial coefficient vanishes if > min(n n ρ Geometrically expanding the left-hand side of (9 we find that λ l j x s(j+r αx x 2 x d l α (x s(j+ x s(j+λj [ j r 0 j ] + λ j r x s(j+r which we further expand using (33 to get α l ( x n ns(j+ ++n s(j+λj (λ j A λα (nx n n s(j+ n s(j+λj 0 n Z d 0 j n Z d 0
2 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES with A λα (n as in (20 5 The supercongruences Our proof of Theorem 32 which generalizes the supercongruence in Theorem 2 builds upon the respective proofs in [Ges82] and [Beu85] We need a number of lemmas in preparation To begin with we prove the following extension of Jacobsthal s binomial congruence [Ges83] [Gra97] to binomial coefficients which are allowed to have negative entries (see Remar 3 Lemma 5 For all primes p and all integers ab ( ( ap a (34 / ε (mod p q bp b where q is the power of p dividing p 3 ab(a b/2 and where ε unless p 2 and (ab (0 modulo 2 in which case ε Proof Congruence (34 for nonnegative a b is proved in [Ges83] (alternatively a proof for p 5 is given in [Gra97] We therefore only indicate how to extend (34 to negative values of a or b Note that for all ab Z with b 0 ( a a ( a b b b and hence ( ( ( ( ap a ap a / / bp b bp b We claim that the extension of (34 to the case a < 0 and b < 0 therefore follows from ( ( a b (35 ( a b sgn(a b b a where sgn is defined as in Remar 3 This is clear for p 3 Write ε(ab if (ab (0 modulo 2 and ε(ab otherwise It is straightforward to chec that ( a b ε( b a ε(ab which shows the case p 2 Similarly if a < 0 and b > 0 then we may apply ( ( a b a ( b+ sgn(a bsgn( a b a as well as ( b ε(b a a ε(ab A derivation of the above binomial identities which are valid for all ab Z may be found in [Spr08] Much simpler and well-nown is the following congruence Lemma 52 Let p 5 be a prime and ε { } Then for all integers r 0 (36 p r p ε 2 0 (mod pr
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 3 Proof Let α be an odd integer not divisible by p such that α 2 modulo p (tae for instance α 3 Then α 2 p r p ε p r 2 p ε p r (α 2 p ε 2 (mod p r since the second and third sum run over the same residues modulo p r (note that ε α ε sinceαisodd Asα 2 isnotdivisiblebyp thecongruence(36follows ThenextlemmasestablishpropertiesofthesummandsofthenumbersA λε (nas introduced in (20 which will be needed in our proof of Theorem 32 Throughout this section we fix the notation of Theorem 32 letting λ (λ λ l Z l >0 with d λ ++λ l and setting s(j λ ++λ j Lemma 53 Let n Z d Z and define l (37 A λ (n; j ( ns(j+ ++ n s(j+λj (λ j n s(j+ n s(j+λj (a If l 2 then for all primes p and integers r (38 A λ (p r n;p A λ (p r n; (mod p 2r (b If l 2 and max(λ λ l 2 then for primes p 5 and integers r (39 A λ (p r n;p A λ (p r n; (mod p 3r Proof We show (38 and (39 by proving that for integers rs and such that p (40 A λ (p r n;p s A λ (p r n;p s (mod p αr where α 2 or α 3 depending on whether max(λ λ l 2 Let us first consider the case l 2 and max(λ λ l 2 Then each factor of (37 is a single binomial if λ j or of the form ( ( m m +m 2 if λ j 2 Let p be a prime such that p 5 It follows from Jacobsthal s congruence (34 that ( p r ( m p r m p s / p s (mod p r+s+min(rs as well as ( p r (m +m 2 p s ( p r (m +m 2 p s p r / m p r (mod p r+2min(rs m Consequently m (4 A λ (p r n;p s ca λ (p r n;p s with c modulo p r+2min(rs If s r this proves congruence (40 with α 3 On the other hand suppose s r Since p we have ( p r n p s p r sn ( p r n p s 0 (mod p r s
4 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES Since l 2 it follows that p 2(r s divides A λ (p r n;p s Since (r+2s+2(r s 3r the congruence (40 with α 3 now follows from (4 This shows (b Let us now turn to the proof of (a Assume that l 2 Note that for any positive integer ρ ( m ++m ρ (ρ m m ρ ( m ( m +(m 2 ++(m ρ m m 2 m ρ so that as in the previous case p l(r s divides A λ (p r n;p s if r s Initially assume that p 3 By further unravelling the multinomial coefficient as a product of binomial coefficients and applying Jacobsthal s congruence (34 as above we find that A λ (p r n;p s ca λ (p r n;p s with c modulo p 3min(rs δ and δ 0 if p 5 and δ if p 3 In light of p 2(r s dividing A λ (p r n;p s if r s we conclude congruence (40 with α 2 Now consider p 2 If r 2 and s 2 then the sign ε in Jacobsthal s congruence (34 is always + when applying the above approach and we again find that (40 holds with α 2 On the other hand if r then it suffices to use the (combinatorial congruence ( pa pb ( a b (mod p 2 which holds for all primes p It remains to consider the case r 2 and s Applying the approach employed for p 3 we find that (42 A λ (p r n;p s ca λ (p r n;p s where c ± modulo p 3min(rs 2 2 If max(λ λ l 2 then we in fact have c ( l modulo p r+2min(rs 2 2 r Since A λ (p r n;p s is divisible by p l(r congruence (40 trivially holds with α 2 if l 3 Hence we may assume that l 2 If max(λ λ 2 2 then c modulo 2 r in (42 and since both sides of (42 are divisible by 2 2r 2 congruence (40 with α 2 again follows Finally suppose that there is j such that λ j 3 Then the factor corresponding to j in (37 is of the form ( ( ( ( m m +m 2 m +m 2 +m 3 2 m ++m ρ (ρ m 3 m +m 2 +m 3 2m 4 m Note that for even m m 2 m 3 and odd the third binomial in this product is even Hence A λ (p r n;p s is divisible by 2 2(r + 2 2r In light of (42 this proves congruence (40 with α 2 The next congruence with 0 has been used in [Beu85] For our present purpose we extend it to the case of negative Lemma 54 For primes p integers m and integers r ( p r ( m p (43 ( r m ( [/p] (mod p r [/p] Proof First assume that 0 Following [Beu85 Lemma 2] we split the defining product of the binomial coefficient according to whether the index is divisible by
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 5 p or not to obtain ( p r m j jp j p r m j j p r m j j [/p] λ ( p r m [/p] jp j p r m λ λ p r m j j Congruence (43 with 0 follows upon reducing modulo p r On the other hand assume < 0 Since (43 is trivial if m > 0 we let m 0 We use the basic symmetry relation ( p r ( m p r m p r m and note that since < 0 the binomials are zero unless p r m 0 Observe that for all integers m (44 [(p r m /p] p r m+[ ( +/p] p r m [/p] Thus assuming p r m 0 we may apply (43 to find ( p r ( m p ( r m p r ( m ( p r m p r ( [/p] ( pr m+p r m m [/p] ( p r m ( [/p] ( pr m+p r m (mod p r [/p] It only remains to note that p r m+p r m p r (p+m is even unless p 2 and r Hence in all cases ( pr m+p r m modulo p r Lemma 55 For primes p integers m m 2 and integers r ( p r m +p r ( m 2 p r m +p r m 2 [/p] p r m p r (mod p r m Proof By an application of ( ( ( m +m 2 sgn(m 2 ( m2 m m 2 m Since for all a Z sgn(a sgn([a/p] the claimed congruence therefore follows from (44 and Lemma 54 The following generalizes [Beu85 Lemma 3] to our needs Lemma 56 Let p be a prime and n Z d Let a Z p with Z be such that for all ls Z with s 0 a 0 (mod p s [/p s ]l
6 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES Let C(n; be such that for all r Z with r 0 (45 C(p r n; C(p r n;[/p] (mod p r Then for all rl Z with r 0 (46 a C(p r n; 0 (mod p r [/p r ]l Proof The claim is trivial for r 0 Fix r > 0 and assume for the purpose of induction on r that the congruence (46 holds for the exponent r in place of r By the assumption (45 on C(n; we have that modulo p r a C(p r n; a C(p r n;[/p] [/p r ]l where b m is the sequence p [/p r ]l [m/p r ]l b m p [m/p r ]l [/p]m We note that for all sl Z with s 0 b m a p p [m/p s ]l [m/p s ]l[/p]m [/p]m a b m C(p r n;m a [/p s+ ]m C(p r n;m a 0 (mod p s so that we may apply our induction hypothesis (46 with r to conclude a C(p r n; p b m C(p r n;m 0 (mod p r [/p r ]l [m/p r ]l The claim therefore follows by induction We are now in a comfortable position to prove Theorem 32 Proof of Theorem 32 In terms of the numbers A λε (n; defined in (37 we have A λε (n 0 ε A λ (n; s 0G s (n where G s (n p ε ps A λ (n;p s Suppose that l 2 Further suppose that p 3 or that p 2 and ε Then ε ps ε ps and it follows from Lemma 53 that for s G s (p r n G s (p r n (mod p 2r In order to prove that A λε (p r n A λε (p r n modulo p 2r it therefore remains only to show that G 0 (p r n 0 modulo p 2r This however is immediate because as observed in the proof of Lemma 53 A λ (p r n; with p is divisible by p lr This proves congruence (2
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 7 Now suppose that l 2 and max(λ λ l 2 Let p be a prime such that p 5 It again follows from ε ps ε ps and Lemma 53 that for s G s (p r n G s (p r n (mod p 3r ToprovethatA λε (p r n A λε (p r nmodulop 3r wehavetoshowthatg 0 (p r n 0 modulo p 3r As in the previous case this is trivial if l 3 We thus assume l 2 Note that since max(λ λ l 2 each factor of A λ (n; is of the form ( ( ( m m m +m 2 Using the basic identity it is clear that the numbers or ( m B λ (n; m m ( m 2 n n +λ A λ (n; are integers Moreover it follows from Lemmas 54 and 55 and the fact that l 2 that the integers C λ (n; B λ (n; + satisfy for all r Z with r 0 C(p r n; C(p r n;[/p] (mod p r If p then [( /p] [/p] so that in particular By construction C(p r n C(p r n[/p] C(p r n; (mod p r G 0 (p r n p 2r n n +λ p ε 2C(pr n; so that in order to show that G 0 (p r n 0 modulo p 3r it suffices to prove ε (47 2C(pr n; 0 (mod p r p Define a ε / 2 if p and a 0 otherwise Since p 5 it follows from Lemma 52 that for all ls Z with s 0 [/p s ]l a p s p ε lps + (lp s + 2 εl p s p ε 2 0 (mod ps Hence the conditions of Lemma 56 are met allowing us to conclude that ε 2C(pr n; a C(p r n; 0 (mod p r l p [/p r ]l This shows (47 and completes our proof Acnowledgements I wish to than Robert Osburn and Wadim Zudilin for interesting and motivating discussions on Apéry-lie numbers and supercongruences Much appreciated comments on an earlier version of this note have also been sent by Bruce Berndt and Brundaban Sahu Moreover I am very grateful to the referee for several suggestions that improved this paper Finally I than
8 MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES the Max-Planc-Institute for Mathematics in Bonn where most of this wor was completed for providing wonderful woring conditions References [AG77] R Asey and G Gasper Convolution structures for Laguerre polynomials Journal d Analyse Mathématique 3(:48 68 December 977 [AO00] S Ahlgren and K Ono A Gaussian hypergeometric series evaluation and Apéry number congruences Journal für die reine und angewandte Mathemati 2000(58 January 2000 [Apé79] R Apéry Irrationalité de ζ(2 et ζ(3 Astérisque 6: 3 979 [AvSZ] G Almvist D van Straten and W Zudilin Generalizations of Clausen s formula and algebraic transformations of Calabi Yau differential equations Proc Edinburgh Math Soc 54(2:273 295 20 [AZ06] G Almvist and W Zudilin Differential equations mirror maps and zeta values In Mirror symmetry V volume 38 of AMS/IP Stud Adv Math pages 48 55 Amer Math Soc Providence RI 2006 [BBC + 3] A Bostan S Bouraa G Christol S Hassani and J-M Maillard Ising n-fold integrals as diagonals of rational functions and integrality of series expansions Journal of Physics A: Mathematical and Theoretical 46(8:85202 May 203 [Beu85] F Beuers Some congruences for the Apéry numbers Journal of Number Theory 2(2:4 55 October 985 [Beu87] F Beuers Another congruence for the Apéry numbers Journal of Number Theory 25(2:20 20 February 987 [Beu02] F Beuers On Dwor s accessory parameter problem Mathematische Zeitschrift 24(2:425 444 October 2002 [CCC80] S Chowla J Cowles and M Cowles Congruence properties of Apéry numbers Journal of Number Theory 2(2:88 90 May 980 [CCS0] H H Chan S Cooper and F Sica Congruences satisfied by Apéry-lie numbers International Journal of Number Theory 06(0:89 200 [Chr84] G Christol Diagonales de fractions rationnelles et equations différentielles In Study group on ultrametric analysis 0th year: 982/83 No 2 pages Exp No 8 0 Inst Henri Poincaré Paris 984 [Coo2] S Cooper Sporadic sequences modular forms and new series for /π The Ramanujan Journal 29( 3:63 83 202 [Cos88] M J Coster Supercongruences PhD thesis Universiteit Leiden 988 [Cow80] J Cowles Some congruence properties of three well-nown sequences: Two notes Journal of Number Theory 2(:84 86 February 980 [CZ0] H H Chan and W Zudilin New representations for Apéry-lie sequences Mathematia 56:07 7 200 [Del3] E Delaygue Arithmetic properties of Apéry-lie numbers Preprint October 203 Available at: http://arxivorg/abs/3043 [Fra94] J Franel On a question of Laisant L Intermédiaire des Mathématiciens :45 47 894 [Ges82] I M Gessel Some congruences for Apéry numbers Journal of Number Theory 4(3:362 368 June 982 [Ges83] I M Gessel Some congruences for generalized Euler numbers Canad J Math 35(4:687 709 983 [Gra97] A Granville Arithmetic properties of binomial coefficients I: Binomial coefficients modulo prime powers CMS Conf Proc 20:253 275 997 [GRZ83] J Gillis B Reznic and D Zeilberger On elementary methods in positivity theory SIAM J Math Anal 4(2:396 398 983 [Kil06] T Kilbourn An extension of the Apéry number supercongruence Acta Arithmetica 23(4:335 348 2006 [KR] C Krattenthaler and T Rivoal Multivariate p-adic formal congruences and integrality of Taylor coefficients of mirror maps In Arithmetic and Galois theories of differential equations volume 23 of Sémin Congr pages 24 269 Soc Math France Paris 20
MULTIVARIATE APÉRY NUMBERS AND SUPERCONGRUENCES 9 [LvdP90] L Lipshitz and A J van der Poorten Rational functions diagonals automata and arithmetic In Number theory (Banff AB 988 Berlin 990 de Gruyter [Mac5] P A MacMahon Combinatory Analysis Cambridge Univ Press 95 [Mim83] Y Mimura Congruence properties of Apéry numbers Journal of Number Theory 6(:38 46 February 983 [MV3] A Mellit and M Vlaseno Dwor s congruences for the constant terms of powers of a Laurent polynomial Preprint June 203 Available at: http://arxivorg/abs/30658 [OS] R Osburn and B Sahu Supercongruences for Apéry-lie numbers Advances in Applied Mathematics 47(3:63 638 September 20 [OS3] R Osburn and B Sahu A supercongruence for generalized Domb numbers Functiones et Approximatio Commentarii Mathematici 48(:29 36 March 203 [OSS4] R Osburn B Sahu and A Straub Supercongruences for sporadic sequences Proceedings of the Edinburgh Mathematical Society 204 To appear Preprint available at: http://arxivorg/abs/32295 [Poo79] A v d Poorten A proof that Euler missed Apéry s proof of the irrationality of ζ(3 Math Intelligencer (4:95 203 979 [PW02] R Pemantle and M C Wilson Asymptotics of multivariate sequences: I smooth points of the singular variety Journal of Combinatorial Theory Series A 97(:29 6 January 2002 [PW08] R Pemantle and M C Wilson Twenty combinatorial examples of asymptotics derived from multivariate generating functions SIAM Review 50(2:99 272 January 2008 [PWZ96] M Petovse H Wilf and D Zeilberger AB A K Peters 996 [RY3] E Rowland and R Yassawi Automatic congruences for diagonals of rational functions Preprint October 203 Available at: http://arxivorg/abs/308635 [Spr08] R Sprugnoli Negation of binomial coefficients Discrete Mathematics 308(22:5070 5077 November 2008 [SvS09] K Samol and D van Straten Dwor congruences and reflexive polytopes Preprint November 2009 Available at: http://arxivorg/abs/090797 [SZ4] A Straub and W Zudilin Positivity of rational functions and their diagonals Journal of Approximation Theory 204 To appear Preprint available at: http://arxivorg/abs/323732 [Zag09] D Zagier Integral solutions of Apery-lie recurrences In J Harnad and P Winternitz editors Groups and symmetries From Neolithic to John McKay volume 47 American Mathematical Society 2009