[论文解读] Quantum Simulation of Lattice Gauge Theories in more than One Space Dimension -- Requirements, Challenges, Methods

Erez Zohar|arXiv (Cornell University)|Jun 8, 2021

Quantum Chromodynamics and Particle Interactions参考文献 66被引用 8

一句话总结

本文综述了在多于一维空间中量子模拟规范场理论（LGTs）的理论要求、挑战与方法，重点关注费米子物质、规范不变性以及非平凡的环路（plaquette）相互作用。文章提出了若干策略——如周期性演化、对偶形式以及费米子到玻色子的映射——以在量子平台上实现这些复杂相互作用，从而实现对1+1D以外非微扰物理的探索。

ABSTRACT

Over the recent years, the relatively young field of quantum simulation of lattice gauge theories - aiming at implementing simulators of gauge theories with quantum platforms, has gone through a rapid development process. It is now of interest not only to people in the quantum information and technology community, but also seen as a valid tool for tackling hard, nonperturbative gauge theory physics by more and more particle and nuclear physicists. Along the theoretical progress, nowadays more and more experiments which actually implement such simulators are being reported, manifesting beautiful results, but mostly on $1+1$ dimensional physics. In this paper, we review the essential ingredients and requirements of lattice gauge theories in more dimensions, discuss their meanings, the challenges they impose and how they could be dealt with, potentially, aiming at the next steps of this field towards simulating challenging physical problems.

研究动机与目标

• 识别并解决在多于一维空间中模拟规范场理论（LGTs）的核心理论与实验挑战。
• 阐明量子模拟器实现LGTs的基本要求，包括费米子自由度、规范不变性以及非局域的环路相互作用。
• 评估现有与新兴方法——如周期性演化、对偶形式以及对称性保持的映射——在实现高维LGT动力学方面的可行性。
• 为未来实验与理论研究提供指导，推动实现1+1D以外的非微扰强关联规范场理论的模拟。

提出的方法

• 通过精确或近似映射，将LGTs的Kogut-Susskind哈密顿量映射到量子模拟器上，同时保持希尔伯特空间结构与对称性。
• 利用具有可调相互作用的冷原子实现费米统计，或在规范场存在下通过局部幺正映射将费米子转换为硬核玻色子。
• 通过Trotter-Suzuki分解与辅助自由度实现周期性时间演化，以在时间演化过程中保护规范对称性，从而强制满足高斯定律约束。
• 通过辅助粒子实现的序列两体相互作用构建四体环路相互作用，实现在无需直接四体耦合的情况下产生非平凡的规范动力学。
• 利用对偶形式将非局域的磁项转换为局域项，从而简化实现，但代价是电项出现非局域性。
• 应用有效粒子交换机制或虚环过程，以模拟环路中的迹项，尤其适用于阿贝尔与非阿贝尔情形。

实验结果

研究问题

• RQ1 如何在二维及以上维度LGTs的量子模拟器中一致地编码费米子物质自由度？
• RQ2 在当前量子平台上实现高维LGT模拟时，保持规范不变性的最低要求是什么？
• RQ3 在不使用直接多体耦合的情况下，实现二维及以上LGTs中非平凡四体环路相互作用的最可行路径是什么？
• RQ4 在何种情况下可使用对偶形式简化高维LGTs的模拟？其权衡是什么？
• RQ5 周期性或数字量子模拟方案如何在生成复杂规范动力学的同时保持规范对称性？

主要发现

• 二维及以上LGTs中的费米统计可通过具有可调相互作用的冷原子或通过局部幺正映射至硬核玻色子来实现，从而实现对非阿贝尔与非微扰物理的访问。
• 通过引入辅助自由度的周期性演化，可在量子模拟器中保持规范不变性，从而在时间演化过程中保护该对称性。
• 环路相互作用——非阿贝尔LGTs的核心——可通过Trotter化演化实现的序列两体相互作用来构建，尽管大多数平台不直接支持此类四体耦合。
• 对偶形式可通过使磁项局域化来消除非局域性，但代价是引入非局域电项，尤其在引入动力学物质时更为显著。
• 有效虚粒子环或环路周围运动过程可模拟哈密顿量中的迹项，但这些机制通常产生弱相互作用，且尚未在实验中实现。
• 从1+1D向更高维LGT模拟的过渡面临实现复杂规范动力学的“瓶颈”，这仍是近期实验的关键挑战。