多体局域化系统精确解中的面积定律

通过构造一个对角化哈密顿量的准局域酉旋转，多体局域化已在现实假设下得到证明 (Imbrie, 2016)。一个自然的推广是考虑所有具有类似结构的酉算子。我们限定了此类酉算子生成的态的纠缠，从而为多体局域化系统本征态中的面积定律提供了独立证明。获得了通过有限深度局域电路逼近该酉算子的误差。我们将所定义的酉算子族与关于多体局域化的其他结果 (Kim et al, 2014) 联系起来，特别是 Lieb-Robinson 界。最后我们论证了，只要哈密顿量在其 Lieb-Robinson 界中具有足够慢的对数光锥，任何哈密顿量都可以被这样的酉算子对角化。