arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1908.02829quant-phcond-mat.str-elmath-phmath.MPmath.QA
收藏

Kitaev量子双模型作为纠错码

Kitaev's quantum double model as an error correcting code

Shawn X. Cui, Dawei Ding, Xizhi Han, Geoffrey Penington, Daniel Ranard, Brandon C. Rayhaun, Zhou Shangnan

摘要:

Kitaev的二维量子双模型提供了拓扑量子序的一些最常见的研究例子。特别是,地面空间被认为可以产生量子纠错码。我们提供了一个明确的证明,这是任意有限群的情况下。实际上,一个更强有力的主张是:任何两个在某个可收缩区域内能量密度为零的态在该区域内必定具有相同的约化态。或者,规范不变态的局部性质完全通过指定它在该区域的完整性是平凡的来确定。我们将这一结果与规范不变态的局部性质一般不通过指定其所有非阿贝尔通量来确定的事实进行对比--也就是说,格点规范理论的威尔逊圈不形成一个完整的可交换可观测量集。我们还注意到,P. Naaijkens(博士论文,2012)在不同背景下开发的方法可以适用于为Kitaev模型的纠错特性提供另一个证明。最后,我们计算了Kitaev模型中的拓扑纠缠熵,并表明,与文献中先前的说法相反,它不依赖于“log dim R”项是否包括在纠缠熵的定义中。

英文摘要:

Kitaev's quantum double models in 2D provide some of the most commonly studied examples of topological quantum order. In particular, the ground space is thought to yield a quantum error-correcting code. We offer an explicit proof that this is the case for arbitrary finite groups. Actually a stronger claim is shown: any two states with zero energy density in some contractible region must have the same reduced state in that region. Alternatively, the local properties of a gauge-invariant state are fully determined by specifying that its holonomies in the region are trivial. We contrast this result with the fact that local properties of gauge-invariant states are not generally determined by specifying all of their non-Abelian fluxes -- that is, the Wilson loops of lattice gauge theory do not form a complete commuting set of observables. We also note that the methods developed by P. Naaijkens (PhD thesis, 2012) under a different context can be adapted to provide another proof of the error correcting property of Kitaev's model. Finally, we compute the topological entanglement entropy in Kitaev's model, and show, contrary to previous claims in the literature, that it does not depend on whether the "log dim R" term is included in the definition of entanglement entropy.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑