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: