Extending Meshulam’s Result on the Boundedness of Orbits of Relaxed Projections onto Affine Subspaces from Finite to Infinite-Dimensional Hilbert Spaces

In 1996, Meshulam proved that any sequence generated in Euclidean space by randomly projecting onto affine subspaces drawn from a finite collection stays bounded even if the intersection of the subspaces is empty. His proof, which works even for relaxed projections, relies on an ingenious induction on the dimension of the Euclidean space. In this paper, we extend Meshulam’s result to the general Hilbert space setting by an induction proof on the number of affine subspaces in the given collection. We require that the corresponding parallel linear subspaces are innately regular—this assumption always holds in Euclidean space. We also discuss the sharpness of our result and make a connection to randomized block Kaczmarz methods.