[논문 리뷰] On the stability to noise of fermion-to-qubit mappings

Guillermo González-García, Filippo Maria Gambetta외 1명|arXiv (Cornell University)|2026. 03. 23.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

이 논문은 로컬 인코딩으로 페르몬을 큐비트로 매핑한 경우 Pauli 잡음 하에서 제곱 페르미온 관측치를 측정하는 데 필요한 정확한 안정성 기준을 도출한다; 실공간 상관관계가 지수 mu > D로 감소하면 안정성이 보장되고, 반면에 Jordan-Wigner 같은 2D의 비국소적 또는 준-국소적 인코딩(Bravyi-Kitaev와 같은)은 그렇지 않다.

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.

연구 동기 및 목표

• 로우-터널 이해를 돕기 위해 near-term 양자 장치에서 incoherent 노이즈에 대한 페르온-큐비트 인코딩의 반응을 이해하도록 동기를 부여한다.
• 인코딩된 페르미닉 시스템에서 Pauli 잡음 하의 제곱 관측치를 측정하는 데 대한 엄밀한 안정성 기준을 도출한다.
• 노 로컬, 비국소, 준-국소 인코딩(Jordan-Wigner 및 Bravyi-Kitaev 포함)을 노이즈 하에서 비교한다.
• 1D/2D의 노이즈가 있는 양자 회로 및 페르미 면적 상태에 대한 안정성 분석을 확장한다.
• 근시-단기 양자 시뮬레이션의 페르미닉 시스템 설계 원칙을 제시한다.

제안 방법

• Majorana 이중선들이 거리에 따라 가중치가 증가하는 Pauli 문자열로 대응된다는 가정로 로컬 페르모닉 인코딩을 설정한다: varphi(r,r') = varphi0 + d(r,r').
• 제곱 관측량 O를 Majorana 이중선들의 합으로 표현하고 상관 행렬 Gamma와 Pauli-노이즈 고유값 lambda를 이용해 노이즈로 교란된 기대값을 경계한다.
• Proposition 1을 증명한다: mu > D에 대한 Pauli 잡음에 대한 안정성 및 명시적 오차 경계 f(p) (질타(zeta)와 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의 비국소 Jordan-Wigner 인코딩(스네이크 순서)이 잡음에 대해 점점 더 취약하고 준-국소 Bravyi-Kitaev류 인코딩도 취약하다는 것을 보인다.
• 일정 깊이의 노이즈 회로에 대해 분석을 확장하고 경계값을 제시한다: 자유 페르미온의 경우 O(f(p) d^{D+2}), 상호작용 회로의 경우 O(f(p) d^{2D+1}) 이다.

실험 결과

연구 질문

• RQ1 로컬 페르미닉 인코딩은 상쇠가 감소하는 상태에서 제곱 관측치를 측정할 때 incoherent 노이즈에 대한 안정성을 달성할 수 있는가?
• RQ2 상관의 감소 속도 mu가 공간 차원 D에 비해 노이즈 하에서의 안정성에 어떤 영향을 미치는가?
• RQ3 비국소(Jordan-Wigner in 2D) 또는 준-국소(Bravyi-Kitaev) 인코딩은 유사한 안정성을 갖는가, 아니면 취약한가?
• RQ4 1D/2D의 페르미 면적 상태에서 모멘텀 공간 관측치에 대한 노이즈의 영향은 어떠한가?
• RQ5 로컬 인코딩을 가진 디지털 페르미닉 시뮬레이션에서 회로 깊이가 안정성 경계에 어떤 영향을 미치는가?

주요 결과

• 로컬 인코딩은 상태의 상관관계가 mu > D로 감소하는 경우 제곱 관측치를 노이즈에 대해 안정적으로 측정할 수 있다.
• 오차의 결과적 스케일은 f(p)이며, mu > D+1일 때 f(p) = O(p), D < mu < D+1일 때 f(p) = O(p^{mu-D}), mu = D+1일 때 f(p) = O(p log(1/p))이다.
• Snake 순서를 사용하는 2D의 Jordan-Wigner는 긴 Pauli 문자열로 인해 노이즈에 대해 점근적으로 취약하다.
• Bravyi-Kitaev와 같은 준-국소 인코딩은 안정성 기준을 만족하지 못하고 시스템 크기에 대해 다항적으로 오차가 증가한다.
• 1D 페르미 면적 상태의 경우, 모멘텀 분포 n(q)의 리피시츠 연속성은 간섭구간에서 벗어나 안정성을 확보하는 데 충분하지만 페르미 표면 근처의 간섭은 안정성을 저하시킬 수 있다.
• 노이즈 회로에서는 상수 깊이 회로에 대한 안정성 경계가 Tight해지며 자유 페르미온의 경우 O(f(p) d^{D+2}), 상호작용의 경우 O(f(p) d^{2D+1})이다.