arxiv: v1 [math.nt] 23 Apr 2011

Transcription

1 Square root Bound on the Least Power Non-residue using a Syvester-Vandermonde Determinant Michae Forbes Neera Kaya Raat Mitta Chandan Saha arxiv:044557v [mathn] 23 Apr 20 Abstract We give a new eementary proof of the fact that the vaue of the east k th power nonresidue in an arithmetic progression {bn+c} n=0,, over a prime fied F p, is bounded by 7/ 5 b p/k + 4b + c Our proof is inspired by the so caed Stepanov method, which invoves bounding the size of the soution set of a system of equations by constructing a nonzero ow degree auxiiary poynomia that vanishes with high mutipicity on the soution set he proof uses basic agebra and number theory aong with a determinant identity that generaizes both the Syvester and the Vandermonde determinant Introduction Let F p be the prime fied with p eements An eement a F p is caed a k th power non-residue if there is no b F p such that b k = a Bounding the vaue of the east k th power non-residue in a prime fied F p, where k p, is a fundamenta probem in number theory and agebra It has an important appication in finding roots over finite fieds For instance, it is known from the work of Vinogradov [Vin72] see aso Proposition 7 in [Evd94] that given a k th non-residue, a the k th power roots of an eement a F p ie a x such that x k = a, can be found in k ogp O time It is a maor open probem in number theory to show that the east k th power non-residue is bounded by ogp O Indeed, such a bound is aready known under the powerfu assumption of the Extended Riemann Hypothesis ERH It foows from the work of Ankeny [Ank52] and Bach [Bac82] that assuming ERH, the vaue of the east k th non-residue in F p is bounded by Oog 2 p, where k is a prime dividing p However, such a strong bound is not yet shown without the assumption of any unproven conecture We now briefy mention the known resuts on ERH-free bounds on east power non-residues Earier work he Póya-Vinogradov inequaity see Chapter 23 in [Dav00] states that χx p ogp, m+ x m+n where χ is a non-principa character moduo p aking χ to be the quadratic character, it immediatey foows that the east quadratic non-residue in F p is bounded by pogp In Massachusetts Institute of echnoogy Microsoft Research India Rutgers University Max Panck Institute for Informatics

2 99, this bound was improved by Vinogradov see [Vin54, Vin85], who showed that the east quadratic non-residue in F p is ess than p 2 e og 2 p In a subsequent work, Vinogradov [Vin27] aso showed that if k p and k > m m, where m is an integer greater than 8, then the east k th power non-residue is ess than p /m for a sufficienty arge vaues of p Later, in 957, Burgess [Bur57] improved upon Vinogradov s resut and showed that the east quadratic non-residue is in fact bounded by p 4 e +ǫ for any sma enough ǫ > 0 A simpe account of Burgess theorem can be found in the work of Stepanov [Ste75] see aso [Kar68] We note that the proofs of Vinogradov and Burgess resuts invove sophisticated anaytic arguments on character sums On the other hand, using purey eementary methods Brauer [Bra32] showed that the ength of the argest sequence of consecutive k th power residues or non-residues is bounded by 2p + 2 Later, Hudson [Hud74] gave an eementary argument to show that the vaue of the smaest k th power non-residue in an arithmetic progression {bn+c} n=0, is bounded by 2 /4 b 5/2 p 2/5 +6b 3 p /5 +2b 2, if p is sufficienty arge Surey, these bounds are worse than the best known bounds of Burgess and Vinogradov Nevertheess, it is perhaps interesting to know how much eementary methods can achieve in proving non-trivia bounds for power residues and non-residues 2 Our resuts We give a simpe proof of the foowing fact heorem he vaue of the east k th power non-residue in an arithmetic progression {bn+ c} n=0,, over F p is bounded by 7/ p 5 b k +4b+c Notice that, for k p /5, the bound given by heorem is better than the bounds shown by Hudson [Hud74] and Brauer [Bra32] Our proof is inspired by the poynomia method, which was introduced by Stepanov to give eementary proofs of many of the significant specia cases of Wei s theorem on rationa points on curves he reader is encouraged to refer to the book by Schmidt [Sch04] for an account of the eementary methods used in studying equations over finite fieds For a quick introduction to some of the main resuts in this area refer to ao s bog entry [ao09] he main idea behind Stepanov s method is to construct a non-zero auxiiary poynomia that vanishes with high mutipicity on the soution set of a system of equations Now, if the degree of the auxiiary poynomia is aso sma then this can be used to upper bound the size of the soution set We use this theme of bounding a soution set size via a ow-degree auxiiary poynomia to give a new eementary proof of the square root bound on the east power non-residue/residue in any arithmetic progression But, it turns out that the ony not so easy part of our proof is showing that the auxiiary poynomia thus constructed is nonzero We resove this difficuty by using an interesting determinant identity that generaizes the determinant of both the Syvester and the Vandermonde matrix Proving this determinant identity constitutes the main technica contribution of our work We hope that this identity on a generaized Syvester-Vandermonde matrix is of independent interest and may find appications esewhere 2 he Poynomia Method In this section, we describe our approach to proving heorem At the heart of our argument is the foowing emma 2

3 Lemma 2 A system of univariate poynomias S = {x+a i t θ i } i r, where θ i,a i F p and a i s are distinct, has at most 2t/r +3 common roots, if r 2/ 5 t+ and p > 2t Before we prove this emma, et us at first see how it impies heorem o keep the presentation simpe, we avoid the use of the foor/ceiing notations he anaysis can be made more precise, at the cost of making the constant 4 in heorem and the constant 3 in Lemma 2 sighty worse In Lemma 2, take a i = b i, t = p /k and θ i = for a i r Set r = 2/ 5 t+ If the sequence of eements b+c,b+c+b,b+c+2b,,b+c+br are k th power residuesthensurey, b+cisacommon root of thesystem S By Lemma2, thereare at most 2t/r +3 common roots of S In the worst case, a these common roots can possiby be consecutive eements of the arithmetic progression {bn+c} n=0,, herefore, the first index m for which bm+c is a k th power non-residue, can be at most 2t/r +3+r = 7/ 5 t+4 he same argument can be used to prove a sighty genera form of heorem, as stated in the foowing coroary Coroary 22 he ength of the argest sequence of consecutive k th power residues or nonresidues in an arithmetic progression {bn+c} n=0,, is bounded by 7/ 5 p /k +4 he rest of this section and the foowing section Section 3 are devoted to the proof of Lemma 2 2 Proof of Lemma 2 hestrategy weempoytoboundthenumberofcommonrootsofs, denotedbyνshenceforth, is inspired by what is known as the Stepanov method aso caed the poynomia method he idea is to show the existence of a non-zero poynomia Fx of sma degree N say such that if α is a common root of S then α is aso a root of Fx with mutipicity M say If this happens then we immediatey know that νs can be at most N M By making N as sma as possibe and M as arge as possibe, we can arrive at an upper bound for νs Let us see how to put this idea at work Choose Fx to be of the form, Fx = r G i xx+a i t+m +s, i= where G i s are poynomias of degree at most d say and M is the mutipicity parameter mentioned above he parameters d and M wi be fixed eventuay in terms of t and r Define s as, s = 0, if r t+m = r t+m mod r, otherwise he roe of the parameter s is to make t+m +s perfecty divisibe by r, a technica requirement for the anaysis in Section 3 to go through Let us take a short digression and carify a bit more the purpose of the parameter s One might wonder as to why we do not assume, for the sake of simpicity, that s = 0 and t + M is divisibe by r At some point in our argument we need to estabish inear independence of a certain inear system If the coefficient matrix associated to the inear system is a square matrix then a we need to show is that the corresponding determinant is non-zero It turns out, it can be shown that such a determinant is non-zero by using an identity invoving derivatives of the determinant function Whereas, for a non-square system it is a itte more tedious 3

4 Coming back to the main fow of the proof, et us see what is required from the poynomia Fx Denote the th derivative of F with respect to x by F and et = t+m +s Aso, G denotes the th derivative of G If α is a root of the system S then we require F α = 0 for a 0 M since we want α to be a root of F with mutipicity M his means, F α = r i= =0 c θ i G i α α+a i M +s = 0, 2 where c = k is a constant and α + a i t is evauated to θ i since α is a root of S Suppose that the coefficients of the poynomias G i s, in Equation, are variabes Aso, treat the expression given in Equation 2 as a poynomia in α of degree d + M + s with coefficients as inear forms in the variabes that are coefficients of the G i s By equating these coefficients to zeroes, we can ensure that F α is zero herefore, for any particuar, Equation 2 imposes d + M + s homogeneous inear constraints, yieding a tota of M d+s+ MM+ 2 homogeneous equations in d+ r variabes as runs from 0 to M hus, in order that we get a nontrivia soution for the coefficients of G i s, it is sufficient to satisfy the the foowing condition, M d+s+ MM + 2 < d+ r 3 Further, we aso need to ensure that this soution is such that Fx 0 he degree of the poynomia Fx is N = d + t + M + s If the number of variabes d + r is greater than d+t+m +s then surey there is a nontrivia setting of the coefficients of G i s that makes Fx = 0 However, such a situation can be possiby averted if we aso put the restriction that d+ r d+t+m +s 4 Indeed, we show in Section 3 that Condition 4 is sufficient to guarantee Fx 0 if the coefficients of the G i s are not a zeroes o summarize, Condition 3 ensures that we are abe to find nontrivia G i s by soving the homogeneous inear equations arising from Equation 2, for 0 M Whereas, Condition 4 guarantees that the poynomia Fx, defined in Equation, is non-zero if not a the G i s are zeroes - the proof of this appears in Section 3 Putting together Condition 3 and 4, and using D = d +, we get the foowing overa condition to satisfy M D +s+ MM 2 < D r D +t+m +s Since our obective is to minimize the quantity N M = D+t+M+s 2 M, we woud ike to minimize D + t + M + s, which being ower bounded by D r, the best we coud possiby do is to choose D such that, D r = D +t+m +s t+m +s D = r his setting of D satisfies Condition 4 Now, et us see how to satisfy Condition 3 Choose M = r/2 and put D = t+m +s /r as in Equation 5 Using the fact that s r and then simpifying further, Condition 3 reduces to the foowing quadratic inequaity: 5r 2 7r 4t 4 < 0 5 4

5 It is easy to check that this is satisfied if r 2/ 5 t + We are amost done Reca that the maximum size of νs, the set of common soutions of S, is bounded by N/M, where N = degf Hence, νs N M < D +t+m +s M = D r M using Equation 5 Since M = r/2, νs 2D Once again, using the vaue of D it is easy to derive that his proves Lemma 2 except the emma: νs 2t r +3 Caim 23 If D = t+m+s r then Fx = 0 if and ony if G i x = 0, for a i r he next section is devoted to the proof of this statement he main ingredient of the proof is an identity invoving a generaized Syvester-Vandermonde determinant he condition p > 2t in Lemma 2 aso appears in this proof 3 A Generaized Syvester-Vandermonde Determinant Reca, from Equation, that Fx is defined as Fx = r i= G ix x+a i, where = t+m +s Suppose G i = d =0 c ix hen, Fx = r i= =0 d c i x x+a i Proving Caim 23 essentiay means proving this: if Fx = 0 then c i = 0, for a i and Suppose, on the contrary, that this is fase hen, the poynomias {x x + a i } i,, for i r and 0 d, are F-ineary dependent In other words, the foowing matrix, a d a d 0 a 0 a d a d 0 a 0 a 2 d a d 2 0 a 0 2 V = a 2 d a d 2 0 a 0 2 a r d a d r 0 a 0 r a r a d r 0 a 0 r must be singuar But, we show, in Lemma 3, that V cannot be singuar if a i s are distinct and p > 2t his eads us to the necessary contradiction and hence a proof of Caim 23 Remark - Notice that, V is a square matrix since the number of rows D r equas the number of coumns D +, by the choice of D = /r in Caim 23 We ca V a generaized Syvester-Vandermonde matrix because when r = 2, it becomes the Syvester matrix of the two poynomias x+a and x+a 2, whereas when D =, it is the Vandermonde matrix scaed appropriatey d 5

6 We now prove the foowing identity Lemma 3 Syvester-Vandermonde identity he detv = C i< r a i a D2, where C = +d +d =0 / d +d r =0 It is not hard to check that C 0 in F p, if p > 2t ust use the facts that s r 2 and r is an integer ess than or equa to 2/ 5 t+ 3 Proof of Lemma 3 First, we show that detv, viewed as a poynomia in a,,a r, is divisibe by a a 2 D2 hen, by symmetry, detv is aso divisibe by a i a D2 for every pair i, with i < Hence, detv is divisibe by i< r a i a D2 By ooking at the matrix V, it is easy to infer that the highest degree of a in detv once again, viewed as a poynomia in a,,a r is at most D Since the degree of a in the expression i< r a i a D2 is D 2 r = D as D = /r, detv must be of the form C i< r a i a D2, where C is ust a function of,d and r, but not the a i s In the proof, it wi be more convenient if we express matrix V in terms of poynomias Notice that the rows of V can be identified with the coefficient vectors of the poynomias x+a,xx+a,,x d x+a,x+a 2,xx+a 2,,x d x+a 2, and so on Let us abuse notations sighty and write V as, x+a x+a xx+a x+a + x d x+a x+a +d x+a 2 x+a 2 V = x d x+a 2 x+a r x d x+a r row operations V =, 6 x+a 2 +d x+a r x+a r +d meaning that V is formed by the coefficient vectors of these poynomias Let R i be the row of V standing for the coefficient vector of x x +a i Consider the foowing row operations on V R i a k i R i k, for i r and 0 d k Equivaenty, after the row operations, the coefficient vector of x x+a i gets repaced by that of the poynomia, a k i k x k x+a i = x+a i + hiseaves uswithatransformedmatrixv, asshowninequation6, suchthatdetv = detv oshowthata a 2 D2 dividesdetv, viewdetv = fa asapoynomiaina Letf a denote the th order derivative of fa with respect to a It is sufficient if we are abe to show that a = a 2 is a root of f a, for a 0 < D 2 6

7 Caim 32 Let fa = detv and f a = fa hen a = a 2 is a root of f a, for a 0 < D 2 Proof o prove this caim, we need the foowing identity invoving derivatives of a determinant Let A = a i, be an n n matrix whose entries are rea functions of x hen, d dx deta = n= a det, 2,, n d dx a, d n dx na n, d dx a,2 d dx a,n d n dx na d n,2 n dx na n,n where, 2,, r is the mutinomia coefficient Now imagine appying this identity to f a, the th order derivative of detv, where the entries of V are viewed as functions of a It is cear from Equation 6 that except for the first D rows of V, the rest are independent of the variabe a Denote by R i, the row of V generated by the coefficients of x+a i + We write d R da i to mean the row formed by appying the operator d to every entry of R da i herefore, we have the foowing identity For economy of space, we switch to the transpose notation f a = det [ d, 2,, D da R 0,, dd da R D d,r 20,,R 2d,,R r0,,r rd ] D = Notice onenicepropertyofthepoynomiarepresentation ofv : Intheaboveequation, d + is exacty the row formed by the coefficients of d + da +, da + R x+a + = c x+a + +, where c is a constant depending ony on, and + Now et us see how arge needs to be so that a a 2 does not divide f a Suppose a a 2 f a hen there exist a term L in the above summation that is not divisibe by a a 2 Let that term be identified by some tupe, 2,, D Observe that this term, L = det [ d da R 0,, dd da R D d,r 20,,R 2d,,R r0,,r rd ] = det [c 0 x+a,,c d x+a +d D,x+a 2,,x+a 2 +d,] If any of the exponents {, + 2,, + d D } is greater or equa to then a a 2 L; since otherwise some row c x + a + + becomes equa to some other row x+a 2 +k up to a mutipe of c, when a is repaced by a 2 Aso, if any two of the exponents {, + 2,, +d D } are the same then L = 0 his eaves us with ony one option - the set {, + 2,, +d D } is dominated by the set {, 2,, D} We say a set S is dominated by another set S 2 if for every eement e S there is a unique eement e 2 S 2 such that e e 2 herefore, d + + =0 D k k= D + dd+ DD + D = D 2 aking d = D 7

8 ItfoowsfromCaim32andthediscussionbeforethatdetVisoftheformC i< r a i a D2, where C is a constant depending ony on,d and r What remains to be done, in order to compete the proof of Lemma 3, is to show that C = +d +d =0 / d +d r =0 he proof of this is incuded in Appendix A 4 Discussion Athough, the square root bound of Coroary 22 is not the best known bound for this probem, it may be worthwhie exporing the poynomia method further to see if the bound can be strengthened, or if nontrivia bounds of some other reated probems can be derived through it owards this, we have the foowing three questions in mind Question 4 Strengthening Lemma 2 Is it possibeto give abetter boundon thenumberof common soutions of the system S defined in Lemma 2, perhaps by considering an auxiiary poynomia of the form, Fx = G σ x x+a i +M, σ S where S is the set of a -tupes with distinct eements chosen from {,r}? S = r Note, in our case, the auxiiary poynomia Fx is defined with = Question 42 Simutaneous quadratic character Is it possibe to use our approach to show that for any pair of distinct eements a,b F p, the vaue of the argest possibe m for which χa + i b + i =, for a 0 i m, is O pogp? Here χa denotes the quadratic character of a Question 43 Least primitive eement in F p Is it possibe to show that the vaue of the east primitive eement in F p is O p poyogp using our approach? Acknowedgement hisresearch was donewhentheauthors F, MandSwereinterningat Microsoft Research India he authors are thankfu to MSR India for providing an exceent environment for research References [Ank52] Nesmith C Ankeny he Least Quadratic Nonresidue Annas of Mathematics, 55:65 72, 952 [Bac82] Eric Bach Fast Agorithms under the Extended Riemann Hypothesis: A Concrete Estimate In SOC, pages , 982 [Bra32] A Brauer Ueber die Verteiung der Potenzreste Math Z, 35:39 50, 932 [Bur57] D A Burgess he distribution of quadratic residues and non-residues Mathematika, 48:06 2, 957 [Dav00] Harod Davenport Mutipicative Number heory Springer-Verag, New York, 3rd edition, 2000 i σ 8

9 [Evd94] Sergei Evdokimov Factorization of poynominas over finite fieds in subexponentia time under GRH In ANS, pages , 994 [GKP89] Ronad L Graham, Donad E Knuth, and Oren Patashnik Concrete Mathematics: A Foundation For Computer Science Addison-Wesey, st edition, 989 [Hud74] Richard H Hudson Power Residues and Nonresidues in Arithmetic Progressions ransactions of the American Mathematica Society, 94: , 974 [Kar68] A A Karatsuba Character sums and primitive roots in finite fieds Soviet Math- Dok, 93: , 968 [Sch04] Wofgang M Schmidt Equations over Finite Fieds: An Eementary Approach Kendrick Press, Inc, 2nd edition, 2004 [Ste75] S A Stepanov Contructive methods in the theory of equations over finite fieds Proc Stekov Inst Math, 32:27 28, 975 [ao09] erence ao he east quadratic nonresidue, and the square root barrier [Vin27] J M Vinogradov On the Bound of the Least Non-Residue of nth Powers ransactions of the American Mathematica Society, 29:28 226, 927 [Vin54] IM Vinogradov Eements of Number heory Dover Pubication, 954 [Vin72] IM Vinogradov Basic Number heory Moscow, 972 [Vin85] IM Vinogradov Seected works Springer, 985 ransated from Russian A he constant in Lemma 3 Since the monomia r i has coefficient in the product i< r a i a D2 viewed as a poynomia in the a i s, the constant C in Lemma 3 is the same as the coefficient of the monomia r r i i= ad2 i in detv Caim A he coefficient of the monomia r r i i= ad2 i in detv is +d =0 / d +d r =0 i= ad2 r i Proof By definition, detv = σ S m signσ [m] v,σ, wherem = Dr, S m is the symmetric group of degree m, and v i, is the i, th entry of V Note that, every product [m] v,σ is a monomia in the a i s with an attached coefficient We need to find out, which a permutations σ give rise to the monomia r r i i= ad2 i Let both R i and C i denote the set {Di +,,Di +D}, so that [Dr] = R R r = C C r We think of the R i s as partitioning the rows and the C i s as partitioning the coumns of V For instance, the rows with indices in R i contain ony those terms invoving the variabe a i A crucia observation here is the foowing he monomia r r i i= ad2 i is generated by exacty those permutations σ that induce biections between R i C i, for a i r his gives us a strategy to find the coefficient of r r i i= ad2 i Define the matrix M i as the D D submatrix of V which is induced by the rows R i and the coumns C i Since each term in detm i has the same degree in a i, which is D 2 r i, the coefficient of r i i ad2 i can be obtained from the product i r detm i +d 9

10 Notice that detm i = a D2 r i i deth i, where H i is the foowing matrix formed by the binomia coefficients of the terms in M i Di Di Di d H i = Di + Di d Di +d Di +d Di herefore, the coefficient of r i in detv is exacty i r deth i For < i < r, each of the binomia coefficients in the matrix H i is non-degenerate, whereas for i {,r} it is easy to see that deth i = as H i is a trianguar matrix with units aong the diagona Suppose < i < r After an appropriate row transformation, H i gets transformed to, +d +d +d Di +d Di +d Di H i +d +d = Di +d Di, i= ad2 r i Di +d Di +d Di so that deth i = deth i Now we appy the foowing emma, which we prove shorty, to find an expression for deth i Lemma A2 For n,m, N, satisfying +m n, n+m n+m +m +m n+m n+m n+m +m +m n+m = n n n +m +m m n+m =0 + m n+m =0 aking n, m d and Di, in the above emma, we get +d +d d d Di + Di + deth i = = 7 =0 +d Note that the condition + m n, in Lemma A2, is satisfied after the substitution since < i < r Aso, the above formua 7 evauates to for i {,r} Hence, the formua hods for a i r herefore, the coefficient of r r i i= ad2 i is, as caimed r deth i = i= It remains to prove Lemma A2 r d i==0 +d Di + +d =0 = +d +d +d =0 d +d =0 Proof of Lemma A2 Index the rows from the bottom - the 0 th row R 0 is the bottommost Consider the row operation R m m R m + m k m k r, n+m n+k R k hen the vaue of the topmost row in the i th coumn from the right, starting from zero is m n+m n+m n+k m m n +k = k +i k i k m k n+k +i 0

11 hecaim is - thequantity insidethesummation is zero fori {0,,,m } hisis because of the foowing identity invoving binomia coefficients see page-69 in the book [GKP89] m m s+k k k i s = m, i m which is zero as s i m = 0 when i < m by definition For i = m, the above equation evauates to m his means, after the transformation the vaue of the eftmost entry of the top row is m n+m / +m, whereas a the remaining entries of the row are zeroes Reca that, in the row transformation we have mutipied the first row R m by m, and so remutipying by m the top-eft entry becomes simpy n+m / +m Using this argument inductivey on the minors, the determinant evauates to, m n+ m n+m + = he ast equaity is simpe to verify =0 + =0 n+m