A sharp norm inequality for entanglement-breaking channels

Eran Kopel

arXiv: 2609.27906v1 · PDF · 21 August 2026
Categories: quant-ph, math-ph, math.MP, math.OA
Licence: CC BY 4.0 The site shows the text.

Abstract

For a channel \Phi on M_d written in the generalised Bloch parameterisation r \mapsto Ar+c, we prove that entanglement breaking implies \|A\|_*^2 + \frac{d(d-1)}{2}|c|^2 \le (d-1)^2, where \|\cdot\|_* denotes the nuclear norm. The bound is attained in every dimension by the completely dephasing channel, and at d=2 by an explicit family with c\neq0. The qubit case reads \|A\|_*^2+|c|^2\le1 and extends to full rank a rank-two condition of Ruskai. The proof sharpens Ruskai’s bound \|A\|_*\le1 by retaining the POVM completeness relation \sum_k f_k=0, which her argument discards; this recentres A from a second moment into a cross-covariance, and is the entire content of the improvement.

Items 4

Theorem

Theorem 1

P8M8

Let \Phi be an entanglement-breaking channel on M_d with Bloch data (A,c). Then

\left\lVert A \right\rVert_{*}^2 \;+\; \frac{d(d-1)}{2}\,|c|^2 \;\le\; (d-1)^2 .

For d=2 this reads \left\lVert A \right\rVert_{*}^2+|c|^2\le1.

Proof of Theorem 1

Put u_k := \alpha_k/d \ge 0 and g_k := \tfrac{d}{2}\,f_k/\alpha_k. By (?), \sum_k u_k=1, so \{u_k\} is a probability distribution, and

|g_k| \;\le\; \frac{d}{2}\sqrt{\frac{2(d-1)}{d}} \;=\; \sqrt{\frac{d(d-1)}{2}} \;=:\; G_d .

In this notation (?) becomes A=\sum_k u_k s_k g_k^{\mathsf T} and c=\sum_k u_k s_k, while completeness reads

\sum_k f_k=0 \quad\Longleftrightarrow\quad \sum_k u_k g_k = 0 .

Step 1 (recentring). By (Proof), \sum_k u_k\,c\,g_k^{\mathsf T} = c\big(\sum_k u_k g_k\big)^{\mathsf T} = 0, hence

A \;=\; \sum_k u_k\,(s_k-c)\,g_k^{\mathsf T}.

This is the only use of completeness. It replaces the second moment \mathbb{E}[s\,g^{\mathsf T}] by the cross-covariance \mathbb{E}[(s-\mathbb{E}s)\,g^{\mathsf T}], and is what makes the constant attainable.

Step 2 (rank-one triangle inequality). Since \left\lVert vw^{\mathsf T} \right\rVert_{*}=|v|\,|w|, applying the triangle inequality to (?) and then (Proof),

\left\lVert A \right\rVert_{*} \;\le\; \sum_k u_k\,|s_k-c|\,|g_k| \;\le\; G_d\sum_k u_k\,|s_k-c| .

Step 3 (Cauchy–Schwarz). With respect to the weights u_k,

\sum_k u_k|s_k-c| \;\le\; \Big(\sum_k u_k|s_k-c|^2\Big)^{1/2}.

Step 4 (variance identity). Since c=\sum_k u_k s_k,

\sum_k u_k|s_k-c|^2 \;=\; \sum_k u_k|s_k|^2 - |c|^2 \;\le\; \frac{2(d-1)}{d}-|c|^2 .

Combining,

\left\lVert A \right\rVert_{*}^2 \;\le\; G_d^2\Big(\frac{2(d-1)}{d}-|c|^2\Big) \;=\; (d-1)^2-\frac{d(d-1)}{2}|c|^2 . \qedhere

Proposition

Proposition 2

IIWL

The completely dephasing channel \Delta(\rho)=\sum_{k=1}^d \langle k|\rho|k\rangle\,|k\rangle\!\langle k| attains the bound of Theorem 1 in every dimension.

Proof of Proposition 2

\Delta is measure-and-prepare with E_k=\sigma_k=|k\rangle\!\langle k|, hence EB, and unital, so c=0. Its Bloch matrix A is the orthogonal projection onto the (d-1)-dimensional span of the diagonal generators, whose singular values are 1 with multiplicity d-1. Thus \left\lVert A \right\rVert_{*}=d-1 and \left\lVert A \right\rVert_{*}^2+\tfrac{d(d-1)}{2}|c|^2=(d-1)^2.

Source and licence

The text on this page is from arXiv:2609.27906v1 by Eran Kopel, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2609/2609.27906.jsonl.