Divisibility properties of sporadic Ap´ ery-like numbers Symbolic Computation and Special Functions OPSFA-13, NIST Armin Straub June 2, 2015 University of Illinois at Urbana–Champaign n � 2 � n + k � 2 � n � A ( n ) = k k k =0 1 , 5 , 73 , 1445 , 33001 , 819005 , 21460825 , . . . Arian Daneshvar Amita Malik Zhefan Wang Pujan Dave (Illinois Geometry Lab, UIUC, Fall 2014) Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 1 / 24
Illinois Geometry Lab, UIUC, Fall 2014 Arian Daneshvar Amita Malik Zhefan Wang Pujan Dave • semester-long project to introduce undergraduate students to research • graduate student team leader: Amita Malik Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 2 / 24
Rough outline • introducing Ap´ ery-like numbers • Lucas-type congruences • applications • primes never dividing Ap´ ery-like numbers • periodicity modulo p • a little more on supercongruences (time permitting) Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 3 / 24
Positivity of rational functions • For a smooth transition from Wadim’s talk, consider the following open problem: All Taylor coefficients of the following function are positive: CONJ Kauers- Zeilberger 1 2008 1 − ( x + y + z + w ) + 2( yzw + xzw + xyw + xyz ) + 4 xyzw. Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 4 / 24
Positivity of rational functions • For a smooth transition from Wadim’s talk, consider the following open problem: All Taylor coefficients of the following function are positive: CONJ Kauers- Zeilberger 1 2008 1 − ( x + y + z + w ) + 2( yzw + xzw + xyw + xyz ) + 4 xyzw. The diagonal coefficients of the Kauers–Zeilberger function are PROP S-Zudilin 2015 n � 2 � 2 k � 2 � n � D ( n ) = . k n k =0 • D ( n ) is an example of an Ap´ ery-like sequence . Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 4 / 24
Positivity of rational functions • For a smooth transition from Wadim’s talk, consider the following open problem: All Taylor coefficients of the following function are positive: CONJ Kauers- Zeilberger 1 2008 1 − ( x + y + z + w ) + 2( yzw + xzw + xyw + xyz ) + 4 xyzw. The diagonal coefficients of the Kauers–Zeilberger function are PROP S-Zudilin 2015 n � 2 � 2 k � 2 � n � D ( n ) = . k n k =0 • D ( n ) is an example of an Ap´ ery-like sequence . Can we conclude the conjectured positivity from the positivity of Q S-Zudilin 1 D ( n ) together with the (obvious) positivity of 1 − ( x + y + z )+2 xyz ? 2015 Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 4 / 24
Ap´ ery numbers and the irrationality of ζ (3) • The Ap´ ery numbers 1 , 5 , 73 , 1445 , . . . n � 2 � n + k � 2 � n � A ( n ) = k k satisfy k =0 ( n + 1) 3 A ( n + 1) = (2 n + 1)(17 n 2 + 17 n + 5) A ( n ) − n 3 A ( n − 1) . Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 5 / 24
Ap´ ery numbers and the irrationality of ζ (3) • The Ap´ ery numbers 1 , 5 , 73 , 1445 , . . . n � 2 � n + k � 2 � n � A ( n ) = k k satisfy k =0 ( n + 1) 3 A ( n + 1) = (2 n + 1)(17 n 2 + 17 n + 5) A ( n ) − n 3 A ( n − 1) . 1 THM ζ (3) = � ∞ n 3 is irrational. n =1 Ap´ ery ’78 The same recurrence is satisfied by the “near”-integers proof n n k � 2 � n + k � 2 ( − 1) m − 1 � n 1 � � � . B ( n ) = j 3 + 2 m 3 � n �� n + m � k k m m j =1 m =1 k =0 Then, B ( n ) A ( n ) → ζ (3) . But too fast for ζ (3) to be rational. Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 5 / 24
Zagier’s search and Ap´ ery-like numbers • Recurrence for Ap´ ery numbers is the case ( a, b, c ) = (17 , 5 , 1) of ( n + 1) 3 u n +1 = (2 n + 1)( an 2 + an + b ) u n − cn 3 u n − 1 . Q Are there other tuples ( a, b, c ) for which the solution defined by Beukers, u − 1 = 0 , u 0 = 1 is integral? Zagier Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 6 / 24
Zagier’s search and Ap´ ery-like numbers • Recurrence for Ap´ ery numbers is the case ( a, b, c ) = (17 , 5 , 1) of ( n + 1) 3 u n +1 = (2 n + 1)( an 2 + an + b ) u n − cn 3 u n − 1 . Q Are there other tuples ( a, b, c ) for which the solution defined by Beukers, u − 1 = 0 , u 0 = 1 is integral? Zagier • Essentially, only 14 tuples ( a, b, c ) found. (Almkvist–Zudilin) • 4 hypergeometric and 4 Legendrian solutions (with generating functions � 1 � 2 2 , α, 1 − α � � 1 � α, 1 − α � − C α z � � 3 F 2 � 4 C α z , 1 − C α z 2 F 1 , � � 1 , 1 1 1 − C α z � 6 and C α = 2 4 , 3 3 , 2 6 , 2 4 · 3 3 ) with α = 1 2 , 1 3 , 1 4 , 1 • 6 sporadic solutions • Similar (and intertwined) story for: • ( n + 1) 2 u n +1 = ( an 2 + an + b ) u n − cn 2 u n − 1 (Beukers, Zagier) • ( n + 1) 3 u n +1 = (2 n + 1)( an 2 + an + b ) u n − n ( cn 2 + d ) u n − 1 (Cooper) Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 6 / 24
The six sporadic Ap´ ery-like numbers ( a, b, c ) A ( n ) � 2 � n + k � 2 � n � (17 , 5 , 1) Ap´ ery numbers k n k � 2 � 2 k � 2 � n � (12 , 4 , 16) k n k � 2 � 2 k � n �� 2( n − k ) � � (10 , 4 , 64) Domb numbers n − k k k k � n �� n + k � (3 k )! � ( − 1) k 3 n − 3 k (7 , 3 , 81) Almkvist–Zudilin numbers k ! 3 3 k n k � 3 �� 4 n − 5 k − 1 � n � � 4 n − 5 k �� � ( − 1) k (11 , 5 , 125) + 3 n 3 n k k � 2 � n � n �� k �� k + l � � (9 , 3 , − 27) k l l n k,l Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 7 / 24
Ap´ ery-like numbers and modular forms • The Ap´ ery numbers A ( n ) satisfy 1 , 5 , 73 , 1145 , . . . � η 12 ( τ ) η 12 (6 τ ) � n η 7 (2 τ ) η 7 (3 τ ) � = A ( n ) . η 5 ( τ ) η 5 (6 τ ) η 12 (2 τ ) η 12 (3 τ ) n � 0 modular form modular function 1 + 5 q + 13 q 2 + 23 q 3 + O ( q 4 ) q − 12 q 2 + 66 q 3 + O ( q 4 ) q = e 2 πiτ Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 8 / 24
Ap´ ery-like numbers and modular forms • The Ap´ ery numbers A ( n ) satisfy 1 , 5 , 73 , 1145 , . . . � η 12 ( τ ) η 12 (6 τ ) � n η 7 (2 τ ) η 7 (3 τ ) � = A ( n ) . η 5 ( τ ) η 5 (6 τ ) η 12 (2 τ ) η 12 (3 τ ) n � 0 modular form modular function 1 + 5 q + 13 q 2 + 23 q 3 + O ( q 4 ) q − 12 q 2 + 66 q 3 + O ( q 4 ) q = e 2 πiτ Not at all evidently, such a modular parametrization exists for FACT all known Ap´ ery-like numbers! Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 8 / 24
Ap´ ery-like numbers and modular forms • The Ap´ ery numbers A ( n ) satisfy 1 , 5 , 73 , 1145 , . . . � η 12 ( τ ) η 12 (6 τ ) � n η 7 (2 τ ) η 7 (3 τ ) � = A ( n ) . η 5 ( τ ) η 5 (6 τ ) η 12 (2 τ ) η 12 (3 τ ) n � 0 modular form modular function 1 + 5 q + 13 q 2 + 23 q 3 + O ( q 4 ) q − 12 q 2 + 66 q 3 + O ( q 4 ) q = e 2 πiτ Not at all evidently, such a modular parametrization exists for FACT all known Ap´ ery-like numbers! √ • As a consequence, with z = 1 − 34 x + x 2 , � 1 2 , 1 2 , 1 17 − x − z � 1024 x � A ( n ) x n = � 2 � √ 2(1 + x + z ) 3 / 2 3 F 2 � − . � (1 − x + z ) 4 1 , 1 4 n � 0 • Context: f ( τ ) modular form of (integral) weight k x ( τ ) modular function y ( x ) such that y ( x ( τ )) = f ( τ ) Then y ( x ) satisfies a linear differential equation of order k + 1 . Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 8 / 24
Supercongruences for Ap´ ery numbers • Chowla, Cowles, Cowles (1980) conjectured that, for primes p � 5 , (mod p 3 ) . A ( p ) ≡ 5 Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 9 / 24
Supercongruences for Ap´ ery numbers • Chowla, Cowles, Cowles (1980) conjectured that, for primes p � 5 , (mod p 3 ) . A ( p ) ≡ 5 (mod p 3 ) . • Gessel (1982) proved that A ( mp ) ≡ A ( m ) Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 9 / 24
Supercongruences for Ap´ ery numbers • Chowla, Cowles, Cowles (1980) conjectured that, for primes p � 5 , (mod p 3 ) . A ( p ) ≡ 5 (mod p 3 ) . • Gessel (1982) proved that A ( mp ) ≡ A ( m ) The Ap´ ery numbers satisfy the supercongruence ( p � 5 ) THM Beukers, Coster A ( mp r ) ≡ A ( mp r − 1 ) (mod p 3 r ) . ’85, ’88 Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 9 / 24
Supercongruences for Ap´ ery numbers • Chowla, Cowles, Cowles (1980) conjectured that, for primes p � 5 , (mod p 3 ) . A ( p ) ≡ 5 (mod p 3 ) . • Gessel (1982) proved that A ( mp ) ≡ A ( m ) The Ap´ ery numbers satisfy the supercongruence ( p � 5 ) THM Beukers, Coster A ( mp r ) ≡ A ( mp r − 1 ) (mod p 3 r ) . ’85, ’88 n � 2 � n + k � 2 EG � n � Mathematica 7 miscomputes A ( n ) = for n > 5500 . k k k =0 A (5 · 11 3 ) = 12488301 . . . about 2000 digits . . . about 8000 digits . . . 795652125 Weirdly, with this wrong value, one still has A (5 · 11 3 ) ≡ A (5 · 11 2 ) (mod 11 6 ) . Divisibility properties of sporadic Ap´ ery-like numbers Armin Straub 9 / 24
Recommend
More recommend
