Partial Orthogonalization in Quantum Steering

• Partial Orthogonalization is a method that transforms quantum state bases into nearly orthogonal sets, simplifying the geometric representation of steering ellipsoids.
• It leverages affine-fractional mappings to construct ellipsoids whose centers, axes, and volumes encode critical information about entanglement, discord, and separability.
• This approach underpins key results like the nested tetrahedron theorem and monogamy relations, providing practical insights for reconstructing and characterizing two‐qubit states.

The quantum steering ellipsoid (QSE) is the set of all qubit states to which one subsystem of a two-qubit state can be remotely steered by local measurements on the other subsystem. In the Bloch representation, this reachable set is an ellipsoid contained in the Bloch ball, and, together with the two local Bloch vectors, it provides a faithful geometric representation of the underlying two-qubit state up to local unitary operations (Jevtic et al., 2013, Xu et al., 2023). The formalism was introduced as a geometric extension of the single-qubit Bloch picture to bipartite systems and subsequently developed into a framework for analyzing entanglement, discord, EPR steering, incomplete steering, multipartite monogamy, open-system dynamics, and experimentally accessible photonic reconstructions (Jevtic et al., 2013, Zhang et al., 2018).

1. Algebraic definition and 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 (Zhang et al., 2018). 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$, the set of Bob’s reachable Bloch vectors is

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

and this set is an ellipsoid in Bob’s Bloch ball (Zhang et al., 2018, Xu et al., 2023).

The same construction yields $\mathcal E_{A|B}$ when Bob measures. For asymmetric states these two ellipsoids need not coincide (Xu et al., 2023). In the canonical case where the measured party’s reduced state is maximally mixed, the map simplifies to an affine image of the unit Bloch sphere, and projective measurements sweep out the surface while mixtures of projective measurements fill the interior (Jevtic et al., 2013). More generally, the QSE is the exact image of the unit Bloch ball under the affine-fractional map induced by local measurements (Zhang et al., 2018).

2. Geometric data and faithful state representation

The QSE is specified by a center and a shape matrix. For Bob steered by Alice, the center is

$\mathbf a$0

and the orientation matrix is

$\mathbf a$1

whose eigenvalues and eigenvectors give the squared semiaxis lengths and principal directions (Xu et al., 2023). Equivalent expressions hold for $\mathbf a$2 upon swapping $\mathbf a$3 (Jevtic et al., 2013).

A central structural fact is that the ellipsoid, together with the local Bloch vectors, is a faithful representation of the state. In the original construction, given $\mathbf a$4, $\mathbf a$5, and $\mathbf a$6, one can reconstruct the correlation matrix $\mathbf a$7, up to local basis freedom and, possibly, a partial transpose on Bob (Jevtic et al., 2013). Later formulations emphasize that the reduced states $\mathbf a$8 plus the ellipsoid geometry reconstruct the two-qubit state up to local unitary operations (Xu et al., 2023).

This reconstruction is closely tied to local filtering. Canonical states are obtained by SLOCC transformations so that one party’s reduced state becomes maximally mixed, and the steering ellipsoid is invariant under local filtering on the steered-to side relevant to the construction (Jevtic et al., 2013, Maleki et al., 2021). In this canonical frame the ellipsoid is axis-aligned, the semiaxes are directly related to the singular values of the transformed correlation matrix, and the geometry becomes especially transparent (Milne et al., 2014).

The dimension of the steering object is also state-theoretic: $\mathbf a$9 with $\mathbf b$0 (Jevtic et al., 2013, Hu et al., 2014). Hence points, line segments, ellipses, and full three-dimensional ellipsoids correspond to distinct correlation ranks.

3. Correlation structure encoded by the ellipsoid

The QSE was introduced not merely as a visualization but as a compact language for nonclassical correlation structure. The most prominent geometric separability criterion is the nested tetrahedron theorem: $\mathbf b$1 (Jevtic et al., 2013). In experimental and later expository treatments, this is often stated symmetrically as: a two-qubit state is separable if and only if its steering ellipsoid fits inside a tetrahedron inscribed in the Bloch sphere (Xu et al., 2023, Zhang et al., 10 Feb 2026).

Discord is likewise encoded geometrically. Zero discord for Alice occurs if and only if $\mathbf b$2 collapses to a segment of a diameter of Alice’s Bloch sphere (Jevtic et al., 2013). In the terminology of the later “ellipsoid zoo,” Bob’s steering ellipsoid becomes a line segment through a diameter if and only if Bob has zero discord; this is the “needle” case, while a two-dimensional degenerate ellipse is the “pancake” case (Xu et al., 2023). These degenerate geometries are therefore not pathologies of the representation but signatures of distinct correlation regimes.

The formalism also distinguishes between geometric steering and EPR steering. A nonzero QSE volume does not by itself imply genuine EPR steering, since classical correlations can also produce a nonzero ellipsoid volume (McCloskey et al., 2016). EPR steering concerns the impossibility of a local hidden state model for the assemblage, whereas the QSE records the full set of conditional states obtainable by local measurements (Xu et al., 2023). For T-states with maximally mixed marginals, the ellipsoid is centered at the origin with semiaxes $\mathbf b$3, and the steering-ellipsoid formalism yields a strong necessary nonsteerability boundary

$\mathbf b$4

together with sufficient steering conditions such as

$\mathbf b$5

and a nonlinear asymmetric inequality (Jevtic et al., 2014).

A further nontrivial feature is complete steering. One asks whether every decomposition of a reduced state

$\mathbf b$6

can be realized by a single measurement on the other side. The original theorem states that Bob can realize all convex decompositions of Alice’s reduced Bloch vector into points of $\mathbf b$7 if and only if the affine span of $\mathbf b$8 contains the origin (Jevtic et al., 2013). This yields the phenomenon of incomplete steering, which is especially relevant for degenerate ellipsoids such as pancakes and needles and has been verified experimentally as part of the “ellipsoid zoo” (Xu et al., 2023).

4. Volume, physicality, and extremal geometry

The volume of the steering ellipsoid is one of its most studied invariants. In normalized form,

$\mathbf b$9

and the absolute volume is

$T$0

(Zhang et al., 2018, Cheng et al., 2016). Equivalent determinant formulas are

$T$1

and

$T$2

with

$T$3

(Jevtic et al., 2013, Slater, 2020, McCloskey et al., 2016). The companion volumes satisfy

$T$4

(Jevtic et al., 2013, Slater, 2020).

This single scalar already has sharp operational content. The upper bound $T$5 is achieved if and only if Alice and Bob share a pure entangled two-qubit state, in which case the ellipsoid is the full Bloch sphere (Zhang et al., 2018). All separable states satisfy

$T$6

equivalently

$T$7

so any state whose ellipsoid volume exceeds the maximal inscribed separable sphere must be entangled (Zhang et al., 2018, Jevtic et al., 2013, Slater, 2020).

Not every ellipsoid inside the Bloch sphere is physical. In canonical aligned form, physicality requires

$T$8

with $T$9 the chirality (Milne et al., 2014). A striking consequence is that any entangled two-qubit state must have a left-handed steering ellipsoid, $3\times 3$0, while a separable state may have either chirality or be degenerate (Milne et al., 2014). For a fixed center $3\times 3$1, the maximal-volume physical ellipsoid has semiaxes

$3\times 3$2

and volume

$3\times 3$3

(Milne et al., 2014). The maximal separable volume at fixed center is

$3\times 3$4

(Milne et al., 2014).

Volume has also been treated as a weighting measure on the full fifteen-dimensional convex set of two-qubit states. Under this QSE-volume weighting, the estimated separability ratio is $3\times 3$5, far below the values $3\times 3$6 and $3\times 3$7 associated with Hilbert-Schmidt and Bures measures, respectively, while the corresponding absolute separability probability is $3\times 3$8 (Slater, 2020). This use does not redefine separability itself; rather, it reweights state space according to ellipsoid size (Slater, 2020).

5. Multipartite monogamy and SLOCC geometry

For pure three-qubit states, the normalized steering volumes generated by measurements on one qubit satisfy the tight monogamy relation

$3\times 3$9

and this is strictly stronger than the Coffman-Kundu-Wootters monogamy inequality for concurrence (Cheng et al., 2016, Zhang et al., 2018). The relation is tight because it is saturated nontrivially if and only if the state belongs to the $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$0 class (Zhang et al., 2018). Geometrically, if one party can steer a second party over a large region of the Bloch ball, the steerable region available on the third party must shrink accordingly (Zhang et al., 2018).

This strong pure-state inequality does not extend to arbitrary mixed three-qubit states. The explicit counterexample

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

violates the pure-state bound, while still obeying the universal mixed-state relation

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

(Cheng et al., 2016, Zhang et al., 2018). The same $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$3-power structure extends to 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,$4

and more generally to $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$5-qubit systems as

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

(Cheng et al., 2016). Local noise cannot increase steering ellipsoid volume, so any such monogamy relation remains valid under the addition of local noise (Cheng et al., 2016).

The ellipsoid formalism is also closely tied to SLOCC classification. 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,$7 plane for pure three-qubit states, fully separable states and states of the form $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$8 sit at $E=e_0(\mathbbm{1}_A+\mathbf e\cdot\boldsymbol{\sigma}), \qquad 0\le e_0\le 1,\quad |\mathbf e|\le 1,$9, the bipartite-entangled classes $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$0 and $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$1 sit at $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$2 and $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$3, $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$4-class states saturate the monogamy boundary, and GHZ-class states occupy the interior below it (Cheng et al., 2016).

For pure permutation-symmetric three-qubit states, canonical reduced-state ellipsoids carry explicit SLOCC signatures. States constructed by symmetrization of two distinct spinors yield a shifted oblate spheroid centered at $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$5 with semiaxes

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

whereas states constructed by permutation of three distinct spinors yield a prolate spheroid centered at the origin with semiaxes

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

the GHZ limit degenerates to a line segment (Anjali et al., 2022). More generally, for pure symmetric multiqubit states with two distinct spinors, the $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$8-class corresponds to a shifted oblate spheroid with fixed semiaxes lengths $$\frac{\mathbf b+T^{\top}\mathbf e}{1+\mathbf a\cdot \mathbf e}.$$9, $|\mathbf e|\le 1$0, and $|\mathbf e|\le 1$1, while all other SLOCC-inequivalent families correspond to origin-centered ellipsoids (Divyamani et al., 2023).

6. Experimental reconstruction and later developments

The QSE has been reconstructed directly in photonic experiments. In a three-qubit platform using polarization for qubits $|\mathbf e|\le 1$2 and $|\mathbf e|\le 1$3 and path for qubit $|\mathbf e|\le 1$4, random measurement directions on Alice’s Bloch sphere followed by tomography on the conditional states of Bob and Charlie yielded fitted ellipsoids with $|\mathbf e|\le 1$5 values typically close to $|\mathbf e|\le 1$6; the smallest nondegenerate $|\mathbf e|\le 1$7 reported was $|\mathbf e|\le 1$8 (Zhang et al., 2018). 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, exactly as predicted (Zhang et al., 2018). The same experiment verified pure-state monogamy and exhibited a mixed-state violation with measured volumes

$|\mathbf e|\le 1$9

giving $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$0 for the left-hand side of the pure-state test, a violation by $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$1 standard deviations (Zhang et al., 2018).

A later photonic “ellipsoid zoo” study verified full ellipsoids, ellipses, line segments, one-way EPR steering, discord, and steering incompleteness using polarization-path states of average fidelity around $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$2 (Xu et al., 2023). It also showed that the steering ellipsoid can be reconstructed from the twelve vertices of an icosahedron, a robust and symmetric finite measurement set sufficient to fit a full ellipsoid and degenerate cases alike (Xu et al., 2023).

The formalism has since been exported to several neighboring areas. In the XXZ model, the nearest-neighbor steering ellipsoid changes from a needle in the ferromagnetic phase to an oblate spheroid in the gapless phase and a prolate spheroid in the antiferromagnetic phase, becoming 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\},$$3; the quantum phase transitions 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 $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$5 thus become geometrically visible (Du et al., 2021). In the related quantum-obesity program, the determinant-based quantity

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

is linked to ellipsoid volume by

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

so the QSE acts as the geometric reporter while $$\mathcal E_{B|A}=\left\{\frac{\mathbf b+T^\top \mathbf e}{1+\mathbf a\cdot \mathbf e}:\; |\mathbf e|\le 1\right\},$$8 is treated as the underlying analytic quantity controlling critical behavior (Rosario et al., 2023).

Relativistic and open-system studies use the QSE as a direct diagnostic of correlation degradation and protection. Under Unruh acceleration, all semiaxes shrink, the ellipsoid becomes anisotropic 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 center shifts along the $\mathcal E_{A|B}$0-axis, maximal steered coherence decreases, and the steerability threshold worsens (Maleki et al., 2021). In exact non-Markovian dissipative environments, the long-time survival of QSE geometry is governed by whether a bound state forms in the qubit-reservoir spectrum: two-sided bound states preserve finite ellipsoids and two-way EPR steering, one-sided bound states can yield separable but one-way quantum steering, and no bound state leads to collapse of both ellipsoids to points (Zhang et al., 10 Feb 2026). In a Garfinkle-Horowitz-Strominger dilaton black hole background, the region-I ellipsoid contracts as the dilation parameter increases, while the anti-particle region exhibits the opposite trend (Elghaayda et al., 2024).

More recent uses are explicitly operational. For qubit-pair steering hierarchies, deep-learning analyses found that the most compact characterization of Alice-to-Bob steerability is Alice’s regularly aligned steering ellipsoid, denoted LUTA-6, while Bob’s steering ellipsoid is irrelevant for that task because of one-way SLOCC asymmetry (Wang et al., 2023). QSE principal axes have also been used to construct better projective measurements for steerable-weight optimization, improving the observed steerable weight in about $\mathcal E_{A|B}$1 of random states, and to design optimal nonlocal product measurements in sequential steering-sharing protocols (McCloskey et al., 2016, Han et al., 2023).

Across these developments, the central role of the quantum steering ellipsoid remains unchanged: it is the Bloch-space locus of remotely preparable conditional qubit states, and it turns two-qubit correlation structure into an explicitly geometric object whose center, axes, volume, chirality, and degeneracies encode separability, discord, EPR steering, SLOCC class, multipartite monogamy, dynamical degradation, and experimentally reconstructable nonclassical features.