---
title: Quantitative Entanglement Witnesses
url: https://www.emergentmind.com/topics/quantitative-entanglement-witnesses
type: topic
---

# Quantitative Entanglement Witnesses

Quantitative entanglement witnesses are witness-based constructions in which experimentally accessible observables do more than separate entangled from separable states. In the narrow sense, they provide certified lower bounds on entanglement monotones such as entanglement of formation, concurrence, geometric entanglement, or related distance-based quantities from one or a few expectation values. In a broader but established usage, they also quantify multipartite Schmidt structure, task-specific resource content, entanglement dimensionality, or even the information yield of a witness protocol itself. The literature therefore uses the same label for several related programs: monotone lower bounds from witness data, partition-dependent structural certification, optimized witnesses adapted to restricted data, and information-theoretic assessments of witness usefulness [1102.3821] [1407.4589] [2308.07744].

## 1. Witness theory and the meaning of “quantitative”

A standard entanglement witness is a Hermitian operator whose expectation value is nonnegative on all separable states and negative for at least one entangled state. In one common formulation, a measured observable \(L\) defines a witness \(W=g_s\mathbbm 1-L\), where \(g_s=\sup_{\sigma\in\mathcal S_{\mathrm{sep}}}\operatorname{Tr}(\sigma L)\); then \(\operatorname{Tr}(\rho L)>g_s\) certifies entanglement. Quantitative witness theory begins when one asks not only whether \(\rho\) lies outside the separable set, but how the measured value constrains an entanglement quantity or an entanglement hierarchy [1805.06404].

One influential definition says that an observable \(Q\) is a quantitative entanglement witness for an entanglement measure \(E\) if there exists a nonnegative function \(b\) such that
\[
E(\rho)\ge b\!\left(\operatorname{Tr}[Q\rho]\right)
\]
for every bipartite state \(\rho\). The optimal bound is
\[
b_{\mathrm{opt}}(x)=\inf_{\rho:\,\operatorname{Tr}[Q\rho]=x}E(\rho).
\]
This is the monotone-calibrated sense of quantitative witnessing [1102.3821].

A distinct multipartite usage treats witness expectation values as lower bounds on location within a nested convex hierarchy. For a fixed partition \(\boldsymbol P_n\), the sets \(\boldsymbol S_{\boldsymbol P_n;r}\) of states with multipartite Schmidt number at most \(r\) are convex and nested, and a witness of the form \(\hat{\mathcal W}=g_r\hat{\mathcal I}-\hat{\mathcal L}\) becomes quantitative because \(\mathrm{Tr}\,\hat\varrho \hat{\mathcal L}>g_r\) certifies multipartite Schmidt number strictly larger than \(r\) for that partition [1407.4589].

The literature also contains broader interpretations. Some papers quantify the usefulness of a witness family in bits of mutual information about the latent variable “entangled or separable,” rather than quantifying entanglement itself [2308.07744]. Others treat entangled states as higher-level witnesses and define a nonnumeric ordering by inclusion of the sets of witnesses they detect, which is a structural rather than scalar quantification [1605.04073].

## 2. From witness expectation values to entanglement measures

The most direct quantitative witness results derive explicit lower-bounding functions for standard monotones. A canonical example is the Werner- and isotropic-class construction. On \(\mathcal H_d\otimes\mathcal H_d\), the swap operator
\[
F=\sum_{\alpha,\beta=1}^d |\alpha\beta\rangle\langle \beta\alpha|
\]
and the maximally entangled projector
\[
G=\sum_{\alpha,\beta=1}^d |\alpha\alpha\rangle\langle \beta\beta|
\]
are quantitative entanglement witnesses for entanglement of formation because their optimal bounding functions can be derived analytically from twirling. For \(F\),
\[
b_{\mathrm{Wer}}(x)=
\begin{cases}
h_2\!\left(\dfrac{1+\sqrt{1-x^2}}{2}\right), & x\le 0,\\[1.2ex]
0, & x>0,
\end{cases}
\]
while for \(G\),
\[
b_{\mathrm{Iso}}(x)=
\begin{cases}
\operatorname{co}\!\left[h_2(\gamma(x)) + \bigl(1-\gamma(x)\bigr)\log(d-1)\right], & x>1,\\[1ex]
0, & x\le 1,
\end{cases}
\]
with
\[
\gamma(x)=\frac{1}{d^2}\left(\sqrt{x}+\sqrt{(d-1)(d-x)}\right)^2.
\]
The bounds are optimal because equality is attained on Werner and isotropic states with the same witness expectation value [1102.3821].

A more recent general route starts from a normalized witness. If \(\lambda_+\) and \(\lambda_-\) are the largest and smallest eigenvalues of \(\mathcal W\), then shifting and rescaling \(\mathcal W\) so that \(-\openone\le \mathcal W'\le \openone\) yields a lower bound on the minimum trace distance from \(\rho\) to the separable set:
\[
E_{\rm tr}(\rho)\ge -w_c.
\]
From that single quantity one obtains
\[
E_{\rm re}, \tilde {E}_{\rm F}\geq \frac{2}{\ln2}w_c^{2}, \qquad
E_{\rm if}, \tilde {E}_{\rm G}\geq w_c^{2},
\]
\[
\tilde E_{\rm C}\geq -\sqrt{2}w_c, \qquad
E_{\rm rob, ROB}\geq \frac{-w_c}{1+w_c}.
\]
Here the witness value becomes a certified bound on operational distinguishability from separable states and, through standard inequalities, on relative entropy of entanglement, entanglement of formation, geometric measure, concurrence, and robustness-type quantities [2312.04897].

Another general construction uses the Frobenius distance to the separable set,
\[
D_{sep}(\rho):=\min_{\sigma\in Sep(A:B)}\|\rho-\sigma\|_F.
\]
Given a witness \(W_0\), one obtains
\[
D_{sep}(\rho)\ge -\frac{\operatorname{Tr}(W_0\rho)}{b},
\]
with
\[
b=\sqrt{\operatorname{Tr}(W_0^\dagger W_0)-\frac{(\operatorname{Tr}W_0)^2}{d^2}}.
\]
This implies
\[
C(\rho_{AB}) \ge \sqrt{2}\,D_{sep}(\rho_{AB}),
\]
\[
E(\rho_{AB})\ge -\log\!\left(1-D_{sep}^2(\rho_{AB})\right),
\qquad
E_g(\rho_{AB})\ge D_{sep}^2(\rho_{AB}),
\]
thereby turning witness violations and witness-like criteria into lower bounds on concurrence, entanglement of formation, and geometric entanglement without full tomography [2312.17620].

## 3. Optimized witnesses: subspaces, constrained observables, and GHZ-type quantification

A major development is the replacement of a fixed target-state witness by an optimized family. For a pure target \(|\psi\rangle\), the usual fidelity witness is \(W_\psi=\alpha\openone-|\psi\rangle\langle\psi|\). The subspace witness introduced for Bell-subspace targets instead optimizes over locally phase-shifted target states and uses
\[
\langle W_s\rangle=\alpha-\max_\phi\langle\psi(\phi)|\rho|\psi(\phi)\rangle.
\]
In the Bell-subspace case,
\[
\langle W_s\rangle=\alpha-(P+|\rho_{k\bar k}|),
\]
so the witness depends on the coherence magnitude rather than on one phase-dependent projection. This always satisfies \(\langle W_s\rangle\le \langle W_\psi\rangle\), with strict inequality when the fixed witness is not phase matched. Quantitatively, for two qubits,
\[
C_2(\rho)\ge \max(0,-2W_\psi),\qquad C_2\ge -2W_s\ge -2W_\psi.
\]
The same measurements also expose the many-body coherence terms needed for lower bounds on genuine multipartite concurrence once additional outside-subspace populations are measured [1911.00599].

The same optimization logic appears in two-observable witness theory. Given \(c=\operatorname{Tr}(\rho C)\) and \(l=\operatorname{Tr}(\rho L)\), the natural quantitative object is
\[
\varepsilon(c,l)=\inf_{\rho}\left\{E(\rho)\ \big|\ \operatorname{Tr}(\rho C)=c,\ \operatorname{Tr}(\rho L)=l\right\}.
\]
For convex \(E\), Legendre duality yields
\[
\varepsilon(c,l)=\sup_{\alpha,\beta}\left\{\alpha c+\beta l-\hat E(\alpha C+\beta L)\right\}.
\]
For the geometric measure with \(C=\sigma_z\otimes\sigma_z\) and \(L=\sigma_x\otimes\sigma_x\), the explicit bound is
\[
E_G(\rho)\ge \frac12\left(1-\sqrt{1-(c+l-1)^2}\right)
\]
under the assumptions \(c\ge l\ge 0\) and \(c\le 1\). In this framework, knowing two expectation values does not merely tighten a separability threshold; it yields the optimal lower bound on the compatible entanglement measure [1805.06404].

For GHZ-type multipartite entanglement, a related program combines SLOCC normal forms, GHZ symmetrization, and exact knowledge of the three-tangle on GHZ-symmetric states. For arbitrary three-qubit mixed states this gives an optimized lower bound on \(\tau_3\), while on GHZ-symmetric states and locally equivalent states it is exact. The standard projective GHZ witness
\[
\mathcal W_3=\frac34 \mathbb 1_8 - |\mathrm{GHZ}_+\rangle\langle \mathrm{GHZ}_+|
\]
also yields the quantitative but non-optimal bound
\[
\tau_3(\rho)\ge -4\,\operatorname{tr}(\mathcal W_3\rho).
\]
The two-qubit specialization recovers Wootters’ concurrence formula [1305.1930].

## 4. Multipartite structural quantification

Quantitative witnessing in multipartite systems is not restricted to monotone lower bounds. In the structural quantification of entanglement framework, one fixes a partition
\[
\boldsymbol P_n:=\{\boldsymbol I_1,\dots,\boldsymbol I_n\}
\]
and considers the closed convex sets \(\boldsymbol S_{\boldsymbol P_n;r}\) of states with multipartite Schmidt number at most \(r\). These sets obey
\[
\boldsymbol{S}_{\boldsymbol{P}_n;r}\subset \boldsymbol{S}_{\boldsymbol{P}_n;r+1},
\]
and refinement of partitions gives additional nesting. An optimal witness has the form \(\hat{\mathcal W}=g_r\hat{\mathcal I}-\hat{\mathcal L}\), with
\[
g_r=\sup_{|\phi\rangle\in \boldsymbol S_{\boldsymbol P_n;r}^{\rm pure}}\langle \phi|\hat{\mathcal L}|\phi\rangle,
\]
so the experimentally checkable condition is
\[
\mathrm{Tr}\,\hat\varrho \hat{\mathcal L}> g_r.
\]
The resulting certification is quantitative because it lower-bounds multipartite Schmidt number for a specified partition, rather than merely detecting nonseparability [1407.4589].

A different multipartite route uses entropic correlations. For tripartite systems, the tripartite entanglement of formation is
\[
E_{3\mathrm F}(ABC)\equiv \min_{|\psi_i\rangle}\left(\sum_i p_i \min\{S_i(A),S_i(B),S_i(C)\}\right),
\]
and it is nonzero iff the state is genuinely tripartite entangled. The entropic witness constructed for three parties gives
\[
E_{3\mathrm F}(ABC)\ge -S(A|BC)-S(B|AC)-S(C|AB)-2\log(D_{\max}),
\]
where \(D_{\max}=\max\{D_A,D_B,D_C\}\). Here the degree of witness violation is itself a lower bound on a genuine-tripartite entanglement measure. The same paper then replaces the quantum conditional entropies by lower bounds derived from experimentally accessible Shannon entropies through entropic uncertainty relations with side information [2004.03579].

## 5. High-dimensional entanglement and dimension-sensitive witnesses

High-dimensional settings have motivated witness schemes that are simultaneously scalable and quantitative. One route uses EPR-type entropic correlations. For two pairs of complementary observables, the uncertainty relation with quantum memory leads to
\[
E_F \ge \max\!\Big\{0,\; \log(\Omega_{QR})- H(\hat{Q}_{A}|\hat{Q}_{B}) - H(\hat{R}_{A}|\hat{R}_{B}) \Big\}
\]
in discrete variables, and in the continuous Fourier-conjugate case
\[
E_F \ge \max\!\Big\{0,\; \log(2\pi)-h(x_{A}|x_{B}) - h(k_{A}|k_{B}) \Big\}.
\]
The same witness structure lower-bounds \(E_D\), \(E_{RE}\), and \(E_{SQ}\). The method requires only the joint distributions for two complementary measurement settings and can certify many ebits in common high-dimensional EPR-like systems such as spatially or temporally entangled photons from parametric down-conversion [1709.03626].

A different high-dimensional proposal is the \({\cal P}\)-concurrence,
\[
{\cal P}(\rho_{AB}) = \prod_{k = 1}^{K}{\cal C}(\rho^k_{AB}),
\qquad
K = \frac{d!}{(d-2)!2!},
\]
defined as the product of ordinary two-qubit concurrences over all relevant qubit subspaces of a \(d\)-dimensional bipartite state. The construction is intended to be both a quantitative entanglement measure on \([0,1]\) and a dimension witness: \({\cal P}=0\) whenever entanglement fails to occupy the full target dimension. Its experimental attraction is that it uses qubit-subspace tomography rather than full \(d\times d\) tomography. The paper is explicit, however, that it does not provide a formal proof of LOCC monotonicity and only anticipates applicability to mixed high-dimensional states, so its status is more operational than axiomatic [1710.07146].

## 6. Operational, informational, and device-independent extensions

Some witness families are quantitative because they exactly characterize an operational task rather than a general monotone. Zhao, Fei, and Li-Jost construct a complete family of teleportation witnesses such that
\[
\rho \text{ useful for teleportation} \iff \exists\, \Gamma \text{ with } \langle \Gamma\rangle_\rho > 1.
\]
The optimized witness value satisfies
\[
\max_U \langle \Gamma(U)\rangle_\rho = nF(\rho),
\]
with \(F(\rho)\) the fully entangled fraction, and therefore
\[
f_{\max}(\rho)=\frac{\max_U \langle \Gamma(U)\rangle_\rho +1}{n+1}.
\]
This is quantitative in an operational sense: the witness family determines the exact optimal teleportation fidelity after optimization, but it does not quantify entanglement in a resource-independent way [1205.0771].

Measurement-device-independent witness theory addresses a different limitation. MDI-EWs convert standard witnesses into inequalities based on trusted quantum inputs and untrusted measurements, so that
\[
I(P)=\sum_{s,t}\beta_{s,t}P(1,1|\tau_s,\omega_t)\ge 0
\]
for all separable states, while some entangled states yield \(I(P)<0\). This construction certifies all entangled states with untrusted measurement apparatuses and is loss tolerant, but it is fundamentally a detection framework; the witness value is not converted into a bound on a standard monotone in the original MDI papers [1210.8037] [1404.4205].

Another broadening of the term “quantitative” is explicitly information theoretic. Entanglement witnessing can be modeled as a channel
\[
\mathcal E \longrightarrow \mathcal W \longrightarrow \mathcal S,
\]
where \(\mathcal E\) is the latent entanglement-status variable, \(\mathcal W\) is the full witness expectation value, and \(\mathcal S=\mathrm{sign}(\mathcal W)\). The quantities
\[
I(\mathcal W:\mathcal E),\qquad I(\mathcal S:\mathcal E)
\]
measure how many bits about entanglement status are learned from the witness value or its sign. The central conclusion is that there is more information in \(\langle W\rangle_\rho\) than in \(\mathrm{sign}(\langle W\rangle_\rho)\); standard sign-based post-processing discards information present in the full expectation value [2308.07744].

A further development is data-driven optimization from incomplete measurement records. Given a finite set of observables \(\hat A_a\), one can map separability compatibility onto a convex inverse statistical problem and construct the optimal witness in the span of the measured observables. The resulting witness is quantitative in the sense of maximal violation margin in the accessible data space and maximal robustness to uncertainty in those observables, but it is not, in that paper, converted into a lower bound on a standard entanglement measure [2101.02038].

Taken together, these lines of work show that quantitative entanglement witnesses do not denote a single formalism. In the strictest usage they are witnesses with explicit lower-bounding functions for entanglement monotones. In wider usage they include witness-based certification of Schmidt-number structure, genuine multipartite formation cost, entanglement dimensionality, task-specific figures of merit, and the information content of witness data. The unifying theme is that the witness value is treated as more than a binary flag.

Source: https://www.emergentmind.com/topics/quantitative-entanglement-witnesses