1: \begin{abstract}

2:     Algorithms for min-max optimization and variational inequalities are often studied under monotonicity assumptions. Motivated by non-monotone machine learning applications, we follow the line of works \citep{diakonikolas2021efficient,lee2021fast,pethick2022escaping, bohm2022solving} aiming at going beyond monotonicity by considering the weaker \emph{negative comonotonicity} assumption. In this work, we provide tight complexity analyses for the Proximal Point (\ref{eq:PP}), Extragradient (\ref{eq:EG}), and Optimistic Gradient (\ref{eq:OG}) methods in this setup, closing several questions on their working guarantees beyond monotonicity. In particular, we derive the first non-asymptotic convergence rates for \ref{eq:PP} under negative comonotonicity and star-negative comonotonicity and show their tightness via constructing worst-case examples; we also relax the assumptions for the last-iterate convergence guarantees for \ref{eq:EG} and \ref{eq:OG} and prove the tightness of the existing best-iterate guarantees for \ref{eq:EG} and \ref{eq:OG} via constructing counter-examples.

3: \end{abstract}

4: