Search papers, labs, and topics across Lattice.
The authors refute Rockafellar's longstanding sum conjecture by constructing pairs of maximally monotone operators on $c_0$ and $\ell^1$ that satisfy the classical interior-domain constraint qualification yet produce a nonmaximal sum. To achieve this, they develop a general construction theorem that computes the exact monotone polar of a class of operator graphs and reveals how positive rank-one perturbations induce nonmaximality. By extending the $c_0$ counterexample to $\ell^1$ via a bounded linear surjection, the work establishes that Rockafellar's constraint qualification fails to guarantee sum maximality in standard non-reflexive Banach spaces.
Rockafellar's classic interior-domain constraint qualification is insufficient to guarantee that the sum of two maximally monotone operators remains maximally monotone, overturning a foundational conjecture in convex analysis.
We construct counterexamples to Rockafellar's sum conjecture in which two maximally monotone operators satisfy the interior-domain condition but their sum is not maximally monotone. We give one counterexample on $c_0$ and another on $\ell^1$ with its usual norm. We establish a general construction theorem that computes the entire monotone polar of a class of graphs, gives a necessary and sufficient condition for their maximal monotonicity, and shows how a positive rank-one perturbation yields a nonmaximal sum under this condition. We verify the theorem's hypotheses and its maximality criterion on $c_0$, thereby obtaining a counterexample to the conjecture. Furthermore, we construct a bounded linear surjection from $\ell^1$ onto $c_0$ and use it to obtain the counterexample on $\ell^1$.
