REVIEW 4 cited by
Certified algorithms for equilibrium states of local quantum Hamiltonians
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
Predicting observables in equilibrium states is a central yet notoriously hard question in quantum many-body systems. In the physically relevant thermodynamic limit, certain mathematical formulations of this task have even been shown to result in undecidable problems. Using a finite-size scaling of algorithms devised for finite systems often fails due to the lack of certified convergence bounds for this limit. In this work, we design certified algorithms for computing expectation values of observables in the equilibrium states of local quantum Hamiltonians, both at zero and positive temperature. Importantly, our algorithms output rigorous lower and upper bounds on these values. This allows us to show that expectation values of local observables can be approximated in finite time, contrasting related undecidability results. When the Hamiltonian is commuting on a 2-dimensional lattice, we prove fast convergence of the hierarchy at high temperature and as a result for a desired precision $\varepsilon$, local observables can be approximated by a convex optimization program of quasi-polynomial size in $1/\varepsilon$.
Forward citations
Cited by 4 Pith papers
-
Bootstrapping Open Quantum Many-body Systems with Absorbing Phase Transitions
A bootstrap method using density-matrix positivity and steady-state conditions produces bounds on steady-state expectation values, the critical coupling, and the Liouvillian gap for the quantum contact process.
-
Bootstrapping Euclidean Two-point Correlators
A semidefinite programming bootstrap is formulated for Euclidean two-point correlators in quantum mechanics, yielding rigorous bounds and low-lying spectrum extraction in the ungauged one-matrix model.
-
Bootstrapping Euclidean Two-point Correlators
A bootstrap SDP with a dual 'inequalities of motion' formulation rigorously bounds Euclidean two-point correlators and extracts the low-lying adjoint spectrum of one-matrix quantum mechanics.
-
General method for obtaining the energy minimum of spin Hamiltonians for separable states
A method is given to compute the minimum energy of certain spin Hamiltonians over separable states, expressed via quantum Fisher information for Ising models and fidelity for Heisenberg chains.
Discussion (0). Sign in to comment.