---
title: Cyclical Monotonicity in Optimal Transport
url: https://www.emergentmind.com/topics/cyclical-monotonicity
type: topic
---

# Cyclical Monotonicity in Optimal Transport

Cyclical monotonicity is a central concept in convex analysis, optimal transport theory, and the study of monotone operators, providing a geometric and variational characterization of optimal transport plans and subdifferentials of convex functions. Its generalizations underpin the structure of optimizers in classical and weak transport problems, multi-marginal settings, port-Hamiltonian systems, and even differential inclusions with non-convex right-hand sides.

## 1. Definition and Basic Properties

Cyclical monotonicity refines classical monotonicity of set-valued maps and relations. For a pair of spaces (typically $X$ and $Y$ vector spaces or Polish spaces) and a function $c\colon X \times Y \to \mathbb{R} \cup \{+\infty\}$, a set $\Gamma \subset X \times Y$ is $c$-cyclically monotone if for any finite collection $\{(x_i, y_i)\}_{i=1}^n \subset \Gamma$ and any permutation $\sigma$ of $\{1,\ldots,n\}$,
\[
\sum_{i=1}^n c(x_i, y_i) \leq \sum_{i=1}^n c(x_i, y_{\sigma(i)}).
\]
In the classical monotonicity case ($c(x, y) = -\langle x, y \rangle$), this reduces to the usual monotonicity inequality. The set is maximally $c$-cyclically monotone if it cannot be strictly enlarged without losing this property. The concept extends naturally to multi-marginal settings and infinite-dimensional linear programs by a suitable adaptation of the cycle concept, e.g., by permutations of coordinates in the product $X_1 \times \cdots \times X_N$ [2308.07682, 1404.7054, 2212.08375].

Key properties:
- In convex analysis, the graph of the subdifferential $\partial \varphi$ of a proper lower semicontinuous convex function $\varphi$ is maximally cyclically monotone [2308.07682, 2206.09139].
- In optimal transport, cyclically monotone supports of transport plans characterize optimality for broad classes of cost functions [1809.05893, 2606.19516, 2110.11707].

## 2. Role in Optimal Transport Theory

Cyclical monotonicity provides both necessary and sufficient conditions for optimality in the Monge–Kantorovich transport problem:
\[
\inf_{\pi \in \Pi(\mu, \nu)} \int c(x, y) \, d\pi(x, y),
\]
where $\pi$ ranges over couplings of given marginals $\mu, \nu$.

- **Necessity:** Any optimal coupling $\pi^*$ is $c$-cyclically monotone, regardless of whether the cost $c$ is merely Borel measurable and nonnegative. This follows from a cycle perturbation argument: if the inequality fails on any finite cycle, a small mass rearrangement along the cycle reduces the cost, contradicting optimality [2606.19516, 2308.07682].
- **Sufficiency:** Under additional regularity (e.g., lower semicontinuity, compactness of support, or bounded growth), any $c$-cyclically monotone plan of finite cost is optimal. Sufficiency fails if no growth bound is imposed or if the cost can take $+\infty$ values without being path-bounded [2308.07682, 1601.05608, 2212.08375, 1404.7054].

This principle unifies the variational, geometric, and dual (potential-theoretic) perspectives and underlies efficient solution methods for finite, infinite, classical, and multi-marginal transport [1404.7054, 2212.08375, 2110.11707].

## 3. Duality and Convex Potentials

Rockafellar’s theorem establishes that maximal cyclically monotone sets are precisely subdifferential graphs of convex functions. In the classical setting ($c(x, y) = -\langle x, y \rangle$), a set $\Gamma \subset X \times Y$ is maximally cyclically monotone if and only if there exists a proper l.s.c. convex function $\varphi\colon X \to \mathbb{R} \cup \{+\infty\}$ such that $\Gamma = \text{Graph}(\partial \varphi)$. The corresponding variational formula for $\varphi$ is built from chain sums along cycles in $\Gamma$ [2206.09139, 2308.07682].

In optimal transport with general cost $c$, the analogous notion is $c$-convexity. For a $c$-cyclically monotone set $\Gamma$, there exists a $c$-convex function $\varphi$ (satisfying Fenchel-type inequalities) such that $\Gamma \subset \partial^c \varphi$. If $c$ is real-valued and continuous, maximality holds, i.e., $\Gamma = \partial^c \varphi$ [2308.07682].

In weak optimal transport, duality involves a functional $C(x, \rho)$ (convex in $\rho$) and the criterion of $C$-monotonicity, tightly coupled to complementary slackness in the dual [1809.05893, 2606.19516]. The dual potential $R_C\psi(x) = \inf_{p} [p(\psi) + C(x, p)]$ is minimized at the disintegration $\pi_x$, and the optimality conditions are localized via cyclical monotonicity [1809.05893].

## 4. Generalizations: Weak, Multi-Marginal, and Constrained Settings

The cyclical monotonicity principle extends to several advanced settings:
- **Weak Transport:** The cost is $C(x, \rho)$ for $\rho \in \mathcal P(Y)$ and cyclical monotonicity is replaced by a "no-improvement" inequality involving alternative conditional distributions, matching the structure of the weak cost functional [1809.05893, 2606.19516].
- **Multi-Marginal Transport:** Cyclical monotonicity is generalized to product spaces $X_1 \times \dots \times X_N$ with cost $c(x_1, \ldots, x_N)$. The corresponding criterion involves simultaneous permutations of components and is necessary and sufficient for optimality under mild regularity [1601.05608, 2212.08375].
- **Capacity Constraints:** In constrained OT, $c$-cyclical monotonicity is further generalized to $c$-capacity monotonicity. Here admissible perturbations are constrained to "competitor" measures respecting both marginals and capacity-induced costs. The constrained optimizer is $c$-capacity monotone, nesting the unconstrained theory as a special case [2508.20428].

A unifying notion in all these settings is finitistic optimality, which requires cyclic monotonicity for all finite configurations compatible with the constraints of the problem [1404.7054].

## 5. Interactions with Monotone Operator Theory and Convex Analysis

Cyclical monotonicity lies at the interface of convex analysis and the theory of monotone operators:
- **Maximal Cyclically Monotone Relations:** In finite dimensions, Rockafellar’s theorem implies every maximal cyclically monotone relation is the subdifferential of a convex function, and this characterization extends to port-Hamiltonian systems, gradient flows, and electrical networks. The construction of the generating convex potential uses a sup formula over chains in the relation [2206.09139].
- **Multi-Conjugate and Multi-Marginal Theory:** In the multi-marginal context, cyclically monotone contact sets correspond to multi-conjugate convex functions. On the real line, these properties extend the Fenchel–Moreau involution (i.e., $f^{**} = f$). In higher dimensions, additional smoothness (essential smoothness) is required for involutivity and maximality; otherwise, contact sets can fail to be maximal cyclically monotone [2207.04830].
- **Weak Cyclic Monotonicity:** Further weakening, as in differential inclusions, a map is weakly cyclically monotone if every finite cyclically monotone chain can be extended by at least one more point while maintaining monotonicity. This property, strictly weaker than classical cyclic monotonicity but stronger than one-sided monotonicity, allows for existence results in otherwise non-convex settings [1307.2072].

## 6. Algorithmic, Structural, and Applied Consequences

Cyclical monotonicity has algorithmic and structural significance:
- **Structure of Optimal Plans:** In $n$-dimensional OT, the optimal coupling is supported on a cyclically monotone set, often non-crossing in the one-dimensional case, or a permutation in discrete cases when additional structure (e.g., conditional negative semi-definiteness) is present [2602.16265].
- **Port-Hamiltonian and Equilibrium-Independent Passive Systems:** In incremental passivity analysis and interconnected physical systems, maximal cyclically monotone relations and their composition via convex potentials provide the underlying variational structure [2206.09139].
- **Practical Optimization:** Enforcing or penalizing violations of $c$-cyclical monotonicity leads to more tractable and meaningful regularized transport problems, e.g., in Wasserstein barycenter computation [2110.11707].

A summary of core facts is given in the following table.

| Setting                  | Cyclical Monotonicity Role                  | Sufficient for Optimality?                                                    |
|--------------------------|---------------------------------------------|-------------------------------------------------------------------------------|
| Classical OT (two marg.) | Necessary and sufficient (with regularity)  | Yes, under lower-semicontinuity or boundedness [2308.07682, 2606.19516]       |
| Multi-marginal OT        | Necessary and sufficient (with regularity)  | Yes, for continuous costs and growth bounds [1601.05608, 2212.08375]          |
| Weak OT                  | $C$-monotonicity as first-order criterion   | Yes, under convexity and regularity [1809.05893, 2606.19516]                  |
| Port-Hamiltonian         | Characterizes subdifferential structure     | Yes, links to incremental passivity [2206.09139]                              |
| Capacity constraints     | $c$-capacity monotonicity generalizes $c$-cyclic | Yes, in the presence of the capacity constraint [2508.20428]              |
| Differential inclusions  | Weak cyclic monotonicity gives existence    | Sufficient for existence, weaker than classical monotonicity [1307.2072]      |

## 7. Open Problems and Further Developments

Key open questions in the theory include:
- Sufficiency of cyclical monotonicity without continuity assumptions on the cost in multi-marginal and infinite-dimensional settings [2308.07682, 2212.08375].
- Characterization and structure of maximal $c$-cyclically monotone sets in infinite-dimensional or non-separable spaces [2308.07682].
- Quantitative and stability estimates for monotonicity, and connections to regularity in PDEs and control theory [2308.07682].
- Complete duality theory in settings with partial or irregular marginal data and generalized moment problems [1404.7054].

Cyclical monotonicity remains a unifying concept illuminating the intersection of convex geometry, variational analysis, and optimization. In both foundational theoretical and applied computational regimes, it identifies the geometric locus of optimality and underlies the emergence of dual potentials and monotone relations characteristic of optimal transport and convex variational systems.

Source: https://www.emergentmind.com/topics/cyclical-monotonicity