General method for obtaining the energy minimum of spin Hamiltonians for separable states
Pith reviewed 2026-05-08 19:22 UTC · model grok-4.3
The pith
The energy minimum of ferromagnetic Ising models over separable states is given by a compact analytic formula involving the quantum Fisher information.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors develop a general method for obtaining the energy minimum of spin Hamiltonians over separable states with fixed single-particle reduced density matrices. For ferromagnetic Ising and Ising-like models this minimum is given by a compact analytic formula involving the quantum Fisher information, and for the ferromagnetic Heisenberg chain it is expressed via the Uhlmann-Jozsa fidelity, allowing extraction of these quantities from correlation measurements.
What carries the argument
The general minimization procedure over separable states with fixed single-particle reduced density matrices, which yields analytic expressions in the quantum Fisher information for Ising models and the Uhlmann-Jozsa fidelity for the Heisenberg chain.
Load-bearing premise
The single-particle reduced density matrices are fixed and the search is restricted to separable states, with the closed formulas derived specifically for ferromagnetic models.
What would settle it
For a small ferromagnetic Ising model, compute the true minimum energy over all separable states with the given single-particle densities and check whether it equals the predicted analytic expression involving the quantum Fisher information.
Figures
read the original abstract
We present a general method to determine the energy minimum of spin Hamiltonians over separable states when the single-particle reduced density matrices are fixed. For ferromagnetic Ising and Ising-like models with nearest-neighbor interactions on lattices of any dimension and on a fully connected graph in an external field, this minimum is given by a compact analytic formula involving the quantum Fisher information. For the ferromagnetic Heisenberg chain of spin-1/2 particles, the minimum is expressed via the Uhlmann-Jozsa fidelity. These relations enable the direct extraction of both the quantum Fisher information and the fidelity from correlation measurements on the ground states of suitably engineered spin models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a general method to compute the minimum energy of spin Hamiltonians over separable states subject to fixed single-particle reduced density matrices. For ferromagnetic Ising and Ising-like nearest-neighbor models on lattices of arbitrary dimension and on fully connected graphs in an external field, the minimum is claimed to equal a compact analytic expression involving the quantum Fisher information. For the ferromagnetic Heisenberg chain of spin-1/2 particles the minimum is expressed via the Uhlmann-Jozsa fidelity. These relations are said to permit direct extraction of the QFI and fidelity from correlation measurements performed on ground states of suitably engineered spin models.
Significance. If the claimed analytic formulas are proven to be globally optimal, the work would establish a direct link between variational energy minimization under marginal constraints and standard quantum-information quantities, enabling experimental access to the QFI through simple two-point correlation measurements. The generality of the method for arbitrary spin Hamiltonians with fixed marginals and the closed-form results for physically relevant ferromagnetic models constitute the primary strengths.
major comments (2)
- [§3] §3 (Ising-model derivation): the assertion that the proposed QFI-based expression yields the global minimum over all separable states with given single-particle RDMs is not accompanied by a rigorous proof that the underlying ansatz (a low-point mixture of product states) saturates the maximum of nearest-neighbor zz-correlations under arbitrary Bloch-vector constraints. For marginals possessing nonzero transverse components or for lattices with coordination number greater than two, configurations achieving strictly higher correlation appear possible; an explicit optimality argument or exhaustive comparison is required.
- [§2] §2 (general method): the procedure for arbitrary Hamiltonians is outlined only at a high level; it is unclear whether the method reduces to a convex optimization that can be solved efficiently or whether it relies on additional assumptions (e.g., translation invariance or uniformity of marginals) that are not stated as limitations.
minor comments (2)
- [Abstract] The abstract refers to “Ising-like models” without a precise definition; a short paragraph in the introduction specifying the exact Hamiltonian class would improve readability.
- [Notation] Notation for the single-particle Bloch vectors and the quantum Fisher information should be introduced once and used consistently; occasional redefinition of symbols in later sections is distracting.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for providing constructive feedback. We address each of the major comments below.
read point-by-point responses
-
Referee: [§3] §3 (Ising-model derivation): the assertion that the proposed QFI-based expression yields the global minimum over all separable states with given single-particle RDMs is not accompanied by a rigorous proof that the underlying ansatz (a low-point mixture of product states) saturates the maximum of nearest-neighbor zz-correlations under arbitrary Bloch-vector constraints. For marginals possessing nonzero transverse components or for lattices with coordination number greater than two, configurations achieving strictly higher correlation appear possible; an explicit optimality argument or exhaustive comparison is required.
Authors: We agree that a rigorous proof of the global optimality of the proposed ansatz is essential. In the revised manuscript, we will add a dedicated subsection in §3 providing an explicit optimality argument. Specifically, we will show that the low-point mixture of product states maximizes the zz-correlations by leveraging the convexity of the separable set and the ferromagnetic nature of the interaction, which favors alignment along the z-direction. For marginals with nonzero transverse components, we will demonstrate that any transverse magnetization can be rotated away without increasing the energy for the Ising Hamiltonian, thus the minimum is still achieved by the ansatz. For lattices with higher coordination numbers, we will include an exhaustive comparison for small systems (e.g., 3x3 lattices) showing that no separable state yields higher correlations than the bound, and argue that the QFI expression provides the tight upper bound on correlations via the known relation between QFI and variance. This will strengthen the claim that the expression gives the global minimum. revision: yes
-
Referee: [§2] §2 (general method): the procedure for arbitrary Hamiltonians is outlined only at a high level; it is unclear whether the method reduces to a convex optimization that can be solved efficiently or whether it relies on additional assumptions (e.g., translation invariance or uniformity of marginals) that are not stated as limitations.
Authors: We acknowledge that §2 provides only a high-level outline of the general method. In the revision, we will expand this section to explicitly formulate the problem as a convex optimization over the set of separable states with fixed single-particle reduced density matrices. This can be cast as a semidefinite program for small numbers of spins or solved via numerical methods such as projected gradient descent for larger systems. We will clearly state the assumptions: the analytic closed-form expressions for Ising and Heisenberg models assume translation invariance and uniform marginals across sites, while the general method applies to arbitrary fixed marginals without these assumptions. We will also discuss the computational complexity and provide pseudocode for the procedure to make it reproducible. revision: yes
Circularity Check
No load-bearing circularity; formulas derived from optimization over separable states
full rationale
The paper claims a general method for minimizing spin Hamiltonians over separable states with fixed single-particle RDMs, yielding analytic expressions involving QFI for ferromagnetic Ising models. No quoted step reduces the claimed minimum to a fitted parameter or self-citation by construction. The relations are presented as consequences of the optimization, enabling extraction of QFI from correlations rather than presupposing them. This is consistent with an independent derivation; the skeptic concern about global optimality is a correctness issue, not a circularity reduction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Quantum mechanics applies to spin systems with Hamiltonians and reduced density matrices
Lean theorems connected to this paper
-
IndisputableMonolith.Cost.FunctionalEquationwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
max over Sep₂(ρ) of ⟨h⊗h⟩_{ρ_AB} = ⟨h²⟩_ρ − (1/4) F_Q[ρ, h]
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
J. J. Meyer, Fisher Information in Noisy Intermediate- Scale Quantum Applications, Quantum5, 539 (2021)
work page 2021
-
[2]
Helstrom,Quantum Detection and Estimation Theory (Academic Press, New York, 1976)
C. Helstrom,Quantum Detection and Estimation Theory (Academic Press, New York, 1976)
work page 1976
-
[3]
Holevo,Probabilistic and Statistical Aspects of Quan- tum Theory(North-Holland, Amsterdam, 1982)
A. Holevo,Probabilistic and Statistical Aspects of Quan- tum Theory(North-Holland, Amsterdam, 1982)
work page 1982
-
[4]
S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994)
work page 1994
-
[5]
S. L. Braunstein, C. M. Caves, and G. J. Milburn, Gen- eralized uncertainty relations: Theory, examples, and Lorentz invariance, Ann. Phys.247, 135 (1996)
work page 1996
-
[6]
Petz,Quantum information theory and quantum statistics(Springer, Berlin, Heilderberg, 2008)
D. Petz,Quantum information theory and quantum statistics(Springer, Berlin, Heilderberg, 2008)
work page 2008
-
[7]
V. Giovannetti, S. Lloyd, and L. Maccone, Quantum- enhanced measurements: Beating the standard quantum 6 limit, Science306, 1330 (2004)
work page 2004
-
[8]
Quantum limits in optical interferometry
R. Demkowicz-Dobrzanski, M. Jarzyna, and J. Kolodyn- ski, Chapter four - Quantum limits in optical interferom- etry, Prog. Optics60, 345 (2015), arXiv:1405.7703
work page Pith review arXiv 2015
-
[9]
Quantum theory of phase estimation
L. Pezze and A. Smerzi, Quantum theory of phase es- timation, inAtom Interferometry (Proc. Int. School of Physics ’Enrico Fermi’, Course 188, Varenna), edited by G. Tino and M. Kasevich (IOS Press, Amsterdam, 2014) pp. 691–741, arXiv:1411.5164
work page Pith review arXiv 2014
-
[10]
G. Tóth and I. Apellaniz, Quantum metrology from a quantum information science perspective, J. Phys. A: Math. Theor.47, 424006 (2014)
work page 2014
- [11]
-
[12]
M. G. A. Paris, Quantum estimation for quantum tech- nology, Int. J. Quant. Inf.07, 125 (2009)
work page 2009
-
[13]
Barbieri, Optical quantum metrology, PRX Quantum 3, 010202 (2022)
M. Barbieri, Optical quantum metrology, PRX Quantum 3, 010202 (2022)
work page 2022
- [14]
-
[15]
I. Apellaniz, M. Kleinmann, O. Gühne, and G. Tóth, Optimal witnessing of the quantum Fisher information with few measurements, Phys. Rev. A95, 032330 (2017)
work page 2017
-
[16]
G. Müller-Rigat, A. K. Srivastava, S. Kurdziałek, G. Rajchel-Mieldzioć, M. Lewenstein, and I. Frérot, Cer- tifying the quantum Fisher information from a given set of mean values: a semidefinite programming approach, Quantum7, 1152 (2023)
work page 2023
- [17]
-
[18]
A. Rath, C. Branciard, A. Minguzzi, and B. Vermersch, Quantum Fisher information from randomized measure- ments, Phys. Rev. Lett.127, 260501 (2021)
work page 2021
-
[19]
C.M.Caves, C.A.Fuchs,andR.Schack,Unknownquan- tum states: The quantum de Finetti representation, J. Math. Phys.43, 4537 (2002)
work page 2002
-
[20]
M. Christandl, R. König, G. Mitchison, and R. Renner, One-and-a-Half Quantum de Finetti Theorems, Com- mun. Math. Phys.273, 473 (2007)
work page 2007
-
[21]
L. B. Vieira, S. Milz, G. Vitagliano, and C. Budroni, Wit- nessing environment dimension through temporal corre- lations, Quantum8, 1224 (2024)
work page 2024
-
[22]
Tóth, Entanglement witnesses in spin models, Phys
G. Tóth, Entanglement witnesses in spin models, Phys. Rev. A71, 010301(R) (2005)
work page 2005
-
[23]
G. Tóth and O. Gühne, Detection of multipartite entan- glement with two-body correlations, Appl. Phys. B82, 237 (2006)
work page 2006
-
[24]
O. Gühne and G. Tóth, Energy and multipartite entan- glement in multidimensional and frustrated spin models, Phys. Rev. A73, 052319 (2006)
work page 2006
- [25]
-
[26]
C. Brukner and V. Vedral, Macroscopic Thermodynami- cal Witnesses of Quantum Entanglement, arXiv: quant- ph/0406040 (2004)
-
[27]
M. R. Dowling, A. C. Doherty, and S. D. Bartlett, En- ergy as an entanglement witness for quantum many-body systems, Phys. Rev. A70, 062113 (2004)
work page 2004
-
[28]
L.-A. Wu, S. Bandyopadhyay, M. S. Sarandy, and D. A. Lidar, Entanglement observables and witnesses for inter- acting quantum spin systems, Phys. Rev. A72, 032309 (2005)
work page 2005
-
[29]
F. Iglói and G. Tóth, Entanglement witnesses in thexy chain: Thermal equilibrium and postquench nonequilib- rium states, Phys. Rev. Res.5, 013158 (2023)
work page 2023
-
[30]
J. Wang, J. Surace, I. Frérot, B. Legat, M.-O. Renou, V. Magron, and A. Acín, Certifying ground-state prop- erties of many-body systems, Phys. Rev. X14, 031006 (2024)
work page 2024
- [31]
- [32]
-
[33]
A. A. Klyachko, Quantum marginal problem and n- representability, J. Phys.: Conference Series36, 72 (2006)
work page 2006
-
[34]
M. Navascués, F. Baccari, and A. Acín, Entanglement marginal problems, Quantum5, 589 (2021)
work page 2021
-
[35]
C. L. Benavides-Riveros, J. Wolff, M. A. L. Marques, and C. Schilling, Reduced density matrix functional theory for bosons, Phys. Rev. Lett.124, 180603 (2020)
work page 2020
-
[36]
K. Życzkowski and W. Slomczynski, The Monge distance betweenquantumstates,J.Phys.A:Math.Gen.31,9095 (1998)
work page 1998
-
[37]
K. Życzkowski and W. Slomczynski, The Monge metric on the sphere and geometry of quantum states, J. Phys. A: Math. Gen.34, 6689 (2001)
work page 2001
-
[38]
I. Bengtsson and K. Życzkowski,Geometry of Quan- tum States: An Introduction to Quantum Entanglement (Cambridge University Press, 2006)
work page 2006
-
[39]
E. Carlen and J. Maas, An Analog of the 2-Wasserstein Metric in Non-Commutative Probability Under Which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy, Commun. Math. Phys.331, 887 (2014)
work page 2014
- [40]
-
[41]
F. Golse and T. Paul, The Schrödinger equation in the mean-field and semiclassical regime, Arch. Ration. Mech. Anal.223, 57 (2017)
work page 2017
-
[42]
F. Golse and T. Paul, Wave packets and the quadratic Monge-Kantorovich distance in quantum mechanics, Comptes Rendus Math.356, 177 (2018)
work page 2018
-
[43]
F. Golse, The quantumN-body problem in the mean- fieldandsemiclassicalregime,Phil.Trans.R.Soc.A376, 20170229 (2018)
work page 2018
-
[44]
G. De Palma and D. Trevisan, Quantum optimal trans- port with quantum channels, Ann. Henri Poincaré22, 3199 (2021)
work page 2021
-
[45]
G. De Palma, M. Marvian, D. Trevisan, and S. Lloyd, The quantum Wasserstein distance of order 1, IEEE Trans. Inf. Theory67, 6627 (2021)
work page 2021
-
[46]
S. Friedland, M. Eckstein, S. Cole, and K. Życzkowski, Quantum Monge–Kantorovich problem and transport distance between density matrices, Phys. Rev. Lett.129, 110402 (2022)
work page 2022
-
[47]
E. Caglioti, F. Golse, and T. Paul, Quantum optimal transport is cheaper, J. Stat. Phys.181, 149 (2020)
work page 2020
-
[48]
T owards optimal transport for quantum densities, 2021
E. Caglioti, F. Golse, and T. Paul, Towards opti- mal transport for quantum densities, arXiv:2101.03256 (2021). 7
-
[49]
G.P.Gehér, J.Pitrik, T.Titkos,andD.Virosztek,Quan- tum Wasserstein isometries on the qubit state space, J. Math. Anal. Appl.522, 126955 (2023)
work page 2023
-
[50]
L. Li, K. Bu, D. Enshan Koh, A. Jaffe, and S. Lloyd, Wasserstein complexity of quantum circuits, J. Phys. A: Math. Theor.58, 265302 (2025)
work page 2025
-
[51]
G. Tóth and J. Pitrik, Quantum Wasserstein distance based on an optimization over separable states, Quantum 7, 1143 (2023)
work page 2023
-
[52]
Quantum Wasserstein distance and its relation to several types of fidelities
G. Tóth and J. Pitrik, Quantum Wasserstein dis- tance and its relation to several types of fidelities, arXiv:2506.14523 (2025)
work page internal anchor Pith review arXiv 2025
-
[53]
G. Tóth and J. Pitrik, Relations between different defi- nitions of the quantum Wasserstein distance for qubits, in preparation (2026)
work page 2026
-
[54]
R. F. Werner, Quantum states with Einstein-Podolsky- Rosen correlations admitting a hidden-variable model, Phys. Rev. A40, 4277 (1989)
work page 1989
-
[55]
See Supplemental Material for a detailed proof of Theo- rems 2 and 5, for the derivation of the bounds in Tables I and II, and also for additional derivations
-
[56]
G. Tóth, C. Knapp, O. Gühne, and H. J. Briegel, Spin squeezing and entanglement, Phys. Rev. A79, 042334 (2009)
work page 2009
-
[57]
J. K. Korbicz, J. I. Cirac, and M. Lewenstein, Spin squeezing inequalities and entanglement ofNqubit states, Phys. Rev. Lett.95, 120502 (2005)
work page 2005
-
[58]
L. Vandenberghe and S. Boyd, Semidefinite program- ming, SIAM Review38, 49 (1996)
work page 1996
-
[59]
P. Horodecki, Separability criterion and inseparable mixed states with positive partial transposition, Phys. Lett. A232, 333 (1997)
work page 1997
-
[60]
Peres, Separability criterion for density matrices, Phys
A. Peres, Separability criterion for density matrices, Phys. Rev. Lett.77, 1413 (1996)
work page 1996
-
[61]
A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Dis- tinguishing separable and entangled states, Phys. Rev. Lett.88, 187904 (2002)
work page 2002
-
[62]
A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Com- plete family of separability criteria, Phys. Rev. A69, 022308 (2004)
work page 2004
-
[63]
A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Detecting multipartite entanglement, Phys. Rev. A71, 032333 (2005)
work page 2005
-
[64]
E. P. Wigner and M. M. Yanase, Information contents of distributions, Proc. Natl. Acad. Sci. U.S.A.49, 910 (1963)
work page 1963
-
[65]
A. Uhlmann, The "transition probability" in the state space of a *-algebra, Rep. Math. Phys.9, 273 (1976)
work page 1976
- [66]
-
[67]
A. Sørensen, L.-M. Duan, J. Cirac, and P. Zoller, Many- particle entanglement with bose–einstein condensates, Nature (London)409, 63 (2001)
work page 2001
-
[68]
G.Tóth, C.Knapp, O.Gühne,andH.J.Briegel,Optimal spin squeezing inequalities detect bound entanglement in spin models, Phys. Rev. Lett.99, 250405 (2007)
work page 2007
-
[69]
G. Vitagliano, P. Hyllus, I. L. Egusquiza, and G. Tóth, Spin squeezing inequalities for arbitrary spin, Phys. Rev. Lett.107, 240502 (2011)
work page 2011
-
[70]
G. Vitagliano, I. Apellaniz, I. L. Egusquiza, and G. Tóth, Spin squeezing and entanglement for an arbitrary spin, Phys. Rev. A89, 032307 (2014)
work page 2014
-
[71]
G. Vitagliano, O. Gühne, and G. Tóth,su(d)- squeezing and many-body entanglement geometry in finite-dimensional systems, Quantum9, 1844 (2025)
work page 2025
-
[72]
G. Tóth and D. Petz, Extremal properties of the variance and the quantum fisher information, Phys. Rev. A87, 032324 (2013)
work page 2013
-
[73]
Quantum Fisher Information as the Convex Roof of Variance
S. Yu, Quantum Fisher Information as the Convex Roof of Variance, arXiv:1302.5311 (2013)
work page Pith review arXiv 2013
-
[74]
G. Tóth, T. Moroder, and O. Gühne, Evaluating con- vex roof entanglement measures, Phys. Rev. Lett.114, 160501 (2015)
work page 2015
-
[75]
G. Tóth and F. Fröwis, Uncertainty relations with the variance and the quantum Fisher information based on convex decompositions of density matrices, Phys. Rev. Research4, 013075 (2022)
work page 2022
-
[76]
S.-H. Chiew and M. Gessner, Improving sum uncertainty relations with the quantum Fisher information, Phys. Rev. Research4, 013076 (2022)
work page 2022
-
[77]
Marvian, Operational interpretation of quantum fisher information in quantum thermodynamics, Phys
I. Marvian, Operational interpretation of quantum fisher information in quantum thermodynamics, Phys. Rev. Lett.129, 190502 (2022)
work page 2022
-
[78]
V. Coffman, J. Kundu, and W. K. Wootters, Distributed entanglement, Phys. Rev. A61, 052306 (2000)
work page 2000
-
[79]
T. J. Osborne and F. Verstraete, General monogamy inequality for bipartite qubit entanglement, Phys. Rev. Lett.96, 220503 (2006)
work page 2006
-
[80]
Pfeuty, The one-dimensional Ising model with a trans- verse field, Ann
P. Pfeuty, The one-dimensional Ising model with a trans- verse field, Ann. Phys.57, 79 (1970)
work page 1970
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.