Abstract
A Diophantine m-tuple over a finite field \({\mathbb F}_q\) is a set \(\{a_1,\ldots , a_m\}\) of m distinct elements in \(\mathbb {F}_{q}^{*}\) such that \(a_{i}a_{j}+1\) is a square in \({\mathbb F}_q\) whenever \(i\ne j\). In this paper, we study M(q), the maximum size of a Diophantine tuple over \({\mathbb F}_q\), assuming the characteristic of \({\mathbb F}_q\) is fixed and \(q \rightarrow \infty \). By explicit constructions, we improve the lower bound on M(q). In particular, this improves a recent result of Dujella and Kazalicki by a multiplicative factor.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A set of m positive integers is a Diophantine m-tuple if the product of any two distinct elements in the set is one less than a square. The first known example of Diophantine 4-tuples is \(\{1,3,8,120\}\), due to Fermat. It had been conjectured that there is no Diophantine 5-tuple and the conjecture was recently proved to be true in the sequel of striking works by Dujella [5], and He et al. [9]. Diophantine m-tuples have been also generalized and studied in various algebraic domains, such as rational numbers, finite fields, and polynomial rings; see [2] for a comprehensive list of references.
In this paper, we focus on Diophantine tuples over finite fields. Throughout the paper, let p be an odd prime, q a power of p, \({\mathbb F}_q\) the finite field with q elements, and \({\mathbb F}_q^*={\mathbb F}_q \setminus \{0\}\). A Diophantine m-tuple over \({\mathbb F}_q\) is a set \(\{a_1,\ldots , a_m\}\) of m distinct elements in \(\mathbb {F}_{q}^{*}\) such that \(a_{i}a_{j}+1\) is a square in \({\mathbb F}_q\) (including 0) whenever \(i\ne j\). For a prime p, Diophantine tuples over \(\mathbb {F}_{p}\) were first formally introduced by Dujella and Kazalicki in [6] and were studied by using their connections to elliptic curves and their modularity. However, they have been implicitly studied at least two decades ago, see for example [3, 4, 7]. In the present paper, we focus on the case of a finite extension of \(\mathbb {F}_p\). Recently, a few papers [6, 8, 10, 13, 16] are devoted to Diophantine tuples and their generalizations over finite fields.
For each odd prime power q, let M(q) be the maximum size of a Diophantine tuple in \({\mathbb F}_q\). Estimating M(q) is the exact analog of estimating the maximum size of a Diophantine tuple over integers, and thus it is of special interest. When q is a square, we have \(M(q) \ge \sqrt{q}-1\) since \({\mathbb F}_{\sqrt{q}}^*\) is a Diophantine tuple in \({\mathbb F}_q\), and it is shown in [10, Proposition 1.3] that \(M(q)\le \sqrt{q}+\frac{5}{2}\) for all odd q. Thus, the value of M(q) is essentially determined when q is a square. On the other hand, it is not even clear what should be the right magnitude of M(q) when q is a non-square.
Dujella and Kazalicki in [6, Theorem 17] showed that \(M(p) \ge (1-o(1))\log _4 p\) as \(p \rightarrow \infty \), and that proof extends to all finite fields with odd characteristic. This lower bound follows from a standard application of Weil’s bound. It is not hard to show a slightly stronger statement, namely \((1-o(1))\log _4 q\) is a lower bound for any maximal Diophantine tuple A over \({\mathbb F}_q\) (maximal in the sense that A cannot be extended to be a Diophantine tuple with a larger size); see Proposition 2.3. Thus, it may not be optimal to use this uniform lower bound for the size of maximal Diophantine tuples to deduce a lower bound on M(q), and \((1-o(1))\log _4 q\) can be regarded as the trivial lower bound on M(q). However, improving this trivial lower bound is not easy. We conjecture that \(M(q)\ge (1-o(1))\log _2 q\) by assuming that the squares behave like a random set.
We focus on explicit constructions of large Diophantine tuples and in particular give an improved lower bound on M(q) for an infinite family of q. When p is fixed, and \(q=p^n \rightarrow \infty \), this improves the trivial lower bound \(\log _4 q\) by a constant factor.
Theorem 1.1
If \(q>7\) is a power of an odd prime p and \(q \equiv 1,5,7 \pmod 8\), then
In particular, if p is fixed and \(q \rightarrow \infty \), then
We refer to Remark 3.6 for a discussion on the case \(q \equiv 3 \pmod {8}\).
There is a straightforward way to construct a Diophantine tuple over \({\mathbb F}_p\) explicitly using the least quadratic non-residue modulo p. Indeed, if we use n(p) to denote the least quadratic non-residue modulo p, then \(M(p) \ge \sqrt{n(p)}+1\) since \(A=\{0,1,\ldots , \lfloor \sqrt{n(p)} \rfloor \}\) is a Diophantine tuple over \({\mathbb F}_p\). However, this construction does not lead to an improved lower bound on M(p). In fact, under the generalized Riemann hypothesis (GRH), Lamzouri et al. [11] showed that \(n(p)\le (\log p)^2\). On the other hand, the best known lower bound is \(n_p=\Omega (\log p \log \log p)\) under GRH, due to Montgomery [14]. Thus, this construction only yields that \(M(p)=\Omega (\sqrt{\log p \log \log p})\), which is worse than the trivial lower bound. Our construction is of a similar flavor, and we use a simple trick to convert products into sums to use the space of intervals more effectively so that the trivial lower bound on M(q) can be improved. The essential idea of our proof is related to the properties of cyclotomic polynomials, which partially explains the factor \(\frac{p}{p-1}\).
2 Preliminaries
In this section, we introduce two main tools of our construction: character sums and cyclotomic polynomials.
2.1 Weil’s bound and its consequences
We first recall Weil’s bound for complete character sums; see for example [12, Theorem 5.41].
Lemma 2.1
(Weil’s bound) Let \(\chi \) be a multiplicative character of \({\mathbb F}_q\) of order \(d>1\), and let \(g \in {\mathbb F}_q[x]\) be a monic polynomial of positive degree that is not an d-th power of a polynomial. Let n be the number of distinct roots of g in its splitting field over \({\mathbb F}_q\). Then for any \(a \in {\mathbb F}_q\),
The following lemma is a classical application of Weil’s bound for complete character sums; see for example [12, Exercise 5.66].
Lemma 2.2
Let \(d\ge 2\) be a positive integer. Let \(q\equiv 1\pmod {d}\) be a prime power. Let \(\chi \) be a multiplicative character of \({\mathbb F}_q\) with order d. Let \(a_1,a_2,\ldots , a_k\) be k distinct elements of \({\mathbb F}_q\), and let \(\epsilon _1,\ldots , \epsilon _k \in {\mathbb C}\) be d-th roots of unity. Let N denote the number of \(x \in {\mathbb F}_q\) such that \(\chi (x+a_i)=\epsilon _i\) for \(1 \le i \le k\). Then
In the following proposition, we give a lower bound on the size of maximal Diophantine tuples over \({\mathbb F}_q\).
Proposition 2.3
If A is a maximal Diophantine m-tuple over \({\mathbb F}_q\), then \(q<2^{2m-2}m^{2}\). In particular, \(M(q) \ge (1-o(1))\log _4 q\).
Proof
Let \(A=\{a_1, a_2, \ldots , a_m\}\). Since A is maximal, it cannot be further extended. This means that
where \(\chi \) is the quadratic character of \({\mathbb F}_q\). If \(q \ge 2^{2m-2}m^{2}\), then Lemma 2.2 implies that
a contradiction. Therefore, we must have \(q<2^{2m-2}m^2\). It follows that \(m \ge (1-o(1))\log _4 q\). \(\square \)
2.2 Cyclotomic polynomials
Let n be a positive integer. Let \(\Phi _n(x)\) be the n-th cyclotomic polynomial, that is, the monic polynomial whose roots are the n-th primitive roots of unity (in the complex number). We refer to the basic properties of cyclotomic polynomials in [15]. It is known that \(\Phi _n(x) \in {\mathbb Z}[x]\) and the degree of \(\Phi _n(x)\) is given by the Euler’s totient function \(\phi (n)\). Another important identity is
For our purpose, in the following discussions, we always view \(\Phi _n(x)\) as a polynomial over \({\mathbb F}_q\). The following lemma is crucial in our proof; we provide a short proof for the sake of completeness.
Lemma 2.4
Let \(n,n'\) be positive integers.
-
(1)
If \(p \mid n\), then \(\Phi _n(x)\) is a square of a polynomial.
-
(2)
If \(p \not \mid n\), then \(\Phi _n(x)\) is square-free.
-
(3)
If \(n \ne n'\) such that \(p \not \mid n\) and \(p \not \mid n'\), then \(\Phi _n(x)\) and \(\Phi _{n'}(x)\) are coprime.
Proof
-
(1)
If \(n=p^m r\) with \(p \not \mid r\) and \(m \ge 1\), then we know \(\Phi _{n}(x)=\Phi _{pr}(x^{p^{m-1}})\) and \(\Phi _{pr}(x)=\Phi _{r}(x^{p})/\Phi _{r}(x)=(\Phi _{r}(x))^{p-1}\) from basic properties of cyclotomic polynomials [15, Section 1]. It follows that
$$\begin{aligned}\Phi _{n}(x)=\Phi _{pr}\big (x^{p^{m-1}}\big )=(\Phi _{pr}(x))^{p^{m-1}}=(\Phi _{r}(x))^{(p-1)p^{m-1}}.\end{aligned}$$Thus \(\Phi _n(x)\) is a square of a polynomial.
-
(2)
If \(p \not \mid n\), then \(x^n-1\) is square-free since it does not have double root over \(\overline{{\mathbb F}_q}\) by checking the derivative of \(x^n-1\). Since \(\Phi _n(x) \mid (x^n-1)\), it follows that \(\Phi _n(x)\) is square-free.
-
(3)
Consider \(x^{nn'}-1\). We have \(\Phi _n(x)\Phi _{n'}(x) \mid (x^{nn'}-1)\) by the definition of cyclotomic polynomials. Since \(x^{nn'}-1\) is square-free, it follows that \(\Phi _n(x)\) and \(\Phi _{n'}(x)\) are coprime.
\(\square \)
3 Explicit constructions of Diophantine tuples over finite fields
In this section, we construct Diophantine m-tuples over \(\mathbb {F}_{q}\) with \(m \ge (1-o(1))\frac{p}{p-1}\log _{4}q\), where \(q=p^{n}\). When \(q=p\) is a prime, a lower bound of the largest size of Diophantine tuples in \(\mathbb {F}_p\) is almost the same as \(\log _{4}p\). When \(q=p^{n}\), this improves the lower bound \(\log _4 q\) by a multiplicative constant. We prove this in two cases depending on the condition of q.
3.1 Case I: \(q \equiv 1 \pmod {4}\)
Note that the condition \(q \equiv 1 \pmod {4}\) implies that there is \(r \in \mathbb {F}_{q}\) such that \(r^{2}=-1\).
Proposition 3.1
Let m be a positive even integer. Assume that \(y \in \mathbb {F}_{q}^*\) is a square of order \(\ge m\) such that \(y^{i}-1\) a square for each \(1 \le i \le m\). Let \(r \in {\mathbb F}_q\) such that \(r^{2}=-1\). Then the set
is a Diophantine \((m+1)\)-tuple over \(\mathbb {F}_{q}\). In particular, \(M(q) \ge m+1\).
Proof
It suffices to show that \(r^{2}y^{i}+1=r^{2}(y^{i}-1)\) is a square for each \(|i| \le m-1\). This follows from the assumption immediately when i is nonnegative. When \(i=-j\) is negative, we have \(y^{-j}-1=(1-y^{j})/y^{j}\), which is a square since y and \(-1\) are squares. This completes the proof. \(\square \)
Corollary 3.2
If \(q \equiv 1 \pmod {4}\), then
Proof
Cohen [1, Theorem 1] showed that there is \(y \in {\mathbb F}_q^*\) satisfying the assumption of Proposition 3.1 with order at least \(m=\lfloor Q\rfloor \) (see the first paragraph of [1, Section 2]), except that m is possibly odd, in which case we replace m by \(m-1\). Thus, Proposition 3.1 implies that \(M(q)\ge (m-1)+1=m=\left\lfloor Q \right\rfloor \). \(\square \)
3.2 Case II: \(q \equiv 7 \pmod {8}\)
Since \(q \equiv 7 \pmod 8\), it follows that \(-1\) is not a square and the construction in Proposition 3.1 fails to work. Nevertheless, we take advantage of the fact that 2 is a square. To get the desired lower bound on M(q), we first establish the following new observation and then modify Cohen’s proof.
Proposition 3.3
Let m be a positive even integer. Assume that \(y \in \mathbb {F}_{q}^{*}\) is a square of order \(\ge m\) such that \(\Phi _{i}(y)\) is a square for each \(i=2,4,\ldots ,2m-2\) with \(p \not \mid i\). Then the set
is a Diophantine \((m+1)\)-tuple. In particular, \(M(q) \ge m+1\).
Proof
It suffices to show that \(y^{i}+1\) is a square for each \(|i| \le m-1\). This holds when \(i=0\) since 2 is a square given that \(q \equiv 7 \pmod 8\). This also holds when i is positive since
which is again a square by assumption. It is worthwhile to mention here that if \(p \mid d\), then \(\Phi _d(y)\) is automatically a square by Lemma 2.4. If i is negative, we can write \(i=-j\) and we have \(y^{-j}+1=(y^{j}+1)/y^{j}\) where \(1\le j \le m-1\), which is a square since y is a square. Hence A is a Diophantine \((m+1)\)-tuple over \({\mathbb F}_{q}\). \(\square \)
In order to get a lower bound of M(q) with respect to q, we need to count the number of y in the assumption of Proposition 3.3. The following observation helps to describe the counting problem using the cyclotomic polynomials \(\Phi _{i}(y)\).
Lemma 3.4
Let
Then, for \(m\ge 2\), we have
Proof
Let \(s_{p}(m)=\sum _{i=1, p\not \mid i }^{m-1} \varphi (i)\). The result follows from the basic properties of Euler’s totient function \(\varphi \)-function. We have
where the last inequality is from [1, Lemma 2]. \(\square \)
Hence, Lemma 3.4 gives an upper bound of \(S_{p}(m)\) using \(T_{p}(m)\). For our purpose, we define a set \(I(m)=\{1 \le i \le m-1: p \not \mid i\} \cup \{0\}\). Then we have that \(T_p(m)=|I(m)|\).
Now, we are ready to prove our main theorem.
Theorem 3.5
Let \(q=p^n>7\). Then
Proof
Without loss of generality, we assume \(Q>2\). We separate the integral part and the non-integral of Q as follows
where u and v are non-negative integers with \(0\le v \le p-1\) and \(0\le \epsilon <1\). Let \(m=\lfloor {Q}\rfloor =pu+v\) be the integral part of Q. Then we have
by the same idea from [1, Theorem 1]. From now on, we denote \(T_{p}(m)\) by T. Together with Lemma 3.4, we have
Let \(\chi \) denote the quadratic character in \({\mathbb F}_q\). Thus, we formulate the number of y, denoted by N(m), which satisfies the conditions of Proposition 3.3 as follows:
where we denote \(\Phi _{0}(y)=y\). The introduction of this notation allows us to replace the condition that y is a square with the condition that \(\Phi _{0}(y)\) is a square and write the above equation in a more compact form. From equation 3.3, we deduce that
where the sum is over all \(2^{T}-1\) non-constant polynomials f of the form
Now we rewrite equation 3.4 into complete character sums:
where the last inequality can be deduced from
Note that a polynomial f of the form 3.5 is monic and is not a square of a polynomial by Lemma 2.4. Thus, Weil’s bound (Lemma 2.1) implies that
Here, the second inequality is from the expression 3.5 of f. Hence, since \(\Phi _{2i}\) appears as a factor in \(2^{T-1}\) of the polynomials f, we can write
Therefore, estimation 3.6 and Lemma 3.4 imply that
as \(S_p(m)<\frac{p}{p-1} T^2\). If \(T=1\) and \(q > 4\), we get \(N(m)>0\). Otherwise, if \(\sqrt{q}>2^{T-1}\frac{p}{p-1} T^2\), we have \(N(m)>0\) since
where the last inequality follows since \(T\ge 2\). Hence, in order to prove \(N(m)>0\), it is sufficient to prove \(\sqrt{q}>2^{T-1}\frac{p}{p-1} T^2\). Hence, it suffices to show that
Note that by inequality 3.2,
for \(q>e^2\). Thus, we have \(\log T < \log \log q -\log (2\log 2)\), and by inequality 3.2,
where the last inequality follows since \(\log \left( \frac{p}{p-1}\right) <\log 2\) for any prime \(p>2\). The above argument shows that there is \(y \in {\mathbb F}_q^*\) satisfying the assumption of Proposition 3.3 with order at least m, except that m is possibly odd, in which case we may replace m by \(m-1\). Proposition 3.3 then implies that
\(\square \)
Remark 3.6
In the case of \(q \equiv 3 \pmod {8}\), the construction in Proposition 3.3 almost works, except that 2 is not a square. Nevertheless, by dropping those elements with negative exponents, we can still explicitly construct a Diophantine tuple in \({\mathbb F}_q\) with size at least \((1-o(1))\frac{p}{2(p-1)} \log _4 q\). Such a Diophantine tuple might not be maximal in view of Proposition 2.3.
We also attempted to use other sorts of constructions, but we did not make much progress. It seems our proof relies on the fact that a polynomial of the form \(x^i\pm 1\) has a nice factorization into cyclotomic polynomials.
References
Cohen, S.D.: Clique numbers of Paley graphs. Quaest. Math. 11(2), 225–231 (1988)
Dujella, A.: https://web.math.pmf.unizg.hr/~duje/ref.html (2024)
Dujella, A.: On the size of Diophantine \(m\)-tuples. Math. Proc. Camb. Philos. Soc. 132(1), 23–33 (2002)
Dujella, A.: Bounds for the size of sets with the property \(D(n)\). Glas. Mat. Ser. III 39(2), 199–205 (2004)
Dujella, A.: There are only finitely many Diophantine quintuples. J. Reine Angew. Math. 566, 183–214 (2004)
Dujella, A., Kazalicki, M.: Diophantine \(m\)-tuples in finite fields and modular forms. Res. Number Theory 7(1), Paper No. 3, 24 (2021)
Gyarmati, K.: On a problem of Diophantus. Acta Arith. 97(1), 53–65 (2001)
Hammonds, T., Kim, S., Miller, S.J., Nigam, A., Onghai, K., Saikia, D., Sharma, L.M.: \(k\)-Diophantine \(m\)-tuples in finite fields. Int. J. Number Theory 19(4), 891–912 (2023)
He, B., Togbé, A., Ziegler, V.: There is no Diophantine quintuple. Trans. Am. Math. Soc. 371(9), 6665–6709 (2019)
Kim, S., Yip, C.H., Yoo, S.: Diophantine tuples and multiplicative structure of shifted multiplicative subgroups. arXiv:2309.09124 (2023)
Lamzouri, Y., Li, X., Soundararajan, K.: Conditional bounds for the least quadratic non-residue and related problems. Math. Comput. 84(295), 2391–2412 (2015)
Lidl, R., Niederreiter, H.: Finite Fields, Volume 20 of Encyclopedia of Mathematics and Its Applications, 2nd edn. Cambridge University Press, Cambridge (1997)
Mani, N., Rubinstein-Salzedo, S.: Diophantine tuples over \({Z}_p\). Acta Arith. 197(4), 331–351 (2021)
Montgomery, H.L.: Topics in Multiplicative Number Theory, Volume 227 of Lecture Notes in Mathematics. Springer-Verlag, Berlin/New York (1971)
Sanna, C.: A survey on coefficients of cyclotomic polynomials. Expo. Math. 40(3), 469–494 (2022)
Shparlinski, I.E.: On the number of Diophantine \(m\)-tuples in finite fields. Finite Fields Appl. 90, Paper No. 102241, 7 (2023)
Acknowledgements
The second author thanks Greg Martin for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The third author was supported by the KIAS Individual Grant (CG082701) at the Korea Institute for Advanced Study and supported by the Institute for Basic Science (IBS-R029-C1).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kim, S., Yip, C.H. & Yoo, S. Explicit constructions of Diophantine tuples over finite fields. Ramanujan J (2024). https://doi.org/10.1007/s11139-024-00888-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11139-024-00888-5