On the size of sets in which \(xy + 4\) is always a square (Q2270581)

A \(D(n)\)-\(m\)-tuple is an \(m\)-tuple \((a_1,a_2,\ldots,a_m)\in\mathbb Z^m\) such that \(a_ia_j+n=\square\) for all \(1\leq i < j\leq n\). The \(D(1)\)-\(m\)-tuples which are better known as Diophantine \(m\)-tuples are well studied and Dujella showed that there do not exist Diophantine sex-tuples and at most finitely many quintuples [\textit{A. Dujella}, J. Reine Angew. Math. 566, 183--214 (2004; Zbl 1037.11019)]. This paper is devoted to \(D(4)\)-\(m\)-tuples and in particular it is shown that no such \(7\)-tuple exists, which improves a former result due to \textit{A. Dujella} and \textit{A. M. S. Ramasamy}, [Bull. Belg. Math. Soc. -- Simon Stevin 12, No. 3, 401--412 (2005; Zbl 1168.11008)] which states that no \(D(4)\)-\(8\)-tuple exists. The current result is achieved by studying simultaneous Pell equations and an application of a gap principle.