Abstract
We obtain bounds on the number of triples that determine a given pair of dot products arising in a vector space over a finite field or a module over the set of integers modulo a power of a prime. More precisely, given \(E\subset \mathbb F_q^d\) or \(\mathbb Z_q^d\), we provide bounds on the size of the set
for units \(\alpha \) and \(\beta \).
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
For a subset of a ring, \(A \subset R\), the sumset and productset of A are defined as \(A +A =\{a + a' : a, a' \in A\}\) and \(A \cdot A = \{a \cdot a' : a, a' \in A\}\), respectively. The sum-product conjecture asserts that when \(A \subset \mathbb {Z}\), then either \(A+A\) or \(A \cdot A\) is of large cardinality. For example, if we take \(A \subset \mathbb {Z}\) to be a finite arithmetic progression of length n, you achieve \(|A+A| = 2n - 1\), whereas \(|A \cdot A| \ge c n^2/((\log n)^{\delta } \cdot (\log \log n)^{3/2})\) for some constant \(c > 0\) and \(\delta = 0.08607 \ldots \) [7]. When \(A \subset \mathbb {Z}\) is a geometric progression of length n, we have \(|A\cdot A| = 2n - 1\), and yet it is easy to show that \(|A + A| = {n+1 \atopwithdelims ()2}\). For subsets of integers, the following conjecture was made in [6].
Conjecture 1
Let \(A \subset \mathbb {Z}\) with \(|A| = n\). For every \(\epsilon > 0\), there exists a constant \(C_{\epsilon }>0\) so that
Much progress has been made on the sum-product problem. The best result to date belongs to Konyagin and Shkredov [11], wherein they demonstrated that for a sufficiently large constant C, we have the bound
for any \(c < \frac{5}{9813}\), whenever A is a set of real numbers with cardinality n. Work has also been done on analogues of the sum-product problem for general rings [12]. For example, the authors in [8] showed that if \(E \subset \mathbb {F}_q^d\) is of sufficiently large cardinality, then we have
for any \(\alpha \in \mathbb {F}_q^*\). Here, \(\mathbb {F}_q\) is the finite field with q elements, \(\mathbb {F}_q^d\) is the d-dimensional vector space over \(\mathbb {F}_q\), and \(\mathbb {F}_q^* = \mathbb {F}_q \setminus \{0\}\). As a corollary, they showed that \(|dA^2| := |A \cdot A + \cdots + A \cdot A| \supset \mathbb {F}_q^*\), whenever \(A \subset \mathbb {F}_q\) is such that \(|A| \ge q^{\frac{1}{2} + \frac{1}{2d}}\). Much work has also been done to give such results when E has relatively small cardinality. See, for example, [10] and the references contained therein.
In [3], the second listed author and Daniel Barker studied pairs of dot products determined by sets \(P \subset \mathbb {R}^2\). In addition to the applications toward the sum-product problem above, the problem of pairs of dot products has applications in coding theory, graph theory, and frame theory, among others [1, 2, 4]. The main results from [3] are as follows.
Theorem 1
Suppose that \(P \subset \mathbb {R}^2\) is a finite point set with cardinality \(|P| = n\). Then, the set
satisfies the upper bound \(|\varPi _{\alpha , \beta }(P)| \lesssim n^2\) whenever \(\alpha \) and \(\beta \) are fixed, nonzero real numbers.
Note 1
Here and throughout, we use the notation \(X \lesssim Y\) to mean that \(X \le cY\) for some constant \(c > 0\). Similarly, we use \(X \gtrsim Y\) for \(Y \lesssim X\), and we use \(X \approx Y\) if both \(X \lesssim Y\) and \(X \gtrsim Y\). Finally, we write \(X \gtrapprox Y\) if for all \(\epsilon > 0\), there exists a constant \(C_{\epsilon } > 0\) such that \(X \gtrapprox C_{\epsilon } q^{\epsilon } Y\).
Theorem 1 is sharp, as shown in an explicit construction [3]. Additionally, they showed the following:
Theorem 2
Suppose that \(P \subset [0,1]^2\) is a set of n points that obey the separation condition
Then, for \(\epsilon > 0\) and fixed \(\alpha , \beta \ne 0\), we have
The purpose of this article is to study finite field and finite ring analogues of the results from [3]. Our main results are as follows.
Theorem 3
Given a set, \(E \subset \mathbb F_q^2\) or \(\mathbb Z_q^d, |E| = n\), and fixed units \(\alpha , \beta \), we have the bound
In general, for a set of n points, \(E\subset \mathbb F_q^2\), one cannot expect to get an upper bound better than Theorem 3, as we will show via an explicit construction in Proposition 1. This proof and construction are similar to their analogues in [3]. However, if we view the separation condition from Theorem 2 as it relates to density (as is often the case for translating such results, such as in [9]), the previous proof techniques yield very little. It turns out that a discrepancy theoretic approach gives more information, as our second main result is for general subsets of \(\mathbb {F}_q^d\), for \(d\ge 2\), as opposed to just \(d=2\).
Theorem 4
Let \(d\ge 2\), \(E \subset \mathbb {F}_q^d\), and suppose that \(\alpha , \beta \in \mathbb {F}_q.\) Then, we have the bound
for \(|E| \gtrapprox q^{\frac{d+1}{2}}\) when \(\alpha , \beta \in \mathbb {F}_q^*\), and for \(|E| \gtrapprox q^{\frac{d+2}{2}}\) otherwise.
Note that Theorem 4 gives a quantitative version of Theorem 3 at least for sets \(E \subset \mathbb {F}_q^2\) in the range \(|E| \gtrapprox q^{3/2}\).
The proof of Theorem 4 relies on adapting the exponential sums found in the study of single dot products [8]. Since the results from [8] were extended to general rings \(\mathbb {Z}_q^d\) in [5], Theorem 4 also easily extends to rings. Here and throughout, \(\mathbb {Z}_q\) denotes the set of integers modulo q, \(\mathbb {Z}_q^{\times }\) is the set of units in \(\mathbb {Z}_q\), and \(\mathbb {Z}_q^d = \mathbb {Z}_q \times \cdots \times \mathbb {Z}_q\) is the d-rank free module over \(\mathbb {Z}_q\). For \(E \subset \mathbb {Z}_q^d\), we define \(\varPi _{\alpha , \beta }(E)\) exactly as before.
Theorem 5
Suppose that \(E \subset \mathbb {Z}_q^d\), where \(q = p^{\ell }\) is the power of a prime \(p \ge 3\). Then for units \(\alpha , \beta \in \mathbb {Z}_q^{\times }\), we have
whenever \(|E| \gtrapprox q^{\frac{d(2 \ell - 1)}{2 \ell } + \frac{1}{2 \ell }}\). In particular,
for sets \(E \subset \mathbb {Z}_q^2\) of sufficiently large cardinality.
Remark 1
Notice that the proofs of Theorems 4 and 5 provide both a lower and upper bounds on the cardinality of \(\varPi _{\alpha , \beta }(E)\), though we could achieve the upper bound \(|\varPi _{\alpha , \beta }(E)| \lesssim q^{-2} |E|^3\) if we relaxed the condition \(|E| \gtrapprox q^{\frac{d+1}{2}}\) to simply \(|E| \gtrsim q^{\frac{d+1}{2}}\), for example.
2 Explicit Constructions
2.1 Sharpness of Theorem 3
We construct explicit sharpness examples for \(\mathbb F_q^2\). The same constructions can be modified to yield sharpness in \(\mathbb Z_q^2\) as well.
Proposition 1
Given a natural number \(n\lesssim q\) and elements \(\alpha ,\beta \in \mathbb F_q^*\), there is a set, \(E \subset \mathbb F_q^2\) for which \(|E|=n\) and
Proof
Let u be the point with coordinates (1, 1). Now, distribute up to \(\left\lceil \frac{n-1}{2} \right\rceil \) points along the line \(y=\alpha -x\), and distribute the remaining up to \(\left\lfloor \frac{n-1}{2} \right\rfloor \) points along the line \(y=\beta -x\). If there are any points left over, put them anywhere not yet occupied.Footnote 1 Clearly, there are at least \(|E|^2\) pairs of points (b, c), where q is chosen from the first line and r is chosen from the second. Notice that u contributes a triple to \(\varPi _{\alpha ,\beta }(E)\) for each such pair, giving us
2.2 The Special Case \(\alpha =\beta =0, D = 2\)
Proposition 2
There exists a set \(E \subset \mathbb {F}_q^2\) of cardinality \(|E| = n<2q\) for which
Proof
Select \(\left\lceil \frac{n}{2}\right\rceil \) points with zero x-coordinate, and \(\left\lfloor \frac{n}{2}\right\rfloor \) points with zero y-coordinate. Now, for each of the points with zero x-coordinate, there are about \(\left( \frac{n}{2}\right) \left( \frac{n}{2}\right) \) pairs of points with zero y-coordinate. Notice that any point chosen with zero x-coordinate will have dot product zero with each point from the pair chosen with zero y-coordinate. Therefore, each of these \(\frac{1}{8}n^3\) triples will contribute to \(\varPi _{0,0}(E)\).
We can get just as many triples that contribute to \(\varPi _{0,0}(E)\) by taking single points with zero y-coordinate and pairs of points with zero x-coordinate. In total, we get
3 Proofs of Main Results
3.1 Proof of Theorem 3
This proof is a modified version of the proof of Theorem 1 in [3], to which we refer to the reader for a more detailed exposition.
Proof
We will simultaneously prove this for \(E\subset \mathbb F_q^2\) and \(E \subset \mathbb Z_q^2.\) Here, we will use \(R_q\) to denote either \(\mathbb F_q\) or \(\mathbb Z_q\), and we will be more specific when necessary.
Our basic idea is to consider pairs of points \((v,w) \in E \times E\) and obtain a bound on the number of possible candidates for u to contribute a triple of the form (u, v, w) to \(\varPi _{\alpha ,\beta }(E)\). Consider \(a = (a_x, a_y) \in R_q^2\), and notice that for a point \(v\in E\), the set of points \(L_\alpha (v)\) that determine the dot product \(\alpha \) with v forms a line.
Also, v lies on a unique line containing the origin. We similarly define \(L_\beta (v).\) Now, consider a second point \(w\in E\). It is easy to see that if \(|L_\alpha (v)\cap L_\beta (w)|> 1\), then v and w lie on the same line through the origin which implies that if v and w are on different lines through the origin, then \(|L_\alpha (v)\cap L_\beta (w)|\le 1\). We will use this dichotomy to decompose \(E\times E\) into two sets:
Given \((v,w) \in A\), the pair can only be the last pair of at most one triple in \(\varPi (E)\). This is of course only if \(L_\alpha (v)\cap L_\beta (w)\) is a point in E. As there are no more than \(|E|^2\) choices for pairs \((v,w)\in A,\) the contribution to \(\varPi (E)\) by point pairs in A is at most \(|E|^2\)
The analysis on the set of pairs in B is a bit more delicate. Consider an arbitrary pair, \((v,w)\in B\). Without loss of generality (possibly exchanging v with w or \(\alpha \) with \(\beta \)) suppose \(|L_\alpha (v)\cap L_\beta (w)|>1.\) Then, we get that
Namely, there will be more than one point with coordinates \((x,y)\in R_q^2\) satisfying
Note that \(\beta \) is a unit, and hence the quantity \(\alpha /\beta \) is well defined. This restriction tells us that if \(|L_\alpha (v)\cap L_\beta (w)|>1\), then \(|L_\alpha (v)\cap L_\beta (w')|=0\), for any \(w'\ne w\). This should not be surprising for if \(\alpha =\beta \), then \(L_\alpha (v)=L_\beta (w)\) forces \(v=w\).
We pause for a moment to introduce an equivalence relation, say \(\sim \), on the set of lines. Two lines \(L_\alpha (v)\) and \(L_\beta (w)\) are equivalent under \(\sim \) if one can be translated to become a (possibly improper) subset of the other. It is clear that if \(|L_\alpha (v)\cap L_\beta (w)|>1\), then \(L_\alpha (v) \sim L_\beta (w)\). The equivalence classes of \(\sim \) keep track of the different “directions” that lines can have. So we can easily see that \(L_\alpha (v)\sim L_\beta (v)\). Take note that if \(R_q=\mathbb Z_q\), it is possible for two distinct lines to intersect in more than one point.
If \(|L_\alpha (v)\cap L_\beta (w)|>1\), then the pair (v, w) have no more than \(\min \{|L_\alpha (v)|,\) \(|L_\beta (w)|\}\) possible choices for u to contribute a triple of the form (u, v, w) to \(\varPi _{\alpha ,\beta }(E)\). Now, we see that any other pair of points, say \((v',w')\), with \(|L_\alpha (v')\cap L_\beta (w')|>1\) and with \(L_\alpha (v) \sim L_\alpha (v')\), will have \(L_\alpha (v)\cap L_\alpha (v')=\emptyset ,\) and \(L_\beta (w) \sim L_\beta (w')\), will have \(L_\beta (w)\cap L_\beta (w')=\emptyset .\) So any point u that contributes to a triple of the form \((u,v,w)\in \varPi _{\alpha ,\beta }(E)\) can only contribute to a triple with a single pair (v, w) when \(L_\alpha (v) \sim L_\beta (w)\).
Therefore, given any single equivalence class of \(\sim \), there can be no more than |E| choices for u to contribute a triple of the form (u, v, w) to \(\varPi _{\alpha ,\beta }(E)\) with \((v,w)\in B.\) As there are no more than |E| possible choices for equivalence classes of \(L_\alpha (v)\) (as each point has only one associated equivalence class of \(\sim \)), there are no more than \(|E|^2\) triples of the form \((u,v,w) \in \varPi _{\alpha ,\beta }(E)\) with \((v,w)\in B.\)
3.2 Proof of Theorem 4
Proof
Let \(\chi \) denote the canonical additive character of \(\mathbb {F}_q\). By orthogonality, we have
where I is the term with \(s=t=0\), II is the term with exactly one of s or t equal to zero, and III is the term with s and t both nonzero. Clearly
For the second and third sums, we need the following known results.
Lemma 1
[8] For any set \(E \subset \mathbb {F}_q^d\), we have the bound
where \(\lambda (\gamma ) = 1\) for \(\gamma \in \mathbb {F}_q^*\) and \(\lambda (0) = \sqrt{q}\). Furthermore, we have
Note that the quantities in the above Lemma can be shown to be real numbers, so there is no need for absolute values. Now, separating the II term into two sums, each with exactly one of s or t zero,
From (3), it follows that \(|II| \le |E|^2q^{\frac{d-3}{2}}(\lambda (\alpha ) +\lambda (\beta ))\). Finally, by the triangle-inequality, dominating a nonnegative sum over \(x\in E\) by the same nonnegative sum over \(x\in \mathbb F_q^d\), and applying Cauchy–Schwarz, we have
Now,
by (4). Similarly, we have \(III_{\beta } \le \sqrt{ q^{d+1}|E|} \lambda (\beta )\). Combining these estimates yields
This completes the proof as we have
where
3.3 Proof of Theorem 5
The proof will imitate that of Theorem 4, so we omit some of the details. Let \(\chi (\sigma ) = \exp (2 \pi i \sigma / q)\) be the canonical additive character of \(\mathbb {Z}_q\), and identify E with its characteristic function. We use the following known bounds for dot-product sets in \(\mathbb {Z}_q^d\).
Lemma 2
[5] Suppose that \(E \subset \mathbb {Z}_q^d\), where \(q = p^{\ell }\) is the power of an odd prime. Suppose that \(\gamma \in \mathbb {F}_q^{\times }\) is a unit. Then, we have the following upper bounds.
and
Note 2
The authors in [5] actually gave a slightly different bound than those in Lemma 2. For example in (5), they showed
However, summing the geometric series removes the factor of \(\ell \) in the estimate. Likewise, a factor of \(\ell \) can be removed from the estimate in (6).
We proceed as before. Write
where
and
Applying Lemma 2, we see that
while
where in the last line, we reason as in the proof of Theorem 4, except with Lemma 2 in place of Lemma 1. This completes the proof.
Notes
- 1.
This is just in the case that (1, 1) is on one of the lines or \(\alpha =\beta \).
References
J.A. Alvarez-Bermejo, J.A. Lopez-Ramos, J. Rosenthal, D. Schipani, Managing key multicasting through orthogonal systems. J. Discrete Math. Sci. Cryptogr
P. Bahls, Channel assignment on Cayley graphs. J. Graph Theory 67, 169–177 (2011), https://doi.org/10.1002/jgt.20523
D. Barker, S. Senger, Upper bounds on pairs of dot products. J. Comb. Math. Comb. Comput
J.J. Benedetto, M. Fickus, Finite normalized tight frames. Adv. Comput. Math. 18, 357–385 (2003)
D. Covert, A. Iosevich, J. Pakianathan, Geometric configurations in the ring of integers modulo \(p^{\ell }\). Indiana Univ. Math. J. 61, 1949–1969 (2012)
P. Erdős, E. Szemerédi, in On Sums and Products of Integers. Studies in Pure Mathematics (Birkhäuser, Basel, 1983), pp. 213–218
K. Ford, Integers with a divisor in an interval. Ann. Math. 168(2), 367–433 (2008)
D. Hart, A. Iosevich, D. Koh, M. Rudnev, Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdős-Falconer distance conjecture. Trans. Am. Math. Soc. 363(6), 3255–3275 (2011)
A. Iosevich, S. Senger, Orthogonal systems in vector spaces over finite fields. Electron. J. Comb. 15 (2008)
N.H. Katz, C.Y. Shen, A slight improvement to Garaev’s sum product estimate. Proc. Am. Math. Soc. 136(137), 2499–2504 (2008)
S.V. Konyagin, I.D. Shkredov, New results on sums and products in \(\mathbb{R}\). Proc. Steklov Inst. Math. 294, 78 (2016), https://doi.org/10.1134/S0081543816060055
T. Tao, The sum-product phenomenon in arbitrary rings. Contrib. Discrete Math. 4(2), 59–82 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Covert, D., Senger, S. (2017). Pairs of Dot Products in Finite Fields and Rings. In: Nathanson, M. (eds) Combinatorial and Additive Number Theory II. CANT CANT 2015 2016. Springer Proceedings in Mathematics & Statistics, vol 220. Springer, Cham. https://doi.org/10.1007/978-3-319-68032-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-68032-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68030-9
Online ISBN: 978-3-319-68032-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)