\documentclass[leqno]{article}

\usepackage[frenchb,english]{babel}

\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{enumerate}
\usepackage{vmargin}
\usepackage[all]{xy}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{lmodern}
\usepackage{slashed}
\usepackage[colorlinks=true,linkcolor=blue,pagebackref=true]{hyperref}

\setmarginsrb{3cm}{3cm}{3.5cm}{3cm}{0cm}{0cm}{1.5cm}{3cm}

\usepackage{comment}

\usepackage{accents}

\newlength{\dhatheight}
\newcommand{\doublehat}[1]{
    \settoheight{\dhatheight}{\ensuremath{\hat{#1}}}
    \addtolength{\dhatheight}{-0.2ex}
    \hat{\vphantom{\rule{1pt}{\dhatheight}}
    \smash{\hat{#1}}}}

\footskip1.3cm

\newcommand{\A}{\ensuremath{\mathcal{A}}}
\newcommand{\Cbb}{\ensuremath{\mathbb{C}}}
\newcommand{\C}{\mathrm{C}}

\newcommand{\D}{\mathrm{D}}
\newcommand{\E}{\ensuremath{\mathbb{E}}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\B}{\mathrm{B}} 
\let\H\relax 
\newcommand{\H}{\mathrm{H}}
\newcommand{\I}{\mathrm{I}} 
\newcommand{\II}{\mathrm{II}} 
\newcommand{\K}{\ensuremath{\mathbb{K}}}
\newcommand{\KP}{\ensuremath{\mathbb{KP}}}
\let\L\relax 
\newcommand{\L}{\mathrm{L}}
\let\O\relax 
\newcommand{\J}{\mathcal{J}} 
\newcommand{\O}{\ensuremath{\mathbb{O}}}
\let\P\relax 

\newcommand{\P}{\mathsf{P}} 
\newcommand{\Q}{\mathrm{Q}}
\newcommand{\IV}{\mathrm{IV}} 
\newcommand{\V}{\mathrm{V}} 
\newcommand{\VI}{\mathrm{VI}} 
\newcommand{\SG}{\mathrm{SG}} 
\newcommand{\BMO}{\mathrm{BMO}} 
\newcommand{\Mult}{\mathrm{Mult}}
\newcommand{\scr}{\mathscr}
\newcommand{\SU}{\mathrm{SU}}
\newcommand{\Tron}{\mathcal{T}}
\newcommand{\SO}{\mathrm{SO}}
\newcommand{\Aut}{\mathrm{Aut}} 
\newcommand{\QG}{\ensuremath{\mathbb{G}}}
\newcommand{\M}{\mathrm{M}}
\newcommand{\CAR}{\mathrm{CAR}} 
\newcommand{\CB}{\mathrm{CB}} 
\newcommand{\diag}{\mathrm{diag}} 
\newcommand{\RCD}{\mathrm{RCD}}
\newcommand{\dist}{\mathrm{dist}}
\newcommand{\OH}{\mathrm{OH}}
\newcommand{\meas}{\mu}
\newcommand{\CC}{\mathrm{CC}}
\newcommand{\HS}{\mathrm{HS}}
\newcommand{\absco}{\mathrm{absco}} 
\newcommand{\NP}{\mathrm{NP}}
\newcommand{\PPT}{\mathrm{PPT}}
\newcommand{\inv}{\diamond}
\newcommand{\Mat}{\ensuremath{\mathbb{M}}}

\let\div\relax
\newcommand{\div}{\mathrm{div}}
\let\cal\relax
\newcommand{\cal}{\mathcal}
\newcommand{\conv}{\mathrm{conv}}
\newcommand{\Z}{\ensuremath{\mathbb{Z}}}
\newcommand{\Zc}{\mathrm{Z}}
\newcommand{\R}{\ensuremath{\mathbb{R}}}

\newcommand{\T}{\ensuremath{\mathbb{T}}}
\newcommand{\U}{\mathcal{U}}
\newcommand{\W}{\mathrm{W}}
\newcommand{\sgn}{\mathrm{sgn}}
\let\j\relax 
\newcommand{\j}{\frak{j}} 
\let\S\relax 
\newcommand{\S}{S} 
\newcommand{\vect}{\ensuremath{\mathop{\rm Span }\nolimits}}

\newcommand{\clos}{\ensuremath{\mathop{\rm closure }\nolimits}}
\newcommand{\Id}{\mathrm{Id}}
\newcommand{\PL}{\mathrm{PL}}
\newcommand{\VN}{\mathrm{VN}} 
\newcommand{\Asym}{\mathrm{Asym}} 
\newcommand{\Sym}{\mathrm{Sym}} 
\newcommand{\Reg}{\mathrm{Reg}} 
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}
\newcommand{\EA}{\mathrm{EA}} 
\newcommand{\CPAP}{\mathrm{CPAP}}
\newcommand{\CD}{\mathrm{CD}}
\newcommand{\flip}{\mathrm{flip}}
\newcommand{\CBAP}{\mathrm{CBAP}}
\newcommand{\MK}{\mathrm{MK}} 
\newcommand{\CCAP}{\mathrm{CBAP}}
\newcommand{\ccb}{\mathrm{ccb}} 
\newcommand{\cocb}{\mathrm{cocb}}
\renewcommand{\leq}{\ensuremath{\leqslant}}
\renewcommand{\geq}{\ensuremath{\geqslant}}
\newcommand{\qed}{\hfill \vrule height6pt  width6pt depth0pt}
\newcommand{\bnorm}[1]{ \big\| #1  \big\|}
\newcommand{\Bnorm}[1]{ \Big\| #1  \Big\|}
\newcommand{\bgnorm}[1]{ \bigg\| #1  \bigg\|}
\newcommand{\Bgnorm}[1]{ \Bigg\| #1  \Bigg\|}
\newcommand{\norm}[1]{\left\Vert#1\right\Vert}
\newcommand{\Wa}{\mathcal{W}} 
\newcommand{\mk}{\medskip}
\newcommand{\xra}{\xrightarrow}
\newcommand{\co}{\colon}
\newcommand{\otp}{\widehat{\ot}}
\newcommand{\otpb}{\hat{\ot}}
\newcommand{\ot}{\otimes}
\newcommand{\ovl}{\overline}
\newcommand{\otvn}{\ovl\ot}

\newcommand{\ul}{\mathcal{U}}
\newcommand{\dec}{\mathrm{dec}}
\newcommand{\pdec}{\mathrm{pdec}}
\newcommand{\reg}{\mathrm{reg}}
\newcommand{\Dec}{\mathrm{Dec}}
\newcommand{\cb}{\mathrm{cb}}
\newcommand{\fin}{\mathrm{fin}} 
\newcommand{\TRO}{\mathrm{TRO}}
\newcommand{\Ch}{\mathrm{Ch}}
\newcommand{\PDec}{\mathrm{PDec}}
\newcommand{\QWEP}{\mathrm{QWEP}}
\newcommand{\dsp}{\displaystyle}
\newcommand{\op}{\mathrm{op}} 
\let\i\relax 
\newcommand{\i}{\mathrm{i}}
\let\j\relax 
\newcommand{\j}{\mathrm{j}} 
\let\k\relax 
\newcommand{\k}{\mathrm{k}} 
\newcommand{\loc}{\mathrm{loc}}
\newcommand{\ov}{\overset}
\newcommand{\sa}{\mathrm{sa}}
\newcommand{\JW}{\mathrm{JW}}
\newcommand{\JC}{\mathrm{JC}}
\newcommand{\JB}{\mathrm{JB}}
\newcommand{\kR}{\mathfrak{R}}
\newcommand{\JBW}{\mathrm{JBW}}
\newcommand{\Vol}{\mathrm{Vol}}
\newcommand{\fix}{\mathrm{fix}}
\newcommand{\ORNP}{\mathrm{ORNP}}
\newcommand{\MD}{\mathrm{MD}} 
\newcommand{\LMD}{\mathrm{LMD}} 
\newcommand{\RMD}{\mathrm{RMD}} 
\newcommand{\w}{\mathrm{w}} 
\newcommand{\wo}{\mathrm{wo}} 
\newcommand{\leftsupp}{{\mathrm{leftsupp}}}
\newcommand{\epsi}{\varepsilon}
\renewcommand{\d}{\mathop{}\mathopen{}\mathrm{d}} 
\newcommand{\e}{\mathrm{e}} 
\renewcommand{\d}{\mathop{}\mathopen{}\mathrm{d}} 
\newcommand{\bra}[1]{\langle{#1}|}
\newcommand{\ket}[1]{|{#1}\rangle}
\newcommand{\Pol}{\mathrm{Pol}} 

\def\kb{ \ket \bra }
\newcommand{\proj}[1]{ | #1 \kb  #1|}
\DeclareMathOperator{\Span}{span} 
\DeclareMathOperator{\Lip}{\mathrm{Lip}} 
\DeclareMathOperator{\lip}{\mathrm{lip}} 
\DeclareMathOperator{\aut}{Aut} 
\DeclareMathOperator{\supp}{supp} 
\DeclareMathOperator{\Fix}{Fix} 
\DeclareMathOperator{\tr}{Tr} 
\DeclareMathOperator{\Tr}{Tr} 
\let\ker\relax 
\DeclareMathOperator{\ker}{Ker} 
\DeclareMathOperator{\Ran}{Ran} 
\DeclareMathOperator{\dom}{dom} 
\DeclareMathOperator{\rank}{rank} 
\let\Re\relax 
\DeclareMathOperator{\Re}{Re} 
\let\Im\relax 
\DeclareMathOperator{\Im}{Im} 
\DeclareMathOperator{\card}{card} 
\DeclareMathOperator{\Irr}{Irr} 
\DeclareMathOperator{\Rep}{Rep} 
\DeclareMathOperator{\Ind}{Ind} 
\DeclareMathOperator*{\esssup}{esssup} 
\DeclareMathOperator*{\Lie}{Lie} 
\DeclareMathOperator{\diam}{diam}
\DeclareMathOperator{\Sp}{Sp}

\selectlanguage{english}
\newtheorem{thm}{Theorem}[section]
\newtheorem{defi}[thm]{Definition}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{quest}[thm]{Question}
\newtheorem{Property}[thm]{Property}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{fact}[thm]{Fact}
\newtheorem{remark}[thm]{Remark}
\newtheorem{example}[thm]{Example}
\newtheorem{prob}[thm]{Problem}

\newenvironment{proof}[1][]{\noindent {\it Proof #1} : }{\hbox{~}\qed
\smallskip
}

\usepackage{tocloft}
\setlength{\cftbeforesecskip}{0pt}
		
\numberwithin{equation}{section}
\usepackage[nottoc,notlot,notlof]{tocbibind}

\let\OLDthebibliography\thebibliography
\renewcommand\thebibliography[1]{
  \OLDthebibliography{#1}
  \setlength{\parskip}{0pt}
  \setlength{\itemsep}{0pt plus 0.3ex}
}

\newcommand\reallywidehat[1]{\arraycolsep=0pt\relax
\begin{array}{c}
\stretchto{
  \scaleto{
    \scalerel*[\widthof{\ensuremath{#1}}]{\kern-.5pt\bigwedge\kern-.5pt}
    {\rule[-\textheight/2]{1ex}{\textheight}} 
  }{\textheight} 
}{0.5ex}\\           
#1\\                 
\rule{-1ex}{0ex}
\end{array}
}

\begin{document}
\selectlanguage{english}
\title{\bfseries{Column rigidity in noncommutative $\L^1$-spaces and completely isometric embeddings of Hilbertian operator spaces}}
\date{}
\author{\bfseries{C\'edric Arhancet}}
\maketitle

\begin{abstract}
We study exact embedding obstructions for Hilbertian operator spaces in noncommutative $\mathrm{L}^1$-spaces. We prove a quantitative version of the column inequality, whose equality case forces the absolute values of the entries to be proportional. We deduce that an operator space embedded completely isometrically in a noncommutative $\mathrm{L}^1$-space is a row Hilbert space whenever its first-column norms at the two-by-two level are Hilbert-Schmidt norms. This gives an exact embedding criterion for sums of weighted row and column spaces, including coordinate-dependent weights which are ordered in the same direction. In particular, $\mathrm{R}_n+\mathrm{C}_n$ does not embed completely isometrically into any noncommutative $\L^1$-space when $n \geq 2$. For $\mathrm{OH}_n$, whose complete isometric embeddability is established in a companion paper, we retain the common-support and commutative-target obstructions. We also show that distortion one is approached by matrix models but is attained by none of them, and that the matrix size must tend to infinity as the distortion tends to one.
\end{abstract}

\makeatletter
 \renewcommand{\@makefntext}[1]{#1}
 \makeatother
 \footnotetext{
 2020 {\it Mathematics subject classification:}
 46L07, 46L51, 46L52, 47L25.
\\
{\it Key words}: operator Hilbert space, noncommutative $\L^1$-spaces, Haagerup $\L^p$-spaces, complete isometries, row and column spaces, Khintchine inequalities.}

{
  \hypersetup{linkcolor = blue}
 \tableofcontents
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introduction}
\label{sec:Introduction}

Row and column Hilbert spaces play a central role in the structure of subspaces of noncommutative $\L^1$-spaces. Noncommutative Khintchine inequalities describe many such subspaces by sums of row and column norms. They also provide completely isomorphic embeddings of quotients of subspaces of $\mathrm{R} \oplus \C$ into preduals of von Neumann algebras. We refer to Xu \cite[Theorem 6.8 p.~21 and Theorems 7.1--7.3 pp.~29--30]{Xu07notes} for this construction. Haagerup and Musat \cite[Theorem 3.1 p.~17]{HaM07} obtained an embedding of the dual of any subspace of $\mathrm{R} \oplus_\infty \C$ with cb-distortion at most $\sqrt{2}$. The question considered here is whether the distortion can be equal to one.

This question has different answers for closely related Hilbertian operator spaces. In \cite[Theorem 6.2 pp.~19--20]{Arh26OH}, we construct a completely isometric embedding of Pisier's operator Hilbert space $\OH$ into the predual of a $\QWEP$ von Neumann algebra. Thus the completely isometric embedding problem for $\OH$ is no longer an open question. The present paper concerns the rigidity which prevents such embeddings for other spaces. In particular, we prove that $\mathrm{R}_n+\C_n$ does not embed completely isometrically into any noncommutative $\L^1$-space when $n \geq 2$. The construction and the tensor norm results of \cite{Arh26OH} are not repeated here.

Our main tool is the equality case in an inequality for columns. Let $K_1,\ldots,K_N \in \L^1(\cal{M})$, where $\cal{M}$ is a von Neumann algebra, and put
\begin{equation}
\label{intro-column}
a 
\ov{\mathrm{def}}{ = } \bigg(\sum_{k = 1}^N K_k^*K_k\bigg)^{\frac{1}{2}},
\quad t \ov{\mathrm{def}}{ = } \tr(a),
\quad \gamma 
\ov{\mathrm{def}}{ = } \bigg(\sum_{k = 1}^N \norm{K_k}_{\L^1(\cal{M})}^2\bigg)^{\frac{1}{2}}.
\end{equation}
We have $t \geq \gamma$. If $\gamma > 0$, we prove the estimate
\begin{equation}
\label{intro-stability}
\sum_{k = 1}^N \Bnorm{|K_k|-\frac{\norm{K_k}_{\L^1(\cal{M})}}{\gamma}a}_{\L^1(\cal{M})}^2 \leq 2t(t-\gamma).
\end{equation}
Consequently, equality $t = \gamma$ holds if and only if the absolute values $|K_k|$ are proportional. The proof uses the polar decomposition of the whole column and the Cauchy--Schwarz inequality in $\L^2$. It applies to Haagerup $\L^1$-spaces without a semifiniteness assumption.

Testing a complete isometry on columns with two entries gives the following result, proved in Theorem \ref{th-column-rigidity}. The notation $\S^1_m(E)$ denotes Pisier's vector-valued Schatten space.

\begin{thm}
\label{th-intro-rigidity}
Let $E$ be an operator space with a basis $(\xi_1,\ldots,\xi_n)$, and suppose that $E$ embeds completely isometrically into a noncommutative $\L^1$-space. Suppose that $c > 0$ and that for any $A = [a_{ik}] \in \M_{2,n}$ we have
$$
\Bgnorm{\sum_{i = 1}^2\sum_{k = 1}^n a_{ik}e_{i1} \ot \xi_k}_{\S^1_2(E)} 
= c\norm{A}_{\S^2}.
$$
Then the map $\xi_k \mapsto ce_k$ is a complete isometry from the operator space $E$ onto $\mathrm{R}_n$.
\end{thm}

The conclusion follows because equality in the column inequality forces the Gram relations $h_k^*h_l = \delta_{kl}a^2$ for the images of the basis vectors. These relations determine all matrix norms. Combining this rigidity theorem with Ozawa's compactness theorem gives a qualitative stability result, stated in Corollary \ref{cor-qualitative-stability}.

As a consequence, we obtain the following classification.

\begin{thm}
\label{th-intro-sum}
Let $n \geq 2$ and $\alpha,\beta > 0$. The operator space $\alpha\mathrm{R}_n+\beta\C_n$ embeds completely isometrically into a noncommutative $\L^1$-space if and only if
$$
\max\{\alpha,\beta\} 
\geq \sqrt{n}\min\{\alpha,\beta\}.
$$
In these cases, the sum coincides completely isometrically with its smaller weighted row or column space.
\end{thm}

Theorem \ref{th-ordered-weights} extends this statement to coordinate-dependent weights. For positive vectors $\alpha = (\alpha_k)_{k = 1}^n$ and $\beta = (\beta_k)_{k = 1}^n$, write $\mathrm{R}_n(\alpha)$ and $\C_n(\beta)$ for the spaces obtained by multiplying the $k$-th coordinate by $\alpha_k$ and $\beta_k$, respectively. If $\alpha_k \leq \beta_k$ for any $k$, then $\mathrm{R}_n(\alpha)+\C_n(\beta)$ embeds completely isometrically into a noncommutative $\L^1$-space if and only if
$$
\sum_{k = 1}^n \frac{\alpha_k^2}{\beta_k^2} \leq 1.
$$
There is a symmetric statement when all the inequalities between the weights are reversed. This gives a spectral criterion for the duals of subspaces of $\mathrm{R}_n \oplus_\infty \C_n$ whose associated positive contraction has spectrum on one side of $\frac{1}{2}$.

The obstruction for $\mathrm{R}_n+\C_n$ is independent of a particular probabilistic construction. By duality, $\mathrm{R}_n \cap \C_n$ is not a complete quotient of a C*-algebra. Moreover, the two constants in a noncommutative Khintchine inequality for the exact sum norm cannot both be one, even after changing the ambient von Neumann algebra and the realizing family.

Our use of column profiles is related to the fundamental functions of homogeneous Hilbertian operator spaces. Junge and Xu \cite[Theorem 0.1 pp.~77--78]{JuX10} recover the completely isomorphic structure of a regular space in their class from its row and column fundamental functions. Here the hypotheses are exact norm identities, and the conclusion is a complete isometry. The assumption that the space embeds in a predual is indispensable: $\mathrm{R}_n+\C_n$ and $\mathrm{R}_n$ have the same first-column norms, although they are not completely isometric for $n \geq 2$.

For $\OH_n$, the first-column norm is $\norm{A}_{\S^{\frac{4}{3}}}$, so the Hilbert-Schmidt rigidity theorem does not apply. We retain the bilateral Gram identities, the common-support theorem, and the obstructions for atomic algebras with finite-dimensional summands and for commutative algebras. Combining the atomic obstruction with \cite[Corollary 6.3 p.~20]{Arh26OH} and the finite representability theorem of Effros, Junge and Ruan \cite[Corollary 7.3 p.~87]{EJR00}, we obtain a precise distinction between finite-dimensional approximation and exact realization: for fixed $n \geq 2$, the optimal distortions into matrix trace classes tend to one as the matrix size tends to infinity, but remain strictly larger than one at each fixed size.

\paragraph{Approach of the paper}
A complete isometry preserves the norms in all spaces $\S^1_m(E)$. For columns these norms become trace norms of square roots of Gram operators. The equality case in \eqref{intro-stability}, applied to rank-one coefficient matrices and their rank-two sums, forces these Gram operators to be scalar multiples of one fixed positive operator. For $\OH_n$, a different argument uses the absence of a linear term in $(1+t^{\frac{4}{3}})^{\frac{3}{4}}$ at zero to identify the support projections.

\paragraph{Structure of the paper}
Section \ref{sec:preliminaries} contains the conventions and tensor product facts used below. Section \ref{sec:reductions} recalls duality and the attainment of the least predual distortion. Section \ref{sec:rigidity} proves the quantitative column inequality and the rigidity theorem. Section \ref{sec:sums} treats weighted row and column sums. Section \ref{sec:OH} concerns the restrictions on realizations of $\OH_n$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Preliminaries}
\label{sec:preliminaries}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Vector-valued Schatten spaces}
\label{subsec:Schatten}

We refer to the books \cite{BLM04}, \cite{EfR00} and \cite{Pis03} for background on operator spaces. For any integers $m,n \geq 1$, we denote by $\M_{m,n}$ the space of complex $m \times n$ matrices, by $\M_m = \M_{m,m}$ and by $e_{ij}$ the matrix units. We denote by $\S^p_{m,n}$ the space $\M_{m,n}$ equipped with the Schatten norm $\norm{A}_{\S^p} \ov{\mathrm{def}}{=} \Tr(|A|^p)^{\frac{1}{p}}$. If $E$ is an operator space and if $\alpha > 0$, we denote by $\alpha E$ the vector space $E$ equipped with the matrix norms of $E$ multiplied by $\alpha$.

Let $E$ be an operator space and $m \geq 1$ an integer. Following Pisier \cite{Pis98}, we denote by $\S^1_m(E)$ the vector-valued Schatten space, that is the space $\S^1_m \otp E$. Recall that by \cite[(1.1) p.~18]{Pis98} we have a completely isometric identification
\begin{equation}
\label{S1-Haagerup}
\S^1_m(E) 
= \mathrm{R}_m \ot_h E \ot_h \C_m, \quad e_{ij} \ot x \mapsto e_{1i} \ot x \ot e_{j1},
\end{equation}
where $\mathrm{R}_m$ and $\C_m$ denote the row and column spaces, see Subsection \ref{subsec:row-column}. We will use the following facts.
\begin{enumerate}
\item By \cite[Lemma 1.7, (1.7)' p.~23]{Pis98}, a linear map $u \co E \to F$ between operator spaces satisfies $\norm{u}_{\cb} = \sup_{m \geq 1} \norm{\Id_{\S^1_m} \ot u}_{\S^1_m(E) \to \S^1_m(F)}$. In particular, $u$ is a complete isometry if and only if $\Id_{\S^1_m} \ot u \co \S^1_m(E) \to \S^1_m(F)$ is an isometry for any integer $m \geq 1$.

\item By \cite[Corollary 1.2 p.~19]{Pis98}, if $u \co E \to F$ is a complete isometry then $\Id_{\S^1_m} \ot u \co \S^1_m(E) \to \S^1_m(F)$ is an isometry.

\item If $(E_0,E_1)$ is a compatible couple of operator spaces and if $0 < \theta < 1$, we have by \cite[(1.5) p.~20]{Pis98} an isometry $\S^1_m((E_0,E_1)_\theta) = (\S^1_m(E_0),\S^1_m(E_1))_\theta$.

\item If $F$ is a closed subspace of $E$, then the quotient map $E \to E/F$ induces an isometry $\S^1_m(E)/\S^1_m(F) \to \S^1_m(E/F)$. Indeed, this follows from \eqref{S1-Haagerup} and from the projectivity of the Haagerup tensor product \cite[Section 1.5.5 p.~31]{BLM04}.

\item If $E_0$ and $E_1$ are finite-dimensional operator spaces, we have an isometry $\S^1_m(E_0 \oplus_1 E_1) = \S^1_m(E_0) \oplus_1 \S^1_m(E_1)$. Indeed, recall that $E_0 \oplus_1 E_1$ is the operator space dual of $E_0^* \oplus_\infty E_1^*$. Since $\S^1_m(F^*) = \M_m(F)^*$ isometrically for any finite-dimensional operator space $F$ (see the proof of \cite[Lemma 1.7 p.~23]{Pis98}), we have
$$
\S^1_m(E_0 \oplus_1 E_1) 
= \M_m(E_0^* \oplus_\infty E_1^*)^* 
= \big(\M_m(E_0^*) \oplus_\infty \M_m(E_1^*)\big)^* 
= \S^1_m(E_0) \oplus_1 \S^1_m(E_1).
$$
\end{enumerate}

If $E_0$ and $E_1$ are two operator space structures on the same finite-dimensional vector space $V$, we consider as usual the intersection $E_0 \cap E_1$, that is the diagonal $\{(\xi,\xi) : \xi \in V\}$ of $E_0 \oplus_\infty E_1$, and the sum $E_0+E_1$, that is the quotient of $E_0 \oplus_1 E_1$ by the subspace $\{(\xi,-\xi) : \xi \in V\}$. By duality \cite[Corollary 4.1.9 p.~73]{EfR00}, we have a complete isometry $(E_0 \cap E_1)^* = E_0^*+E_1^*$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Haagerup noncommutative $\L^1$-spaces}
\label{subsec:Haagerup}

Let $\cal{M}$ be a von Neumann algebra. We use the noncommutative $\L^p$-spaces $\L^p(\cal{M})$ of Haagerup, see \cite{Ter81} and \cite{PiX03}. Recall that $\L^p(\cal{M})$ is a space of closed densely defined operators affiliated with the crossed product of $\cal{M}$ by the modular automorphism group of a normal semifinite faithful weight, that products of such operators are taken in the sense of the strong product and that the positive part $\L^p(\cal{M})_+$ is the set of positive elements of $\L^p(\cal{M})$. We denote by $\tr \co \L^1(\cal{M}) \to \mathbb{C}$ the trace functional. We will use the following classical properties, see \cite[Chapter II]{Ter81}.
\begin{enumerate}
\item For any $h \in \L^1(\cal{M})$, let $\varphi_h \co \cal{M} \to \mathbb{C}$, $a \mapsto \tr(ha)$. The map $h \mapsto \varphi_h$ is an isometry from $\L^1(\cal{M})$ onto the predual $\cal{M}_*$, where $\norm{h}_{1} = \tr(|h|)$. Moreover, for any $h \in \L^1(\cal{M})$ we have $\norm{h}_1 = \sup\{|\tr(ah)| : a \in \cal{M}, \norm{a} \leq 1\}$.

\item (H\"older) If $0 < p,q,r \leq \infty$ satisfy $\frac{1}{r} = \frac{1}{p}+\frac{1}{q}$, then for any $x \in \L^p(\cal{M})$ and any $y \in \L^q(\cal{M})$ we have $xy \in \L^r(\cal{M})$ and $\norm{xy}_r \leq \norm{x}_p\norm{y}_q$. If $1 \leq p \leq \infty$ and $\frac{1}{p}+\frac{1}{p^*} = 1$, then $\tr(xy) = \tr(yx)$ for any $x \in \L^p(\cal{M})$ and any $y \in \L^{p^*}(\cal{M})$.

\item Any $x \in \L^p(\cal{M})$ admits a polar decomposition $x = w|x|$, where $|x| = (x^*x)^{\frac{1}{2}} \in \L^p(\cal{M})_+$ and where $w \in \cal{M}$ is a partial isometry. The right support $s_r(x) = w^*w$ and the left support $s_l(x) = ww^*$ are the smallest projections $e,f$ of $\cal{M}$ satisfying $xe = x$ and $fx = x$. If $x \in \L^{\frac{1}{2}}(\cal{M})_+$ then $x^{\frac{1}{2}} \in \L^1(\cal{M})_+$.

\item The space $\L^2(\cal{M})$ is a Hilbert space for the inner product $\la x,y \ra = \tr(y^*x)$.
\end{enumerate}

For any integer $m \geq 1$, we identify matrices with entries in $\L^p(\cal{M})$ algebraically with $\L^p(\M_m \otvn \cal{M})$. This is not an identification of the operator space norm on $\M_m(\L^p(\cal{M}))$ with the $\L^p$-norm. We identify the trace functional of $\L^1(\M_m \otvn \cal{M})$ with $\Tr \ot \tr$. If $A \in \M_m$ and $X \in \L^{\frac{1}{2}}(\cal{M})_+$ with $A \geq 0$, then the operators $A \ot 1$ and $1 \ot X$ are commuting positive operators, hence $(A \ot X)^{\frac{1}{2}} = A^{\frac{1}{2}} \ot X^{\frac{1}{2}}$ and
\begin{equation}
\label{trace-tensor}
(\Tr \ot \tr)\big((A \ot X)^{\frac{1}{2}}\big) 
= \Tr(A^{\frac{1}{2}})\tr(X^{\frac{1}{2}}).
\end{equation}

\paragraph{Operator space structure} Following Pisier \cite{Pis03}, we equip $\L^1(\cal{M})$ with the operator space structure of the predual $(\cal{M}^\op)_*$ of the opposite von Neumann algebra $\cal{M}^\op$. With this convention, for any integer $m \geq 1$ the map $e_{ij} \ot x \mapsto e_{ij} \ot x$ induces an isometry from $\S^1_m(\L^1(\cal{M}))$ onto $\L^1(\M_m \otvn \cal{M})$, see \cite[p.~101]{JuX10} and \cite{Pis98}. Since $\cal{M}^\op$ is again a von Neumann algebra, an operator space embeds completely isometrically into $\L^1(\cal{M})$ for some von Neumann algebra $\cal{M}$ if and only if it embeds completely isometrically into the predual $\cal{N}_*$ of some von Neumann algebra $\cal{N}$ equipped with its predual operator space structure. In particular, none of our statements depends on this convention. We will also use the fact that the canonical map $A^* \to (A^{**})_*$ is a complete isometry for any C*-algebra $A$, where $A^*$ is equipped with its dual operator space structure.

\paragraph{Square functions} Let $\cal{M}$ be a von Neumann algebra and let $x = (x_1,\ldots,x_n)$ be an $n$-tuple of elements of the Banach space $\L^1(\cal{M})$. We let
\begin{equation}
\label{def-sigma}
\sigma_c(x) 
\ov{\mathrm{def}}{ = } \tr\bigg(\bigg(\sum_{k = 1}^n x_k^*x_k\bigg)^{\frac{1}{2}}\bigg)
\quad \text{and} \quad
\sigma_r(x) 
\ov{\mathrm{def}}{ = } \tr\bigg(\bigg(\sum_{k = 1}^n x_kx_k^*\bigg)^{\frac{1}{2}}\bigg).
\end{equation}
By \cite[p.~11]{JMX06}, we have the equalities $\sigma_c(x) = \norm{\sum_{k = 1}^n x_k \ot e_{k1}}_{\L^1(\cal{M} \otvn \M_n)}$ and $\sigma_r(x) = \norm{\sum_{k = 1}^n x_k \ot e_{1k}}_{\L^1(\cal{M} \otvn \M_n)}$. In particular, $\sigma_c$ and $\sigma_r$ are norms on the space $\L^1(\cal{M})^n$. We refer to \cite[Section 2.B]{JMX06} for more information. 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Row, column and operator Hilbert spaces}
\label{subsec:row-column}

For any integer $n \geq 1$, we consider the row space $\mathrm{R}_n \ov{\mathrm{def}}{=} \Span\{e_{1k} : 1 \leq k \leq n\}$ and the column space $\C_n \ov{\mathrm{def}}{=} \Span\{e_{k1} : 1 \leq k \leq n\}$, which are subspaces of the algebra $\M_n$. We denote by $(e_k)_{1 \leq k \leq n}$ their canonical bases. Recall that by \cite[Exercise 2.3.5 p.~41]{Pis03} we have the duality formulas $\mathrm{R}_n^* = \C_n$ and $\C_n^* = \mathrm{R}_n$ completely isometrically via the dual bases. We denote by $\OH_n$ the $n$-dimensional operator Hilbert space with its canonical basis $(e_k)_{1 \leq k \leq n}$. According to \cite[Theorem 1.1 p.~12]{Pis96}, the dual operator space $\OH_n^*$ is completely isometric to $\ovl{\OH_n}$. Moreover by \cite[Remark 1.3 p.~17]{Pis96} the conjugate $\ovl{\OH_n}$ is completely isometric to $\OH_n$ via $\ovl{e_k} \mapsto e_k$. Any unitary of $\ell^2_n$ induces by \cite[Theorem 7.2 (iii) p.~127]{Pis03} combined with \cite[(1.2.7) p.~6]{BLM04} a complete isometry of the operator space $\OH_n$. Finally, by \cite[Corollary 2.6 p.~29]{Pis96} we have the complex interpolation formula $\OH_n = (\mathrm{R}_n,\C_n)_{\frac{1}{2}}$ completely isometrically. By \cite[Theorem 7.1 and (7.1) pp.~122--123]{Pis03}, we have for any Hilbert space $K$ and any finite family $(x_k)$ of elements in $\B(K)$, the equality
\begin{equation*}
%\label{OH-formula}
\Bgnorm{\sum_{k=1}^n x_k \ot e_k}_{\B(K) \ot_{\min} \OH_n} 
= \Bgnorm{\sum_{k=1}^n x_k \ot \ovl{x_k}}_{\B(K) \ot_{\min} \ovl{\B(K)}}^{\frac{1}{2}}.
\end{equation*}

We will use the following result.

\begin{lemma}
\label{lemma-sigma}
Let $m,n \geq 1$ be integers and let $x_1,\ldots,x_n \in \S^1_m$. We have
\begin{equation}
\label{norms-R-C}
\Bgnorm{\sum_{k=1}^{n} x_k \ot e_k}_{\S^1_m(\mathrm{R}_n)} 
= \sigma_c(x)
\quad \text{and} \quad
\Bgnorm{\sum_{k = 1}^n x_k \ot e_k}_{\S^1_m(\C_n)} 
= \sigma_r(x).
\end{equation}
\end{lemma}

\begin{proof}
For any $1 \leq k \leq m$, write $x_k = \sum_{i,j=1}^m x_k(i,j)e_{ij}$ for some complex numbers $x_k(i,j)$. Recall that by \cite[Proposition 9.3.5 p.~163]{EfR00}, we have 
\begin{equation}
\label{row-column-tensor-product}
\mathrm{R}_m \ot_h \mathrm{R}_n 
= \mathrm{R}_{mn}
\quad \text{and} \quad 
\C_n \ot_h \C_m = \C_{nm}
\end{equation}
completely isometrically. %Moreover, by \cite[Proposition 9.3.4 p.~162]{EfR00} the tensor product $\mathrm{R}_a \ot_h \C_b$ is isometric to the space $\S^1_{a,b}$ via $e_{i} \ot e_{j} \mapsto e_{ij}$. 
By the associativity of the Haagerup tensor product, we have isometrically
$$ 
\S^1_m(\mathrm{R}_n) 
\ov{\eqref{S1-Haagerup}}{=} \mathrm{R}_m \ot_h \mathrm{R}_n \ot_h \C_m
\ov{\eqref{row-column-tensor-product}}{=} \mathrm{R}_{mn} \ot_h \C_m
\ov{\eqref{S1-Haagerup}}{=} S^1_{mn,m}.
$$
The element $\sum_{k=1}^{n} x_k \ot e_k$ of the space $\S^1_m(\mathrm{R}_n)$ corresponds to the element 
$$
\sum_{k=1}^{n}\sum_{i,j=1}^m x_k(i,j) e_{(i,k)} \ot e_{j}
$$ 
of the space $\mathrm{R}_{mn} \ot_h \C_m$. Its norm is the trace norm of the $mn \times m$ matrix whose entry at the position $((i,k),j)$ is $x_k(i,j)$. Up to a permutation of the rows, this matrix is the block column $[x_1 \ \cdots \ x_n]^\top$ whose blocks are $x_1,\ldots,x_n$. Hence its trace norm is 
$$
\tr\bigg(\Big(\big([x_1 \ \cdots \ x_n]^\top\big)^*[x_1 \ \cdots \ x_n]^\top\Big)^{\frac{1}{2}}\bigg)
=\tr\bigg(\Big(\sum_{k=1}^{n} x_k^*x_k\Big)^{\frac{1}{2}}\bigg) 
\ov{\eqref{def-sigma}}{=} \sigma_c(x).
$$ 

\newpage


In the same way, the element $\sum_{k=1}^{n} x_k \ot e_k$ of the space $\S^1_m(\C_n) \ov{\eqref{S1-Haagerup}}{=} \mathrm{R}_m \ot_h \C_n \ot_h \C_m
\ov{\eqref{row-column-tensor-product}}{=} \mathrm{R}_{m} \ot_h \C_{nm}
\ov{\eqref{S1-Haagerup}}{=} S^1_{mn,m}$ corresponds to the element $\sum_{k=1}^{n}\sum_{i,j=1}^m x_k(i,j) e_{i} \ot e_{(k,j)}$ of the space $\mathrm{R}_m \ot_h \C_{nm}$, whose norm is the trace norm of the block row $[x_1 \ \cdots \ x_n]$, that is $\sigma_r(x)$.
\end{proof}

%\begin{remark} \normalfont
%\label{rem-convention}
%The assignment of $\sigma_c$ to $\mathrm{R}_n$ and of $\sigma_r$ to $\C_n$ in \eqref{norms-R-C} depends on the conventions used in the duality between $\S^1_m$ and $\M_m$. Changing these conventions exchanges the roles of rows and columns. The corresponding statements below are obtained by this exchange.
%\end{remark}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Duality and least embedding distortion}
\label{sec:reductions}

The following observation is a direct consequence of the duality between complete isometries and complete quotient maps.

\begin{prop}
\label{prop-duality}
%Let $E$ be an operator space and let $\cal{M}$ be a von Neumann algebra. A linear map $J \co E \to \L^1(\cal{M})$ is a complete isometry if and only if its adjoint $J^* \co \cal{M}^\op \to E^*$ is a complete quotient map. In this case, $J^*$ is weak* continuous and for any integer $m \geq 1$ and any $X \in \M_m(E^*)$ there exists $a \in \M_m(\cal{M}^\op)$ such that $\norm{a} = \norm{X}$ and $(\Id_{\M_m} \ot J^*)(a) = X$. 
A finite-dimensional operator space $F$ is a complete quotient of some $\mathrm{C}^*$-algebra if and only if its dual $F^*$ embeds completely isometrically into a noncommutative $\L^1$-space.
\end{prop}

\begin{proof}
%Since $\L^1(\cal{M}) = (\cal{M}^\op)_*$ completely isometrically, the dual of $\L^1(\cal{M})$ is $\cal{M}^\op$. By \cite[Corollary 4.1.9 p.~73]{EfR00}, $J$ is a complete isometry if and only if $J^*$ maps the open unit ball of $\M_m(\cal{M}^\op)$ onto the open unit ball of $\M_m(E^*)$ for any $m \geq 1$. The map $J^*$ is weak* continuous since it is the adjoint of a map with values in the predual. Let $X \in \M_m(E^*)$ with $\norm{X} = 1$. For any integer $j \geq 1$, there exists $a_j$ in the open unit ball of $\M_m(\cal{M}^\op)$ with $(\Id_{\M_m} \ot J^*)(a_j) = \frac{j}{j+1}X$. Let $a$ be a weak* cluster point of the bounded sequence $(a_j)$. Then $\norm{a} \leq 1$ and by weak* continuity $(\Id_{\M_m} \ot J^*)(a) = X$. Since $J^*$ is completely contractive, we have $\norm{a} = 1$.
If $q \co A \to F$ is a complete quotient map, then by \cite[Corollary 4.1.9 p.~73]{EfR00} the adjoint $q^* \co F^* \to A^* = (A^{**})_*$ is a complete isometry and $(A^{**})_* = \L^1((A^{**})^\op)$ completely isometrically. Conversely, if $J \co F^* \to \L^1(\cal{M})$ is a complete isometry then by \cite[Corollary 4.1.9 p.~73]{EfR00} the adjoint $J^* \co \cal{M}^\op \to F^{**} = F$ is a (exact) complete quotient map.
\end{proof}

For any finite-dimensional operator space $E$, we let
\begin{align*}
\MoveEqLeft
\label{def-dE}
\dist_{\L^1}(E) \\
&\ov{\mathrm{def}}{=} \inf \big\{\norm{u}_{\cb}\norm{u^{-1}}_{\cb} : u \co E \to \L^1(\cal{M}) \text{ injective linear map}, \ \cal{M} \text{ von Neumann algebra} \big\}.         
\end{align*}
Here the map $u^{-1} \co u(E) \to E$ denotes the inverse on the space $u(E)$. The number $\dist_{\L^1}(E)$ is finite since a finite-dimensional operator space $E$ of dimension $n$ is completely isomorphic to the row space $\mathrm{R}_n(1)$, which embeds completely isometrically into the  trace class space $S^1_n$. If $\cal{OS}_n$ is the space of all $n$-dimensional subspaces of preduals of von Neumann algebras, equipped with their natural operator space
structures is compact then we have
$$
\dist_{\L^1}(E)
=\dist_\cb(E,\cal{OS}_n). 
$$
With a standard use of ultraproducts we obtain the following result. In this paper, its role here is to turn in Corollary \ref{cor-R-plus-C} the nonexistence of a completely isometric realization of the operator space $\mathrm{R}_n+\C_n$ in a noncommutative $\L^1$-space into a strict lower bound for $\dist_{\L^1}(\mathrm{R}_n+\C_n)$. It also follows from a classical topology result \cite[Exercise 2 (b) p.~177]{Mun00} and Ozawa's compactness theorem \cite[Theorem 1 p.~310]{Oza00}, which says that the space $\cal{OS}_n$ equipped with the Banach–Mazur distance $\delta_{\cb} \ov{\mathrm{def}}{=} \log \dist_\cb$ is compact.

\begin{prop}
\label{prop-reduction}
Let $E$ be a finite-dimensional operator space. The infimum defining $\dist_{\L^1}(E)$ is attained. In particular, $\dist_{\L^1}(E) = 1$ if and only if $E$ embeds completely isometrically into a noncommutative $\L^1$-space.
\end{prop}

\begin{proof}
Choose injective maps $u_j \co E \to \L^1(\cal{M}_j)$ such that $\norm{u_j}_{\cb} = 1$ and $\norm{u_j^{-1}}_{\cb} \to \dist_{\L^1}(E)$. For a free ultrafilter $\cal{U}$ on the set $\N$, put $\cal{M} \ov{\mathrm{def}}{=} \prod_{\cal{U}} \cal{M}_j^\op$. The ultraproduct norm identity \cite[Lemma 6.1 p.~19]{Arh26OH} gives a linear map $u \co E \to \cal{M}^*$ satisfying, for any integer $m \geq 1$ and any $x \in S^1_m(E)$, the equality
$$
\norm{(\Id_{S^1_m} \ot u)(x)}_{S^1_m(\cal{M}^*)}
= \lim_{\cal{U}}\norm{(\Id_{\S^1_m} \ot u_j)(x)}_{S^1_m(\L^1(\cal{M}_j)}.
$$
For any integer $j$, note that $\dist_{\L^1}(E)^{-1} \norm{x}_{S^1_m(E)} \leq \norm{(\Id_{S^1_m} \ot u_j)(x)} \leq \norm{x}_{S^1_m(E)}$. Thus $\dist_{\L^1}(E)^{-1}\norm{x}_{S^1_m(E)} \leq \norm{(\Id_{S^1_m} \ot u)(x)} \leq \norm{x}_{S^1_m(E)}$. Recall that $\cal{M}^{**}$ is a von Neumann algebra, see \cite[Theorem A.5.6 p.~366]{BLM04}. Since $\cal{M}^* = (\cal{M}^{**})_*$ is a von Neumann algebra predual, the definition of $\dist_{\L^1}(E)$ gives $\norm{u}_{\cb}\norm{u^{-1}}_{\cb} = \dist_{\L^1}(E)$. If this product is one, multiplying $u$ by a positive scalar gives a complete isometry.
\end{proof}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{A rigidity theorem for columns in noncommutative $\L^1$-spaces}
\label{sec:rigidity}

The following inequality compares a column norm with the Euclidean norm of the individual trace norms. The estimate on the defect gives the equality case without squaring differences of unbounded operators.

\begin{prop}
\label{prop-column-lemma}
Let $\cal{M}$ be a von Neumann algebra and let $K_1,\ldots,K_N \in \L^1(\cal{M})$. Put $a \ov{\mathrm{def}}{=} (\sum_{k=1}^N K_k^*K_k)^{\frac{1}{2}}$, $t \ov{\mathrm{def}}{=} \tr(a)$ and $\gamma \ov{\mathrm{def}}{=} (\sum_{k=1}^N \norm{K_k}_{\L^1(\cal{M})}^2)^{\frac{1}{2}}$. We have
\begin{equation}
\label{column-inequality}
t \geq \gamma.
\end{equation}
If $\gamma > 0$, then
\begin{equation}
\label{column-stability}
\sum_{k = 1}^N \Bnorm{|K_k|-\frac{\norm{K_k}_{\L^1(\cal{M})}}{\gamma}a}_{\L^1(\cal{M})}^2 \leq 2t(t-\gamma).
\end{equation}
Equality in \eqref{column-inequality} holds if and only if $\norm{K_l}_{\L^1(\cal{M})}|K_k| = \norm{K_k}_{\L^1(\cal{M})}|K_l|$ for any $k,l$. In this case, $|K_k| = \frac{\norm{K_k}_{\L^1(\cal{M})}}{t}a$ whenever $t > 0$.
\end{prop}

\begin{proof}
The case $\gamma = 0$ is immediate. Suppose that $\gamma > 0$, and put $c_k \ov{\mathrm{def}}{=} \frac{\norm{K_k}_{\L^1(\cal{M})}}{\gamma}$. Let $K_k = w_k|K_k|$ be the polar decompositions. In $\cal{P} \ov{\mathrm{def}}{=} \M_N \otvn \cal{M}$, consider $K = \sum_k e_{k1} \ot K_k$ and $x = \sum_k e_{1k} \ot c_kw_k^*$. We have $|K| = e_{11} \ot a$ and $xx^* \leq e_{11} \ot 1$. Consequently,
$$
\gamma 
= \sum_k c_k\norm{K_k}_{\L^1(\cal{M})} 
= (\Tr \ot \tr)(xK) 
\leq \norm{K}_{\L^1(\cal{M})} 
= t.
$$

Write the polar decomposition of the column as $K = V(e_{11} \ot a)$, where $V = \sum_k e_{k1} \ot v_k$ and $v_k \in \cal{N}$. If $e = s(a)$, then $K_k = v_ka$ and $\sum_k v_k^*v_k = e$. Put $b_k \ov{\mathrm{def}}{ = } w_k^*v_ka^{\frac{1}{2}} \in \L^2(\cal{N})$. Since $w_kw_k^* \leq 1$, we have
$$
\sum_k \norm{b_k}_{\L^2(\cal{M})}^2 
\leq \sum_k \tr\big(a^{\frac{1}{2}}v_k^*v_ka^{\frac{1}{2}}\big) 
= \tr(a) = t.
$$
Moreover, cyclicity of the $\L^2$ pairing gives
$$
\la b_k,a^{\frac{1}{2}}\ra 
= \tr\big(a^{\frac{1}{2}}w_k^*v_ka^{\frac{1}{2}}\big) 
= \tr(w_k^*K_k) 
= \norm{K_k}_{\L^1(\cal{M})}.
$$
Since $\sum_k c_k^2 = 1$, it follows that
$$
\sum_k \norm{b_k-c_ka^{\frac{1}{2}}}_{\L^2(\cal{M})}^2 
\leq 2t-2\sum_k c_k\norm{K_k}_{\L^1(\cal{M})} 
= 2(t-\gamma).
$$
Now $|K_k|-c_ka = (b_k-c_ka^{\frac{1}{2}})a^{\frac{1}{2}}$. H\"older's inequality therefore gives
$$
\sum_k \norm{|K_k|-c_ka}_{\L^1(\cal{M})}^2 
\leq t\sum_k \norm{b_k-c_ka^{\frac{1}{2}}}_{\L^2(\cal{M})}^2 
\leq 2t(t-\gamma).
$$
This proves \eqref{column-stability}. If $t = \gamma$, then $|K_k| = c_ka$ for any $k$. Conversely, if the absolute values are proportional, choose $l$ with $K_l \ne 0$. Then $|K_k| = \frac{\norm{K_k}_{\L^1(\cal{M})}}{\norm{K_l}_{\L^1(\cal{M})}}|K_l|$, and direct substitution in the definition of $a$ gives $t = \gamma$. This proves the assertion.
\end{proof}

\begin{remark} \normalfont
\label{rem-row-lemma}
Applying Proposition \ref{prop-column-lemma} to the adjoints $K_1^*,\ldots,K_N^*$, we obtain
$$
\tr\bigg(\bigg(\sum_{k = 1}^N K_kK_k^*\bigg)^{\frac{1}{2}}\bigg)^2 
\geq \sum_{k = 1}^N \norm{K_k}_{\L^1(\cal{M})}^2,
$$
with equality if and only if $\norm{K_l}_{\L^1(\cal{M})}|K_k^*| = \norm{K_k}_{\L^1(\cal{M})}|K_l^*|$ for any $k,l$. In the notation \eqref{def-sigma}, we have for any $x \in \L^1(\cal{M})^n$
$$
\sigma_c(x) \geq \bigg(\sum_{k = 1}^n \norm{x_k}_{\L^1(\cal{M})}^2\bigg)^{\frac{1}{2}}
\quad \text{and} \quad
\sigma_r(x) \geq \bigg(\sum_{k = 1}^n \norm{x_k}_{\L^1(\cal{M})}^2\bigg)^{\frac{1}{2}}.
$$
\end{remark}

For any von Neumann algebra $\cal{N}$, any $h_1,\ldots,h_n \in \L^1(\cal{M})$ and any matrix $Q = [q_{kl}]$ of $\M_n$, we let
\begin{equation}
\label{def-XQ}
X_Q \ov{\mathrm{def}}{ = } \sum_{k,l = 1}^n q_{kl}h_k^*h_l
\quad \text{and} \quad
Y_Q \ov{\mathrm{def}}{ = } \sum_{k,l = 1}^n q_{kl}h_kh_l^*.
\end{equation}
These are elements of $\L^{\frac{1}{2}}(\cal{N})$ which depend linearly on $Q$. If $Q \geq 0$ and if $B = Q^{\frac{1}{2}}$, then $X_Q = \sum_{k}y_k^*y_k$ with $y_k = \sum_l b_{kl}h_l$, so that $X_Q \geq 0$. In the same way $Y_Q \geq 0$ if $Q \geq 0$.

\begin{prop}
\label{prop-HS-profile}
Let $\cal{M}$ be a von Neumann algebra, let $h_1,\ldots,h_n \in \L^1(\cal{M})$ and let $c > 0$. Suppose that for any positive matrix $Q \in \M_n$ of rank at most two we have
\begin{equation}
\label{HS-profile}
\tr\big(X_Q^{\frac{1}{2}}\big) = c\Tr(Q)^{\frac{1}{2}}.
\end{equation}
Then there exists $X \in \L^{\frac{1}{2}}(\cal{N})_+$ with $\tr(X^{\frac{1}{2}}) = c$ such that $h_k^*h_l = \delta_{kl}X$ for any $1 \leq k,l \leq n$.
\end{prop}

\begin{proof}
Let $Q_1,Q_2$ be nonzero rank-one positive matrices. Write $Q_j = B_j^*B_j$ with a row $B_j = [b_{jk}] \in \M_{1,n}$, and put $K_j \ov{\mathrm{def}}{ = } \sum_k b_{jk}h_k$. Then $K_j^*K_j = X_{Q_j}$, and $Q_1+Q_2$ has rank at most two. The assumption gives
$$
\tr\big(X_{Q_1+Q_2}^{\frac{1}{2}}\big)^2 
= c^2\Tr(Q_1+Q_2) 
= \norm{K_1}_{\L^1(\cal{M})}^2+\norm{K_2}_{\L^1(\cal{M})}^2.
$$
By Proposition \ref{prop-column-lemma}, the operators $X_{Q_1}^{\frac{1}{2}}$ and $X_{Q_2}^{\frac{1}{2}}$ are proportional. Their traces are $c\Tr(Q_j)^{\frac{1}{2}}$, so $\Tr(Q_2)X_{Q_1} = \Tr(Q_1)X_{Q_2}$. Taking $Q_2 = e_{11}$ and putting $X = X_{e_{11}}$, we obtain $X_Q = \Tr(Q)X$ for any rank-one positive matrix $Q$. Such matrices linearly span $\M_n$, hence the same identity holds for any $Q \in \M_n$. In particular, $h_k^*h_l = X_{e_{kl}} = \delta_{kl}X$, and $\tr(X^{\frac{1}{2}}) = c$.
\end{proof}

We can now state our rigidity theorem. Recall that if $E$ is an operator space with a basis $(\xi_1,\ldots,\xi_n)$, the first-column tests of $E$ are the elements $\sum_{i,k} a_{ik}e_{i1} \ot \xi_k$ of $\S^1_m(E)$ and the first-row tests are the elements $\sum_{j,k} b_{jk}e_{1j} \ot \xi_k$, where $A = [a_{ik}]$ and $B = [b_{jk}]$ belong to $\M_{m,n}$.

\begin{thm}
\label{th-column-rigidity}
Let $E$ be an operator space with a basis $(\xi_1,\ldots,\xi_n)$ and let $c > 0$. Suppose that there exists a complete isometry $J \co E \to \L^1(\cal{M})$ for some von Neumann algebra $\cal{M}$.
\begin{enumerate}
\item If for any $A \in \M_{2,n}$ we have
\begin{equation}
\label{HS-column-tests}
\Bgnorm{\sum_{i = 1}^2\sum_{k = 1}^n a_{ik}e_{i1} \ot \xi_k}_{\S_2^1(E)} 
= c\norm{A}_{\S^2},
\end{equation}
then the linear map $E \to \mathrm{R}_n$, $\xi_k \mapsto ce_k$ is a complete isometry.

\item If for any $B \in \M_{2,n}$ we have $\norm{\sum_{j,k} b_{jk}e_{1j} \ot \xi_k}_{\S^1_2(E)} = c\norm{B}_{\S^2}$, then the linear map $E \to \C_n$, $\xi_k \mapsto ce_k$ is a complete isometry.
\end{enumerate}
\end{thm}

\begin{proof}
1. Put $h_k \ov{\mathrm{def}}{=} J(\xi_k)$. Let $A \in \M_{2,n}$. Since $\Id_{\S^1_2} \ot J$ is an isometry from $\S^1_2(E)$ into $\S^1_2(\L^1(\cal{N})) = \L^1(\M_2 \otvn \cal{M})$, the norm of \eqref{HS-column-tests} is equal to the norm of the column $\sum_i e_{i1} \ot y_i$ with $y_i = \sum_k a_{ik}h_k$, that is
$$
\tr\bigg(\bigg(\sum_{i = 1}^2 y_i^*y_i\bigg)^{\frac{1}{2}}\bigg) 
= \tr\bigg(\bigg(\sum_{k,l = 1}^n (A^*A)_{kl}h_k^*h_l\bigg)^{\frac{1}{2}}\bigg) 
= \tr\big(X_{A^*A}^{\frac{1}{2}}\big).
$$
Since any positive matrix $Q \in \M_n$ of rank at most two is of the form $A^*A$ with $A \in \M_{2,n}$ and since $\norm{A}_{\S_2} = \Tr(A^*A)^{\frac{1}{2}}$, the assumption \eqref{HS-column-tests} gives \eqref{HS-profile}. By Proposition \ref{prop-HS-profile}, there exists $X \in \L^{\frac{1}{2}}(\cal{N})_+$ with $\tr(X^{\frac{1}{2}}) = c$ and $h_k^*h_l = \delta_{kl}X$. Now, let $m \geq 1$ and $x_1,\ldots,x_n \in \S^1_m$. Consider an element $Z = \sum_k x_k \ot h_k$ in $\L^1(\M_m \otvn \cal{N})$. We have
$$
Z^*Z 
= \sum_{k,l = 1}^n x_k^*x_l \ot h_k^*h_l 
= \bigg(\sum_{k = 1}^n x_k^*x_k\bigg) \ot X.
$$
Hence
\begin{align*}
\Bgnorm{\sum_{k = 1}^n x_k \ot \xi_k}_{\S^1_m(E)}
& = \norm{Z}_{\L^1(\M_m \otvn \cal{N})} = (\Tr \ot \tr)\big((Z^*Z)^{\frac{1}{2}}\big) \\
&\ov{\eqref{trace-tensor}}{ = } c\Tr\bigg(\bigg(\sum_{k = 1}^n x_k^*x_k\bigg)^{\frac{1}{2}}\bigg)\ov{\eqref{norms-R-C}}{ = } \Bgnorm{\sum_{k = 1}^n x_k \ot ce_k}_{\S^1_m(\mathrm{R}_n)}.
\end{align*}
By \cite[Lemma 1.7, (1.7)' p.~23]{Pis98}, the map $\xi_k \mapsto ce_k$ is a complete isometry.

2. The proof is identical, using the rows $\sum_j e_{1j} \ot y_j$ with $y_j = \sum_k b_{jk}h_k$, the elements $Y_Q$ instead of $X_Q$ (that is, applying Proposition \ref{prop-HS-profile} to $h_1^*,\ldots,h_n^*$) and the second equality of \eqref{norms-R-C}. Indeed, we have $\sum_j y_jy_j^* = Y_{B^T\ovl{B}}$, and any positive matrix $Q$ of rank at most two can be written $Q = B^T\ovl{B}$ with $B \in \M_{2,n}$.
\end{proof}

\begin{cor}
\label{cor-polar-row}
Let $h_1,\ldots,h_n \in \L^1(\cal{M})$. The map $e_k \mapsto h_k$ is a complete isometry from $\mathrm{R}_n$ into $\L^1(\cal{M})$ if and only if there exist $a \in \L^1(\cal{N})_+$ and $v_1,\ldots,v_n \in \cal{M}$ such that
\begin{equation}
\label{polar-row}
\tr(a) 
= 1,\quad h_k = v_ka,\quad 
v_k^*v_l = \delta_{kl}s(a).
\end{equation}
In this case, the space spanned by the $v_k$ in $\cal{M}$ is a column ternary ring of operators.
\end{cor}

\begin{proof}
Theorem \ref{th-column-rigidity} and its proof give $h_k^*h_l = \delta_{kl}a^2$ with $a \geq 0$ and $\tr(a) = 1$. Let $h_k = v_ka$ be the polar decompositions and put $e \ov{\mathrm{def}}{ = } s(a)$. Then $v_k^*v_k = e$ and $a(v_k^*v_l)a = 0$ for $k \ne l$. To cancel $a$, take its spectral projections $p_j = 1_{[\frac{1}{j},j]}(a)$ in the crossed product used to define the Haagerup spaces. Multiplication on both sides by the bounded truncated inverse $a^{-1}p_j$ gives $p_jv_k^*v_lp_j = 0$. Since $p_j \to e$ strongly, we obtain $v_k^*v_l = 0$. Conversely, \eqref{polar-row} gives the norm computation in the proof of Theorem \ref{th-column-rigidity} with $c = 1$. Finally, $v_iv_j^*v_k = \delta_{jk}v_i$. Thus their span is closed under the ternary product and is a column space, in the terminology of \cite[Section 1.2.23 p.~11 and Section 4.4.1 p.~161]{BLM04}.
\end{proof}

The rigidity theorem also has a qualitative stability consequence. We use the compactness theorem of Ozawa \cite[pp.~309--312]{Oza00}: for fixed $n$, the set of $n$-dimensional subspaces of von Neumann algebra preduals, up to complete isometry, is compact for the cb-Banach--Mazur distance.

\begin{cor}
\label{cor-qualitative-stability}
Let $n \geq 1$ be an integer. There exists a function $\omega_n \co (0,1) \to [0,\infty)$ such that $\omega_n(\epsi) \to 0$ as $\epsi \to 0$ and with the following property. Let $0 < \epsi < 1$ and suppose that $E \subset \L^1(\cal{N})$ has a basis $(\xi_k)_{k = 1}^n$ satisfying
\begin{equation}
\label{approximate-column-tests}
(1-\epsi)\norm{A}_{\S^2} 
\leq \Bgnorm{\sum_{i = 1}^2\sum_{k = 1}^n a_{ik}e_{i1} \ot \xi_k}_{\S^1_2(E)} 
\leq (1+\epsi)\norm{A}_{\S^2}
\end{equation}
for any $A \in \M_{2,n}$. Then the map $u \co E \to \mathrm{R}_n$, $\xi_k \mapsto e_k$, satisfies $\norm{u}_{\cb}\norm{u^{-1}}_{\cb} \leq 1+\omega_n(\epsi)$.
\end{cor}

\begin{proof}
At the scalar level, \eqref{approximate-column-tests} gives
$$
(1-\epsi)|\lambda|_2 
\leq \Bgnorm{\sum_{k=1}^n \lambda_k\xi_k} 
\leq (1+\epsi)|\lambda|_2.
$$
Consequently, the coordinate functionals have norm at most $(1-\epsi)^{-1}$ and $\norm{\xi_k} \leq 1+\epsi$. Decomposing $u$ and $u^{-1}$ into rank-one maps shows that their cb-distortion is at most $n^2\frac{1+\epsi}{1-\epsi}$. Thus the supremum of the distortions in the statement is finite for fixed $\epsi$.

Suppose that this supremum does not tend to one. There exist $\delta > 0$, a sequence $\epsi_j \to 0$, and spaces $E_j$ with bases $(\xi_k^{(j)})$ satisfying \eqref{approximate-column-tests}, for which the coordinate maps $s_j \co \mathrm{R}_n \to E_j$, $e_k \mapsto \xi_k^{(j)}$, have cb-distortion at least $1+\delta$. By Ozawa's compactness theorem, after passing to a subsequence there exist an $n$-dimensional predual subspace $F$ and isomorphisms $v_j \co E_j \to F$ with $\norm{v_j}_{\cb} \to 1$ and $\norm{v_j^{-1}}_{\cb} \to 1$. Here we rescale the isomorphisms so that their two cb-norms are equal.

The maps $w_j = v_js_j \co \mathrm{R}_n \to F$ are bounded at the scalar level. Passing to a further subsequence, we may suppose that they converge in operator norm to a map $w$. The scalar inequalities show that $w$ is an isometry onto $F$. Passing to the limit in \eqref{approximate-column-tests} gives the exact first-column identities for the basis $(w(e_k))$ of $F$. Theorem \ref{th-column-rigidity} therefore shows that $w$ is a complete isometry. Moreover,
$$
\norm{w_j-w}_{\cb} 
\leq \sum_{k = 1}^n \norm{w_j(e_k)-w(e_k)}_F 
\to 0.
$$
The Neumann series applied to $w^{-1}w_j$ gives $w_j^{-1} \to w^{-1}$ in cb-norm. Since $s_j = v_j^{-1}w_j$ and $s_j^{-1} = w_j^{-1}v_j$, the cb-distortions of $s_j$ tend to one. This is a contradiction. Taking $\omega_n(\epsi)$ to be the supremum of the distortions minus one proves the assertion.
\end{proof}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Sums of weighted row and column spaces}
\label{sec:sums}

Let $n \geq 1$ be an integer and let $\alpha,\beta > 0$. We consider the operator space $\alpha\mathrm{R}_n+\beta\C_n$, that is the quotient of $\alpha\mathrm{R}_n \oplus_1 \beta\C_n$ by the subspace $\{(\xi,-\xi) : \xi \in \mathbb{C}^n\}$, and we denote by $(e_k)$ its canonical basis.

\begin{lemma}
\label{lemma-norm-sum}
Let $m \geq 1$ be an integer. For any $x = (x_1,\ldots,x_n) \in (\S^1_m)^n$ we have
\begin{equation}
\label{norm-sum}
\Bgnorm{\sum_{k = 1}^n x_k \ot e_k}_{\S^1_m(\alpha\mathrm{R}_n+\beta\C_n)} = \inf\big\{\alpha\sigma_c(y)+\beta\sigma_r(z) : y,z \in (\S^1_m)^n, \ y+z = x \big\}.
\end{equation}
\end{lemma}

\begin{proof}
By the points 4 and 5 of Subsection \ref{subsec:Schatten}, the space $\S^1_m(\alpha\mathrm{R}_n+\beta\C_n)$ is isometric to the quotient of $\S^1_m(\alpha\mathrm{R}_n) \oplus_1 \S^1_m(\beta\C_n)$ by the subspace $\{(y,-y)\}$. It suffices to use Lemma \ref{lemma-sigma}.
\end{proof}

\begin{lemma}
\label{lemma-sqrt-n}
Let $m,n \geq 1$ be integers. For any $z \in (\S^1_m)^n$ we have $\sigma_c(z) \leq \sqrt{n}\sigma_r(z)$ and $\sigma_r(z) \leq \sqrt{n}\sigma_c(z)$.
\end{lemma}

\begin{proof}
Since $\sigma_c(z)$ is the trace norm of the column $\sum_{k=1}^n e_{k1} \ot z_k$, the triangle inequality and the Cauchy-Schwarz inequality give
$$
\sigma_c(z) \leq \sum_{k = 1}^n \norm{z_k}_{\S^1_m} \leq \sqrt{n}\bigg(\sum_{k = 1}^n \norm{z_k}_{\S^1_m}^2\bigg)^{\frac{1}{2}} \leq \sqrt{n}\sigma_r(z),
$$
where we used Remark \ref{rem-row-lemma} in the last inequality. The second inequality is proved in the same way.
\end{proof}

\begin{lemma}
\label{lemma-tests-sum}
Let $m,n \geq 1$ be integers and let $A = [a_{ik}],B = [b_{jk}] \in \M_{m,n}$. Consider the first-column test $T_A = \sum_{i,k} a_{ik}e_{i1} \ot e_k$ and the first-row test $T'_B = \sum_{j,k} b_{jk}e_{1j} \ot e_k$ of $\S^1_m(\alpha\mathrm{R}_n+\beta\C_n)$.
\begin{enumerate}
\item If $\alpha \leq \beta$, then $\norm{T_A} = \alpha\norm{A}_{\S^2}$ and $\norm{T'_B} \leq \beta\norm{B}_{\S^2}$.
\item If $\beta \leq \alpha$, then $\norm{T'_B} = \beta\norm{B}_{\S^2}$ and $\norm{T_A} \leq \alpha\norm{A}_{\S^2}$.
\end{enumerate}
\end{lemma}

\begin{proof}
For the first-column test, we have $x_k = \sum_i a_{ik}e_{i1}$. Since $\sum_k x_k^*x_k = \norm{A}_{\S^2}^2e_{11}$ and $\sum_k x_kx_k^* = AA^*$, we have $\sigma_c(x) = \norm{A}_{\S^2}$ and $\sigma_r(x) = \norm{A}_{\S_1}$. For the first-row test, we have $x_k = \sum_j b_{jk}e_{1j}$, hence $\sum_k x_kx_k^* = \norm{B}_{\S^2}^2e_{11}$ and $\sum_k x_k^*x_k = (BB^*)^T$, so that $\sigma_r(x) = \norm{B}_{\S^2}$ and $\sigma_c(x) = \norm{B}_{\S^1}$. The upper estimates follow from \eqref{norm-sum} by choosing $(y,z) = (x,0)$ or $(y,z) = (0,x)$.

1. Suppose $\alpha \leq \beta$ and let $y+z = x$ be a decomposition of the first-column test, so that $x_k = x_ke_{11}$. Put $y'_k \ov{\mathrm{def}}{ = } y_ke_{11}$ and $z'_k = z_ke_{11}$, so that $y'+z' = x$. For any positive matrix $T$, we have 
$$
\Tr((e_{11}Te_{11})^{\frac{1}{2}}) 
= \bnorm{T^{\frac{1}{2}}e_{11}}_{\S^1} 
\leq \Tr(T^{\frac{1}{2}}).
$$ 
Hence $\sigma_c(y') \leq \sigma_c(y)$. Moreover, we have $\sum_k z_ke_{11}z_k^* \leq \sum_k z_kz_k^*$, so that $\sigma_r(z') \leq \sigma_r(z)$ by the operator monotonicity of the function $t \mapsto t^{\frac{1}{2}}$. Writing $y'_k = \sum_i b'_{ik}e_{i1}$ and $z'_k = \sum_i c_{ik}e_{i1}$ with $B'+C = A$, we obtain as above $\sigma_c(y') = \norm{B'}_{\S^2}$ and $\sigma_r(z') = \norm{C}_{\S^1}$. We conclude that
$$
\alpha\sigma_c(y)+\beta\sigma_r(z) 
\geq \alpha\norm{B'}_{\S^2}+\beta\norm{C}_{\S^1} 
\geq \alpha\big(\norm{B'}_{\S^2}+\norm{C}_{\S^2}\big) \geq \alpha\norm{A}_{\S^2}.
$$
Taking the infimum, we obtain $\norm{T_A} \geq \alpha\norm{A}_{\S^2}$.

2. The proof is similar, using the left multiplication by $e_{11}$ instead of the right multiplication.
\end{proof}

\begin{thm}
\label{th-sum-R-C}
Let $n \geq 2$ be an integer and let $\alpha,\beta > 0$. The operator space $\alpha\mathrm{R}_n+\beta\C_n$ is completely isometric to a subspace of $\L^1(\cal{M})$ for some von Neumann algebra $\cal{M}$ if and only if $\max\{\alpha,\beta\} \geq \sqrt{n}\min\{\alpha,\beta\}$. Moreover, if $\beta \geq \sqrt{n}\alpha$ (resp. $\alpha \geq \sqrt{n}\beta$), then $\alpha\mathrm{R}_n+\beta\C_n = \alpha\mathrm{R}_n$ (resp. $\alpha\mathrm{R}_n+\beta\C_n = \beta\C_n$) completely isometrically.
\end{thm}

\begin{proof}
Put $E \ov{\mathrm{def}}{ = } \alpha\mathrm{R}_n+\beta\C_n$. Suppose first that $\beta \geq \sqrt{n}\alpha$. Let $m \geq 1$ and $x \in (\S^1_m)^n$. For any decomposition $x = y+z$, we have by Lemma \ref{lemma-sqrt-n} and the triangle inequality for the norm $\sigma_c$
$$
\alpha\sigma_c(y)+\beta\sigma_r(z) 
\geq \alpha\sigma_c(y)+\frac{\beta}{\sqrt{n}}\sigma_c(z) \geq \alpha\big(\sigma_c(y)+\sigma_c(z)\big) 
\geq \alpha\sigma_c(x).
$$
Since the choice $(y,z) = (x,0)$ gives the value $\alpha\sigma_c(x)$, we deduce from \eqref{norm-sum} and \eqref{norms-R-C} that $\norm{\sum_k x_k \ot e_k}_{\S^1_m(E)} = \norm{\sum_k x_k \ot e_k}_{\S^1_m(\alpha\mathrm{R}_n)}$. By \cite[Lemma 1.7, (1.7)' p.~23]{Pis98}, the identity map $\alpha\mathrm{R}_n \to E$ is a complete isometry. Moreover, the space $\alpha\mathrm{R}_n$ embeds completely isometrically into $\L^1(\M_n)$ via the map $e_k \mapsto \alpha e_{k1}$. Indeed, for any $x \in (\S^1_m)^n$, the element $Z = \sum_k x_k \ot e_{k1}$ of $\L^1(\M_m \ot \M_n)$ satisfies $Z^*Z = (\sum_k x_k^*x_k) \ot e_{11}$, hence $\norm{\alpha Z}_{\L^1(\M_m \ot \M_n)} = \alpha\sigma_c(x)$, and it suffices to use \eqref{norms-R-C} and \cite[Lemma 1.7, (1.7)' p.~23]{Pis98}. The case $\alpha \geq \sqrt{n}\beta$ is similar, using the embedding $e_k \mapsto \beta e_{1k}$ of $\beta\C_n$ into $\L^1(\M_n)$.

Conversely, suppose that $J \co E \to \L^1(\cal{M})$ is a complete isometry and that $\max\{\alpha,\beta\} < \sqrt{n}\min\{\alpha,\beta\}$. We first consider the case $\alpha \leq \beta$. By the first point of Lemma \ref{lemma-tests-sum}, the first-column tests of $E$ satisfy \eqref{HS-column-tests} with $c = \alpha$. By the first point of Theorem \ref{th-column-rigidity}, the identity map $E \to \alpha\mathrm{R}_n$ is a complete isometry. Consider the first-row test $T'_{\Id} = \sum_{k = 1}^n e_{1k} \ot e_k$ of $S_1^n(E)$. Its norm in $\S^1_n(\alpha\mathrm{R}_n)$ is $\alpha\sigma_c(x)$ with $x_k = e_{1k}$, that is $\alpha\Tr((\sum_k e_{kk})^{\frac{1}{2}}) = \alpha n$. On the other hand, by the first point of Lemma \ref{lemma-tests-sum}, we have
$$
\norm{T'_{\Id}}_{\S^1_n(E)} 
\leq \beta\norm{\Id_n}_{\S^2} 
= \beta\sqrt{n}
< \alpha n.
$$
This is a contradiction. If $\beta \leq \alpha$, the same argument with the second points of Lemma \ref{lemma-tests-sum} and of Theorem \ref{th-column-rigidity} shows that the identity map $E \to \beta\C_n$ is a complete isometry, and the first-column test $T_{\Id}$ gives the contradiction $\beta n \leq \alpha\sqrt{n} < \beta n$.
\end{proof}

We now allow the weights to depend on the coordinate. For $\alpha = (\alpha_k)_{k = 1}^n$ with $\alpha_k > 0$, we define $\mathrm{R}_n(\alpha)$ by
$$
\Bgnorm{\sum_{k=1}^n x_k \ot e_k}_{\M_m(\mathrm{R}_n(\alpha))} 
= \Bgnorm{\sum_{k=1}^n \alpha_k^2x_kx_k^*}^{\frac{1}{2}},
$$
and define $\C_n(\beta)$ by the analogous formula with $\sum_k \beta_k^2x_k^*x_k$. These are the finite-dimensional weighted row and column spaces which occur in the graph construction of \cite[Section 7 pp.~29--30]{Xu07notes}.

\begin{thm}
\label{th-ordered-weights}
Let $\alpha_k,\beta_k > 0$ for $1 \leq k \leq n$, and suppose that $\alpha_k \leq \beta_k$ for any $k$. The following assertions are equivalent.
\begin{enumerate}
\item $\mathrm{R}_n(\alpha)+\C_n(\beta)$ embeds completely isometrically into a noncommutative $\L^1$-space.
\item The identity map $\mathrm{R}_n(\alpha)+\C_n(\beta) \to \mathrm{R}_n(\alpha)$ is a complete isometry.
\item $\sum_{k = 1}^n \frac{\alpha_k^2}{\beta_k^2} \leq 1$.
\end{enumerate}
If $\beta_k \leq \alpha_k$ for any $k$, the symmetric assertions hold with $\C_n(\beta)$ in place of $\mathrm{R}_n(\alpha)$ and with $\sum_k \frac{\beta_k^2}{\alpha_k^2} \leq 1$.
\end{thm}

\begin{proof}
Rescaling the $k$-th coordinate by $\alpha_k$, it suffices to consider $E = \mathrm{R}_n+\C_n(d)$, where $d_k = \frac{\beta_k}{\alpha_k} \geq 1$. By the same quotient argument as in Lemma \ref{lemma-norm-sum},
\begin{equation}
\label{weighted-sum-norm}
\Bgnorm{\sum_{k=1}^n x_k \ot e_k}_{\S^1_m(E)} 
= \inf_{x = y+z}\big\{\sigma_c(y)+\sigma_r((d_kz_k)_k)\big\}.
\end{equation}
For a first-column test associated with $A \in \M_{m,n}$, the right multiplication by $e_{11}$ contracts both terms in \eqref{weighted-sum-norm}. We may therefore restrict the decompositions to first columns. Writing $A = B+C$ and $D = \diag(d_1,\ldots,d_n)$, the two terms become $\norm{B}_{\S^2}$ and $\norm{CD}_{\S^1}$. Since
$$
\norm{CD}_{\S^1} 
\geq \norm{CD}_{\S^2} 
\geq \norm{C}_{\S^2},
$$
the infimum is $\norm{A}_{\S^2}$, attained at $B = A$, $C = 0$. Assertion 1 therefore implies assertion 2 by Theorem \ref{th-column-rigidity}.

Recall that the cb-norm of a map from a column Hilbert space to a row Hilbert space is its Hilbert-Schmidt norm, see \cite[Introduction p.~II]{Jun96}. In the present notation, this gives
\begin{equation}
\label{weighted-cb}
\norm{\Id}_{\cb,\C_n(d) \to \mathrm{R}_n} 
= \bigg(\sum_k d_k^{-2}\bigg)^{\frac{1}{2}}.
\end{equation}
For completeness, at the matrix level we have
$$
\Bgnorm{\sum_k x_kx_k^*} 
\leq \sum_k \norm{x_k}^2 
\leq \bigg(\sum_k d_k^{-2}\bigg)\Bgnorm{\sum_k d_k^2x_k^*x_k}.
$$
Equality in the resulting cb-norm estimate is obtained by taking $m = n$ and $x_k = d_k^{-1}e_{1k}$. This proves \eqref{weighted-cb}.

If assertion 2 holds, the canonical complete contraction $\C_n(d) \to E$ becomes the identity into $\mathrm{R}_n$. Formula \eqref{weighted-cb} implies assertion 3. Conversely, assertion 3 says that the identity $\C_n(d) \to \mathrm{R}_n$ is completely contractive. By the universal property of the operator space $\ell^1$-sum, the sum map from $\mathrm{R}_n \oplus_1 \C_n(d)$ to $\mathrm{R}_n$ is completely contractive and factors through $E$. The reverse identity is the canonical complete contraction, so assertion 2 follows. Finally, a row space embeds completely isometrically into a matrix trace class, as shown in Theorem \ref{th-sum-R-C}. Thus assertion 2 implies assertion 1. Interchanging rows and columns proves the last assertion.
\end{proof}

\begin{cor}
\label{cor-R-plus-C}
For any integer $n \geq 2$, the operator space $\mathrm{R}_n + \C_n$ is not completely isometric to a subspace of a noncommutative $\L^1$-space. The same holds for the infinite-dimensional operator space $\mathrm{R}+\C$. Moreover, we have $\dist_{\L^1}(\mathrm{R}_n+\C_n) > 1$.
\end{cor}

\begin{proof}
The first assertion is the case $\alpha = \beta = 1$ of Theorem \ref{th-sum-R-C}. The span of the first two basis vectors of $\mathrm{R}+\C$ is completely isometric to $\mathrm{R}_2+\C_2$, since the canonical inclusions $\mathrm{R}_2 \to \mathrm{R}$, $\C_2 \to \C$ and the coordinate projections $\mathrm{R} \to \mathrm{R}_2$, $\C \to \C_2$ are complete contractions which induce complete contractions between the corresponding sums. The last assertion follows from Proposition \ref{prop-reduction}.
\end{proof}

\begin{cor}
\label{cor-intersections}
Let $n \geq 2$ be an integer and let $s,t > 0$. The operator space $s\mathrm{R}_n \cap t\C_n$ is completely isometric to a complete quotient of a C*-algebra if and only if $\max\{s,t\} \geq \sqrt{n}\min\{s,t\}$. In particular, the operator spaces $\mathrm{R}_n \cap \C_n$ and $\mathrm{R} \cap \C$ are not complete quotients of C*-algebras.
\end{cor}

\begin{proof}
By duality, we have completely isometrically $(s\mathrm{R}_n \cap t\C_n)^* = (s\mathrm{R}_n)^*+(t\C_n)^* = t^{-1}\mathrm{R}_n+s^{-1}\C_n$. By Proposition \ref{prop-duality} and Theorem \ref{th-sum-R-C}, $s\mathrm{R}_n \cap t\C_n$ is a complete quotient of a C*-algebra if and only if $\max\{t^{-1},s^{-1}\} \geq \sqrt{n}\min\{t^{-1},s^{-1}\}$, that is $\max\{s,t\} \geq \sqrt{n}\min\{s,t\}$. If $q \co A \to \mathrm{R} \cap \C$ were a complete quotient map, then composing with the coordinate projection $\mathrm{R} \cap \C \to \mathrm{R}_2 \cap \C_2$, which is a complete quotient map since it admits a completely contractive right inverse, we would obtain a complete quotient map from $A$ onto $\mathrm{R}_2 \cap \C_2$.
\end{proof}

We can reformulate Corollary \ref{cor-R-plus-C} in terms of noncommutative Khintchine inequalities in $\L^1$, see \cite{HaM07} and the references therein.

\begin{cor}
\label{cor-Khintchine}
Let $n \geq 2$ be an integer. For any $x \in (\S^1_m)^n$, put 
$$
\vert\vert\vert x \vert\vert\vert 
\ov{\mathrm{def}}{ = } \inf\{\sigma_c(y)+\sigma_r(z) : y+z = x\}.
$$ 
There exists $\delta_n > 0$ such that for any von Neumann algebra $\cal{N}$, any $h_1,\ldots,h_n \in \L^1(\cal{N})$ and any constants $0 < a \leq b$ satisfying
$$
a\vert\vert\vert x \vert\vert\vert \leq \Bgnorm{\sum_{k = 1}^n x_k \ot h_k}_{\L^1(\M_m \otvn \cal{N})} \leq b\vert\vert\vert x \vert\vert\vert
$$
for any integer $m \geq 1$ and any $x \in (\S^1_m)^n$, we have $\frac{b}{a} \geq 1+\delta_n$. In particular, the noncommutative Khintchine inequality in $\L^1$ cannot hold with both constants equal to $1$.
\end{cor}

\begin{proof}
By Lemma \ref{lemma-norm-sum}, $\vert\vert\vert x \vert\vert\vert$ is the norm of $\sum_k x_k \ot e_k$ in $\S^1_m(\mathrm{R}_n+\C_n)$. By \cite[Lemma 1.7, (1.7)' p.~23]{Pis98}, the assumption means that the linear map $u \co \mathrm{R}_n+\C_n \to \L^1(\cal{N})$, $e_k \mapsto h_k$ satisfies $\norm{u}_{\cb} \leq b$ and $\norm{u^{-1}}_{\cb} \leq a^{-1}$. It suffices to take $\delta_n \ov{\mathrm{def}}{ = } \dist_{\L^1}(\mathrm{R}_n+\C_n)-1$, which is positive by Corollary \ref{cor-R-plus-C}.
\end{proof}

We apply Theorem \ref{th-ordered-weights} to the subspaces considered by Haagerup and Musat. Let $H \subset \mathrm{R}_n \oplus_\infty \C_n$ be $n$-dimensional, equipped with the Hilbert norm induced by the Hilbert direct sum. If $U_1,U_2$ are its coordinate maps, put $A \ov{\mathrm{def}}{ = } U_2^*U_2$, so that $U_1^*U_1 = \Id-A$. For an orthonormal eigenbasis $(\xi_k)$ of $A$ with eigenvalues $\nu_k$, formula (3.5) of \cite[p.~16]{HaM07} gives
$$
H 
= \mathrm{R}_n\big((\sqrt{1-\nu_k})_k\big) \cap \C_n\big((\sqrt{\nu_k})_k\big)
$$
completely isometrically via the basis $(\xi_k)$.

\begin{cor}
\label{cor-HM-subspaces}
Suppose that $0 < A < \Id$.
\begin{enumerate}
\item If $A \leq \frac{1}{2}\Id$, then $H^*$ embeds completely isometrically into a noncommutative $\L^1$-space if and only if $\Tr(A(\Id-A)^{-1}) \leq 1$.
\item If $A \geq \frac{1}{2}\Id$, then the corresponding criterion is $\Tr((\Id-A)A^{-1}) \leq 1$.
\end{enumerate}
In particular, if $A = \nu\Id$ with $0 < \nu < 1$, the criterion is $\nu \leq \frac{1}{n+1}$ or $\nu \geq \frac{n}{n+1}$.
\end{cor}

\begin{proof}
Duality gives
$$
H^* = \mathrm{R}_n\big((\nu_k^{-\frac{1}{2}})_k\big)
+ \C_n\big(((1-\nu_k)^{-\frac{1}{2}})_k\big).
$$
If all $\nu_k \leq \frac{1}{2}$, the column weights are at most the row weights. The symmetric part of Theorem \ref{th-ordered-weights} gives the condition $\sum_k \frac{\nu_k}{1-\nu_k} \leq 1$. If all $\nu_k \geq \frac{1}{2}$, the condition is $\sum_k \frac{1-\nu_k}{\nu_k} \leq 1$. These are the stated trace conditions. For a scalar $A$, they reduce to the two inequalities in the last assertion.
\end{proof}

\begin{remark} \normalfont
\label{rem-HM}
The general embedding theorem \cite[Theorem 3.1 p.~17]{HaM07} gives distortion at most $\sqrt{2}$ for every such dual $H^*$. Corollary \ref{cor-HM-subspaces} identifies exactly when distortion one is possible under the spectral assumption made there. It does not classify the case where $A$ has eigenvalues on both sides of $\frac{1}{2}$. The complete isometry for $\OH$ in \cite{Arh26OH} does not imply a complete isometry for all these graph duals.
\end{remark}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{The operator Hilbert space}
\label{sec:OH}

We start by computing the first-column and first-row tests of $\OH_n$.

\begin{lemma}
\label{lemma-tests-OH}
Let $m,n,N \geq 1$ be integers with $n \leq N$ and let $\xi_1,\ldots,\xi_n$ be an orthonormal family of $\OH_N$. For any $A = [a_{ik}],B = [b_{jk}] \in \M_{m,n}$ we have
$$
\Bgnorm{\sum_{i = 1}^m\sum_{k = 1}^n a_{ik}e_{i1} \ot \xi_k}_{\S^1_m(\OH_N)} 
= \norm{A}_{\S^{\frac{4}{3}}}
\quad \text{and} \quad
\Bgnorm{\sum_{j = 1}^m\sum_{k = 1}^n b_{jk}e_{1j} \ot \xi_k}_{\S^1_m(\OH_N)} 
= \norm{B}_{\S^{\frac{4}{3}}}.
$$
\end{lemma}

\begin{proof}
There exists a unitary of $\ell^2_N$ mapping $e_k$ on $\xi_k$ for any $1 \leq k \leq n$. This unitary is a complete isometry of $\OH_N$ and $\OH_n$ is a completely isometric subspace of $\OH_N$. By the second point of Subsection \ref{subsec:Schatten}, we can suppose that $N = n$ and $\xi_k = e_k$. Since $\OH_n = (\mathrm{R}_n,\C_n)_{\frac{1}{2}}$ completely isometrically, the third point of Subsection \ref{subsec:Schatten} and Lemma \ref{lemma-sigma} show that $\S^1_m(\OH_n)$ is isometric to the complex interpolation space $(S_0,S_1)_{\frac{1}{2}}$ where $S_0$ and $S_1$ denote the space $(\S^1_m)^n$ equipped with the norms $\sigma_c$ and $\sigma_r$.

Let $V$ be the subspace of $(\S^1_m)^n$ of the $n$-tuples $x$ satisfying $x_k = x_ke_{11}$ for any $k$, and let $P \co (\S^1_m)^n \to V$ be the projection defined by $P(x) = (x_1e_{11},\ldots,x_ne_{11})$. We have seen in the proof of Lemma \ref{lemma-tests-sum} that $P$ is contractive for $\sigma_c$ and for $\sigma_r$. Denote by $V_0$ and $V_1$ the space $V$ equipped with the restrictions of $\sigma_c$ and $\sigma_r$. The inclusion $\iota \co V \to (\S^1_m)^n$ and the projection $P$ are contractive at both endpoints, hence define contractions $\iota \co (V_0,V_1)_{\frac{1}{2}} \to (S_0,S_1)_{\frac{1}{2}}$ and $P \co (S_0,S_1)_{\frac{1}{2}} \to (V_0,V_1)_{\frac{1}{2}}$. Since $P\iota = \Id_V$, we obtain for any $v \in V$
$$
\norm{v}_{(V_0,V_1)_{\frac{1}{2}}} 
= \norm{P\iota(v)}_{(V_0,V_1)_{\frac{1}{2}}} 
\leq \norm{\iota(v)}_{(S_0,S_1)_{\frac{1}{2}}} \leq \norm{v}_{(V_0,V_1)_{\frac{1}{2}}}.
$$
Now, the linear map $\Phi \co \M_{m,n} \to V$, $A \mapsto (\sum_i a_{ik}e_{i1})_{1 \leq k \leq n}$ is a bijection which satisfies $\sigma_c(\Phi(A)) = \norm{A}_{\S^2}$ and $\sigma_r(\Phi(A)) = \norm{A}_{\S_1}$, see the proof of Lemma \ref{lemma-tests-sum}. Hence $\Phi$ induces an isometry from $(\S^2_{m,n},\S^1_{m,n})_{\frac{1}{2}} = \S^{\frac{4}{3}}_{m,n}$ onto $(V_0,V_1)_{\frac{1}{2}}$, by the interpolation identity \cite[Corollary 1.4 p.~19]{Pis98}, restricted to rectangular corners. This proves the first equality. The second equality is proved in the same way, using the projection $x \mapsto (e_{11}x_1,\ldots,e_{11}x_n)$ and the equalities $\sigma_c = \norm{B}_{\S_1}$, $\sigma_r = \norm{B}_{\S_2}$ for the first-row tests.
\end{proof}

The column and row norms give the following restrictions on any complete isometric realization.

\begin{prop}
\label{prop-Gram}
Let $n \geq 1$ be an integer and let $J \co \OH_n \to \L^1(\cal{M})$ be a complete isometry. Put $h_k \ov{\mathrm{def}}{ = } J(e_k)$. For any positive matrix $Q \in \M_n$ we have, with the notations \eqref{def-XQ},
\begin{equation}
\label{Gram-identities}
\tr\big(X_Q^{\frac{1}{2}}\big) 
= \tr\big(Y_Q^{\frac{1}{2}}\big) 
= \big(\Tr Q^{\frac{2}{3}}\big)^{\frac{3}{4}}.
\end{equation}
Equivalently, for any matrix $B = [b_{kl}] \in \M_n$, the $n$-tuple $Bh = (\sum_l b_{kl}h_l)_{1 \leq k \leq n}$ satisfies $\sigma_c(Bh) = \sigma_r(Bh) = \norm{B}_{\S^{\frac{4}{3}}}$.
\end{prop}

\begin{proof}
Let $A \in \M_n$. As in the proof of Theorem \ref{th-column-rigidity}, the image under $\Id_{\S_1^n} \ot J$ of the first-column test associated with $A$ has norm $\tr(X_{A^*A}^{\frac{1}{2}})$. By Lemma \ref{lemma-tests-OH}, this norm is equal to $\norm{A}_{\S^{\frac{4}{3}}} = (\Tr (A^*A)^{\frac{2}{3}})^{\frac{3}{4}}$. In the same way, the image of the first-row test associated with $B \in \M_n$ has norm $\tr(Y_{B^T\ovl{B}}^{\frac{1}{2}})$, which is equal to $\norm{B}_{\S^{\frac{4}{3}}} = (\Tr (B^T\ovl{B})^{\frac{2}{3}})^{\frac{3}{4}}$ since $B^T\ovl{B} = (B^*B)^T$. Since any positive matrix $Q$ can be written $Q = A^*A = B^T\ovl{B}$, we obtain \eqref{Gram-identities}. For the last assertion, note that $\sum_k (Bh)_k^*(Bh)_k = X_{B^*B}$ and $\sum_k (Bh)_k(Bh)_k^* = Y_{B^T\ovl{B}}$.
\end{proof}

\begin{prop}
\label{prop-supports}
Let $n \geq 2$ be an integer and let $\cal{M}$ be a von Neumann algebra. Let $u \co \OH_n \to \L^1(\cal{M})$ be a linear map such that $\norm{u(\xi)}_1 = \norm{\xi}$ for any $\xi \in \OH_n$ and such that $\Id_{\S^1_2} \ot u \co \S^1_2(\OH_n) \to \L^1(\M_2 \otvn \cal{M})$ is contractive. Then all the nonzero elements of $u(\OH_n)$ have the same right support and the same left support.
\end{prop}

\begin{proof}
Let $\xi,\eta$ be orthonormal vectors of $\OH_n$. Put $h \ov{\mathrm{def}}{ = } u(\xi)$, $k \ov{\mathrm{def}}{ = } u(\eta)$ and $e \ov{\mathrm{def}}{ = } s_r(h)$. Let $t > 0$. By Lemma \ref{lemma-tests-OH} applied with $A = \diag(1,t)$, the element $e_{11} \ot \xi+te_{21} \ot \eta$ of $\S_1^2(\OH_n)$ has norm $(1+t^{\frac{4}{3}})^{\frac{3}{4}}$. Its image is the column $Z = e_{11} \ot h+te_{21} \ot k$ of $\L^1(\M_2 \otvn \cal{M})$. Consider the polar decompositions $h = v|h|$ and $k(1-e) = w|k(1-e)|$. We have $v^*v = e$ and $w^*w = s_r(k(1-e)) \leq 1-e$. Hence the row $x = e_{11} \ot v^*+e_{12} \ot (1-e)w^*$ satisfies $xx^* = e_{11} \ot (e+w^*w) \leq e_{11} \ot 1$, that is $\norm{x} \leq 1$. Using $\tr(ay) = \tr(ya)$ for $a \in \cal{N}$ and $y \in \L^1(\cal{M})$, we obtain
$$
(\Tr \ot \tr)(xZ) 
= \tr(v^*h)+t\tr\big((1-e)w^*k\big) 
= \tr(|h|)+t\tr\big(w^*k(1-e)\big) 
= \norm{h}_1+t\norm{k(1-e)}_{\L^1(\cal{M})}.
$$
Since $\norm{h}_{\L^1(\cal{M})} = 1$, we deduce that
$$
1+t\norm{k(1-e)}_{\L^1(\cal{M})} 
\leq \norm{Z}_{\L^1(\M_2 \otvn \cal{M})} 
\leq \big(1+t^{\frac{4}{3}}\big)^{\frac{3}{4}} 
\leq 1+\frac{3}{4}t^{\frac{4}{3}},
$$
where we used the concavity of the function $s \mapsto (1+s)^{\frac{3}{4}}$ in the last inequality. Hence $\norm{k(1-e)}_1 \leq \frac{3}{4}t^{\frac{1}{3}}$ for any $t > 0$, that is $k = ke$. Thus $s_r(k) \leq s_r(h)$ and, exchanging the roles of $\xi$ and $\eta$, we obtain $s_r(h) = s_r(k)$. Applying the same argument to the adjoint of the image $e_{11} \ot h+te_{12} \ot k$ of the first-row test $e_{11} \ot \xi+te_{12} \ot \eta$, whose norm is also $(1+t^{\frac{4}{3}})^{\frac{3}{4}}$ by Lemma \ref{lemma-tests-OH}, we obtain $s_l(h) = s_l(k)$.

Now, let $\zeta,\zeta'$ be nonzero vectors of $\OH_n$. We can suppose that they are linearly independent. Let $\zeta''$ be a unit vector of $\Span\{\zeta,\zeta'\}$ orthogonal to $\zeta$. By the first part, we have $s_r(u(\zeta)) = s_r(u(\zeta''))$. Since $u(\zeta')$ is a linear combination of $u(\zeta)$ and $u(\zeta'')$, we deduce that $s_r(u(\zeta')) \leq s_r(u(\zeta))$. Exchanging the roles of $\zeta$ and $\zeta'$, we conclude that $s_r(u(\zeta)) = s_r(u(\zeta'))$. The case of left supports is similar.
\end{proof}

\begin{cor}
\label{cor-atomic}
Let $n \geq 2$ be an integer and let $\cal{N} = \oplus_{i \in I}^\infty \M_{d_i}$ be an $\ell^\infty$-direct sum of matrix algebras. There exists no linear map $u \co \OH_n \to \L^1(\cal{M})$ satisfying the assumptions of Proposition \ref{prop-supports}. In particular, $\OH_n$ does not embed completely isometrically into the predual of a finite-dimensional von Neumann algebra.
\end{cor}

\begin{proof}
Suppose that such a map $u$ exists. Recall that $\L^1(\cal{M}) = \oplus_{i \in I}^1 \S^1_{d_i}$ and that the supports of an element $y = (y^{(i)})$ of $\L^1(\cal{M})$ are computed componentwise. By Proposition \ref{prop-supports}, there exist projections $e = (e_i)$ and $f = (f_i)$ of $\cal{M}$ such that $s_r(u(\zeta)) = e$ and $s_l(u(\zeta)) = f$ for any nonzero $\zeta \in \OH_n$. Choose $i \in I$ with $e_i \not = 0$. For any nonzero $\zeta$, the matrix $u(\zeta)^{(i)}$ has right support $e_i$ and left support $f_i$. Hence it induces a linear bijection from $e_i\mathbb{C}^{d_i}$ onto $f_i\mathbb{C}^{d_i}$, and these spaces have the same dimension $r \geq 1$. Fix orthonormal vectors $\xi,\eta$ of $\OH_n$ and bases of $e_i\mathbb{C}^{d_i}$ and $f_i\mathbb{C}^{d_i}$. Let $p(\alpha,\beta)$ be the determinant of the matrix of the map $e_i\mathbb{C}^{d_i} \to f_i\mathbb{C}^{d_i}$ induced by $\alpha u(\xi)^{(i)}+\beta u(\eta)^{(i)}$. Then $p$ is a homogeneous polynomial of degree $r \geq 1$ in $(\alpha,\beta) \in \mathbb{C}^2$. Hence $p$ admits a nontrivial zero $(\alpha_0,\beta_0)$: if $\alpha \mapsto p(\alpha,1)$ is not constant, it has a root, and otherwise $p(\alpha,\beta) = p(0,1)\beta^r$ vanishes at $(1,0)$. The vector $\zeta = \alpha_0\xi+\beta_0\eta$ is nonzero but the restriction of $u(\zeta)^{(i)}$ to $e_i\mathbb{C}^{d_i}$ is not injective. Thus $s_r(u(\zeta)) \not = e$, which is a contradiction. The last assertion follows from the first point of Subsection \ref{subsec:Schatten}.
\end{proof}

\begin{remark} \normalfont
\label{rem-diffuse}
The argument of Corollary \ref{cor-atomic} does not extend to von Neumann algebras with a diffuse part. For example, if $f$ is a function of $\L^\infty([0,1])$ whose distribution has no atoms, then the elements $1$ and $f$ of $\L^1([0,1])$ satisfy $s_r(\alpha+\beta f) = 1$ for any $(\alpha,\beta) \not = (0,0)$. However, the commutative case is excluded by the next result.
\end{remark}

\begin{prop}
\label{prop-commutative}
Let $n \geq 2$ be an integer and let $\cal{M}$ be a commutative von Neumann algebra. For any injective linear map $u \co \OH_n \to \L^1(\cal{M})$ we have
\begin{equation}
\label{commutative-bound}
\norm{u}_{\cb}\norm{u^{-1}}_{\cb} \geq \kappa_n
\ov{\mathrm{def}}{ = } n^{\frac{3}{4}}\frac{\Gamma(\frac{3}{2})\Gamma(n)}{\Gamma(n+\frac{1}{2})} \geq \bigg(\frac{n+1}{2\sqrt{n}}\bigg)^{\frac{1}{2}}
> 1.
\end{equation}
\end{prop}

\begin{proof}
Multiplying $u$ by a positive constant, we can suppose that $\norm{u^{-1}}_{\cb} = 1$. We can write $\cal{N} = \L^\infty(\Omega,\mu)$ for some localizable measure space $(\Omega,\mu)$, so that $\L^1(\cal{N}) = \L^1(\Omega,\mu)$ and $\L^1(\M_n \otvn \cal{M}) = \L^1(\Omega,\S^1_n)$. Put $h_k \ov{\mathrm{def}}{ = } u(e_k)$ and $h(\omega) \ov{\mathrm{def}}{ = } (h_1(\omega),\ldots,h_n(\omega)) \in \mathbb{C}^n$. Consider the first-column test $X = \sum_{k = 1}^n e_{k1} \ot e_k$ of $\S^1_n(\OH_n)$, whose norm is $\norm{\Id_n}_{\S_{\frac{4}{3}}} = n^{\frac{3}{4}}$ by Lemma \ref{lemma-tests-OH}. Since the trace norm of a column matrix is the euclidean norm of the column, we have
$$
n^{\frac{3}{4}} 
\leq \norm{(\Id_{\S_1^n} \ot u)(X)}_{\L^1(\M_n \otvn \cal{N})} 
= \int_\Omega \Bgnorm{\sum_{k = 1}^n h_k(\omega)e_{k1}}_{\S^1_n} \d\mu(\omega) 
= \int_\Omega |h(\omega)| \d\mu(\omega).
$$
Let $\sigma$ be the normalized surface measure on the unit sphere $\mathbb{S}$ of $\mathbb{C}^n$ and put $c_n \ov{\mathrm{def}}{ = } \int_{\mathbb{S}} |\xi_1| \d\sigma(\xi)$. By the unitary invariance of $\sigma$, we have $\int_{\mathbb{S}} |\sum_k \xi_kv_k| \d\sigma(\xi) = c_n|v|$ for any $v \in \mathbb{C}^n$. For any $\xi \in \mathbb{S}$, we have $\norm{u(\sum_k \xi_ke_k)}_1 \leq \norm{u}_{\cb}$. Integrating with respect to $\xi$ and using Tonelli's theorem, we obtain
$$
\norm{u}_{\cb} \geq \int_{\mathbb{S}}\int_\Omega \bigg|\sum_{k = 1}^n \xi_kh_k(\omega)\bigg| \d\mu(\omega)\d\sigma(\xi) = c_n\int_\Omega |h(\omega)| \d\mu(\omega) \geq c_nn^{\frac{3}{4}}.
$$
Recall that the distribution of $|\xi_1|^2$ under $\sigma$ is the beta distribution of parameters $1$ and $n-1$. Hence $c_n = \frac{\Gamma(\frac{3}{2})\Gamma(n)}{\Gamma(n+\frac{1}{2})}$, $\int_{\mathbb{S}} |\xi_1|^2 \d\sigma = \frac{1}{n}$ and $\int_{\mathbb{S}} |\xi_1|^4 \d\sigma = \frac{2}{n(n+1)}$. By H\"older's inequality with the exponents $\frac{3}{2}$ and $3$, we have
$$
\frac{1}{n} = \int_{\mathbb{S}} |\xi_1|^{\frac{2}{3}}|\xi_1|^{\frac{4}{3}} \d\sigma \leq c_n^{\frac{2}{3}}\bigg(\frac{2}{n(n+1)}\bigg)^{\frac{1}{3}}.
$$
Hence $c_n \geq n^{-\frac{3}{2}}(\frac{n(n+1)}{2})^{\frac{1}{2}}$ and $\kappa_n = n^{\frac{3}{4}}c_n \geq (\frac{n+1}{2\sqrt{n}})^{\frac{1}{2}}$. Finally, $n+1-2\sqrt{n} = (\sqrt{n}-1)^2 > 0$ for $n \geq 2$.
\end{proof}

\begin{remark} \normalfont
\label{rem-commutative}
We have $\kappa_2 = \frac{2^{\frac{7}{4}}}{3} \approx 1.1212$ and $\kappa_n \sim \frac{\sqrt{\pi}}{2}n^{\frac{1}{4}}$ as $n \to \infty$. The proof only uses the Banach space norm of $u$ and the norm of one element of the space $\S_1^n(\OH_n)$.
\end{remark}

\begin{prop}
\label{prop-fixed-matrices}
Let $n \geq 2$. For $N^2 \geq n$, let
$$
\d_N(\OH_n) \ov{\mathrm{def}}{ = }
\inf\big\{\norm{u}_{\cb}\norm{u^{-1}}_{\cb} : u \co \OH_n \to \S_1^N \text{ injective}\big\}.
$$
Then $\d_N(\OH_n) > 1$ for any fixed $N$, whereas
\begin{equation}
\label{matrix-nonattainment}
\lim_{N \to \infty} \d_N(\OH_n) = 1.
\end{equation}
Consequently, if $u_j \co \OH_n \to \S_1^{N_j}$ have cb-distortions tending to one, then $N_j \to \infty$.
\end{prop}

\begin{proof}
Fix $N$. Suppose that $\d_N(\OH_n) = 1$, and choose $u_j$ with $\norm{u_j}_{\cb} = 1$ and $\norm{u_j^{-1}}_{\cb} \to 1$. Since the vector space of linear maps from $\OH_n$ to $\S_1^N$ is finite-dimensional, a subsequence converges to a linear map $u$. For any fixed $m$ and any $x \in \M_m(\OH_n)$, the inequalities
$$
\norm{u_j^{-1}}_{\cb}^{-1}\norm{x} 
\leq \norm{(\Id_{\M_m} \ot u_j)(x)} 
\leq \norm{x}_{\M_m(\OH_n)}
$$
pass to the limit. Hence $u$ is a complete isometry, contrary to Corollary \ref{cor-atomic}.

The existence of matrix embeddings with distortion arbitrarily close to one is \cite[Corollary 6.3 p.~20]{Arh26OH}. It follows there from the complete isometry into a $\QWEP$ predual and \cite[Corollary 7.3 p.~87]{EJR00}. Since the corner inclusion $\S_1^N \to \S_1^{N+1}$ is completely isometric, the numbers $\d_N(\OH_n)$ are nonincreasing. This proves \eqref{matrix-nonattainment}. If $(N_j)$ did not tend to infinity, a subsequence would be bounded by some $N$. Composing with corner inclusions would then give $\d_N(\OH_n) = 1$, a contradiction.
\end{proof}

\begin{remark} \normalfont
\label{rem-local-reflexivity}
Strong local reflexivity of von Neumann algebra preduals \cite[Theorem 6.7 p.~86]{EJR00} is an approximation property. Proposition \ref{prop-fixed-matrices} shows why finite representability with constants tending to one does not provide an exact finite-dimensional realization. Likewise, the norm-ultraproduct construction need not preserve semifiniteness of the realizing algebra.
\end{remark}

\begin{remark} \normalfont
\label{rem-why-not-OH}
For $\OH_n$, the first-column profile $f(Q) = (\Tr Q^{\frac{2}{3}})^{\frac{3}{4}}$ of \eqref{Gram-identities} satisfies $f(Q_1+Q_2)^2 > f(Q_1)^2+f(Q_2)^2$ for any nonzero positive matrices $Q_1,Q_2$ with orthogonal ranges, since $(a+b)^{\frac{3}{2}} > a^{\frac{3}{2}}+b^{\frac{3}{2}}$ for any $a,b > 0$. Thus the equality case of Proposition \ref{prop-column-lemma} is not reached in the situation of Proposition \ref{prop-HS-profile} and the mechanism of Theorem \ref{th-column-rigidity} does not apply. Note also that Propositions \ref{prop-Gram} and \ref{prop-supports} describe restrictions on embeddings which now exist by \cite{Arh26OH}: the identities \eqref{Gram-identities} only involve the first-column and first-row tests and do not determine the operator space structure of $J(\OH_n)$.
\end{remark}



\paragraph{AI statement.}
The author acknowledges the use of AI tools for language polishing, exploratory mathematical discussions and feedback during the development and preparation of this manuscript.

\paragraph{Competing interests} The author declares that he has no competing interests.

\paragraph{Data availability} No data sets were generated during this study.

\small
\begin{thebibliography}{99}

\bibitem[Arh26]{Arh26OH}
C. Arhancet.
\newblock The operator Hilbert space $\OH$ embeds completely isometrically into a noncommutative $\L^1$-space.
\newblock Preprint, 2026, version 15. The theorem numbers and pages cited here refer to this version.

\bibitem[BLM04]{BLM04}
D. P. Blecher and C. Le Merdy.
\newblock Operator algebras and their modules---an operator space approach.
\newblock London Mathematical Society Monographs. New Series, 30. Oxford University Press, Oxford, 2004.

\bibitem[EJR00]{EJR00}
E. G. Effros, M. Junge and Z.-J. Ruan.
\newblock Integral mappings and the principle of local reflexivity for noncommutative $\L^1$-spaces.
\newblock Ann. of Math. (2) 151 (2000), no. 1, 59--92.

\bibitem[EfR00]{EfR00}
E. G. Effros and Z.-J. Ruan.
\newblock Operator spaces.
\newblock London Mathematical Society Monographs. New Series, 23. The Clarendon Press, Oxford University Press, New York, 2000.

\bibitem[HaM07]{HaM07}
U. Haagerup and M. Musat.
\newblock On the best constants in noncommutative Khintchine-type inequalities.
\newblock J. Funct. Anal. 250 (2007), no. 2, 588--624.
\newblock Page references in this paper use the 30-page preprint arXiv:math/0611160v3.

\bibitem[Jun96]{Jun96}
M. Junge.
\newblock Factorization theory for spaces of operators.
\newblock Habilitationsschrift, Universit\"at Kiel, 1996.

\bibitem[JMX06]{JMX06}
M. Junge, C. Le Merdy and Q. Xu.
\newblock $H^\infty$ functional calculus and square functions on noncommutative $L^p$-spaces.
\newblock Ast\'erisque 305. Paris: Soci\'et\'e Math\'ematique de France (2006).

\bibitem[JuX10]{JuX10}
M. Junge and Q. Xu.
\newblock Representation of certain homogeneous Hilbertian operator spaces and applications.
\newblock Invent. Math. 179 (2010), no. 1, 75--118.

\bibitem[Mun00]{Mun00}
J. R. Munkres.
\newblock Topology. Second edition.
\newblock Prentice Hall, Upper Saddle River, NJ, 2000.

\bibitem[Oza00]{Oza00}
N. Ozawa.
\newblock On the set of finite-dimensional subspaces of preduals of von Neumann algebras.
\newblock C. R. Acad. Sci. Paris S\'er. I Math. 331 (2000), no. 4, 309--312.

\bibitem[Pis96]{Pis96}
G. Pisier.
\newblock The operator Hilbert space ${\rm OH}$, complex interpolation and tensor norms.
\newblock Mem. Amer. Math. Soc. 122 (1996), no. 585.

\bibitem[Pis98]{Pis98}
G. Pisier.
\newblock Non-commutative vector valued $\L_p$-spaces and completely $p$-summing maps.
\newblock Ast\'erisque No. 247 (1998).

\bibitem[Pis03]{Pis03}
G. Pisier.
\newblock Introduction to operator space theory.
\newblock London Mathematical Society Lecture Note Series, 294. Cambridge University Press, Cambridge, 2003.

\bibitem[PiX03]{PiX03}
G. Pisier and Q. Xu.
\newblock Non-commutative $\L^p$-spaces.
\newblock Handbook of the geometry of Banach spaces, Vol. 2, 1459--1517, North-Holland, Amsterdam, 2003.

\bibitem[Ter81]{Ter81}
M. Terp.
\newblock $\L^p$ spaces associated with von Neumann algebras.
\newblock Notes, Math. Institute, Copenhagen Univ., 1981.

\bibitem[Xu07]{Xu07notes}
Q. Xu.
\newblock Interactions between quantum probability and operator space theory.
\newblock Greifswald lecture notes, 2007, 33 PDF pages, numbered 0--32. Citations refer to this version. Published in Quantum potential theory, Lecture Notes in Math., 1954, 117--159, Springer, Berlin, 2008, with different numbering and pagination.

\bibitem[Yew08]{Yew08}
K. L. Yew.
\newblock Completely $p$-summing maps on the operator Hilbert space $\OH$.
\newblock J. Funct. Anal. 255 (2008), no. 5, 1362--1402.

\end{thebibliography}

{\footnotesize
\vspace{0.2cm}
\noindent C\'edric Arhancet\\
\noindent 6 rue Didier Daurat, 81000 Albi, France\\
URL: \href{https://sites.google.com/site/cedricarhancet}{https://sites.google.com/site/cedricarhancet}\\
cedric.arhancet@protonmail.com\\
ORCID: 0000-0002-5179-6972
}

\end{document}