Pith. sign in

REVIEW 1 cited by

The Baillon-Haddad Theorem Revisited

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 0906.0807 v2 pith:NOIXUEWU submitted 2009-06-04 math.OC math.FA

The Baillon-Haddad Theorem Revisited

classification math.OC math.FA
keywords baillon-haddadnonexpansiveresulttheoremactuallyalternativeanalysisapplications
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In 1977, Baillon and Haddad proved that if the gradient of a convex and continuously differentiable function is nonexpansive, then it is actually firmly nonexpansive. This result, which has become known as the Baillon-Haddad theorem, has found many applications in optimization and numerical functional analysis. In this note, we propose short alternative proofs of this result and strengthen its conclusion.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. What's in a Smoothness Constant? Tighter Rates for Local SGD with Bounded Second-order Heterogeneity

    cs.LG 2026-07 conditional novelty 7.0

    Local SGD provably improves over Mini-batch SGD under bounded second-order heterogeneity in the general convex setting, with nearly tight upper and lower bounds.