Operator splitting performance estimation : Tight contraction factors and optimal parameter selection
We propose a methodology for studying the performance of common splitting methods through semidefinite programming. We prove tightness of the methodology and demonstrate its value by presenting two applications of it. First, we use the methodology as a tool for computerassisted proofs to prove tight analytical contraction factors for Douglas-Rachford splitting that are likely too complicated for a
