使用具有立方多項式中植入獨立空間的IQP電路進行可驗證量子優勢的新穎方案，實現多項式驗證-模擬間隙。可在~100個邏輯量子比特和~10^-6的錯誤率下實現，具有認證隨機數生成等潛在應用...

#量子優勢 #量子驗證 #研究

研究人員開發了無條件量子採樣優勢驗證測試，使用單位元和成對相關性，並在 Lean 4 中進行了機器驗證的證明，同時確定了通向完全可靠性的路徑。

#量子優勢 #量子驗證 #研究

用於驗證量子計算的第一個準線性資源協議，採用編譯非本地遊戲和計算自檢測。相比先前工作中的三次複雜度，達到 O(poly(λ,log g)·g) 的開銷，使量子電路的實際委託成為可能。

#量子驗證 #量子算法 #量子密碼學

新協議通過單量子比特測量驗證費米子高斯態，實現最優精度標度 O(ϵ⁻¹)。通過譜隙分析實現 O(d²ϵ⁻¹) 樣本複雜度，將量子驗證與高維擴張理論相連接。

#量子驗證 #量子模擬 #研究

證明了對角線測試不能從量子可靠性分析中移除，否則會破壞全局相容性。構造了一個顯式反例，表明軸平行一致性單獨無法強制執行所需的測量交換性。

#量子驗證 #量子資訊 #研究

Trigemini哈密爾頓在超導電路中產生多體糾纏和Wigner負性。基於位移奇偶測量的新型測量高效驗證協議實現了非高斯量子資源的實際實驗認證。

#量子計算 #量子驗證 #研究