论 Ashkin-Teller 模型中的反铁磁区间

Ashkin-Teller 模型可由一对 Ising 自旋构型 $(\tau,\tau')$ 表示，各自具有耦合常数 $J$ 和 $J'$，其乘积耦合常数为 $U$。我们在 $d\geq 2$ 的整数格 $\mathbb{Z}^d$ 上研究此表示。借助图表示，我们确认在各向同性情形（$J=J'$）下，当 $-U>0$ 足够大且 $J=J'>0$ 足够小时，存在部分反铁磁相。在此相中，$\tau$ 是无序的，其关联呈指数衰减；而乘积 $\tau\tau'$ 呈反铁磁有序，即关联有界且远离零但符号交替。在相图的这一部分没有可用的关联不等式。在平面情形 $d=2$ 中，我们构造了与六顶点模型的耦合，并类比第一个结果证明相应的高度函数是局域化的，尽管图的某一类顶点上的高度呈反铁磁有序。随后我们回到 $d\geq 2$，考虑相图中 $U<0$ 但关联不等式仍适用的部分。利用 OSSS 不等式，我们沿覆盖此部分的适当曲线建立了亚临界锐度结论，绕过了参数缺乏一般单调性性质的困难。最后我们处理各向同性情形并给出了单调性的迹象。