양자 맥락성, 보편 오류 정정 코드의 구조적 필수 자원으로 수학적 규명

보편 양자 계산이 어려운 이유

양자컴퓨터는 미세한 온도 변화나 진동만으로도 정보가 손상된다. 이를 막기 위한 양자 오류 정정은 물리 큐비트 다수에 정보를 분산 저장하고 실시간으로 결함을 감지하는 방식으로 작동한다. 그런데 오류 정정 자체가 보편성(universality)을 보장하지는 않는다. 임의의 알고리즘을 실행하려면 게이트 집합 전체를 구현해야 하는데, 이스틴-닐 정리(Eastin-Knill theorem)에 따르면 단일 오류 정정 코드로는 각 큐비트에 독립 작용하는 횡단 게이트(transversal gate)만으로 보편 게이트 집합을 구성할 수 없다.

이 한계를 우회하는 주요 전략이 코드 전환(code-switching)이다. 서로 상보적인 두 오류 정정 코드를 번갈아 사용해 각 코드가 상대방이 제공하지 못하는 횡단 게이트를 공급하는 방식으로, 현재 내결함성 양자 하드웨어 실현의 유력한 경로로 꼽힌다. 그러나 코드 전환이 왜 작동하는지, 그 근저에 어떤 자원이 있는지는 오랫동안 미해결 문제로 남아 있었다.

양자 맥락성이란 무엇인가

맥락성은 측정 결과가 동시에 수행하는 다른 측정의 조합에 따라 달라지는 양자계의 성질이다. 고전 물리학에서는 어떤 물리량을 측정할 때 동반 측정 항목이 결과에 영향을 미치지 않는다. 그러나 양자계에서는 호환 가능한 측정끼리도 통계적 결과가 달라질 수 있다. 이는 측정 오차나 무지의 문제가 아니라 양자이론의 근본 특성이며, 1967년 사이먼 코헨(Simon B Kochen)과 에른스트 슈페커(Ernst Specker)가 존 벨의 비국소성 개념을 일반화하는 형태로 수학적으로 확립했다.

맥락성은 마법 상태 증류(magic state distillation) 등 특정 내결함성 기법에서 역할이 알려져 있었으나, 이번 연구는 그보다 훨씬 일반적인 수준에서 그 위상을 재정의한다.

핵심 발견: 게이지 큐비트 2개 임계값

Kishor Bharti를 중심으로 한 NUS·A*STAR 연구팀은 교환·비교환 측정을 혼용하는 부분계 안정화 코드(subsystem stabilizer code) 계열을 분석했다. 분석 결과, 이 코드 계열이 맥락성을 지니는 필요충분조건은 비교환 측정에서 발생하는 추가 자유도인 게이지 큐비트(gauge qubit)가 2개 이상인 경우로 나타났다. 임계값 미만에서는 측정 통계를 고전적으로 설명할 수 있지만, 초과하면 양자적 비고전성이 환원 불가능한 형태로 코드 구조에 내재된다.

이 기준을 코드 전환 프로토콜에 적용하면 결과가 더욱 분명해진다. 스틴 코드(Steane code)와 리드-뮬러 코드(Reed-Muller code) 전환을 포함해 보편 계산을 달성하는 것으로 알려진 주요 프로토콜들이 예외 없이 이 임계값을 충족한다. 연구팀은 이 일치가 수학적 필연임을 보였으며, 보편성과 맥락성이 분리 불가능한 관계에 있음을 시사한다.

설계 기준으로서의 의미와 남은 과제

이번 연구는 맥락성을 얽힘에 이어 오류 정정 코드의 보편 계산 자원으로 정식 편입시킨다. 실용적으로는 명확한 설계 기준을 제공한다. 제안된 코드 아키텍처가 비맥락적으로 판명될 경우, 코드 전환 전략으로는 보편성 달성이 원천적으로 불가능하다는 결론을 도출할 수 있다. 이는 하드웨어 설계 단계에서 방향성을 조기에 검증하는 진단 도구로 활용될 수 있다.

다만 이번 연구의 적용 범위는 부분계 안정화 코드 계열로 한정된다. 더 광범위한 코드 계열이나 코드 전환 이외의 보편 계산 전략에 맥락성 기준이 동일하게 적용되는지는 후속 연구에서 검증되어야 한다.