Geometric Aspects of Entanglement

TL;DR

This paper explores quantum entanglement using geometry, introducing a new measure called entanglement distance that helps quantify entanglement in multi-qubit systems.

Contribution

The paper introduces the entanglement distance as a geometric measure derived from the Fubini–Study metric, linking it to established entanglement measures in specific cases.

Findings

Entanglement distance (ED) is derived from the Fubini–Study metric and quantifies entanglement as a geometric obstruction.

For two-qubit pure states, ED corresponds to known measures like concurrence and entropy of entanglement.

ED's behavior under local operations and classical communication is analyzed, showing its limitations beyond two-qubit systems.

Abstract

Quantum entanglement is a fundamental resource in quantum information theory, yet its general characterization and quantification remain challenging, especially in multipartite systems. In this work we investigate entanglement from a geometric perspective, focusing on the Riemannian structure induced by the Fubini–Study metric on the projective Hilbert space of multi-qubit quantum states. By exploiting the local-unitary invariance of this metric, we derive the entanglement distance (ED), a geometric measure that quantifies entanglement as an obstruction to locally minimizing the sum of squared Fubini–Study distances generated by local operations. We analyze the properties of ED for pure multi-qubit states and discuss its behavior under local operations and classical communication. In particular, we show that ED reproduces established entanglement measures in well-defined and restricted settings. For pure states of two qubits, ED reduces to an exact monotone function of the concurrence and to an explicit monotone function of the entropy of entanglement. These results provide a clear geometric interpretation of standard bipartite entanglement measures within the present framework, while highlighting the limitations of such correspondences beyond the two-qubit case.

Figures

Full text

1. Introduction

Entanglement plays a central role in quantum information theory and underpins many of its applications in emerging quantum technologies. It is widely recognized as a fundamental resource in quantum cryptography, teleportation, quantum computation, and quantum metrology applications [1,2,3].

Despite its importance, entanglement remains a conceptually elusive phenomenon. Its general characterization and quantification still pose significant open challenges, particularly in systems beyond the bipartite case [4,5,6]. Over the past decades, a substantial body of literature has addressed the problem of entanglement quantification. However, rigorous and well-established results have largely been confined to bipartite systems [7].

In particular, the entropy of entanglement is widely accepted as a measure for pure states of bipartite systems [8], while measures such as the entanglement of formation [9], entanglement distillation [10,11,12], and related entropic quantities [13] have been introduced and validated for mixed bipartite states as well [14].

A rich literature also focuses on multipartite entanglement, where several approaches have been proposed. These include the classification of pure states into equivalence classes under local operations [15,16], and the use of generalized entanglement measures such as the Schmidt measure or extensions of concurrence to mixed multipartite states [17,18,19,20]. On top of these lines of work, the recent growth of quantum technologies has led some of the authors to use Entanglement Distance to study quantum graphs and quantum graph-based structures [21,22,23], a line of work also shared by other groups [24,25,26,27,28,29]. The Entanglement Distance is a measure derived from a geometric approach to quantum entanglement [6,30,31]. It is important to emphasize that, already around three decades ago, entanglement was investigated from a geometric perspective. In particular, in a pioneering work, Shimony [32] introduced one of the earliest geometric definitions of the degree of entanglement for pure quantum states: the Geometric Entanglement Measure (GEM). In this framework, entanglement is interpreted as the squared Hilbert-space distance to the nearest separable state. Shortly thereafter, T. C. Wei and P. M. Goldbart [33] reformulated and generalized Shimony’s idea in terms of overlaps rather than Euclidean distances; the measure was extended to mixed states via the convex roof construction and was proven to be an entanglement monotone.

The Entanglement Distance arises from a different geometric principle. Instead of measuring the distance to the set of separable states, ED is derived from the intrinsic Riemannian geometry of projective Hilbert space equipped with the Fubini–Study metric. Local unitary transformations generate orbits onto the projective Hilbert space. The elements of each orbit share the same degree of entanglement. Thus, ED is defined through the pullback of the Fubini–Study metric onto local unitary orbits.

Note that several other entanglement measures based on geometric correlations have been proposed in the literature, such as those based on the Bures distance [34] or on the Hellinger geometric discord [35]. However, ED has the advantage of admitting a closed, explicit mathematical expression that does not require any minimization procedure, unlike these latter measures. In addition, estimation-oriented approaches based on statistical distance concepts—such as the quantum Fisher information—have been proposed to characterize and quantify entanglement, particularly in metrological contexts [36,37,38,39,40,41,42].

In this work, we derive the Fubini–Study metric [43,44,45], which endows the manifold of multi-qubit quantum states with a Riemannian structure. We then explore the deep relationship between this Riemannian structure—defined on the projective Hilbert space of the system—and the entanglement properties of the states it contains. Thus, we derived a measure of entanglement, the entanglement distance (ED), denoted by E, a quantity preliminarily introduced in Ref. [30] by some of the present authors and later studied further in Ref. [31].

In addition, we establish the remarkable properties of ED that render it a suitable measure of entanglement for multipartite quantum systems.

2. What Is Quantum Entanglement?

Quantum entanglement is a fundamental phenomenon in quantum physics whereby two or more subsystems exhibit correlations so strong that their physical properties cannot be described independently, even when the subsystems are spatially separated by large distances. More precisely, entanglement is the property of a composite quantum system such that a measurement performed on one subsystem—whose outcome is not determined a priori—affects the statistical outcomes of measurements performed on another subsystem, whose outcome too is not determined a priori, independently of the spatial separation between them.

3. Pure-State Entanglement Distance

Quantum mechanics can be regarded as an inherently geometric theory. From this perspective, a powerful geometrical framework is provided by the Riemannian metric structure defined on the manifold of quantum states. The Hilbert space is equipped with a Hermitian inner product, which naturally induces a notion of distance between state vectors. Let $[eqn]$ denote the Hilbert space of a general quantum system. Given two nearby vectors in $[eqn]$ , $[eqn]$ and $[eqn]$ , the scalar product $[eqn]$ , induces the norm $[eqn]$ and, consequently, a (finite) distance between the two vectors, defined as

$$[eqn]$$

where $[eqn]$ . In the case of two normalized vectors $[eqn]$ and $[eqn]$ , it results in

$$[eqn]$$

Furthermore, the Hilbert space carries the structure of a differentiable manifold, so that it is always possible to introduce a local chart on $[eqn]$ containing two nearby states. This, in turn, allows one to derive the metric tensor induced by the distance defined above. Let $[eqn]$ and $[eqn]$ be two neighboring vectors. The squared (infinitesimal) distance between them is obtained by expanding the distance D up to second order, yielding

$$[eqn]$$

Thus, by means of a local chart, the normalized vectors in $[eqn]$ smoothly depend on N-dimensional parameter $[eqn]$ and one has

$$[eqn]$$

where with $[eqn]$ we mean $[eqn]$ . Thus, one has

$$[eqn]$$

Although the matrix elements $[eqn]$ may appear to define the components of a Riemannian metric tensor on $[eqn]$ , they do not have a direct physical interpretation as a distance between quantum states. In fact, the Hilbert space provides a redundant description of quantum states: physical states are associated with rays in Hilbert space, and two normalized kets that differ only by a phase factor $[eqn]$ represent the same quantum state. Therefore, consistency requires that the distance between $[eqn]$ and $[eqn]$ be the same as the distance between $[eqn]$ and $[eqn]$ , for any real $[eqn]$ and $[eqn]$ . By introducing a local chart, this requirement can be formulated in a precise mathematical framework: an appropriate metric tensor on the space of states must be invariant under the gauge transformation $[eqn]$ . This requirement is satisfied by the Fubini–Study metric, which defines the (squared) distance between two neighboring rays.

$$[eqn]$$

from which one derives the metric tensor

$$[eqn]$$

The Fubini–Study metric (6) is therefore defined on the finite projective Hilbert space $[eqn]$ [43,44], namely on the set of equivalence classes of nonzero vectors $[eqn]$ under the equivalence relation $[eqn]$ on $[eqn]$ , defined by $[eqn]$ if and only if $[eqn]$ for some $[eqn]$ , with $[eqn]$ .

It is worth remarking that one can define the square of the (finite) distance between two rays $[eqn]$ , associated with the normalized states $[eqn]$ , respectively, as follows (note that in the literature two distinct definitions of the non-infinitesimal Fubini–Study metric can be found. On the Bloch sphere, these correspond, up to a scale factor, to (i) the straight-line (chordal) distance between two points on the sphere, and (ii) the geodesic distance along the spherical surface. In the present work, we adopt definition (i). The two definitions coincide in the infinitesimal limit.)

$$[eqn]$$

One can easily verify that the latter distance induces the metric tensor (7). In fact, by expanding $[eqn]$ up to second order as

$$[eqn]$$

and setting $[eqn]$ , from Equation (8), one gets

$$[eqn]$$

where $[eqn]$ is that of Equation (7).

To investigate the deep connection between the Riemannian metric structure associated with the projective Hilbert space and the entanglement properties of the states defined on this space, we equip the projective Hilbert space with a metric derived from the Fubini–Study metric, from which we obtain a meaningful definition of an entanglement measure. We consider the case of the Hilbert space $[eqn]$ tensor product of M-qubit Hilbert spaces.

The entanglement measure is invariant under local unitary (LU) transformations. Therefore, given $[eqn]$ and their associated normalized representatives $[eqn]$ , we introduce the following equivalence relation on the projective Hilbert space:

$$[eqn]$$

where, for $[eqn]$ , each operator $[eqn]$ is an arbitrary $[eqn]$ LU operator that operates on the $[eqn]$ th qubit and $[eqn]$ . With this equivalence relation, one derives the quotient set $[eqn]$ . Thus, the entanglement measure E has to be a function $[eqn]$ , that is a function of the equivalence classes of $[eqn]$ by ∼, that is

$$[eqn]$$

Following Ref. [30], we derive an entanglement measure from a distance inspired from the Fubini-Study one. For each normalized ket $[eqn]$ we consider

$$[eqn]$$

the set of all the vectors derived from $[eqn]$ under the action of LU operators, where, for $[eqn]$ , each operator $[eqn]$ is an arbitrary $[eqn]$ LU operator that operates on the $[eqn]$ th qubit. Note that all kets in (13) have the same degree of entanglement. For each vector $[eqn]$ in (13), we introduce a local chart in a neighborhood of that vector by means of the unitary operator $[eqn]$ which depends on real parameters $[eqn]$ , where $[eqn]$ are fixed unit vectors. With this construction, the point $[eqn]$ for $[eqn]$ corresponds to the vector $[eqn]$ . Here and in the following, we use the notation $[eqn]$ . Furthermore, for $[eqn]$ , we denote by $[eqn]$ , $[eqn]$ , and $[eqn]$ the three Pauli matrices acting on the $[eqn]$ -th qubit, where the index $[eqn]$ labels the spins. We consider an infinitesimal variation of ket $[eqn]$ given by

$$[eqn]$$

where

$$[eqn]$$

rotates the $[eqn]$ th qubit by an infinitesimal angle $[eqn]$ around the unitary vector $[eqn]$ .

By substituting $[eqn]$ and $[eqn]$ in Equation (6), in place of $[eqn]$ and $[eqn]$ , respectively, we get

$$[eqn]$$

where the corresponding projective Fubini–Study metric tensor is

$$[eqn]$$

$[eqn]$ and the unit vectors $[eqn]$ , $[eqn]$ are derived by a rotation of the original ones of Equation (15), according to $[eqn]$ , where there is no summation on the index $[eqn]$ . Clearly, for a given state $[eqn]$ , the metric tensor $[eqn]$ is not invariant under rotations of the unit vectors $[eqn]$ . In order to construct a quantity that is invariant under such rotations, we define the entanglement measure associated with the equivalence class $[eqn]$ as the infimum of the trace of $[eqn]$ over all possible orientations of the unit vectors $[eqn]$ . In formulae, we define the ED as

$$[eqn]$$

where tr is the trace operator and where the inf is taken over all possible orientations of the unit vectors $[eqn]$ ( $[eqn]$ ). We emphasize that, in general, inspection of the block structure of $[eqn]$ provides valuable information about k-separability. Consider a choice of unit vectors $[eqn]$ that induces a metric $[eqn]$ which, up to a permutation of the qubit indices, is block-diagonal. In a previous work by one of the authors [46], it was shown that $[eqn]$ , where n denotes the number of such blocks, p the persistency of entanglement, and k the degree of separability. In particular, this result implies that if there exists a choice of unit vectors such that $[eqn]$ is irreducible for any permutation of its indices (i.e., $[eqn]$ ), then the state $[eqn]$ is genuinely multipartite entangled (i.e., $[eqn]$ ).

From Equation (17) we derive

$$[eqn]$$

that shows that the unit vectors

$$[eqn]$$

provide the inf of $[eqn]$ . Therefore, we obtain the following directly computable formula for the ED:

$$[eqn]$$

Note that the latter equation can be seen as the sum of the M single-qubit EDs

$$[eqn]$$

$[eqn]$ is a measure of bipartite entanglement of $[eqn]$ with the rest of the system. Note that Equation (21) also has the meaning of a quantum correlation measure [6].

The inf operation renders the measure in (18) independent of the choice of the operators $[eqn]$ . Consequently, its numerical value is associated with the equivalence class (12) and does not depend on the particular representative chosen within the class. This is a necessary requirement for a well-defined entanglement measure [13].

Remarkably, the entanglement measure can be derived from a minimum-distance principle when formulated within the framework of the Riemannian geometry of the projective Hilbert space. Indeed, according to Equation (8), the squared distance between the rays associated with the unit vectors $[eqn]$ and $[eqn]$ is

$$[eqn]$$

We name $[eqn]$ -conjugate of $[eqn]$ the states $[eqn]$ , for $[eqn]$ . Therefore,

$$[eqn]$$

This shows that the minimum of the sum of the squared (finite) distances between a state $[eqn]$ and all the states obtained by the action of the operators $[eqn]$ , upon varying the vectors $[eqn]$ , is bounded from below by the entanglement measure $[eqn]$ . For fully separable states, this minimum distance vanishes, whereas for maximally entangled states, it reaches, at best, the value M. Therefore, within this geometric framework, entanglement can be interpreted as an obstruction to minimizing the sum of the squared distances between a state $[eqn]$ and all its $[eqn]$ -conjugate states.

3.1. Properties of Entanglement Distance

The ED is an entanglement monotone [13,47] in the sense that it fulfills the following conditions:

• $[eqn]$ , and $[eqn]$ if and only if $[eqn]$ is fully separable;
• E is invariant under LU transformation;
• E does not increase under local operation and classical communications (LOCC);
• E is additive for tensor products.

In fact:

• From (22) it follows that $[eqn]$ , since $[eqn]$ . Therefore, $[eqn]$ implies $[eqn]$ for each $[eqn]$ . The reduced density matrix of the $[eqn]$ -th subsystem, $[eqn]$ , obtained by tracing over the degrees of freedom of the remaining subsystems, can be written as $[eqn]$ . Hence, $[eqn]$ implies $[eqn]$ . Since $[eqn]$ , it follows that $[eqn]$ for each $[eqn]$ . This condition is satisfied if and only if the state $[eqn]$ is fully separable.
• For a given LU operator U, which has the form $[eqn]$ with $[eqn]$ a unitary operator acting on the $[eqn]$ -th party, one finds that $[eqn]$ . This proves the statement.
• Let us suppose that a local measurement is performed on a single qubit $[eqn]$ ; without loss of generality, we may take $[eqn]$ . If $[eqn]$ denotes the normalized state vector before the measurement, then $[eqn]$ denotes the normalized state vector after the measurement, corresponding to the outcome $[eqn]$ for the qubit $[eqn]$ along the direction $[eqn]$ . We denote the corresponding eigenstate of the measured qubit by $[eqn]$ . The associated outcome probability is $[eqn]$ . The post-measurement state vector is given by

$$[eqn]$$

It results in

$$[eqn]$$

The reduced density matrix of the $[eqn]$ -th qubit is given by

$$[eqn]$$

For $[eqn]$ , one obtains

$$[eqn]$$

Therefore, from (22) we find

$$[eqn]$$

The two-qubit reduced density matrix of the 0-th and the $[eqn]$ -th qubits, with $[eqn]$ , is given by

$$[eqn]$$

By direct calculation, one can verify that

$$[eqn]$$

This proves that, for $[eqn]$ ,

$$[eqn]$$

This completes the proof of Claim iii.

• In the case of a state $[eqn]$ product of two states $[eqn]$ , the metric tensor $[eqn]$ can be set as diagonal blocks

$$[eqn]$$

and one has

$$[eqn]$$

The generalization to multiple tensor products follows straightforwardly.

3.2. Comparison Between the Concurrence and the Entanglement Distance

Let us consider a general $[eqn]$ qubits normalized pure-state

$$[eqn]$$

such that $[eqn]$ . Concurrence, for pure states (35), is defined as [48,49]

$$[eqn]$$

where $[eqn]$ . By direct computations one gets [48]

$$[eqn]$$

For the same case ED (21) can be written explicitly in terms of the amplitudes $[eqn]$ as

$$[eqn]$$

which can be written as a monotone function of the concurrence

$$[eqn]$$

This proves that the concurrence for pure states is a special case of ED, valid for the case of two qubits.

3.3. Comparison Between the Entanglement Entropy and the Entanglement Distance

In the special case of pure two-qubit states, the entropy of entanglement, $[eqn]$ , can be expressed explicitly as a function of the entanglement distance $[eqn]$ .

Indeed, the relation between the two-qubit concurrence and the entanglement entropy (for pure states) is well known and monotonic. Thus, using (39), one finds

$$[eqn]$$

where

$$[eqn]$$

This relation follows directly from (39); see, for instance, Ref. [9], Equation (9).

4. Example: Calculation of the Entanglement Distance

As an illustrative example of the calculation of the Entanglement Distance, we consider the following normalized three-qubit state:

$$[eqn]$$

where

$$[eqn]$$

with $[eqn]$ .

One can verify that for $[eqn]$ and $[eqn]$ , the state $[eqn]$ is biseparable, being the product of a two-qubit state and a single-qubit state. Moreover, the states $[eqn]$ and $[eqn]$ are fully separable. For $[eqn]$ , the states $[eqn]$ are fully separable for all values of $[eqn]$ . For $[eqn]$ , the states $[eqn]$ are fully separable for all values of $[eqn]$ .

By direct calculation, one obtains the following expectation values of the Pauli matrices for the first qubit:

$$[eqn]$$

for the second qubit:

$$[eqn]$$

and for the third qubit:

$$[eqn]$$

Finally, by Equation (21), one obtains

$$[eqn]$$

Figure 1 shows the $[eqn]$ plot of $[eqn]$ as a function of $[eqn]$ .

The entanglement measure $[eqn]$ correctly captures all the entanglement properties expected for the state (42).

5. Concluding Remarks

By framing entanglement through the lens of the Fubini–Study metric, we have demonstrated that the Riemannian geometry of the projective Hilbert space offers a deep, intuitive foundation for quantum correlations. Within this framework, the entanglement distance (ED) emerges as more than just a formal construction; it represents a physical “obstruction” that prevents a state from being locally minimized toward a separable form.

This geometric intuition is rigorously validated in the bipartite regime. For pure states of two qubits, we have shown that the ED is an exact monotone of both concurrence and the entropy of entanglement. Such results provide a bridge between differential geometry and established information-theoretic definitions, confirming that our geometric measure remains consistent with traditional benchmarks.

However, the power of the geometric approach lies in its potential to describe the more complex landscape of multipartite systems where standard measures often falter. While the transition to mixed states and the exploration of correlations beyond entanglement remain open challenges, the results presented here suggest that geometry provides a uniquely transparent language for these problems. Continuing to peel back the geometric layers of the projective Hilbert space will likely yield further insights into the structural role of entanglement in complex quantum systems.