양자컴퓨팅에서 오류 보정 코드는 원본 양자상태를 직접 측정하지 않고 여러 물리적 큐비트의 관계를 확인해 오류 위치와 종류를 찾아냅니다. 이번 글에서는 논리 큐비트와 표면코드, 오류증후군과 임계값의 원리에 대해 살펴보도록 합시다.
양자컴퓨팅 오류 보정 코드란 무엇인가
양자 오류 보정 코드는 하나의 양자정보를 여러 물리적 큐비트에 분산해 저장하고, 계산 중 일부 큐비트에 오류가 발생하더라도 원래의 논리적인 상태를 복원하도록 설계한 규칙과 회로입니다.
일반 컴퓨터에서는 데이터를 여러 곳에 복사한 뒤 값이 다른 비트를 찾아 수정할 수 있습니다. 그러나 알 수 없는 양자상태는 완벽하게 복제할 수 없고 직접 측정하면 중첩상태가 변할 수 있습니다. 양자 오류 보정은 원본 상태를 여러 개 복사하는 대신 여러 큐비트를 얽어 하나의 논리상태로 부호화합니다.
오류를 찾을 때도 논리 큐비트의 값 자체를 직접 읽지 않습니다. 데이터 큐비트 사이의 관계를 보조 큐비트로 측정하고, 정상적인 관계에서 벗어난 패턴만 오류증후군으로 추출합니다. 이를 통해 논리상태를 가능한 한 보존하면서 오류의 위치와 종류를 추정할 수 있습니다.
| 구성요소 | 역할 |
|---|---|
| 물리적 큐비트 | 실제 하드웨어에 구현된 개별 큐비트 |
| 데이터 큐비트 | 부호화된 양자정보를 나누어 저장 |
| 보조 큐비트 | 데이터 큐비트의 관계와 오류증후군을 측정 |
| 오류증후군 | 원본 상태를 공개하지 않고 오류에 관한 정보를 나타내는 측정결과 |
| 해독기 | 오류증후군 패턴을 분석해 가능성이 높은 오류를 추정 |
| 논리 큐비트 | 여러 물리적 큐비트와 오류 보정 코드로 보호된 정보 단위 |
양자컴퓨터에 오류 보정이 필요한 이유
큐비트는 열과 전자기장, 진동과 재료 결함, 제어신호의 오차에 영향을 받을 수 있습니다. 양자게이트와 초기화, 측정도 완벽하지 않기 때문에 계산단계가 길어질수록 오류가 누적될 수 있습니다.
- 비트 반전 오류: 0과 1에 대응하는 상태가 서로 뒤바뀌는 오류입니다.
- 위상 반전 오류: 중첩상태를 구성하는 성분 사이의 상대적인 부호가 바뀌는 오류입니다.
- 비트·위상 동시 오류: 비트와 위상 성분이 함께 바뀌는 오류입니다.
- 진폭 감쇠: 들뜬 상태의 에너지가 손실되면서 낮은 상태로 변하는 오류입니다.
- 측정 오류: 실제 큐비트 상태와 다른 결과가 기록되는 오류입니다.
- 누설 오류: 큐비트가 계산에 사용하는 두 상태 밖으로 벗어나는 오류입니다.
- 소거 오류: 큐비트 손실처럼 오류가 발생한 위치를 확인할 수 있는 오류입니다.
작은 양자회로에서는 같은 계산을 여러 번 실행하고 통계적으로 오류 영향을 줄이는 방법을 사용할 수 있습니다. 그러나 긴 알고리즘에서는 오류가 연산결과 전체를 무너뜨릴 수 있으므로 계산 도중 오류를 찾아내고 관리하는 능력이 필요합니다.
양자상태를 복사하지 않고 보호하는 방법
알 수 없는 양자상태를 완벽하게 복제할 수 없다는 원리를 복제 불가능 정리라고 합니다. 따라서 양자 오류 보정은 원본 큐비트를 동일하게 여러 개 복사하는 방식으로 작동하지 않습니다.
예를 들어 하나의 큐비트가 0과 1의 중첩으로 표현된다고 가정할 수 있습니다. 단순히 같은 상태 세 개를 복제하는 것이 아니라 0에 해당하는 성분은 세 큐비트가 모두 0인 상태에, 1에 해당하는 성분은 세 큐비트가 모두 1인 상태에 대응하도록 얽힌 상태를 만듭니다.
이렇게 부호화하면 각 큐비트의 값을 직접 읽지 않고 첫 번째와 두 번째 큐비트가 같은지, 두 번째와 세 번째 큐비트가 같은지와 같은 관계를 확인할 수 있습니다. 관계가 바뀌었다면 어떤 위치에서 비트 반전이 일어났는지 추정할 수 있습니다.
중요한 점은 세 큐비트가 각각 완전한 원본정보를 보유하는 것이 아니라 전체 얽힘구조가 하나의 논리 큐비트를 나타낸다는 것입니다. 개별 물리적 큐비트 하나만 측정해서는 원본 논리상태 전체를 얻을 수 없습니다.
간단한 3큐비트 반복코드의 원리
3큐비트 반복코드는 비트 반전 오류를 설명할 때 자주 사용되는 가장 단순한 예입니다. 하나의 논리상태를 세 개의 물리적 큐비트에 얽힌 형태로 부호화합니다.
| 발생 상황 | 첫 번째 관계 | 두 번째 관계 | 추정 결과 |
|---|---|---|---|
| 오류 없음 | 같음 | 같음 | 보정하지 않음 |
| 첫 번째 큐비트 반전 | 다름 | 같음 | 첫 번째 위치 오류 |
| 두 번째 큐비트 반전 | 다름 | 다름 | 두 번째 위치 오류 |
| 세 번째 큐비트 반전 | 같음 | 다름 | 세 번째 위치 오류 |
관계 측정에는 보조 큐비트를 사용할 수 있습니다. 보조 큐비트는 데이터 큐비트와 상호작용한 뒤 측정되며, 그 결과는 오류 위치를 추정하는 데 사용됩니다. 데이터 큐비트의 논리적인 0과 1을 직접 확인하는 것은 아닙니다.
다만 3큐비트 반복코드는 비트 반전 하나만 보정할 수 있으며 위상 반전에는 대응하지 못합니다. 위상 오류를 보정하려면 다른 기저에서 관계를 검사해야 하며, 일반적인 양자 오류를 처리하려면 비트와 위상 오류를 함께 다루는 코드가 필요합니다.
연속적인 오류가 몇 가지 유형으로 구분되는 이유
양자상태의 오류는 아주 작은 각도의 회전처럼 연속적으로 발생할 수 있습니다. 그렇다면 무한히 많은 종류의 오류를 모두 구분해야 할 것처럼 보일 수 있습니다.
양자 오류 보정에서는 오류증후군을 측정하는 과정에서 이러한 연속적인 오류가 비트 반전과 위상 반전, 비트·위상 동시 반전과 같은 이산적인 오류유형으로 투영될 수 있습니다. 이를 오류의 이산화라고 이해할 수 있습니다.
단일 큐비트에서 발생하는 일반적인 오류를 파울리 연산의 조합으로 표현할 수 있기 때문에 비트와 위상 오류를 모두 찾아낼 수 있는 코드는 넓은 범위의 단일 큐비트 오류를 보정할 수 있습니다.
오류증후군은 무엇을 알려줄까
오류증후군은 논리 큐비트의 값이 아니라 어떤 안정자 관계가 정상에서 벗어났는지를 나타내는 측정패턴입니다. 같은 증후군을 만드는 오류후보가 여러 개 존재할 수 있으므로 증후군만 보고 실제 오류를 항상 확정할 수 있는 것은 아닙니다.
해독기는 여러 측정주기에서 수집된 증후군의 위치와 시간변화를 분석합니다. 하드웨어의 오류확률과 연결구조를 반영해 가장 가능성이 높은 오류경로를 찾고 필요한 보정정보를 계산합니다.
- 데이터 큐비트에 논리상태를 부호화합니다.
- 보조 큐비트를 준비하고 주변 데이터 큐비트와 상호작용시킵니다.
- 보조 큐비트를 측정해 안정자 관계의 결과를 얻습니다.
- 이전 측정주기와 비교해 변화한 오류증후군을 찾습니다.
- 고전 해독기가 가능성이 높은 오류 위치와 경로를 추정합니다.
- 물리적인 보정연산을 실행하거나 소프트웨어에서 보정정보를 추적합니다.
- 계산이 진행되는 동안 같은 과정을 반복합니다.
실제 시스템에서는 매번 물리적인 반전 게이트를 실행하지 않고 어떤 보정이 필요한지를 고전 제어기가 기록해 두었다가 이후 측정결과를 해석할 때 반영하기도 합니다. 이를 파울리 프레임을 추적하는 방식으로 이해할 수 있습니다.
안정자 코드란 무엇인가
안정자 코드는 논리상태를 바꾸지 않는 여러 파울리 연산의 관계를 이용해 정상적인 코드공간을 정의합니다. 정상상태에서는 각 안정자를 측정했을 때 예상된 결과가 나오며 오류가 발생하면 일부 안정자의 결과가 달라집니다.
이 결과들의 조합이 오류증후군입니다. 안정자 측정은 논리상태 자체를 읽기보다 코드공간을 벗어났는지 확인하는 검사와 비슷합니다.
Shor 코드와 Steane 코드, 표면코드와 색상코드 등 널리 연구되는 많은 양자 오류 보정 코드가 안정자 형식으로 설명될 수 있습니다. 어떤 안정자를 어떤 큐비트에 측정하는지에 따라 코드의 연결구조와 오류 보정능력이 달라집니다.
논리 큐비트와 물리적 큐비트의 차이
물리적 큐비트는 초전도 회로와 이온, 중성원자, 광자와 전자스핀처럼 실제 하드웨어에 구현한 큐비트입니다. 물리적 큐비트의 게이트와 측정에는 일정한 오류가 존재합니다.
논리 큐비트는 여러 물리적 큐비트와 보조 큐비트, 오류 보정 회로를 결합해 보호한 정보 단위입니다. 하나의 논리 큐비트에 필요한 물리적 큐비트 수는 코드와 목표 논리 오류율, 하드웨어 오류율에 따라 크게 달라집니다.
| 구분 | 물리적 큐비트 | 논리 큐비트 |
|---|---|---|
| 구현 | 실제 회로·원자·광자 등의 양자상태 | 여러 물리적 큐비트에 부호화된 상태 |
| 오류 | 잡음과 제어오류에 직접 노출 | 코드가 허용하는 범위에서 오류 억제 |
| 측정 | 개별 큐비트 상태를 측정 | 오류증후군과 논리 연산자를 측정 |
| 주요 지표 | 결맞음과 게이트·측정 정확도 | 논리 오류율과 논리 게이트 성능 |
| 역할 | 하드웨어의 기본 구성요소 | 신뢰성 있는 알고리즘 실행단위 |
코드 거리란 무엇일까
코드 거리는 서로 다른 논리상태를 바꾸기 위해 필요한 최소 물리 오류의 수와 관련된 지표입니다. 일반적으로 코드 거리가 커질수록 더 많은 오류를 구분하고 보정할 수 있지만 필요한 물리적 큐비트와 측정회로도 증가합니다.
거리 3인 코드는 적절한 조건에서 하나의 오류를 보정할 수 있고, 거리 5인 코드는 두 개의 오류를 보정할 수 있습니다. 코드가 보정할 수 있는 수보다 많은 오류가 특정 패턴으로 발생하면 해독기가 잘못된 보정을 선택해 논리 오류가 발생할 수 있습니다.
코드 거리를 키우는 것만으로 오류가 항상 감소하는 것은 아닙니다. 물리적 게이트와 초기화, 측정의 오류가 코드의 임계값보다 충분히 낮아야 추가된 큐비트가 보호효과를 제공합니다.
오류 임계값과 임계값 이하의 의미
오류 임계값은 코드 크기를 키울수록 논리 오류가 감소하기 위해 물리적 구성요소의 오류가 만족해야 하는 기준입니다. 실제 임계값은 오류코드와 측정회로, 하드웨어의 오류특성과 해독기에 따라 달라집니다.
물리 오류율이 임계값보다 높으면 데이터 큐비트와 보조 큐비트를 추가하는 과정에서 새로운 오류도 함께 증가해 논리성능이 개선되지 않을 수 있습니다. 반대로 임계값 아래에서는 코드 거리를 늘릴수록 논리 오류가 감소하는 영역에 들어갈 수 있습니다.
임계값 이하의 오류억제를 실험적으로 확인하는 것은 중요한 단계입니다. 그러나 하나의 논리 메모리를 보호한 결과만으로 범용 내결함성 양자컴퓨터가 완성된 것은 아닙니다. 여러 논리 큐비트 사이에서 정확한 게이트를 실행하고 상태준비와 측정, 실시간 해독을 장시간 유지해야 합니다.
대표적인 양자 오류 보정 코드 비교
| 코드 유형 | 핵심 특징 | 장점 | 주요 과제 |
|---|---|---|---|
| 반복코드 | 같은 관계를 여러 큐비트에 부호화 | 원리가 단순하고 실험하기 쉬움 | 한 종류의 오류만 보정 |
| Shor 코드 | 비트·위상 반복코드를 결합한 9큐비트 코드 | 임의의 단일 큐비트 오류 보정 가능 | 자원과 회로가 증가 |
| Steane 코드 | 7개 물리적 큐비트로 1개 논리 큐비트 부호화 | CSS 구조와 일부 횡단 게이트 활용 | 정밀한 안정자 측정 필요 |
| 표면코드 | 2차원 격자에서 인접 큐비트 관계 측정 | 국소 연결과 비교적 높은 임계값 | 물리적 큐비트와 시간 부담이 큼 |
| 색상코드 | 색으로 구분된 격자 안정자 사용 | 일부 논리게이트 구현에 유리 | 더 복잡한 안정자와 연결 요구 |
| 양자 LDPC 코드 | 적은 수의 큐비트 관계로 높은 부호화율 추구 | 논리 큐비트당 물리적 자원 절감 가능성 | 비국소 연결과 해독·논리게이트 설계 |
| 보손코드 | 하나의 진동모드의 넓은 상태공간에 부호화 | 특정 오류를 하드웨어에서 억제할 가능성 | 복잡한 상태준비와 제어 |
표면코드가 많이 연구되는 이유
표면코드는 데이터 큐비트와 보조 큐비트를 2차원 격자에 배치하고 가까운 이웃 사이의 안정자를 반복적으로 측정합니다. 멀리 떨어진 모든 큐비트를 직접 연결할 필요가 없어 평면형 초전도 칩과 실리콘 스핀 배열에 적용하기 비교적 용이합니다.
측정오류도 발생할 수 있으므로 안정자 측정을 시간에 따라 반복합니다. 해독기는 공간적인 증후군 위치뿐 아니라 어느 측정주기에서 변화했는지를 함께 분석해 데이터 오류와 측정 오류를 구분합니다.
표면코드의 논리 큐비트는 격자의 경계나 결함, 코드 패치를 이용해 표현할 수 있습니다. 논리 큐비트 사이의 연산에는 코드 패치를 합치고 분리하는 격자수술과 같은 방법이 사용될 수 있습니다.
국소 연결과 비교적 높은 오류 임계값은 장점이지만 논리 오류율을 매우 낮추려면 큰 코드 거리와 많은 물리적 큐비트가 필요할 수 있습니다. 논리 게이트와 마법상태 증류에 필요한 추가 자원도 고려해야 합니다.
양자 LDPC 코드가 주목받는 이유
LDPC는 저밀도 패리티 검사 코드를 의미합니다. 각 안정자가 전체 큐비트 가운데 일부와만 연결되도록 구성하면서도 많은 논리 큐비트를 효율적으로 부호화하는 것을 목표로 합니다.
표면코드는 코드가 커질수록 물리적 큐비트 수에 비해 부호화되는 논리 큐비트의 비율이 낮을 수 있습니다. 양자 LDPC 코드는 더 높은 부호화율을 이용해 논리 큐비트당 필요한 물리적 자원을 줄일 가능성이 있습니다.
반면 일부 LDPC 코드는 멀리 떨어진 큐비트 사이의 안정자 측정이나 복잡한 연결성을 요구할 수 있습니다. 실제 하드웨어에서 안정자 회로를 구성하고 빠르게 해독하며 범용 논리게이트를 실행하는 방법은 계속 연구되고 있습니다.
캣 큐비트와 GKP 코드 같은 보손코드
보손코드는 공진기나 빛의 한 진동모드가 가질 수 있는 여러 상태에 양자정보를 부호화합니다. 여러 개의 독립적인 2준위 큐비트 대신 하나의 물리적 모드 내부의 넓은 상태공간을 활용한다는 점이 특징입니다.
캣 큐비트는 서로 구분되는 두 양자상태의 중첩을 이용해 특정 오류가 드물게 발생하도록 설계할 수 있습니다. 남은 주요 오류를 반복코드나 표면코드로 보정하면 전체 하드웨어 부담을 줄일 가능성이 있습니다.
GKP 코드는 진동모드의 위상공간에 격자 형태로 정보를 부호화해 작은 위치·운동량 이동 오류를 찾아내는 방식입니다. 광자와 초전도 공진기 등에서 연구되고 있습니다.
보손코드는 오류수정을 없애는 기술이 아닙니다. 복잡한 상태를 높은 정확도로 준비하고 유지하며 논리게이트와 판독을 수행해야 합니다. 보손모드에서 억제되지 않는 오류와 보조 큐비트에서 전파되는 오류도 관리해야 합니다.
소거 오류는 왜 보정하기 쉬울 수 있을까
일반적인 오류에서는 어느 큐비트에 어떤 오류가 발생했는지 알 수 없습니다. 소거 오류는 원자가 배열에서 사라지거나 광자가 검출되지 않은 것처럼 오류 위치에 관한 정보를 얻을 수 있는 경우입니다.
오류 위치를 알고 있다면 해독기가 탐색해야 하는 후보가 줄어들어 같은 코드 거리에서도 더 많은 오류를 처리할 수 있습니다. 중성원자의 손실과 광자의 손실, 일부 누설 오류를 소거 형태로 변환하려는 연구가 진행되는 이유입니다.
다만 손실이 발생한 위치를 완벽하게 확인할 수 있어야 하며 손실을 검출하는 측정과 큐비트를 다시 준비하는 과정도 오류를 추가할 수 있습니다.
해독기는 왜 고전컴퓨터에서 작동할까
안정자 측정결과는 0과 1 또는 양수와 음수 같은 고전정보로 변환됩니다. 고전 해독기는 이 결과를 분석해 오류가 발생한 위치와 경로를 추정합니다.
증후군 하나만으로 오류를 정확히 결정할 수 없는 경우가 있으므로 하드웨어의 오류확률과 시간적인 측정패턴을 사용합니다. 최소 가중치 완전매칭과 신뢰전파, 합집합 찾기와 신경망 기반 해독기 등 여러 방법이 연구됩니다.
해독 정확도만큼 속도도 중요합니다. 양자칩이 다음 오류수정 주기를 실행하기 전에 해독정보가 준비되어야 하는 연산이 있기 때문입니다. 큐비트 수와 코드 거리가 증가해도 측정정보를 실시간으로 처리할 수 있는 고전 하드웨어가 필요합니다.
오류 보정과 내결함성 계산은 무엇이 다를까
오류 보정 코드는 저장된 논리상태에 발생한 오류를 찾아내고 수정하는 방법입니다. 그러나 오류를 보정하는 게이트와 측정 자체에도 오류가 발생할 수 있습니다.
내결함성 양자계산은 하나의 물리적 오류가 회로를 통해 여러 큐비트로 퍼져 코드의 보정능력을 넘어가지 않도록 상태준비와 게이트, 측정과 오류수정을 설계하는 전체 체계입니다.
- 오류 하나가 여러 데이터 큐비트에 확산되지 않도록 게이트를 구성합니다.
- 보조 큐비트의 오류가 데이터 전체를 손상시키지 않도록 검사합니다.
- 논리상태를 해제하지 않고 논리게이트를 실행합니다.
- 측정오류를 구분하기 위해 안정자 측정을 반복합니다.
- 마법상태와 격자수술 등을 이용해 범용 논리연산을 구성합니다.
- 오류증후군을 실시간으로 해독하고 보정정보를 반영합니다.
따라서 오류 보정 메모리 하나의 수명이 늘어났다는 결과와 긴 범용 알고리즘을 내결함성 방식으로 실행한 결과는 구분해야 합니다.
오류 보정과 오류 완화의 차이
오류 완화는 오류를 직접 찾아 고치는 대신 여러 번의 실행과 고전 후처리로 오류가 결과에 미치는 영향을 추정해 줄이는 방법입니다. 현재의 잡음이 있는 중간규모 양자컴퓨터에서 사용할 수 있습니다.
| 구분 | 양자 오류 보정 | 오류 완화 |
|---|---|---|
| 기본 원리 | 여러 큐비트에 부호화하고 오류증후군 측정 | 반복실행과 잡음모델로 결과오차 추정 |
| 추가 큐비트 | 데이터·보조 큐비트가 많이 필요 | 방법에 따라 적거나 필요하지 않을 수 있음 |
| 계산 도중 처리 | 오류를 반복적으로 탐지하고 관리 | 주로 결과의 통계적 편향을 감소 |
| 확장 가능성 | 임계값 아래에서 긴 계산으로 확장 가능 | 회로가 깊어지면 비용과 분산이 증가할 수 있음 |
| 현재 역할 | 내결함성 양자컴퓨터의 기반 | 현재 하드웨어 결과 개선에 활용 |
오류 억제는 펄스 최적화와 동적 디커플링, 재료와 차폐 개선처럼 오류가 발생할 확률 자체를 낮추는 방법입니다. 오류 억제와 완화, 보정은 서로 대체하는 단일 기술보다 함께 사용될 수 있습니다.
하드웨어마다 적합한 코드가 다른 이유
양자 오류 보정 코드는 물리적 큐비트의 연결구조와 주요 오류유형, 게이트와 측정속도에 맞춰야 합니다. 모든 하드웨어에서 같은 코드가 가장 효율적인 것은 아닙니다.
| 하드웨어 특성 | 코드 선택에 미치는 영향 |
|---|---|
| 2차원 인접 연결 | 표면코드처럼 가까운 큐비트만 사용하는 코드에 유리 |
| 전대전 연결 | 비국소 안정자와 높은 부호화율 코드 검토 가능 |
| 큐비트 이동 가능 | 코드에 맞게 연결관계를 동적으로 재구성 |
| 원자·광자 손실 확인 | 소거정보를 활용하는 해독기와 코드에 유리 |
| 특정 오류가 지배적 | 잡음 편향에 최적화된 코드 사용 가능 |
| 빠른 측정과 초기화 | 짧은 주기의 반복 안정자 측정에 유리 |
앞으로는 큐비트 하드웨어를 먼저 만든 뒤 오류코드를 추가하는 방식보다 하드웨어와 코드, 해독기와 논리게이트를 함께 설계하는 공동설계가 중요해질 가능성이 큽니다.
양자 오류 보정의 현재 한계
- 물리적 큐비트 부담: 낮은 논리 오류율에 많은 데이터·보조 큐비트가 필요할 수 있습니다.
- 측정회로 오류: 오류를 찾는 게이트와 보조 큐비트에서도 새로운 오류가 발생합니다.
- 상관 오류: 하나의 잡음원이 여러 큐비트에 동시에 영향을 줄 수 있습니다.
- 누설과 손실: 단순한 비트·위상 오류 모델 밖의 사건을 처리해야 합니다.
- 해독 지연: 많은 증후군을 정확하고 빠르게 처리해야 합니다.
- 논리게이트 비용: 범용 연산에 추가 코드패치와 마법상태가 필요할 수 있습니다.
- 장시간 안정성: 보정값과 오류특성이 오랜 계산 동안 일정하게 유지되어야 합니다.
물리 오류율이 평균적으로 낮아도 드물게 발생하는 큰 상관 오류가 논리 오류율의 하한을 만들 수 있습니다. 평균 게이트 정확도뿐 아니라 시간에 따른 변화와 공간적 상관관계, 장시간 발생하는 이상사건을 함께 측정해야 합니다.
양자 오류 보정 코드에 관한 대표적인 오해
큐비트를 여러 개 복사한다는 오해
양자 오류 보정은 알 수 없는 양자상태를 여러 개 복제하지 않습니다. 여러 물리적 큐비트가 하나의 얽힌 코드상태를 구성하며 정보는 개별 큐비트가 아니라 전체 관계에 저장됩니다.
오류가 발생한 큐비트를 직접 측정한다는 오해
데이터 큐비트의 상태를 직접 읽으면 논리정보가 손상될 수 있습니다. 보조 큐비트를 이용해 데이터 사이의 안정자 관계를 측정하고 논리값이 아닌 오류증후군을 얻습니다.
물리적 큐비트를 추가하면 오류가 자동으로 줄어든다는 오해
추가된 큐비트와 게이트, 측정에서도 오류가 발생합니다. 물리 오류가 임계값보다 낮고 해독기와 회로가 적절하게 설계되어야 코드 거리를 늘렸을 때 논리 오류가 감소합니다.
논리 메모리를 만들면 범용 계산이 완성된다는 오해
논리상태를 보관하는 것과 여러 논리 큐비트에서 범용 게이트를 실행하는 것은 다른 단계입니다. 논리상태 준비와 게이트, 측정과 실시간 해독을 모두 내결함성 방식으로 수행해야 합니다.
양자 오류 보정 연구를 확인하는 체크리스트
- 몇 개의 물리적 큐비트와 논리 큐비트를 사용했는가
- 사용한 오류 보정 코드와 코드 거리는 얼마인가
- 비트·위상·측정·누설 중 어떤 오류를 포함했는가
- 오류증후군 측정을 몇 회 반복했는가
- 코드 크기를 늘렸을 때 논리 오류가 실제로 감소했는가
- 최고 성능의 물리적 큐비트보다 논리 큐비트가 오래 유지됐는가
- 실시간 해독을 사용했는가, 계산 후 해독했는가
- 논리 메모리만 시험했는가, 논리게이트도 실행했는가
- 상관 오류와 장시간 안정성을 검증했는가
- 시뮬레이션인지 실제 양자 하드웨어 실험인지 구분했는가
양자 오류 보정 관련 주요 용어
| 용어 | 의미 |
|---|---|
| 부호화 | 하나의 논리상태를 여러 물리적 큐비트의 얽힘상태로 변환하는 과정 |
| 코드공간 | 유효한 논리상태가 존재하도록 오류 보정 코드가 정의한 부분공간 |
| 안정자 | 논리상태를 바꾸지 않으면서 정상적인 관계를 확인하는 연산자 |
| 오류증후군 | 논리정보를 직접 밝히지 않고 오류패턴을 나타내는 측정결과 |
| 해독기 | 오류증후군에서 가능성이 높은 오류와 보정을 계산하는 고전 시스템 |
| 코드 거리 | 코드의 오류 탐지·보정 능력과 관련된 지표 |
| 오류 임계값 | 코드 크기를 키웠을 때 논리 오류가 감소하기 위한 물리 오류의 기준 |
| 논리 오류 | 오류 보정 이후에도 논리상태가 잘못 변경되는 오류 |
| 횡단 게이트 | 하나의 물리 오류가 여러 큐비트로 퍼지는 것을 제한하는 논리게이트 방식 |
| 격자수술 | 표면코드 패치를 합치고 분리해 논리 측정과 게이트를 수행하는 방법 |
| 마법상태 | 범용 내결함성 논리연산을 구현하는 데 사용되는 특수한 양자상태 |
| 내결함성 | 일부 구성요소에 오류가 있어도 신뢰성 있는 계산을 계속하는 능력 |
양자 오류 보정 코드가 중요한 이유
양자 오류 보정 코드는 불안정한 물리적 큐비트를 결함 없는 장치로 바꾸는 마법 같은 기술이 아닙니다. 여러 물리적 큐비트에 정보를 분산하고 원본 상태를 직접 측정하지 않은 채 관계의 변화를 반복적으로 확인해 논리 오류의 가능성을 낮추는 기술입니다.
표면코드는 2차원 인접 연결과 비교적 높은 임계값 때문에 활발하게 연구되고 있으며, 양자 LDPC 코드는 물리적 큐비트 부담을 줄일 가능성으로 주목받고 있습니다. 보손코드와 소거 오류를 활용하는 방법은 하드웨어 특성 자체를 오류 보정에 이용하려는 방향입니다.
오류 보정의 실제 성능은 코드 하나로 결정되지 않습니다. 큐비트와 게이트·측정의 정확도, 연결구조와 해독속도, 논리게이트와 장시간 안정성을 함께 평가해야 합니다.
궁극적으로 실용적인 양자컴퓨터는 물리적 큐비트 수가 많은 장치가 아니라 오류수정된 논리 큐비트로 긴 계산을 안정적으로 실행할 수 있는 시스템입니다. 양자 오류 보정 코드는 잡음이 존재하는 현실의 하드웨어와 신뢰할 수 있는 양자 알고리즘을 연결하는 핵심 기술입니다.