On the discriminator of Lucas sequences (Q2423467)

In this work, the authors consider the Lucas sequences defined by \[ U_{n+2}(k)=(4k+2)U_{n+1}(k)-U_{n}(k) \] for \(n\geq 0\) with initial values \(U_{0}(k)=0\) and \(U_{1}(k)=1\), where \(k\geq 1\) is an integer. They defined the discriminator function \(\mathcal{D}_{k}(n)\) of the sequence \(U_{n}(k)\) to be the smallest integer \(m\) such that \(U_{0}(k),U_{1}(k),\cdots,U_{n-1}(k)\) are pairwise incongruent modulo \(m\). They derived some new results on \(\mathcal{D}_{k}(n)\).