The Green-Tao theorem for primes of the form $x^2+y^2+1$

Yu-Chen Sun, Hao Pan

We prove that the primes of the form $x^2+y^2+1$ contain arbitrarily long non-trivial arithmetic progressions.