Error Correction Properties of Covariant Bosonic Encodings

작동하는 양자 컴퓨터를 구축하려는 여정에서, 과학자들은 근본적인 문제에 직면해 있다: 이 기계들 내부에 저장된 정보가 믿을 수 없을 정도로 취약하다는 점이다. 0 또는 1인 표준 컴퓨터 비트와 달리, 양자 비트는 복잡한 상태로 존재하며, 이는 미립자 광자 하나나 미세한 온도 변화와 같은 주변 환경과의 아주 작은 상호작용에도 쉽게 뒤섞일 수 있다. 이 정보를 보호하기 위해 연구자들은 하나의 논리적 데이터를 더 큰 물리적 시스템 전체에 분산시키는 방법인 오류 정정(error correction)을 사용한다. 만약 그 시스템의 일부가 손상되더라도, 중복성을 통해 원래의 정보를 복구할 수 있기 때문이다. 수년 동안 가장 흔한 접근 방식은 작고 개별적인 구성 요소들을 많이 사용하는 것이었으나, 이는 엄청난 양의 하드웨어를 요구하며, 단 하나의 논리적 단위를 저장하기 위해 종종 수천 개의 물리적 부품이 필요하기도 한다.

더 효율적인 경로는 보존 코드(bosonic codes)를 사용하는 것인데, 이는 많은 별개의 스위치 대신 단일 공동(cavity) 내의 빛이나 소리의 연속적인 파동 속에 정보를 저장한다. 이러한 시스템은 본질적으로 더 견고하며 훨씬 적은 물리적 자원을 필요로 한다. 하지만 이러한 코드를 설계하는 것은 어렵다. 왜냐하면 여기서 발생하는 오류들은 복잡하고 연속적이기 때문이다. 최근 연구자들은 대칭성(symmetry)—즉, 시스템이 회전하거나 이동한 후에도 동일하게 보이는 개념—을 이러한 코드를 조직하는 방법으로 활용하기 시작했다. 정보를 특정 대칭 패턴을 존중하도록 배치함으로써, 더 만들기 쉽고 보호하기 쉬운 코드를 만들 수 있다. 한 물리학자 팀은 이제 이 개념을 더 발전시켜, 유한 군(finite groups)이라는 수학적 언어를 사용하여 이러한 보호 코드의 새로운 가문을 구축하고 분석함으로써, 어떤 유형의 오류를 수정할 수 있고 어떤 것을 할 수 없는지를 정확히 밝혀냈다.

Institut Quantique와 Université de Sherbrooke의 수학과에서 연구를 수행한 이들은, 제한된 대칭 연산의 집합을 설명하는 수학적 구조인 유한 군을 사용하여 이 코드들을 구축하는 일반적인 프레임워크를 개발했다. 연구진은 어떤 코드가 작동할지 추측하는 대신, 특정 군(group)에서 시작하여, 그 군을 빛의 파동으로 나타내는 물리적 방식과 컴퓨터를 위한 논리적 방식을 설정했다. 그런 다음 공변 인코딩(covariant encoding)이라 불리는 과정을 통해 실제 코드 워드(code words)를 생성했다. 이 방법은 빛의 파동을 조작하는 데 사용되는 물리적 연산이 저장된 정보에 대해 자동으로 올바른 논리적 연산을 수행하도록 보장한다. 연구팀은 쿼터니언 군(quaternion group)과 이진 팔면체 군(binary octahedral group)과 같이 구의 기하학에서 유래한 군들에 초점을 맞추어, 단일 및 이중 모드 시스템을 위한 코드를 생성하는 데 이 방법을 적용했다.

그들의 연구에서 핵심적인 발견은, 코드가 오류를 수정할 수 있는 능력이 오류가 이러한 대칭성 아래에서 어떻게 변환되는지에 의해 결정된다는 것이다. 연구진은 모든 시나리오에 대해 복잡한 시뮬레이션을 실행할 필요 없이, 오류의 수학적 구조와 코드 자체를 살펴보는 것만으로 코드가 실패할지 성공할지를 예측할 수 있다는 것을 발견했다. 그들은 만약 오류 유형이 코드의 구조와 특정 수학적 성분을 공유하지 않는다면, 그 오류는 자동으로 감지되고 수정된다는 것을 보여주었다. 이러한 통찰은 어떤 코드가 특정 유형의 광자 손실(이 시스템의 주요 오류)에 취약한지를 즉각적으로 파악할 수 있게 해준다. 예를 들어, 그들은 어떤 코드는 자연스럽게 광자 한 개의 손실에는 보호되지만 두 개가 손실될 때는 실패하는 반면, 다른 코드들은 논리적 정보가 어떻게 배치되느냐에 따라 더 복잡한 오류를 처리할 수 있음을 입증했다.

연구팀은 공동으로부터의 광자 손실을 모델링하는 진폭 감쇠 채널(amplitude damping channel)을 대상으로 새로운 코드들을 테스트했다. 그들은 쿼터니언 군에 기반한 이중 모드 코드와 이진 팔면체 군에 기반한 코드를 포함하여 여러 구체적인 사례들을 분석했다. 이 시뮬레이션에서 그들은 빛의 파동이 최상의 보호를 제공할 수 있는 구성을 찾기 위해 초기 상태를 최적화했다. 그들은 빛의 파동에 대한 최적의 시작점이 항상 가장 대칭적이거나 고르게 분포된 배열은 아니라는 것을 발견했는데, 이는 고전적 통신 시스템의 직관과 상반되는 발견이다. 대신, 최상의 성능은 두 빛 모드 사이의 에너지와 위상의 특정 균형에서 나왔다. 이진 팔면체 코드의 경우, 초기 빛의 에너지가 특정 값으로 조정되었을 때 시스템이 광자를 잃더라도 무결성을 유지하는 매우 낮은 오류율을 달알성했다.

가장 중요한 발견 중 하나는 데이터를 저장하는 데 사용되는 논리적 표현의 성격에 관한 것이다. 연구진은 만약 논리적 정보가 특정 대칭성을 깨뜨리는 방식으로 저장된다면, 코드가 특정 유형의 오류, 특히 광자가 실제로 손실되지 않으면서도 정보가 위상을 잃는 "노 점프(no-jump)" 디페이징(dephasing) 오류에 취약해진다는 것을 보여주었다. 그러나 논리적 정보가 군의 대칭성에 긴밀하게 결합된 기약 표현(irreducible representation)을 선택함으로써, 코드는 이러한 디페이징 오류까지도 방어할 수 있다. 이 차이는 견고한 양자 메모리를 설계하는 데 매우 중요하다. 연구팀은 또한 전통적인 안정기(stabilizers)가 부족하여 보통 오류를 감지하는 데 사용되지 않는 일부 코드들이, 근저에 깔린 대칭 구조 덕분에 여전히 효과적으로 오류를 수정할 수 있음을 확인했다.

이 연구는 '포 레그드 캣 코드(four-legged cat code)'와 같은 기존의 코드들을 재검토하였으며, 이들이 어떻게 이 새로운 통합적 프레임워크에 부합하는지를 보여주었다. 그들은 이 방법을 적용함으로써 왜 이러한 코드들이 작동하는지를 설명할 수 있었고, 어떻게 개선될 수 있는지도 밝혀냈다. 또한 그들은 이진 팔면체 군에 기반한 것과 같이 이전에 이 맥락에서 분석되지 않았던 새로운 코드들을 구축하였으며, 이들은 광자 손실에 대해 높은 수준의 보호를 제공한다. 결과는 엔지니어들이 그룹과 표현을 신중하게 선택함으로써, 오류 프로파일과 하드웨어 제약 조건에 맞춤화된 오류 정정 코드를 설계할 수 있음을 시사한다. 이 연구는 시행착오에서 벗어나 대칭성에 기반한 체계적인 설계 과정으로 나아가는 로드맵을 제공한다.

궁극적으로, 이 연구는 하드웨어 효율적인 양자 컴퓨터 개발을 위한 강력한 도구를 제공한다. 대칭성과 오류 정정 사이의 깊은 연결을 이해함으로써, 과학자들은 작으면서도 탄력적인 시스템을 설계할 수 있다. 수학적 분해를 통해 오류 보호를 예측할 수 있는 능력은 새로운 코드가 빠르게 설계되고 평가될 수 있게 하여, 실용적인 양자 기술을 향한 길을 가속화한다. 이 논문은 이러한 코드들의 이론적 구축과 시뮬레이션에 집중하고 있지만, 그 결과는 미래의 실험적 연구를 위한 견고한 토대를 제공한다. 연구팀의 접근 방식은 결함 허용(fault-tolerant) 양자 컴퓨팅으로 가는 길이 단순히 더 많은 하드웨어를 추가하는 것이 아니라, 기존의 하드웨어를 더 정교한 수학적 정밀도로 조직하는 데 있음을 보여준다.