English

Diophantine m-tuples in finite fields and modular forms

Number Theory 2021-01-12 v2

Abstract

For a prime p, a Diophantine m-tuple in Fp\mathbb{F}_p is a set of m nonzero elements of Fp\mathbb{F}_p with the property that the product of any two of its distinct elements is one less than a square. In this paper, we present formulas for the number N(m)(p)N^{(m)}(p) of Diophantine m-tuples in Fp\mathbb{F}_p for m=2,3 and 4. Fourier coefficients of certain modular forms appear in the formula for the number of Diophantine quadruples. We prove that asymptotically N(m)(p)=12(m2)pmm!+o(pm)N^{(m)}(p)=\frac{1}{2^{m \choose 2 }}\frac{p^m}{m!} + o(p^m), and also show that if p>22m2m2p>2^{2m-2}m^2, then there is at least one Diophantine m-tuple in Fp\mathbb{F}_p.

Keywords

Cite

@article{arxiv.1609.09356,
  title  = {Diophantine m-tuples in finite fields and modular forms},
  author = {Andrej Dujella and Matija Kazalicki},
  journal= {arXiv preprint arXiv:1609.09356},
  year   = {2021}
}

Comments

25 pages; statement of Theorem 10. corrected

R2 v1 2026-06-22T16:05:25.727Z