1: \begin{abstract}

2: Variational inequalities can in general support distinct solutions. In this 

3: paper we study an algorithm for computing distinct solutions of a variational

4: inequality, without varying the initial guess supplied to the solver.  The

5: central idea is the combination of a semismooth Newton method with a deflation

6: operator that eliminates known solutions from consideration. Given one root

7: of a semismooth residual, deflation constructs a new problem for which a semismooth Newton

8: method will not converge to the known root, even from the same initial

9: guess. This enables the discovery of other roots. We prove the

10: effectiveness of the deflation technique under the same assumptions that

11: guarantee locally superlinear convergence of a semismooth Newton method. We demonstrate its utility 

12: on various finite- and infinite-dimensional examples drawn from constrained optimization, game theory, economics and solid mechanics.

13: \end{abstract}

14: