Convergence of alternating optimization | Synapse