Several widely-used first-order saddle point optimization methods yield an identical continuous-time ordinary differential equation (ODE) to that of the Gradient Descent Ascent (GDA) method when derived naively. However, their convergence properties are very different even on simple bilinear games. We use a technique from fluid dynamics called High-Resolution Differential Equations (HRDEs) to design ODEs of several saddle point optimization methods. On bilinear games, the convergence properties of the derived HRDEs correspond to that of the starting discrete methods. Using these techniques, we show that the HRDE of Optimistic Gradient Descent Ascent (OGDA) has last-iterate convergence for general monotone variational inequalities. To our knowledge, this is the first continuous-time dynamics shown to converge for such a general setting. Moreover, we provide the rates for the best-iterate convergence of the OGDA method, relying solely on the first-order smoothness of the monotone operator.
翻译:在双线游戏上,衍生的HRDE的趋同特性与起始离散方法的趋同特性相对应。我们使用这些技术来设计数个马鞍优化方法的ODE。使用这些技术,我们发现,在单线简单游戏中,它们的趋同特性也大不相同。我们知道,这是第一次连续动态技术,显示在这种总体环境下会趋同。此外,我们提供了OGDA方法的最佳招合率,只依靠单线操作员的第一阶平稳。