1. Trang chủ
  2. » Thể loại khác

On the volume set of boxes in vector spaces over finite fields

12 156 1

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 12
Dung lượng 159,35 KB

Nội dung

On the volume set of boxes in vector spaces over finite fields tài liệu, giáo án, bài giảng , luận văn, luận án, đồ án,...

On the Volume Set of Boxes in Vector Spaces Over Finite Fields D O D UY H IEU & L E A NH V INH A BSTRACT Let Fq be a finite field of q elements We show that if A ⊂ Fq of cardinality |A| ≳ q1/2 , then |A|2 |(A − A) · (A − A) · · (A − A)| ≳ q, 1/2n−1 q , where the product is taken n times We also obtain similar results in the setting of finite cyclic rings I NTRODUCTION The classical Erd˝os distance problem asks for the minimal number of distinct distances determined by a finite point set in Rn , n ≥ This problem in the Euclidean plane has recently been solved by Guth and Katz ([6]), who show that a set of N points in R2 has at least cN/ log N distinct distances (For the latest developments on the Erd˝os distance problem in higher dimensions, see [10, 13] and the references contained therein.) Throughout the paper, q = pr (r ≥ 1) where p is a sufficiently large prime and r is a fixed constant so that some minor technical problems can be overcome Here and throughout, the notation X ≲ Y means that there exists a constant C > that is independent of X and Y , such that X ≤ CY Let Fq denote a finite field with q elements For E ⊂ Fnq (n ≥ 2), the finite analogue of the classical Erd˝os distance problem is to determine the smallest possible cardinality of the set ∆Fq (E) = { x − y = (x1 − y1 )2 + · · · + (xn − yn )2 : x, y ∈ E} ⊂ Fq The first non-trivial result on the Erd˝os distance problem in vector spaces over finite fields is due to Bourgain, Katz, and Tao ([3]), who showed that if q is a 2125 Indiana University Mathematics Journal c , Vol 65, No (2016) 2126 D O D UY H IEU & L E A NH V INH prime, q ≡ (mod 4), then for every ε > and E ⊂ F2q with |E| ≤ Cε q2−ε , there exists δ > such that |∆Fq (E)| ≥ Cδ |E|1/2+δ for some constants Cε , Cδ Iosevich and Rudnev ([9]) used Fourier analytic methods to show that there are absolute constants c1 , c2 > such that, for any odd prime power q and any set E ⊂ Fdq of cardinality |E| ≥ c1 qn/2 , we have (1.1) |∆Fq (E)| ≥ c2 min{q, q(n−1)/2 |E|} Iosevich and Rudnev ([9]) reformulated the question in analogy with the Falconer distance problem: how large does E ⊂ Fnq , n ≥ 2, need to be to ensure that ∆Fq (E) contains a positive proportion of the elements of Fq ? The above bound meets with Falconer’s result in the Euclidean setting: that for a set E with Hausdorff dimension greater than (n + 1)/2 the distance set is of positive measure (For current results of this problem, see [4, 15] and the references contained therein.) In [5], Covert, Iosevich, and Pakianathan extended (1.1) to the setting of finite cyclic rings Zq = Z/qZ (q = pr , p is a sufficiently large prime) Here, the distance set of E ⊂ Zdq is defined similarly by ∆Zq (E) = { x − y = (x1 − y1 )2 + · · · + (xn − yn )2 : x, y ∈ E} ⊂ Zq In [5], Covert, Iosevich, and Pakianathan obtained a nearly sharp bound for the distance problem in Zdq More precisely, they proved that if E ⊂ Znq of cardinality |E| ≳ r (r + 1)q(2r −1)n/(2r )+1/(2r ) , then Z× q ⊂ ∆Zq (E) In [17], the second listed author extended this result using graph-theoretic methods, and showed, roughly speaking, that any sufficiently large subset E ⊂ Znq determines all possible non-degenerate k-simplices The main purpose of this paper is to study the analogue of the Erd˝os distance problem for the volume set of boxes in finite vector spaces (see also [11] for the analogue problem over the real numbers) In [8], Hart, Iosevich, and Solymosi obtained the following result Theorem 1.1 ([8, Theorem 1.4]) Let A ⊆ Fq , a finite field with q elements Suppose that |A| ≥ Cq1/2+1/(2n) with a sufficiently large absolute constant C Then, (A − A) · (A − A) · · (A − A) = Fq , where the product is taken n times Denote Vn (A) = (A − A) · (A − A) · · (A − A), where the product is taken n times Balog ([2]) obtained the following results On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2127 k Theorem 1.2 ([2, Theorem 1.1]) Let A ⊆ Fq with |A| ≥ q1/2+1/2 , where k > We have V2k+1 (A) = Fq Corollary 1.3 ([2, Corollary 1]) Let A ⊆ Fq with |A| > q1/2 We have k |Vk (A)| ≥ q1−1/2 Using the graph theoretic method and Corollary 1.3, we obtain the following theorem Theorem 1.4 Let A ⊆ Fq of cardinality |A| ≳ q1/2 We have |A|2 |Vn (A)| ≳ q, 1/2n−1 q n Specifically, Theorem 1.4 implies that if A ⊆ Fq of cardinality |A| ≳ q1/2+1/2 , then |Vn (A)| ≳ q Similarly, we also prove the following result over finite rings Theorem 1.5 Let A ⊆ Zq such that |A| ≳ q1−1/(2r ) ; then, |Vn (A)| ≳ p r , |A|2 n−1 r p r −1+1/2 Using the graph-theoretic method and Theorem 1.4, we obtain the following improvement of Theorem 1.2 k−1 Theorem 1.6 Let A ⊆ Fq with |A| ≳ q1/2+1/(3·2 ) , where k > We have V2k+1 (A) = Fq Similarly, we also prove the following result over finite rings Theorem 1.7 Let A ⊆ Zq , a finite ring with q elements Suppose that k−1 |A| ≳ 2r q1−1/(2r )+1/(3r ·2 ) ; then, Z×q ⊆ V2k+1 (A) Note that the study of dot-products has a flavor of sum-product theory For related results of this problem, see [7, 14] and the references contained therein S OME L EMMAS In this section, we follow closely [2, Section 2] to extend several sum-product type results to the setting of cyclic rings Let Zq = Z/qZ (q = pr , r is a sufficiently large prime) be a finite cyclic ring of order q Denote Z×q the set of units of Zq and Z0q = Zq \ Z× q Lemma 2.1 Let A, B ⊆ Zq with |A| |B| > q2−1/r We have Z× q ⊆ A−A (B − B) \ Z0q 2128 D O D UY H IEU & L E A NH V INH Proof For any x ∈ Z×q , consider the set A − xB ⊆ Zq Since |A − xB| < p r < |A| |B| , p r −1 ❐ there exist pr −1 different pairs (a1 , b1 ), (a2 , b2 ), , (apr −1 , bpr −1 ) such that − xbi = aj − xbj , or x(bi − bj ) = − aj If = aj , then bi = bj , so aj = aj with i = j Let M = {a1 , a2 , , apr −1 } Since |M − M| > |M| = pr −1 , there are , aj such that − aj ∈ Z×q , or x = (bi − bj )/(ai − aj ) Now, we recall an important tool in additive combinatorics, namely, Ruzsa’s triangle inequality ([12]) Lemma 2.2 Let U, V , W be finite subsets of an arbitrary group G We have |UV −1 | |W | ≤ |UW | |V W | From Lemmas 2.1 and 2.2 we prove the following result over finite rings n Lemma 2.3 Let A ⊆ Zq with |A| ≥ q1−1/(2r ) We have |Vn (A)| ≥ q1−1/(r ) Proof Inserting U = V = (A−A)\Z0q , W = V n , and G = Zq into Lemma 2.2, it follows from Lemma 2.1 that if |A| > pr −1/2 , then |UV −1 | ≥ pr − pr −1 Therefore, and by induction we get (p r − p r −1 )|V n | ≤ |V n+1 |2 , n −1 (p r − p r −1 )2 n |V | ≤ |V n+1 |2 n |Vn (A)| ≥ |V n | ≥ cq1−1/(r ) ❐ Finally, using the trivial bounds |V | = |(A − A) \ Z0q | > pr −1/2 − pr −1 , we have P RODUCT-S UM G RAPHS For a graph G, let λ1 ≥ λ2 ≥ · · · ≥ λn be the eigenvalues of its adjacency matrix The quantity λ(G) = max{λ2 , −λn } is called the second eigenvalue of G A graph G = (V , E) is called an (n, d, λ)-graph if it is d-regular, has n vertices, and the second eigenvalue of G is at most λ It is well known ([1, Chapter 9]) that if λ is much smaller than the degree d, then G has certain random-like properties More precisely, we have the following lemma Lemma 3.1 ([1, Corollary 9.2.5]) Let G = (V , E) be an (n, d, λ)-graph For two (not necessarily) disjoint subsets of vertices U, W ⊂ V , let e(U, W ) be the number On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2129 of ordered pairs (u, w) such that u ∈ U , w ∈ W , and (u, w) is an edge of G Then, we have e(B, C) − d|B| |C| n ≤ λ |B| |C| For any δ ∈ F×q , the product-sum graph PSq (δ) is defined as follows The vertex set of the product graph PSq (δ) is the set F∗q × Fq Also, the two vertices a = (a1 , a2 ) and b = (b1 , b2 ) ∈ V (PSq (δ)) are connected by an edge, {a, b} ∈ E(PSq (λ)), if and only if a1 b1 (a2 + b2 ) = δ In [16], the second listed author proved a pseudo-randomness of the product graph PSq (δ) Note that, in the statement of [16, Theorem 3.6], all but the largest eigenvalue of the graph PSq (δ) are bounded by 3q However, looking carefully at the “error graph” E in the proof of that theorem, we can bound all but the largest eigenvalue of E by √ q As a consequence, we have a slight improvement of [16, Theorem 3.6] as follows Theorem 3.2 ([16, Theorem 3.6]) For any δ ∈ F×q , the graph PSq (δ) is a ((q − 1)q, q − 1, 2q )-graph In this paper, we will study an extension of the above theorem to the setting of finite cyclic rings Suppose that q = pr for a sufficiently large prime p For any δ ∈ Z×q , the product-sum graph PSRq (δ) is defined as follows The vertex set of the sum-product graph PSRq (δ) is the set V (PSRq (δ)) = Z×q × Zq Two vertices a = (a1 , a2 ) and b = (b1 , b2 ) ∈ V (PSRq (δ)) are connected by an edge in E(PSRq (δ)), if and only if a1 b1 (a2 + b2 ) = δ We have the following pseudo-randomness of the product-sum graph PSRq (δ) Theorem 3.3 For any δ ∈ Z×q , the product-sum graph PSRq (δ) is a (p 2r − p 2r −1 , p r − p r −1 , 2r p 2r −1 )-graph Proof It is easy to see that PSRq (δ) is a regular graph of order p2r − p2r −1 and valency pr − pr −1 We now compute the eigenvalues of this multigraph (i.e., graphs with loops) Thus, for any two distinct vertices a = (a1 , a2 ) and b = (b1 , b2 ) ∈ V (PSRq (δ)), we count the number of paths of length two from a to b More precisely, we count the number of solutions of the system (3.1) a1 x1 (a2 + x2 ) = δ, b1 x1 (b2 + x2 ) = δ, (x1 , x2 ) ∈ Z× p r × Zp r For each solution x1 ∈ Z×pr of the equation (3.2) x1 (a2 − b2 ) = δ δ − , a1 b1 there exists a unique x2 ∈ Zpr satisfying the system of equations (3.1) Therefore, we only need to count the number of solutions of equation (3.2) 2130 D O D UY H IEU & L E A NH V INH For any prime p, the p-adic valuation vp (n) of an nonzero integer n is the highest power of p that divides n Let α = vp (a2 − b2 ); then, clearly we have ≤ α ≤ r − (otherwise, α = r ; then, a2 = b2 and a1 = b1 ) If we have vp (δ/a1 − δ/b1 ) = α, then it is easy to see that equation 3.2 has no solution Suppose that vp (δ/a1 − δ/b1 ) = α Let γ = (δ/a1 − δ/b1 )/p α , β = (a2 − b2 )/p α ∈ Z× p r −α Then, there exists a unique solution x1 ∈ Zpr −α of βx1 = γ Putting this back in to equation (3.2) gives us pα solutions Hence, the system of equation (3.1) has p α solutions if vp (δ/a1 − δ/b1 ) = α, and no solution otherwise Therefore, suppose that we have any two distinct vertices a = (a1 , a2 ) and b = (b1 , b2 ) ∈ V (PSRq (δ)) Let also α = vp (a2 − b2 ); then, (a1 , a2 ) and (b1 , b2 ) have p α common neighbors if vp (δ/a1 − δ/b1 ) = α, and no common neighbor otherwise Let A be the adjacency matrix of PSRq (δ) It follows that (3.3) A2 = J + (p r − p r −1 − 1)I − r −1 Eα + α=0 r −1 (p α − 1)Fα , α=1 where we have the following: • J is the all-one matrix • I is the identity matrix • Eα is the adjacency matrix of the graph BE,α , where the vertex set of BE,α is Z×q × Zq Furthermore, for any two vertices U = (a, b) and V = (c, d) ∈ V (BE,α ), (U, V ) is an edge of BE,α if and only if α = vp (a2 − b2 ) = vp (δ/a1 − δ/b1 ) • Fα is the adjacency matrix of the graph BF,α , where the vertex set of BF,α is Z×q × Zq Furthermore, for any two vertices U = (a, b) and V = (c, d) ∈ V (BF,α ), (U, V ) is an edge of BF,α if and only if α = vp (a2 − b2 ) = vp (δ/a1 − δ/b1 ) For any α > 0, BE,α is a regular graph of order less than (p r −α − p r −α−1 )(p r − p r −α + p r −α−1 ), and BF,α is a regular graph of order less than (pr −α − pr −α−1 )2 Hence, all eigenvalues of Eα are at most (pr −α − pr −α−1 )(pr − pr −α + pr −α−1 ), and all eigenvalues of Fα are at most (pr −α − pr −α−1 )2 Note that E0 is a zero matrix Since PSRq (δ) is a (pr − pr −1 )-regular graph, pr − pr −1 is an eigenvalue of A with the all-one eigenvector The graph PSRq (δ) is connected; therefore, the eigenvalue pr − pr −1 has multiplicity one Since the graph PSRq (δ) contains (many) triangles, it is not bipartite Hence, |θ| < pr − pr −1 for any other eigenvalue θ Let v θ denote the corresponding eigenvector of θ Note that v θ ∈ 1⊥ , On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2131 so Jv θ =0 It follows from (3.3) that (θ − p r + p r −1 + 1)vθ = − r −1 α=0 Eα + r −1 (p α − 1)Fα vθ α=1 Hence, v θ is also an eigenvalue of − r −1 α=0 Eα + r −1 α=1 (p α − 1)Fα Since eigenvalues of the sum of the matrices are bounded by the sum of the largest eigenvalues of the summands, we have θ ≤ p r − p r −1 − + + r −1 α=1 r −1 (p r −α − p r −α−1 )(p r − p r −α + p r −α−1 ) α=0 (p α − 1)(p r −α − p r −α−1 )2 ❐ This implies that θ2 ≤ 2r p2r −1 , and the lemma follows P ROOF OF T HEOREM 1.4 AND T HEOREM 1.6 4.1 Proof of Theorem 1.4 As a consequence of Theorem 3.2, we have the following lemma Lemma 4.1 For any A ⊆ F×q , B, C ⊆ Fq with |B| > 1, we have |{a(b − c) : a ∈ A, b ∈ B, c ∈ C}| ≳ q, |A| |B| |C| q Proof Let D = {a(b − c) : a ∈ A, b ∈ B, c ∈ C} ∩ F×q , and let N be the number of solutions of equation ad(b − c) = 1, (a, b, c, d) ∈ A × B × C × D −1 It is clear that N = |A| |B| |C| − |A| |B ∩ C| Besides, N is the number of edges between two vertex sets A × B and D −1 × (−C) of the product-sum graph PSq From Lemma 3.1 and Theorem 3.2, we have |A| |B| |C| − |A| |B ∩ C| − |A| |B| |C| |D| q ≤ 2q|A| |B| |C| |D|, or equivalently, |A| |B| |C| − |A| |B ∩ C| ≤ |A| |B| |C| |D| + 2q|A| |B| |C| |D| q D O D UY H IEU & L E A NH V INH 2132 Let t = |D| ≥ 0; then, |A| |B| |C| t + 2q t − |A| |B| |C| + q |A| |B ∩ C| ≥ 0, |B| |C| which implies that |D| ≥ ≥ = − 2q + 2q + 4|A| |B| |C|/q − 4|A| |B ∩ C|/q |A| |B| |C|/q − 2q + 2q + |A| |B| |C|/q |A| |B| |C|/q 2−1 |A| |B| |C| 2q + 2q + |A| |B| |C|/q ≳ q, |A| |B| |C| q , ❐ where the third line follows from the fact that |B| |C| ≥ 2|C| > 43 |B ∩ C| This concludes the proof of the lemma We are now ready to give a proof of Theorem 1.4 Putting A = Vn−1 (A), B = C = A into Lemma 4.1, and using Corollary 1.3, we have |A|2 |Vn (A)| ≳ q, 1/2n−1 q , concluding the proof of the theorem 4.2 Proof of Theorem 1.6 We need the following lemma Lemma 4.2 Let A, B ⊆ F∗q and C, D ⊆ Fq , such that |A| |B| |C| |D| ≥ 2q3 We have AB(C − D) = Fq Proof Let Hδ = {(a, b, c, d) ∈ A × B × C × D : ab(c − d) = δ} for any δ ∈ F∗ q Then, |Hδ | is the number of edges between two vertex sets A × C and B × D of the product-sum graph PSq (δ) From Lemma 3.1 and Theorem 3.2, we have |Hδ | − |A| |B| |C| |D| q |Hδ | ≥ |A| |B| |C| |D| − 2q|A| |B| |C| |D| q ≤ 2q|A| |B| |C| |D|, or equivalently, ❐ Therefore, if |A| |B| |C| |D| > 2q3 , then |Hδ | > This implies AB(C −D) = Fq , and this completes the proof of Lemma 4.2 On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2133 We are now ready to give a proof of Theorem 1.6 Putting A = Vk (A), B = Vk (A), C = D = A into Lemma 4.2, and using Theorem 1.4, we have that if k−1 |A| ≥ cq1/2+1/(3·2 ) , then V2k+1 (A) = Fq , concluding the proof of the theorem P ROOF OF T HEOREM 1.5 AND T HEOREM 1.7 5.1 Proof of Theorem 1.5 Lemma 5.1 Let q = pr with p an odd prime and r ≥ an integer For any A, B, C ⊆ Zq such that |B| > 4|Z0q |/3, we have |a(b − c) : a ∈ A, b ∈ B, c ∈ C| ≳ p r , |A| |B| |C| 2r p2r −1 Proof Let D = {a(b − c) : a ∈ A, b ∈ B, c ∈ C} ∩ Z×q , and let N be the number of solutions of equation ad(b − c) = 1, (a, b, c, d) ∈ A × B × C × D −1 It is clear that N = |A| |B| |C| − |A| t∈Zq |B ∩ (C + t)| Moreover, N is the number of edges between two vertex sets A×B and D −1 ×(−C) of the product-sum graph PSRq (δ) From Lemma 3.1 and Theorem 3.3, we get |A| |B| |C| − |A| t∈Z0q |B ∩ (C + t)| − |A| |B| |C| |D| pr ≤ 2r p 2r −1 |A| |B| |C| |D|, or equivalently, |A| |B| |C| |D| + 2r p 2r −1 |D| pr − |A| |B| |C| + |A| |B| |C| t∈Z0q |B ∩ (C + t)| ≥ Let x = |D| ≥ 0; then, |A| |B| |C| x + 2r p 2r −1 x pr − |A| |B| |C| + |A| |B| |C| t∈Z0q |B ∩ (C + t)| ≥ 0, D O D UY H IEU & L E A NH V INH 2134 which implies that |D| ≥ − 2r p 2r −1 |A| |B| |C| p−r 2r p2r −1 + 4|A| |B| |C|p−r − 4|A| + ≥ = t∈Zq |B ∩ (C + t)|p −r |A| |B| |C| p−r − 2r p 2r −1 + 2r p 2r −1 + |A| |B| |C|p −r |A| |B| |C| p−r 2r p2r −1 2( ≳ pr , |A| |B| |C| + 2r p 2r −1 + |A| |B| |C| p −r ) |A| |B| |C| 2r p2r −1 , ❐ where the third line follows from the fact that |B| |C| > 4|Z0q | |C| ≥ 4|B ∩ C| This concludes the proof of the lemma We are now ready to give a proof of Theorem 1.5 Putting A = Vk (A), B = C = A into Lemma 5.1, and using Lemma 2.3, we have |Vn (A)| ≳ p r , |A|2 n−1 r p r −1+1/2 , concluding the proof of the theorem 5.2 Proof of Theorem 1.7 Similarly, we need the following lemma over finite cyclic rings Lemma 5.2 Let A, B ⊆ Z×q and C, D ⊆ Zq , such that |A| |B| |C| |D| ≥ 2r q4−1/r We have Z×q ⊆ AB(C − D) Proof Let Hδ = {(a, b, c, d) ∈ A × B × C × D : ab(c − d) = δ} for any δ ∈ Z× q Then, |Hδ | is the number of edges between two vertex sets A × C and B × D of the product-sum graph PSRq (δ) From Lemma 3.1 and Theorem 3.3, we have |Hδ | − |A| |B| |C| |D| pr ≤ 2r p 2r −1 |A| |B| |C| |D|, or equivalently, |Hδ | ≥ |A| |B| |C| |D| − 2r p 2r −1 |A| |B| |C| |D| pr On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2135 Therefore, if |A| |B| |C| |D| > 2r p4r −1 , then |Hδ | > This implies that and this completes the proof of Lemma 5.2 ❐ Z× q ⊆ AB(C − D), We are now ready to give a proof of Theorem 1.7 Putting A = Vk (A), B = Vk (A), C = D = A into Lemma 5.2, and using Theorem 1.5, we have Z× q ⊆ V2k+1 (A) √ k−1 if |A| ≥ c 2r q1−1/(2r )+1/(3r ·2 ) This concludes the proof of the theorem Acknowledgements This research was supported by Vietnam National University, Hanoi Project QGTD.13.02 R EFERENCES [1] N A LON and J H S PENCER, The Probabilistic Method, 2nd ed., Wiley-Interscience Series in Discrete Mathematics and Optimization, Wiley-Interscience [John Wiley & Sons], New York, 2000, With an appendix on the life and work of Paul Erd˝os http://dx.doi.org/10.1002/0471722154 MR1885388 [2] A B ALOG, Another sum-product estimate in finite fields, Proc Steklov Inst Math 280 (2013), no suppl 2, S23–S29 http://dx.doi.org/10.1134/S0081543813030024 MR3447576 [3] J B OURGAIN, N H K ATZ, and T TAO, A sum-product estimate in finite fields, and applications, Geom Funct Anal 14 (2004), no 1, 27–57 http://dx.doi.org/10.1007/s00039-004-0451-1 MR2053599 ˘ , D H ART, A I OSEVICH, and D KOH, Pinned distance sets, [4] J C HAPMAN, M B E RDO GAN k-simplices, Wolff ’s exponent in finite fields and sum-product estimates, Math Z 271 (2012), no 12, 63–93 http://dx.doi.org/10.1007/s00209-011-0852-4 MR2917133 [5] D C OVERT, A I OSEVICH, and J PAKIANATHAN, Geometric configurations in the ring of integers modulo pℓ , Indiana Univ Math J 61 (2012), no 5, 1949–1969 http://dx.doi.org/10.1512/iumj.2012.61.4751 MR3119606 [6] L G UTH and N H K ATZ, On the Erd˝os distinct distances problem in the plane, Ann of Math (2) 181 (2015), no 1, 155–190 http://dx.doi.org/10.4007/annals.2015.181.1.2 MR3272924 [7] A G RANVILLE and J S OLYMOSI, Sum-product formulae, Recent Trends in Combinatorics (A Beveridge, J.R Griggs, L Hogben, G Musiker, and P Tetali, eds.), The IMA Volumes in Mathematics and its Applications, vol 159, pp 419–451 [8] D H ART, A I OSEVICH, and J S OLYMOSI, Sum-product estimates in finite fields via Kloosterman sums, Int Math Res Not IMRN (2007), Art ID rnm007, 14 http://dx.doi.org/10.1093/imrn/rnm007 MR2341599 [9] A I OSEVICH and M RUDNEV, Erd˝os distance problem in vector spaces over finite fields, Trans Amer Math Soc 359 (2007), no 12, 6127–6142 (electronic) http://dx.doi.org/10.1090/S0002-9947-07-04265-1 MR2336319 [10] N H K ATZ and G TARDOS , A new entropy inequality for the Erd˝os distance problem, Towards a Theory of Geometric Graphs, Contemp Math., vol 342, Amer Math Soc., Providence, RI, 2004, pp 119–126 http://dx.doi.org/10.1090/conm/342/06136 MR2065258 [11] O ROCHE -N EWTON and M RUDNEV, On the Minkowski distances and products of sum sets, Israel J Math 209 (2015), no 2, 507–526 http://dx.doi.org/10.1007/s11856-015-1227-z MR3430250 2136 D O D UY H IEU & L E A NH V INH [12] I Z RUZSA , On the cardinality of A + A and A − A, Combinatorics (Proc Fifth Hungarian Colloq., 1976), Colloq Math Soc J´anos Bolyai, vol 18, North-Holland, Amsterdam-New York, 1978, pp 933–938 MR519317 [13] J S OLYMOSI and V H V U, Near optimal bounds for the Erd˝os distinct distances problem in high dimensions, Combinatorica 28 (2008), no 1, 113–125 http://dx.doi.org/10.1007/s00493-008-2099-1 MR2399013 [14] L A V INH, The Szemer´edi-Trotter type theorem and the sum-product estimate in finite fields, European J Combin 32 (2011), no 8, 1177–1181 http://dx.doi.org/10.1016/j.ejc.2011.06.008 MR2838005 [15] , The sovability of norm, bilinear and quadratic equations over finite fields via spectra of graphs, Forum Math 26 (2014), no 1, 141–175 http://dx.doi.org/10.1515/form.2011.155 MR3176627 [16] , Graphs generated by Sidon sets and algebraic equations over finite fields, J Combin Theory Ser B 103 (2013), no 6, 651–657 http://dx.doi.org/10.1016/j.jctb.2013.07.003 MR3127585 [17] , Product graphs, sum-product graphs and sum-product estimates over finite rings, Forum Math 27 (2015), no 3, 1639–1655 http://dx.doi.org/10.1515/forum-2012-0177 MR3341490 D O D UY H IEU : Institute of Mathematics Vietnam Academy of Science and Technology E- MAIL: ddhieu@math.ac.vn L E A NH V INH : University of Education Vietnam National University Hanoi E- MAIL: vinhla@vnu.edu.vn K EY WORDS AND PHRASES : Volume set, finite fields, sum-product estimates 2010 M ATHEMATICS S UBJECT C LASSIFICATION: 68R05, 11B75 Received: November 18, 2014 ... completes the proof of Lemma 4.2 On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2133 We are now ready to give a proof of Theorem 1.6 Putting A = Vk (A), B = Vk (A), C = D = A into... For two (not necessarily) disjoint subsets of vertices U, W ⊂ V , let e(U, W ) be the number On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2129 of ordered pairs (u, w) such that... |C| |D| pr On the Volume Set of Boxes in Vector Spaces Over Finite Fields 2135 Therefore, if |A| |B| |C| |D| > 2r p4r −1 , then |Hδ | > This implies that and this completes the proof of Lemma 5.2

Ngày đăng: 16/12/2017, 12:22

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN