From A k+1 = A k 2 and A 0 = A follows that Plugging R k (12) and A k (13) into (9) yields R k+1 = {using (12) and (13)} Lastly, coupling (11) and (12) concludes (10).
theorem 1 implies that, at each step k, R k in (9) can grasp the first (2 k − 1)-th terms of S, whereas S k in (4) can grasp only the first k-th terms of S. given the number of steps K, Co-Simmate is always more accurate than Co-Simrank because R K is exponentially closer to S than S K to S. Convergence Rate.