A Barrier-Regularized Symmetric Nitsche Method for the Signorini Problem

What the math gives to ML

The paper turns a nonsmooth positive-part contact law into the exact central-path map \(\varphi_{+,s}(w)=\frac{w+\sqrt{w^2+4s}}{2}\), obtained by eliminating a strictly positive slack variable under a logarithmic barrier. Its transferable asset is not merely smoothing: the map is the unique positive solution of a perturbed complementarity equation, has an explicit derivative, and supplies a principled continuation parameter rather than an arbitrary activation heuristic. This can be tested as a differentiable inequality layer for neural networks, where outputs or residual slacks must remain nonnegative and the barrier parameter is annealed according to constraint and optimization scales. The idea is moderately novel because softplus-like smooth ReLUs are known, but the explicit primal-dual central-path interpretation and complementarity residual provide useful diagnostics and scheduling rules.