Definition 1.1
W3U1Let n\neq0 be an integer. We call a set of m distinct positive integers a D(n)-m-tuple, or m-tuple with the property D(n), if the product of any two of its distinct elements increased by n is a perfect square.
Extensions of D(4)-pairs \{a, ka\} with k\in \{7,8,10,11,12,13\}
- arXiv
- 2511.08099v1 · PDF · 11 November 2025
- Categories
- math.NT
- Licence
- CC BY 4.0 The site shows the text.
Abstract
We study the extensibility of D(4)-pairs \{a,b\}, where b = ka and k \in \{7,8,10,11,12,13\}. Firstly, we show that it can be extended to a D(4)-triple with an element c, which is a member of a family of positive integers depending on a. Then, we prove that such a triple has a unique extension to a D(4)-quadruple.
Items 31
Conjecture 1.1
PV9JAny D(4)-quadruple is regular.
Theorem 1.2
RUH3Let k be a positive integer such that k\in \{7, 8, 10, 11,12,13\}. If \{a, b, c, d\} is a D(4)-quadruple with b=ka, then it is regular. In other words, we have d=d_{\pm}.
Lemma 2.1
UCII[mbt, Lemma 2.2] Let \{a,b,c,d\} be a D(4)-quadruple such that a<b<c<d_+<d. Then b>10^5.
Lemma 2.2
O4IALet \{a,b\} be a D(4)-pair. Then d_+(a,b,c_{\nu}^{\pm})=c_{\nu+1}^{\pm} and d_-(a,b,c_{\nu}^{\pm})=c_{\nu-1}^{\pm}.
Proof of Lemma 2.2
From (?) we get s_{\nu+1}=\frac{r}{2}s_{\nu}+\frac{a}{2}t_{\nu}. Since c_{\nu}^{\pm}=\frac{(s_{\nu})^2-4}{a}=\frac{(t_{\nu})^2-4}{b} it follows that c_{\nu+1}^{\pm}=\frac{(s_{\nu+1})^2-4}{a}=a+b+c_{\nu}^{\pm}+\frac{1}{2}(abc_{\nu}^{\pm}+rs_{\nu}t_{\nu})=d_+(a,b,c_\nu^{\pm}).
Lemma 2.3
THNGLet \{a,b,c\} be a D(4)-triple and a< b\leq 13.92a. Suppose that \{1,5,a,b\} is not a D(4)-quadruple. Then c=c_{\nu}^{\pm} for some positive integer \nu.
Proof of Lemma 2.3
We follow the idea of [mbt, Lemma 6.1] and [Filipin-LjB, drugi, Lemma 1]. Define s'=\frac{rs-at}{2}, t'=\frac{rt-bs}{2} and c'=\frac{{(s')}^2-4}{a}. The cases c'>b, c'=b and c'=0 are the same as in [Filipin-LjB, drugi, Lemma 1] and yield c=c_{\nu}^{\pm}. It is only left to consider the case 0<c'<b. Here we define r'=\frac{s'r-at'}{2} and b'=\frac{(r')^2-4}{a}. If b'=0 then it can be shown that c'=c_1^- and c=c_{\nu}^- for some positive integer \nu. Notice that b'=d_-(a,b,c'), hence,
b'<\frac{b}{ac'}\leq\frac{13.92a}{ac'}=\frac{13.92}{c'} \implies b'c'<13.92.
Since b'>0 and b'c'+4 is a square, we consider the following cases for b', depending on the term c':
The paper has a table here, which this page does not show.
Cases c' \in \{7,8,9,10,11 \} and c'\geq13 imply there are no b'>0 that satisfy our conditions. So, we obtain that a and b extend pairs \{1,5\}, \{3,4\}, \{2,6\} ,\{1,12\}. As our assumption is that \{1,5,a,b\} is not a D(4)-quadruple, we only need to show that the three remaining cases also cannot be D(4)-quadruples when b\leq 13.92a. Let’s suppose that \{3,4,a,b\} is a D(4)-quadruple. From [mbt, Lemma 6.1], it follows that
a=a_{\nu}^{\pm}
=\frac{1}{3}\left\{\left(\frac{2\pm\sqrt{3}}{2}\right)^2\left(\frac{4+\sqrt{12}}{2}\right)^{2\nu}
+ \left(\frac{\sqrt{2}\mp\sqrt{3}}{2}\right)^2\left(\frac{4-\sqrt{12}}{2}\right)^{2\nu}-\frac{7}{2} \right\},
and from Lemma 2.1 it follows that b=d_+(3,4,a). Lemma 2.2 implies d_+(3,4,a)=a_{\nu+1}^{\pm} for the same choice of \pm. Define k := \frac{b}{a}=\frac{a_{\nu+1}^{\pm}}{a_{\nu}^{\pm}}. It is easy to see that k \leq 15.24 and that it is decreasing as \nu increases, and
\lim_{\nu \rightarrow\infty} \frac{a_{\nu+1}^{\pm}}{a_{\nu}^{\pm}} = \left( \frac{4+\sqrt{12}}{2} \right)^2 > 13.92,
, which gives us a contradiction to the assumption that b \leq 13.92a. We use the same approach with two other cases and arrive at the same conclusion, the only difference being in case \{1,12,a,b \} because here we cannot use [mbt, Lemma 6.1] to show that a=a_{\nu}^{\pm}. Instead, we use bounds on the fundamental solutions of the corresponding Pellian equation from [knjiga, Theorem 10.21] .
Corollary 2.4
D5VCLet \{a,ka,c\} be a D(4)-triple, k \in \{10,11,12,13\}. Then c=c_{\nu}^{\pm}.
Proof of Corollary 2.4
Let’s show that \{1,5,a,ka \} is not a D(4)-quadruple for k \in \{10,11,12,13\}. If \{1,5,a,ka \} is a D(4)-quadruple, by using [mbt, Lemma 6.1], Lemma 2.1, and Lemma 2.2, we obtain a=a_{\nu}^{\pm}, ka=d_+(1,5,a), and d_+(1,5,a)=a_{\nu+1}^{\pm} for the same choice of \pm. We divide both sides of
ka = d_+(1,5,a)=1+5+a+\frac{1}{2}(5a+3\sqrt{5a+4}\sqrt{a+4})
by a and, using the fact that a \geq 12, we obtain k \leq 8.
Lemma 2.5
CGNLIf \{1,5,a,7a\} is a D(4)-quadruple, then a=96.
If \{1,5,a,8a\} is a D(4)-quadruple, then a=12.
Theorem 3.1
XJ46[mbt, Theorem 1.3] Suppose that \{a,b,c,d\} is a D(4)-quadruple with a<b<c<d and that w_m and v_n are defined as before.
i) If the equation v_{2m}=w_{2n} has a solution, then z_0=z_1 and |z_0|=2 or |z_0|=\frac{1}{2}(cr-st).
ii) If the equation v_{2m+1}=w_{2n} has a solution, then |z_0|=t, |z_1|=\frac{1}{2}(cr-st) and z_0z_1<0.
iii) If the equation v_{2m}=w_{2n+1} has a solution, then |z_1|=s, |z_0|=\frac{1}{2}(cr-st) and z_0z_1<0.
iv) If the equation v_{2m+1}=w_{2n+1} has a solution, then |z_0|=t, |z_1|=s and z_0z_1>0.
Moreover, if d>d_+, case ii) cannot occur.
Lemma 3.2
G243[glavni, Lemma 2.2] Assume that \{a,b,c,c'\} is not a D(4)-quadruple for any c' with 0<c'<c_{\nu-1}^{\pm}. We have
If the equation v_{2m}=w_{2n} has a solution, then z_0=z_1=\pm 2 and x_0=y_1=2.
If the equation v_{2m+1}=w_{2n+1} has a solution, then z_0=\pm t, z_1=\pm s, x_0=y_1=r and z_0z_1>0.
Remark 3.3
02M0If c=c_1^{\pm}=a+b\pm 2r, then it is enough to observe the case v_{2m}=w_{2n}.
Lemma 3.4
QX0VAssume that \{a, b, c', c\} is not a D(4)-quadruple for any c' with 0<c'<c^{\pm}_{\nu-1} and b\geq 556881. Then, A_{2n}=B_{2l+1} has no solution. Moreover, if A_{2n} = B_{2l}, then y_2 = 2. In other cases, we have y_2 =\pm 2.
Lemma 3.5
F8Y3Assume that b=ka,\ k\in \{7,8,10,11,12,13\} and c=c_1^-. If the equation P_l=Q_m has a solution (l,m) of Type 1 with l\geq 1, then
0<\Lambda' < 2.6 \alpha^{-2l}.Assume that b=ka,\ k\in \{7,8,10,11,12,13\} and c \in \{c_1^+,c_2^{\pm}\}.If the equation P_l=Q_m has a solution (l,m) of Type 1 with m\ge 3, then
0<\Lambda < 2.6 \beta^{-2m}.If P_l=Q_m has a solution (l,m) of Type 2 with m\geq3, then
0<\Lambda < 1.5 a^2\beta^{-2m}.
Used by Proof
Proof of Lemma 3.5
Proof of 2) follows [glavni, Lemma 2.6] and here we will demonstrate the proof of 1). Let’s define
E=\frac{z_0\sqrt{a}+x_0\sqrt{c}}{\sqrt{c}}\beta^m, \qquad F=\frac{y_2\sqrt{a}+x_2\sqrt{b}}{\sqrt{b}}\alpha^l
and then our form is \Lambda'=\log\frac{E}{F}. It is easy to see that E,F>1 for l,m \geq 1. We can rewrite the equation P_l=Q_m to get
E + 4\left(\frac{c-a}{c}\right)E^{-1}
= F + 4\left(\frac{b-a}{b}\right)F^{-1}
\mathrel{\overset{b>c}{>}}
F + 4\left(\frac{c-a}{c}\right)F^{-1}
Then (E - F)\left(EF - 4\frac{c-a}{c}\right) > 0. Since EF > 4\left(\frac{c-a}{c}\right) we get E>F. It follows that \Lambda'>0 and
\Lambda'=\log(1+\frac{E-F}{F})<\frac{E-F}{F}<4\left(\frac{c-a}{c}\right)F^{-2}<4F^{-2}.
Now, since we observe only the solutions in Type 1 for c=c_1^-, we have
\Lambda'<4\frac{b}{(\pm2\sqrt{a}+2\sqrt{b})^2}\alpha^{-2l}<\frac{k}{(\sqrt{k}-1)^2}\alpha^{-2l}<2.6\alpha^{-2l}.
Lemma 3.6
KQ83Assume that b=ka,\ k\in \{7,8,10,11,12,13\} and c=c_1^-. If P_l=Q_m has a solution (l,m) with l \geq 1, then l \leq m.
Assume that b=ka,\ k\in \{7,8,10,11,12,13\} and c \in \{c_1^+,c_2^{\pm}\}. If P_l = Q_m has a solution (l,m) with m \geq 3, then m \leq l.
Proof of Lemma 3.6
Proof of 2) follows [ahpt, Lemma 8] and here we will demonstrate the proof of 1). Since we proved in the previous Lemma that \Lambda'>0, we have
\frac{m}{l}>\frac{\log\alpha}{\log\beta}-\frac{\log\gamma'}{l\log\beta}.
To prove our statement, we need to show that the right-hand side is greater than 1-\frac{1}{l}, which is equivalent to proving that
\left(\frac{\alpha}{\beta}\right)^l>\frac{\gamma'}{\beta}.
Since ac>a^2>10864^2, we have
\frac{\alpha}{\beta}=\frac{r+\sqrt{ab}}{s+\sqrt{ac}}=\frac{\sqrt{1+\frac{4}{ab}}+1}{\sqrt{1+\frac{4}{ac}}+1}\sqrt{\frac{b}{c}}>\frac{2}{2.1}\sqrt{\frac{b}{c}}.
Also,
\begin{aligned}
\frac{b}{c}
&= \frac{ka}{c_1^-}
= \frac{ka}{(k+1)a - 2\sqrt{ka^2 + 4}}
= \frac{ka^2\!\left(k+1 + 2\sqrt{k + \frac{4}{a^2}}\right)}{(k-1)^2 - \frac{16}{a^2}} \\
&> \frac{k}{(k-1)^2}\!\left(k+1 + 2\sqrt{k}\right)
= \frac{k}{(\sqrt{k}-1)^2}.
\end{aligned}
Since l\geq1 we get
\left(\frac{\alpha}{\beta}\right)^l>1.31.
On the other hand, since for c=c_1^- we only observe fundamental solutions of Type 1 we get
\begin{aligned}
\frac{\gamma'}{\beta}&=\frac{2\sqrt{b}(\pm2\sqrt{a}+2\sqrt{c})}{(s+\sqrt{ac})\sqrt{c}(2\sqrt{a}+2\sqrt{b})}<\frac{\sqrt{b}(\sqrt{a}+\sqrt{c})}{c\sqrt{a}(-\sqrt{a}+\sqrt{b})} \\
&=\frac{\sqrt{k}(\sqrt{a}+\sqrt{c})}{c(\sqrt{k}-1)\sqrt{a}}\leq\frac{2\sqrt{k}}{(\sqrt{k}-1)a}<1.
\end{aligned}
Finally, we have
\left(\frac{\alpha}{\beta}\right)^l>1.31>1>\frac{\gamma'}{\beta}.
Lemma 3.7
TSS4Denote by \alpha_1,\ldots,\alpha_j algebraic numbers, not 0 or 1, by \log\alpha_1,\ldots, \log\alpha_j determinations of their logarithms, by D the degree over \mathbb Q of the number field \mathbb K=\mathbb Q(\alpha_1,\ldots,\alpha_j), and by b_1,\ldots,b_j integers. Define B=\max\{|b_1|,\ldots,|b_j|\} and
A_i=\max\{Dh(\alpha_i),|\log\alpha_i|,0.16\}\;\; (1\leq i\leq j),
where h(\alpha) denotes the absolute logarithmic Weil height of \alpha. Assume that the number
\Lambda= b_1\log\alpha_1+\cdots+b_n\log\alpha_j
does not vanish. Then
|\Lambda|\geq \exp\{-C(j,\chi)D^2A_1\cdots A_j\log(eD)\log(eB)\},
where \chi=1 if \mathbb K \subset\mathbb R and \chi=2 otherwise and
C(j,\chi)=\min\left\{\frac{1}{\chi}\left( \frac{1}{2}ej\right)^{\chi}30^{j+3}j^{3.5},2^{6j+20}\right\}.
Proposition 3.8
X5H3Assume that c\in \{c_1^+, c_2^\pm\}. If P_l=Q_m, with m>1 then
\begin{aligned}
\frac{l}{\log(el)}&< 3.34\cdot 10^{13}\cdot\log^2(8.09c^2),\quad \text{with solutions of Type $1$},\; \\
\frac{l}{\log(el)}&< 6.63\cdot 10^{13}\cdot\log^2(8.09c^2), \quad \text{with solutions of Type $2$}.
\end{aligned}
If Q_m=P_l,\ l\geq1 with c=c_1^-, then we get
\begin{aligned}
\frac{m}{\log(em)}< 13.36\cdot 10^{13}\cdot\log^2(21.3a),\quad \text{for}\; k=7,8,10,11,12,13.
\end{aligned}
Proof of Proposition 3.8
We will demonstrate the proof for the case c=c_1^- since the proof for the other cases closely follows [glavni, Proposition 2.9]. We apply Lemma 3.8 with j=3 and \chi=1 to the linear form ? and take
D=4,\ b_1=m,\ b_2=-l,\ b_3=1,\ \alpha_1=\beta,\ \alpha_2=\alpha,\ \alpha_3=\gamma'.
Since l\leq m, we can take B=m. Also, we have
h(\alpha_1)=\frac{1}{2}\log\beta,\ h(\alpha_2)=\frac{1}{2}\log\alpha.
Since \gamma'=\gamma^{-1}, then h(\gamma)=h(\gamma') and from [glavni, Proposition 2.9] we have
h(\gamma)<\frac{1}{4}\log\left[\frac{2^4r^4c^4(1+\sqrt{k})^4}{(c-a)^2}\right].
We have
\begin{aligned}(c_1^--a)^2&=a^2(2\sqrt{k+\frac{4}{a^2}}-k)^2>a^2(2\sqrt{k}-k)^2,\\
r&<a\sqrt{1.1k},\\ c=c_1^-&=a(k+1-2\sqrt{k+\frac{4}{a^2}})<a(\sqrt{k}-1)^2,\end{aligned}
and now it follows that
h(\gamma')=h(\gamma)<\frac{1}{4}\log(93309063a^6)<\frac{3}{2}\log(21.3a).
By applying Lemma 3.8 with
A_1=2\log\beta,\ A_2=2\log\alpha,\ A_3=6\log(21.3a)
we get
\begin{aligned}
\log|\Lambda'|>-1.3901&\cdot 10^{11}\cdot16\cdot2 \cdot\log\beta\\&\cdot2\log\alpha\cdot6\log(21.3a)\cdot\log(4e)\cdot\log(em).
\end{aligned}
From 1) of Lemma 3.5 and using l\geq1, it is easy to conclude that
m\log\beta<l\log\alpha+2.6\alpha^{-2l}-\log\gamma'<2l\log\alpha.
Also,
\log|\Lambda'|<-1.9069l\log\alpha
and
\log\alpha=\log\left[a\left(\sqrt{k+\frac{4}{a^2}}+\sqrt{k}\right)\right]<\log(7.212a)<\log(21.3a).
Now, by combining everything, we get
\frac{m}{\log(em)}<1.336\cdot10^{14}\cdot\log^2(21.3a),\ \text{for}\ k=7,8,10,11,12,13. \qedhere
Uses Lemma 3.5
Lemma 4.1
218G[glavni, Lemma 3.1] If a is odd, then
\begin{aligned}
Q_{2m}&\equiv x_0+\dfrac{1}{2} a(cx_0m^2+sz_0m)\pmod{a^2},\\
P_{2l}&\equiv x_2+\dfrac{1}{2} a(bx_2l^2+ry_2l)\pmod{a^2} .
\end{aligned}
If a is even, then
\begin{aligned}
Q_{2m}&\equiv x_0+\dfrac{1}{2} a(cx_0m^2+sz_0m)\pmod{\dfrac{1}{2} a^2},\\
P_{2l}&\equiv x_2+\dfrac{1}{2} a(bx_2l^2+ry_2l)\pmod{\dfrac{1}{2} a^2} .
\end{aligned}
Lemma 4.2
1KMDAssume that b=ka,\ k\in \{7,8,10,11,12,13\} and c=c_1^-. If the equation P_l=Q_m has a solution (l,m) (of Type 1), then we have
m \geq \frac{1}{4}\left(-2+\sqrt{4+\sqrt{a}} \right).Assume that b=ka,\ k\in \{7,8,10,11,12,13\} and c \in \{c_1^+,c_2^{\pm}\}. If the equation P_l=Q_m has a solution (l,m) (of Type 1), then we have
l \geq \frac{1}{12}\left(-2+\sqrt{4+3\sqrt{a}} \right).
Proof of Lemma 4.2
Proof follows [glavni, Lemma 3.2] and here we will demonstrate the proof of 1). From the recurrent sequence (?), we have s \equiv 2,r\ (\bmod\ a). Also, b=ka \equiv 0\ (\bmod\ a) and c=c_{1}^{-}\equiv -2 r\ (\bmod\ a). Using the previous Lemma, with solutions in Type 1, we get
- 4 r m^2\pm 4m\equiv \pm2rl\pmod{a},\quad \mbox{if}\quad s\equiv 2\pmod{a}
and
\ - 4m^2\pm 2m\mp2l\equiv 0\pmod{\dfrac{a}{\gcd (a,r)}},\quad \mbox{if}\quad s\equiv r\pmod{a}.
In the first case, we multiply the congruence by r and since r^2 \equiv 4\ (\bmod\ a) we have r \equiv \pm2\ (\bmod\ a') for some a' that divides a and a' \geq \sqrt{a}. So we get
-16m^2\pm8m\mp8l \equiv 0\ (\bmod\ a').
Using l\leq m it follows that
16m^2+16m \geq |-16m^2\pm8m\mp8l|\geq a'\geq \sqrt{a},
which implies
\begin{aligned}
m \geq \frac{1}{4}\left(-2 +\sqrt{4+\sqrt{a}} \right).\end{aligned}
In the second case, since \gcd(a,r)\leq2 and l \leq m, we have
4m^2+4m \geq |- 4m^2\pm 2m\mp2l|\geq\frac{a}{\gcd(a,r)}\geq\frac{a}{2},
which implies
\begin{aligned}
m \geq \frac{1}{4}\left(-2+\sqrt{4+2a}\right).
\end{aligned}
Combining (Proof) and (Proof) we obtain the desired inequality.
Lemma 4.3
BO3QAssume that c=c_2^\pm. If the equation P_l=Q_m has a solution (l,m) of Type 2, then we have
m> \begin{cases}
(14-5\sqrt{7.1})a/4,&\ k=7,\\
(6\sqrt{8}-16)a/4,&\ k=8,\\
(20-6\sqrt{10.1})a/4,&\ k=10, \\
(7\sqrt{11}-22)a/4,&\ k=11,\\
(7\sqrt{12}-24)a/4,&\ k=12,\\
(26-7\sqrt{13.1})a/4,&\ k=13.
\end{cases}
Lemma 5.1
A1FUFor the D(4)-triples \{a,ka,c_1^-\} with a=a_p^{(k)} (p\ge 1) defined in (?)-(?), if the equation P_l=Q_m has a solution (l,m) with l\ge 1, then p\leq E_k and m \leq 2.48\cdot10^{20} where E_k \in \{70,110,53,65,147,81\} for k \in \{7,8,10,11,12,13\} respectively.
For the D(4)-triples \{a,ka,c_1^+\} with a=a_p^{(k)} (p\ge 1) defined in (?)-(?), if the equation P_l=Q_m has a solution (l,m) with m\ge 3, then p\leq E_k' and l\le 2.56\cdot10^{20} where E_k' \in \{71,111,54,65,149,82\} for k \in \{7,8,10,11,12,13\} respectively.
For the D(4)-triples \{a,ka,c_2^{\pm}\} with a=a_p^{(k)} (p\ge 1) defined in (?)-(?), if the equation P_l=Q_m has a solution (l,m) in Type 1 with m\ge 3, then p\le E_k'' and l\le 2.6\cdot10^{21} where E_k'' \in \{74,116,56,68, 156,86\} for k \in \{7,8,10,11,12,13\} respectively. If the equation P_l=Q_m has a solution (l,m) in Type 2 with m\ge 3 then p\le E_k''' and l\le 3.13 \cdot 10^{20} where E_k''' \in \{18,28,13,16,38,21\} for k \in \{7,8,10,11,12,13\} respectively.
Lemma 5.2
TZH5Assume that M is a positive integer. Let p/q be a convergent of the continued fraction expansion of \kappa such that q>6M and let
\eta=\parallel\mu q\parallel-M\cdot\parallel\kappa q\parallel,
where \parallel\cdot\parallel denotes the distance from the nearest integer. If \eta>0,, then there is no solution to the inequality
0<l\kappa-m+\mu<AB^{-l}
in integers l and m with
\frac{\log(Aq/\eta)}{\log(B)}\leq l\leq M.
Lemma 5.3
2N8FIf the equation z=v_{2m}=w_{2n} has a solution (m,n) with n > 2, then m>0.495b^{-0.5}c^{0.5}.
If the equation z=v_{2m+1}=w_{2n+1} has a solution (m,n) with n > 2, then m^2>0.0625b^{-1}c^{0.5}.
Lemma 5.4
3VBCFor the D(4)-triples \{a,ka,c_3^\pm\} with a=a_p^{(k)} (p\ge 1) defined in (?)-(?), if z=v_{2m}=w_{2n} has a solution (m,n), then p\le E_k and m\le 5.2\cdot10^{21} where E_k \in \{9,14,6,8,19,10\} for k\in \{7,8,10,11,12,13\} respectively. However, if z=v_{2m+1}=w_{2n+1} has a solution (m,n), then p\le F_k and m\le 4.3\cdot10^{22}, where F_k \in \{25,40,19,23,53,29\} for k\in \{7,8,10,11,12,13\} respectively.
Source and licence
The text on this page is from arXiv:2511.08099v1 by Marija Bliznac Trebješanin and Pavao Radić, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2511/2511.08099.jsonl.