Exact expressions of correlation functions between two spins in the boundary row of the two-dimensional rectangular Ising model with periodic-free boundary conditions and finite size

技术摘要：具有周期-自由边界条件的二维矩形伊辛模型相关函数的精确表达式

问题陈述
本文研究了计算两个自旋在二维矩形伊辛模型边界行中的精确自旋-自旋相关函数 $\langle \sigma_{1,1} \sigma_{1,1+P} \rangle$ 的问题。该模型具有尺寸为 $L$（水平）和 $N$（垂直）的有限维度，并在水平方向上采用周期性边界条件，在垂直方向上采用自由边界条件。虽然现有文献中已有关于热力学极限下相关函数的渐近表达式，但对于具有这些特定边界条件的有限系统，特别是涵盖短程和长程有序性的精确表达式，仍是一个需要详细研究的课题。本研究侧重于无外部磁场的情况。

方法论
作者采用了旋量分析法（spinor analysis），该方法最初由文献 [4] 引入，并曾用于文献 [5, 6] 中对周期-周期模型的列相关函数进行研究。该方法的核心包括：

1. 矩阵形式化： 将相关函数表示为转移矩阵（$V_1, V_2$）与配分函数矩阵（$Z_1$）乘积的迹。
2. 代数简化： 利用迹和对易子的性质，将复杂的矩阵乘积简化为涉及对角矩阵和特定算符（$\Gamma$）的形式。
3. 特征值分析： 利用转移矩阵的特征值和特征向量，特别是利用旋量表示的性质和正交矩阵（$\mu$）来使系统对角化。
4. 极限过程： 系统地评估在不同极限顺序下 $N \to \infty$ 和 $L \to \infty$ 的情况，以确定热力学极限下相关函数的行为。作者区分了短程有序（距离 $P$ 相对于 $L$ 较小时）和长程有序（当 $P$ 接近 $L/2$ 时）的情况。

主要贡献与结果
本文推导了有限系统中所有 $P$ 值的相关函数 $\langle \sigma_{1,1} \sigma_{1,1+P} \rangle$ 的精确解析表达式。主要结果和发现包括：

• 精确有限尺寸表达式： 作者提供了一个有限系统中相关函数的闭合形式表达式（式 44），该表达式表示为涉及特征值 $\gamma_n$ 和系数 $\Omega_n$ 的双曲函数的求和。
• 热力学极限与极限顺序： 一个关键发现是，热力学极限的结果取决于系统维度 $L$ 和 $N$ 趋于无穷大的顺序：
  • 情况 $T \geq T_c$（高于或等于临界温度）： 在热力学极限下，无论极限顺序如何（先取 $N \to \infty$ 再取 $L \to \infty$，或反之亦然），长程有序的相关函数都会消失。短程相关性保持非零。
  • 情况 $T < T_c$（低于临界温度）： 极限的顺序显著影响结果。
    • 先取极限 $N \to \infty$，随后取 $L \to \infty$，可以正确揭示长程有序的出现（在大距离处存在非零相关性），这与自发磁化的物理预期一致。
    • 先取极限 $L \to \infty$，随后取 $N \to \infty$，会导致长程有序项消失，未能捕捉到系统中存在的物理长程相关性。
• 与前人工作的相符性： 作者证明了其在热力学极限下的导出表达式在形式上与前人研究（特别是文献 [1]）所提供的表达式一致。
• 临界行为： 在临界温度 $T_c$ 附近，论文分析了相关长度的行为。作者识别出一个项 $\Lambda_P$，它表现出具有临界指数 $\nu = 1$ 的相关长度特征。然而，作者明确指出，该指数适用于特定的项 $\Lambda_P$，而不一定适用于未经过 $Y_P$ 项进一步分析的完整相关函数 $\langle \sigma_{1,1} \sigma_{1,1+P} \rangle$。

意义
该论文声称其意义在于为一种特定的边界条件（周期-自由）提供了精确解，从而允许计算有限系统中的短程和长程相关性。其主要的理论贡献在于严谨地证明了：在低温相中，取热力学极限的顺序不仅是一个数学技术问题，而且对于正确描述长程有序性在物理上是至关重要的。作者得出结论，序列极限 $N \to \infty$ 随后 $L \to \infty$ 是必要条件，用以正确描述相关函数的性质，特别是随着温度降低至 $T_c$ 以下时长程有序性的出现。这项工作阐明了恢复伊辛模型关于长程有序性出现的根本属性所需的数学条件。