Abstract:We continue our study of rigorous renormalization group (RG) maps for tensor networks that was begun in <a class="link-https" data-arxiv-id="2107.11464" href="https://arxiv.org/abs/2107.11464">arXiv:2107.11464</a>. In this paper we construct a rigorous RG map for 2D tensor networks whose domain includes tensors that represent the 2D Ising model at low temperatures with a magnetic field $h$. We prove that the RG map has two stable fixed points, corresponding to the two ground states, and one unstable fixed point which is an example of a discontinuity fixed point. For the Ising model at low temperatures the RG map flows to one of the stable fixed points if $h \neq 0$, and to the discontinuity fixed point if $h=0$. In addition to the nearest neighbor and magnetic field terms in the Hamiltonian, we can include small terms that need not be spin-flip invariant. In this case we prove there is a critical value $h_c$ of the field (which depends on these additional small interactions and the temperature) such that the RG map flows to the discontinuity fixed point if $h=h_c$ and to one of the stable fixed points otherwise. We use our RG map to give a new proof of previous results on the first-order transition, namely, that the free energy is analytic for $h \neq h_c$, and the magnetization is discontinuous at $h = h_c$. The construction of our low temperature RG map, in particular the disentangler, is surprisingly very similar to the construction of the map in <a class="link-https" data-arxiv-id="2107.11464" href="https://arxiv.org/abs/2107.11464">arXiv:2107.11464</a> for the high temperature phase. We also give a pedagogical discussion of some general rigorous transformations for infinite dimensional tensor networks and an overview of the proof of stability of the high temperature fixed point for the RG map in <a class="link-https" data-arxiv-id="2107.11464" href="https://arxiv.org/abs/2107.11464">arXiv:2107.11464</a>.
Mathematical Physics,Statistical Mechanics,Strongly Correlated Electrons,High Energy Physics - Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the application of the tensor renormalization group (TRG) in two - dimensional tensor networks at low temperatures, especially for the 2D Ising model at low temperatures. Specifically, the goals of the paper include:
1. **Construct a strict TRG mapping**: The paper aims to construct a strict TRG mapping that is applicable to 2D tensor networks containing tensors representing the 2D Ising model at low temperatures. This TRG mapping can handle the 2D Ising model with a magnetic field \(h\).
2. **Prove the properties of fixed points**: The paper proves that the TRG mapping has two stable fixed points, corresponding to two ground states (i.e., all spins up and all spins down respectively), and one unstable fixed point, which is a discontinuity fixed point. For the Ising model at low temperatures, when \(h\neq0\), the TRG mapping will flow to one of the stable fixed points; when \(h = 0\), it will flow to the discontinuity fixed point.
3. **Consider additional small terms**: In addition to the nearest - neighbor interaction and the magnetic field term, the paper also considers small terms that can be included, and these small terms do not need to be spin - flip invariant. In this case, the paper proves that there is a critical value \(h_c\) such that when \(h = h_c\), the TRG mapping will flow to the discontinuity fixed point; otherwise, it will flow to one of the stable fixed points.
4. **New proof of phase transition**: The paper uses the TRG mapping to provide a new proof that the free energy is analytic for \(h\neq h_c\), while the magnetization is discontinuous at \(h = h_c\). This indicates that the phase transition is a first - order phase transition.
5. **Similarity of methods**: The paper points out that the method of constructing the low - temperature TRG mapping is very similar to the method of constructing the TRG mapping in the high - temperature phase previously, especially in the construction of the disentangler.
Through these studies, the paper hopes to provide new theoretical tools and methods for understanding the phase transitions of tensor networks at low temperatures.