89d5cb0233d4a58d.tex
1: \begin{abstract}
2:           We study a renormalization group (RG) map for tensor networks that
3:           include two-dimensional lattice spin systems such as the Ising
4:           model. Numerical studies of such RG maps have been quite successful
5:           at reproducing the known critical behavior.
6:           In those numerical studies the RG map must be truncated
7:           to keep the dimension of the legs of the tensors bounded.
8:           Our tensors act on an infinite-dimensional Hilbert space, and our
9:           RG map does not involve any truncations. Our RG map has a trivial
10:           fixed point which represents the high-temperature fixed point. We
11:           prove that if we start with a tensor that is close to this fixed point
12:           tensor, then the iterates of the RG map converge in the
13:           Hilbert-Schmidt norm to the fixed point tensor. 
14:           It is important to emphasize that this statement is not true for the
15:           simplest tensor network RG map in which one simply contracts
16:           four copies of the tensor to define the renormalized tensor. 
17:           The linearization of this simple RG map
18:           about the fixed point is not a contraction due to the presence of
19:           so-called CDL tensors. 
20:           Our work provides a first
21:           step towards the important problem of the rigorous study of RG maps
22:           for tensor networks in a neighborhood of the critical point.
23: 	\end{abstract}
24: