Distribution of Matrices with Restricted Entries over Finite Fields
|
|
- Scot Bishop
- 5 years ago
- Views:
Transcription
1 Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada Igor E. Sharlinski Deartment of Comuting Macquarie University, Sydney, NSW 209, Australia January 0, 2007 Abstract For a rime, we consider some natural classes of matrices over a finite field F of elements, such as matrices of given rank or with characteristic olynomial having irreducible divisors of rescribed degrees. We demonstrate two different techniques which allow us to show that the number of such matrices in each of these classes and also with comonents in a given subinterval [ H, H] [ ( )/2,( )/2] is asymtotically close to the exected value. Introduction For integer numbers m and n we use M m,n (F ) to denote the set of m n matrices over the field F of elements where is a rime. We always assume that F is reresented by the elements of the set {0, ±,..., ±( )/2}. Accordingly given a ositive integer H ( )/2
2 we use M m,n (H; F ) to denote the set of (2H +) n2 matrices X = (x ij ) m n M m,n (F ), with x ij H for i m and j n. For square matrices we also ut M n (F ) = M n,n (F ) and M n (H; F ) = M n,n (H; F ). Let T n be the set of vectors t = (t,...,t n ) with nonnegative integer comonents such that n t j j = n. j= We say that a olynomial f of degree n over F is of factorisation attern t T n if it has exactly t j irreducible factors of degree j, j =,...,n. For examle, t = (0,...,0, ) corresonds to irreducible olynomials and t = (n, 0,..., 0) corresonds to olynomials which slit in F. Motivated by a work of I. Rivin [7], we study various questions about the distribution of matrices X M m,n (H; F ). Another motivation for our work comes from the results of W. Duke, Z. Rudnick and P. Sarnak [6] which yield an asymtotic formula for the number of matrices in SL n (Z) of restricted Euclidean norm, as well as from a recent extension of these results (in the case n = 2) to algebraic number fields by C. Roettger [8]. More recisely, we obtain asymtotic formulas for the number R m,n (k, H; F ) of matrices X M m,n (H; F ) of rank at most rkx k, for the number F n,t (H; F ) of matrices X M n (H; F ) whose characteristic olynomial f has a rescribed factorisation attern t T n, and for the number U n (H; F ) of matrices X M n (H; F ) with det X =, that is, the number of matrices X M n (H; F ) SL n (F ). As we have mentioned these questions are F analogues of the results of similar sirit for matrices over Z and algebraic number fields, see [6, 7, 8] and references therein. We use these roblems to demonstrate several techniques which can be alied to many other similar questions and allow us to show that the number of matrices in certain classes and also with comonents in a given subinterval 2
3 [ H, H] [ ( )/2, ( )/2] is asymtotically close to the exected value. Throughout the aer, the imlied constants in the symbols O, and may deend on integer arameters k and d. We recall that the notations U = O(V ) and U V are all equivalent to the assertion that the inequality U cv holds for some constant c > 0. 2 Prearations 2. Determinant Varieties Let X = (x ij ) m n be the m n matrix in variables x,...,x mn, and let I C[x,..., x mn ] be the ideal generated by (k + ) (k + ) minors of X. Now let the affine set V k (I) be the set containing zeros of I in C mn. It is easy to see that the algebraic set V k (I) can be identified with M m n (C; k) where M m n (C; k) denotes the set of m n matrices over C of rank at most k. We say that an algebraic variety is not contained in a hyerlane if it is not contained in the zero set of an ideal in C[x,..., x mn ] generated by a nontrivial linear form in x,...,x mn. We need the following well-known result (for a simle roof see []) which is crucial in what follows. Lemma. The set V k (I) is an irreducible variety of dimension k(m+n k) in C mn and it is not contained in a hyerlane. Let U n be the affine set in C[x,...,x nn ] associated with SL n (C) matrices, that is the zero set of the equation det X = where X = (x ij ) n n. We have the following analogue of Lemma, see [2, Chater I, Section.6] or [6, Chater 3, Examle 2.2], which in fact can easily be derived from Lemma by examining degrees of ossible factors of the olynomial det X. Lemma 2. The set U n is an irreducible variety of dimension n 2 in C n2 and it is not contained in a hyerlane. 2.2 Distribution of Points on Varieties Now let F = {F, F 2,..., F r } be a family of r olynomials over Z in s variables. The set of solutions over C or F to the system of equations F j (a,...,a s ) = 0, 3 j =,...,r,
4 is called the zero set of F over C or F, resectively. Let Z F (H; F ) be the set of vectors (a, a 2,...,a s ) F s with a i H, i =, 2,..., s which are in the zero set of F over F. We also ut Z F (F ) = Z F (( )/2; F ). We need the following slight modification of a result of Fouvry [7]. Lemma 3. Suose that the affine zero-set of F = {F, F 2,...,F r } in C s is an irreducible variety of dimension d and is not contained in a hyerlane of C s. Then ( ) s 2H + #Z F (H; F ) = #Z F (F ) +O ( d/2 (log ) s + H d /2 (log ) s d+). For an s-dimensional vector a = (a,...,a s ) F s, we use T s(a, H; ) to denote the number of λ F for which a j λ b j (mod ), with b j H, j =,...,s. The following result is a secial case of several more general results which are essentially due to N. M. Korobov [9], which can also be found in many other works, see, for examle, [4, 5]. We resent it in a form which immediately follows from [5, Theorems 5.6 and 5.0]. Lemma 4. We have T (2H + )s s(a, H; ) ( ) s s (log ) s. a F s Let r m,n (k; F ) be the total number of m n matrices of rank k over F. The following exlicit formula for r m,n (k; F ) is well known, see, for examle, [3] for this and many other related formulas. Lemma 5. For any k 0, we have, r m,n (k; F ) = k i=0 (m i ) k i=0 (n i ) k. i=0 (k i ) 4
5 For a monic olynomial f F [T] of degree n, we denote by G n (f; F ) the set of matrices X M n (F ) whose characteristic olynomial is equal to f. By a result of Chavdarov [3, Theorem 3.9], if f(0) 0, then ( 3) n2 n #G n (f; F ) ( + 3) n2 n. Therefore we obtain the following estimate. Lemma 6. Let f F [T] be a monic olynomial of degree n, and let f(0) 0. Then #G n (f; F ) = n2 n + O( n2 n ). Notice that olynomials in the above lemma corresond to matrices in GL n (F ), the general linear grou over F. Finally, for t T n we denote by F n (t; F ) the set of monic olynomials f F [T] with a factorisation attern t. It is well-known (see, for examle, [4, 5, 9, 20]) that simle counting arguments imly the following asymtotic formula for the cardinality of F n (t; F ). Lemma 7. For every t = (t,..., t n ) T n, we have #F n (t; F ) = n n j= 2.3 Distribution of Products t j!j t j + O(n ). Let N a (H, ) denote the number of solutions to the congruence xy a (mod ), x, y H. The following bound on the average deviation between N a (H, ) and its exected value taken over a ( )/2 is a secial case of a more general estimate from [2] (and also the trivial estimate N a (H, ) = O(H)). Lemma 8. We have, ( )/2 a= ( )/2 N a(h, ) (2H + )2 2 H 2 o(). 5
6 3 Results 3. Ranks of Matrices of Bounded Height Theorem 9. For H ( )/2 and k min{m, n}, we have R m,n (k, H; F ) = (2H + ) mn (m k)(n k) +O ( k(m+n k)/2 (log ) mn + H k(m+n k) /2 (log ) (m k)(n k)+). Proof. From Lemma and Lemma 3, alied with ( )( ) m n r =, s = mn, d = k(m + n k), k k we infer that ( 2H + R m,n (k, H; F ) = R m,n (k; F ) ) mn +O ( k(m+n k)/2 (log ) mn + H k(m+n k) /2 (log ) (m k)(n k)+). By Lemma 5 we see that R m,n (k; F ) = k r m,n (l; F ) = k(m+n k) + O ( k(m+n k) ) l=0 which imlies the desired result. where One can easily see that Theorem 9 is nontrivial whenever γ k,m,n = max { /2 + H γ k,m,n+ε (m k)(n k), mn } 2(m k)(n k) + 2 for some fixed ε > 0 and sufficiently large. Secially when m = n and k = n (the case of singular matrices), then the result is nontrivial whenever H 3/4+ε. 6
7 3.2 Factors of Characteristic Polynomials of Matrices of Bounded Height Theorem 0. For H ( )/2 and t T n, we have F n,t (H; F ) = (2H + ) n2 n j= ( t j!j + O n2 (log ) n2). t j Proof. Clearly, if f(t) F [T] is the characteristic olynomial of X M n (F ), then for every λ F, the characteristic olynomial of λx M n (F ) is λ n f(tλ ) and thus has the same factorisation attern. Therefore F n,t (H; F ) = = (2H + )n2 n2 + f F n(t;f ) X G n(f;f ) λ F λx M n(h;f ) f F n(t;f ) X G n(f;f ) f F n(t;f ) X G n(f;f ) Using Lemmas 6 and 7, we derive f F n(t;f ) X G n(f;f ) = = f F n(t;f ) X G n(f;f ) f(0) 0 f F n(t;f ) f(0) 0 = n2 n = n2 n j= λ F λx M n(h;f ) + O ( n2 n + O( n2 n ) f F n(t;f ) f(0) 0 ( ) + O n2 t j!j t j + O(n2 ), X M n(f ) X singular (2H + )n2 n2 ) + O. ( ) n2 7
8 since obviously f F n(t;f ) f(0) 0 = f F n(t;f ) + O( n ). On the other hand, using Lemma 4, we estimate (2H + )n2 n2 f F n(t;f ) X G n(f;f ) λ F λx M n(h;f ) (2H + )n2 f F n(t;f ) X G n(f;f ) n2 λ F λx M n(h;f ) (2H + )n2 ( ) X M n(f ) n2 λ F n2 (log ) n2, λx M n(h;f ) which concludes the roof. One can easily see that Theorem 0 is nontrivial whenever H /n2 +ε for some fixed ε > 0 and sufficiently large. 3.3 Matrices of Bounded Height in SL n (F ) Following the same arguments as in the roof of Theorem 9 and using Lemma 2 instead of Lemma and recalling that #SL n (F ) = #GL n(f P ) = n ( n i ) = n2 + O( n2 2 ), we immediately obtain: i=0 8
9 Theorem. For H ( )/2, we have U n (H; F ) = (2H + )n2 ) + O (H n2 2 /2 (log ) 2. The bound of Theorem is nontrivial if H 3/4+ε. for any fixed ε > 0 and sufficiently large. However for n = 2 a different argument leads to a stronger result. Theorem 2. For H ( )/2, we have Proof. Let us define U 2 (H; F ) = (2H + )4 + O ( H 2 o()). a (H, ) = N a (H, ) (2H + )2 and note that ( )/2 a= ( )/2 a (H, ) = ( )/2 a= ( )/2 a+ (H, ) = 0. Then we have U 2 (H; F ) = = = ( )/2 a= ( )/2 ( )/2 a= ( )/2 (2H + )4 N a (H, )N a+ (H, ) ( (2H + ) 2 + ( )/2 a= ( )/2 ) ( ) (2H + ) 2 + a (H, ) + a+ (H, ) a (H, ) a+ (H, ). 9
10 Bu the Cauchy inequalty ( )/2 a= ( )/2 a (H, ) a+ (H, ) = ( )/2 a= ( )/2 ( )/2 a= ( )/2 a (H, ) 2 a (H, ) 2. ( )/2 a= ( )/2 a (H, ) 2 Now an alication of Lemma 8 concludes the roof. Clearly Theorem 2 is nontrivial if H /2+ε. for any fixed ε > 0 and sufficiently large. 4 Comments Analogues of Theorem 9 can be roven about the symmetric matrices over F. More recisely, suose that Y = (y ij ) n n is the n n symmetric matrix in variables y ij = y ji for i j n, and let I C[y,...,y nn ] be the ideal generated by (k + ) (k + ) minors of Y. Also suose that W k (I) is the set containing zeros of I in C (n+ 2 ). Notice that Wk (I) can be identified with the set of symmetric n n matrices over C of rank at most k. It follows that (see [0]) W k (I) is an irreducible variety in C (n+ 2 ) and is not contained in a hyerlane. Thus alying Lemma 3 one can get similar results as Theorem 9 for symmetric matrices over F. The determinant variety is not smooth, so the results about the distribution of oints on such varieties, see [8,, 2, 22, 23] and references therein, do not aly. Acknowledgements The authors wish to thank Igor Rivin for many stimulating discussions. 0
11 This aer was initiated during a very enjoyable visit of the both authors at the Fields Institute; its suort and stimulating research atmoshere are gratefully areciated. Research of I. S. was suorted by ARC grant DP References [] S. S. Abhyankar, Combinatoire des tableaux de Young, variétés déterminantielles et calcul de fonctions de Hilbert, Rend. Sem. Mat. Univ. Politec. Torino, 42 (984), [2] A. Borel, Linear algebraic grous, Graduate Texts in Mathematics, vol. 26, Sringer-Verlag, Berlin, 2nd ed., 99. [3] N. Chavdarov, The generic irreducibility of the numerator of the zeta function in a family of curves with large monodromy, Duke Math. J., 78 (997), [4] S. D. Cohen, The distribution of olynomials over finite fields, Acta Arithm., 20 (972), [5] S. D. Cohen, Uniform distribution of olynomials over finite fields, J. London Math. Soc., 6(972), [6] W. Duke, Z. Rudnick and P. Sarnak, Density of integer oints on affine homogeneous varieties, Duke Math. J., 7 (993), [7] É. Fouvry, Consequences of a result of N. Katz and G. Laumon concerning trigonometric sums, Israel J. Math., 20 (2000), [8] É. Fouvry and N. Katz, A general stratification theorem for exonential sums, and alications, J. Reine Angew. Math., 540 (200), [9] N. M. Korobov, Number-theoretical methods in aroximate analysis, Fizmatgiz, Moscow, 963 (in Russian). [0] R. Kutz, Cohen-Macauly rings and ideal theory in rings of invariants of algebraic grous, Trans. Amer. Math. Soc, 94 (974), [] G. Laumon, Exonential sums and l-adic cohomology: A survey, Israel J. Math., 20 (2000),
12 [2] W. Luo, Rational oints on comlete intersections over F, Internat. Math. Res. Notices, 999 (999), [3] K. Morrison, Integer sequences and matrices over finite fields, J. Integer Sequences, 9 (2006), Article [4] H. Niederreiter, Quasi-Monte Carlo methods and seudo-random numbers, Bull. Amer. Math. Soc., 84 (978), [5] H. Niederreiter, Random number generation and Quasi Monte Carlo methods, SIAM Press, 992. [6] A. Rittatore and W. F. Santos, Actions and invariants of algebraic grous, Monograhs and Textbooks in Pure and Alied Mathematics, vol. 269, Chaman & Hall/CRC, [7] I. Rivin, Walks on grous, counting reducible matrices, olynomials, and surface and free grou automorhisms, Prerint, [8] C. Roettger, Counting invertible matrices and uniform distribution, J. Théorie Nombres Bordeaux, 7 (2005), [9] I. E. Sharlinski, Polynomials of given height in finite fields, Math. USSR-Sb., 63 (989), [20] I. E. Sharlinski, Polynomials of given height in finite fields, Math. USSR-Sb., 7 (992), [2] I. E. Sharlinski, Distribution of inverses and multiles of small integers and the Sato Tate conjecture on average, Prerint, [22] I. E. Sharlinski and A. N. Skorobogatov, Exonential sums and rational oints on comlete intersections, Mathematika, 37 (990), [23] A. N. Skorobogatov, Exonential sums, the geometry of hyerlane sections, and some Diohantine roblems, Israel J. Math., 80 (992),
Congruences and exponential sums with the sum of aliquot divisors function
Congruences and exonential sums with the sum of aliquot divisors function Sanka Balasuriya Deartment of Comuting Macquarie University Sydney, SW 209, Australia sanka@ics.mq.edu.au William D. Banks Deartment
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationA CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, (2002),. 3 7 3 A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO C. COBELI, M. VÂJÂITU and A. ZAHARESCU Abstract. Let be a rime number, J a set of consecutive integers,
More informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationCongruences and Exponential Sums with the Euler Function
Fields Institute Communications Volume 00, 0000 Congruences and Exonential Sums with the Euler Function William D. Banks Deartment of Mathematics, University of Missouri Columbia, MO 652 USA bbanks@math.missouri.edu
More information2 K. ENTACHER 2 Generalized Haar function systems In the following we x an arbitrary integer base b 2. For the notations and denitions of generalized
BIT 38 :2 (998), 283{292. QUASI-MONTE CARLO METHODS FOR NUMERICAL INTEGRATION OF MULTIVARIATE HAAR SERIES II KARL ENTACHER y Deartment of Mathematics, University of Salzburg, Hellbrunnerstr. 34 A-52 Salzburg,
More informationAlmost All Palindromes Are Composite
Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationErnie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract
SUMS OF THE FORM 1/x k 1 + + 1/x k n MODULO A PRIME Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu Abstract Using a sum-roduct result
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationHeuristics on Tate Shafarevitch Groups of Elliptic Curves Defined over Q
Heuristics on Tate Shafarevitch Grous of Ellitic Curves Defined over Q Christohe Delaunay CONTENTS. Introduction 2. Dirichlet Series and Averages 3. Heuristics on Tate Shafarevitch Grous References In
More informationPiotr Blass. Jerey Lang
Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling
More informationApproximating min-max k-clustering
Aroximating min-max k-clustering Asaf Levin July 24, 2007 Abstract We consider the roblems of set artitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationNumbers and functions. Introduction to Vojta s analogy
Numbers and functions. Introduction to Vojta s analogy Seminar talk by A. Eremenko, November 23, 1999, Purdue University. Absolute values. Let k be a field. An absolute value v is a function k R, x x v
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
More informationCHARACTER SUMS AND CONGRUENCES WITH n!
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 356, Number 12, Pages 5089 5102 S 0002-99470403612-8 Article electronically ublished on June 29, 2004 CHARACTER SUMS AND CONGRUENCES WITH n! MOUBARIZ
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationarxiv: v1 [math.nt] 4 Nov 2015
Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationAdditive results for the generalized Drazin inverse in a Banach algebra
Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationarxiv:cond-mat/ v2 25 Sep 2002
Energy fluctuations at the multicritical oint in two-dimensional sin glasses arxiv:cond-mat/0207694 v2 25 Se 2002 1. Introduction Hidetoshi Nishimori, Cyril Falvo and Yukiyasu Ozeki Deartment of Physics,
More informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More information#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.
#A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics
More informationExtremal Polynomials with Varying Measures
International Mathematical Forum, 2, 2007, no. 39, 1927-1934 Extremal Polynomials with Varying Measures Rabah Khaldi Deartment of Mathematics, Annaba University B.P. 12, 23000 Annaba, Algeria rkhadi@yahoo.fr
More informationA Note on the Positive Nonoscillatory Solutions of the Difference Equation
Int. Journal of Math. Analysis, Vol. 4, 1, no. 36, 1787-1798 A Note on the Positive Nonoscillatory Solutions of the Difference Equation x n+1 = α c ix n i + x n k c ix n i ) Vu Van Khuong 1 and Mai Nam
More informationWhen do the Fibonacci invertible classes modulo M form a subgroup?
Annales Mathematicae et Informaticae 41 (2013). 265 270 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Alications Institute of Mathematics and Informatics, Eszterházy
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationElements of Asymptotic Theory. James L. Powell Department of Economics University of California, Berkeley
Elements of Asymtotic Theory James L. Powell Deartment of Economics University of California, Berkeley Objectives of Asymtotic Theory While exact results are available for, say, the distribution of the
More information216 S. Chandrasearan and I.C.F. Isen Our results dier from those of Sun [14] in two asects: we assume that comuted eigenvalues or singular values are
Numer. Math. 68: 215{223 (1994) Numerische Mathemati c Sringer-Verlag 1994 Electronic Edition Bacward errors for eigenvalue and singular value decomositions? S. Chandrasearan??, I.C.F. Isen??? Deartment
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationSQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015
SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationOhno-type relation for finite multiple zeta values
Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye
More informationThe Fekete Szegő theorem with splitting conditions: Part I
ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationRINGS OF INTEGERS WITHOUT A POWER BASIS
RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We
More informationJournal of Mathematical Analysis and Applications
J. Math. Anal. Al. 44 (3) 3 38 Contents lists available at SciVerse ScienceDirect Journal of Mathematical Analysis and Alications journal homeage: www.elsevier.com/locate/jmaa Maximal surface area of a
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More informationPRIME AND SPECIAL IDEALS IN STRUCTURAL MATRIX RINGS OVER A RING WITHOUT UNITY
J. Austral. Math. Soc. (Serie3 A) 45 (1988), 22-226 PIME AND SPECIAL IDEALS IN STUCTUAL MATIX INGS OVE A ING WITHOUT UNITY L. VAN WYK (eceived 12 Setember 1986; revised 17 February 1987) Communicated by.
More informationRAMANUJAN-NAGELL CUBICS
RAMANUJAN-NAGELL CUBICS MARK BAUER AND MICHAEL A. BENNETT ABSTRACT. A well-nown result of Beuers [3] on the generalized Ramanujan-Nagell equation has, at its heart, a lower bound on the quantity x 2 2
More informationOn the smallest point on a diagonal quartic threefold
On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour
More informationOn the normality of p-ary bent functions
Noname manuscrit No. (will be inserted by the editor) On the normality of -ary bent functions Ayça Çeşmelioğlu Wilfried Meidl Alexander Pott Received: date / Acceted: date Abstract In this work, the normality
More information192 VOLUME 55, NUMBER 5
ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationDedekind sums and continued fractions
ACTA ARITHMETICA LXIII.1 (1993 edekind sums and continued fractions by R. R. Hall (York and M. N. Huxley (Cardiff Let ϱ(t denote the row-of-teeth function ϱ(t = [t] t + 1/2. Let a b c... r be ositive integers.
More informationPositive decomposition of transfer functions with multiple poles
Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.
More informationPrime divisors in Beatty sequences
Journal of Number Theory 123 (2007) 413 425 www.elsevier.com/locate/jnt Prime divisors in Beatty sequences William D. Banks a,, Igor E. Shparlinski b a Department of Mathematics, University of Missouri,
More informationCONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results
Ann. Sci. Math. Québec 35 No (0) 85 95 CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS MASANOBU KANEKO AND KEITA MORI Dedicated to rofessor Paulo Ribenboim on the occasion of his 80th birthday.
More informationGaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.
Gas in Semigrous J.L. Ramírez Alfonsín Université Pierre et Marie Curie, Paris 6, Equie Combinatoire - Case 189, 4 Place Jussieu Paris 755 Cedex 05, France. Abstract In this aer we investigate the behaviour
More informationwhere x i is the ith coordinate of x R N. 1. Show that the following upper bound holds for the growth function of H:
Mehryar Mohri Foundations of Machine Learning Courant Institute of Mathematical Sciences Homework assignment 2 October 25, 2017 Due: November 08, 2017 A. Growth function Growth function of stum functions.
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
More informationarxiv:math/ v1 [math.nt] 3 Dec 2004
arxiv:math/0412079v1 [math.nt] 3 Dec 2004 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Abstract. We consider rimitive divisors of terms of integer
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationConstruction algorithms for good extensible lattice rules
Construction algorithms for good extensible lattice rules Harald Niederreiter and Friedrich Pillichshammer Dedicated to Ian H. Sloan on the occasion of his 70th birthday Abstract Extensible olynomial lattice
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More information