⚛️ quantum physics

Classical simulation of coherent crosstalk in surface codes

이 논문은 가간섭성 근접 이웃 $ZZ$ 크로스토크 하에서의 표면 코드를 시뮬레이션하기 위한 다항 시간 고전 알고리즘을 제시하는 동시에, 단일 큐비트 가간섭성 노이즈와 크로스토크가 동시에 존재할 경우 다항 계층이 붕괴하지 않는 한 효율적인 고전 시뮬레이션이 불가능함을 입증한다.

원저자: Andrew S. Darmawan, Yelyzaveta Kolesnyk, Robert Koenig

게시일 2026-10-01

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Andrew S. Darmawan, Yelyzaveta Kolesnyk, Robert Koenig

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

양자 컴퓨터는 일반적인 기계로는 수천 년이 걸릴 문제를 해결할 가능성을 약속하지만, 믿을 수 없을 정도로 취약합니다. 이를 작동시키기 위해 과학자들은 끊임없이 주변 환경으로부터 발생하는 충격으로부터 정교한 정보를 보호해야 합니다. 이를 위한 가장 유망한 방법 중 하나는 '표면 코드(surface code)'를 사용하는 것인데, 이는 단 하나의 정보 조각을 여러 물리적 입자의 격자 전체로 분산시키는 방식입니다. 만약 입자 하나가 손상되면, 시스템은 입자들이 이웃들과 어떻게 상호작용하는지 확인하여 오류를 감지하고 이를 수정할 수 있습니다. 이 과정은 미묘한 균형에 의존합니다. 즉, 시스템은 노이즈를 처리할 수 있을 만큼 견고하면서도, 그 동작을 예측할 수 있을 만큼 단순해야 합니다. 수년 동안 연구자들은 이러한 코드가 무작위적이고 예측 불가능한 오류를 어떻게 처리하는지는 이해해 왔지만, 더 미묘하고 위험한 유형의 노이즈는 여전히 미스터리로 남아 있었습니다. 이것이 바로 '결맞는 크로스토크(coherent crosstalk)'로, 이웃하는 입자들이 단순히 무작위로 뒤집히는 것이 아니라 서로 동기화된 파동과 같은 방식으로 영향을 주고받는 현상입니다. 이러한 파동은 서로 간섭할 수 있기 때문에 복잡한 패턴을 만들어내며, 이는 예측하기가 매우 어려워 과학자들로 하여금 자신들의 오류 수정 시스템이 이를 진정으로 견뎌낼 수 있을지 확신하지 못하게 만듭니다.

한 연구팀이 이제 이 문제를 해결하여, 대규모 규모에서 이러한 동기화된 오류가 어떻게 행동하는지를 시뮬레이션할 수 있는 방법을 제공했습니다. 그들은 수천 개의 입자를 포함하는 표면 코드에 대한 이러한 오류의 발생 가능성을 있는 그대로 빠르게 계산할 수 있는 새로운 컴퓨터 알고리즘을 개발했습니다. 그들의 연구는 양자 노이즈의 본질에 담긴 놀라운 이중성을 드러냅니다. 만약 노이즈가 이웃 간의 동기화된 상호작용만으로 구성된다면, 이 문제는 해결 가능합니다. 연구진은 복잡한 격자를 즉시 해결 가능한 두 개의 더 단순하고 독립적인 퍼즐로 나누는 영리한 방법을 찾아냈습니다. 그러나 상황은 아주 작은 종류의 다른 노이즈가 추가되는 순간 급격히 변합니다. 만약 시스템이 동기화된 이웃 상호작와 입자 개별의 작은 회전이 결합된 형태의 노이즈에 모두 노출된다면, 문제는 현대 컴퓨터 과학의 근본적인 규칙이 완전히 다시 쓰이지 않는 한, 어떤 효율적인 고전 컴퓨터로도 계산이 불가능한 상태가 됩니다.

연구진은 인접한 입자들이 일제히 회전하게 만드는 힘을 통해 상호작용하는 특정 유형의 양자 오류에 집중했습니다. 현실 세계에서는 초전도 큐비트(많은 양자 컴퓨터의 구성 요소)가 서로 가깝게 배치될 때 그들의 자기장이 서로에게 누설되면서 이런 현상이 발생합니다. 표면 코드가 이를 견뎌낼 수 있는지 이해하기 위해 연구팀은 시스템의 반응을 시뮬레이션해야 했습니다. 이 모델링에 대한 이전의 시도들은 매우 작은 격자로 제한되었거나, 중요한 세부 사항을 놓칠 수 있는 근사치에 의존했습니다. 그러나 새로운 알고리즘은 거리가 37인 격자, 즉 1,369개의 물리적 입자에 해당하는 규모를 처리할 수 있습니다. 이는 회전된 격자 위의 복잡한 상호작용의 망을 두 개의 별개이고 더 단순한 격자로 매핑함으로써 가능해졌습니다. 거대하고 얽힌 문제를 한꺼번에 해결하려 하는 대신, 알고리즘은 작업을 단일 입자 오류를 포함하는 두 개의 더 작은 독립적인 문제로 나눕니다. 그런 다음 결과를 결합하여 전체 시스템에 어떤 일이 일어나는지에 대한 정확한 그림을 제시합니다. 이 접근 방식은 이전에 이 정도로 큰 시스템에서는 불가능했던 작업인, 수천 개의 시뮬레이션 오류 시나리오를 단 몇 밀리초 만에 생성할 수 있게 해줍니다.

이 강력한 도구를 사용하여, 연구팀은 '최소 가중치 완벽 매칭(minimum-weight perfect matching)'으로 알려진 표준 오류 수정 방식이 이러한 동기화된 오류에 대해 얼마나 잘 작동하는지 테스트했습니다. 그들은 실제의 파동 형태 노이즈를 상호작용이 무작위적이고 독립적인 실수로 취급되는 단순화된 모델과 비교했습니다. 결과는 극명했습니다. 노이즈가 결맞고 동기화되어 있을 때, 오류 수정 시스템은 단순화된 모델이 예측한 것보다 훨씬 더 자주 실패했습니다. 특정 노이즈 강도에서, 시스템은 동일한 노이즈를 무작위로 취급했을 때보다 논리적 오류율이 거의 50배 더 높게 나타났습니다 간섭의 파동적 특성이 오류를 포착하고 수정하는 것을 훨씬 더 어렵게 만든다는 것을 시사합니다. 격자 크기를 점진적으로 키워가며 시뮬레이션을 수행함으로써, 연구진은 시스템이 완전히 작동을 멈추게 되는 지점을 추정했습니다. 그들은 결맞는 노이즈에 대한 임계값이 무작위 노이즈에 비해 현저히 낮다는 것을 발견했으며, 이는 시스템이 붕괴하기 전에 훨씬 더 적은 양의 동기화된 간섭만을 견딜 수 있음을 의미합니다.

이 연구는 또한 심오한 이론적 한계를 밝혀냈습니다. 연구진은 동기화된 이웃 오류를 효율적으로 시뮬레이션할 수 있었지만, 여기에 개별 입자의 회전을 아주 조금이라도 섞는 순간 게임의 법칙이 완전히 바뀐다는 것을 증명했습니다. 이 결합된 시나리오에서 오류의 패턴은 너무 복잡해져서, 다항 계층(polynomial hierarchy)이 붕괴되지 않는 한 효율적인 고전 컴퓨터로는 해결할 수 없다고 믿어지는 문제의 부류와 연결됩니다. 연구진은 만약 이 결합된 노이즈의 결과를 예측할 수 있는 빠른 알고리즘이 존재한다면, 그것은 현대 컴퓨팅 이론의 근간이 되는 수학적 계층의 붕괴를 의미한다는 것을 보여주었습니다. 이는 가장 일반적인 경우의 양자 노이즈에 대해서는, 표준 컴퓨터를 사용하여 이러한 대규모 시스템의 행동을 완벽하게 예측하는 것이 영원히 불가능할 수도 있음을 뜻합니다. 우리가 할 수 있는 유일한 방법은 실제 양자 기계를 구축하고 관찰하는 것뿐입니다.

이러-결과의 함의는 두 가지 측면이 있습니다. 첫째, 이는 양자 컴퓨터를 설계하는 엔지니어들에게 실질적인 도구를 제공합니다. 새로운 알고즘을 통해 엔지니어들은 하드웨어를 직접 제작하기 전에 현실적인 파동 형태의 노이즈에 대해 설계를 테스트할 수 있으며, 이는 현재의 오류 수정 전략이 기존에 생각했던 것보다 더 견고해야 할 수도 있음을 밝혀줍니다. 둘째, 이 연구는 양자 시스템을 이해하는 우리의 능력에 존재하는 근본적인 경계를 강조합니다. 이는 일부 유형의 양자 노이즈는 길들이고 예측할 수 있지만, 서로 다른 노이즈 유형이 혼합되는 순간 그 복잡성이 우리의 손길이 닿지 않는 곳까지 폭발적으로 증가한다는 것을 보여줍니다. 연구진은 자신들의 결과가 물리적 실험이 아닌 시뮬레이션과 이론적 증명에 기반하고 있다는 점을 강조하면서도 명확한 경고를 던집니다. 즉, 오류의 파동적 간섭은 무시할 수 없는 강력한 위협이며, 이를 막기 위해 사용하는 도구 역시 그 노이즈만큼이나 정교해야 한다는 것입니다.

기술 요약: 표면 코드의 결맞는 크로스토크에 대한 고전적 시뮬레이션

문제 정의
표면 코드는 견고한 양자 메모리를 위한 유력한 후보이지만, 결맞는 노이즈(coherent noise)에 대한 회복력은 여전히 미해결 과제로 남아 있습니다. 확률적 파울리 노이즈(stochastic Pauli noise)는 잘 이해되어 있으며 Gottesman-Knill 정리에 의해 효율적으로 시뮬레이션 가능하지만, 초전도 큐비트의 잔류 상호작용에서 발생하는 인접 이웃 $ZZ$ 크로스토크와 같은 결맞는 오류는 중대한 도전 과제를 제기합니다. 확률적 노이즈와 달리, 결맞는 노이즈는 간섭 효과를 도입하여 논리적 오류율을 급격히 변화시킬 수 있습니다.

본 연구 이전에는 결맞는 단일 큐비트 $Z$ -회전(single-qubit $Z$ -rotations)에 대해 효율적인 정확한 고전적 시뮬레이션 알고리즘이 존재했습니다. 그러나 임계값 스케일링(threshold scaling)을 연구할 수 있을 만큼 큰 거리의 인접 이웃 결맞는 크로스토크에 대해서는 그러한 알고리즘이 없었습니다. 기존의 크로스토크 방법은 작은 코드( $d \leq 3$ )에 국한되었거나, 통제되지 않은 근사치에 의존하거나, 지수적인 샘플링 비용이 발생했습니다. 또한, 단일 큐비트 회전과 크로스토크의 결합을 시뮬레이션하는 데 드는 계산 복잡도는 알려지지 않았습니다.

방법론
저자들은 홀수 거리 $d$ 인 회전 표면 코드(rotated surface codes)에 대한 두 가지 구별된 결맞는 노이즈 범위를 다룹니다:

순수 결맞는 크로스토크 (Pure Coherent Crosstalk): 노이즈가 유니터리 $U_{nn}(\theta) = \prod_{e \in E} e^{i\theta_e Z_q Z_{q'}}$ 로 기술됩니다.
결합된 결맞는 노이즈 (Combined Coherent Noise): 노이즘이 단일 큐비트 $Z$ -회전과 크로스토크를 모두 포함하는 $U_{comb}(\phi, \theta) = U_{sq}(\phi) U_{nn}(\theta)$ 로 기술됩니다.

첫 번째 범위의 경우, 저자들은 회전 표면 코드의 구조적 특성을 활용합니다. 그들은 $X$ -스테빌라이저(stabilizer) 세트가 두 개의 서로 소인 집합 $A$ 와 $B$ 로 분할될 수 있으며, 임의의 인접 이웃 $ZZ$ -오류가 한 집합 내에 완전히 속하는 스테빌라이저에만 영향을 미친다는 것을 입증합니다. 이를 통해 원래의 회전 코드에 대한 크로스토크 노이즈의 신드롬 분포를 두 개의 독립적인 보조 표준(unrotated) 표면 코드(거리 $D = (d+1)/2$ )의 신드롬 분포의 곱으로 정확하게 인수분해할 수 있습니다. 격자 상의 크로스토크 각도는 이 보조 코드들의 유효한 단일 큐비트 $Z$ -회전 각도로 매핑됩니다.

두 번째 범위의 경우, 저자들은 신드롬 분포를 즉각적 양자 다항 시간(IQP) 회로의 출력으로 분석합니다. 그들은 결합된 노이즈의 상호작용 그래프가 "킹 격자(king lattice)"(수평, 수직 및 대각선 이웃이 연결된 그리드)에 해당함을 보여줍니다. 이 그래프는 비평면(non-planar) 구조입니다.

주요 기여

크로스토크에 대한 다항 시간 시뮬레이션 알고리즘:
저자들은 회전 표면 코드에서 결맞는 인접 이웃 크로스토크 하에서의 신드롬 분포를 $O(d^6)$ 산술 연산으로 샘플링하는 고전적 알고리즘인 알고리즘 1을 제시합니다.

메커니즘: 이 알고리즘은 문제를 단일 큐비트 결맞는 노이즈를 가진 두 개의 독립적인 표준 표면 코드를 샘플링하는 문제로 축소하며, 페르미온 선형 광학(FLO) [18, 19]에 기반한 기존의 효율적인 샘플러를 활용합니다.
정확성: 알고리즘은 정확한 산술을 가정할 때 오차 $\epsilon=0$ 인 정확한 샘플을 제공하거나, 임의의 실수 각도에 대해 다항식 비트 비용으로 임의로 가까운 근사치를 제공합니다.
로직 액션(logical action)은 홀수 거리 회전 코드에 대해, 인코딩된 상태와 무관하게 교정 가중치(correction weight)의 패리티에 기초하여 결정론적(항등 연산 또는 논리적 $Z$ )임을 증명합니다.

결합된 노이즈에 대한 샘플링의 어려움:
저자들은 단일 큐비트 회전과 크로스토크가 모두 존재할 때 신드롬 분포를 효율적으로 샘플링하는 것에 대한 계산 복잡도 이론적 장애물을 확립합니다.

결과: 다항 계층(polynomial hierarchy)이 세 번째 수준으로 붕괴하지 않는 한, 상수 곱 오차 보장을 가지며 결합된 노이즈 모델의 신드로 분포를 샘플링하는 어떠한 고전적 알고리즘도 존재할 수 없습니다.
증명: 이는 신드롬 분포를 킹 격자 상의 범용 IQP 회로의 출력으로 매핑함으로써 증명됩니다. 이 구성은 사후 선택 가젯(postselection gadgets)을 사용하여 범용성을 입증하며, 이는 효율적인 샘플링이 사후 선택된 양자 계산(postselected quantum computation)의 시뮬레이션을 가능하게 함을 의미합니다.

수치 결과
제안된 알고리즘을 사용하여 저자들은 최소 가중치 완전 매칭(MWPM) 디코더의 성능을 평가하기 위해 거리 $d \in \{13, 21, 29, 37\}$ (최대 1,369개의 물리 큐비트)인 회전 표면 코드에 대한 수치 시뮬레이션을 수행했습니다.

비교: 균일한 결맞는 크로스토크를 각 상호작용이 확률적인 $ZZ$ 오류로 대체되는 "파울리 트월(Pauli twirl)" 모델과 비교했습니다.
발견: 결맞는 크로스토크 하에서의 잔류 논리적 오류는 동일한 상호작용 강도에서의 파울리 트월 모델보다 실질적으로 더 컸습니다. 예를 들어, $d=37$ 이고 $\theta/\pi = 0.040$ 일 때, 결맞는 노이즈에 의한 논리적 오류 지표는 트월 모델보다 약 49배 더 컸습니다.
임계값 외삽: 결합된 유한 크기 스케일링 피팅을 통해, 결맞는 크로스토크에 대한 임계값 외삽치는 $\theta_c/\pi \approx 0.0342$ 로 나타났으며, 이는 파울리 트월의 $\theta_c/\pi \approx 0.0493$ 과 대조됩니다. 저자들은 스케일링 안사츠(ansatz)의 낮은 적합도를 근거로 절대적인 임계값 값은 모델에 따라 달라질 수 있다고 언급했습니다.
성능: 알고리즘은 $d=37$ 에 대해 신드롬당 약 5ms 내에 샘플을 성공적으로 생성했습니다.

의의 및 주장
본 논문은 임계값 분석에 충분한 거리의 회전 표면 코드에서 인접 이웃 결맞는 크로스토크에 대한 최초의 효율적인 정확한 고전적 시뮬레이션 알고리즘을 제공한다고 주장합니다. 이러한 능력은 결맞는 간섭가 논리적 오류율과 디코더 성능에 어떻게 영향을 미치는지 연구할 수 있게 하며, 표준 디코더(MWMM과 같은)가 결맞는 크로스토크에 대해서는 그 확률적 파울리 근사치에 비해 현저히 덜 효과적임을 밝혀냅니다.

나아가, 본 연구는 계산 복잡도의 뚜렷한 경계를 획정합니다. 즉, 크로스토크만 있는 경우는 효율적으로 시뮬레이션 가능하지만, 단일 큐비트 회전이 추가되면 샘플링 문제가 계산적으로 어려워진다는 것입니다. 이는 노이즈 모델이 코드의 물리적 성능뿐만 아니라, 그 성능을 고전적으로 평가하는 작업의 실행 가능성에도 영향을 미친다는 점을 강조합니다.

저자들은 외삽된 임계값에 대해 겸손한 태도를 유지하며, 이것이 통제된 점근적 한계라기보다는 "모델 의존적 외삽"임을 명시하였고, 현재의 축소가 이상적인 신드롬 측정을 전제로 하고 있어 측정 오류가 실질적인 미해결 과제로 남아 있음을 인정했습니다.

유사한 논문