Double saddle point problem

On the spectral property of local shift-splitting preconditioner for double saddle point problems