Determinant Quantum-Quantum Monte Carlo: Coherent Auxiliary-Field Sampling
Verdict
高度相关：提出面向行列式量子蒙特卡洛辅助场采样的量子算法框架，并将更新、自相关与符号问题的代价重新表述为量子资源问题。
该文提出 determinant quantum-quantum Monte Carlo（DQ²MC），以量子电路直接实现 DQMC 的辅助场权重与平均，并以全量子或混合量子—经典协议避免传统 Markov 链自相关，同时将符号问题的重加权代价对应到弱值提取的后选择开销。
研究问题
能否将 DQMC 中指数多的 Hubbard–Stratonovich 辅助场权重采样、平均和重加权过程迁移至量子计算机，从而改善更新、自相关或资源标度，并精确刻画符号问题对应的量子代价？
方法线索
- 提出 determinant quantum-quantum Monte Carlo（DQ²MC）量子算法。
- 利用单粒子作用量矩阵的块编码和量子奇异值变换构造 determinant oracle，以直接合成 DQMC 振幅。
- 利用固定辅助场下费米子为自由粒子的性质，在单粒子层面实施构造，而不采用 Jordan–Wigner 或 Bravyi–Kitaev 编码。
- 提出将可观测量构造成干涉振幅的全量子协议。
- 提出仅保留常数大小活跃量子比特块的混合量子—经典协议，并以精确 heat-bath 抽样替换 Metropolis–Hastings 接受步骤。
- 将符号问题中的重加权估计量映射为量子弱值。
对你的用途
- DQMC 辅助场采样与量子计算算法的比较。
- 研究如何通过 rejection-free 更新和非 Markov 方案降低或消除自相关。
- 分析费米子符号问题与量子后选择、弱值测量资源之间的对应关系。
- 关联电子或 Hubbard 类模型的量子算法方法综述。
可核查证据
Abstract论文提出 DQ²MC，将 DQMC 的辅助场采样与平均提升到量子计算机上执行。
Abstractdeterminant oracle 通过单粒子作用量矩阵的块编码和量子奇异值变换直接合成 DQMC 振幅，避免枚举、预计算或存储指数多个 Hubbard–Stratonovich 权重。
Abstract全量子协议以干涉振幅表示可观测量，从而消除 Markov 链及其自相关时间。
Abstract混合协议以精确 heat-bath 抽样替代 Metropolis–Hastings 接受步骤，使任意尺寸的 cluster 更新无拒绝。
Abstract费米子符号问题的重加权估计量被精确映射为量子弱值，相关指数代价对应弱值提取的后选择开销。
量化结果
- 算法所需系统量子比特数标度为 O(log N_st)，其中 N_st 为空间—时间体积。
- 摘要称后选择开销由最大目标概率精确决定：对平滑分布为多项式级别，对尖峰分布可为指数级别。
- 摘要称混合协议中的活跃量子比特块大小为常数。
仍需核实
- 仅基于摘要，无法核实 determinant oracle 的具体电路构造、近似误差和复杂度常数。
- 摘要未提供与经典 DQMC 的直接数值比较，因此“更有利的空间体积深度标度”的适用范围和实际交叉点无法确定。
- 摘要未明确讨论哪些哈密顿量、辅助场分解或观测量可适用该框架。
- 摘要未提供硬件噪声、误差缓释、容错实现或后选择成功率的实例。
展开原始摘要
arXiv:2608.28742v1 Announce Type: cross Abstract: We introduce determinant quantum-quantum Monte Carlo (DQ$^2$MC), a quantum algorithm that lifts the auxiliary-field sampling and averaging at the operational core of determinant quantum Monte Carlo onto a quantum computer. A determinant oracle synthesizes the DQMC amplitudes directly from a block encoding of the single-particle action matrix via quantum singular value transformations, so that the exponentially many Hubbard-Stratonovich weights are never enumerated, precomputed, or stored. Since the fermions are free for fixed auxiliary fields, the construction operates entirely at the single-particle level, requiring $O(\log N_{\mathrm{st}})$ system qubits and no Jordan-Wigner or Bravyi-Kitaev encoding, where $N_{\mathrm{st}}$ is the space-time volume. A full-quantum protocol makes observables interference amplitudes, eliminating the Markov chain and its autocorrelation time altogether; a hybrid quantum-classical protocol retains a constant-size active block of qubits and replaces the Metropolis-Hastings acceptance step with an exact heat-bath draw, so that cluster updates of any size are rejection-free, and passes only classical information between updates, admitting parallel tempering and distributed execution across quantum processors. The circuit-depth scales more favorably with spatial volume than classical DQMC, at the price of a post-selection overhead determined exactly by the largest target probability --- polynomial for smooth distributions, exponential for sharply peaked ones. Finally, the reweighting estimator underlying the fermion sign problem maps exactly onto a quantum weak value, placing the exponential cost of sign-problematic DQMC in precise correspondence with the post-selection overhead of weak-value extraction.