没有完整量子控制，多体哈密顿量还能被学出来吗？

完整控制为何是错误的前提

大多数具有强可证明保证的哈密顿量学习算法，都假设可以快速施加任意单量子比特门并与时间演化交错进行，还能在任意基下测量。论文认为这一假设超出了近期模拟量子模拟器的能力：在里德堡原子阵列中，单个激光为每个原子设定共同的拉比频率和失谐，可单独寻址的门非常有限。

作者把实验者描述为“失控”：学习协议所依赖的单独寻址门往往不在原生工具箱中。于是他们追问，仅使用这些设备原生支持的操作能学到什么，并把两种受限访问模型形式化。

两种访问模型界定学习者的能力

在统一控制（a-to-b）模型中，每次实验制备|0^n>，对每个量子比特施加相同的单量子比特旋转U^{⊗n}，进行时间演化，再施加第二个统一旋转V^{⊗n}，并在计算基下测量每个量子比特。等价地说，每个量子比特都沿共同布洛赫方向a制备，并沿共同方向b测量。

在Z基访问（Z-to-Z'）模型中，每次实验制备一个计算基态|z>，进行时间演化，并在计算基下测量。论文还研究了更弱的全零（0-to-Z'）模型，其中z必须为0^n。两种模型互不包含：统一控制允许任意共同基但没有位点分辨能力，而Z基访问允许在制备时进行位点分辨的比特翻转。两种模型在演化期间都不施加控制，演化时间很短，采集的数据是比特串。

统一控制可恢复每一个参数

对于已知简单图G=(V,E)上的一般最近邻哈密顿量，哈密顿量有3|V|+9|E|个实参数：每个顶点有三个单点场分量，每条边有一个3×3相互作用矩阵。论文表明，对于一般实例，统一控制足以无规范模糊地重建全部参数，适用于任意相互作用图，包括无几何局域性的无界度图。

该协议利用短时演化中的二阶和三阶响应。作者指出，标准的线性响应方法在这里直接失效：一阶数据只能把H确定到维度至少为|E|的线性子空间，不足以恢复全部3|V|+9|E|个实数。样本复杂度、总演化时间和经典后处理时间按Õ(ε^{-2} poly(n,R,1/δ,1/ς))缩放，协议只使用至多四个位点上输出比特串的边缘分布。

Z基访问遇到不可避免的符号对称性

在Z基访问下，论文聚焦于仅含泡利X/Z相互作用的最近邻哈密顿量，这一类涵盖当代里德堡原子平台。对这类哈密顿量，用任意对角酉变换共轭H，或用−H*替换H，都不会改变任何跃迁概率。作者表明这些对称性是唯一的障碍：在1D和2D矩形晶格上，所有参数都可以在模去一个2^{n+1}个符号翻转的离散群的意义下被学到。

对于平移不变族，代价完全与n无关，按Õ(ε^{-2})缩放。对于空间变化的最近邻X/Z哈密顿量，协议使用常数规模的局域实验，其样本复杂度、总演化时间和经典后处理复杂度按Õ(ε^{-2} poly(n,R,ς^{-1},δ^{-1}))缩放。

多项式方程组取代线性响应

在技术层面，协议把学习问题归约为未知系数中高度结构化的多项式方程组。作者证明这些方程组能在不可避免的对称性之外唯一确定参数，并通过对一般（平滑）实例给出显式代数证书，证明其良态。

对于空间变化的情形，证明首先恢复整个晶格上的非对角系数并对其符号对齐。然后在每次局域减法和对角求解中使用K的同一代表：链上的四格点窗口，以及方晶格上某顶点及其邻居。在四格点链窗口上，消去两个边界求和后剩下五个对角变量的十个多项式方程；证书证明这五个变量被唯一确定，随后两个被消去的求和通过除法恢复。

1/ε²代价无法避免

两种协议使用的实验次数和总演化时间都按Õ(poly(n)/ε²)缩放。论文表明，在没有交错控制的情况下，这种1/ε²依赖无法避免：一个下界（定理3）排除了1D最近邻X/Z族在每次实验仅包含一次H下不间断时间演化时的海森堡标度。

这是一个有意义的边界。该下界适用于每次实验一次不间断演化这一特定设置；论文展望中追问，若允许在时间演化期间施加统一控制，标度是否会改变。该问题仍悬而未决，因此1/ε²结果应被理解为关于无交错控制机制的陈述，而非关于所有可能受限访问协议的陈述。

保证在哪里停止

Z基重建结果依赖有限程晶格相互作用。里德堡和囚禁离子相互作用通常具有幂律尾部，把这些重建推广到足够快速衰减的长程相互作用仍是未解问题。相比之下，统一控制结果已经适用于任意已知相互作用图上的一般两体哈密顿量。

论文对Z基定理还假设已知的局域退极化噪声，但没有处理更一般的制备和测量误差。真实动力学可能在演化本身中包含噪声；对于时间齐次马尔可夫动力学，未知生成元将是林德布拉德量而非哈密顿量，能否用同一方法仅凭计算基访问或统一控制识别局域林德布拉德量仍悬而未决。这些结果也在平滑分析框架内陈述，其中系数被尺度为ς的小高斯扰动，因此它们是对一般而非对抗性选择实例的保证。

从受限访问结果中应得到什么

论文中最具决策相关性的比较是两种访问模型之间的比较。统一控制给出更强的保证：对任意已知相互作用图上的一般2-local哈密顿量，完全没有规范模糊，代价按n的多项式缩放。Z基访问给出较弱但仍广泛的保证：对链和矩形晶格上更窄的X/Z最近邻族，重建可达到2^{n+1}个符号翻转以内，但对平移不变族代价与n无关。

对于要判断给定模拟平台能实现什么的读者，实际门槛在于该设备能否通过位点分辨的比特翻转制备任意计算基态。如果能，Z基结果适用于本文研究的X/Z晶格族。如果不能，只有全局旋转可用，那么统一控制结果是相关的，它覆盖任意已知图上的一般2-local哈密顿量。论文自身的表述是：即使在最严格的实验约束下，人们也能从量子多体系统的动力学中学到很多。

本文引用的文献