Quantum Steering Ellipsoid

• Quantum steering ellipsoid is a geometric representation of bipartite correlations, where its center, semiaxes, orientation, and volume encode entanglement, bias, and discord characteristics.
• It is constructed by mapping all possible local measurement outcomes on one qubit to an ellipsoidal set in the Bloch ball of the other, revealing separability and steering properties.
• The formalism underpins experimental state reconstruction, entanglement detection via nested tetrahedron criteria, and analyses of multipartite monogamy in quantum systems.

The quantum steering ellipsoid (QSE) is the set of all single-qubit states to which one qubit of a bipartite system can be remotely steered by local measurements on the other qubit. For two-qubit states, this set is a possibly degenerate ellipsoid contained in the Bloch ball, and it provides a compact geometric representation of bipartite correlations: its center, orientation, semiaxes, and volume encode reduced-state bias, correlation anisotropy, and several entanglement- and discord-related properties. Since its introduction as a faithful geometric representation of two-qubit states, the QSE formalism has developed into a unified language connecting state reconstruction, separability geometry, EPR-steering criteria, multipartite monogamy, experimental tomography, many-body criticality, relativistic effects, and open-system control (Jevtic et al., 2013, Zhang et al., 2018).

1. Definition and kinematic construction

For a two-qubit state written in the Pauli basis as

$\rho_{AB}=\frac14\Big(\mathbbm{1}_A\otimes \mathbbm{1}_B+\mathbf a\cdot\boldsymbol{\sigma}\otimes \mathbbm{1}_B+\mathbbm{1}_A\otimes \mathbf b\cdot\boldsymbol{\sigma}+\sum_{j,k=1}^3 T_{jk}\,\sigma_j\otimes\sigma_k\Big),$

the vectors $\mathbf a$ and $\mathbf b$ are the Bloch vectors of the reduced states, and $T$ is the $3\times 3$ correlation matrix. If Alice performs a POVM element

$E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$

then Bob’s normalized conditional state has Bloch vector

$$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$

Allowing all measurement directions $|\mathbf e|\le 1$ gives the steering set

$$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$

which is an ellipsoid in Bob’s Bloch ball (Zhang et al., 2018).

The same construction applies in the opposite direction, yielding $\mathcal E_{A|B}$. For asymmetric states, $\mathbf a$0 and $\mathbf a$1 need not coincide. In the canonical case where the steered-from qubit is maximally mixed, the map becomes affine: the measured qubit’s Bloch sphere is sent to the steered qubit’s ellipsoid by a linear transformation plus translation. In this sense the QSE is the exact image of the unit Bloch ball under the affine-fractional map induced by local measurements (Jevtic et al., 2013, Xu et al., 2023).

The ellipsoid may be full-dimensional or degenerate. The literature distinguishes a generic three-dimensional ellipsoid, a two-dimensional ellipse or “pancake,” a one-dimensional line segment or “needle,” and the zero-dimensional point case. These degeneracies are not pathologies; they are themselves correlation signatures. The dimension satisfies

$\mathbf a$2

where $\mathbf a$3 is the $\mathbf a$4 Pauli-basis correlation matrix of the state (Jevtic et al., 2013).

2. Geometric data and faithful state representation

The QSE is specified by a center and a positive semidefinite orientation matrix. For Bob steered by Alice,

$\mathbf a$5

and

$\mathbf a$6

The eigenvalues of $\mathbf a$7 are the squared semiaxis lengths, and its eigenvectors determine the principal directions (Xu et al., 2023).

A central structural result is that the ellipsoid, together with the local Bloch vectors, gives a faithful geometric representation of the two-qubit state up to local unitary operations. In the original construction, one can reconstruct the correlation matrix $\mathbf a$8 from $\mathbf a$9, $\mathbf b$0, and $\mathbf b$1, with the residual ambiguity corresponding only to local basis freedom and, possibly, a partial transpose on Bob. This is the sense in which the representation is faithful rather than merely mnemonic (Jevtic et al., 2013).

The formalism also identifies a canonical gauge. Local filtering can bring one party’s reduced state to maximally mixed form while leaving the relevant steering ellipsoid unchanged, which simplifies many derivations. In canonical form the ellipsoid is axis-aligned, and its semiaxes are the singular values of the filtered correlation matrix. This reduction underlies both analytic classification and several operational applications (Jevtic et al., 2013, Cheng et al., 2016).

Not every ellipsoid inside the Bloch sphere corresponds to a physical two-qubit state. In canonical aligned form, necessary and sufficient physicality conditions were derived in terms of the ellipsoid center $\mathbf b$2, the matrix $\mathbf b$3, and the chirality $\mathbf b$4. A notable consequence is that any entangled two-qubit state must have a left-handed steering ellipsoid, $\mathbf b$5, whereas separable states may have either chirality or be degenerate (Milne et al., 2014).

3. Separability, discord, complete steering, and EPR steering

The most striking exact separability result is the nested tetrahedron criterion:

$\mathbf b$6

Equivalently, a two-qubit state is separable if and only if its steering ellipsoid can be enclosed in a tetrahedron inscribed in the Bloch sphere. This criterion converts separability into a Euclidean inclusion problem and remains one of the defining geometric statements of the subject (Jevtic et al., 2013, Xu et al., 2023).

Volume gives a simple but incomplete entanglement witness. The largest sphere that can fit inside the maximal tetrahedron inside the Bloch sphere has volume

$\mathbf b$7

so any state whose QSE volume exceeds $\mathbf b$8 must be entangled. However, the converse does not hold: entanglement is not determined by volume alone, but also by center location and orientation relative to the radial direction (Jevtic et al., 2013, Slater, 2020).

Discord has an equally sharp geometric characterization. Zero discord on one side occurs exactly when the corresponding steering ellipsoid collapses to a line segment through a diameter of the Bloch sphere. By contrast, a non-radial line segment is discordant. A local trace-preserving channel on qubit $\mathbf b$9 can prepare a $T$0-side discordant state from a classical state if and only if $T$1 is a non-radial line segment (Jevtic et al., 2013, Hu et al., 2014). This geometry also clarifies why highly elongated higher-dimensional ellipsoids—described as “baguette”-like in the channel analysis—are susceptible to local discord increase under amplitude damping (Hu et al., 2014).

The QSE formalism further distinguishes “quantum steering” in the geometric sense from EPR steering in the local-hidden-state sense. A nonzero QSE volume does not by itself imply genuine EPR steering; classical correlations can also generate a nonzero ellipsoid volume. For two-qubit $T$2-states with maximally mixed marginals, a strong necessary condition for nonsteerability is

$T$3

conjectured to be sufficient, and two explicit sufficient steering conditions were derived, including

$T$4

where $T$5 are the ellipsoid semiaxes (Jevtic et al., 2014, McCloskey et al., 2016).

The same geometric language reveals the phenomenon of incomplete steering. Bob can realize all convex decompositions of Alice’s reduced Bloch vector into points of $T$6 if and only if the affine span of $T$7 contains the origin. Thus a state may have a well-defined steering ellipsoid yet fail to realize every decomposition compatible with that ellipsoid. This asymmetry becomes experimentally relevant in “steering incompleteness,” where boundary points exist geometrically but cannot all be produced by a single measurement (Jevtic et al., 2013, Xu et al., 2023).

A more refined EPR-steering geometry arises when a projective measurement produces exactly one pure steered state on the ellipsoid boundary. For a tangent steering ellipsoid of nonzero volume, planar projective geometry yields exact necessary and sufficient conditions for two-setting EPR steering. In the spherical case the thresholds coincide:

$T$8

with $T$9 the radius of the tangent sphere (Song et al., 2022).

4. Volume, extremality, and multipartite monogamy

Two volume conventions coexist. When normalized by the Bloch-sphere volume $3\times 3$0, the QSE volume for Bob steered by Alice is

$3\times 3$1

The corresponding unnormalized form can be written as

$3\times 3$2

For pure entangled two-qubit states, the normalized volume attains its maximum value $3\times 3$3; all separable states satisfy

$3\times 3$4

These formulas make the ellipsoid volume a compact scalar summary of the size of the remotely accessible conditional-state set (Zhang et al., 2018, Jevtic et al., 2013).

Extremal ellipsoids illuminate the boundary between physicality, separability, and maximal steering. For spherical ellipsoids centered at $3\times 3$5, the physicality threshold is $3\times 3$6, whereas the separable–entangled boundary is

$3\times 3$7

For general fixed center $3\times 3$8, the maximal-volume physical ellipsoid has semiaxes

$3\times 3$9

and the corresponding canonical maximal state is Choi-isomorphic to the amplitude-damping channel with decay probability $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$0 (Milne et al., 2014).

For pure three-qubit states, steering ellipsoid volumes satisfy the tight monogamy relation

$E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$1

It is saturated nontrivially if and only if the state lies in the $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$2 class, and it is strictly stronger than the Coffman–Kundu–Wootters monogamy inequality for concurrence. In geometric terms, if Alice can steer Bob over a large region of the Bloch ball, her ability to steer Charlie is correspondingly constrained (Cheng et al., 2016, Zhang et al., 2018).

This pure-state inequality does not extend to arbitrary mixed states. An experimentally realized mixed entangled state gave

$E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$3

so that the left-hand side of the pure-state relation became about $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$4, a violation by $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$5 standard deviations. The correct universal three-qubit bound is the weaker relation

$E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$6

which holds for all three-qubit states, pure or mixed (Zhang et al., 2018, Cheng et al., 2016).

The $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$7-power structure extends further. For pure four-qubit states,

$E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$8

and for general $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$9-qubit states,

$$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$0

where $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$1 denotes normalized volume. Local noise cannot increase QSE volume, so any valid volume-monogamy relation remains valid after the addition of local noise (Cheng et al., 2016).

Canonical steering ellipsoids also encode SLOCC structure in symmetric multiqubit systems. For pure permutation-symmetric three-qubit states, one SLOCC-inequivalent family yields a prolate spheroid centered at the origin with semiaxes

$$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$2

while another yields a shifted oblate spheroid centered at $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$3 with semiaxes

$$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$4

For pure symmetric $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$5-qubit states with two distinct spinors, the $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$6-class corresponds to an oblate spheroid with fixed semiaxes $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$7, whereas the other SLOCC-inequivalent families correspond to origin-centered ellipsoids (Anjali et al., 2022, Divyamani et al., 2023).

5. Experimental reconstruction and validation

Photonic experiments have directly validated the steering-ellipsoid picture. In one implementation, type-I spontaneous parametric down-conversion generated polarization-entangled photon pairs, with a three-qubit platform encoding qubits $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$8 and $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$9 in photon polarizations and qubit $|\mathbf e|\le 1$0 in the path degree of freedom of photon 2. Random measurement directions on the Bloch sphere were chosen, conditional states were tomographically reconstructed, and the resulting point clouds were fit to ellipsoids. The reported fits were very good, with $|\mathbf e|\le 1$1 values typically close to $|\mathbf e|\le 1$2; the smallest nondegenerate value reported was $|\mathbf e|\le 1$3 (Zhang et al., 2018).

These experiments confirmed several canonical predictions. Pure entangled two-qubit states produced steering sets close to the full Bloch sphere, while separable states collapsed to a single point on the Bloch sphere surface. For a family of pure three-qubit states, measured points corresponding to $|\mathbf e|\le 1$4-class states lay very close to the monogamy boundary $|\mathbf e|\le 1$5, while GHZ-class states lay strictly below it. The same work also realized the mixed-state counterexample to pure-state monogamy and verified that it still obeyed the weaker $|\mathbf e|\le 1$6-power bound (Zhang et al., 2018).

A second experimental program verified what was termed the “steering ellipsoid zoo” using polarization-path photonic states. By preparing states $|\mathbf e|\le 1$7 through $|\mathbf e|\le 1$8 with average fidelity around $|\mathbf e|\le 1$9, the experiments reconstructed full ellipsoids, ellipses, and line segments, and used them to certify entanglement, one-way Einstein–Podolsky–Rosen steering, discord, and steering incompleteness. A particularly useful reconstruction scheme employed the twelve vertices of an icosahedron as measurement directions; the paper notes that an ellipsoid is generically determined by nine points, and demonstrates that the icosahedral design is sufficient for full and degenerate cases alike (Xu et al., 2023).

Experiment has therefore established two complementary facts. First, the QSE is directly accessible from finite tomographic data. Second, its geometric invariants can be used as diagnostics rather than after-the-fact illustrations: the ellipsoid itself certifies specific nonclassical regimes when interpreted with the appropriate geometric criteria (Zhang et al., 2018, Xu et al., 2023).

6. Many-body, relativistic, and open-system generalizations

In many-body physics, the QSE has been used to visualize quantum phase transitions. For the nearest-neighbor reduced state of the XXZ chain, symmetries enforce a Bell-diagonal form with $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$0, so the semiaxes are simply the absolute values of the spin correlators. As the anisotropy $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$1 is varied, the QSE is a needle for $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$2, an oblate spheroid for $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$3, a sphere at $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$4, and a prolate spheroid for $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$5. The first-order transition at $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$6 and the Kosterlitz–Thouless transition at $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$7 thus appear as abrupt geometric shape changes (Du et al., 2021).

A related development introduces quantum obesity,

$$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$8

with $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$9 the full $\mathcal E_{A|B}$0 Bloch correlation matrix. In this framework the steering ellipsoid volume becomes

$\mathcal E_{A|B}$1

showing that QSE volume combines a local factor $\mathcal E_{A|B}$2 with a correlation determinant. In the Ising-Lenz and XXZ chains, the singular behavior near critical points is interpreted as fundamentally carried by $\mathcal E_{A|B}$3, with the ellipsoid acting as the geometric reporter (Rosario et al., 2023).

Relativistic and gravitational settings deform the ellipsoid in characteristic ways. For a Werner state seen by an accelerated observer, Unruh acceleration shifts the QSE center along the $\mathcal E_{A|B}$4-axis, shrinks all semiaxes, and produces anisotropy with $\mathcal E_{A|B}$5; the maximally steered coherence is then the longest semiaxis,

$\mathcal E_{A|B}$6

which decreases monotonically with acceleration (Maleki et al., 2021). In a Garfinkle–Horowitz–Strominger dilaton black hole, by contrast, the accessible region-I QSE contracts as the dilation parameter increases, whereas the anti-particle region shows the opposite trend, making the redistribution of correlations across the horizon geometrically visible (Elghaayda et al., 2024).

Open-system studies show that the QSE is not merely diagnostic but controllable. In exact non-Markovian dissipative models with independent reservoirs, the long-time survival of the semiaxes is governed by whether a bound state forms in the qubit–reservoir spectrum. Two-sided bound states preserve finite, entangled QSEs and support two-way EPR steering; one-sided bound states leave one QSE finite and the other collapsed, producing separable yet one-way steerable steady states; without bound states, both ellipsoids collapse to points (Zhang et al., 10 Feb 2026).

A cautionary extension occurs in qubit–field systems when the measurement family is restricted. Under heterodyne detection on a field mode, the steered set of the qubit can be the full Bloch-sphere surface, a point, or a non-ellipsoidal set. In this setting the “steering ellipsoid” terminology persists as a geometric guide, but the exact ellipsoid theorem no longer follows because only a subset of all possible measurements is used (Athulya et al., 2019).

7. Operational and computational uses

The QSE has become an operational design tool. For two-qubit states, QSE-guided projective measurements can outperform fixed Pauli bases in steering detection. By aligning Bob’s measurement axes with the semiaxes of the ellipsoid, the observed steerable weight improved in about $\mathcal E_{A|B}$7 of random states examined numerically. The same study identified families of “maximally steerable mixed states” that maximize QSE volume at fixed linear entropy and linked them to one-sided device-independent cryptographic usefulness at a given noise level (McCloskey et al., 2016).

The principal axes of the QSE also support explicit measurement construction in sequential steering-sharing protocols. In a GHZ-based scenario with unsharp nonlocal product measurements, the ellipsoid geometry identifies near-optimal measurement directions without brute-force optimization. The resulting protocol shows that unsharp nonlocal product measurements can activate steering sharing beyond what local unsharp measurements allow, and that unequal-strength nonlocal measurements enlarge the simultaneous-steering window to

$\mathcal E_{A|B}$8

in the example studied (Han et al., 2023).

Machine-learning analyses have further elevated the status of the ellipsoid from visualization to feature representation. For the hierarchy of Alice-to-Bob steering measurement settings in qubit-pair states, deep-learning models trained on several encodings found that the most compact and informative characterization is Alice’s regularly aligned steering ellipsoid. The paper denotes this six-parameter feature by LUTA-6; it outperformed ELLA-9, ELLB-9, and the full 15-parameter state representation, and it was able to recover fine structure such as a $\mathcal E_{A|B}$9-measurement-steerable Werner-state region

$\mathbf a$00

The asymmetry is explained by one-way SLOCC invariance: Bob-side filtering does not change Alice-to-Bob steerability or Alice’s ellipsoid, whereas Alice-side filtering can change steerability while leaving Bob’s ellipsoid invariant (Wang et al., 2023).

At the level of state-space geometry, the ellipsoid volume has been used as a measure on the full 15-dimensional convex set of two-qubit states. A Monte Carlo study weighted states by QSE volume and estimated the corresponding separability ratio to be $\mathbf a$01, with the best pooled estimate $\mathbf a$02, much smaller than the Hilbert–Schmidt value $\mathbf a$03 and the Bures estimate $\mathbf a$04. The same study reported an absolute separability probability of $\mathbf a$05 under this weighting and raised the open question of whether a genuine metric can be constructed whose volume form reproduces the QSE-volume measure (Slater, 2020).

Taken together, these developments position the quantum steering ellipsoid as more than a pictorial compression of two-qubit state space. It is a faithful state representation, an exact separability geometry, a partial but nontrivial EPR-steering geometry, a multipartite monogamy resource, an experimentally reconstructible observable, and an organizing structure for tasks ranging from measurement design to phase-transition diagnostics and reservoir-engineered steering protection (Jevtic et al., 2013, Cheng et al., 2016).