The SC1 property of the squared norm of the SOC Fischer-Burmeister function

We show that the gradient mapping of the squared norm of Fischer-Burmeister function is globally Lipschitz continuous and semismooth, which provides a theoretical basis for solving nonlinear second-order cone complementarity problems via the conjugate gradient method and the semismooth Newton's method.