[論文レビュー] On the stability to noise of fermion-to-qubit mappings

Guillermo González-García, Filippo Maria Gambetta+1 more|arXiv (Cornell University)|Mar 23, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

この論文は、局所エンコーディングを用いてフェルミオンを量子ビットへマッピングしたとき、パウリノイズ下で二次のフェルミオン観測量を測定する際の厳密な安定性基準を導出する。実空間相関が mu > D で減衰する場合は安定性を保証し、ジョルダン＝ワイナーの2Dのような非局所的または準局所的エンコーディングは安定性を欠く。

ABSTRACT

Quantum simulations before fault tolerance suffer from the intrinsic noise present in quantum computers. In this regime, extracting meaningful results greatly benefits from stability against that noise. This stability, defined as an error in observables that is independent of the system's size, is expected in local systems under local noise. In fermionic systems, the encoding of the fermionic degrees of freedom into qubits can introduce non-locality, making stability more delicate. Here, we investigate the stability to noise of fermion-to-qubit mappings. We consider noisy quantum circuits in $D$ dimensions modeled by alternating layers of local unitaries and general, single-qubit Pauli noise. We show that, when using local fermionic encodings, expectation values of quadratic fermionic observables are stable to noise in states with spatially decaying correlations: a power-law decay with exponent $μ>D$ is sufficient for stability. By contrast, we show that this stability cannot be achieved by non-local encodings such as Jordan-Wigner in $2D$, or quasi-local ones such as the Bravyi-Kitaev transform. Our findings formalize the intuition that decaying correlations of the physical systems under study provide protection against noise for local fermionic encodings, and help inform design principles in near-term quantum simulations.

研究の動機と目的

• 近潮的な量子デバイスにおけるフェルミオン→量子ビットエンコーディングが incoherent ノイズにどのように応答するかを理解する動機づけ。
• エンコードされたフェルミオン系におけるパウリノイズ下での二次的観測量の測定に対する厳密な安定性基準を導出する。
• ノイズ下で局所・非局所・準局所エンコーディング（ジョルダン＝ワイナーおよびブラビイ＝キターフの含む）を比較する。
• ノイズのある量子回路やフェルミオン表面をもつ1D/2D状態への安定性解析を拡張する。
• 局所エンコーディングを用いたフェルミオン系の近潮的な量子シミュレーションを設計するための指針を提供する。」,

提案手法

• マジョラーナ双線形が距離とともに重みを増すパウリ文字列へマップされる局所フェルミオンエンコーディングを仮定する: varphi(r,r') = varphi0 + d(r,r').
• 二次的観測量Oをマジョラーナ双線形の和として表現し、相関行列Gammaとパウリノイズの固有値lambdaを用いてノイズ摂動後の期待値を境界付けする。
• 命題1を証明する: mu > D に対するパウリノイズ安定性と明示的な誤差境界f(p)（ゼータ関数とLiポリログを含む）。
• f(p)の漸近挙動を示す: D<mu<D+1 では O(p^{mu-D})、mu=D+1 では O(p log(1/p))、mu> D+1 では O(p)。
• 2Dでの非局所的なジョルダン＝ワイナー型エンコーディング（蛇順）によるノイズ耐性の脆弱性と、ブリャヴィ＝キターフ型準局所エンコーディングの脆弱性を示す。
• 定数深さのノイズ回路へ拡張し、自由フェルミオンの場合は O(f(p) d^{D+2})、相互作用回路の場合は O(f(p) d^{2D+1}) の境界を提供する。

実験結果

リサーチクエスチョン

• RQ1 局所フェルミオンエンコーディングは、相関が減衰する状態の二次観測量を測定する際に incoherent ノイズへ安定性を示すか？
• RQ2 相関の減衰率 mu が空間次元 D に対してノイズ耐性パウリノイズの安定性にどう影響するか？
• RQ3 非局所（2Dのジョルダン＝ワイナー）または準局所（ブライヴィ＝キターフ）エンコーディングは同様の安定性を持つか、それとも脆弱か？
• RQ4 フェルミ面を持つ1D/2D状態における運動量空間の観測量にノイズが与える影響は？
• RQ5 局所エンコーディングを用いたデジタルフェルミオンシミュレーションの回路深さが安定性境界に与える影響は？

主な発見

• 局所エンコーディングは、状態の相関が mu > D で減衰する場合、二次観測量のノイズ安定性を示す。
• 誤差は f(p) によってスケールし、mu > D+1 では O(p)、D < mu < D+1 では O(p^{mu-D})、mu = D+1 では O(p log(1/p))。
• 蛇順付けを用いる2Dのジョルダン＝ワイナーは長いパウリ文字列のためノイズに対して漸近的に脆弱。
• ブリャヴィ＝キターフ型の準局所エンコーディングは安定性基準を満たさず、系サイズとともに誤差が多項式的に増大。
• 1Dのフェルミ面状態では、運動量分布 n(q) のリプシッツ連続性が discontinuities から離れた領域で安定性を保証する；フェルミ表面近傍の不連続性は安定性を低下させうる。
• ノイズ回路では定数深さ回路に対して安定性境界が絞られ、自由フェルミオンで O(f(p) d^{D+2})、相互作用回路で O(f(p) d^{2D+1})。