2025-11-15T06:49:11.290097

Long-range nonstabilizerness and phases of matter

Korbany, Gullans, Piroli
Long-range nonstabilizerness can be defined as the amount of nonstabilizerness which cannot be removed by shallow local quantum circuits. In this work, we study long-range nonstabilizerness in the context of many-body quantum physics, a task with possible implications for quantum-state preparation protocols and implementation of quantum-error correcting codes. After presenting a simple argument showing that long-range nonstabilizerness is a generic property of many-body states, we restrict to the class of ground states of gapped local Hamiltonians. We focus on one-dimensional systems and present rigorous results in the context of translation-invariant matrix product states (MPSs). By analyzing the fixed points of the MPS renormalization-group flow, we provide a sufficient condition for long-range nonstabilizerness, which depends entirely on the local MPS tensors. Physically, our condition captures the fact that the mutual information between distant regions of stabilizer fixed points is quantized, and this fact is not changed after applying shallow quantum circuits. We also discuss possible ramifications in the classification of phases of matter and quantum error correction.
academic

Long-range nonstabilizerness and phases of matter

基本信息

  • 论文ID: 2502.19504
  • 标题: Long-range nonstabilizerness and phases of matter
  • 作者: David Aram Korbany¹, Michael J. Gullans², Lorenzo Piroli¹
  • 机构: ¹Università di Bologna and INFN, ²University of Maryland and NIST
  • 分类: quant-ph cond-mat.stat-mech
  • 发表时间: 2025年2月26日
  • 论文链接: https://arxiv.org/abs/2502.19504

摘要

长程非稳定性（Long-range nonstabilizerness）可以定义为无法通过浅层局部量子电路移除的非稳定性数量。本工作在多体量子物理学的背景下研究长程非稳定性，这一任务对量子态制备协议和量子纠错码的实现具有重要意义。作者首先提出了一个简单论证，表明长程非稳定性是多体态的一般性质，然后将研究限制在有隙局部哈密顿量的基态类别。重点关注一维系统，在平移不变矩阵乘积态（MPS）的背景下给出了严格结果。通过分析MPS重整化群流的不动点，提供了长程非稳定性的充分条件，该条件完全依赖于局部MPS张量。物理上，该条件捕捉了稳定子不动点远距离区域间互信息量子化的事实，这一事实在应用浅层量子电路后不会改变。

研究背景与动机

问题背景

  1. 稳定子态和Clifford操作：稳定子态和Clifford操作是量子信息理论的基础工具，可以在经典计算机上高效模拟，为量子计算提供了有用的玩具模型，并为量子纠错码的构建提供了理想的构建块。
  2. 非稳定性（nonstabilizerness）：也称为"魔性"（magic），粗略地量化了某个态偏离稳定子态的程度。随着容错量子计算的进展，非稳定性受到了越来越多的关注。
  3. 长程非稳定性的定义：类似于长程纠缠的概念，长程非稳定性可以定义为无法通过浅层局部量子电路移除的非稳定性数量。

研究动机

  1. 量子模拟的重要性：在多体物理学中，人们通常关心长程关联，这些关联不会被局部幺正变换（如浅层量子电路）改变。
  2. 实际应用价值：当目标态不具有长程非稳定性时，可以找到另一个具有相同长程关联但是稳定子态的态，从而更容易在容错量子计算机上实现。
  3. 理论空白：尽管已有一些研究，长程非稳定性的概念在很大程度上仍未被充分探索，特别是在基态物理学的背景下，寻找态波函数中长程非稳定性的特征仍是一个重要的开放问题。

核心贡献

  1. 证明了长程非稳定性的普遍性：通过计数论证表明，长程非稳定性是多体量子态的典型性质。
  2. 提出了充分条件定理：为一维平移不变MPS的长程非稳定性提供了基于RG不动点的充分条件（定理1）。
  3. 建立了必要条件定理：为精确短程非稳定性提供了必要条件（定理2）。
  4. 揭示了物理机制：证明了长程非稳定性与稳定子态互信息的量子化性质密切相关。
  5. 提供了分类框架：建立了短程/长程纠缠与短程/长程非稳定性之间的关系（表I）。

方法详解

任务定义

研究一维量子系统中MPS态的长程非稳定性特征，输入为MPS张量，输出为该态是否具有长程非稳定性的判断。

核心定义

定义1（长程非稳定性）： 态族 {∣ψN⟩}N∈N\{|\psi_N\rangle\}_{N\in\mathbb{N}} 具有短程非稳定性，当且仅当对于所有 ε0>0\varepsilon_0 > 0 和 α>0\alpha > 0，存在深度为 DN=O(polylog(N))D_N = O(\text{polylog}(N)) 的局部量子电路 QDNQ_{D_N} 和稳定子态 ∣SN⟩|S_N\rangle，使得对足够大的 NN：

Δ(QDN∣ψN⟩,∣SN⟩)≤ε0Nα=εN\Delta(Q_{D_N}|\psi_N\rangle, |S_N\rangle) \leq \frac{\varepsilon_0}{N^\alpha} = \varepsilon_N

其中 Δ(∣ψ⟩,∣ϕ⟩)=1−∣⟨ψ∣ϕ⟩∣2\Delta(|\psi\rangle, |\phi\rangle) = \sqrt{1-|\langle\psi|\phi\rangle|^2} 是迹距离。

模型架构

MPS重整化群方法

  1. MPS规范形式：任何平移不变MPS都可以表示为： ∣ϕN⟩=1cN∑j=1bβj(N)∣v(N)(Aj)⟩|\phi_N\rangle = \frac{1}{c_N}\sum_{j=1}^b \beta_j^{(N)}|v^{(N)}(A_j)\rangle
  2. RG不动点：通过阻塞和极坐标分解的迭代过程，MPS流向具有以下形式的不动点： ∣ϕ~N⟩=∑j=1bαj(N)∣Ωj⟩|\tilde{\phi}_N\rangle = \sum_{j=1}^b \alpha_j^{(N)}|\Omega_j\rangle

互信息分析方法

对于三分割 Λ=A∪C∪B\Lambda = A \cup C \cup B，定义互信息： IA,B[ψ]=S(ρA)+S(ρB)−S(ρAB)I_{A,B}[\psi] = S(\rho_A) + S(\rho_B) - S(\rho_{AB})

技术创新点

  1. 利用稳定子态的量子化性质：关键洞察是稳定子态的互信息总是整数，这一性质在浅层量子电路作用下保持不变。
  2. RG不动点分析：通过分析MPS的RG不动点结构，将复杂的MPS问题简化为更易处理的形式。
  3. 局部正交性利用：利用不同RG不动点分量的局部正交性，使得互信息计算变得可行。

实验设置

理论分析框架

本文主要是理论工作，没有传统意义上的数值实验，而是通过严格的数学证明来验证理论结果。

具体例子分析

  1. GHZ类态：考虑态 ∣ϕ~N[α,β]⟩=α∣0⟩⊗N+β∣1⟩⊗N|\tilde{\phi}_N[\alpha,\beta]\rangle = \alpha|0\rangle^{\otimes N} + \beta|1\rangle^{\otimes N}
  2. 四分量态：分析形如 ∣ϕ~N(t)⟩=α1(t)∣00⟩⊗N/2+α2(t)∣01⟩⊗N/2+α3(t)∣10⟩⊗N/2+α4(t)∣11⟩⊗N/2|\tilde{\phi}_N(t)\rangle = \alpha_1(t)|00\rangle^{\otimes N/2} + \alpha_2(t)|01\rangle^{\otimes N/2} + \alpha_3(t)|10\rangle^{\otimes N/2} + \alpha_4(t)|11\rangle^{\otimes N/2} 的态。

实验结果

主要理论结果

定理1（充分条件）： MPS具有长程非稳定性的充分条件是其RG不动点满足： lim⁡N→∞H({∣αj(N)∣2})∉N\lim_{N\to\infty} H(\{|\alpha_j^{(N)}|^2\}) \notin \mathbb{N} 其中 H({pj})=−∑jpjlog⁡2(pj)H(\{p_j\}) = -\sum_j p_j \log_2(p_j) 是Shannon熵。

定理2（必要条件）： RG不动点具有精确短程非稳定性的必要条件是，对所有 i≠ji \neq j： ∣αi∣4/∣αj∣4∈Q|\alpha_i|^4/|\alpha_j|^4 \in \mathbb{Q}

普遍性结果

通过计数论证证明了： lim⁡N→∞nCnSnB→0\lim_{N\to\infty} \frac{n_C n_S}{n_B} \to 0 其中 nBn_B、nSn_S、nCn_C 分别是Hilbert空间中可区分态的数量、稳定子态的数量和浅层量子电路的数量。

分类结果

建立了短程/长程纠缠与短程/长程非稳定性的关系：

  • 短程纠缠态可以具有短程或长程非稳定性
  • 长程非稳定性蕴含长程纠缠
  • 存在具有长程纠缠但无长程非稳定性的态

相关工作

非稳定性研究

  1. 基础理论：Bravyi-Kitaev等人的开创性工作建立了非稳定性的基本概念
  2. 计算方法：近年来在寻找可计算的非稳定性度量方面取得了重要进展
  3. 多体物理应用：非稳定性作为表征多体态和物质相的工具受到关注

长程纠缠理论

  1. 拓扑纠缠熵：Kitaev-Preskill和Levin-Wen的工作建立了长程纠缠态的特征
  2. MPS理论：Cirac等人的综述奠定了MPS在多体物理中的理论基础

量子纠错

  1. 稳定子码：Gottesman的工作建立了稳定子码的理论框架
  2. 容错量子计算：Eastin-Knill定理等结果揭示了非稳定性在容错量子计算中的重要性

结论与讨论

主要结论

  1. 普遍性：长程非稳定性是多体量子态的典型性质
  2. 可检测性：通过RG不动点的Shannon熵可以检测长程非稳定性
  3. 物理机制：长程非稳定性与互信息的非整数性质密切相关

局限性

  1. 充分性：定理1只提供了充分条件，不是必要条件
  2. 维度限制：结果主要针对一维系统，高维情况更复杂
  3. 近似性：定义中允许的误差项使得某些边界情况难以处理

未来方向

  1. 高维推广：将结果推广到高维系统，特别是非阿贝尔拓扑有序模型
  2. 对称保护：研究对称保护的长程非稳定性
  3. 动力学：研究幺正算子的长程非稳定性
  4. 实验验证：寻找实验上可测量的长程非稳定性特征

深度评价

优点

  1. 理论严谨性：提供了严格的数学证明，建立了坚实的理论基础
  2. 概念创新性：首次系统地研究了MPS中的长程非稳定性
  3. 方法新颖性：巧妙地利用了稳定子态的量子化性质和RG方法
  4. 物理洞察：揭示了非稳定性与量子信息几何的深层联系

不足

  1. 条件完备性：充分条件可能不是必要的，存在反例需要进一步研究
  2. 计算复杂性：实际计算RG不动点可能在某些情况下比较困难
  3. 实验连接：理论结果与实验可观测量的联系需要进一步建立

影响力

  1. 理论贡献：为量子多体理论提供了新的分析工具
  2. 应用前景：对量子纠错和量子模拟具有潜在应用价值
  3. 学科交叉：连接了量子信息、多体物理和拓扑相变等领域

适用场景

  1. 量子态分类：可用于分类和表征不同的量子多体态
  2. 量子算法设计：为设计高效的量子态制备协议提供指导
  3. 量子纠错：为构建和分析量子纠错码提供理论支持

参考文献

  1. Gottesman, D. Stabilizer codes and quantum error correction. (1997)
  2. Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (2011)
  3. Cirac, J. I., Perez-Garcia, D., Schuch, N. & Verstraete, F. Matrix product states and projected entangled pair states (2021)
  4. White, C. D., Cao, C. & Swingle, B. Phys. Rev. B 103, 075145 (2021)
  5. Ellison, T. D., Kato, K., Liu, Z.-W. & Hsieh, T. H. Quantum 5, 612 (2021)

这篇论文为量子多体理论提供了重要的理论贡献，建立了长程非稳定性的严格数学框架，并揭示了其与量子信息几何的深层联系。虽然存在一些技术上的局限性，但其创新的方法和深刻的物理洞察使其成为该领域的重要进展。