On Pillai's problem with \(X\)-coordinates of Pell equations and powers of 2 (Q2312897)

Diophantine equations has received much attention for many centuries, in particular, Pell equations are studied very often. In the paper under review, the authors show that if \((X_n, Y_n)\) is the \(n\)th solution of the Pell equation \(X^2-dY^2=\pm 1\) for some non-square integer \(d\), then given any integer \(c\), the equation \(c=X_n-2^m\) has at most \(3\) integer solutions \((n,m)\) with \(n \geq 1\) and \(m \geq 0\). Let \(U:={U_n}_{\{n \geq 0\}}\) is the sequence of \(X\)-coordinates of the positive integer solutions \((X, Y)\) of the Pell equation \(X^2-dY^2=\pm 1\) and \(V:={V_m}_{\{m \geq 0\}}\) is the sequence of powers of \(2\); that is, \(V_m =2m\) for all \(m \geq 0\). Then, they propose a conjecture which asserts that there are only finitely many pairs of integers \((c, d)\) with \(d>1\) such that \(m_{U,V}>2\). In the proof, they reduce to lower bounds for linear forms in logarithms and their main tool is sharp lower bounds for linear forms in two logarithms which is due to Laurent. The paper is clearly written and the calculations look very interesting. For Part II, see [the authors, Int. J. Number Theory 17, No. 10, 2251-2277 (2021; Zbl 1493.11074)].