REVIEW 2 major objections 5 minor 27 references
On the Relationship Between CoCoA and ADMM for Distributed Empirical Risk Minimization
T0 review · 2 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read For ridge-regularized ERM, CoCoA and a tuned ADMM are the same primal-dual iteration, so ADMM can match CoCoA's performance.
desk verdict The algebraic unification is real and useful, but the main bridge (Proposition 1) has an incomplete proof, and the performance claims outrun the theorems. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the unified primal-dual update form, in which a global primal variable w is updated by a proximal step and each local dual block v_[k] is updated by a proximal subproblem whose metric is the local data Gram matrix X_[k]^T X_[k]. The argument uses two parameter identifications: the curvature $\lambda$ of the ridge penalty becomes the inverse augmented Lagrangian parameter via rho = $lambda^{{-1}}$, and the number of machines K scales the prox term via eta1 = K, using the inequality K diag(X_[k]^T X_[k]) >= X^T X. The Moreau decomposition converts proximal steps between primal and dual, and the minimax equality min_w max_v L(w,v) = max_v min_w L(w,v) lets consensus ADMM on the primal be reinterpreted as proximal ADMM on the negated saddle objective.
What would settle it
Take a single-machine ridge regression (K=1) with squared loss, run Consensus-PD and Proximal-1-PD with beta = 1/rho and eta1 = 1 from the same start, and compare the dual sequences; any mismatch at the first full step would contradict Corollary 2. A sharper test: for the same simple problem, check whether the local dual variable tilde-v produced by the consensus subproblem equals the global dual v used in the unified update; if the two deviate while the algorithm still converges, Proposition 1's identification is unsupported.
Extended reading notes
Core claim
The paper's central claim is that for L2-regularized ERM, CoCoA's update rule (5) and the proximal ADMM update rule (3) produce identical dual iterates when the augmented Lagrangian parameter satisfies rho = $lambda^{{-1}}$ and the algorithms start from the same initialization (Corollary 1). It further claims that consensus ADMM with parameter $\beta$ is equivalent to Proximal-1-PD with eta1 = K and $\beta$ K = $rho^{{-1}}$, and that the linearized versions LinConsensus-PD and Proximal-2-PD are equivalent under eta2 = K tau, by applying consensus ADMM to the negated saddle objective (Corollary 2). The equivalence is established through a unified update form in which a global primal variable w is updated by a proximal step at the server while each machine k updates its local dual block v_[k] with a proximal subproblem weighted by the local Gram matrix X_[k]^T X_[k]. The paper states that this reveals CoCoA as a special case of proximal ADMM with a specific step size, so an optimally tuned ADMM is at least as good as CoCoA on ridge-regularized problems; numerical experiments on synthetic ridge and lasso regression and on real SVM datasets are reported to support the predicted parameter relationships.
Load-bearing premise
The equivalence rests on the identification of the local dual variables introduced in consensus ADMM's subproblems with the global dual variable v of the unified update, and on the minimax equality min_w max_v L(w,v) = max_v min_w L(w,v) holding for the chosen losses and regularizers; if either fails, the claimed algorithm-level equivalences do not follow.
Editorial extensions
If this is right
- If the equivalences are correct, every convergence guarantee and duality-gap stopping criterion derived for the unified form applies to CoCoA, consensus ADMM, LinConsensus-PD, Proximal-1-PD, and Proximal-2-PD without separate proofs.
- For ridge-regularized ERM, no choice of CoCoA parameters can make it fundamentally outperform an optimally tuned ADMM variant; the best achievable convergence of the two families coincides.
- The linearized variants inherit the same O(1/T) ergodic rate as the exact forms while using cheaper closed-form proximal updates, so there is no rate penalty for linearization.
- When the regularizer is not quadratic (for example L1), the CoCoA–Proximal-1-PD equivalence breaks because the argument depends on the ridge penalty's quadratic structure, as the paper notes; the consensus-to-proximal ADMM equivalences do not require the ridge penalty and may survive.
- The unified update form gives a practical primal-dual gap for consensus ADMM, which can be used as a stopping criterion in distributed implementations.
Reading between the lines
- A direct testable consequence the paper does not spell out: in exact arithmetic, CoCoA-PD with sigma=K, gamma=1 and Proximal-1-PD with rho=1/lambda should produce bit-identical dual iterates on any ridge-regularized problem; a divergence under finite-precision or inexact local solves would point to the unproven identification of local and global dual variables.
- Because the equivalences map the number of machines K into the prox scaling eta1=K, one could transfer ADMM acceleration techniques such as over-relaxation or adaptive penalty to CoCoA-style methods, a direction the paper leaves implicit.
- The paper notes that the w-updates differ even when the dual sequences coincide: Proximal-1-PD averages successive CoCoA w-updates. An editorial conjecture is that this extra averaging is what lets Proximal-1-PD take larger step sizes and outperform CoCoA in practice.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a unified primal-dual update framework for five distributed ERM algorithms: consensus ADMM, linearized consensus ADMM, two proximal ADMM variants, and ridge-regularized CoCoA. It claims that CoCoA's dual iterates coincide with those of a proximal ADMM variant under a parameter mapping (Corollary 1), and that consensus ADMM is equivalent to that proximal ADMM variant under an explicit parameter mapping together with a sign reversal of the saddle objective (Corollary 2). A unified O(1/T) ergodic convergence analysis is given, and experiments on synthetic and real data are presented to support the theoretical relationships.
Significance. If the claims hold, the paper establishes an explicit and nontrivial connection between two major families of distributed optimization methods, with concrete parameter mappings that could enable transfer of tuning strategies and convergence results. The algebraic derivations are parameter-free and stated as exact update-form identities, and the authors provide reproducible code. The convergence analysis is standard but the unified treatment is a useful contribution. The experimental results, while empirical, are consistent with the theoretical equivalences and support the conclusion that tuned ADMM variants can outperform CoCoA on ridge-regularized problems.
major comments (2)
- [Appendix B.1 (proof of Proposition 1)] The proof of Proposition 1 is too terse at the critical step where the global w-update is derived. The text says 'Representing w_k^{(t)} and u_k^{(t)} in terms of w^{(t)} and \tilde v_k^{(t)} ... we derive the following updates' but does not show the algebra. The final update (1) can be verified when the global consensus update is w^{(t+1)} = prox_{(βK)^{-1}g}((1/K)Σ_k(w_k^{(t+1)} - u_k^{(t+1)}/β)), which follows from the first-order condition of the global subproblem in Section 3.1. However, because the sign convention in that subproblem is unconventional, a reader using the more common plus sign will obtain a different update (w^t + (1/(nβK))X\tilde v^t) and conclude that (1) is false. The proof should explicitly derive the prox argument from the global subproblem and state the sign convention. In addition, the closing remark that 'we need to show that the dual variable \tilde v converges to the global dual variable v' is misleading; the local dual variables \tilde v_{[k]} are the same variables as the global v_{[k]} in (1), so no asymptotic identification is needed. Clarifying this would remove an unnecessary gap in a load-bearing proof.
- [Section 4, Corollary 1] The statement of Corollary 1 writes g(w) = λ||w||_2^2, but throughout the rest of the paper (including the CoCoA derivation in Section 3.3 and the proof in Appendix B.4) the ridge penalty is g(w) = (λ/2)||w||_2^2. The parameter mapping ρ=λ^{-1} and the KKT relation w = -Xv/(nλ) are only consistent with the λ/2 convention. This inconsistency should be corrected in the corollary statement.
minor comments (5)
- [Appendix B.5 (proof of Corollary 2)] The proof states 'After some algebraic operations' when matching the negated-saddle algorithm to the Proximal-1-PD form. Since this is a central equivalence, the algebra should be shown at least for the parameter verification ρη1 = 1/β and the linear term 2w^t - w^{t-1}.
- [Abstract and Section 4] The phrase 'performs at least as good as CoCoA' should be made more precise: the theoretical result is that CoCoA is a special case of Proximal-1-PD with ρ=λ^{-1}, and tuning ρ away from this value can improve performance. The current phrasing could be read as a universal guarantee, whereas it is a consequence of the special-case parameter choice.
- [Figure 2] The legends in Figure 2 are garbled (e.g., '21=1', ';=1', '-=0:0001'), making the plots difficult to interpret. Please ensure that axis labels and legends are properly rendered.
- [Theorem 1] The sentence 'This implies that \bar{z}^{(T)} converges to the optimal solution with rate O(1/T)' is imprecise: the O(1/T) bound is on the saddle-point gap, not directly on the iterate error. The wording should be adjusted to state that the ergodic gap converges at the stated rate.
- [Theorem 2] Theorem 2 assumes P is positive definite, but the paper's recommended parameters η1=K and η2=Kτ yield P1--P4 that may be only positive semidefinite. The paper should either state that Theorem 2 applies when the proximal parameters are chosen strictly larger than the minimal feasible values, or add a remark on how the positive semidefinite case is handled.
Circularity Check
No significant circularity: the equivalence claims are algebraic consequences of the stated update rules, and experimental tuning is explicitly presented as tuning rather than as a prediction from the model.
full rationale
The paper's central claims—CoCoA-PD and Proximal-1-PD produce identical dual iterates when rho=lambda^{-1} (Corollary 1), and Consensus-PD is equivalent to Proximal-1-PD under beta K = rho^{-1} and eta1=K (Corollary 2)—are derived by substituting the stated update rules into one another. Nothing in these derivations assumes the equivalence it is trying to prove; the proofs work from the algorithms' definitions in equations (1)-(5) and the Fenchel/KKT relations stated in the appendix. The experimental comparison selects the best beta or rho per dataset, but the paper explicitly frames this as tuning ('we select the optimal beta or rho to achieve optimal performance') and does not present those tuned values as parameter-free predictions. Likewise, the references to prior CoCoA and ADMM work are used for algorithmic origins and convergence frameworks, not as a self-citation chain carrying the main equivalence claim; the cited authors do not overlap with the present authors. The most notable weakness is in the proof of Proposition 1, where the paper says 'we need to show that the dual variable v-tilde converges to the global dual variable v' and then defers the details; this is an omitted or incomplete argument about the algorithm's correctness, not a circular step, because the claimed equivalence is not being inserted as an assumption. Similarly, the use of the minimax equality in Corollary 2 is a standard external mathematical fact, not a restatement of the target result. Consequently, there is no exhibited reduction of a prediction to a fitted input or to a self-citation, and the derivation chain is self-contained in the sense relevant to circularity analysis.
Assumptions & free parameters
free parameters (1)
- Augmented Lagrangian parameters beta (Consensus/LinConsensus) and rho (Proximal-1/2) in experiments =
chosen per dataset (not listed numerically in the text)
assumptions (4)
- domain assumption Loss functions l_i and regularizer g are proper closed convex functions with well-defined Fenchel conjugates and proximal operators.
- standard math Strong duality / minimax equality min_w max_v L(w,v) = max_v min_w L(w,v).
- ad hoc to paper The local dual variables v-tilde_[k] produced by dualizing each consensus ADMM subproblem coincide with the global dual variable blocks v_[k].
- standard math The preconditioner matrices P1..P4 are positive semidefinite (positive definite for the inexact Theorem 2).
Cite this review
Pith. "Pith review of On the Relationship Between CoCoA and ADMM for Distributed Empirical Risk Minimization." pith.science (2026). https://pith.science/paper/333CSJRH
@misc{pith2026250200470,
author = {Pith},
title = {Pith review of: On the Relationship Between CoCoA and ADMM for Distributed Empirical Risk Minimization},
year = {2026},
howpublished = {\url{https://pith.science/paper/333CSJRH}},
note = {Machine review of arXiv:2502.00470}
}
abstract
Distributed empirical risk minimization (ERM) is often studied through two influential yet seemingly separate families of methods: CoCoA-type algorithms, derived from distributed dual coordinate ascent, and ADMM-type algorithms, derived from consensus and proximal splitting. In this paper, we investigate the connection of the two types of algorithms from a unified primal-dual perspective. We show that consensus ADMM, linearized consensus ADMM, two distributed proximal ADMM variants, and ridge-regularized CoCoA can all be written in a common update form involving a global primal variable and block dual variables. This reformulation makes several previously hidden connections explicit: For ridge-regularized ERM, CoCoA coincides with a particular proximal ADMM scheme at the level of the dual update. Moreover, consensus ADMM on the primal problem is equivalent to proximal ADMM on the dual problem under an explicit parameter mapping together with a sign reversal of the saddle objective; similar correspondences also hold for the linearized variants. These results indicates that the ADMM-type algorithms, when fine tuned, performs at least as good as CoCoA, under ridge regularized ERM problems. The unified view also yields a natural primal-dual gap stopping criterion for consensus ADMM and a unified $O(1/T)$ ergodic convergence analysis for the ADMM-type methods. Experiments on synthetic regression problems and real SVM datasets support the predicted relationships, clarify the role of tuning parameters, and show that suitably tuned ADMM variants can outperform CoCoA in the ridge-regularized setting.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[1]
Stephen Boyd, Neal Parikh, Eric Chu, Borja Peleato, Jonathan Eckstein, et al. Distributed opti- mization and statistical learning via the alternating direction method of multipliers.Foundations and Trends® in Machine learning, 3(1):1–122, 2011
work page 2011
-
[2]
Chih-Chung Chang and Chih-Jen Lin. Libsvm: a library for support vector machines.ACM transactions on intelligent systems and technology (TIST), 2(3):1–27, 2011
work page 2011
-
[3]
Parallel multi-block admm with o (1/k) convergence.Journal of Scientific Computing, 71:712–736, 2017
Wei Deng, Ming-Jun Lai, Zhimin Peng, and Wotao Yin. Parallel multi-block admm with o (1/k) convergence.Journal of Scientific Computing, 71:712–736, 2017
work page 2017
-
[4]
Wei Deng and Wotao Yin. On the global and linear convergence of the generalized alternating direction method of multipliers.Journal of Scientific Computing, 66:889–916, 2016
work page 2016
-
[5]
A distributed second-order algorithm you can trust
Celestine Dünner, Aurelien Lucchi, Matilde Gargiani, An Bian, Thomas Hofmann, and Martin Jaggi. A distributed second-order algorithm you can trust. InInternational Conference on Machine Learning, pages 1358–1366. PMLR, 2018
work page 2018
-
[6]
On alternating direction methods of multipliers: a historical perspective
Roland Glowinski. On alternating direction methods of multipliers: a historical perspective. Modeling, simulation and optimization for science and technology, pages 59–82, 2014
work page 2014
-
[7]
De-Ren Han. A survey on some recent developments of alternating direction method of multipliers.Journal of the Operations Research Society of China, pages 1–52, 2022
work page 2022
-
[8]
Bingsheng He and Xiaoming Yuan. On the o(1/n) convergence rate of the douglas–rachford alternating direction method.SIAM Journal on Numerical Analysis, 50(2):700–709, 2012
work page 2012
Show all 27 references
-
[9]
Robust estimation of a location parameter
Peter J Huber. Robust estimation of a location parameter. InBreakthroughs in statistics: Methodology and distribution, pages 492–518. Springer, 1992
1992
-
[10]
Communication-efficient distributed dual coordinate ascent
Martin Jaggi, Virginia Smith, Martin Takác, Jonathan Terhorst, Sanjay Krishnan, Thomas Hofmann, and Michael I Jordan. Communication-efficient distributed dual coordinate ascent. Advances in neural information processing systems, 27, 2014
2014
-
[11]
Regression quantiles.Econometrica: journal of the Econometric Society, pages 33–50, 1978
Roger Koenker and Gilbert Bassett Jr. Regression quantiles.Econometrica: journal of the Econometric Society, pages 33–50, 1978
1978
-
[12]
Distributed block-diagonal approximation methods for regularized empirical risk minimization.Machine Learning, 109(4):813–852, 2020
Ching-pei Lee and Kai-Wei Chang. Distributed block-diagonal approximation methods for regularized empirical risk minimization.Machine Learning, 109(4):813–852, 2020
2020
-
[13]
Linearized alternating direction method with adaptive penalty for low-rank representation.Advances in neural information processing systems, 24, 2011
Zhouchen Lin, Risheng Liu, and Zhixun Su. Linearized alternating direction method with adaptive penalty for low-rank representation.Advances in neural information processing systems, 24, 2011
2011
-
[14]
A unified alternating direction method of multipliers by majorization minimization.IEEE transactions on pattern analysis and machine intelligence, 40(3):527–541, 2017
Canyi Lu, Jiashi Feng, Shuicheng Yan, and Zhouchen Lin. A unified alternating direction method of multipliers by majorization minimization.IEEE transactions on pattern analysis and machine intelligence, 40(3):527–541, 2017
2017
-
[15]
On a unified and simplified proof for the ergodic convergence rates of ppm, pdhg and admm.arXiv preprint arXiv:2305.02165, 2023
Haihao Lu and Jinwen Yang. On a unified and simplified proof for the ergodic convergence rates of ppm, pdhg and admm.arXiv preprint arXiv:2305.02165, 2023
2023 arXiv
-
[16]
An accelerated communication-efficient primal-dual optimization framework for structured machine learning
Chenxin Ma, Martin Jaggi, Frank E Curtis, Nathan Srebro, and Martin Takáˇc. An accelerated communication-efficient primal-dual optimization framework for structured machine learning. Optimization Methods and Software, 36(1):20–44, 2021
2021
-
[17]
Adding vs
Chenxin Ma, Virginia Smith, Martin Jaggi, Michael Jordan, Peter Richtárik, and Martin Takác. Adding vs. averaging in distributed primal-dual optimization. InInternational Conference on Machine Learning, pages 1973–1982. PMLR, 2015
1973
-
[18]
A survey on applications of alternating direction method of multipliers in smart power grids.Renewable and Sustainable Energy Reviews, 152:111687, 2021
Ampolu Maneesha and K Shanti Swarup. A survey on applications of alternating direction method of multipliers in smart power grids.Renewable and Sustainable Energy Reviews, 152:111687, 2021. 10
2021
-
[19]
Stochastic dual coordinate ascent methods for regularized loss minimization.Journal of Machine Learning Research, 14(1), 2013
Shai Shalev-Shwartz and Tong Zhang. Stochastic dual coordinate ascent methods for regularized loss minimization.Journal of Machine Learning Research, 14(1), 2013
2013
-
[20]
Cocoa: A general framework for communication-efficient distributed optimization.Journal of Machine Learning Research, 18(230):1–49, 2018
Virginia Smith, Simone Forte, Chenxin Ma, Martin Takáˇc, Michael I Jordan, and Martin Jaggi. Cocoa: A general framework for communication-efficient distributed optimization.Journal of Machine Learning Research, 18(230):1–49, 2018
2018
-
[21]
Regression shrinkage and selection via the lasso.Journal of the Royal Statistical Society Series B: Statistical Methodology, 58(1):267–288, 1996
Robert Tibshirani. Regression shrinkage and selection via the lasso.Journal of the Royal Statistical Society Series B: Statistical Methodology, 58(1):267–288, 1996
1996
-
[22]
Principles of risk minimization for learning theory.Advances in neural information processing systems, 4, 1991
Vladimir Vapnik. Principles of risk minimization for learning theory.Advances in neural information processing systems, 4, 1991
1991
-
[23]
Support-vector networks.Machine learning, 20:273–297, 1995
Vladimir Vapnik. Support-vector networks.Machine learning, 20:273–297, 1995
1995
-
[24]
Trading computation for communication: Distributed stochastic dual coordinate ascent.Advances in neural information processing systems, 26, 2013
Tianbao Yang. Trading computation for communication: Distributed stochastic dual coordinate ascent.Advances in neural information processing systems, 26, 2013
2013
-
[25]
A survey of admm variants for distributed optimization: Problems, algorithms and features.arXiv preprint arXiv:2208.03700, 2022
Yu Yang, Xiaohong Guan, Qing-Shan Jia, Liang Yu, Bolun Xu, and Costas J Spanos. A survey of admm variants for distributed optimization: Problems, algorithms and features.arXiv preprint arXiv:2208.03700, 2022
2022 arXiv
-
[26]
Federated learning via inexact admm.IEEE Transactions on Pattern Analysis and Machine Intelligence, 45(8):9699–9708, 2023
Shenglong Zhou and Geoffrey Ye Li. Federated learning via inexact admm.IEEE Transactions on Pattern Analysis and Machine Intelligence, 45(8):9699–9708, 2023
2023
-
[27]
Regularization and variable selection via the elastic net.Journal of the Royal Statistical Society Series B: Statistical Methodology, 67(2):301–320, 2005
Hui Zou and Trevor Hastie. Regularization and variable selection via the elastic net.Journal of the Royal Statistical Society Series B: Statistical Methodology, 67(2):301–320, 2005. 11 Appendix A Derivation of the Dual Problem Proof. Let w⊤xi =u i for any i= 1, . . . , n, we c...
2005
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.