[论文解读] A PTAS for the Classical Ising Spin Glass Problem on the Chimera Graph Structure

Rishi Saket|arXiv (Cornell University)|Jun 20, 2013

Markov Chains and Monte Carlo Methods参考文献 4被引用 9

一句话总结

本文提出了一种针对在量子退火中使用的非平面Chimera图结构上的经典Ising自旋玻璃问题的多项式时间近似方案（PTAS），通过利用结构对称性，将Bansal等人（2009年）在平面网格上的技术进行适配。关键结果是在时间 O(n·2^(32/ε)) 内实现 (1−ε)-近似，且平凡下界被证明在常数因子（≤17.26）之内接近最优解，该结论基于Grothendieck不等式与K₄,₄子图分析。

ABSTRACT

We present a polynomial time approximation scheme (PTAS) for the minimum value of the classical Ising Hamiltonian with linear terms on the Chimera graph structure as defined in the recent work of McGeoch and Wang. The result follows from a direct application of the techniques used by Bansal, Bravyi and Terhal who gave a PTAS for the same problem on planar and, in particular, grid graphs. We also show that on Chimera graphs, the trivial lower bound is within a constant factor of the optimum.

研究动机与目标

• 将Ising自旋玻璃问题的PTAS从平面图扩展到量子退火中使用的非平面Chimera图结构。
• 建立在Chimera图上最小化Ising哈密顿量的多项式时间近似方案（PTAS）的存在性。
• 证明对基态能量的平凡下界在常数因子内接近真实最优解，从而改进近似保证。
• 将Bansal等人（2009年）在平面网格上提出的划分与动态规划技术，适配到Chimera图的分层多组件结构。

提出的方法

• 通过从 E₀ 或 E₁ 中移除少量边，将Chimera图分解为常宽条带，从而实现递归划分。
• 在 T=2/ε 个分区上应用随机舍入技术，以获得最小哈密顿量值的 (1−ε)-近似。
• 在宽度不超过 8T 的条带图上使用动态规划，计算每个分区的最小能量分配。
• 利用 E₀₁ 的结构为不相交的 K₄,₄ 子图，通过Grothendieck不等式与一个通用常数 C 来界定双线性形式。
• 通过结合 E₀、E₁、E₀₁ 和线性项的界，建立对最小能量的下界。
• 使用向量嵌入与内积最大化，推导出在 K₄,₄ 上二次型最小值的下界，从而实现常数因子近似。

实验结果

研究问题

• RQ1 能否为非平面Chimera图结构上的经典Ising自旋玻璃问题构建一个PTAS？
• RQ2 对Chimera图而言，基态能量的平凡下界是否在常数因子内接近真实最优解？
• RQ3 Bansal等人（2009年）在平面网格上提出的技术能否被适配到Chimera图的分层多组件结构？
• RQ4 通过对最小能量的常数因子下界，所能达到的最佳近似因子是多少？

主要发现

• 对于Chimera图上的Ising自旋玻璃问题，存在一个 (1−ε)-近似算法，对任意 ε>0，其时间复杂度为 O(n·2^(32/ε))。
• 对最小能量的平凡下界在常数因子 (3C+4)/C ≤ 17.26 之内接近真实最优解，其中 C > ln(1+√2)/π。
• 哈密顿量 H(S) 的最小值被上界限制为 −(C/(3C+4))(∑|c_uv| + ∑|d_u|)，从而确立了常数因子近似。
• 通过移除 O(1/ε) 条边后将图分解为常宽条带，使得PTAS的存在性得以实现，同时保持近似可计算性。
• 分析依赖于Grothendieck不等式，以界定在 K₄,₄ 子图上双线性形式的最小值，从而获得一个通用常数 C。
• 该算法通过在 T=2/ε 个分区上最小化哈密顿量并选择最优分配来实现近似，确保了测度集中性。