[论文解读] Detailed Analysis of Circuit-to-Hamiltonian Mappings

James D. Watson|arXiv (Cornell University)|Oct 2, 2019

Quantum Computing Algorithms and Architecture参考文献 26被引用 5

一句话总结

本文對費曼-基塔耶夫電路到哈密頓量映射中的基態能量提供了精確且指數緊密的分析，特別針對具有動態初始化和非均勻懲罰結構的構造。它推導出精確的特徵值界限，顯示在恆定拒絕機率下，基態能量的尺度為 $ O(\eta / T^2) $，顯著改善了先前的尺度估計，並為量子複雜度理論中的更緊湊譜分析提供了工具。

ABSTRACT

The circuit-to-Hamiltonian construction has found widespread use within the field of Hamiltonian complexity, particularly for proving QMA-hardness results. In this work we examine the ground state energies of the Hamiltonian for standard clock constructions and those which require dynamic initialisation. We put exponentially tight bounds on these ground state energies and also determine improved scaling bounds in the case where there is a constant probability of the computation being rejected. Furthermore, we prove a collection of results concerning the low-energy subspace of quantum walks on a line with energy penalties appearing at any point along the walk and introduce some general tools that may be useful for such analyses.

研究动机与目标

• 提供費曼-基塔耶夫哈密頓量基態能量的指數緊密界限，特別是針對具有動態初始化的非標準計數器構造。
• 改進編碼具有恆定拒絕機率之計算的哈密頓量的現有尺度界限。
• 發展一般工具，用於分析在任意位置設置能量懲罰的直線上的量子行走，不僅限於端點。
• 為標準形式與EQMA編碼的哈密頓量建立更緊緻的譜界限，以實現更精確的QMA難度證明。
• 為設計具有微調能量尺度的哈密頓量奠定基礎，此對絕熱量子計算與複雜度理論構造具有相關性。

提出的方法

• 使用一種新型的解耦引理（引理4.1），將直線圖解耦，並分離量子行走不同區段的能量貢獻。
• 應用拉普拉斯矩陣分析與端點懲罰分析，以描述在任意位置設置懲罰的量子行走中的低能量子空間。
• 運用變分法與內積估計，以界定候選基態的雷萊igh商，從而獲得精確的特徵值界限。
• 推導出行走狀態 $ |u_{T'}\rangle $ 範數的界限，並利用三角恆等式簡化包含 $ \sin(\pi/(4T'+2)) $ 及相關項的表達式。
• 引入恆定拒絕機率引理，以分析非零拒絕振幅對基態能量尺度的影響。
• 將EQMA分析作為中間步驟，用於證明QMA的結果，藉由利用EQMA中精確的接受/拒絕條件，推導出更緊緻的界限。

实验结果

研究问题

• RQ1 以動態初始化與非均勻懲罰構造的費曼-基塔耶夫哈密頓量，其基態能量的精確值為何？
• RQ2 恆定拒絕機率的存在如何影響電路到哈密頓量映射中基態能量的尺度？
• RQ3 是否可以分析直線上量子行走的能量懲罰結構，以確定最小化基態能量的懲罰最佳放置位置？
• RQ4 對於編碼EQMA與QMA計算的標準形式哈密頓量，承諾間隔與特徵值尺度的最緊界限為何？
• RQ5 是否可以使用為直線行走所開發的工具，分析單位矩陣標記圖的譜結構，以改進現有界限？

主要发现

• QMA哈密頓量的基態能量尺度為 $ O(\eta / T^2) $，其中 $ \eta $ 為最大拒絕機率，相比先前的尺度分析提供了指數級更緊密的界限。
• 對於動態初始化計數器，基態能量以指數精度被界定，解決了先前近似估計中的模糊性。
• 分析證明，量子行走端點處的懲罰能量低於其他位置的懲罰，並提供了其能量成本的定量界限。
• 解耦引理（引理4.1）可實現直線圖的解耦，使懲罰貢獻得以獨立分析，進而獲得更緊緻的特徵值界限。
• 推導出 $ |u_{T'}\rangle $ 範數的改進界限，顯示當 $ T \geq 2 $ 時，有 $ T|u_{T'}|^2 \geq 1 $，此為最終特徵值估計至關重要。
• 本文確立了 $ \lambda_0(H^{(YES)}_{QMA}) \leq \mu \left(1 - \cos\left(\frac{\pi}{2(T - T_{\text{init}}) + 1}\right)\right) $，且當 $ T_{\text{init}} = O(T^{1/2}) $ 時，可得出最終的 $ O(\eta / T^2) $ 標度。