[论文解读] Hyper-Invariant MERA: Approximate Holographic Error Correction Codes with Power-Law Correlations

ChunJun Cao, Jason Pollack+1 more|arXiv (Cornell University)|Mar 15, 2021

Quantum Computing Algorithms and Architecture参考文献 35被引用 7

一句话总结

本文提出超不变MERA（HMERA），一种新型张量网络，统一了高效的变分态制备与近似全息量子纠错，支持幂律关联函数。通过结合多种张量类型——特别是基于稳定化的码张量与杂交张量——证明其可在保持局部可收缩性与近似码性质的同时支持非平凡关联，解决了单张量MERA构造中禁止此类特性的无解定理。

ABSTRACT

We consider a class of holographic tensor networks that are efficiently contractible variational ansatze, manifestly (approximate) quantum error correction codes, and can support power-law correlation functions. In the case when the network consists of a single type of tensor that also acts as an erasure correction code, we show that it cannot be both locally contractible and sustain power-law correlation functions. Motivated by this no-go theorem, and the desirability of local contractibility for an efficient variational ansatz, we provide guidelines for constructing networks consisting of multiple types of tensors that can support power-law correlation. We also provide an explicit construction of one such network, which approximates the holographic HaPPY pentagon code in the limit where variational parameters are taken to be small.

研究动机与目标

• 在单一框架中统一MERA（高效变分试探波函数）与HaPPY码（精确量子纠错）的特性。
• 解决全息张量网络中局部可收缩性与非平凡幂律关联之间的矛盾。
• 构建一个支持子区域对偶性、体相重建与非平凡两点函数，同时保持高效可收缩性的网络。
• 证明一个无解定理，表明单类型张量的MERA无法同时支持局部可收缩性与幂律关联。
• 在小参数极限下，提供一种多张量HMERA的明确构造，使其近似HaPPY五边形码。

提出的方法

• 提出一种使用两种不同张量类型的混合张量网络：基于[[5,1,3]]码的稳定化码张量与杂交张量。
• 采用变分参数在完美张量与不完美纠错张量之间插值，实现近似量子纠错。
• 使用张量网络收缩技术计算约化密度矩阵，并在不显式进行矩阵对角化的情况下验证等距性质。
• 应用超算符形式化方法分析张量收缩下的纠缠谱与码性质。
• 证明张量收缩中的交叉项由于稳定化码的反对易关系而消失，确保在|00⟩逻辑态下满足1-等距性。
• 构建一个显式的HMERA模型，其中码性质在小-θ极限下显现，近似于HaPPY码。

实验结果

研究问题

• RQ1 单类型张量的MERA网络能否同时支持局部可收缩性与幂律关联函数？
• RQ2 若仅使用一种量子擦除码构建，何种限制阻止了局部可收缩MERA表现出非平凡关联？
• RQ3 变分张量网络如何在保持高效可收缩性的同时支持近似量子纠错与幂律关联？
• RQ4 何种张量组合可使网络近似HaPPY码，同时保持全息码性质？
• RQ5 在何种极限下，所提出的HMERA模型恢复HaPPY五边形码的特性？

主要发现

• 证明了一个无解定理：由单一类型量子擦除纠错码构建的局部可收缩MERA无法支持非平凡幂律关联函数。
• 所提出的HMERA模型使用两种不同张量类型——稳定化码与杂交张量——实现了局部可收缩性与幂律关联的并存。
• 不完美张量作为近似[[5,0,2]]_4码，当逻辑态固定为|00⟩时可纠正任意单-qudit擦除错误。
• 在小-θ极限下，HMERA模型良好地近似HaPPY五边形码，继承其码性质与体相重建特性。
• 张量收缩分析表明，交叉项因稳定化码反对易关系而消失，验证了|00⟩态下的1-等距性。
• 纠缠谱非平坦，表明存在非平凡纠缠结构，与全息及纠错特性一致。