（16）张量网络基本定义与维数裁剪

1.张量网络的基本定义

引出：

在MPS态中我们分别定义了辅助指标和物理指标两个概念：
辅助指标（或虚拟指标、几何指标）：MPS中两个不同张量所共有的指标
物理指标：没有被共有的指标——代表物理空间的自由度。

---

MPS是一种特殊的张量网络

---

1.1定义

于是由MPS态我们给出了张量网络的定义
张量网络的一般定义：由多个张量按照一定的收缩规则构成的模型，被称为张量网络。
其中，收缩规则由网络图确定，即一个节点代表一个张量，与该节点连接的边代表该张量的指标，连接不同节点的边代表对应张量的共有指标，需进行求和计算。
仅连接一个节点的指标被称为开放指标；连接两个节点的指标被称为几何指标
当张量网络被用于表示量子态时，开放指标代表物理空间的自由度，故也被称为物理指标。

1.2张量网络表示形式

从张量网络的一般定义出发，不难看出，张量网络为张量的一种表示形式：
任意张量网络代表一个张量，该张量的指标为张量网络的开放指标。
张量网络可记为$T=tTr(A,B,...)$，其中$T$收缩所有几何指标后得到的张量，括号中为构成张量网络的张量， $tTr$代表对所有几何指标求和。（$tTr$=totally trace）
一个高阶张量可表示为不同的张量网络，例如:
下图的两种张量网络均表示一个五阶张量张量$T_{s_1{s}_2{s}_3{s}_4{s}_5}$

补充：
闭合张量网络:是一类特殊的张量网络，没有开放指标。闭合张量网络可用来表示一大类问题，例如格点模型的配分函数，量子多体态的观测量等。

2.张量网络的低秩近似

问题：在给定张量网络中，如何裁剪某一几何指标的维数，使得裁剪前后的误差极小？（裁剪前后张量网络几何结构不变）

---

张量网络的低秩近似解决的问题是：怎么来裁剪维数以极小化裁剪误差。
首先考虑无圈（loop-free）张量网络的几何指标维数裁剪，以下图的张量网络$T_{s_1{s}_2{s}_3{s}_4{s}_5}$为例，考虑对图中红色加粗的辅助指标进行维数裁减。

解决方案：可将上述问题化为矩阵的最优低秩近似问题：求$T_{[s_1{s}_2][s_3{s}_4{s}_5]}$的最优低秩近似。

其中，$T_{[s_1{s}_2][s_3{s}_4{s}_5]}$代表将张量reshape成矩阵，两个方括号中的指标被看作是矩阵的左、右指标，分别代表切断待裁剪指标后张量网络两部分中的开放指标。
由于目标问题仅是裁剪红色几何指标的维数，而不改变张量网络的结构等
不推荐通过SVD来实现维数裁剪：因为我们我们会涉及到对一个大张量的计算。（大张量的维数会随着开放指标的个数指数上升）

---

解决方案:
思路：通过引入非方的裁剪矩阵（isometry矩阵），与连接待裁剪指标的张量进行收缩，实现该指标的维数裁剪。
设连接待裁剪指标的张量为 $A^{(1)}$ 与 $A^{(3)},$ 待裁剪指标记为 $a,$ 裁剪前后该指标的维数为 $D$ 与 χ ( \chi(