1: \begin{abstract}

2: 

3: \begin{center}

4: 	\it To the memory of Krzysztof Gawędzki, a pioneer of rigorous renormalization group studies	\end{center}

5: 

6: \noindent We continue our study of rigorous renormalization group (RG) maps

7: for tensor networks that was begun in \cite{paper1}.

8: In this paper we construct a rigorous RG map for 2D tensor networks whose

9: domain includes tensors that represent the 2D Ising model at low

10: temperatures with a magnetic field $h$.

11: We prove that the RG map has two stable fixed points, corresponding to

12: the two ground states, and one unstable fixed point which is an example of

13: a discontinuity fixed point. For the Ising model at low temperatures the

14: RG map flows to one of the stable fixed points if $h \neq 0$, and to the

15: discontinuity fixed point if $h=0$. In addition to the nearest neighbor

16: and magnetic field terms in the Hamiltonian,

17: we can include small terms that need not be

18: spin-flip invariant. In this case we prove there is a critical value

19: $h_c$ of the field (which depends on these additional small interactions and

20: the temperature) such that the RG map flows to the discontinuity fixed point

21: if $h=h_c$ and to one of the stable fixed points otherwise.

22: We use our RG map to give a new proof of previous results on the

23: first-order transition, namely, that

24: the free energy is analytic for $h \neq h_c$, and the magnetization is

25: discontinuous at $h = h_c$.

26: The construction of our low temperature RG map,

27: in particular the disentangler, is surprisingly very

28: similar to the construction of the map in \cite{paper1} for the high

29: temperature phase.  

30: We also give a pedagogical discussion of some general rigorous

31: transformations for infinite dimensional tensor networks and an overview of

32: the proof of stability of the high temperature fixed point for the RG map in

33: \cite{paper1}.

34: 

35: 

36: \end{abstract}

37: