Self Equivalence of the Alternating Direction Method of Multipliers

The alternating direction method of multipliers (ADM or ADMM) breaks a complex optimization problem into much simpler subproblems. The ADM algorithms are typically short and easy to implement yet exhibit (nearly) state-of-the-art performance for large-scale optimization problems. To apply ADM, we first formulate a given problem into the "ADM-ready" form, so the final algorithm depends on the formulation. A problem like \mbox{minimize}_\mathbf{x} u(\mathbf{x}) + v(\mathbf{C}\mathbf{x}) has six different "ADM-ready" formulations. They can be in the primal or dual forms, and they differ by how dummy variables are introduced. To each "ADM-ready" formulation, ADM can be applied in two different orders depending on how the primal variables are updated. Finally, we get twelve different ADM algorithms! How do they compare to each other? Which algorithm should one choose? In this paper, we show that many of the different ways of applying ADM are equivalent. Specifically, we show that ADM applied to a primal formulation is equivalent to ADM applied to its Lagrange dual; ADM is equivalent to a primal-dual algorithm applied to the saddle-point formulation of the same problem. These results are surprising since the primal and dual variables in ADM are seemingly treated very differently, and some previous work exhibit preferences in one over the other on specific problems. In addition, when one of the two objective functions is quadratic, possibly subject to an affine constraint, we show that swapping the update order of the two primal variables in ADM gives the same algorithm. These results identify the few truly different ADM algorithms for a problem, which generally have different forms of subproblems from which it is easy to pick one with the most computationally friendly subproblems.Comment: 29 page

Families of Conformal Fixed Points of N=2 Chern-Simons-Matter Theories

We argue that a large class of N=2 Chern-Simons-matter theories in three dimensions have a continuous family of exact IR fixed points described by suitable quartic superpotentials, based on holomorphy. The entire family exists in the perturbative regime. A nontrivial check is performed by computing the 4-loop beta function of the quartic couplings, in the 't Hooft limit, with a large number of flavors. We find that the 4-loop beta function can only deform the family of 2-loop fixed points, and does not change the dimension of this family. We further present an explicit computation of a perturbative correction to the Zamolodchikov metric on this space of three-dimensional superconformal field theories.Comment: 27 pages, 108 figure