把一张表折成矩阵
12 个自旋的链,在第 4 个自旋后面切一刀。左段有 16 种构型,右段有 256 种。把每种完整构型的振幅放到“左段构型”那一行、“右段构型”那一列,态就变成一个 16 行 256 列的矩阵,什么信息也没丢。
如果这个矩阵的秩是一,每一行都是同一行的倍数。这时态就是一个左态乘一个右态,也就是直积态,两边互不相干。秩大于一,两边就纠缠在一起:左边测到哪种构型,会影响右边是什么样子。
奇异值变成 Schmidt 权重
奇异值分解把矩阵写成若干个秩一矩阵之和,每一项是一列左向量乘一行右向量,再乘一个非负的奇异值。左向量彼此正交归一,右向量也是。把它们读回成量子态,就是 Schmidt 分解。Schollwöck 综述的第 4.1.1 节讲的就是这一步。
对归一化的态,奇异值的平方加起来等于一,可以当作概率看,这就是 Schmidt 权重。纠缠熵就是这组权重的熵:只有一个权重且等于一时为零;所有权重相等时最大,等于项数的对数。
完整例题
算两个例子:两个自旋,和一个猫态
Calabrese 和 Cardy 2004 年的论文开头举了一个两自旋的例子:第一个自旋朝上、第二个朝下占一份振幅,反过来占另一份。以第一个自旋为行、第二个为列,这个矩阵只有非对角元。它的奇异值就是两份振幅的大小,Schmidt 权重是它们的平方。两个权重都是二分之一时,熵达到两个自旋所能有的最大值:2 的自然对数。
再看一条所有自旋同向的链,它处在“全部朝一个方向”和“全部朝反方向”的等权叠加上。无论在哪里切,都恰好得到两个二分之一的 Schmidt 权重,所以每一刀的纠缠熵都是 2 的对数,约 0.693。压缩实验的猫态预设取横场 0.3 的 Ising 基态,接近这个图像,它中间切口的纠缠熵是 0.6935。
临界链上的纠缠熵曲线
让切口沿链移动,记下每个位置的纠缠熵。有能隙的链,曲线离开两端不远就变平;临界链则一路向中间升高。Calabrese 和 Cardy 用共形场论推出了开放临界链上这条曲线的形状,即他们的式 (2),系数是中心荷的六分之一;临界 Ising 链的中心荷是二分之一。
这条曲线可以不做任何近似来检验。Peschel 证明,能化成自由费米子的链(包括 Ising 链这类带配对项的链)里,一段区块的 Schmidt 权重可以直接从关联矩阵算出。用精确基态在链中间一半上拟合,32 个自旋得到的中心荷是 0.524,64、128、256 个自旋依次是 0.512、0.506、0.503,链越长越接近二分之一。DMRG 实验也画出这条曲线:中心荷固定,只拟合常数,和实际算出的纠缠熵并排比较。