General method for obtaining the energy minimum of spin Hamiltonians for separable states

This paper presents a general method to analytically determine the energy minimum of spin Hamiltonians over separable states with fixed single-particle reduced density matrices, revealing that for specific ferromagnetic models this minimum relates directly to quantum Fisher information or Uhlmann-Jozsa fidelity, thereby enabling the extraction of these quantum metrics from ground-state correlation measurements.

The Gist

Imagine you are trying to find the lowest point in a vast, foggy mountain range. In the world of quantum physics, this "lowest point" is called the ground state energy. It's the most stable, relaxed state a system of tiny particles (spins) can be in. Usually, figuring out exactly where this lowest point is requires solving incredibly complex math problems that are nearly impossible for computers to crack when there are many particles involved.

This paper presents a clever new "map" to find that lowest point, but with a specific twist: it only looks at a certain type of terrain called separable states.

Here is the breakdown of what the authors did, using everyday analogies:

1. The "Separable" vs. "Entangled" Crowd

Think of a group of dancers.

• Entangled states are like a group of dancers holding hands in a complex, synchronized routine. If one moves, everyone else moves instantly in a way that is impossible to predict just by looking at one person. They are a single, unified unit.
• Separable states are like a crowd of people dancing in a room, but everyone is dancing alone. They might all be doing the same move, but they aren't holding hands. If you look at one person, you know everything about their dance, and it doesn't depend on the others.

The paper asks: "If we know exactly how each individual dancer is moving (their 'single-particle' state), what is the lowest possible energy the whole group can have if they are not holding hands (separable)?"

2. The Magic Formula: Turning Energy into a "Ruler"

The authors discovered a surprising shortcut. They found that for certain types of magnetic systems (like the famous Ising model), the answer to this question isn't just a messy number. It is a clean, simple formula involving a quantity called Quantum Fisher Information.

• The Analogy: Imagine you want to know how "sharp" a ruler is. Usually, you have to measure it with a microscope. But the authors found that for these specific quantum systems, the "sharpness" of the ruler (Quantum Fisher Information) is directly written into the energy cost of the system.
• The Result: They proved that the minimum energy for these "solo dancers" (separable states) is exactly equal to a formula containing this "sharpness" metric.

3. Why This is a Big Deal (The "Reverse Engineering" Trick)

Usually, scientists use Quantum Fisher Information to measure how well they can estimate a parameter (like a magnetic field). It's a theoretical tool used for precision.

This paper flips the script. It says: "Because the energy of the system depends on this 'sharpness' metric, if we can measure the energy and the correlations between particles, we can work backward to find the 'sharpness' (Quantum Fisher Information) without ever needing to know the full, complex quantum state."

It's like being able to figure out the exact weight of a hidden object just by seeing how much a spring bends, without ever needing to weigh the object directly.

4. The "Fidelity" Connection

The paper also looks at a different type of magnetic system (Heisenberg chain). Here, the "lowest energy" formula involves a different concept called Fidelity.

• The Analogy: Think of Fidelity as a "similarity score" between two photos. The authors found that for these systems, the energy minimum is directly linked to how similar the "photos" (quantum states) of individual particles are to each other.

5. The "Two-Color" Lattice

The authors show that this method works perfectly on specific shapes of grids (like a checkerboard or a honeycomb) where the particles can be divided into two groups (like black and white squares) that only interact with the opposite color.

• The Analogy: Imagine a checkerboard where Black squares only talk to White squares. The authors proved that on these specific boards, the "solo dancer" energy limit is not just an approximation; it is the exact mathematical truth.

Summary of the Claims

• The Problem: Finding the lowest energy for quantum systems is hard.
• The Solution: If you restrict the system to "separable" states (no complex quantum linking) and you know the state of each individual particle, you can calculate the minimum energy using a simple formula.
• The Discovery: This formula contains Quantum Fisher Information (for Ising models) or Fidelity (for Heisenberg models).
• The Application: This allows scientists to measure these abstract quantum quantities (Fisher Information and Fidelity) simply by measuring the energy and correlations in a physical system.

In short, the paper provides a universal "decoder ring" that translates the complex language of quantum energy into the simpler language of quantum "sharpness" and "similarity," but only for systems where the particles aren't deeply entangled with one another.

Technical Summary

Technical Summary: General Method for Obtaining the Energy Minimum of Spin Hamiltonians for Separable States

Problem Statement
The paper addresses the long-standing problem of determining the energy minimum of spin Hamiltonians over the set of separable states when the single-particle reduced density matrices (marginals) are fixed. While finding the ground state energy of a quantum many-body system is a central challenge, establishing rigorous bounds for separable states is crucial for detecting entanglement and understanding the limits of classical correlations. Previous work has often focused on finding the global energy minimum without constraints on reduced states or has relied on numerical methods that lack closed-form analytic solutions for high-dimensional spins. The specific challenge tackled here is to find the minimum energy of a system subject to the constraint that the single-particle marginals are known and fixed, specifically for separable (non-entangled) states.

Methodology
The authors develop a general analytical framework that relates the energy minimization of separable states to fundamental quantities in quantum information theory, specifically the Quantum Fisher Information (QFI) and the Uhlmann–Jozsa fidelity.

1. Hamiltonian Formulation: The study considers a general class of spin Hamiltonians with nearest-neighbor interactions on lattices of arbitrary dimension and on fully connected graphs, subject to an external field. The Hamiltonian is decomposed into two-body terms.
2. Decomposition of the Minimization Problem: The authors prove that the minimum energy over $N$-particle separable states with fixed marginals can be bounded from below by $N_p$ times the minimum energy of a two-body separable state with the same marginals, where $N_p$ is the number of interacting pairs.
3. Saturation Conditions: The paper identifies specific lattice geometries (e.g., two-colorable graphs like bipartite lattices and spin chains with periodic boundary conditions) and interaction types (ferromagnetic) where this lower bound is saturated. In these cases, the global minimum energy over separable states is exactly determined by the optimal two-body correlation.
4. Analytic Derivations:
   • For ferromagnetic Ising and Ising-like models, the maximum two-body correlation over separable states is derived as an analytic formula involving the Quantum Fisher Information ($F_Q$) and the variance of the local operators.
   • For ferromagnetic Heisenberg chains of spin-1/2 particles, the minimum energy is expressed via the Uhlmann–Jozsa fidelity between the single-particle reduced states.
   • For systems on fully connected graphs, the authors utilize the de Finetti theorem, which implies that the reduced states of symmetric ground states are nearly separable in the large-$N$ limit. This allows the ground state energy to be approximated by the separable energy minimum, enabling the extraction of QFI from correlation measurements.

Key Contributions and Results

• Analytic Energy Bounds: The paper provides explicit, closed-form analytic formulas for the minimum energy of separable states with fixed marginals. These formulas hold for spins of arbitrary local dimension, not just qubits.
  • For ferromagnetic Ising models, the bound is given by: $E_{sep}(\varrho) = -N_p J (\langle h^2 \rangle_\varrho - \frac{1}{4}F_Q[\varrho, h]) - N \vec{B}\langle \vec{g} \rangle_\varrho$.
  • For ferromagnetic Heisenberg chains, the bound involves the fidelity $F(\varrho, \sigma)$.
• Direct Extraction of Quantum Information Quantities: A primary result is that the Quantum Fisher Information and the Uhlmann–Jozsa fidelity can be directly extracted from correlation measurements on the ground states of suitably engineered spin models. Specifically, for ferromagnetic systems on fully connected graphs, the ground state energy provides a tight lower bound on the QFI, with the error scaling as $O(1/N)$.
• Optimal Entanglement Criteria: By combining the derived energy bounds with known correlation measurements, the authors formulate optimal entanglement witnesses. These criteria detect all entangled states that can be identified given the single-particle reduced states and specific two-body correlation expectation values. The paper demonstrates that these conditions are optimal within the set of states defined by the given marginals.
• Bounds for $k$-producible States: The method is extended to states with limited multipartite entanglement depth ($k$-producible states), providing bounds on their energy minima that depend on the QFI of $k$-particle blocks.
• Connection to Quantum Wasserstein Distance: The authors note that their findings can be reformulated in the language of quantum optimal transport, specifically relating the energy minimization to the "self-distance" in the quantum Wasserstein metric.

Significance and Claims
The paper claims to provide a general solution to the problem of finding energy minima for separable states with fixed marginals, a problem that has been difficult to solve analytically for high-dimensional spins. The significance lies in the following points:

1. Measurability of QFI: The work answers the question of whether the Quantum Fisher Information can appear as a directly measurable observable. The authors demonstrate that for specific ferromagnetic models, the QFI is directly encoded in the energy minimum (and thus in correlation measurements) of the ground state.
2. Rigorous Bounds: The derived energy minimum over separable states serves as a rigorous upper bound on the true ground state energy of the system, a central quantity in quantum many-body physics.
3. Resource Efficiency: The method suggests a resource-efficient approach for quantum algorithms to estimate the QFI or fidelity by engineering a spin system, measuring its ground state correlations, and applying the derived analytic formulas, rather than performing full state tomography.
4. Theoretical Unification: The results bridge quantum metrology (via QFI), entanglement theory (via separable state bounds and witnesses), and quantum optimal transport (via Wasserstein distances), showing that these distinct fields share common mathematical structures regarding correlation and separability.

The authors maintain a modest tone regarding applications, stating that their findings "enable" the direct extraction of these quantities and "make it possible" to construct optimal entanglement criteria, rather than claiming immediate experimental realization without further engineering. The work is presented as a theoretical advancement providing general solutions and analytic tools for the analysis of spin Hamiltonians.