缺陷自举法：自发对称性破缺相中的严格基态界限

基于正性约束的半定松弛的自举方法的最新发展，使得直接在热力学极限下对局域可观测量进行严格的双边界限成为可能。然而，这些界限在对称性破缺相中不可避免地会变得宽松，因为局域约束不足以捕捉长程序。在这项工作中，我们确定了这种宽松的根源在于序参量缺陷，这些缺陷难以用局域算符移除。我们引入了一个缺陷自举框架，通过将系统嵌入一个配备有辅助自由度的辅助缺陷模型中来解决这一局限性。这种构造有效地使局域算符能够移除序参量缺陷，从而在具有自发对称性破缺的相中得到更严格的界限。这种方法可以广泛应用于具有离散或连续内部对称性的成对相互作用局域晶格模型，这些模型满足一个我们称之为缺陷抗磁性的性质，该性质要求基态能量不会因添加任何有限数量的对称性缺陷而降低。将该方法应用于一维和二维的横场伊辛模型，我们在整个一维对称性破缺相以及二维相的深处，获得了能量密度和自旋关联函数的显著改进的界限。我们的结果表明，物理驱动的约束集可以显著增强量子多体系统自举方法的能力。