Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2206.12538

Bootstrapping the Ising Model on the Lattice

Minjae Cho, Barak Gabai, Ying‐Hsuan Lin, Victor A. Rodriguez, Joshua Sandor, Xi Yin

Published Jun 25, 2022• 5 citations
arXivHTMLPDF

Abstract

We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators supported in a 13-site diamond-shaped region determine the nearest-spin correlator to within a small window, which for a wide range of coupling and magnetic field is narrower than the precision attainable with Monte Carlo methods. We also report preliminary results of the bootstrap bounds for the 3D Ising model on the cubic lattice.

DOI
10.48550/arxiv.2206.12538

Related papers

Bootstrapping Disordered Quantum Systems

Yaprak Önder, Michael G. Scheer, Minjae Cho +1 more

We present a bootstrap framework that yields rigorous two-sided bounds on ground-state observables of quantum systems with quenched disorder. The key idea is to extend the operator algebra to include classical disorder variables and to encode the disorder distribution through a set of moments. The method directly bounds disorder-averaged expectation values for finite or infinite lattice systems and for arbitrary disorder distributions. In contrast to conventional approaches, we do not need to sample disorder realizations, which enables us to make thorough use of symmetries that hold only on average rather than for each disorder realization. Additionally, we show that multi-replica operators can be used to access disorder fluctuations such as the variance of an observable. We apply the method to the one-dimensional random transverse-field Ising model (RTFIM) with discrete, uniform, and Gaussian disorder, obtaining tight bounds on the disorder-averaged ground-state energy density and short-range spin-spin correlators, as well as bounds on the disorder variance of the energy density. Additionally, we show that the difference between the upper and lower bounds on the disorder-averaged ground-state energy density, which we term the bootstrap gap, can be used to map out the phase diagram of the RTFIM. The bootstrap gap is small and flat within the paramagnetic and ferromagnetic phases at weak disorder, grows upon entering the Griffiths regions, and peaks along the critical line.

arXiv:2609.20916•Sep 17, 2026•0 citations

Bootstrapping Classical Systems with Quenched Disorder

Minjae Cho, Yaprak Önder, Eslam Khalaf +1 more

We introduce a bootstrap method for deriving bounds on disorder-averaged observables in classical statistical systems with quenched disorder. The three main ingredients of the bootstrap are the positivity of ensembles of probability measures, disorder-averaged equations of motion, and explicit expectation values of random coupling variables. Together, these ingredients lead to a linear programming problem over the space of disorder averages. By further employing the positivity of the two-replica Gram matrix, we also formulate a semidefinite programming problem that produces bounds on two-replica correlators. We demonstrate the method using two examples: the two-dimensional random site-diluted Ising model and the one-dimensional disordered contact process. For the latter example, the bootstrap bounds exhibit a region of multiple kinks that we relate to the Griffiths region, whose finite-size scaling analysis yields a typical correlation length exponent in good numerical agreement with the known value.

arXiv:2609.20927•Sep 17, 2026•0 citations

The Discrete Bootstrap for Quantum Thermodynamics

Sandor, Joshua

A novel bootstrap method is exemplified by lattice theories and quantum mechanics. Positivity of expectation values combined with sets of non-trivial constraint equations and semidefinite optimization rigorously and precisely bound correlation functions. Starting with the example of a one-dimensional integral, the technique is built upon to extract limit cycles in a two-dimensional classical dynamical system and spin correlation functions in the Statistical Ising Model. Further positivity constraints and simplifications arising in a large rank limit are implemented to bound the energy expectation value as a function of temperature in Matrix Quantum Mechanics. Along the way, the S-matrix of Chern-Simons-matter theory is computed as an example of computational simplification at large gauge group rank.

•Jan 1, 2025•0 citations

A quantum simulation approach for a three-dimensional Ising spin model—Comparison to mean field theory

Zhaosen Liu, Orion Ciftja

We use a recently developed quantum simulation approach to study the properties of a three-dimensional Ising model consisting of S = 1/2 quantum spins localized at the sites of a simple cubic lattice. We assume nearest-neighbor interaction between spins with an exchange interaction that can be either ferromagnetic or antiferromagnetic. It is found that the computational method quickly converges towards the expected equilibrium spin configurations. The resulting spontaneous magnetization curves corresponding to the two types of magnetic interactions under consideration were found to be almost identical to the ones obtained via quantum mean field theory at all temperatures. The derived total energies, total free energies, magnetic entropies and specific heats per mole of spins show no sizeable differences from known theoretical values. Furthermore, the results of the simulations for two different 3D Ising systems containing 4×4×4 and 20×20×20 spins localized at the sites of a simple cubic lattice were found to be almost identical to each other. This finding suggests that the self-consistent algorithm approach of the current simulation method allows one to obtain the physical bulk properties of a large magnetic system by relying on simulations of a much smaller spin system sample. Therefore, the method presently considered appears to be not only very accurate as gauged by comparison to mean field theory, but also able to greatly increase the speed of simulations.

AIP Advances•May 1, 2017•1 citation

Critical Behavior Simulation of the Two-Dimensional Ising Model—A Computational Physics Study Based on the Monte Carlo Method

佳钢 李

To demonstrate the application of computational physics in modern statistical physics, this paper investigates the critical behavior of a finite-size ferromagnetic system based on the two-dimensional square-lattice Ising model.A nearest-neighbor Ising Hamiltonian is constructed, and periodic boundary conditions are adopted to reduce finite-boundary effects.The Metropolis Monte Carlo algorithm is used to sample spin configurations at different temperatures, while energy, magnetization, specific heat, magnetic susceptibility and Binder cumulant are calculated to describe the transition from an ordered state to a disordered state.The simulation results show that the system exhibits clear long-range order at low temperatures, where the order parameter remains high.As temperature increases, thermal fluctuations become stronger, magnetization decreases rapidly, and the system gradually evolves into a disordered state.The specific heat curve shows a pronounced peak at approximately (T = 2.269), while the susceptibility peak shifts slightly toward the high-temperature side due to finite-size effects and the discrete temperature grid.Overall, the simulated critical region is consistent with the theoretical critical temperature of the two-dimensional square-lattice Ising model.Spin-configuration analysis further reveals enhanced fluctuations and domain reconstruction near the critical region.In addition, a thermalization criterion and an extended sampling test for L = 48 near the critical region are added to examine the influence of finite sampling and equilibration.These results indicate that Monte Carlo simulation of the two-dimensional Ising model can effectively reproduce continuous phase transition, critical fluctuation and finite-size effects, providing a basic computational case for understanding critical phenomena in complex systems and data-driven physical analysis.

Modern Physics•Jan 1, 2026•0 citations

Bootstrapping ground state properties of classical frustrated magnets

Nisarga Paul, Gil Refael

We introduce a method based on semidefinite programming that produces rigorous two-sided bounds on ground state energy densities and correlation functions of translation-invariant classical spin models on infinite lattices. In this method, the challenge of non-convex optimization on an infinite lattice is replaced with a hierarchy of finite-size convex optimizations arising from positivity conditions that any probability distribution over spin configurations must satisfy. This adapts the Lasserre hierarchy in the theory of polynomial optimization to the context of frustrated magnetism, and we prove convergence of this hierarchy in the thermodynamic limit. Our method subsumes the Luttinger--Tisza method and further applies to non-quadratic Hamiltonians and non-Bravais lattices, thus addressing limitations of prior analytical methods. We apply the method to various two-dimensional frustrated spin models, where it brackets the energy densities and observables accurately across large parameter ranges with typical run times of seconds per parameter point.

arXiv:2605.06784•May 7, 2026•0 citations
We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators supported in a 13-site diamond-shaped region determine the nearest-spin correlator to within a small window, which for a wide range of coupling and magnetic field is narrower than the precision attainable with Monte Carlo methods. We also report preliminary results of the bootstrap bounds for the 3D Ising model on the cubic lattice.
We present a bootstrap framework that yields rigorous two-sided bounds on ground-state observables of quantum systems with quenched disorder. The key idea is to extend the operator algebra to include classical disorder variables and to encode the disorder distribution through a set of moments. The method directly bounds disorder-averaged expectation values for finite or infinite lattice systems and for arbitrary disorder distributions. In contrast to conventional approaches, we do not need to sample disorder realizations, which enables us to make thorough use of symmetries that hold only on average rather than for each disorder realization. Additionally, we show that multi-replica operators can be used to access disorder fluctuations such as the variance of an observable. We apply the method to the one-dimensional random transverse-field Ising model (RTFIM) with discrete, uniform, and Gaussian disorder, obtaining tight bounds on the disorder-averaged ground-state energy density and short-range spin-spin correlators, as well as bounds on the disorder variance of the energy density. Additionally, we show that the difference between the upper and lower bounds on the disorder-averaged ground-state energy density, which we term the bootstrap gap, can be used to map out the phase diagram of the RTFIM. The bootstrap gap is small and flat within the paramagnetic and ferromagnetic phases at weak disorder, grows upon entering the Griffiths regions, and peaks along the critical line.
We introduce a bootstrap method for deriving bounds on disorder-averaged observables in classical statistical systems with quenched disorder. The three main ingredients of the bootstrap are the positivity of ensembles of probability measures, disorder-averaged equations of motion, and explicit expectation values of random coupling variables. Together, these ingredients lead to a linear programming problem over the space of disorder averages. By further employing the positivity of the two-replica Gram matrix, we also formulate a semidefinite programming problem that produces bounds on two-replica correlators. We demonstrate the method using two examples: the two-dimensional random site-diluted Ising model and the one-dimensional disordered contact process. For the latter example, the bootstrap bounds exhibit a region of multiple kinks that we relate to the Griffiths region, whose finite-size scaling analysis yields a typical correlation length exponent in good numerical agreement with the known value.
A novel bootstrap method is exemplified by lattice theories and quantum mechanics. Positivity of expectation values combined with sets of non-trivial constraint equations and semidefinite optimization rigorously and precisely bound correlation functions. Starting with the example of a one-dimensional integral, the technique is built upon to extract limit cycles in a two-dimensional classical dynamical system and spin correlation functions in the Statistical Ising Model. Further positivity constraints and simplifications arising in a large rank limit are implemented to bound the energy expectation value as a function of temperature in Matrix Quantum Mechanics. Along the way, the S-matrix of Chern-Simons-matter theory is computed as an example of computational simplification at large gauge group rank.
We use a recently developed quantum simulation approach to study the properties of a three-dimensional Ising model consisting of S = 1/2 quantum spins localized at the sites of a simple cubic lattice. We assume nearest-neighbor interaction between spins with an exchange interaction that can be either ferromagnetic or antiferromagnetic. It is found that the computational method quickly converges towards the expected equilibrium spin configurations. The resulting spontaneous magnetization curves corresponding to the two types of magnetic interactions under consideration were found to be almost identical to the ones obtained via quantum mean field theory at all temperatures. The derived total energies, total free energies, magnetic entropies and specific heats per mole of spins show no sizeable differences from known theoretical values. Furthermore, the results of the simulations for two different 3D Ising systems containing 4×4×4 and 20×20×20 spins localized at the sites of a simple cubic lattice were found to be almost identical to each other. This finding suggests that the self-consistent algorithm approach of the current simulation method allows one to obtain the physical bulk properties of a large magnetic system by relying on simulations of a much smaller spin system sample. Therefore, the method presently considered appears to be not only very accurate as gauged by comparison to mean field theory, but also able to greatly increase the speed of simulations.
To demonstrate the application of computational physics in modern statistical physics, this paper investigates the critical behavior of a finite-size ferromagnetic system based on the two-dimensional square-lattice Ising model.A nearest-neighbor Ising Hamiltonian is constructed, and periodic boundary conditions are adopted to reduce finite-boundary effects.The Metropolis Monte Carlo algorithm is used to sample spin configurations at different temperatures, while energy, magnetization, specific heat, magnetic susceptibility and Binder cumulant are calculated to describe the transition from an ordered state to a disordered state.The simulation results show that the system exhibits clear long-range order at low temperatures, where the order parameter remains high.As temperature increases, thermal fluctuations become stronger, magnetization decreases rapidly, and the system gradually evolves into a disordered state.The specific heat curve shows a pronounced peak at approximately (T = 2.269), while the susceptibility peak shifts slightly toward the high-temperature side due to finite-size effects and the discrete temperature grid.Overall, the simulated critical region is consistent with the theoretical critical temperature of the two-dimensional square-lattice Ising model.Spin-configuration analysis further reveals enhanced fluctuations and domain reconstruction near the critical region.In addition, a thermalization criterion and an extended sampling test for L = 48 near the critical region are added to examine the influence of finite sampling and equilibration.These results indicate that Monte Carlo simulation of the two-dimensional Ising model can effectively reproduce continuous phase transition, critical fluctuation and finite-size effects, providing a basic computational case for understanding critical phenomena in complex systems and data-driven physical analysis.
We introduce a method based on semidefinite programming that produces rigorous two-sided bounds on ground state energy densities and correlation functions of translation-invariant classical spin models on infinite lattices. In this method, the challenge of non-convex optimization on an infinite lattice is replaced with a hierarchy of finite-size convex optimizations arising from positivity conditions that any probability distribution over spin configurations must satisfy. This adapts the Lasserre hierarchy in the theory of polynomial optimization to the context of frustrated magnetism, and we prove convergence of this hierarchy in the thermodynamic limit. Our method subsumes the Luttinger--Tisza method and further applies to non-quadratic Hamiltonians and non-Bravais lattices, thus addressing limitations of prior analytical methods. We apply the method to various two-dimensional frustrated spin models, where it brackets the energy densities and observables accurately across large parameter ranges with typical run times of seconds per parameter point.