1: \begin{abstract}%

2: The \emph{monotone variational inequality} is a central problem in mathematical programming that unifies and generalizes many important settings such as smooth convex optimization, two-player zero-sum games, convex-concave saddle point problems, etc. %It has been studied since the 1960's~\cite{hartman_non-linear_1966}. 

3: The \emph{extragradient method} by \citet{korpelevich_extragradient_1976} is one of the most popular methods for solving monotone variational inequalities. Despite its long history and intensive attention from the optimization and machine learning community, the following major problem remains open. \emph{What is the last-iterate convergence rate of the extragradient method for monotone and Lipschitz variational inequalities with constraints?} We resolve this open problem by showing a tight $O\left(\frac{1}{\sqrt{T}}\right)$ last-iterate convergence rate for \emph{arbitrary convex feasible sets}, which matches the lower bound by~\cite{golowich_last_2020}. Our rate is measured in terms of the standard \emph{gap function}. The technical core of our result is the monotonicity of a \emph{new performance measure -- the \projhamnospace}, which can be viewed as an adaptation of the norm of the operator that takes the \emph{local} constraints into account. To establish the monotonicity, we develop a new approach that combines the power of the \emph{sum-of-squares programming} with the \emph{low dimensionality} of the update rule of the extragradient method. We believe our approach has many additional applications in the analysis of iterative methods.   

4: \end{abstract}

5: