2025-11-10T02:40:52.774349

Universal coarse geometry of spin systems

Elokl, Jones
The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $ϕ$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_ϕ$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_ϕ\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_ϕ)_{con}$ is stable under quasi-local perturbations of the state $ϕ$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $α$ and the coarse structure of the state $ψ\circ α$ where $ψ$ is any product state.
academic

Universal coarse geometry of spin systems

基本信息

  • 论文ID: 2411.07912
  • 标题: Universal coarse geometry of spin systems
  • 作者: Ali Elokl (North Carolina State University), Corey Jones (North Carolina State University)
  • 分类: quant-ph math-ph math.MG math.MP
  • 发表时间: 2024年12月30日 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2411.07912

摘要

本文探讨了在具有根本不同硬件几何结构的量子处理器上实现高度纠缠态的前景，提出了一个核心问题：量子自旋系统的状态在多大程度上具有内在几何结构？作者提出，在热力学极限下，自旋系统的状态和动力学都具有规范关联的粗几何结构（coarse geometry）。对于无限集合X上的抽象自旋系统状态φ，作者定义了一个通用粗结构E_φ，使得状态关于粗结构E具有关联衰减当且仅当E_φ⊆E。在温和假设下，粗连通完备化(E_φ)_con在状态的准局域扰动下保持稳定。

研究背景与动机

核心问题

本文的核心问题源于量子信息实验的最新进展：当在量子处理器上实现高度纠缠的拓扑有序态时，处理器的硬件几何结构可能与理论模型的几何结构不兼容。例如，在2D硬件上实现3D自旋液体的基态需要非局域编码方案。这引出了一个根本性问题：是否存在一种精确的数学意义，使得自旋系统中用于定义基于纠缠的序参量的"正确"几何结构是状态的内在属性？

研究动机

  1. 实验驱动的理论需求：近期在量子处理器上实现拓扑有序态的实验表明，需要理论框架来理解状态的内在几何属性
  2. 量子相等价性的理论基础：传统上通过哈密顿量路径定义量子相，但量子信息视角促进了基于状态的等价性定义
  3. 局域性的抽象化：物理系统中的局域性通过关联函数的距离衰减体现，这种局域性概念只依赖于度量的大尺度几何结构

现有方法的局限性

  • 传统方法依赖于预先给定的空间几何结构
  • 缺乏从状态本身提取几何信息的系统性框架
  • 对于不同硬件几何结构的兼容性问题缺乏理论指导

核心贡献

  1. 通用粗结构理论：为任意函数f: X×X → R⁺定义了通用粗结构E_f，使得f关于粗结构E具有受控衰减当且仅当E_f⊆E
  2. 关联粗结构：为量子自旋系统的状态φ定义了关联粗结构E_φ和高阶版本E_φ̃，刻画了状态的内在几何属性
  3. 动力学粗结构：为量子信道α定义了动力学粗结构E_α，提供了动力学局域性的内在刻画
  4. 稳定性定理：证明了在适当条件下，(E_φ)_con和(E_α)_con在准局域扰动下保持稳定
  5. 序参量的粗依赖性：证明了超选择扇区和临界指数等重要序参量只依赖于度量的粗等价类
  6. 状态制备复杂性：建立了用于制备状态的量子线路与状态本身之间的粗结构兼容性关系

方法详解

数学框架：离散C*-代数网

定义2.1：离散C*-代数网包含：

  • 可数集合X（格点）
  • 幺元C*-代数A（准局域代数）
  • 对每个有限子集F⊆X，幺元子代数A_F⊆A（局域子代数）

满足条件：

  1. 若F⊆G，则A_F⊆A_G
  2. 若F∩G=∅，则A_F, A_G=0
  3. ⋃_{F∈F(X)}A_F在A中稠密

粗几何结构

定义3.1：集合X上的粗结构E是X×X的子集族，满足：

  1. 包含对角线，对子集和有限并封闭
  2. 若E∈E，则E⁻¹∈E
  3. 若E,F∈E，则E∘F∈E

核心构造： 对函数f: X×X → R⁺∪{∞}，定义：

  • E_{f,ε} := {(x,y) ∈ X×X : f(x,y) ≥ ε}
  • E_f := ⋃{ε>0} ⟨E{f,ε}⟩

关联粗结构

定义4.13：对于状态φ，定义二点关联函数： Cφ(x,y)=sup⁡a∈(Ax)1,b∈(Ay)1‖φ(ab)−φ(a)φ(b)‖C_φ(x,y) = \sup_{a∈(A_x)_1, b∈(A_y)_1} ‖φ(ab) - φ(a)φ(b)‖

高阶关联函数： C~φ(F,G)=sup⁡a∈(AF)1,b∈(AG)1‖φ(ab)−φ(a)φ(b)‖\tilde{C}_φ(F,G) = \sup_{a∈(A_F)_1, b∈(A_G)_1} ‖φ(ab) - φ(a)φ(b)‖

关联粗结构定义为：E_φ := E_{C_φ}，E_φ̃ := E_{\tilde{C}_φ}

动力学粗结构

定义4.23：对量子信道α: A→A，定义尾函数： Qα(x,y):=sup⁡a∈(Ax)1,b∈(Ay)1‖[α(a),b]‖Q_α(x,y) := \sup_{a∈(A_x)_1, b∈(A_y)_1} ‖[α(a), b]‖

动力学粗结构：E_α := E_{Q_α}

通用性定理

定理4.2：对任意函数f: X×X → R⁺∪{∞}，存在粗结构E_f使得：f关于粗结构E具有受控衰减当且仅当E_f⊆E。

主要理论结果

稳定性定理

定理5.3（关联粗结构稳定性）：设φ: A→B是ucp映射，且E_φ是真且单生成的。则对任意准局域扰动Ψ: A→A，有(E_{φ∘Ψ}) = (E_φ)。

定理5.7（动力学粗结构稳定性）：类似的稳定性结果对动力学粗结构成立。

状态制备复杂性

定理1.5：若φ是状态，α是从乘积态制备φ的线路，则E_φ̃ ⊆ E_α̃。

这意味着制备具有某种粗复杂性的状态需要至少同样复杂的线路。

序参量的粗依赖性

命题7.6：关联长度为0、有限关联长度和无限关联长度的定义只依赖于度量的准等价类。

命题7.10：代数衰减的关联函数和临界指数与度量的准等价类无关。

应用与例子

物理系统例子

  1. 能隙哈密顿量的基态：具有指数衰减的关联函数
  2. 平衡态：吉布斯态或KMS态在低温和高温下具有受控衰减
  3. 量子元胞自动机：动力学粗结构恢复原始几何结构
  4. Cayley图上的自旋系统：平移不变因子态的粗结构包含在群的粗结构中

拓扑序的粗几何表述

定义7.3：Hilbert空间表示H满足(X,d)上的粗超选择准则，如果对任意三元组L,C,D，存在常数R≥0使得对任意粗L,C,D锥f: D→X，H在f(D)+R中可局域化。

命题7.4：

  1. 若d'与d准等距，则Sec^d_φ = Sec^{d'}_φ
  2. 若(X,d) = Z^n，则Sec^d_φ = Sec_φ

深度评价

优点

  1. 理论创新性：首次系统性地将粗几何理论应用于量子多体系统，为状态的内在几何属性提供了严格的数学框架
  2. 普适性：框架适用于经典和量子系统，以及更复杂的代数结构
  3. 稳定性保证：证明了粗结构在物理相关的扰动下的稳定性，为实际应用提供了理论保障
  4. 计算可行性：通过渐近维数和增长函数提供了有限系统中估计粗结构的方法
  5. 深刻洞察：揭示了许多"普适"性质实际上是粗几何性质，为重整化群理论提供了新视角

不足

  1. 实用性限制：理论框架主要适用于热力学极限，对有限系统的应用需要进一步发展
  2. 计算复杂性：完全确定粗结构在实践中可能计算复杂，需要发展高效算法
  3. 物理直觉：高度抽象的数学框架可能难以与物理直觉建立直接联系
  4. 实验验证：理论预测的实验验证方法尚未充分发展

影响力

  1. 理论物理：为凝聚态物理中的相分类和临界现象提供了新的数学工具
  2. 量子信息：为量子处理器上的状态实现提供了几何兼容性的理论指导
  3. 数学物理：建立了算子代数理论与粗几何之间的深刻联系
  4. 跨学科影响：方法可能适用于网络理论、拓扑数据分析等其他领域

适用场景

  1. 量子模拟：指导在不同硬件几何上实现目标量子态
  2. 相分类：基于粗几何的量子相等价性分类
  3. 临界现象：研究临界点附近的普适性质
  4. 拓扑量子计算：理解拓扑序的几何依赖性

结论与展望

本文建立了量子自旋系统状态和动力学内在几何结构的严格数学理论。通过粗几何框架，作者证明了许多重要的物理性质实际上只依赖于大尺度几何结构，而非具体的度量细节。这一理论不仅为理解量子多体系统提供了新视角，也为量子信息处理中的几何兼容性问题提供了解决方案。

未来的研究方向包括：

  1. 发展有限系统中粗结构的高效计算方法
  2. 建立与持续同调等拓扑数据分析工具的联系
  3. 探索粗几何框架在量子场论中的应用
  4. 发展基于粗几何的量子相分类理论

这项工作为数学物理和量子信息的交叉研究开辟了新的方向，具有重要的理论价值和潜在的实用意义。