Geometric aspects of mixed quantum states inside the Bloch sphere

When studying the geometry of quantum states, it is acknowledged that mixed states can be distinguished by infinitely many metrics. Unfortunately, this freedom causes metric-dependent interpretations of physically significant geometric quantities such as complexity and volume of quantum states. In this paper, we present an insightful discussion on the differences between the Bures and the Sj\"oqvist metrics inside a Bloch sphere. First, we begin with a formal comparative analysis between the two metrics by critically discussing three alternative interpretations for each metric. Second, we illustrate explicitly the distinct behaviors of the geodesic paths on each one of the two metric manifolds. Third, we compare the finite distances between an initial and final mixed state when calculated with the two metrics. Interestingly, in analogy to what happens when studying topological aspects of real Euclidean spaces equipped with distinct metric functions (for instance, the usual Euclidean metric and the taxicab metric), we observe that the relative ranking based on the concept of finite distance among mixed quantum states is not preserved when comparing distances determined with the Bures and the Sj\"oqvist metrics. Finally, we conclude with a brief discussion on the consequences of this violation of a metric-based relative ranking on the concept of complexity and volume of mixed quantum states.


I. INTRODUCTION
It is established that there exist infinitely many distinguishability metrics for mixed quantum states [1].For this reason, there is a certain degree of arbitrariness in selecting the metric when characterizing physical aspects of quantum states in mixed states.In particular, this freedom can cause metric-dependent explanations of geometric quantities with a clear physical significance, including complexity [2][3][4][5][6][7][8][9][10] and volume [11][12][13][14][15][16][17][18][19][20][21][22] of quantum states.Two examples of metrics for mixed quantum states are the Bures [23][24][25][26] and the Sjöqvist [27] metrics.In Ref. [28], we proposed a first explicit characterization of the Bures and Sjöqvist metrics over the manifolds of thermal states for specific spin qubit and superconducting flux qubit Hamiltonian models.We observed that while both metrics become the Fubini-Study metric in the asymptotic limiting case of the inverse temperature approaching infinity for both Hamiltonian models, the two metrics are generally distinct when far from the zero-temperature limit.The two metrics differ in the presence of a nonclassical behavior specified by the noncommutativity of neighboring mixed quantum states.Such a noncommutativity, in turn, is taken into account by the two metrics differently.As a follow up of our work in [28], we used the concept of decompositions of density operators by means of ensembles of pure quantum states to present in Ref. [29] an unabridged mathematical investigation on the relation between the Sjöqvist metric and the Bures metric for arbitrary nondegenerate mixed quantum states.Furthermore, to deepen our comprehension of the difference between these two metrics from a physics standpoint, we compared the general expressions of these two metrics for arbitrary thermal quantum states for quantum systems in equilibrium with a reservoir at non-zero temperature.Then, for clarity, we studied the difference between these two metrics in the case of a spin-qubit in an arbitrarily oriented uniform and stationary external magnetic field in thermal equilibrium with a finite-temperature bath.Finally, we showed in Ref [29] that the Sjöqvist metric does not satisfy the so-called monotonicity property [1], unlike the Bures metric.An interesting observable consequence, in terms of complexity behaviors, of this freedom in choosing between the Bures and Sjöqvist metrics was reported in Ref. [2].There, devoting our attention to geodesic lengths and curvature properties for manifolds of mixed quantum states, we recorded a softening of the information geometric complexity [30,31] on the Bures manifold compared to the Sjöqvist manifold.
In this paper, motivated by our findings in Refs.[2,28,29], we present a more in depth conceptual discussion on the differences between the Bures and the Sjöqvist metrics inside a Bloch sphere.To achieve this goal, we first begin by presenting in Section II a formal comparative analysis between the two metrics.This analysis is based upon a critical discussion on three different alternative interpretations for each one of the two metrics.We then continue in Section III with an explicit illustration of the different behaviors of the geodesic paths on each one of the two metric manifolds.In the same section, we also compare the finite distances between an initial and final mixed state when calculated by means of the two metrics.Inspired by what happens when studying topological aspects of real Euclidean spaces equipped with distinct metric functions (for instance, the usual Euclidean metric and the taxicab metric), we observe in Section IV that the relative ranking based on the concept of finite distance among mixed quantum states is not preserved when comparing distances determined with the Bures and the Sjöqvist metrics.We then discuss in Section IV the consequences of this violation of a metric-based relative ranking on the concept of complexity and volume of mixed quantum states, along with other geometric peculiarities of the Bures and the Sjöqvist metrics inside a Bloch sphere.Our concluding remarks appear in Section V. Finally, for the ease of presentation, some more technical details appear in Appendix A and B.
Before transitioning to our next section, we acknowledge that the presentation of the content of this paper is more suitable for specialists interested in the geometric aspects of mixed quantum states.However, for interested readers who are not so familiar with the topic, we suggest Ref. [1] for a general introduction to the geometry of quantum states.Furthermore, for a tutorial on the geometry of Bures and Sjöqvist manifolds of mixed states, we refer to Ref. [28].Finally, for a partial list of more technical applications of the Bures and Sjöqvist metrics in quantum information science, we suggest Refs.[32][33][34][35][36][37][38][39] and Refs.[40][41][42][43][44][45], respectively.

II. LINE ELEMENTS
In this section, we begin with a presentation of a formal comparative analysis between the Bures and the Sjöqvist metrics inside a Bloch sphere.For completeness, we first mention in Table I some examples of metrics for mixed quantum states and characterize them in terms of their Riemannian and monotonicity properties.For more details on the notion of monotonicity and Riemannian property for quantum metrics, we refer to Ref. [1].Returning to our main analysis, we focus here on the geometry of single-qubit mixed quantum states characterized by density operators on a two-dimensional Hilbert space.In this case, an arbitrary density operator ρ can be written as a decomposition of four-linear operators (i.e., four (2 × 2)-matrices) given by the identity operator I and the usual Pauli vector operator ⃗ σ def = (σ x , σ y , σ z ) [46].Explicitly, we have where ⃗ p def = pp denotes the three-dimensional Bloch vector.Note that p is the length ∥⃗ p∥ def = √ ⃗ p • ⃗ p of the polarization vector ⃗ p, while p is the unit vector.Following the vectors and one-forms notation along with the line of reasoning presented in Refs.[47][48][49], we can formally recast ⃗ p and ⃗ σ in Eq. ( 1) as respectively.Observe that {ê i } 1≤i≤3 is a set of orthonormal three-dimensional vectors satisfying êi • êj = δ ij , with δ ij being the Kronecker delta symbol.Moreover, we have σ 1 , σ 2 , σ 3 def = (σ x , σ y , σ z ).For pure states, ρ = ρ 2 , tr(ρ) = tr ρ 2 = 1, and p = 1.Therefore, pure states are located on the surface of the unit two-sphere.For mixed states states, instead, ρ ̸ = ρ 2 , tr(ρ) = 1, and tr ρ 2 ≤ 1.Since tr ρ 2 = p 2 , we have p ≤ 1.Therefore, mixed quantum states are located inside the unit two-sphere, i.e., they belong to the interior of the Bloch sphere.
In next two subsections, we study the geometric aspects of the interior of the Bloch sphere specified by the Bures and the Sjöqvist line elements, respectively.

A. The Bures line element
In the case of the Bures geometry, the infinitesimal line element ds 2  Bures (⃗ p, ⃗ p + d⃗ p) between two neighboring mixed states ρ and ρ + dρ corresponding to Bloch vectors ⃗ p and ⃗ p + d⃗ p is given by [25,47,48] The equality between the first and second expressions of ds 2 Bures (⃗ p, ⃗ p + d⃗ p) in Eq. ( 3) can be checked by first noting that p • p = 1 implies p • dp = 0. This, in turn, yields the relations d⃗ p • d⃗ p = dp 2 + p 2 dp • dp and (⃗ p • d⃗ p) 2 = p 2 dp 2 .Finally, the use of these two identities allows us to arrive at the equality between the two expressions in Eq. (3).
In what follows, we propose three interpretations for the Bures metric which originate from a critical reconsideration of the original work by Braunstein and Caves in Refs.[47,48].

Second interpretation
A second useful coordinate system to further gain insights into the Bures line element in Eq. ( 3) is specified by considering a change of variables defined by p def = sin (χ) with χ being the hyperspherical angle with 0 ≤ χ ≤ π/2.In this set of coordinates, 4ds 2  Bures (⃗ p, ⃗ p + d⃗ p) reduces to with dp • dp = dΩ 2 def = dθ 2 + sin 2 (θ) dφ 2 .Note that Eq. ( 5) for the Bures metric is exactly the (intrinsic) metric on the unit 3-sphere S 3 , where χ, θ, and φ are the angular coordinates on the sphere.For completeness, we remark that the metric for the (N + 1)-sphere can be written in terms of the metric for the N -sphere, with the introduction of a new hyperspherical angle [1].Two additional considerations are in order here.First, the four-dimensional vector x µ (s) ≡ x 0 (s) , ⃗ x (s) with 0 ≤ µ ≤ 3 such that dx µ dx µ = 4ds 2  Bures = dχ 2 + sin 2 (χ) dp • dp can be written as x µ (s) = x 0 (s) ê0 (s) + ⃗ x (s).The quantity x 0 (s) χ/χ, with ê0 (s) • êi (s) = 0 for any 1 ≤ i ≤ 3. The three-dimensional vector ⃗ x (s) given by specifies the remaining three coordinates of x µ (s) along the directions ê1 (s) def = e r (s), ê2 (s) def = e θ (s), and ê3 (s) def = e φ (s).From Eq. ( 6) we point out the presence of a correlational structure between the motion along ê0 (s) and the "spatial" directions êi (s) with 1 ≤ i ≤ 3.This correlational structure is a manifestation of the fact that for the Bures geometry, radial and angular motions inside the Bloch sphere are correlated since the dynamical geodesic equations are specified by a set of second order coupled nonlinear differential equations when using a set of spherical coordinates [2].Second, remembering that line element in the usual cylindrical coordinates (ρ, φ, z) is ds 2 cylinder = dz 2 + dΩ 2 cylinder where dΩ 2 cylinder def = dρ 2 + ρ 2 dφ 2 , we observe that the structure of the Bures line element rewritten as in Eq. ( 5) is suggestive of the structure of a line element in the standard cylindrical coordinates once we make the connection between the pair (χ, dΩ) with the pair (ρ, dΩ cylinder ).Then, one can link a cylinder with a variable radius in the case of the Bures geometry.In particular, it is worth mentioning at this point that the non constant radius in the Bures case is upper bounded by the constant value that defines the radius in the Sjöqvist geometry (as we shall see in the next subsection).These geometric insights emerging from this simple change of coordinates would lead one to reasonably expect different lengths of geodesic paths in the two geometries studied here.This will be discussed in more detail in the next section, however.

Third interpretation
An alternative third set of coordinates for the Bures line element in Eq. ( 3) is given by the four coordinates . Therefore, when employing this coordinate system, the inside of the Bloch sphere can be described by a three-dimensional surface defined by the constraint relation Moreover, the geometry of the surface is induced by the four-dimensional flat Euclidean line element [25], Notice that Eq. ( 7) for the Bures metric is the (extrinsic) metric on the unit 3-sphere S 3 viewed as embedded in R 4 .The geodesic paths emerging from ds 2 Bures in Eq. ( 7) are great circles on the 3-sphere.In terms of the arc length s, these geodesics can be recast as [47,48] x µ (s) = u µ cos(s) + v µ sin(s), (8) where . This last relation assures that u µ ⊥ v µ so that Eq. ( 7) is satisfied for x µ (s) given in Eq. (8).
We are now ready to critically discuss the Sjöqvist line element by mimicking the discussion performed for the Bures line element.

B. The Sjöqvist line element
In the case of the Sjöqvist geometry, the infinitesimal line element ds 2  Sjöqvist (⃗ p, ⃗ p + d⃗ p) between two neighboring mixed states ρ and ρ + dρ corresponding to Bloch vectors ⃗ p and ⃗ p + d⃗ p is given by [27] The equality between the first and second expressions of ds 2 Sjöqvist (⃗ p, ⃗ p + d⃗ p) in Eq. ( 9) can be verified by first observing that p • p = 1 implies p • dp = 0. This, in turn, leads to the relations d⃗ p • d⃗ p = dp 2 + p 2 dp • dp and (⃗ p • d⃗ p) 2 = p 2 dp 2 .Finally, exploiting these two relations, we arrive at the equality between the two expressions in Eq. ( 9).
We remark that Sjöqvist in Ref. [27] was the first to seek a deeper understanding of the physics behind the metric, with the concept of mixed state geometric phases playing a key role.However, for completeness, we also point out that what we call "Sjöqvist interferometric metric" first appeared as a special case of a more general family of metrics proposed in a more formal mathematical setting in Refs.[50,51] by Andersson and Heydari.In this generalized setting, different metrics arise from different gauge theories, they are specified by distinct notions of horizontality and, finally, they can be well-defined for both nondegenerate and degenerate mixed quantum states.Great part of the underlying gauge theory of this generalized family of metrics was developed in Ref. [52].A suitable comprehensive reference to read about such generalized family of metrics is Chapter 5 in Andersson's thesis [53] where, in particular, the singular properties of Sjöqvist's metrics are discussed in Section 5.3.2.For further technical details on this matter, we refer to Ref. [53] and references therein.

First interpretation
We begin by noting that the term dp 2 / 1 − p 2 in ds 2  Sjöqvist (⃗ p, ⃗ p + d⃗ p) implies that the inside of the Bloch sphere is not flat, but curved.In particular, the interpretation of this term follows exactly the discussion provided in the previous subsection for the Bures case.Moreover, similarly to the Bures case, the term dp • dp remains the standard line element dΩ 2 def = dθ 2 + sin 2 (θ) dφ 2 on a unit two-sphere.Therefore, when using spherical coordinates, the line element in Eq. ( 9) can be recast as Unlike what happens in the Bures case, when p is kept constant and equal to p 0 , a surface specified by the relation p = p 0 inside the Bloch sphere exhibits the geometry of a two-sphere of area 4π in the Sjöqvist case.The area 4π of this two-sphere is greater than the area 4πp 2 0 that specifies the Bures case and, in addition, does not depend on the choice of the constant value p 0 of p.This is a signature of the fact that, in the Sjöqvist case, the accessible regions inside the Bloch sphere have volumes greater than those specifying the Bures geometry.Indeed, this observation was first pointed out in Ref. [2] and shall be further discussed in the forthcoming interpretations.

Second interpretation
In analogy to the second interpretation proposed for the Bures metric, a convenient coordinate system to further gain insights into the Sjöqvist line element in Eq. ( 9) can be achieved by performing a change of variables defined by p def = sin (χ) with χ being the hyperspherical angle with 0 ≤ χ ≤ π/2.In this set of coordinates, 4ds 2  Sjöqvist (⃗ p, ⃗ p + d⃗ p) reduces to 4ds 2  Sjöqvist (⃗ p, ⃗ p with dp • dp = dΩ 2 def = dθ 2 + sin 2 (θ) dφ 2 .Observe that Eq. ( 11) for the Sjöqvist metric exhibits a structure that is similar to that of the metric on S 1 × S 2 , the Cartesian product of the unit 1-sphere S 1 with the unit 2-sphere S 2 .This Cartesian product is responsible for the uncorrelated structure between the hyperspherical angle coordinate and the pair of angular coordinates (θ, φ) (i.e., the polar and azimuthal angles, respectively).This uncorrelated structure, in turn, manifests itself with an expression of the metric on S 1 × S 2 which is simply the sum of the metrics on S 1 and S 2 .More specifically, comparing Eqs. ( 5) and ( 11), we note that in the Sjöqvist case, unlike the Bures case, the "temporal" and "spatial" spatial components of the metric are no longer correlated.In particular, the analogue of ⃗ x (s) in Eq. ( 6) reduces to From Eq. ( 12) we emphasize the absence of a correlational structure between the motion along ê0 (s) and the "spatial" directions êi (s) with 1 ≤ i ≤ 3. Interestingly, the lack of this correlational structure manifests itself when using spherical coordinates to describe the Sjöqvist geometry.Specifically, it emerges from the fact that the radial and angular motions inside the Bloch sphere are not correlated since the dynamical geodesic equations are specified by a set of second order uncoupled nonlinear differential equations [2].Lastly, recalling that line element in the usual cylindrical coordinates (ρ, φ, z) is ds 2 cylinder = dz 2 + dΩ 2 cylinder where dΩ 2 cylinder def = dρ 2 + ρ 2 dφ 2 , we note that the structure of the Sjöqvist line element recast as in Eq. ( 11) is reminiscent of the structure of a line element in the traditional cylindrical coordinates once we connect the pair (χ, dΩ) with the pair (ρ, dΩ cylinder ).Then, unlike what happens in the Bures case, one can associate a cylinder with a constant value of its radius in the case of the Sjöqvist geometry.In particular, the constant value of the radius upper bounds any value that the varying radius can assume in the Bures case.Again, as previously mentioned, these geometric insights that arise from this simple change of coordinates would lead one to expect different lengths of geodesic paths in the two geometries studied here.However, this will be studied in more detail in the next section.In what follows, instead, we present our third and last interpretation.

Third interpretation
Following the third interpretation presented for the Bures case, we adapt the four coordinates x µ with 0 ≤ µ ≤ 3 given by x µ = x 0 , ⃗ x def = 1 − p 2 , ⃗ p with ⃗ p = pp to the Sjöqvist line element ds 2 Sjöqvist (⃗ p, ⃗ p + d⃗ p) in Eq. ( 9).After some algebra, we get with Note that Eq. ( 13) for the Sjöqvist metric is the (extrinsic) metric for S 1 × S 2 embedded in R 4 .The embedding of S 1 × S 2 in R 4 appears to be more complicated than that of S 3 in R 4 .This complication, in turn, leads to a behavior of the Sjöqvist metric which is more irregular than that observed in the Bures case.More specifically, comparing Eqs. ( 7) and ( 13), we note that unlike what happens in the Bures case, the inside of the Bloch sphere is no longer a unit 3-sphere embedded in a four-dimensional flat Euclidean space with geodesics given by great circles on it when using the four coordinates x µ .In particular, the metric 4ds 2 Sjöqvist as expressed in Eq. ( 13) is not regular since its signature is not constant.Indeed, ω x 0 (p) ≥ 0 for p ≥ 1/ √ 2 and An essential singularity appears at p = 0 (i.e., for maximally mixed states).This observation, although obtained from a different perspective, is in agreement with what was originally noticed in Ref. [27].Finally, the geodesic paths change as well.Indeed, the geodesics [x µ (s)] Bures def = x 0 (s) , ⃗ x (s) in Eq. ( 7) are formally replaced by [x µ (s)] Sjöqvist expressed in terms of x 0 (s) Sjöqvist and [⃗ x (s)] Sjöqvist as and respectively.For completeness and following the terminology of the previous subsection, we point out that p (s) in Eqs. ( 14) and ( 15) equals p (s) and is such that 0 ≤ p(s) ≤ 1.In this section, we focused our attention on grasping physical insights from the infinitesimal line elements for the Bures and the Sjöqvist metrics inside a Bloch sphere in Eqs. ( 3) and ( 9), respectively.In the next section, we shall further explore some of our insights by extending our focus to the difference between the finite distances of geodesic paths connecting mixed quantum states on these two metric manifolds.

III. FINITE DISTANCES
In this section, we turn our attention to the study of the behaviors of the geodesic paths on each one of the two metric manifolds, i.e.Bures and Sjöqvist manifolds.Furthermore, we also offer a comparison between the finite distances between arbitrary initial and final mixed states when calculated by means of the above mentioned metrics.For clarity, we remark that to compare finite distances between mixed quantum states in the Bloch ball calculated with the Bures and Sjöqvist metrics, it is sufficient to focus on points in the xz-plane.This is a consequence of two facts.First, distances are preserved under rotations.Second, it is possible to construct a suitable composition of two SO(3; R) rotations acting on arbitrary Bloch vectors for mixed states, say ⃗ p 1 and ⃗ p 2 , such that the distances with ds 2 Bures in Eq. ( 4).In Eq. ( 16), r ′ def = dr/dθ and L (r ′ , r, θ) is the Lagrangian-like function defined as From Eq. ( 36), note that L = L (r ′ , r) in Eq. ( 17) does not explicitly depend θ.Therefore, ∂L/∂θ = 0.In this case, it happens that the Euler-Lagrange equation reduces to the well-known Beltrami identity in Lagrangian mechanics, Indeed, making use of Eq. ( 18) together with the identity we get Finally, Eq. ( 21) leads to the so-called Beltrami identity in Eq. (19).Using Eqs. ( 17) and ( 19), we obtain Manipulating Eq. ( 22) and imposing the boundary conditions r (θ a ) = r a and r (θ b ) = r b , we obtain with 0 < c B ≤ r ≤ 1.For notational simplicity, let us set a Then, integration of Eq. ( 23) by use of Mathematica yields Manipulating Eq. ( 24), I (r) in Eq. ( 24) becomes Finally, substituting Eq. ( 25) into Eq.( 23), the radial geodesic path in the Bures case can be recast as [2] r where the constants A B (r a , r ′ a ) and a 2 B (r a , r ′ a ) in Eq. ( 26) are given by respectively.At this point, we recall that the Bures distance between two density operators ρ 1 and ρ 2 is given by [25], Furthermore, L Bures (ρ 1 , ρ 2 ) in Eq. ( 28) can be expressed in terms of the fidelity between two density operators ρ 1 and ρ 2 defined as [54,55] Therefore, combining Eqs. ( 28) and ( 29), the Bures distance L Bures (ρ 1 , ρ 2 ) becomes Then, focusing on qubit states, the fidelity F (ρ 1 , ρ 2 ) in Eq. ( 29) reduces to [54] F (ρ 1 , ρ 2 ) = tr (ρ where ρ 1 and ρ 2 are given by respectively.Using Eqs. ( 32) and ( 31), L Bures (ρ 1 , ρ 2 ) in Eq. ( 30) reduces to For Bloch vectors ⃗ a  33) is equal to The

B. The Sjöqvist distance
Following Sjöqvist's work in Ref. [27], we focus on finding geodesic paths that connect points (i.e., mixed quantum states) in the Bloch ball that lay in a plane that contains the origin.Employing spherical coordinates (r, θ, φ) and maintaining φ =const., geodesics can be obtained by minimizing ds Sjöqvist over all curves connecting points ⃗ a ↔ (r a , θ a ) and ⃗ b ↔ (r b , θ b ).More specifically, we aim to get the curve [θ a , θ b ] ∋ θ → r Sjöqvist (θ) ∈ (0, 1] that minimizes the length L Sjöqvist (⃗ a, ⃗ b) given by with ds 2 Sjöqvist in Eq. (10).In Eq. ( 35), r ′ def = dr/dθ and L (r ′ , r, θ) is the Lagrangian-like function defined as Following the similar derivation of the Euler-Lagrange equations leading to Eq. ( 22) in the previous subsection for the Bures metric, we obtain that is, Integrating Eq. ( 38) and imposing the boundary conditions r (θ a ) = r a , r (θ b ) = r b , with θ initial = θ a and θ final = θ b , we obtain the geodesic path We remark that the expression of r Sjöqvist (θ) in Eq. ( 39) can be recast, alternatively, in terms of boundary conditions on the initial position r (θ a ) = r a and the initial speed r ′ (θ a ) = r ′ a .We get, after some algebra [2], As a consistency check, we observe that we correctly recover Eq. ( 18) in Ref. [27] when we set θ initial = 0 in Eq. (39).For illustrative purposes, we present in Fig. 1 a plot of the Bures and Sjöqvist curves r Bures (θ) in Eq. ( 26) and r Sjoqvist (θ) in Eq. ( 40), respectively, for identical boundary conditions specified by the initial position and the initial speed.Finally, inserting r Sjöqvist (θ) in Eq. ( 39) into the expression for L (r ′ , r, θ) in Eq. ( 36), L Sjöqvist (⃗ a, ⃗ b) in Eq. ( 35) reduces to [27] L The expression of L Sjöqvist (⃗ a, ⃗ b) in Eq. ( 41 41) and the Bures distance L Bures (∆θ) in Eq. ( 34) versus ∆θ def = θ b − θ a with 0 ≤ ∆θ ≤ π in the assumption that r a = r b = 1.In part (b) of Fig. 2, instead, we compare the Sjöqvist and Bures distances as in (a) but for different values of r a = r b =const.with const.∈{1, 0.95, 0.75, 0.5}.We observe that while the Sjöqvist distance does not depend on the particular value of the const., the Bures distance depends on the specific value of the const.In any case, we have 0 ≤ L Bures (∆θ) ≤ L Sjöqvist (∆θ) ≤ π/2.For completeness, we recall that the geodesic distance between two orthogonal pure states represented by antipodal points on the Bloch sphere is π, whereas the corresponding Fubini-Study distance is π/2.In the limit of r a = r b = 1, the Bures distance in Eq. ( 34 34) and ( 41), we are now ready to provide some intriguing discussion points in the next section.

IV. DISCUSSION
To better motivate and understand the relevance of our forthcoming discussion, we briefly summarize some of the main results we found in past investigations on a comparative analysis of the Bures and Sjoqvist metrics.In Ref. [2], we found that the manifold of mixed states equipped with the Bures (Sjöqvist) metric is an isotropic (anisotropic) manifold of constant (non-constant) sectional curvature.The isotropy of the manifold, the inequality L Bures (⃗ a, ⃗ b) ≤ L Sjöqvist (⃗ a, ⃗ b) between the path lengths and, in addition, the presence of a correlational structure in the equations of geodesic motion (which is absent in the Sjöqvist case) between radial and angular directions, are at the root of the softening in the complexity of the geodesic evolution on Bures manifolds.Indeed, correlational structures cause the shrinkage of the explored volumes of regions on the manifold underlying the geodesic evolution.This shrinkage, finally, can be detected by means of the so-called information geometric complexity (i.e., the volume of the parametric region explored by the system during its evolution from the initial to the final configuration on the underlying manifold, [31]).For a summary of the specific properties of Bures and Sjöqvist metrics in terms of sectional curvatures, path lengths, and information geometric complexities, we refer to Table III and Appendix E in Ref. [2].We also point out that we originally observed in Ref. [28] that the Bures and Sjöqvist metrics characterize, in general, the departure from the classical behavior by means of the noncommutativity of neighboring mixed states in dissimilar manners.This discrepancy was first tested by studying geometric aspects of the Bures and Sjöqvist manifolds emerging from a superconducting flux Hamiltonian model in Ref. [28].Later, this discrepancy was elegantly conceptualized (see Eqs. (36) and (38) in Ref. [29]) and, in addition, explicitly discussed for a spin-qubit in an arbitrarily oriented uniform and stationary magnetic field in thermal equilibrium with a finite-temperature reservoir in Ref. [29].
In this section, we briefly comment on some previously unnoticed geometric features that emerge from the Bures and Sjöqvist finite distances in Eqs. ( 34) and ( 41) obtained in Section III.To make our discussion closer to classical geometric and topological arguments, we carry out a comparative discussion highlighting formal similarities between the classical (Euclidean, Taxicab) metrics in the xz-plane of R 2 and the quantum (Bures, Sjöqvist) metrics inside the Bloch sphere.Let us denote with d Euclid and d Taxicab the usual Euclidean and Taxicab metric functions, respectively.
For completeness, we recall that d Euclid (⃗ a, ⃗ b First, we observe that although R 2 , d Euclid and R 2 , d Taxicab are topologically equivalent metric spaces [56], we have that d Euclid (P i , P i ′ ) ≤ d Euclid (P k , P k ′ ) does not imply that d Taxicab (P i , P i ′ ) ≤ d Taxicab (P k , P k ′ ) with i ̸ = i ′ and k ̸ = k ′ .Therefore, a relative ranking of pairs of points specified in terms of distances between the pairs themselves, with closer pairs of points ranking higher than those further away, is not preserved when using Euclidean and Taxicab metrics.For instance, consider a set S 1 of three points in R 2 given in Cartesian coordinates by S 1 def ) .One notices that d Euclid (P 1 , P 2 ) = 1 ≥ 0.85 ≃ d Euclid (P 1 , P 3 ).However, when using the Taxicab metric, we have d Taxicab (P 1 , P 2 ) = 1 ≤ 1.21 ≃ d Taxicab (P 1 , P 3 ).Interestingly, the conservation of this type of ranking of pairs of points is violated also when comparing the Bures and Sjöqvist metrics.For instance, consider a set S 2 of four points (i.e., mixed quantum states) with ⃗ a i assumed to belong to the xz-plane and specified by the pair of spherical coordinates (r ai , θ ai ) given by S 2 def Then, in terms of the Bures metric, we find d Bures (P 1 , P 2 ) ≃ 0.52 ≥ 0.19 ≃ d Bures (P 3 , P 4 ).However, when using the Sjöqvist metric, we get d Sjöqvist (P as defined in Eq. (34).Similarly, d Sjöqvist (P i , P j ) = d Sjöqvist (⃗ a i , ⃗ a j ) = L Sjöqvist (⃗ a i , ⃗ a j ) as defined in Eq. (41).We also emphasize here that unlike what happens in the Bures geometry, in the Sjöqvist geometry it is possible to identify pairs of two points, say (P i , P i ′ ) and (P k , P k ′ ), that seem to be visually rankable which, in actuality, are at the same distance from each other (and, thus, non-rankable according to our previously mentioned notion of relative ranking).For example, following the terminology introduced for the set S 2 , consider the new set of points S 3 defined as the Sjöqvist metric, we find d Sjöqvist (P 1 , P 2 ) = d Sjöqvist (P 3 , P 4 ) = π/2, even though the pair of points (P 3 , P 4 ) seem to be visually more distant than the pair of points (P 1 , P 2 ).However, when employing the Bures metric, we get d Bures (P 1 , P 2 ) ≃ 0.25 ≤ 0.52 ≃ d Bures (P 3 , P 4 ).This latter inequality is consistent with our visual intuition associated with seeing these points as mixed states inside the Bloch sphere.Clearly, these different geometric features between Bures and Sjöqvist geometries can be ascribed to the formal structure of the expressions for the finite distances in Eqs.(34) and (41), respectively, that we have obtained in the previous section.Second, in addition to the fact that d Euclid (P i , P j ) ≤ d Taxicab (P i , P j ) ↔ d Bures (P i , P j ) ≤ d Sjöqvist (P i , P j ) for arbitrary points P i and P j , it can be noted that a given probe point in the Sjöqvist manifold appears to be locally surrounded by a greater number of points at the same distance from the source.This, in turn, can be regarded as an indicator of the presence of a higher degree of complexity during the change from an initial point (source state) to a final point (target state).Therefore, this set of points of discussion that we are offering here seem to land additional support to the apparent emergence of a softer degree of complexity in Bures manifolds when compared with Sjöqvist manifolds [2].For clarity, we remark that the proof of the inequality d Euclid (P i , P j ) ≤ d Taxicab (P i , P j ) can be found in any standard topology book, including Ref. [56].The proof of the inequality d Bures (P i , P j ) ≤ d Sjöqvist (P i , P j )), instead, follows from the analyses presented in Refs.[27,29].In particular, its origin can be traced back to the fact that both quantum metrics originate from a specific minimization procedure that, for the Bures metric, occurs in a larger space of unitary matrices.For technical details on this minimization procedure, we refer to Refs.[27,29].For completeness, we also point out that once we find a single violation of either the former (classical) or the latter (quantum) inequalities, we can find several sets of points that would yield the same violation.From a classical geometry standpoint, this is a consequence of the fact that distances are invariant under isometries.In particular, limiting our discussion to the case at hand, any planar isometry mapping input points in R 2 to output points in R 2 is either a pure translation, a pure rotation about some center, or a reflection followed by a translation (i.e., a glide reflection).Moreover, the composition of two isometries is an isometry.From a quantum standpoint, instead, an isometry is an inner-product preserving transformation that maps, in general, between Hilbert spaces with different dimensions.In the particular scenario in which input and output Hilbert spaces have the same dimensions, the isometry is simply a unitary operation.For a general discussion on the role of isometries in quantum information and computation, we refer to Refs.[57,58].Finally, for an illustrative visualization of the Euclidean, Taxicab, Bures, and Sjöqvist geometries that summarizes most of our discussion points, we refer to Fig.  3 (for example).Then, one can check that the area of the two-dimensional parametric region with parameters r and θ and specified by the conditions 0 ≤ R(⃗ a, ⃗ b) ≤ 1, i.e. the region where Bures fidelity is larger than the Sjöqvist fidelity, is greater than 50% of the total accessible two-dimensional parametric region with area given by π (i.e., the Lebesgue measure µ Lebesgue ([0, 1] r × [0, π] θ ) of the interval [0, 1] r ×[0, π] θ ).Therefore, this type of approximate reasoning can be viewed as a semi-quantitiative indication of the higher degree of distinguishability of mixed quantum states by means of the Bures metric.Clearly, a deeper comprehension of these facts would require an analysis extended to arbitrary initial parametric configurations along with a more rigorously defined version of R(⃗ a, ⃗ b).Nevertheless, we believe that interesting insights emerge from our approximate semi-quantitative discussion proposed here.Summing up, our investigation suggests that the higher sensitivity of the length of geodesic paths connecting a given pair of initial and final mixed states of a quantum system in the Bures case is caused by the lower density of accessible final states that are equidistant from a chosen initial source state.This lower density, in turn, can be attributed to the shorter length of geodesic paths in the Bures case.Finally, the shortness of these paths is a consequence of the manner in which the quantumness (or, alternatively, nonclassicality) of mixed quantum states is geometrically quantified with the Bures metric [28] (i.e., the above-mentioned way characterized by a minimization procedure in a larger space of unitary matrices [29]).We are now ready for our conclusions.

V. FINAL REMARKS
In this paper, building on our recent works in Refs.[2,28,29], we presented more comprehensive discussion on the differences between the Bures and the Sjöqvist metrics inside a Bloch sphere.First, inspired by the works by Caves and Braunstein in Refs.[47,48], we offered a formal comparative analysis between the two metrics by critically discussing three alternative interpretations for each metric.For the Bures metric, the three interpretations appear in Eqs. ( 4), (5), and (7).For the Sjöqvist metric, instead, the corresponding three interpretations emerge from Eqs. ( 10), (11), and (13), respectively.Second, we illustrated (Fig. 1) in an explicit fashion the different behaviors of the geodesic paths (Eqs.(26) and (40) for the Bures and Sjöqvist metrics cases, respectively) on each one of the two metric manifolds.Third, we compared (Fig. 2) the finite distances between an initial and final mixed state when calculated with the two metrics (Eqs.(34) and (41) for the Bures and Sjöqvist metrics cases, respectively).Thanks to Eqs. (34) and (41) for L Bures (⃗ a, ⃗ b) and L Sjöqvist (⃗ a, ⃗ b), respectively, we were able to provide some intriguing discussion points ( along with a visual aid coming from Fig. 3) concerning some similarities between classical (Euclidean, Taxicab) metrics in R 2 and quantum (Bures, Sjöqvist) metrics inside the Bloch sphere.In particular, we argued that the fact that the Sjöqvist metric yields longer finite distances, denser clouds of states that are equidistant from a fixed source state and, finally, an unnatural violation of distance-based relative ranking of pairs of points inside the Bloch sphere is at the origin of the higher degree of complexity of the Sjöqvist manifold compared with the Bures manifold as reported in Ref. [2].
In the usual three-dimensional physical space, we ordinarily state that the reason why it is difficult to distinguish two points is because they are close together.In classical and quantum geometry, one tends to invert this line of reasoning and claim that two points on a statistical manifold must be very close together because it is hard to differentiate them [59].In particular, within the geometry of mixed quantum states, increasing distance seems to correspond to more reliable distinguishability [26].From Figs. 3(c) and 3(d), we note that for a given accessible region I r × I θ def = [0, 1] × [0, π] the lower density of level curves in the Bures case is consistent with the observed softening of the complexity of motion on Bures manifolds compared with Sjöqvist manifolds [2].Indeed, considering points at the same distance from the source state as indistinguishable and viewing indistinguishability as an obstruction to the evolution to new distinguishable states to be traversed before arriving at a possible target state, a lower degree of the complexity of motion would correspond to an accessible region made up of a greater number of discernible states.Loosely speaking, Sjöqvist manifolds have some sort of "quantum labyrinth" structure greater than the one corresponding to Bures manifolds.Therefore, one can risk to encounter longer paths of indistinguishability and, thus, can necessitate to explore larger accessible regions before landing to the sought target state [2,[60][61][62].
In this paper, for simplicity and without loss of generality, we focused on the discussion of single-qubit geodesic curves connecting pairs of points in the xz-plane of the Bloch ball.However, to enhance the visual appeal of our study, it could be worthwhile exploring the possibility of visualizing the geodesic evolution of the three-dimensional (real) Bloch vectors in order to gain clearer insights into the behavior of mixed quantum states.We leave the consideration of this intriguing line of research to future scientific efforts.In this work, we also focused on geometric aspects of two specific metrics for mixed quantum states.For a general discussion on the relevant criteria an arbitrary quantum distance must satisfy in order to be both experimentally and theoretically meaningful, we refer to Refs.[63,64].In particular, for a discussion on how to experimentally determine the Bures and Sjöqvist distances by means of interferometric procedures, we refer to Refs.[65] and [27,40], respectively.Moreover, we emphasize that our work here does not consider the role of space-time geometry, as the quantum metrics we discuss are purely Riemannian.However, given some formal similarities between the quantum Bures and the classical closed Robertson-Walker spatial geometries (Appendix B), it would be interesting to begin from this formal link and elaborate on it so to help shedding some light on how to construct suitable versions of quantum space-time geometries that can incorporate relativistic physical effects within the framework of quantum physics [66][67][68][69][70].
In summary, despite its limitations, we hope our work will motivate other researchers and pave the way to additional investigations on the interplay between quantum mechanics, geometry, and topological arguments.From our standpoint, we have strong reasons to believe this work will undoubtedly constitute a solid starting point for an extension of our recent work in Ref. [71] on qubit geodesics on the Bloch sphere from optimal-speed Hamiltonian evolutions to qubit geodesics inside the Bloch sphere.For the time being, we leave a more in-depth quantitative discussion on these potential geometric extensions of our analytical findings, including generalizations to mixed state geometry and quantum evolutions in higher-dimensional Hilbert spaces, to forthcoming scientific investigations.

FIG. 3 :
FIG. 3: In (a), we illustrate the Euclidean geometry in terms of a contour plot that exhibits the spherical coordinates r v.s.θ with 0 ≤ r ≤ 1 and 0 ≤ θ ≤ π.The level curves are given by L Euclid (⃗ a, ⃗ b) = c, with c being a positive constant, ⃗ a def = (ra cos (θa),
new , ⃗ p 2,new ) with ⃗ p 1,new and ⃗ p 2,new belonging to the xz-plane.For further details, we refer to Appendix A.