## 1. Introduction

Strassen's theorem [Reference Strassen14] characterizing the existence of a probability measure on a product measurable space, having fixed marginals and prescribed support, has enjoyed an illustrious history, both leading to new fruitful research directions and having significant applications. Such joint probability measures, known as couplings of the pair of original measures, are the starting point of the theory of optimal transport and appear as a fundamental concept in the celebrated Monge–Kantorovich duality [Reference Villani15, Reference Villani16]. They are also at the heart of Arveson's null set theorem [Reference Arveson1], which formed the base of vast parts of non-self-adjoint operator algebra theory and had a lasting impact on the study of invariant spaces for collections of Hilbert space operators (see [Reference Davidson7]). Arveson's null set theorem was given a quantitative formulation by Haydon and Shulman [Reference Haydon and Shulman10]; the quantifying parameters defined therein were shown in [Reference Haydon and Shulman10] to be capacities in the sense of Choquet's capacitability theory [Reference Choquet6].

Recently, a quantum version of Strassen's theorem was established [Reference Zhou, Ying, Yu and Ying17], inspired by applications to quantum information theory. In the latter setting, the result identifies necessary and sufficient conditions for the existence of a state on the tensor product of two matrix algebras with prescribed marginal states. A study of related phenomena in the case of infinite dimensional type I factors was pursued in [Reference Friedland, Ge and Zhi8].

The aim of the present paper is to formulate and exploit a common framework that unifies and extends the several aforementioned themes. Given two unital C*-algebras $\mathcal {A}$ and $\mathcal {B}$, equipped with respective states $\phi$ and $\psi$, we introduce three parameters that measure the capacity that the couplings of $\phi$ and $\psi$ – that is, states on the minimal tensor product $\mathcal {A}\otimes \mathcal {B}$ whose marginals coincide with $\phi$ and $\psi$, respectively – align with a given positive operator $T$ in the enveloping von Neumann algebra $(\mathcal {A}\otimes \mathcal {B})^{**}$. In the case $T$ is an orthogonal projection, these parameters can be thought of as capacities of that projection to support a quantum coupling of the two given states. We establish a duality result of Monge–Kantorovich type in this context, stating that two of the introduced parameters coincide whenever $T \in \mathcal {A} \otimes \mathcal {B}$ (see theorem 2.7), and are bounded from above by the third.

Restricting to abelian C*-algebras and to orthogonal projections, we show that our parameters coincide with the Choquet capacities of Haydon and Shulman (see [Reference Haydon and Shulman10]). The positive operator $T\in (\mathcal {A}\otimes \mathcal {B})^{**}$ can in this case be thought of as a measurable cost function in the sense of the theory of optimal transport [Reference Villani15]. On the other hand, restricting to the case where the C*-algebras are matrix algebras, we see that the duality result implies the quantum versions of Strassen's theorem established in [Reference Friedland, Ge and Zhi8, Reference Zhou, Ying, Yu and Ying17]. Thus, our result can be thought of as a quantitative extension of a C*-algebra version of Strassen's theorem, closely related to a non-commutative version of Arveson's null set theorem.

We show that, in the case of matrix algebras, the introduced coupling capacities can detect maximal entanglement and separability of bipartite states (see theorem 3.7). We further establish several general facts, showing that our parameters enjoy natural continuity properties, both when considered as functions on the positive operator in $\mathcal {A}\otimes \mathcal {B}$, and on the pair $(\phi,\,\psi )$ of states. Finally, we would like to note that in recent years the (noncommutative) optimal transport techniques appeared in the operator algebraic contexts ranging from the classification theory of C*-algebras [Reference Jacelon, Strung and Vignati11] to free probability [Reference Gangbo, Jekel, Nam and Shlyakhtenko9]. Some other capacities in the context of C*-algebras have been studied in [Reference Comman18].

The paper is organized as follows: after describing the basic notation in the remainder of the Introduction, in § 2 we introduce our capacities, establish the relationship between them (notably in theorem 2.7) and study the relevant continuity properties. Here, we also discuss the commutative case, providing the connection to Arveson's null set theorem and to the classical Monge–Kantorovich duality. Finally, in § 3 we focus on the matrix case, deducing the quantum Strassen's theorem of [Reference Zhou, Ying, Yu and Ying17] from our main results, developing the connection between coupling capacities and entanglement, and discussing several examples.

We finish this section with setting notation. For a C*-algebra $\mathcal {A}$, we denote by $\mathcal {A}_h$ the real vector space of all hermitian elements in $\mathcal {A}$, by $\mathcal {A}_+$ the cone of its positive elements and by $\mathcal {P}(\mathcal {A})$ the set of all projections in $\mathcal {A}$; note that when $\mathcal {A}$ is a von Neumann algebra, $\mathcal {P}(\mathcal {A})$ is a complete ortho-lattice. We use standard notation for the supremum ($\vee$) and infimum ($\wedge$) in $\mathcal {P}(\mathcal {A})$. We denote by $\mathcal {A}^*$ the dual of $\mathcal {A}$, by $\mathcal {A}^*_+$ the positive functionals on $\mathcal {A}$ and by $\mathcal {A}^{**}$ the second dual of $\mathcal {A}$. We view $\mathcal {A}^{**}$ as the enveloping von Neumann algebra of $\mathcal {A}$, and $\mathcal {A}$ as a C*-subalgebra of $\mathcal {A}^{**}$. If $\phi \in \mathcal {A}^*$ then $\phi$ has a unique extension to a weak* continuous functional on $\mathcal {A}^{**}$, which will be denoted by the same symbol; this operation preserves the property of being a state.

All C*-algebras considered in the paper will be unital; the unit of a C*-algebra $\mathcal {A}$ will be denoted by $1_{\mathcal {A}}$ (or $1$ if there is no danger of confusion). An *operator system* in a C*-algebra $\mathcal {A}$ is a self-adjoint (and not necessarily closed) linear subspace of $\mathcal {A}$ containing $1_{\mathcal {A}}$. A *state* of an operator system $\mathcal {S}$ is a positive functional $f : \mathcal {S}\to {\mathbb C}$ such that $f(1_{\mathcal {A}}) = 1$; the (convex) set of all states of $\mathcal {S}$ is denoted by $S(\mathcal {S})$.

We write $M_n$ for the algebra of all $n$ by $n$ matrices, and ${\rm tr}$ (resp. ${\rm Tr}$) for the normalized (resp. taking value $1$ on minimal projections) trace on $M_n$. If we want to emphasize the underlying dimension, we write $\mathop {\rm tr}_n$. We let $(\epsilon _{i,j})_{i,j=1}^n$ be the canonical matrix unit system in $M_n$. Given a state $\omega : M_n\to {\mathbb C}$, there exists a unique positive semi-definite matrix $A_{\omega }$ with $\mathop {\rm tr}(A_{\omega }) = 1$ (called the density matrix of $\omega$) such that $\omega (B) = \mathop {\rm tr}(A_{\omega }B)$, $B\in M_n$. We will sometimes identify $\omega$ with $A_{\omega }$. In the lack of preferred matrix unit system inside $M_n$, we will use the notation $\mathcal {L}({\mathbb C}^n)$. Given vectors $\xi$ and $\eta$, we use the notation $\xi \eta ^*$ for the rank one operator given by $(\xi \eta ^*)(\zeta ) = \langle \zeta,\,\eta \rangle \xi$. Note that the scalar products are linear on the left.

If $X$ is a compact Hausdorff space, we denote as usual by $C(X)$ the (abelian) C*-algebra of all continuous complex-valued functions on $X$ and by $M(X)$ the space of all complex Borel measures on $X$. Note that, by the Riesz representation theorem, $M(X)$ can be canonically identified with $C(X)^*$.

## 2. Definition of coupling capacities and their fundamental properties

In this section, we define three parameters that form the focus of the paper and examine some of their properties. The main result of the section is theorem 2.7, which can be thought of as a non-commutative Monge–Kantorovich type duality.

### 2.1 Definitions

Let $\mathcal {A}$ and $\mathcal {B}$ be unital C*-algebras, equipped with states $\phi$ and $\psi$, respectively. We denote by $\mathcal {A}\otimes \mathcal {B}$ (resp. $\mathcal {A}\odot \mathcal {B}$) the minimal (resp. the algebraic) tensor product of $\mathcal {A}$ and $\mathcal {B}$. For an element $\sigma \in (\mathcal {A}\otimes \mathcal {B})^*$, we denote by $\sigma _{\mathcal {A}}$ (resp. $\sigma _{\mathcal {B}}$) the element of $\mathcal {A}^*$ (resp. $\mathcal {B}^*$) given by

thus, $\sigma _{\mathcal {A}}$ (resp. $\sigma _{\mathcal {B}}$) is the $\mathcal {A}$-marginal (resp. the $\mathcal {B}$-marginal) of $\sigma$.

Definition 2.1 A positive functional $\sigma : \mathcal {A}\otimes \mathcal {B}\to {\mathbb C}$ is called a *coupling* of the states $\phi$ and $\psi$ (or a $(\phi,\,\psi )$*-coupling*) if $\sigma _{\mathcal {A}} = \phi$ and $\sigma _{\mathcal {B}} = \psi$.

We denote by $\mathop {\mathsf {C}}(\phi,\,\psi )$ the set of all $(\phi,\,\psi )$-couplings. Note that each $(\phi,\,\psi )$-coupling is automatically a state and that $\mathop {\mathsf {C}}(\phi,\,\psi )$, equipped with weak$^*$ topology, is a compact convex set.

Remarks 2.2

(i) Suppose that $X$ (resp. $Y$) is a compact Hausdorff space, $\mathcal {A} = C(X)$ (resp. $\mathcal {B} = C(Y)$), and let $\mu$ (resp. $\nu$) be a Borel probability measure on $X$ (resp. $Y$). Viewing $\mu$ (resp. $\nu$) as a state on $\mathcal {A}$ (resp. $\mathcal {B})$, we see that the elements of $\mathop {\mathsf {C}}(\mu,\,\nu )$ are precisely the couplings of the measures $\mu$ and $\nu$ in terms of the theory of optimal transport (see [Reference Villani16, Definition 1.1]).

(ii) Specializing further, let $\mathcal {A}$ and $\mathcal {B}$ coincide with the algebra $\mathcal {D}_n$ of all diagonal matrices in $M_n$ (where $n\in {\mathbb N}$). Recall that a matrix $\Lambda = (\lambda _{i,j})_{i,j=1}^n \in M_n$ is called

*bistochastic*if\[ \lambda_{i,j}\geq 0 \quad \mbox{and} \quad \sum_{j'=1}^n \lambda_{i,j'} = \sum_{i'=1}^n \lambda_{i',j} = 1, \quad i,j = 1,\dots,n. \]In view of the canonical (algebraic) identification $\mathcal {D}_n\otimes \mathcal {D}_n \equiv M_n$, we can thus refer to an element of $\mathcal {D}_n\otimes \mathcal {D}_n$ being bistochastic. If $\sigma \in (\mathcal {D}_n\otimes \mathcal {D}_n)^*$, there exists a (unique) $A_{\sigma }\in \mathcal {D}_n\otimes \mathcal {D}_n$ such that\[ \sigma(T) = {\rm tr}_{n^2}(TA_{\sigma}), \quad T\in \mathcal{D}_n\otimes\mathcal{D}_n. \]It is straightforward to verify that $\sigma \in \mathop {\mathsf {C}}({\rm tr},\,{\rm tr})$ if and only if the matrix $({1}/{n}) A_\sigma$ is bistochastic.

Let $\mathcal {A}$ and $\mathcal {B}$ be unital C*-algebras. We have that $\mathcal {A} \otimes 1\subseteq \mathcal {A}\otimes \mathcal {B}$ as C*-algebras, and hence

as von Neumann algebras. Similarly, $1\otimes \mathcal {B}^{**}\subseteq (\mathcal {A}\otimes \mathcal {B})^{**}$. By [Reference Brown and Ozawa5, Proposition 9.2.1], the two von Neumann subalgebras $\mathcal {A}^{**}\otimes 1$ and $1\otimes \mathcal {B}^{**}$ of $(\mathcal {A}\otimes \mathcal {B})^{**}$ mutually commute and there exists a canonical separately weak* continuous embedding

In particular, we can consider $\mathcal {A}^{**}\otimes 1 + 1\otimes \mathcal {B}^{**}$ as an operator subsystem of $(\mathcal {A}\otimes \mathcal {B})^{**}$. The latter identification will be made throughout the rest of the paper.

For a unital C*-algebra $\mathcal {A}$ and a state $\phi$ on $\mathcal {A}$, we will refer to the pair $(\mathcal {A},\,\phi )$ as a *measured C*-algebra*. (The motivation for the terminology comes from the commutative case $\mathcal {A} = C(X)$, where $X$ is a compact Hausdorff space and the fact that, in this case, states on $\mathcal {A}$ correspond canonically to Borel probability measures on $X$.)

Definition 2.3 Let $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ be measured $C^*$-algebras. For $T\in \mathcal {(}\mathcal {A}\otimes \mathcal {B})^{**}_+$ with $\|T\|\leq 1$, let

and

We will refer to $\alpha (T)$ (resp. $\gamma (T)$) as the *coupling capacity* (resp. the *projective coupling capacity*) of $(\phi,\,\psi )$ with respect to $T$.

Remark 2.4

(i) By the compactness of the set $\mathop {\mathsf {C}}(\phi,\,\psi )$ in the weak* topology, the supremum in the definition of $\alpha (T)$ is achieved if $T \in \mathcal {A} \otimes \mathcal {B}$.

(ii) Let

\[ \tilde{\mathop{\mathsf{C}}}(\phi,\psi) = \left\{\sigma\in (\mathcal{A}\otimes\mathcal{B})^*_+ : \sigma_{\mathcal{A}}\leq \phi \quad \mbox{and}\quad \sigma_{\mathcal{B}}\leq \psi\right\}. \]For $T \in \mathcal {(}\mathcal {A}\otimes \mathcal {B})^{**}_+$, we have that(2.2)\begin{equation} \alpha(T) = \sup\left\{\sigma(T) : \sigma\in \tilde{\mathop{\mathsf{C}}}(\phi,\psi)\right\}. \end{equation}Indeed, letting $\alpha '(T)$ denote the right-hand side of (2.2), we trivially have $\alpha (T)\leq \alpha '(T)$. Suppose that $\sigma \in \tilde {\mathop {\mathsf {C}}}(\phi,\,\psi )$. Then, $\sigma (1) = \sigma _{\mathcal {A}}(1) \leq \phi (1) = 1$. Let $\phi ' = \phi - \sigma _{\mathcal {A}}$ and $\psi ' = \psi - \sigma _{\mathcal {B}}$; then $\phi '$ and $\psi '$ are positive functionals. If $\sigma (1) = 1$ then\[ \phi'(1) = \phi(1) - \sigma(1\otimes 1) = 0 \]and hence $\phi ' = 0$, that is, $\sigma _{\mathcal {A}} = \phi$; similarly, $\sigma _{\mathcal {B}} = \psi$, that is, $\sigma \in \mathop {\mathsf {C}}(\phi,\,\psi )$. We may hence assume that $\sigma (1) < 1$. Set:\[ \sigma' = \sigma + \frac{1}{1 - \sigma(1)}\phi'\otimes \psi'; \]for $a\in \mathcal {A}$ we then have\[ \sigma'(a\otimes 1) = \sigma(a\otimes 1) + \frac{1}{1 - \sigma(1)}\phi'(a)\psi'(1) = \sigma(a\otimes 1) + \phi'(a) = \phi(a), \]that is, $\sigma '_{\mathcal {A}} = \phi$; similarly, $\sigma '_{\mathcal {B}} = \psi$, that is, $\sigma '\in \mathop {\mathsf {C}}(\phi,\,\psi )$. In addition, $\sigma \leq \sigma '$ and hence $\alpha '(T)\leq \alpha (T)$, establishing (2.2).

### 2.2 A Monge–Kantorovich-type duality

The purpose of this subsection is to identify the relations between the parameters $\alpha$, $\beta$ and $\gamma$. As a motivating example, consider the special case where $\mathcal {A} = \mathcal {B} = \mathcal {D}_n$, equipped with normalized trace $\mathop {\rm tr}$. As pointed out in remark (ii) after definition 2.1, up to rescaling, the elements in $\mathop {\mathsf {C}}(\mathop {\rm tr},\, \mathop {\rm tr})$ correspond to bistochastic matrices.

Using the Birkhoff–von Neumann theorem, it is straightforward to see that $\alpha (E) = \gamma (E)$ for every projection $E$ in $\mathcal {D}_n \otimes \mathcal {D}_n$. (In fact, one can easily verify that both $\alpha (E)$ and $\gamma (E)$ are equal to the normalized length of a maximal partial graph of a (partial) bijection, contained in $E$.)

We begin with a general min–max result regarding the state extensions. After the first version of this article was announced, Michael Hartz kindly pointed out to us that a very similar result is contained in [Reference Arveson2, Proposition 6.2].

Lemma 2.5 Let $\mathcal {C}$ be a unital C*-algebra and $\mathcal {S} \subseteq \mathcal {C}$ be an operator subsystem. For $\tau \in S(\mathcal {S})$, let ${\rm Ext}(\tau ) = \left \{\omega \in S(\mathcal {C}): \omega |_{\mathcal {S}} = \tau \right \}$. Then, for any hermitian element $x\in \mathcal {C}$, we have

Proof. Let $t_0$ (resp. $t$) denote the left (resp. right) hand side of (2.3). If $y \in \mathcal {S}_h$, $x \leq y$ and $\omega \in {\rm Ext}(\tau )$, then $\omega (x)\leq \omega (y) = \tau (y)$, so $t_0\leq t$.

If $x\in \mathcal {S}$, then both sides of (2.3) are equal to $\tau (x)$, so we may assume that $x \notin \mathcal {S}$. Consider the subspace $\mathcal {T} := \mathcal {S} + {\mathbb C}x$ and define a linear functional $\tau ' : \mathcal {T} \to {\mathbb C}$ by letting

The fact that $\tau '$ is well-defined is a consequence of the fact that $x \notin \mathcal {S}$; in addition, $\tau '$ is clearly unital.

Suppose that $z = y + \lambda x \in \mathcal {T}_+$; then $\lambda \in {\mathbb R}$ and $y\in \mathcal {S}_h$. We will show that $\tau '(z) \geq 0$. Assume first that $\lambda < 0$. Then, $(-\lambda )^{-1} y \geq x$, so $\tau ((-\lambda )^{-1} y) \geq t$, and hence

If $\lambda > 0$ then, for any $\omega \in {\rm Ext}(\tau )$, we have that

Thus, $\tau ({y}/{\lambda }) + t_0 \geq 0$. By the first part of the proof, $\tau ({y}/{\lambda }) + t \geq 0$; this implies that $\tau '(z)\geq 0$. Finally, for $\lambda = 0$ the fact that $\tau '(z) \geq 0$ is trivial. Thus, $\tau '$ is a positive functional. Extend $\tau '$ to a state $\widetilde {\tau }$ on $\mathcal {C}$. We have that $\widetilde {\tau }\in {\rm Ext}(\tau )$ and that $\widetilde {\tau }(x) = t$. It follows that $t\leq t_0$, completing the proof.

Lemma 2.6 Let $H$ be a Hilbert space and $P$ and $Q$ be projections on $H$.

(i) If $PQ = QP$ and $T$ is a positive contraction on $H$, then $T\leq P + Q$ if and only if $T\leq P \vee Q$.

(ii) If $rP \leq Q$ for some $r > 0$ then $P\leq Q$.

Proof. (i) Assume that $T\leq P + Q$, suppose that $T^{1/2} (P\vee Q)^{\perp } \neq 0$ and let $\xi \in H$ be such that $T^{1/2}(P^{\perp }Q^{\perp })\xi \neq 0$. Set $\eta = (P^{\perp }Q^{\perp })\xi$; then $(P\eta,\,\eta ) = (Q\eta,\,\eta ) = 0$ but $0\neq \|T^{1/2}\eta \|^2 = (T\eta,\,\eta )$, a contradiction with the assumption that $T\leq P + Q$. It follows that $T^{1/2}(P\vee Q)^{\perp } = 0$ and hence $(P\vee Q)^{\perp }T = 0$, implying that ${\rm ran}(T)\subseteq {\rm ran}(P\vee Q)$. Since $\|T\|\leq 1$, the latter condition implies $T\leq P\vee Q$. The converse implication follows from the fact that $P\vee Q\leq P + Q$.

(ii) For $\xi \in H$, we have

showing that $PQ^{\perp } = 0$. Thus, $P\leq Q$.

The second part of the following theorem is one of the key results of the paper.

Theorem 2.7 Let $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ be measured $C^*$-algebras and $T\in (\mathcal {A}\otimes \mathcal {B})^{**}$ be a positive contraction. Then,

Furthermore, if $T \in (\mathcal {A} \otimes \mathcal {B})_+$ then $\alpha (T) = \beta (T)$.

Proof. Let $T \in (\mathcal {A}\otimes \mathcal {B})^{**}$ be as above. It is easy to see that if $\sigma \in \mathop {\mathsf {C}}(\phi,\,\psi )$ and $a\in \mathcal {A}^{**}$, $b \in \mathcal {B}^{**}$, then $\sigma (a \otimes 1 + 1 \otimes b) = \phi (a) + \psi (b)$. This immediately shows that $\sigma (T) \leq \phi (a) + \psi (b)$ whenever $T \leq a \otimes 1 + 1 \otimes b$, so that $\alpha (T) \leq \beta (T)$.

Restricting the right-hand side of (2.4) to projections $p = a$ and $q = b$, an application of lemma 2.6(i) shows that $\beta (T)\leq \gamma (T)$. Finally, since $p = 1$, $q = 0$ gives a feasible choice for the projections $p$ and $q$, we have that $\gamma (T) \leq 1$.

Assume now that $T \in (\mathcal {A} \otimes \mathcal {B})_+$ and in lemma 2.5 set $\mathcal {C} :=\mathcal {A}\otimes \mathcal {B}$ and $\mathcal {S} := \mathcal {A}\otimes 1 + 1\otimes \mathcal {B}$, equipped with the state $\tau := \phi \otimes \psi |_{\mathcal {S}}$. Note that if $a\in \mathcal {A}$ then $a\otimes 1\in \mathcal {S}$ and $\tau (a\otimes 1) = \phi (a)$; similarly, if $b\in \mathcal {B}$ then $\tau (1\otimes b) = \psi (b)$. By lemma 2.5:

The condition $a\otimes 1 + 1\otimes b \in (\mathcal {A}\otimes 1 + 1\otimes \mathcal {B})_h$ implies that $a\otimes 1 + 1\otimes b = {(a+a^*)}/{2} \otimes 1 + 1 \otimes {(b+b^*)}/{2}$ and therefore that

It follows that the elements $a$ and $b$ on the right-hand side of (2.4) can be assumed hermitian.

Assume that $a\in \mathcal {A}_h$ and $b\in \mathcal {B}_h$ are such that $T\leq a\otimes 1 + 1\otimes b$. We claim that, without loss of generality, the elements $a$ and $b$ can be assumed positive. Write ${\rm sp}(x)$ for the spectrum of $x$ and let $s = \min {\rm sp(a)}$ and $t = \min {\rm sp(b)}$. If $\min \{s,\,t\} \geq 0$ then $a$ and $b$ are positive and the claim is vacuous. Suppose that $\min \{s,\,t\} < 0$, say $s < 0$. Let $(\xi _n)_{n\in {\mathbb N}}$ (resp. $(\eta _n)_{n\in {\mathbb N}}$) be a sequence of unit vectors in the Hilbert space $H_{\mathcal {A}}$ (resp. $H_{\mathcal {B}}$) of the faithful representation of $\mathcal {A}$ (resp. $\mathcal {B}$) such that

As

we have that $s + t\geq 0$. Let $a' = a - s1$ and $b' = b + s1$. Then, $a'\geq 0$ and $b' \geq b - t1 \geq 0$. On the other hand, trivially,

We have shown that the elements $a$ and $b$ in (2.4) can be assumed to be positive, and combined with the first paragraph, this implies that $\alpha (T) = \beta (T)$.

Remark 2.8 It is natural to ask whether the equality $\alpha (T) = \beta (T)$ can be extended beyond elements of $(\mathcal {A} \otimes \mathcal {B})_+$. An instance where this is true can be seen in proposition 2.18; the general case remains open.

It is clear that if $T\in (\mathcal {A}\otimes \mathcal {B})^{**}$ is a positive contraction and $E$ is its range projection then $\gamma (T) = \gamma (E)$. It is therefore natural to restrict attention to the values of the parameter $\gamma$ on the projections in $(\mathcal {A}\otimes \mathcal {B})^{**}$ alone. As we next note, the inequality $\beta (T) \leq \gamma (T)$ can be strict even for $T \in \mathcal {A} \otimes \mathcal {B}$. We will need a special case of the following proposition which, at the same time, exhibits a case, where an equality between $\beta$ and $\gamma$ takes place.

Proposition 2.9 Let $(\mathcal {A},\,\phi )$ and $(\mathcal {B},\,\psi )$ be measured C*-algebras, and $e\in \mathcal {P}(\mathcal {A}^{**})$ and $f\in \mathcal {P}(\mathcal {B}^{**})$. Then,

If, in addition, $\mathcal {A} = M_n$ and $\mathcal {B} = M_m$ for some $n,\, m \in {\mathbb N}$, and $\phi = \mathop {\rm tr}_n$ and $\psi = \mathop {\rm tr}_m$, then

Proof. Since $e\otimes f \leq e \otimes 1$ and $e\otimes f\leq 1 \otimes f$, we have that $\gamma (e\otimes f) \leq \min \{\phi (e),\,\psi (f)\}$. On the other hand, assume that $p$ and $q$ are projections with $e\otimes f\leq (p\otimes 1)\vee (1\otimes q)$. Then, $(e\otimes f)(p^{\perp }\otimes q^{\perp }) = 0$ and hence either $e\leq p$ or $f\leq q$. This implies that $\phi (p) + \psi (q) \geq \min \{\phi (e),\,\psi (f)\}$ and (2.5) is established.

Proceeding to the justification of (2.6), in view of theorem 2.7 and (2.5), it suffices to show that $\min \{\phi (e),\,\psi (f)\} \leq \alpha (e\otimes f)$. Choose orthonormal bases $(e_1,\,\ldots,\,e_k)$ (resp. $(f_1,\,\ldots,\,f_l)$) of the ranges of $e$ (resp. $f$), and complete it to a basis of ${\mathbb C}^n$ (resp. ${\mathbb C}^m$). Assume, say, that ${k}/{n} \leq {l}/{m}$. Let $\pi$ be the probability distribution on $\{1,\,\ldots,\, n\}\times \{1,\,\ldots,\, m\}$, given by

Then, the marginals of $\pi$ coincide with the uniform distributions and

Let

It is then easy to check that the state on $M_n\otimes M_m$ with density matrix $D$ belongs to $\mathsf {C}(\mathop {\rm tr}_n,\, \mathop {\rm tr}_m)$, and $\mathop {\rm tr} (D(e\otimes f)) = {k}/{n}$. Thus, $\min \{\phi (e),\,\psi (f)\}={k}/{n} \leq \alpha (e \otimes f)$ and the proof is complete.

Remark 2.10 The inequality $\beta (E) \leq \gamma (E)$ in theorem 2.7, for projections $E\in \mathcal {A}\otimes \mathcal {B}$, can be strict. Indeed, let $\mathcal {A} = \mathcal {B} = M_2$ and $\phi = \psi$ coincide with the vector state $\omega _{\xi }$ corresponding to the vector $\xi =({1}/{\sqrt {2}})\left (\begin{smallmatrix}1\\1\end{smallmatrix}\right )$. Let $p$ be the rank one projection with range the subspace generated by the vector $e_1=\left (\begin{smallmatrix}1\\0\end{smallmatrix}\right )$, and $E = p\otimes p$. By proposition 2.9, $\gamma (E) = {1}/{2}$.

We claim that $\beta (E)= {1}/{4}$. Indeed, suppose that $\omega \in S(M_2 \otimes M_2)$ is an element of $\tilde {\mathop {\mathsf {C}}}(\omega _\xi,\,\omega _\xi )$. Writing $p_\xi$ for the projection onto ${\mathbb C}\xi$, this means that $\omega (p_{\xi }^\perp \otimes 1) = \omega (1 \otimes p_\xi ^\perp ) = 0$. Now, an elementary calculation shows that the density matrix $A_{\omega }$ of $\omega$ has rank one. Since ${\rm tr}(A_{\omega })=1$, we conclude that $\omega = \omega _\xi \otimes \omega _\xi$. This implies that $\alpha (E) = \omega _\xi (p)^2= {1}/{4}$.

The state $\omega _\xi$ above is not faithful, but considering instead of this a state of the form $(1- \varepsilon ) \omega _\xi + \varepsilon \omega _\eta$, say with $\eta = ({1}/{\sqrt {2}})\left (\begin{smallmatrix}1\\-1\end{smallmatrix}\right )$, and using once again proposition 2.9 and the upper semicontinuity of proposition 2.15(i), we can see that the inequality $\beta (E) \leq \gamma (E)$ may be strict even for faithful states.

We next exhibit another situation, where an equality between the parameters $\beta$ and $\gamma$ takes place.

Proposition 2.11 Let $E\in (\mathcal {A}\otimes \mathcal {B})^{**}$ be a projection. Suppose that the infimum in the definition of $\beta$ (see (2.1)) is achieved at a pair $(a,\,b)$ such that $E(a\otimes 1) = (a\otimes 1)E$ and $E(1\otimes b) = (1\otimes b)E$. Then, $\beta (E) = \gamma (E)$.

Proof. Let $\epsilon > 0$ and choose $a\in \mathcal {A}^{**}_+$ and $b\in \mathcal {B}^{**}_+$ such that $E\leq a\otimes 1 + 1\otimes b$,

and $\phi (a) + \psi (b) = \beta (E)$. Since the elements $a\otimes 1,\, 1\otimes b$ and $E$ are contained in a common abelian von Neumann algebra, by functional calculus, we can assume that $\|a\|\leq 1$ and $\|b\|\leq 1$. By the spectral theorem, there exist families $(p_i)_{i=1}^n$ (resp. $(q_j)_{j=1}^m$) of mutually orthogonal projections in $\mathcal {A}^{**}$ (resp. $\mathcal {B}^{**}$) with sum $1$, such that $E$ commutes with the family $\{p_i\otimes 1,\, 1\otimes q_j\}_{i,j}$, and scalars $(\lambda _i)_{i=1}^n\in [0,\,1]$ (resp. $(\mu _j)_{j=1}^m \in [0,\,1]$) such that, if

then $a\leq a'$, $b\leq b'$ and $\phi (a') + \psi (b') < \beta (E) + \epsilon.$

Set $c = 1 - a'$ and $d = 1 - b'$, $c_i = 1 - \lambda _i$, $d_j = 1 - \mu _j$, $i=1,\,\ldots,\,n,\, j = 1,\,\ldots,\,m$. Then,

For each $t \in [0,\,1]$, let $p_t = \sum \{p_i : c_i > t\}$ and $q_t = \sum \{q_j : d_j > 1 - t\}$. We claim that

To see this, note that if $c_i > t$ and $d_j > 1 - t$ then $c_i + d_j - 1 > 0$ and write $F$ for the set of these pairs $(i,\,j)$ for which these inequalities hold. By (2.7),

Now, lemma 2.6(ii) implies that $p_i\otimes q_j \leq E^{\perp }$ for every $(i,\,j) \in F$, and (2.8) is proved.

Set $f(t) = \phi (p_t)$ and $g(t) = \psi (q_t)$, $t\in [0,\,1]$. It is straightforward to check that

Since $\phi (c) + \psi (d) > 2 - \beta (E) - \epsilon$, there exists $t_0\in [0,\,1]$ such that $f(t_0) + g(t_0) > 2 - \beta (E) - \epsilon$. Setting $p = 1 - p_{t_0}$ and $q = 1 - q_{t_0}$, we see that $E\leq (p\otimes 1) + (1\otimes q)$. Lemma 2.6(i) implies that $E\leq (p\otimes 1) \vee (1\otimes q)$. Since

we have that $\gamma (E)\leq \beta (E)$ and hence, by theorem 2.7, $\beta (E) = \gamma (E)$.

Remarks 2.12

(i) As a consequence of proposition 2.11 and remark 2.10, we see that the infimum in the definition of $\beta (E)$, for a projection $E$, is not necessarily achieved on elements $a$, $b$ whose ampliations $a\otimes 1$ and $1\otimes b$ commute with $E$.

(ii) We note that the conclusion of proposition 2.11 holds true under the weaker assumption which does not require that the infimum in the definition of $\beta$ is achieved, but that there exists a sequence of pairs $((a_k,\,b_k))_{k\in {\mathbb N}}$, such that for all $k\in {\mathbb N}$ we have $E(a_k\otimes 1) = (a_k\otimes 1)E$, $E(1\otimes b_k) = (1\otimes b_k)E$, and $\phi (a_k) + \psi (b_k)\to _{k\to \infty } \beta (E)$. By functional calculus such pairs exist if $\mathcal {A}$ and $\mathcal {B}$ are commutative.

### 2.3 Monotonicity and preservation

Let $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ be measured $C^*$-algebras, fixed throughout this subsection.

Proposition 2.13

(i) If $(T_k)_{k\in {\mathbb N}}$ is a sequence in $(\mathcal {A}\otimes \mathcal {B})_+$, $T \in (\mathcal {A}\otimes \mathcal {B})_+$ and $T_k\to _{k\to \infty } T$ in the weak* topology, then $\alpha (T) \leq \liminf _{k\in {\mathbb N}} \alpha (T_k)$. If, in addition, the sequence $(T_k)_{k\in {\mathbb N}}$ is monotone then $\alpha (T) = \lim _{k\in {\mathbb N}} \alpha (T_k)$.

(ii) The function $\alpha : (\mathcal {A}\otimes \mathcal {B})_+ \to {\mathbb R}^+$ is convex, monotone and continuous in the norm topology.

Proof. (i) Assume that $T_k\to _{k\to \infty } T$ in the weak* topology and, using remark 2.4(i), let $\sigma \in \mathop {\mathsf {C}}(\phi,\,\psi )$ have the property $\sigma (T) = \alpha (T)$. Then,

Now, suppose that $T_k\to _{k\to \infty } T$ in the weak* topology and the sequence $(T_k)_{k\in {\mathbb N}}$ is monotone. Let $f,\, f_k : \mathop {\mathsf {C}}(\phi,\,\psi ) \to {\mathbb R}^+$ be the functions given by $f(\sigma ) = \sigma (T)$ and $f_k(\sigma ) = \sigma (T_k)$, $k\in {\mathbb N}$. Then, the sequence $(f_k)_{k\in {\mathbb N}}$ is monotone, consists of continuous functions and converges to the continuous function $f$. By Dini's theorem, $f_k\to _{k\to \infty } f$ uniformly; in particular, $\|f_k\|_{\infty } \to _{k\to \infty } \|f\|_{\infty }$, that is, $\alpha (T_k)\to _{k\to \infty } \alpha (T)$.

(ii) It is trivial that, for $S,\,T\in (\mathcal {A}\otimes \mathcal {B})^{**}_+$, the inequality $S\leq T$ implies $\alpha (S)\leq \alpha (T)$. For the convexity, let $S$ and $T$ be positive contractions in $(\mathcal {A}\otimes \mathcal {B})^{**}$, and $s,\,t\in [0,\,1]$, $s + t = 1$. Then,

Let $(T_k)_{k\in {\mathbb N}}$ be a sequence of positive elements in $\mathcal {A}\otimes \mathcal {B}$, and $T$ be a positive element in $\mathcal {A}\otimes \mathcal {B}$. Assume that $\|T_k - T\|\to _{k\to \infty } 0$ and, using remark 2.4(i), let $\sigma _k\in \mathop {\mathsf {C}}(\phi,\,\psi )$ be such that $\alpha (T_k) = \sigma _k(T_k)$, $k\in {\mathbb N}$. Suppose that $\alpha (T_{k_l})\to _{l\to \infty } \delta$ for some subsequence $(k_l)_{l\in {\mathbb N}}$. By the weak* compactness of $\mathop {\mathsf {C}}(\phi,\,\psi )$, we may assume, without loss of generality, that $\sigma _{k_l}\to _{l\to \infty } \sigma$ in the weak* topology, for some $\sigma \in \mathop {\mathsf {C}}(\phi,\,\psi )$. For $\epsilon > 0$, let $l_0\in {\mathbb N}$ be such that $\|T_{k_l} - T_{k_{l_0}}\| < \epsilon$ and $|\sigma (T) - \sigma _{k_l}(T)| < \epsilon$ whenever $l \geq l_0$. Then,

whenever $l\geq l_0$. It follows that

implying that $\delta \leq \alpha (T).$ Thus, $\limsup _{k\in {\mathbb N}} \alpha (T_k) \leq \alpha (T)$. The proof is now complete in view of (i).

We next record a simple observation regarding the behaviour of the coupling capacity with respect to compositions with maps. If $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ are unital C$^*$-algebras equipped with states, a positive map $\Theta : \mathcal {A}\otimes \mathcal {B} \to \mathcal {A}\otimes \mathcal {B}$ will called $(\phi,\, \psi )$-reducing if $\Theta ^*(\mathop {\mathsf {C}}(\phi,\,\psi ))\subseteq \tilde {\mathop {\mathsf {C}}}(\phi,\,\psi )$.

Proposition 2.14 Let $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ be measured $C^*$-algebras, and let $T$ be a positive contraction in $(\mathcal {A}\otimes \mathcal {B})^{**}$.

(i) If $\Theta : \mathcal {A}\otimes \mathcal {B} \to \mathcal {A}\otimes \mathcal {B}$ is a positive $(\phi,\, \psi )$-reducing map, then $\alpha (\Theta ^{**}(T)) \leq \alpha (T)$.

(ii) If $\pi \in {\textrm Aut}(\mathcal {A})$ and $\rho \in {\textrm Aut}(\mathcal {B})$ are automorphisms such that $\phi \circ \pi = \phi$ and $\psi \circ \rho =\psi$, then

\[ \alpha(T) = \alpha\left((\pi\otimes \rho)^{**}(T)\right). \]In particular, if $\phi$ and $\psi$ are traces and $u$ (resp. $v$) is a unitary in $\mathcal {A}$ (resp. $\mathcal {B}$), then $\alpha (T) = \alpha ((u\otimes v)T(u\otimes v)^*)$.

Proof. (i) Using remark 2.4(ii), we have

(ii) Letting $\Theta = \pi \otimes \rho$, we have that $\Theta$ is invertible, positive, has a positive inverse and $\Theta ^*(\mathop {\mathsf {C}}(\phi,\,\psi )) = \mathop {\mathsf {C}}(\phi,\,\psi )$. The claim therefore follows from (i).

### 2.4 Dependence on the underlying states

In the previous subsection, the pairs $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ were fixed and $\alpha (T)$ was examined as a function on $T$. We now briefly change the perspective and look at how $\alpha (T)$ changes if we fix $T$ and allow the states $\phi$ and $\psi$ to vary. In order to underline the dependence on the chosen reference states, we will write $\alpha _{\phi, \psi }(T)$ (resp. $\beta _{\phi, \psi }(T)$) for the parameter $\alpha$ (resp. $\beta$), introduced in definition 2.3. Denote by $S_{\rm f}(\mathcal {A})$ the collection of all faithful states on $S(\mathcal {A})$ (note that $S_{\rm f}(\mathcal {A})$ is not closed unless $\mathcal {A} = {\mathbb C}$).

Proposition 2.15 Fix two unital $C^*$-algebras $\mathcal {A}$ and $\mathcal {B}$ and a positive contraction $T \in \mathcal {A}\otimes \mathcal {B}$.

(i) The function

\[ S(\mathcal{A}) \times S(\mathcal{B}) \to \mathbb{R}_+; \ (\phi, \psi) \mapsto \alpha_{\phi, \psi}(T), \]is upper semicontinuous.(ii) If $\mathcal {A}$ and $\mathcal {B}$ are finite dimensional then the function

\[ S_{\rm f}(\mathcal{A}) \times S_{\rm f}(\mathcal{B}) \to \mathbb{R}_+; \ (\phi, \psi) \mapsto \alpha_{\phi, \psi}(T), \]is continuous.

Proof. (i) Suppose that $(\phi _i,\, \psi _i)_{i \in I}$ is a net of states, weak$^*$-convergent to a pair $(\phi,\, \psi )\in S(\mathcal {A}) \times S(\mathcal {B})$. Using remark 2.4(i), choose $\sigma _i \in \mathop {\mathsf {C}}(\phi _i,\, \psi _i)$ such that $\alpha _{\phi _i, \psi _i}(T)=\sigma _i(T)$, for each $i \in I$. After passing to a subnet if necessary, we may assume that $(\sigma _i)_{i \in I}$ converges to a state $\sigma \in S(\mathcal {A} \otimes \mathcal {B})$. It is clear that $\sigma \in \mathop {\mathsf {C}}(\phi,\, \psi )$ and, naturally, $\alpha _{\phi, \psi }(T) \geq \sigma (T) = \lim _{i \in I}\sigma _i(T)$.

(ii) Suppose that $(\phi _k,\, \psi _k)_{k \in {\mathbb N}}$ is a sequence of faithful states, convergent to $(\phi,\, \psi )\in S_{\rm f}(\mathcal {A}) \times S_{\rm f}(\mathcal {B})$. For each $k \in {\mathbb N}$, choose $a_k \in \mathcal {A}_+$ and $b_k \in \mathcal {B}_+$ such that $T \leq a_k \otimes I + I \otimes b_k$ and $\beta _{\phi _k, \psi _k}(T)\geq \phi _k(a_k) + \psi _k(b_k) - {1}/{k}$.

We claim that the sequence $(a_k)_{k\in {\mathbb N}}$ is bounded. Let $\tau \in S(\mathcal {A})$ be a faithful trace and let $D$ and $D_k$ be (invertible) elements of $\mathcal {A}$ such that $\phi = \tau (D\cdot )$ and $\phi _k = \tau (D_k \cdot )$, $k\in {\mathbb N}$. Since $D_k\stackrel {k\to \infty }{\longrightarrow } D$, we have that $D_k^{-1}\stackrel {k\to \infty }{\longrightarrow } D^{-1}$. In particular, $(D_k^{-1})_{k \in {\mathbb N}}$ is bounded. By finite dimensionality, it follows that

for some positive constants $M$ and $C$, depending only on $\mathcal {A}$ and the sequence $(\phi _k)_{k\in {\mathbb N}}$. Since the sequence $(\phi _k(a_k))_{k\in {\mathbb N}}$ is bounded, so is the sequence $(a_k)_{k\in {\mathbb N}}$; by symmetry, so is the sequence $(b_k)_{k\in {\mathbb N}}$.

After passing to subsequences if necessary, $a_k\to _{k\to \infty } a$ and $b_k\to _{k\to \infty } b$ for some $a \in \mathcal {A}_+$ and $b \in \mathcal {B}_+$. We have $T \leq a \otimes I + I \otimes b$ and

The claim now follows after an application of theorem 2.7 and proposition 2.15(i).

### 2.5 The commutative case

In this section, we assume that $\mathcal {A}$ and $\mathcal {B}$ are abelian. We will see that, in this case, the coupling capacity $\alpha$ coincides with some previously studied parameters, appearing before in the theory of optimal transport and in operator algebra theory.

We first note that, by the Gelfand theorem, every unital abelian C*-algebra is *-isomorphic to the C*-algebra $C(X)$, for some compact Hausdorff space $X$. If $X$ is a compact Hausdorff space, we write $\mathcal {F}_X$ for the $\sigma$-algebra of Borel subsets of $X$. Given $\alpha \in \mathcal {F}_X$, the linear functional $e_{\alpha } : M(X)\to {\mathbb C}$, given by

is bounded with $\|e_{\alpha }\| = 1$, and hence gives rise to an element of $C(X)^{**}$, which will be denoted in the same way. By abuse of notation, we identify $e_{\alpha }$ with the characteristic function $\chi _{\alpha }$ of $\alpha$, thus viewing $\chi _{\alpha }$ as an element of $C(X)^{**}$.

We fix compact Hausdorff spaces $X$ and $Y$, and set $\mathcal {A} = C(X)$ and $\mathcal {B} = C(Y)$. Fix Borel probability measures $\mu$ and $\nu$ on $X$ and $Y$, respectively. We will write $L^p(X)$ and $L^p(Y)$ for the corresponding $L^p$-spaces, where $p \in \{1,\,\infty \}$, with respect to $\mu$ and $\nu$, respectively. We equip $X\times Y$ with the product $\sigma$-algebra $\mathcal {F}_{X,Y}$, that is the $\sigma$-algebra generated by the sets $A\times B$, where $A\in \mathcal {F}_X$ and $B\in \mathcal {F}_Y$; note that $\mathcal {F}_{X,Y}$ is contained in the Borel $\sigma$-algebra $\mathcal {F}_{X\times Y}$ of $X\times Y$. Given a positive measure $\sigma$ on $(X\times Y,\,\mathcal {F}_{X,Y})$, let $\sigma ^*$ be the outer measure associated with $\sigma$ and let $\sigma _X$ (resp. $\sigma _Y$) be the $X$-marginal (resp. the $Y$-marginal) of $\sigma$.

Let $\kappa \subseteq X\times Y$. The following parameters, associated with $\kappa$, were defined in [Reference Haydon and Shulman10]:

(i) $\alpha (\kappa ) = \sup \{\sigma ^*(\kappa ) : \sigma _X\leq \mu,\, \sigma _Y\leq \nu \}$;

(ii) $\beta (\kappa ) = \inf \{\int _X a \,{\rm d}\mu + \int _Y b \,{\rm d}\nu : a\in L^{\infty }(X),\, b\in L^{\infty }(Y),\, a(x) + b(y)\geq 1 \mbox { on } \kappa \}$;

(iii) $\gamma (\kappa ) = \inf \{\mu (A) + \nu (B) : A\in \mathcal {F}_X,\, B\in \mathcal {F}_Y,\, \kappa \subseteq (A\times Y)\cup (X\times B)\}$.

We will now show that the above parameters coincide with these studied in our paper.

Proposition 2.16 Let $(X,\,\mu )$ and $(Y,\,\nu )$ be probability spaces and $\kappa \in \mathcal {F}_{X,Y}$. Then, $\alpha (\kappa ) = \alpha (\chi _\kappa )$, $\beta (\kappa ) = \beta (\chi _\kappa )$ and $\gamma (\kappa ) = \gamma (\chi _\kappa )$.

Proof. Since $\kappa \in \mathcal {F}_{X,Y}$, we have that $\sigma ^*(\kappa ) = \sigma (\kappa )$, and hence the claim about the parameter $\alpha$ follows from remark 2.4(ii).

Moving to $\beta$, let $\pi _{\mu } : C(X)\to \mathcal {B}(L^2(X,\,\mu ))$ be the *-representation given by $\pi _{\mu }(a)\xi = a\xi$, $a\in C(X)$, $\xi \in L^2(X,\,\mu )$. Extend $\pi _{\mu }$ to a normal *-representation (denoted in the same way) $\pi _{\mu } : C(X)^{**}\to \mathcal {B}(L^2(X,\,\mu ))$; it is clear that its range can be canonically identified with $L^{\infty }(X,\,\mu )$ and we hence obtain a *-epimorphism $\pi _{\mu } : C(X)^{**}\to L^{\infty }(X,\,\mu )$. Similarly, we have a *-epimorphism $\pi _{\nu } : C(Y)^{**}\to L^{\infty }(Y,\,\nu )$.

Note that, given $a\in L^{\infty }(X,\,\mu )$ and $\tilde {a}\in C(X)^{**}$ such that $\pi _{\mu }(\tilde {a}) = a$ (resp. $b\in L^{\infty }(Y,\,\nu )$ and $\tilde {b}\in C(Y)^{**}$ such that $\pi _{\nu }(\tilde {b}) = b$), we have

Assume that $a(x) + b(y) \geq 1$ on $\kappa$. This means that

Using the fact that *-epimorphisms are complete quotient maps, we conclude that $\tilde {a}\otimes 1 + 1 \otimes \tilde {b} - \chi _\kappa \geq 0$, at the expense of possibly changing $\tilde {a}$ and $\tilde {b}$, while retaining their positivity and the properties $\pi _{\mu }(\tilde {a}) = a$ and $\pi _{\nu }(\tilde {b}) = b$. These arguments show that $\beta (\kappa ) = \beta (\chi _\kappa )$. Finally, the claim about the parameter $\gamma$ are obtained from the one about $\beta$ after restricting $a$ and $b$ to be projections.

Remark 2.17 By proposition 2.16, as consequences of theorem 2.7 and proposition 2.11 (together with the remarks following the latter) we obtain the fact that, whenever $\kappa \subseteq X\times Y$ is a clopen set, we have that $\alpha (\kappa ) = \beta (\kappa ) = \gamma (\kappa )$. The latter equalities are very special instances of Corollaries of Lemma 1 and Theorem 1 in [Reference Haydon and Shulman10] which, in their turn, are quantitative versions of Arveson's null set theorem [Reference Arveson1, Section 1.4]. Naturally, the results of [Reference Haydon and Shulman10] apply in much greater generality; we will see a special instance of this below.

Proposition 2.18 Let $(\mathcal {A},\, \phi )$ and $(\mathcal {B},\, \psi )$ be measured abelian $C^*$-algebras and suppose that $T\in (\mathcal {A} \otimes \mathcal {B})_+^{**}$ is lower semicontinuous, i.e. there exists an increasing net $(T_i)_{i \in I}$ with $T_i \in (\mathcal {A} \otimes \mathcal {B})_+$ which converges to $T$ in weak*-topology. Then, $\alpha (T) = \beta (T)$.

Proof. Fix $\epsilon > 0$. Note first that by functional calculus for each $i \in I$ we have

For each $i \in I$ let then $a_i\in \mathcal {A}^{**}$ and $b_i\in \mathcal {B}^{**}$ be such that $\|a_i\|\leq \|T\|$, $\|b_i\|\leq \|T\|$, $T_i\leq a_i\otimes 1+1\otimes b_i$, and

By passing to a subnet if necessary, assume that

in the weak* topologies of $\mathcal {A}^{**}$ and $\mathcal {B}^{**}$, respectively. We have that $T\leq a\otimes 1 + 1 \otimes b$.

Since $T_i \in \mathcal {A}\otimes \mathcal {B}$, by theorem 2.7 we have $\alpha (T_i) = \beta (T_i)$, $i\in I$. There exists $i_0\in I$ such that, if $i\geq i_0$ then

where we have used the monotonicity of $\alpha$ for the last inequality. We conclude that $\beta (T)\leq \alpha (T)$, and the converse was already noted in theorem 2.7.

Remark 2.19 Let $c : X\times Y\to [0,\,1]$ be a lower semi-continuous function. Then, $c$ can be viewed as an element of $C(X\times Y)^{**}$ in a natural fashion (this was detailed in the second paragraph of this section in the case of characteristic functions of Borel sets). We can rewrite the equality between the parameters $\alpha$ and $\beta$ from the proposition above as the equality

In the case under consideration, $L^{\infty }(X)\subseteq L^1(X)$ and $L^{\infty }(Y)\subseteq L^1(Y)$. It follows that the displayed equality persists if the infimum is taken after replacing $L^{\infty }(X)$ (resp. $L^{\infty }(Y)$) by $L^1(X)$ (resp. $L^1(Y)$). Thus, in this special case we recover the well-known Monge–Kantorovich duality formula in the theory of optimal transport (see e.g. [Reference Villani15, Theorem 1.3]).

## 3. The matrix case

In this section, we consider the simplest non-commutative case, where $\mathcal {A} = \mathcal {L}({\mathbb C}^n) \equiv M_n$, $\mathcal {B} = \mathcal {L}({\mathbb C}^m) \equiv M_m$, for some fixed $n,\,m\in {\mathbb N}$. We first show that the quantum Strassen's theorem proved in [Reference Zhou, Ying, Yu and Ying17] can be obtained as a consequence of theorem 2.7. For a subspace $\mathcal {X}\subseteq {\mathbb C}^n\otimes {\mathbb C}^m$ write $E_{\mathcal {X}}$ for the projection onto $\mathcal {X}$. For $\sigma \in (M_n\otimes M_m)_+$ write

In the sequel, it will be convenient to write $M_n^+$ and $M_n^h$ instead of $(M_n)_+$ and $(M_n)_h$, respectively. Recall that if $\phi$ is a state on $M_n$ we denote its associated density matrix by $A_\phi$.

Proposition 3.1 (Quantum Strassen's theorem [Reference Zhou, Ying, Yu and Ying17])

Let $\mathcal {X}$ be a subspace of ${\mathbb C}^n\otimes {\mathbb C}^m$, $\phi$ (resp. $\psi$) be a state on $M_n$ (resp. $M_m$) and $\rho _1\in M_n^+$ (resp. $\rho _2\in M_m^+$) be such that $A_{\phi } = \rho _1$ (resp. $A_{\psi } = \rho _2$). The following are equivalent:

(i) $\alpha (E_{\mathcal {X}})=1$;

(ii) there is a coupling $\sigma \in \mathop {\mathsf {C}}(\phi,\,\psi )$ such that $\mathop {\rm supp} \sigma \subseteq \mathcal {X}$;

(iii) $\mathop {\rm tr}(\rho _1a_1)\leq \mathop {\rm tr}(\rho _2a_2)$ whenever $a_1\in M_n^h$, $a_2\in M_m^h$ are such that $E_{\mathcal {X}^\perp }\geq a_1\otimes I_m-I_n\otimes a_2$.

Proof. (i)$\Leftrightarrow$(ii) It is enough to note that if $\sigma$ is a state on $M_n\otimes M_m$ then $\mathop {\rm supp}\sigma \subseteq \mathcal {X}$ if and only if $\sigma (E_{\mathcal {X}})=1$. In fact,

(i)$\Leftrightarrow$(iii) By theorem 2.7, $\alpha (E_{\mathcal {X}})=\beta (E_{\mathcal {X}})$. The fact that $\beta (E_{\mathcal {X}})=1$ is equivalent to

whenever $a\in M_n^+$, $b\in M_m^+$ and by the arguments in the proof of theorem 2.7, whenever $a$, $b$ are hermitian. Letting $a_1=1-a$, $a_2=b$, (3.1) can be rewritten as

giving the desired equivalence.

In view of proposition 3.1, we see that, in the case of matrix algebras, theorem 2.7 can be viewed as a quantitative and non-commutative extension of the quantum Strassen's theorem.

Remark 3.2 We note that the equivalence (i)$\Leftrightarrow$(ii) in proposition 3.1 persists in the general case of measured C*-algebras $(\mathcal {B}(H_1),\,\phi )$ and $(\mathcal {B}(H_2),\,\psi )$, with $H_1,\, H_2$ Hilbert spaces (possibly infinite dimensional), $\phi$ and $\psi$ normal states, and the subspace $\mathcal {X}$ replaced by an arbitrary projection $E\in \mathcal {B}(H_1 \otimes H_2)$. Together with a straightforward approximation argument it can be used to infer [Reference Friedland, Ge and Zhi8, Theorem 4.3].

In the rest of the section, both algebras $M_n$ and $M_m$ will be equipped with normalized traces $\mathop {\rm tr}$. As customary, we abbreviate ‘completely positive and trace preserving’ to ‘cptp’, and note that trace preservation is with respect to the normalized traces.

Recall that, given a map $\Phi :M_n \to M_m$, its associated *Choi matrix* $\Gamma _\Phi \in M_n \otimes M_m$ is given by letting

Conversely, each matrix $\Gamma \in M_n (M_m)$ determines, via (3.2), a linear map $\Phi _\Gamma : M_n \to M_m$. The next statement, which characterizes the elements of the set $\mathop {\mathsf {C}}(\mathop {\rm tr}_n,\,\mathop {\rm tr}_m)$, is rather well-known and for $m=n$ is precisely [Reference Ohno13, Theorem 2.2]. We include a straightforward proof for the convenience of the reader.

Proposition 3.3 Let $\sigma \in (M_n\otimes M_m)^*$. Recall that $A_\sigma \in M_n\otimes M_m=M_n(M_m)$ denotes the density matrix of $\sigma$. The following are equivalent:

(i) $\sigma \in \mathop {\mathsf {C}}(\mathop {\rm tr}_n,\,\mathop {\rm tr}_m)$;

(ii) $({1}/{n})\Phi _{A_{\sigma }}$ is unital and trace preserving.

Proof. (i)$\Rightarrow$(ii) To lighten notation, we set $\Phi = \Phi _{A_{\sigma }}$. Let $A_\sigma = (B_{i,j})_{i,j=1}^n\in M_n\otimes M_m$ (so that we have $\Phi (\epsilon _{i,j}) = B_{i,j}$ for each $i,\,j=1,\,\ldots,\,n$). For $b \in M_m$ we have

so that $({1}/{n})\sum _{i=1}^nB_{i,i} = I_m$. Therefore,

Further, for $a = (a_{i,j})_{i,j=1}^n\in M_n$, we have

Taking $a=\epsilon _{l,k}$ for $k,\,l=1,\,\ldots,\,n$ we obtain $\mathop {\rm tr}_m(\Phi (\epsilon _{k,l})) = \mathop {\rm tr}_m{(B_{k,l})}=\delta _{k,l} = n \mathop {\rm tr}_n (\epsilon _{k,l})$, which implies that $({1}/{n})\Phi$ is trace-preserving.

(ii)$\Rightarrow$(i) follows by reversing the arguments in the previous paragraph.

Given a vector $\xi \in \mathop {\mathbb C}^n\otimes {\mathbb C}^m$, we write $S_{\xi }$ for the linear transformation from ${\mathbb C}^n$ into ${\mathbb C}^m$ corresponding to $\xi$ in the canonical way, so that $S_{e\otimes f} = fe^*$, $e\in {\mathbb C}^n$, $f\in {\mathbb C}^m$. The singular value decomposition of $S_\xi$ allows us to find (assuming, say, that $n\leq m$) a descending sequence of scalars $\lambda _1 \geq \lambda _2\geq \dots \geq \lambda _n\geq 0$ and orthonormal collections $(e_i)_{i=1}^n\subseteq {\mathbb C}^n$ and $(f_i)_{i=1}^n\subseteq {\mathbb C}^m$