Expansions of quadratic maps in prime fields
|
|
- Scott Robinson
- 5 years ago
- Views:
Transcription
1 Expansions of quadratic maps in prime fields Mei-Chu Chang Department of Mathematics University of California, Riverside Abstract Let f(x) = ax 2 +bx+c Z[x] be a quadratic polynomial with a 0 mod p. Take z F p and let O z = {f i (z)} i Z + be the orbit of z under f, where f i (z) = f(f i (z)) and f 0 (z) = z. For M < O z, We study the diameter of the partial orbit O M = {z, f(z), f 2 (z),..., f M (z)} and prove that there exists c > 0 such that diam O M min { Mp c, For a complete orbit C, we prove that where T is the period of the orbit. log p M 4 5 p 5, M 3 log log M }. diam C min{p 5c, e T/4 }, Introduction. This paper belongs to the general theme of dynamical systems over finite fields. Let p be a prime and F p the finite field of p elements, represented by 2000 Mathematics Subject Classification.Primary B50, 37A45, B75; Secondary T23, 37F0 G99. Key words. dynamical system, orbits, additive combinatorics, exponential sums. Research partially financed by the National Science Foundation.
2 the set {0,,..., p }. Let f F p [x] be a polynomial, which we view as a transformation of F p. Thus if z F p is some element, we consider its orbit z 0 = z, z n+ = f(z n ), n = 0,,..., (0.) which eventually becomes periodic. The period T z = T is the smallest integer satisfying {z n : n = 0,,..., T } = {z n : n N} (0.2) We are interested in the metrical properties of orbits and partial orbits. More precisely, for M < T z, we define diam O M = max 0 n<m z n z. (0.3) Following the papers [GS] and [CGOS], we study the expansion properties of f, in the sense of establishing lower bounds on diam O M. Obviously, if M T, then diam O M M. But, assuming that f is nonlinear and M = o(p), one reasonably expects that the diameter of the partial orbit is much larger. Results along these lines were obtained in [GS] under the additional assumption that M > p 2 +ϵ. In this situation, Weil s theorem on exponential sums permits proving equidistribution of the partial orbit. For M p /2, Weil s theorem becomes inapplicable and lower bounds on diam O M based on Vinogradov s theorem were established in [CGOS]. Our paper is a contribution of this line of research. We restrict ourselves to quadratic polynomials, though certainly the methods can be generalized. (See [CCGHSZ] for a genaralization of Proposition 2 and Theorem 2 to higher degree polynomials and rational maps.) Our first result is the following. Theorem. There is a constant c > 0 such that if f(x) = ax 2 +bx+c Z[x] with (a, p) =, then with above notation, for any z F p and M T z, { diam O M min Mp c, log p M 4 5 p 5, M 3 }. log log M (0.4) In view of Theorem 2, one could at least expect that diam O M min(p c, e cm ) as is the case when M = T z. h g, if there exist constants C, M such that h(x) Cg(x) for all x > M. 2
3 In the proof, we distinguish the cases diam O M > p c 0 and diam O M p c 0, where c 0 > 0 is a suitable constant. First, we exploit again exponential sum techniques (though, from the analytical side, our approach differs from [CGOS] and exploits a specific multilinear setup of the problem). More precisely, Proposition in states that (for M T large enough) diam O M log p min ( M 5 4, M 4 5 p 5 ). (0.5) (Note that (??) is a clear improvement over Theorem 8 from [CGOS] for the case d = 2.) When diam O M p c 0, a different approach becomes available as explained in Proposition 2. In this situation, we are able to replace the (mod p) iteration by a similar problem in the field C of complex numbers, for an appropriate quadratic polynomial F (z) Q[z]. Elementary arithmetic permits us to prove then that log diam O M is at least as large as log M log log M. 3 Interestingly, assuming C a complete periodic cycle and diam C < p c 0, the transfer argument from Proposition 2 enables us to invoke bounds on the number of rational pre-periodic points of a quadratic map, for instance the results from R. Benedetto [B]. The conclusion is the following. Theorem 2. There is a constant c 0 > 0 such that if f(x) = ax 2 +bx+c Z[x] with (a, p) = and C F p is a periodic cycle for f of length T, then diam C min{p c 0, e T/4 }. (0.6) Diameter of Partial Orbits. Let f(x) = ax 2 + bx + c Z[x], where a 0 (mod p). Fix x 0 F p and denote the orbit of x 0 by O x0 = {f j (x 0 )} j Z +, where f j (x 0 ) = f(f j (x 0 )) and f 0 (x 0 ) = x 0. The period of the orbit of x 0 under f is denoted T = T x0 = O x0. For A F p, we denote the diameter of A by diam A = max p x y x,y A p, 3
4 where a is the distance from a to the nearest integer. We are interested in the expansion of part of an orbit. Proposition. For M < T, consider a partial orbit Then O M = {x 0, f(x 0 ), f 2 (x 0 ),..., f M (x 0 )}. diam O M log p min(m 5/4, M 4/5 p /5 ). (.) Proof. Let M = diam O M. Take I F p with I = M and O M I, then f(i) I M. (.2) We will express (??) using exponential sums. Let 0 φ be a smooth function on F p such that φ = on I and supp φ Ĩ, where Ĩ is an interval with the same center and double the length of I. Equation (??) implies that φ(f(x)) M x I and expanding φ in Fourier gives φ(x) = φ(ξ)e p (xξ), with φ(ξ) = φ(x)e p ( xξ). p ξ F p x F p Combining these gives φ(ξ) e p (ξf(x)) M. (.3) ξ F p x I We will estimate x I e p(ξf(x)) using van der Corput-Weyl. Take M 0 = O(M), e.g. M 0 = M. Then 00 e p (ξf(x)) M 0 e p (ξ ( a(x + y) 2 + b(x + y) )) + O(M 0 ) x I [ M0 0 y<m 0 = M0 0 y<m 0 x I ( e p ξ(ax 2 + 2axy + bx) ) ] 2 /2 + O(M 0 ) x I ) e p (ξ(x /2 x 2 )(a(x + x 2 ) + 2ay + b) + O(M 0 ). 0 y<m 0 x,x 2 I (.4) 4
5 (The second inequality is by Cauchy-Schwarz.) Take φ sufficiently smooth as to ensure that Equations (??) and (??) imply φ(ξ) ξ F p 0 y<m 0 x,x 2 I ξ F p φ(ξ) = O(). (.5) e p (ξ(x x 2 )(a(x + x 2 ) + 2ay + b)) /2 M 3/2. Hence by Cauchy-Schwarz and (??), φ(ξ) e p (ξ(x x 2 )(a(x + x 2 ) + 2ay + b)) M 3. (.6) ξ F p 0 y<m 0 x,x 2 I Fix x + x 2 = s 2M ; then φ(ξ) e p (ξ(2x s)(as + 2ay + b)) M 3. (.7) 2M ξ F p Next, for z F p, denote 0 y<m 0 x I η(z) = {(x, y) I [, M 0 ] : (2x s)(2ay + b + as) z (mod p)}, (.8) and write the left hand side of (??) as φ(ξ) η(z) e p (ξz) ξ F p z F p ( ) /2 ( φ(ξ) 2 η(z)e p (ξz) 2 ) /2 ξ F p ξ F p z F p (.9) ( ) /2 = φ(x) 2 ( ) /2 p η(z) 2 p x F p z F p ( ) /2, < 2M /2 η(z) 2 z F p 5
6 by Cauchy-Schwarz and Parseval. Recall that (a, p) =. Let I = I s, 2 I = [, M 0 ] + b+as 2a η(z) 2 = E(I, I ), z F p F p so that the multiplicative energy of I and I. It is well-known that } E(I, I ) log p max { I I, I 2 I 2 p log p max {M M, M } 2 M 2. p (.0) Thus, by (??), (??) and (??), { M 3 M /2 (log p) /2 max M /2 M /2, M } M. (.) M p /2 Distinguish the cases M M p and M M > p, and (??) implies { ( ) /4M M min log p 5/4, ( log p ) } /5 M 4/5 p /5. (.2) 2 Partial orbits of small diameters. For M < p c 0, one obtains the following stronger result. (Notations are as in Proposition.) Proposition 2. There exists c 0 > 0 such that ( ) diam O M > min p c 0, M 3 log log M. (2.) Consequently, diam O M min { Mp c 0 5, log p M 4 5 p 5, M 3 log log M }. (2.2) 6
7 Proof. Let O M = {x 0, x,..., x M } with x j = f(x j ) as before, and let diam O M = M. Since x j x 0 M, we can write x j = x 0 + z j with z j [ M, M ]. Thus, a, b, c, x 0 satisfy the M equations a(x 0 + z j ) 2 + b(x 0 + z j ) + c x 0 + z j+ (mod p), j = 0,..., M 2, and the F p -variety V p = M 2 j=0 [ (r + zj ) 2 + v(r + z j ) + w = u(r + z j+ ) (mod p) in the variables (u, v, w, r) F 4 p is therefore nonempty. Note that the coefficients of the M defining polynomials in Z[u, v, w, r] are O(M 2 ). Assume M < p c 0 (2.3) with c 0 > 0 small enough. Elimination theory 2 implies that V p as a C-variety. Hence there are U, V, W, R C such that for all j (R + z j ) 2 + V (R + z j ) + W = U(R + z j+ ), j = 0,..., M 2. Obviously, U 0, since z,..., z M 2 are distinct. We therefore have a quadratic polynomial satisfying F (z) := U (R + z)2 + V U (R + z) + W U R = : Az2 + Bz + C, (2.4) F (z j ) = z j+ in C, for j = 0,..., M 2. (2.5) Since z 0 = 0, (??) and (??) imply C = z Z [ M, M ] and the equations z 2 A + z B = z 2 z z 2 2A + z 2 B = z 3 z imply A, B Q with A = a d, B = b d, and a, b, d Z being O(M 3 ). Equation (??) becomes z j+ = a d z2 j + b d z j + C. (2.6) 2 See [C] where a similar elimination procedure was used in a combinatorial problem. In particular, see [C], Lemma 2.4 and its proof. 7
8 Hence a d z j+ + b ( a 2d = d z j + b ) 2 + C a 2d d b2 4d + b 2 2d. Putting and gives y j = a d z j + b 2d Z, j = 0,..., M 2d r s = C a d b2 4d 2 + b 2d with s > 0, (r, s) =, r, s = O(M 6 ), y j+ = yj 2 + r, j = 0,..., M 2. (2.7) s Next, write y j = α j /β j, where β j 2d and (α j, β j ) = ; thus (??) gives Note also that α j+ β j+ = α2 j β 2 j Write the prime factorizations + r, j = 0,..., M 2. (2.8) s α j = O(M 4 ). (2.9) s = p p v(p) and β j = p p v j(p), j = 0,..., M. Claim. 2v j (p) v(p), for j < M O(log log M ). Proof. We may assume v j (p) > 0. Case. 2v j (p) > v j+ (p). Fact 2.(which will be stated at the end of this section) and (??) imply that v(p) = 2v j (p). Case 2. 2v j (p) v j+ (p). Again, we separate two cases. Case 2.. 2v j+ (p) > v j+2 (p). Reasoning as in Case, we have v(p) = 2v j+ (p) 2 2 v j (p) > 2v j (p). 8
9 Case v j+ (p) v j+2 (p). Therefore, v j+2 (p) 2 2 v j (p). We repeat the argument for Case 2 with j = j +. Continuing this process, after τ steps, we obtain either v(p) 2v j (p) or v j+τ (p) 2 τ v j (p), (2.0) when necessarily τ log v j+τ (p) log log β j+τ log log d log log M. Since j + τ M, the claim is proved. It follows from the claim that β 2 j s for j < M O(log log M ). Back to (??), if v(p) > 2v j (p) for some j < M O(log log M ), then v j+ (p) = v(p). This contradicts to that β 2 j+ s. So we conclude that Hence which implies β 2 j = s =: s 2 for j < M O(log log M ). (2.) α j+ = α2 j s + r s, (2.2) α 2 j + r 0 mod s. (2.3) Let s = p v i i. Then α j satisfies (??) if and only if α j satisfies αj 2 + r 0 mod p v i i for all i. Since r is a quadratic residue modulo p v if and only if it is a quadratic residue modulo p for odd prime p, we have {π s (α j )} j 2 2 ω(s ) < e log s log log s < e 4 log M log log M. (2.4) Here π s (α j ) is the projection of α j in Z s. To show M > M 3 log log M, we assume log M < log M log log M. (2.5) 3 Then (??) implies there exists ξ Z s such that { J = 0 j M 2 : π s (α j ) = ξ} > M /2. (2.6) Thus α j α j2 s Z, for j, j 2 J, 9
10 and α j α j2 s, for j j 2 J. In particular there exists j J such that α j M /2 8 s and αj r /2 > M /2 8 s. (2.7) Claim. Either α j > 0 r /2 or α j+ > 0 r /2. Proof. Assume α j, α j+ < 0 r /2. (2.8) Hence, r /2 M /2 s by (??). From (??), (??) and (??) 0 r /2 s > α j+ s = α 2 j + r ( α j + r /2 )( α j r /2 ) r /2 M /2 a contradiction, proving the claim. Thus, there exists j < M/2 such that either or 8 s α j > 0s and α j > 0 r /2 (2.9) α j > 0s and α j+ > 0 r 2. (2.20) Clearly, (??) implies (??). Indeed, by (??), Iteration shows that α j+ s α 2 j r 99 00s α 2 j > 2 α j. M αj+ M > 2 3 αj > 2 M 3 3 contradicting to (??). This proves (??). Combining Proposition and (??), we have (??). Fact 2.. Let a d, a 2 d 2, a 3 d 3 Q be rational numbers in lowest terms, and p v p(d i ) d i. If a d + a 2 d 2 + a 3 d 3 = 0 and v p (d ) v p (d 2 ) v p (d 3 ), then v p (d ) = v p (d 2 ). 0
11 3 Full cycles In this section, we will prove Theorem 2. Assume M = diam C < p c 0 with c 0 as in Proposition??. The proof of Proposition?? gives a quadratic polynomial (cf. (??)) F (z) = z 2 + r s with r, s Z, s = O(M 6 ) (3.) and a rational F -cycle {y j } 0 j<t, i.e. and y j+ = F (y j ) for 0 j T 2 F (y T ) = y 0. We now invoke a result of R. Benedetto [B], which gives quantitative bounds on the number of preperiodic points of a polynomial f in a number field. ( z is preperiodic, if the set { z, f(z), f ( f(z) ),... } is finite. ) According to Theorem 7. in [B], the number of preperiodic points of F in Q is bounded by (2σ + ) [log 2 (2σ + ) + log 2 (log 2 (2σ + ) ) + 2] (3.2) with σ the number of primes where F has bad reduction. Hence σ ω(s) and (??) implies log M log log M T < 4 log M = 4 log diam C. (3.3) Acknowledgement. The author would like to thank the referee for many helpful comments and the mathematics department of University of California at Berkeley for hospitality. References [B] R. Benedetto, Preperiodic points of polynomials over global fields, J. Reine Angew. Math. 608 (2007), [CCGHSZ] M.-C. CHANG, J. CILLERUELO, M. GARAEV, J. HERNAN- DEZ, I. SHPARLINSKI, A. ZUMALACARREGUI POINTS ON CURVES IN SMALL BOXES AND APPLICATIONS (preprint).
12 [C] M.-C. Chang, Factorization in Generalized Arithmetic Progressions and Application to the Erdos-Szemeredi Sum-Product Problems, Geom. Funct. Anal. Vol. 3, (2003), [CGOS] J. Cilleruelo, M. Garaev, A. Ostafe, I. Shparlinski, On the concentration of points of polynomial maps and applications, Math. Zeit., (to appear). [GS] J. Gutierrez, I. Shparlinski, Expansion of orbits of some dynamical systems over finite fields Bull. Aust. Math. Soc. 82 (200),
BURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationShort character sums for composite moduli
Short character sums for composite moduli Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract We establish new estimates on short character sums for arbitrary
More informationOn a matrix product question in cryptography
On a matrix product question in cryptography Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract Let A, B be invertible n n matrices with irreducible characteristic
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 informationElements of large order in prime finite fields
Elements of large order in prime finite fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract Given f(x, y) Z[x, y] with no common components with
More informationA Remark on Sieving in Biased Coin Convolutions
A Remark on Sieving in Biased Coin Convolutions Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract In this work, we establish a nontrivial level of distribution
More informationA PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationA NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationA Remark on Sieving in Biased Coin Convolutions
A Remark on Sieving in Biased Coin Convolutions Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract In this work, we establish a nontrivial level of distribution
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationCongruences involving product of intervals and sets with small multiplicative doubling modulo a prime
Congruences involving product of intervals and sets with small multiplicative doubling modulo a prime J. Cilleruelo and M. Z. Garaev Abstract We obtain a sharp upper bound estimate of the form Hp o(1)
More informationMei-Chu Chang Department of Mathematics University of California Riverside, CA 92521
ERDŐS-SZEMERÉDI PROBLEM ON SUM SET AND PRODUCT SET Mei-Chu Chang Department of Mathematics University of California Riverside, CA 951 Summary. The basic theme of this paper is the fact that if A is a finite
More informationLines, parabolas, distances and inequalities an enrichment class
Lines, parabolas, distances and inequalities an enrichment class Finbarr Holland 1. Lines in the plane A line is a particular kind of subset of the plane R 2 = R R, and can be described as the set of ordered
More informationEXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES
#A7 INTEGERS 15A (2015) EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES Joshua Harrington Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania JSHarrington@ship.edu Lenny
More informationA CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS
A CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS ROBERT L. BENEDETTO Abstract. Let K be a non-archimedean field, and let φ K(z) be a polynomial or rational function of degree at least
More informationFINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures)
FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures) Ana Zumalacárregui a.zumalacarregui@unsw.edu.au November 30, 2015 Contents 1 Operations on sets 1 2 Sum-product theorem
More informationarxiv: v1 [math.nt] 4 Oct 2016
ON SOME MULTIPLE CHARACTER SUMS arxiv:1610.01061v1 [math.nt] 4 Oct 2016 ILYA D. SHKREDOV AND IGOR E. SHPARLINSKI Abstract. We improve a recent result of B. Hanson (2015) on multiplicative character sums
More informationMath 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2
Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2 April 11, 2016 Chapter 10 Section 1: Addition and Subtraction of Polynomials A monomial is
More informationAnother Proof of Nathanson s Theorems
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.8.4 Another Proof of Nathanson s Theorems Quan-Hui Yang School of Mathematical Sciences Nanjing Normal University Nanjing 210046
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationMath 61CM - Solutions to homework 2
Math 61CM - Solutions to homework 2 Cédric De Groote October 5 th, 2018 Problem 1: Let V be the vector space of polynomials of degree at most 5, with coefficients in a field F Let U be the subspace of
More informationD-bounded Distance-Regular Graphs
D-bounded Distance-Regular Graphs CHIH-WEN WENG 53706 Abstract Let Γ = (X, R) denote a distance-regular graph with diameter D 3 and distance function δ. A (vertex) subgraph X is said to be weak-geodetically
More informationDavid Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France
#A37 INTEGERS 10 (2010), 437-451 SUBSETS OF Z WITH SIMULTANEOUS ORDERINGS David Adam GAATI, Université de la Polynésie Française, Tahiti, Polynésie Française david.adam@upf.pf Jean-Luc Chabert LAMFA CNRS-UMR
More informationRotated Corners in the Integer Lattice
Rotated Corners in the Integer Lattice Hans Parshall Abstract In this paper we prove the existence of rotated corners within positive density subsets of the lattice [, N] for sufficiently large N. We further
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationOn the elliptic curve analogue of the sum-product problem
Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationGeneralized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv: v2 [math.
Generalized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv:0801.0728v2 [math.co] 31 Mar 2008 David Covert, Derrick Hart, Alex Iosevich, Doowon Koh, and Misha Rudnev
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationOn the parity of k-th powers modulo p
On the parity of k-th powers modulo p Jennifer Paulhus Kansas State University paulhus@math.ksu.edu www.math.ksu.edu/ paulhus This is joint work with Todd Cochrane and Chris Pinner of Kansas State University
More informationOn the missing values of n! mod p
On the missing values of n! mod p Kevin A. Broughan and A. Ross Barnett University of Waikato, Hamilton, New Zealand Version: 15th Jan 2009 E-mail: kab@waikato.ac.nz, arbus@math.waikato.ac.nz We show that
More informationA PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO Introduction
A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO 1 ERNIE CROOT NEIL LYALL ALEX RICE Abstract. Using purely combinatorial means we obtain results on simultaneous Diophantine
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang. 0 Introduction
Geom. Funct. Anal. Vol. 9 2009 00 06 DOI 0.007/s00039-009-003-5 Published online November 2, 2009 2009 The Authors GAFA Geometric And Functional Analysis This article is published with open access at Springerlink.com
More informationA Few Elementary Properties of Polynomials. Adeel Khan June 21, 2006
A Few Elementary Properties of Polynomials Adeel Khan June 21, 2006 Page i CONTENTS Contents 1 Introduction 1 2 Vieta s Formulas 2 3 Tools for Finding the Roots of a Polynomial 4 4 Transforming Polynomials
More informationOn a Generalization of the Coin Exchange Problem for Three Variables
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 9 (006), Article 06.4.6 On a Generalization of the Coin Exchange Problem for Three Variables Amitabha Tripathi Department of Mathematics Indian Institute
More informationArithmetic progressions in multiplicative groups of finite fields
arxiv:1608.05449v2 [math.nt] 17 Nov 2016 Arithmetic progressions in multiplicative groups of finite fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract
More informationA strongly polynomial algorithm for linear systems having a binary solution
A strongly polynomial algorithm for linear systems having a binary solution Sergei Chubanov Institute of Information Systems at the University of Siegen, Germany e-mail: sergei.chubanov@uni-siegen.de 7th
More informationA necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees
A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of
More informationResearch Problems in Arithmetic Combinatorics
Research Problems in Arithmetic Combinatorics Ernie Croot July 13, 2006 1. (related to a quesiton of J. Bourgain) Classify all polynomials f(x, y) Z[x, y] which have the following property: There exists
More informationAN ADDITIVE PROBLEM IN FINITE FIELDS WITH POWERS OF ELEMENTS OF LARGE MULTIPLICATIVE ORDER
AN ADDITIVE PROBLEM IN FINITE FIELDS WITH POWERS OF ELEMENTS OF LARGE MULTIPLICATIVE ORDER JAVIER CILLERUELO AND ANA ZUMALACÁRREGUI Abstract. For a given finite field F q, we study sufficient conditions
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationHigher-order Fourier analysis of F n p and the complexity of systems of linear forms
Higher-order Fourier analysis of F n p and the complexity of systems of linear forms Hamed Hatami School of Computer Science, McGill University, Montréal, Canada hatami@cs.mcgill.ca Shachar Lovett School
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationPseudorandom Sequences II: Exponential Sums and Uniform Distribution
Pseudorandom Sequences II: Exponential Sums and Uniform Distribution Arne Winterhof Austrian Academy of Sciences Johann Radon Institute for Computational and Applied Mathematics Linz Carleton University
More informationOn squares in Lucas sequences
On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The
More informationARITHMETIC PROGRESSIONS IN SPARSE SUMSETS. Dedicated to Ron Graham on the occasion of his 70 th birthday
ARITHMETIC PROGRESSIONS IN SPARSE SUMSETS Dedicated to Ron Graham on the occasion of his 70 th birthday Ernie Croot 1 School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 Imre Ruzsa
More information(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics
(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics Robert L. Benedetto Amherst College Special Session on The Interface Between Number Theory and Dynamical Systems AMS Spring Sectional
More informationSubset sums modulo a prime
ACTA ARITHMETICA 131.4 (2008) Subset sums modulo a prime by Hoi H. Nguyen, Endre Szemerédi and Van H. Vu (Piscataway, NJ) 1. Introduction. Let G be an additive group and A be a subset of G. We denote by
More informationCONVOLUTION OF DISCRETE MEASURES ON LINEAR GROUPS
CONVOLUTION OF DISCRETE MEASURES ON LINEAR GROUPS 1 Mei-Chu Chang Abstract Let p, q R such that 1 < p < 2 and 2 p = 1 + 1 q. Define ( ) 1/p f p = max f(xy) p (*) x,g 1 y G 1 where G 1 is taken in some
More informationThe Erdős-Szemerédi problem on sum set and product set
Annals of Mathematics, 157 (003), 939 957 The Erdős-Szemerédi problem on sum set and product set By Mei-Chu Chang* Summary The basic theme of this paper is the fact that if A is a finite set of integers,
More informationCullen Numbers in Binary Recurrent Sequences
Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn
More informationINFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction
INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO DONGHO BYEON AND KEUNYOUNG JEONG Abstract. In this note, we construct an infinite family of elliptic curves E defined over Q whose Mordell-Weil group
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More informationPrime Divisors of Palindromes
Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
More informationA LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction
A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES Y. O. HAMIDOUNE AND J. RUÉ Abstract. Let A be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
More informationPACKING POLYNOMIALS ON SECTORS OF R 2. Caitlin Stanton Department of Mathematics, Stanford University, California
#A67 INTEGERS 14 (014) PACKING POLYNOMIALS ON SECTORS OF R Caitlin Stanton Department of Mathematics, Stanford University, California ckstanton@stanford.edu Received: 10/7/13, Revised: 6/5/14, Accepted:
More informationLong Arithmetic Progressions in A + A + A with A a Prime Subset 1. Zhen Cui, Hongze Li and Boqing Xue 2
Long Arithmetic Progressions in A + A + A with A a Prime Subset 1 Zhen Cui, Hongze Li and Boqing Xue 2 Abstract If A is a dense subset of the integers, then A + A + A contains long arithmetic progressions.
More informationSOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM
Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,
More informationRoth s theorem on 3-arithmetic progressions. CIMPA Research school Shillong 2013
Roth s theorem on 3-arithmetic progressions CIPA Research school Shillong 2013 Anne de Roton Institut Elie Cartan Université de Lorraine France 2 1. Introduction. In 1953, K. Roth [6] proved the following
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More information+ 1 3 x2 2x x3 + 3x 2 + 0x x x2 2x + 3 4
Math 4030-001/Foundations of Algebra/Fall 2017 Polynomials at the Foundations: Rational Coefficients The rational numbers are our first field, meaning that all the laws of arithmetic hold, every number
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationActa Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24
Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24 PRIMITIVE DIVISORS OF LUCAS SEQUENCES AND PRIME FACTORS OF x 2 + 1 AND x 4 + 1 Florian Luca (Michoacán, México) Abstract. In this
More informationNEIL LYALL A N. log log N
SÁRKÖZY S THEOREM NEIL LYALL. Introduction The purpose of this expository note is to give a self contained proof (modulo the Weyl ineuality) of the following result, due independently to Sárközy [5] and
More informationSome examples of two-dimensional regular rings
Bull. Math. Soc. Sci. Math. Roumanie Tome 57(105) No. 3, 2014, 271 277 Some examples of two-dimensional regular rings by 1 Tiberiu Dumitrescu and 2 Cristodor Ionescu Abstract Let B be a ring and A = B[X,
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationRoots of Polynomials in Subgroups of F p and Applications to Congruences
Roots of Polynomials in Subgroups of F p and Applications to Congruences Enrico Bombieri, Jean Bourgain, Sergei Konyagin IAS, Princeton, IAS Princeton, Moscow State University The decimation problem Let
More informationNOTES ON ZHANG S PRIME GAPS PAPER
NOTES ON ZHANG S PRIME GAPS PAPER TERENCE TAO. Zhang s results For any natural number H, let P (H) denote the assertion that there are infinitely many pairs of distinct primes p, q with p q H; thus for
More informationSUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P
SUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P TODD COCHRANE AND CHRISTOPHER PINNER Abstract. Let γ(k, p) denote Waring s number (mod p) and δ(k, p) denote the ± Waring s number (mod p). We use
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationGROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define
GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a
More informationComplex numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationON THE DIOPHANTINE FROBENIUS PROBLEM
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE DIOPHANTINE FROBENIUS PROBLEM Y.O. Hamidoune Abstract: Let X N be a finite subset such that gcdx = 1. The Frobenius number of X denoted by GX is the
More informationJ. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE
J. Combin. Theory Ser. A 116(2009), no. 8, 1374 1381. A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE Hao Pan and Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationPRODUCT THEOREMS IN SL 2 AND SL 3
PRODUCT THEOREMS IN SL 2 AND SL 3 1 Mei-Chu Chang Abstract We study product theorems for matrix spaces. In particular, we prove the following theorems. Theorem 1. For all ε >, there is δ > such that if
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationA NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS
A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS MANFRED G. MADRITSCH Abstract. We consider a generalization of normal numbers to matrix number systems. In particular we show that the analogue of the
More informationAn Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2
1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics
More informationR. Popovych (Nat. Univ. Lviv Polytechnic )
UDC 512.624 R. Popovych (Nat. Univ. Lviv Polytechnic ) SHARPENING OF THE EXPLICIT LOWER BOUNDS ON THE ORDER OF ELEMENTS IN FINITE FIELD EXTENSIONS BASED ON CYCLOTOMIC POLYNOMIALS ПІДСИЛЕННЯ ЯВНИХ НИЖНІХ
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationOn a Diophantine Equation 1
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 2, 73-81 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.728 On a Diophantine Equation 1 Xin Zhang Department
More informationSum and shifted-product subsets of product-sets over finite rings
Sum and shifted-product subsets of product-sets over finite rings Le Anh Vinh University of Education Vietnam National University, Hanoi vinhla@vnu.edu.vn Submitted: Jan 6, 2012; Accepted: May 25, 2012;
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationDistinct distances between points and lines in F 2 q
Distinct distances between points and lines in F 2 q Thang Pham Nguyen Duy Phuong Nguyen Minh Sang Claudiu Valculescu Le Anh Vinh Abstract In this paper we give a result on the number of distinct distances
More informationReading Mathematical Expressions & Arithmetic Operations Expression Reads Note
Math 001 - Term 171 Reading Mathematical Expressions & Arithmetic Operations Expression Reads Note x A x belongs to A,x is in A Between an element and a set. A B A is a subset of B Between two sets. φ
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationarxiv: v1 [math.co] 7 Jul 2014
Sum-ratio estimates over arbitrary finite fields Oliver Roche-Newton arxiv:1407.1654v1 [math.co] 7 Jul 2014 July 11, 2018 Abstract The aim of this note is to record a proof that the estimate max{ A+A,
More informationTHE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER
THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER ROBERT S COULTER Abstract Planar functions were introduced by Dembowski and Ostrom in [3] to describe affine planes possessing collineation
More information