# Infrared bounds, phase transitions and continuous symmetry breaking

@article{Frhlich1976InfraredBP,
title={Infrared bounds, phase transitions and continuous symmetry breaking},
author={J{\"u}rg Fr{\"o}hlich and Barry Simon and Thomas J. Spencer},
journal={Communications in Mathematical Physics},
year={1976},
volume={50},
pages={79-95}
}
• Published 1 February 1976
• Physics
• Communications in Mathematical Physics
We present a new method for rigorously proving the existence of phase transitions. In particular, we prove that phase transitions occur in (φ·φ)32 quantum field theories and classical, isotropic Heisenberg models in 3 or more dimensions. The central element of the proof is that for fixed ferromagnetic nearest neighbor coupling, the absolutely continuous part of the two point function ink space is bounded by 0(k−2). When applicable, our results can be fairly accurate numerically. For example…
429 Citations

### Rigorous Analysis of Discontinuous Phase Transitions via Mean-Field Bounds

• Physics
• 2003
Abstract: We consider a variety of nearest-neighbor spin models defined on the d-dimensional hypercubic lattice ℤd. Our essential assumption is that these models satisfy the condition of reflection

### Proof of phase transition in homogeneous systems of interacting bosons

Using the rigorous path integral formalism of Feynman and Kac we prove London's eighty years old conjecture that during the superfluid transition in liquid helium Bose-Einstein condensation (BEC)

### A Phase Transition in a Quantum Crystal with Asymmetric Potentials

• Physics
• 2007
A translation invariant system of interacting quantum anharmonic oscillators indexed by the elements of a simple cubic lattice $$\mathbb{Z}^d$$ is considered. The anharmonic potential is of general

### Phase Transitions in Statistical Mechanics and Quantum Field Theory

• Physics
• 1977
These lectures are a survey of some mathematically rigorous results concerning phase transitions and symmetry breaking in statistical mechanics and quantum field theory. This subject has a rather

### PHASE TRANSITIONS AND QUANTUM EFFECTS IN ANHARMONIC CRYSTALS

• Physics
• 2012
The most important recent results in the theory of phase transitions and quantum effects in quantum anharmonic crystals are presented and discussed. In particular, necessary and sufficient conditions

### Existence of Phase Transitions for Anisotropic Heisenberg Models

• Physics
• 1977
The two-dimensional anisotropie, nearest-neighbor Heisenberg model on a square lattice, both quantum and classical, has been shown rigorously to have a phase transition in the sense that the

### Symmetry breaking in Heisenberg antiferromagnets

• Mathematics, Physics
• 1993
We extend Griffith's theorem on symmetry breaking in quantum spin systems to the situation where the order operator and the Hamiltonian do not commute with each other. The theorem establishes that

### Reflection Positivity and Phase Transitions in Lattice Spin Models

Phase transitions are one of the most fascinating, and also most perplexing, phenomena in equilibrium statistical mechanics. On the physics side, many approximate methods to explain or otherwise

### The Free Energy of the Quantum Heisenberg Ferromagnet at Large Spin

• Physics
• 2012
We consider the spin-S ferromagnetic Heisenberg model in three dimensions, in the absence of an external field. Spin wave theory suggests that in a suitable temperature regime the system behaves

### Monopole-like configurations in the O(3) spin model at the upper critical dimension

• Physics
Proceedings of The 38th International Symposium on Lattice Field Theory — PoS(LATTICE2021)
• 2022
We present a high-precision Monte Carlo study of the O (3) spin theory on the lattice in D = 4 dimensions. This model exhibits interesting dynamical features, in particular in the brokensymmetry

## References

SHOWING 1-10 OF 61 REFERENCES

### Phase Transitions in Statistical Mechanics and Quantum Field Theory

• Physics
• 1977
These lectures are a survey of some mathematically rigorous results concerning phase transitions and symmetry breaking in statistical mechanics and quantum field theory. This subject has a rather

### Existence of phase transitions for quantum lattice systems

We prove that the following lattice systems:(1)anisotropic Heisenberg model,(2)Ising model with transverse magnetic field,(3)quantum lattice gas with hard cores extending over nearest

### Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model

• Physics, Mathematics
• 1952
The problems of an Ising model in a magnetic field and a lattice gas are proved mathematically equivalent. From this equivalence an example of a two-dimensional lattice gas is given for which the

### On canonical quantum field theories

We consider time reversal invariant canonical quantum field theories in which π=φ. We show that if the theory has a mass gap, the vacuum is an analytic vector for the time zero field φ (f). With the

### Absence of Ordering in Certain Classical Systems

A classical inequality giving lower bounds for fluctuations about ordered states is derived. The inequality, analogous to a quantum result due to Bogoliubov, is established by a purely classical

### A proof of the existence of phase transitions in the anisotropic Heisenberg model

It is rigorously proved that the anisotropic Heisenberg spin model, in two or more dimensions, exhibits a first order phase transition at low temperatures and for large anisotropy (strong coupling of

### The λφ24 Quantum Field Theory without Cutoffs. IV. Perturbations of the Hamiltonian

• Mathematics
• 1972
We introduce an inductive method to estimate the shift δE in the vacuum energy, caused by a perturbation δH of the P(φ)2 Hamiltonian H. We prove that if δH equals the field bilinear form φ(x,t), then

### Phase transitions in anisotropic classical Heisenberg ferromagnets

• Physics
• 1972
AbstractThe method of Peierls is used to prove the existence of a spontaneous magnetization for a spin system with nearest-neighbor interactions and Hamiltonian H = - J \sum\limits_{\left\langle