Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208)

Let \(C\) be a closed convex subset of a complete CAT(0) space \(X:=(X,d)\) and \(T:C\to C\) be a nonexpansive mapping, that is, \(d(Tx,Ty)\leq d(x,y)\) for all \(x,y\in C\). The authors consider the Halpern iteration which is defined as follows: \(x_0:=x\in C\) is the starting point and \(x_{n+1}=\lambda_{n+1}u\oplus(1-\lambda_{n+1})Tx_n\), where \(u\in C\) is the anchor and \((\lambda_n)\) is a sequence in \([0,1]\). The authors apply techniques from mathematical logic to obtain an effective uniform rate of metastability (in the sense of \textit{T. Tao} [Ergodic Theory Dyn. Syst. 28, No.~2, 657--688 (2008; Zbl 1181.37004)]) of the strong convergence theorem proved by the reviewer [\textit{S. Saejung}, Fixed Point Theory Appl. 2010, Article ID 471781 (2010; Zbl 1197.54074)]. This uncovers the hidden computational rate of convergence in the original proof.