---
title: Quantum Steering Ellipsoid Volume
url: https://www.emergentmind.com/topics/quantum-steering-ellipsoid-volume
type: topic
---

# Quantum Steering Ellipsoid Volume

Quantum steering ellipsoid volume is the volume of the Bloch-ball ellipsoid formed by all single-qubit states to which one subsystem of a two-qubit state can be steered by local measurements on the other subsystem. In the standard two-qubit formalism, the steering set is always an ellipsoid, possibly degenerate to a disk, line segment, or point, and its volume provides a compact geometric scalar linking Bloch-representation data, partial-transpose structure, separability, steerability, and multipartite monogamy. Because the ellipsoid is invariant under appropriate local filtering and can be normalized by the Bloch-sphere volume \(4\pi/3\), the quantity functions both as a faithful geometric descriptor and as a correlation indicator [1303.4724].

## 1. Analytic definition and determinant formulas

For a two-qubit state
\[
\rho=\frac14 \sum_{\mu,\nu=0}^3 \Theta_{\mu\nu}\,\sigma_\mu\otimes\sigma_\nu,
\qquad
\Theta=
\begin{pmatrix}
1 & \boldsymbol b^T\\
\boldsymbol a & T
\end{pmatrix},
\]
the steering ellipsoid of Alice, generated by Bob’s measurements, is characterized by a center
\[
\boldsymbol c_A=\frac{\boldsymbol a-T\boldsymbol b}{1-b^2},
\]
and an ellipsoid matrix
\[
Q_A=\frac{1}{1-b^2}\left(T-\boldsymbol a\boldsymbol b^T\right)
\left(1+\frac{\boldsymbol b\boldsymbol b^T}{1-b^2}\right)
\left(T^T-\boldsymbol b\boldsymbol a^T\right).
\]
The semiaxis lengths are the square roots of the eigenvalues of \(Q_A\), so the volume is
\[
V_A=\frac{4\pi}{3}\sqrt{\det Q_A}.
\]
Using the block determinant identity \(\det\Theta=\det(T-\boldsymbol a\boldsymbol b^T)\), one obtains
\[
V_A=\frac{4\pi}{3}\frac{\bigl|\det(T-\boldsymbol a\boldsymbol b^T)\bigr|}{(1-b^2)^2}
=\frac{4\pi}{3}\frac{|\det\Theta|}{(1-b^2)^2}.
\]
With
\[
\det\Theta=16\bigl(\det\rho^{T_B}-\det\rho\bigr),
\]
this becomes the determinant formula emphasized in the foundational literature,
\[
V_A=\frac{64\pi}{3}\,\frac{\bigl|\det\rho-\det\rho^{T_B}\bigr|}{(1-b^2)^2}.
\]
By exchanging Alice and Bob one gets the directional counterpart
\[
V_{B|A}=\frac{4\pi}{3}\frac{|\det(T-\mathbf a\mathbf b^\top)|}{(1-a^2)^2},
\qquad
v_{B|A}:=\frac{V_{B|A}}{4\pi/3},
\]
and the two directional volumes satisfy
\[
V_B=\frac{(1-b^2)^2}{(1-a^2)^2}V_A.
\]
These formulas show that QSE volume is controlled jointly by the correlation block \(T\), the reduced Bloch radii, and the determinant difference between \(\rho\) and its partial transpose [1303.4724, 2012.09152].

## 2. Canonical geometry, physicality, and boundary structure

The geometric content becomes especially transparent in canonical form. After Bob-side filtering that makes Bob’s reduced state maximally mixed, \(\boldsymbol b=0\), the steering map reduces to
\[
\boldsymbol y=\boldsymbol a+T\boldsymbol x,\qquad |\boldsymbol x|=1,
\]
so the ellipsoid is literally the image of the unit sphere under the affine map \(\boldsymbol x\mapsto \boldsymbol a+T\boldsymbol x\). In this representation, the center is \(\boldsymbol a\) and the shape is determined by \(T\). The same ellipsoid can therefore be viewed either as a set of remotely preparable states or as a canonical affine image of the Bloch sphere [1303.4724].

This geometric representation is faithful, but not every ellipsoid inside the Bloch sphere corresponds to a physical two-qubit state. In canonical aligned form, physicality depends on the center distance \(c=|\mathbf c|\), the shape matrix \(Q\), the term \(\hat{\mathbf c}^{\mathrm T}Q\hat{\mathbf c}\), and the chirality
\[
\chi=\operatorname{sign}(\det T).
\]
The physical–unphysical boundary is therefore stricter than mere inclusion inside the Bloch ball. The same framework yields the “no-pancake theorem”: a physical steering ellipsoid cannot touch the Bloch sphere at more than two points unless it is the whole sphere [1403.0418].

Tangency to the Bloch sphere has a direct steering meaning. For entangled two-qubit states, pure steered states correspond exactly to tangency points between the steering ellipsoid and the Bloch sphere. The possible numbers of tangency points are
\[
N\in\{0,1,2,\infty\},
\]
and Bob’s ellipsoid has exactly \(N\) tangency points if and only if Alice’s ellipsoid does. In particular, if one party can steer the other to at least one pure state with nonzero probability, then the state is two-way EPR steerable [2605.18243].

## 3. Entanglement, separability, discord, and steering

The volume immediately yields a sharp sufficient entanglement criterion. The largest ellipsoid volume compatible with separability is the volume of the insphere of the largest tetrahedron inscribed in the Bloch sphere,
\[
V_\star=\frac{4\pi}{81}.
\]
Hence any two-qubit state with
\[
V_A>V_\star
\]
must be entangled. The converse does not hold: entangled states can have \(V_A\le V_\star\). Exact separability is given instead by the nested tetrahedron theorem: a two-qubit state is separable if and only if its steering ellipsoid fits inside a tetrahedron that itself fits inside the Bloch sphere. Volume is therefore a sufficient separability test, not a complete one [1303.4724].

The same geometry distinguishes other correlation classes. For zero-discord states, the steering ellipsoid degenerates to a line segment on a diameter, so the volume vanishes. Nonzero volume—termed “obesity” in the steering-ellipsoid literature—is strictly stronger than discord but strictly weaker than entanglement: zero-discord states necessarily have zero volume, but separable states with nonzero volume do exist [1303.4724, 1403.0418].

A common misconception is that QSE volume is itself a steering monotone. It is not. For Bell-diagonal states, the normalized volume is
\[
V=|\det T|=|t_1t_2t_3|,
\]
yet steerability under two projective measurements is determined by
\[
\lambda_1+\lambda_2>1,
\]
where \(\lambda_1,\lambda_2\) are the two largest eigenvalues of \(TT^T\). In that restricted scenario, a Bell-diagonal state is steerable by two projective measurements if and only if it violates CHSH, and the largest normalized volume among Bell-diagonal states that are not steerable by two projective measurements is
\[
\frac{1}{2\sqrt2}.
\]
Thus a larger ellipsoid does not necessarily imply stronger restricted-measurement steering [1601.00113].

This distinction is reflected in geometric steerability witnesses. One construction compares the steering ellipsoid with the LHS surface of the closest unsteerable assemblage and defines
\[
\Delta V=V_{\mathrm{QSE}}-V_{\mathrm{LHS\ surface}}.
\]
If \(\Delta V>0\), the state is steerable. The point is not that volume alone is decisive, but that steering is revealed by the excess of the quantum ellipsoid over the optimal LHS benchmark [1709.06703].

## 4. Extremal families and special state classes

Several state families furnish canonical benchmarks for QSE volume.

| State class | Ellipsoid geometry | Volume statement |
|---|---|---|
| Maximally entangled pure state | Full Bloch sphere | \(V=\frac{4\pi}{3}\) |
| Bell-diagonal state | Centered at origin | Normalized volume \(V=|\det T|\) |
| Werner state | Sphere centered at origin | Separable up to radius \(1/3\) |
| Zero-discord state | Line segment on a diameter | Volume \(0\) |
| Maximal fixed-center physical ellipsoid | Oblate spheroid | \(V_c^{\max}=\frac{4\pi}{3}(1-c)^2\) |

For a fixed center \(\mathbf c=(0,0,c)\), the largest-volume physical ellipsoid is an oblate spheroid with semiaxes
\[
s_1=s_2=\sqrt{1-c},\qquad s_3=1-c,
\]
and volume
\[
V_c^{\max}=\frac{4\pi}{3}(1-c)^2.
\]
The associated canonical state is a rank-2 \(X\)-state,
\[
\widetilde\rho_c^{\,\max}
=
\left(1-\frac{c}{2}\right)\ket{\psi_c}\!\bra{\psi_c}
+\frac{c}{2}\ket{00}\!\bra{00},
\]
with
\[
\ket{\psi_c}=\frac{1}{\sqrt{2-c}}
\left(\ket{01}+\sqrt{1-c}\,\ket{10}\right),
\]
and this family is Choi-isomorphic to the amplitude-damping channel [1403.0418].

At fixed linear entropy
\[
S_L=\frac43(1-\operatorname{Tr}[\rho^2]),
\]
the states maximizing QSE volume fall into three families: Werner states \(\rho^{(R1)}\) in the high-mixedness regime, maximally discordant states \(\rho^{(R2)}\) for
\[
S_L\in[0,2/3],
\]
and a mixture family \(\rho^{(R3)}\) connecting \(\rho^{(R2)}\) to concurrence-maximizing states. In the steerable regime, these same families maximize the steerable weight, although QSE volume itself remains distinct from genuine EPR-steering quantifiers [1611.05163].

## 5. Multipartite volume monogamy, noise, and open-system control

Normalized QSE volume obeys nontrivial monogamy laws in multipartite systems. For a pure three-qubit state,
\[
v_{B|A}+v_{C|A}\le 1.
\]
This relation is stronger than the Coffman–Kundu–Wootters inequality, and nontrivial saturation occurs exactly for \(W\)-class states, including bipartite limiting cases. GHZ-class states lie strictly below the saturation curve [1606.02390].

The linear pure-state bound does not extend to arbitrary mixed three-qubit states. A universal weaker inequality is
\[
(v_{B|A})^{2/3}+(v_{C|A})^{2/3}\le 1,
\]
and analogous relations extend to larger systems. For pure four-qubit states,
\[
(v_{B|A})^{2/3}+(v_{C|A})^{2/3}+(v_{D|A})^{2/3}\le 1,
\]
while for arbitrary \(n\)-qubit states,
\[
(v_{B|A})^{2/3}+(v_{C|A})^{2/3}+(v_{D|A})^{2/3}+\cdots \le \frac{n-1}{2}.
\]
These relations make QSE volume a geometric multipartite resource constrained by shareability, rather than a merely bipartite descriptor [1606.02390].

The volume is also monotone under local noise: for arbitrary local CPTP maps, the steering ellipsoid volume cannot increase. This makes any valid volume-monogamy relation robust under local noise. For isotropic noise, explicit formulas show how the normalized volume shrinks with the depolarizing parameter \(\varepsilon\) [1606.02390].

These predictions have been tested experimentally in photonic systems. Reconstructed steering ellipsoids matched the theoretical ellipsoidal geometry, \(W\)-class states lay close to the line
\[
V_{B|A}+V_{C|A}=1,
\]
and a mixed entangled state was observed to violate the pure-state monogamy bound while still satisfying the weaker mixed-state inequality [1809.08011].

More recent open-system work has shown that monogamy can be driven to an extreme asymmetrical form. In independent bosonic reservoirs, selective bound-state engineering can make an untrusted party’s QSE volume decay to zero while the trusted parties’ QSE volumes remain finite. In the regime
\[
\eta_A=\eta_B=0.06,\qquad \eta_C=0.03,
\]
one obtains
\[
v_{C|A}\to 0,\qquad v_{C|B}\to 0,
\]
while the trusted-party volumes remain finite, realizing “extreme volume monogamy” [2607.00346].

## 6. Volume as a measure on state space and as a transferable geometric tool

Beyond individual states, QSE volume has been used as a weight on the full \(15\)-dimensional convex set of two-qubit states. The estimated ratio of the integral of this measure over separable states to its integral over all states is
\[
0.0288312,
\]
substantially smaller than the Hilbert–Schmidt and Bures benchmark values
\[
\frac{8}{33}\approx 0.242424,\qquad \frac{25}{341}\approx 0.0733138.
\]
Under the same QSE-weighted sampling, the estimated absolutely separable probability is
\[
0.000352681.
\]
Whether the QSE separability ratio can be obtained exactly, and whether there exists a metric whose volume form reproduces the QSE measure, remain open questions. The Bloch-norm dependence also appears atypical: in the QSE setting the separability probability appears to increase as the pure-state boundary is approached [2012.09152].

Subsequent work tested alternative weightings by dividing the QSE volume by the eigenvalue parts of the Hilbert–Schmidt and Bures volume elements. These procedures yielded separability estimates
\[
0.105458
\quad\text{and}\quad
0.100223,
\]
while inclusion of the Hilbert–Schmidt unitary factor led to highly variable estimates, with median
\[
0.0447729,
\]
mean
\[
0.117485,
\]
and variance
\[
0.0381468.
\]
The numerical instability of these constructions indicates that the measure-theoretic status of QSE volume is still unresolved [2101.07716].

The formalism has also been transferred from bipartite states to single-qubit channels by means of the Choi–Jamiołkowski state. For a qubit channel \(\Lambda\), the channel ellipsoid has center
\[
\mathbf C^\Lambda=(B_1,B_2,B_3)^T,
\]
ellipsoid matrix
\[
Q^\Lambda=\Theta^T\Theta,
\]
semiaxes \(l_i=\sqrt{\lambda_i}\), and volume
\[
V^\Lambda=\frac{4\pi}{3}|l_1l_2l_3|.
\]
In that setting the volume serves as a visual quantifier of single-qubit quantum memory through the bound
\[
QM(\Lambda)\leq \left(\frac{3V^\Lambda}{4\pi}\right)^{1/4},
\]
and non-entanglement-breaking channels are characterized geometrically by the failure of the tetrahedral containment condition inherited from steering-ellipsoid theory [2312.06939].

Taken together, these developments place quantum steering ellipsoid volume at the intersection of affine Bloch geometry, determinant invariants, separability theory, steering diagnostics, and multipartite correlation constraints. Its main strength is algebraic and geometric compactness; its main limitation is that size alone does not exhaust the operational content of steerability.

Source: https://www.emergentmind.com/topics/quantum-steering-ellipsoid-volume