Pith. sign in

REVIEW 3 major objections 4 minor 34 references

Quantum Geometric Tensor for Mixed States Based on the Covariant Derivative

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A covariant derivative on the purification bundle yields a gauge-invariant quantum geometric tensor for mixed states, whose real part is the Bures metric, whose imaginary part is the mean gauge curvature, and which reduces to the standard…

desk verdict The central tensor is the known SLD QGT, and the pure-state limit claim is path-dependent; the covariant-derivative derivation is clean but the paper overstates both novelty and reduction. read the letter →

arxiv 2506.00347 v1 pith:24DQSVLQ submitted 2025-05-31 quant-ph

Qianyi Wang , Ben Wang , Jun Wang , Lijian Zhang This is my paper · ORCID
classification quant-ph MSC 81Q7053C22 PACS 03.65.Vz03.67.-a
keywords quantumgeometrictensormixedstatescovariantderivativeBuresmetricpurificationbundlegaugecurvatureholonomygeodesic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proposes a definition of the quantum geometric tensor that works for mixed states, not just pure states. The new tensor is built from the covariant derivative on the purification bundle of a density matrix, and it is gauge-invariant by construction. Its real part coincides with the Bures metric, the natural distance measure between mixed states, and its imaginary part equals the mean gauge curvature, the analogue of Berry curvature. The tensor reduces exactly to the usual pure-state quantum geometric tensor when the mixed state approaches a pure state, giving a unified geometric description. This matters because mixed states are the realistic description of systems under decoherence or finite temperature, and a single geometric tensor for them could extend tools like Berry curvature and metric-based response theory beyond pure states.

What carries the argument

The central object is the purification bundle: the base manifold is the space of full-rank mixed states, the total space is the set of purifications $|\psi\rangle$ of those states, and the fibers are orbits of the unitary group $U(N)$ acting on the environment. The load-bearing construction is the connection $A_t$ defined on this bundle, written $A_t=-i\,\mathcal{L}_{\mathrm{Tr}_S|\psi\rangle\langle\psi|}\big(\mathrm{Tr}_S(|\partial_t\psi\rangle\langle\psi|-|\psi\rangle\langle\partial_t\psi|)\big)$, which fixes how horizontal vectors are chosen. The covariant derivative $D_\mu=\partial_\mu-iA_\mu$ then produces the gauge-invariant tensor $Q_{\nu\mu}=\langle D_\nu\psi|D_\mu\psi\rangle$; its real and imaginary parts are identified with the Bures metric and the mean gauge curvature. The phase-arbitrariness-free formula $Q_{\nu\mu}=\sum_{i,k}\frac{p_i}{(p_i+p_k)^2}\langle\xi_i|\partial_\nu\rho|\xi_k\rangle\langle\xi_k|\partial_\mu\rho|\xi_i\rangle$ is the practical workhorse that makes the tensor computable, and the geodesic equation $|D_tD_t\psi\rangle=-|\psi\rangle$ follows from varying the Bures length functional.

What would settle it

Set $\rho(\beta)=\mathrm{diag}(1-2\epsilon,\epsilon,\epsilon)$ with $\epsilon=e^{-\beta}/(1+2e^{-\beta})$, so that the two subdominant eigenvalues vanish at the same rate, and compute the Eq. (25) expression for a parameter that rotates the degenerate eigenstates. If the $\beta\to\infty$ limit of the MSQGT differs from $\langle\partial_\nu\xi_0|\partial_\mu\xi_0\rangle-\langle\partial_\nu\xi_0|\xi_0\rangle\langle\xi_0|\partial_\mu\xi_0\rangle$, the paper's pure-state reduction is not universal beyond strictly non-degenerate Gibbs families.

Watch

Extended reading notes

Core claim

The central claim is that the quantity $Q_{\nu\mu}=\langle D_\nu\psi|D_\mu\psi\rangle$, where $D_\mu=\partial_\mu-iA_\mu$ is the covariant derivative defined by the connection on the purification bundle, is a valid mixed-state quantum geometric tensor. The paper shows that the real part $g_{\nu\mu}$ is exactly the Bures metric, in a form matching the quantum Fisher information matrix, and that the imaginary part $\sigma_{\nu\mu}$ equals $\frac12\langle\psi|T_{\nu\mu}|\psi\rangle$, the mean gauge curvature of the bundle. A phase-arbitrariness-free expression is derived, $Q_{\nu\mu}=\sum_{i,k} \frac{p_i}{(p_i+p_k)^2}\langle\xi_i|\partial_\nu\rho|\xi_k\rangle\langle\xi_k|\partial_\mu\rho|\xi_i\rangle$, which is computable directly from the density matrix. The paper further derives the geodesic equation $|D_tD_t\psi\rangle=-|\psi\rangle$ for the Bures metric, displays qubit geodesics (diameters and ellipses in the Bloch sphere), and identifies the mean holonomy $\langle\tilde\psi(0)|\tilde\psi(T)\rangle$ as a gauge-invariant quantity whose phase is the Uhlmann phase.

Load-bearing premise

The paper assumes that the way a mixed state approaches a pure state does not matter—that all small eigenvalue ratios vanish fast enough—but it only proves the reduction along one special thermal family with non-degenerate energies.

Editorial extensions

If this is right

  • Mixed-state analogues of Berry curvature and metric-based response can be studied through a single gauge-invariant tensor whose real part is the Bures metric and whose imaginary part is the mean gauge curvature.
  • The phase-free expression $Q_{\nu\mu}=\sum_{i,k}\frac{p_i}{(p_i+p_k)^2}\langle\xi_i|\partial_\nu\rho|\xi_k\rangle\langle\xi_k|\partial_\mu\rho|\xi_i\rangle$ makes the MSQGT directly computable from density matrices without resolving eigenstate phase ambiguities.
  • The geodesic equation $|D_tD_t\psi\rangle=-|\psi\rangle$ gives a route to Bures-metric geodesics; for qubits the geodesics are diameters and ellipses in the Bloch sphere, recovering circular arcs only in the pure-state limit.
  • The mean holonomy $\langle\tilde\psi(0)|\tilde\psi(T)\rangle$ is a new gauge-invariant quantity for closed curves, with the Uhlmann phase as its phase, so mixed-state geometric phases acquire a bundle-theoretic meaning.
  • In the pure-state limit the MSQGT exactly reproduces the traditional quantum geometric tensor, so all pure-state results are recovered as a special case within one unified framework.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the reduction to the pure-state tensor is to be universal, it must survive arbitrary paths of eigenvalue vanishing; the paper only demonstrates the Gibbs thermal family, so a path-independence proof (or a counterexample with degenerate or rate-mismatched small eigenvalues) is the natural next step.
  • Because the imaginary part is the mean gauge curvature, integrating it over a closed parameter manifold could define a mixed-state Chern number; the paper does not compute such an integral, but the construction makes it well-defined for full-rank states.
  • The geodesic solutions show that Bures-metric geodesics in the Bloch ball are ellipses rather than great circles; comparing this with known curvature properties of the Bures metric could yield a purely geometric check of the framework.
  • The phase-arbitrariness-free formula opens the door to numerical MSQGT computations for realistic decohering systems; testing it on a driven dissipative qubit would show whether the mean gauge curvature reproduces known mixed-state response coefficients.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a mixed-state quantum geometric tensor (MSQGT) defined by Q_{\nu\mu} = \langle D_\nu\psi | D_\mu\psi\rangle on the purification bundle, where D is the covariant derivative associated with a connection fixed by the real inner product Re\langle\cdot|\cdot\rangle. The authors show that the real part of this tensor reproduces the Bures metric and that the imaginary part equals the mean gauge curvature, and they derive a phase-arbitrariness-free expression in Eq. (25). They further claim that the MSQGT reduces to the traditional pure-state QGT when the mixed state approaches a pure state, derive a geodesic equation for the Bures metric, and discuss holonomy and a gauge-invariant mean holonomy whose phase is the Uhlmann phase.

Significance. If the central claims held, the construction would offer a unified geometric framework for pure and mixed states, connecting the Bures metric, gauge curvature, and geodesic structure on the space of density matrices, with potential applications in quantum metrology and geometric phases. The paper's strengths are its parameter-free construction, the clean algebraic derivations in Appendices A through E, and the explicit qubit checks confirming the symmetry and purity-limit behavior. However, the unqualified pure-state reduction claim is false for generic families of states approaching a pure state, and some of the geodesic examples leave the full-rank base manifold; these issues affect central claims and require revision.

major comments (3)
  1. [Sec. IV, Eq. (26), Appendix F] The claim that Q_{\nu\mu} reduces to the pure-state QGT whenever a mixed state approaches a pure state is not established and is false without additional conditions. For the full-rank family \rho(\lambda)=(1-\lambda)|0\rangle\langle0|+(\lambda/2)(|1\rangle\langle1|+|2\rangle\langle2|), the diagonal terms i=k=1,2 in Eq. (25) contribute 1/(8\lambda) each, so Q_{\lambda\lambda}=1/4+1/(4\lambda). Reparametrizing by s=\sqrt{\lambda} gives Q_{ss}\to 1 as \lambda\to 0, while the limiting pure state |0\rangle is constant and its traditional QGT is 0. Appendix F proves the limit only for the thermal family p_i=e^{-\beta E_i}/Z, where the derivatives \partial p_i decay as \beta e^{-\beta E_i}; the derivation relies on that exponential structure. The abstract and Sec. IV should be qualified, for example by requiring \partial p_i/\sqrt{p_i}\to 0 for i\neq 0 along the approach, and the counterexample should be acknowledged.
  2. [Sec. III, Eq. (24)] The derivation of \sigma_{\nu\mu}=\frac12\langle\psi|T_{\nu\mu}|\psi\rangle is deferred to a supplementary file that is not present in the arXiv version. Since the identification of the imaginary part of the MSQGT with the mean gauge curvature is one of the two central geometric results of the paper, the proof should be included in an appendix or at least sketched in the main text before publication.
  3. [Sec. V, Eqs. (38) and (40)] The geodesic examples are not curves in the base manifold of full-rank mixed states. For Eq. (40), the Bloch vector of \rho'(t) is (\sin 2t, 0, r\cos 2t), which has unit length at t=\pi/4; the state is then pure, so the curve leaves the manifold over which the purification bundle and the geodesic equation were defined. The diameter example in Eq. (38) likewise reaches the pure-state boundary at t=(\pi-\varphi)/2. The claims about ellipses and diameters should be restricted to segments that remain inside the open Bloch ball, or the extension to the boundary should be justified explicitly.
minor comments (4)
  1. [Sec. VI] The quantity O_C introduced as a "new" gauge-invariant quantity is identified at the end of the section as having the Uhlmann phase; the word "new" is overstated and the connection to Uhlmann's earlier work should be acknowledged when the quantity is first introduced.
  2. [Figures 2 and 3] The axis labels and legends in Figures 2 and 3 appear garbled in the arXiv rendering (the text contains font-encoding artifacts), making the plots difficult to read; the figures should be regenerated with standard encoding.
  3. [Section II, Eq. (12)] The operator L_\sigma is defined with denominators q_i+q_k, which is well defined only for positive eigenvalues; the extension to the pure-state limit is handled by limits, but this should be stated explicitly where the formula is introduced.
  4. [Appendix F, Eq. (F2)] The limiting assumption E_1>0 and the allowance of degeneracies E_i=E_k are used in the estimates, but the text should state clearly that the proof covers only the thermal family and not arbitrary paths to the boundary.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the mixed-state quantum geometric tensor is defined from a covariant derivative and its properties are derived algebraically against known external benchmarks (Bures metric, pure-state QGT, Uhlmann phase).

full rationale

The central derivation chain is self-contained and not circular. The MSQGT is defined in Eq. (19) as Q_nu_mu = <D_nu psi|D_mu psi>, and Eqs. (20), (21), and (25) are obtained by direct algebraic manipulation using the Schmidt decomposition and spectral calculus; no fitted parameter is renamed as a prediction. The real-part identification with the Bures metric is an independent benchmark established by comparison with known formulas [24, 32], and the imaginary-part identification with the mean gauge curvature is an identity following from the definition of curvature in Eqs. (22)-(24), not an input assumption. The pure-state reduction claim in Section IV is demonstrated in Appendix F only for the thermal Gibbs family p_i = e^{-beta E_i}/Z, as explicitly stated just after Eq. (F1), while the main text states the reduction without that qualification; this is a rigor or correctness gap for other approach paths, not a circularity, because Eq. (26) is not used as an input in deriving Eq. (25). The gauge-invariant quantity in Section VI is explicitly identified with the known Uhlmann phase [35], so any novelty overlap is a labeling issue rather than a load-bearing self-citation. No external benchmark is produced by fitting, and no uniqueness theorem is imported from the authors' prior work. Accordingly, the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new physical entities and fits no free parameters. It relies on standard quantum information theorems, smoothness assumptions on density matrices, and standard bundle theory. The main non-trivial modeling choice is treating the space of full-rank mixed states as the base manifold of a purification bundle.

assumptions (5)
  • standard math HJW theorem: any two purifications of the same density matrix are related by a unitary acting on the environment.
    Used in Sec. II to characterize vertical curves via i H_E |psi>.
  • domain assumption The purification bundle is a principal U(N) fiber bundle over the space of full-rank mixed states, with projection by partial trace over the environment.
    This is the modeling framework of the paper (Sec. II, Fig. 1); it restricts the base manifold to full-rank states.
  • domain assumption Smoothness of the density matrix and of chosen eigenbases along parameter paths.
    Derivatives partial_mu rho, partial_mu xi_i, and the horizontal lift are assumed to exist; the pure-state limit uses the smooth Gibbs family of Eq. (F2).
  • standard math Existence and uniqueness of horizontal lifts of curves on the base manifold.
    Invoked in Secs. II and VI, with Spivak cited as Ref. [33].
  • standard math Variational calculus with fixed endpoints and real inner product linearity.
    Used in Appendix G to derive the geodesic equation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum Geometric Tensor for Mixed States Based on the Covariant Derivative." pith.science (2026). https://pith.science/paper/24DQSVLQ

@misc{pith2026250600347,
  author       = {Pith},
  title        = {Pith review of: Quantum Geometric Tensor for Mixed States Based on the Covariant Derivative},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/24DQSVLQ}},
  note         = {Machine review of arXiv:2506.00347}
}
read the original abstract

The quantum geometric tensor (QGT) is a fundamental quantity for characterizing the geometric properties of quantum states and plays an essential role in elucidating various physical phenomena. The traditional QGT, defined only for pure states, has limited applicability in realistic scenarios where mixed states are common. To address this limitation, we generalize the definition of the QGT to mixed states using the purification bundle and the covariant derivative. Notably, our proposed definition reduces to the traditional QGT when mixed states approach pure states. In our framework, the real and imaginary parts of this generalized QGT correspond to the Bures metric and the mean gauge curvature, respectively, endowing it with a broad range of potential applications. Additionally, using our proposed mixed-state QGT (MSQGT), we derive the geodesic equation applicable to mixed states. This work establishes a unified framework for the geometric analysis of both pure and mixed states, thereby deepening our understanding of the geometric properties of quantum states.

Figures

Figures reproduced from arXiv: 2506.00347 by the authors.

Figure 1
Figure 1. FIG. 1. Illustration of the purification bundle. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. Quantum geometric tensor for mixed qubit states with a fixed purity equal to 0.95. [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3. Comparison between the mixed-state quantum geo [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: FIG. 4. Illustration of the holonomy associated with the [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 21 canonical work pages

  1. [1]

    Fl¨ aschner N, Rem B S, Tarnowski M, Vogel D, L¨ uhmann D S, Sengstock K and Weitenberg C 2016Science 3521091–1094 URLhttps://www.science.org/doi/ abs/10.1126/science.aad4568

    doi:10.1126/science.aad4568

  2. [2]

    Phys.13545–550 ISSN 1745-2481 URLhttps://doi.org/10.1038/nphys4050

    Wimmer M 2017Nat. Phys.13545–550 ISSN 1745-2481 URLhttps://doi.org/10.1038/nphys4050

    work page doi:10.1038/nphys4050

  3. [3]

    Tan X, Zhang D W, Yang Z, Chu J, Zhu Y Q, Li D, Yang X, Song S, Han Z, Li Z, Dong Y, Yu H F, Yan H, Zhu S L and Yu Y 2019Phys. Rev. Lett. 122(21) 210401 URLhttps://link.aps.org/doi/10. 1103/PhysRevLett.122.210401

    work page

  4. [4]

    Gianfrate A 2020Nature578381–385 ISSN 1476-4687 URLhttps://doi.org/10.1038/s41586-020-1989-2

    doi:10.1038/s41586-020-1989-2 1989

  5. [5]

    Yu M, Yang P, Gong M, Cao Q, Lu Q, Liu H, Zhang S, Plenio M B, Jelezko F, Ozawa T, Goldman N and Cai J 2019Natl. Sci. Rev.7254–260 ISSN 2095-5138 URL 8 https://doi.org/10.1093/nsr/nwz193

    work page doi:10.1093/nsr/nwz193

  6. [6]

    Phys.21110–117 ISSN 1745-2481 URLhttps://doi.org/10.1038/s41567-024-02678-8

    Kang M 2025Nat. Phys.21110–117 ISSN 1745-2481 URLhttps://doi.org/10.1038/s41567-024-02678-8

    doi:10.1038/s41567-024-02678-8

  7. [7]

    Bengtsson I and ˙Zyczkowski K 2017Geometry of quan- tum states: an introduction to quantum entanglement (Cambridge university press)

    work page

  8. [8]

    Nakahara M 2018Geometry, topology and physics(CRC press)

    work page

Show all 34 references
  1. [9]

    Cheng R 2013 Quantum geometric tensor (fubini-study metric) in simple quantum system: A pedagogical intro- duction (Preprint1012.1337) URLhttps://arxiv.org/ abs/1012.1337

    2013 arXiv

  2. [10]

    Rep.6971–87 ISSN 0370-1573 geometry and non-adiabatic response in quantum and classical sys- tems URLhttps://www.sciencedirect.com/science/ article/pii/S0370157317301989

    Kolodrubetz M, Sels D, Mehta P and Polkovnikov A 2017Phys. Rep.6971–87 ISSN 0370-1573 geometry and non-adiabatic response in quantum and classical sys- tems URLhttps://www.sciencedirect.com/science/ article/pii/S0370157317301989

  3. [11]

    Peotta S and T¨ orm¨ a P 2015Nature Communications6 8944 ISSN 2041-1723 URLhttps://doi.org/10.1038/ ncomms9944

  4. [12]

    Julku A, Peotta S, Vanhala T I, Kim D H and T¨ orm¨ a P 2016Phys. Rev. Lett.117(4) 045303 URLhttps:// link.aps.org/doi/10.1103/PhysRevLett.117.045303

    doi

  5. [13]

    Gao Y, Yang S A and Niu Q 2014Phys. Rev. Lett. 112(16) 166601 URLhttps://link.aps.org/doi/10. 1103/PhysRevLett.112.166601

  6. [14]

    Pi´ echon F, Raoux A, Fuchs J N and Montambaux G 2016Phys. Rev. B94(13) 134423 URLhttps://link. aps.org/doi/10.1103/PhysRevB.94.134423

    doi

  7. [15]

    Srivastava A and Imamo˘ glu A m c 2015Phys. Rev. Lett. 115(16) 166802 URLhttps://link.aps.org/doi/10. 1103/PhysRevLett.115.166802

  8. [16]

    Zanardi P, Giorda P and Cozzini M 2007Phys. Rev. Lett.99(10) 100603 URLhttps://link.aps.org/doi/ 10.1103/PhysRevLett.99.100603

    doi

  9. [17]

    Wei M, Wang L, Wang B, Xiang L, Xu F, Wang B and Wang J 2023Phys. Rev. Lett.130(3) 036202 URL https://link.aps.org/doi/10.1103/PhysRevLett. 130.036202

    doi

  10. [18]

    Ahn J, Guo G Y and Nagaosa N 2020Phys. Rev. X10(4) 041041 URLhttps://link.aps.org/doi/10. 1103/PhysRevX.10.041041

  11. [19]

    Roy R 2014Phys. Rev. B90(16) 165139 URLhttps: //link.aps.org/doi/10.1103/PhysRevB.90.165139

    doi

  12. [20]

    Bauer D, Talkington S, Harper F, Andrews B and Roy R 2022Phys. Rev. B105(4) 045144 URLhttps://link. aps.org/doi/10.1103/PhysRevB.105.045144

    doi

  13. [22]

    1007/BF00420373

    Uhlmann A 1991Letters in Mathematical Physics21 229–236 ISSN 1573-0530 URLhttps://doi.org/10. 1007/BF00420373

  14. [23]

    Hou X Y, Zhou Z, Wang X, Guo H and Chien C C 2024 Phys. Rev. B110(3) 035144 URLhttps://link.aps. org/doi/10.1103/PhysRevB.110.035144

    2024 doi

  15. [24]

    Liu J, Yuan H, Lu X M and Wang X 2019J. Phys. A: Math. Theor.53023001 URLhttps://dx.doi.org/10. 1088/1751-8121/ab5d4d

  16. [25]

    Jozsa R 1994J. Mod. Opt.412315–2323 URLhttps: //doi.org/10.1080/09500349414552171

    doi

  17. [26]

    Nielsen M A and Chuang I L 2010Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion(Cambridge University Press)

  18. [27]

    Uhlmann A 1976Rep. Math. Phys.9273–279 ISSN 0034- 4877 URLhttps://www.sciencedirect.com/science/ article/pii/0034487776900604

  19. [28]

    Sj¨ oqvist E 2020Phys. Rev. Res.2(1) 013344 URLhttps: //link.aps.org/doi/10.1103/PhysRevResearch.2. 013344

    doi

  20. [29]

    Zhou Z, Hou X Y, Wang X, Tang J C, Guo H and Chien C C 2024Phys. Rev. B110(3) 035404 URLhttps:// link.aps.org/doi/10.1103/PhysRevB.110.035404

    doi

  21. [30]

    Wang X, Hou X Y, Tang J C and Guo H 2024 Math- ematical foundation of the u n(1) quantum geometric tensor (Preprint2410.11664) URLhttps://arxiv.org/ abs/2410.11664

    2024 arXiv

  22. [31]

    Preskill J 1998California institute of technology161–8

  23. [32]

    Liu J, Xiong H N, Song F and Wang X 2014Phys- ica A: Stat. Mech. its Appl.410167–173 ISSN 0378- 4371 URLhttps://www.sciencedirect.com/science/ article/pii/S0378437114003926

  24. [33]

    Spivak M 1979Inc., Berkeley2

  25. [34]

    Aharonov Y and Anandan J 1987Phys. Rev. Lett.58(16) 1593–1596 URLhttps://link.aps.org/doi/10.1103/ PhysRevLett.58.1593

  26. [35]

    Wang X, Hou X Y, Zhou Z, Guo H and Chien C C 2023 SciPost Phys. Core6024 URLhttps://scipost.org/ 10.21468/SciPostPhysCore.6.1.024 Appendix A: Proof of Equivalence of the Two Expressions for the Connection In this Appendix, we provide the proof demonstrating the equivalence bet...

    2023 doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.