Bass martingales need not stretch
In classical optimal transport, the equivalence of optimality, convex gradient structure, and cyclical monotonicity is a central paradigm. Known counterexamples to this equivalence rely on carefully constructed costs. In contrast, we show that this equivalence can fail in martingale transport in dimension ${d \ge 2}$: already for the canonical martingale Benamou-Brenier problem and irreducible marginals we have the strict inclusions \[ \text{optimality} \;\subsetneq \; \text{(Bass) convex gradient structure} \;\subsetneq\; \text{martingale cyclical monotonicity}\, . \] However, under the stronger assumption of strict irreducibility, we establish that these three notions coincide. Understanding when the gradient structure guarantees optimality is also of practical relevance, since algorithms based on the Bass gradient representation are used in financial model calibration. All our counterexamples are based on the following phenomenon: for $d\ge2$, there exist two one-step martingales $X,Y$ with the same initial and terminal laws, and a convex function $ψ$ such that \[ 0=\mathbb E\big[\mathbb E[ψ(Y_1)\mid Y_0]-ψ(Y_0)\big] < \mathbb E\big[\mathbb E[ψ(X_1)\mid X_0]-ψ(X_0)\big] <\infty. \]