要實現真正實用的量子計算，需要在兩個維度上持續推進：一是開發新算法以提升量子計算的資源效率，二是通過錯誤處理方法拓展量子硬體的能力邊界。今天，IBM 在這一方向上邁出了新的一步，推出了 Qiskit Paulice——一款將低開銷量子錯誤檢測直接集成到量子電路中的新型 Qiskit 插件。
量子錯誤處理的核心挑戰
量子錯誤處理的核心挑戰在於其計算代價。現有方法通常面臨"時間"與"空間"之間的權衡：錯誤緩解方法（如概率錯誤消除）硬體開銷較低，但需要指數級增長的採樣時間，擴展性有限；而容錯架構雖可實現高效計算，卻需要大量量子比特和複雜硬體支撐。隨著量子電路規模不斷擴大，如何在提升可靠性的同時控制資源成本，成為亟待解決的問題。
量子錯誤處理的三種方式
量子錯誤處理方法通常分為三類：錯誤抑制、錯誤緩解和錯誤糾正。錯誤抑制在硬體層面預防部分錯誤的發生；錯誤緩解通過多次電路執行的噪聲輸出來估算無誤差結果；錯誤糾正則是更為高級的方法，通過跨多個量子比特冗餘編碼量子資訊，在計算過程中檢測並糾正錯誤，但目前尚未完全實現。
錯誤檢測並非獨立的類別，而是錯誤糾正和部分緩解技術的基礎組成部分。它用於驗證某次量子電路運行是否受到錯誤影響，既不需要完整錯誤糾正所要求的大量量子比特開銷，也不像其他緩解技術那樣隨電路規模增長而需要指數級更多的樣本。
傳統錯誤檢測方式存在的問題
傳統錯誤檢測通常將量子比特劃分為數據量子比特和輔助量子比特：數據量子比特執行計算，輔助量子比特負責捕獲數據量子比特中的錯誤。然而，將輔助量子比特引入計算往往會顯著增加電路深度，導致引入的錯誤多於捕獲的錯誤。Qiskit Paulice 正是為解決這一問題而生。
Qiskit Paulice 的工作原理
Paulice 將一種稱為"時空 Pauli 檢驗"的錯誤檢測機制直接嵌入電路中，在電路執行過程中實時檢測錯誤並過濾出錯結果，同時將額外開銷降至最低。
傳統 Pauli 檢驗通過將輔助量子比特與數據量子比特糾纏來實現檢測。測量輔助量子比特時，會輸出一個"綜合徵"——一串比特，用於指示執行過程中是否檢測到錯誤。若綜合徵全為 0，表示未檢測到錯誤；若有任意位為 1，則說明發生了錯誤。
時空 Pauli 檢驗更為高效，因為它將這些約束實現為時空碼：檢驗不僅跨越物理空間中的量子比特，還覆蓋電路執行過程中特定的時間位置，從而能夠跨越更大的計算區域檢測錯誤。這使得時空 Pauli 檢驗在當前硬體上具有更強的實用性——標準 Pauli 檢驗往往需要測量高權重算符，在連接性有限的設備上還需要額外的 SWAP 門，會引入顯著的電路深度；而時空 Pauli 檢驗僅在最有效的位置放置檢驗，實現了低開銷的硬體高效編碼。
並非所有檢驗都同樣有效。每個檢驗都會為電路增加操作，從而引入額外噪聲。一組"好"的檢驗所檢測到的錯誤應多於其引入的錯誤。為此，Paulice 利用噪聲模型和設備連接性約束，自動識別有效、低權重且能有效檢測錯誤的檢驗集合。
這些方法特別適合 Clifford 電路和以 Clifford 為主的電路，在這類電路中可以更便捷地構建高效檢驗。Clifford 電路由特定門集合（如 Hadamard 門、Phase 門和 CNOT 門）構建，其行為在數學上有充分的理解，可在經典電腦上高效模擬，是開發和測試錯誤處理方法的天然起點。
電路執行完成後，可以根據目標以不同方式使用綜合徵資訊：最簡單的方式是對未檢測到錯誤的運行結果進行後選擇，提升結果的保真度；此外，還可以將綜合徵資訊與錯誤緩解或錯誤糾正工作流相結合，進一步降低噪聲影響。
前沿實驗中的應用
Qiskit Paulice 背後的技術概念已開始在前沿實驗中發揮作用。IBM 與芝加哥大學在量子優勢追蹤器中提交的研究成果，便將時空 Pauli 檢驗應用於大規模隨機圖態採樣實驗，屬於隨機電路採樣這一量子優勢早期演示的主流基準。研究表明，低開銷錯誤檢測與基於綜合徵的過濾技術，有助於將量子計算推向經典電腦日益難以模擬的規模。
如何使用 Qiskit Paulice
首先，安裝 qiskit-paulice 軟體包：
pip install qiskit-paulice
接下來，創建一個 Clifford 電路。以 12 量子比特電路為例，包含四層以磚牆模式排列的糾纏門，與單量子比特 Clifford 門層交替分布。然後，識別電路中哪些量子比特可作為目標量子比特，哪些鄰近量子比特可作為輔助量子比特，根據設備連接性選擇量子比特對，以最小化開銷。之後，構建噪聲模型——假設每個門和測量具有大致相同的錯誤概率的基本去極化噪聲模型通常已足夠。最後，結合目標量子比特和噪聲模型，使用 Qiskit Paulice 搜索有效的低權重檢驗並將其添加到電路中。完成上述步驟後，即可得到一個包含 7 個檢驗的電路。
完整教學涵蓋運行已檢驗電路、採樣結果、檢查綜合徵、對無錯誤樣本進行後選擇，以及比較錯誤檢測前後保真度等完整流程，詳見 Paulice 官方文檔。
未來規劃
Paulice 團隊正在積極擴展該軟體包，計劃新增對非 Clifford 系統的支持、後選擇噪聲信道分析，以及在檢驗選擇過程中改進對空閒噪聲的處理。
相關資源包括：Paulice 文檔網站（提供安裝說明、教學及 API 參考）、qiskit-paulice GitHub 倉庫（可下載開源 Qiskit Paulice 插件），以及研究論文《利用時空碼實現低開銷錯誤檢測》。
Q&A
Q1：Qiskit Paulice 是什麼？它能解決什麼問題？
A：Qiskit Paulice 是 IBM 推出的一款 Qiskit 插件，專門用於將低開銷量子錯誤檢測直接集成到量子電路中。它通過在電路中嵌入"時空 Pauli 檢驗"機制，在電路執行過程中實時檢測錯誤並過濾出錯結果，同時將額外開銷降至最低。它主要解決了傳統錯誤檢測方式引入輔助量子比特後電路深度大幅增加、反而帶來更多錯誤的問題。
Q2：時空 Pauli 檢驗與傳統 Pauli 檢驗有什麼區別？
A：傳統 Pauli 檢驗僅在物理空間的量子比特層面設置約束，往往需要測量高權重算符，在連接性有限的硬體上還需要額外的 SWAP 門，導致電路深度顯著增加。時空 Pauli 檢驗則將檢驗約束同時延伸到時間維度，覆蓋電路執行過程中特定的時間位置，能夠跨越更大計算區域檢測錯誤，同時只在最有效的位置放置檢驗，實現了更低的硬體開銷和更高的實用性。
Q3：Qiskit Paulice 適合哪類量子電路使用？
A：Qiskit Paulice 特別適合 Clifford 電路和以 Clifford 為主的電路。Clifford 電路由 Hadamard 門、Phase 門和 CNOT 門等特定門集合構建，其數學行為有充分的理論支撐，可在經典電腦上高效模擬，更容易構建高效的時空 Pauli 檢驗。目前 Paulice 團隊也正在規劃對非 Clifford 系統的支持，未來適用範圍將進一步擴大。
