Stabilizer codes over general phase spaces

양자 컴퓨터는 오늘날의 기계로는 불가능한 문제들을 해결할 것을 약속하지만, 믿을 수 없을 정도로 취약합니다. 양자 상태라고 알려진 이들이 저장하는 정보는 아주 미세한 진동이나 열에 의해서도 쉽게 흐트러질 수 있습니다. 이 정보를 보호하기 위해 과학자들은 하나의 데이터를 여러 개의 물리적 입자에 걸쳐 분산시키는 양자 오류 정정이라는 전략을 사용합니다. 만약 하나의 입자가 손상되더라도 다른 입자들이 진실을 유지하여 컴퓨터가 이를 복구할 수 있게 합니다. 수십 년 동안 연구자들은 서로 다른 유형의 양자 하드웨어에 대해 이를 수행하는 구체적인 방법들을 개발해 왔습니다. 어떤 시스템은 사다리의 개별 계단과 같은 에너지의 작고 이산적인 단위를 사용합니다. 다른 것들은 진자의 부드러운 운동과 같은 연속적인 에너지 파동을 사용합니다. 지금까지 이 두 가지 접근 방식은 서로 다른 수학적 규칙과 서로 다른 오류 수정 도구를 가진, 대체로 분리된 세계로 취급되어 왔습니다.

사얀 차크라보르티(Sayan Chakraborty)와 빅터 V. 알버트(Victor V. Albert)의 새로운 연구는 이 간극을 메웁니다. 그들은 이러한 서로 다른 유형의 시스템들을 함께 섞을 수 있는 광범위한 양자 코드에 대한 통합 이론을 개발했습니다. 그들의 연구는 오실레이터(oscillator), 로터(rotor), 그리고 이산적 단위들의 조합을 사용하여 안정적인 양자 메모리를 구축하는 방법을 보여주며, 이 모든 것은 하나의 일관된 규칙 세트에 의해 제어됩니다. 이는 미래의 양자 컴퓨터가 단 한 가지 유형의 하드웨어에만 의존하지 않고, 효과적으로 작동하기 위해 다양한 구성 요소들을 통합해야 할 것이기 때문에 중요한 진전입니다. 이들이 혼합된 시스템들도 단순한 대응물들과 동일한 수학적 엄밀함으로 다룰 수 있음을 증명함으로써, 연구자들은 더 견고하고 다재다능한 양자 장치를 구축하기 위한 청사진을 제공했습니다.

이 작업의 핵심은 안정기 코드(stabilizer code)라는 개념을 포함합니다. 여러분이 일련의 물체들을 가지고 있고, 그것들을 특정한 안전한 배열로 유지하고 싶다고 상상해 보십시오. 여러분은 이 안전한 상태를 설명하는 일련의 규칙, 즉 '안정기(stabilizers)'를 정의합니다. 만약 물체들이 약간 움직이면 이 규칙 중 하나를 깨뜨리게 되며, 시스템은 오류가 발생했음을 알게 됩니다. 연구자들은 이 규칙들이 '변위 연산자(displacement operators)'에 의해 정의되는 시스템에 집중했습니다. 간단히 말해, 변위 연산자는 시스템의 상태를 새로운 위치로 이동시키거나, 파동의 타이밍을 옮기는 것과 같은 위상(phase)을 변화시키는 것과 같은 동작들입니다. 핵심 통찰은 코드가 작동하기 위해서 이러한 이동 동작들이 가환(commute)해야 한다는 것입니다. 즉, 적용하는 순서가 상관없어야 한다는 뜻입니다. 이 성질 덕분에 시스템은 양자 정보가 존재할 수 있는 안정하고 보호된 공간을 형성할 수 있습니다.

차크라보르티와 알버트는 이러한 변위 연산자들이 위상 공간(phase space)이라고 불리는 수학적 공간의 격자 위의 점들로 시각화될 수 있다는 점을 깨달았습니다. 단순한 시스템의 경우, 이 격자는 규칙적인 점들의 패턴처럼 보일 수 있습니다. 더 복잡한 시스템의 경우, 격자는 늘어나거나 뒤틀리거나 심지어 틈이 생길 수도 있습니다. 연구자들은 격자가 격자(lattice)라고 불리는 특정 유형의 구조를 형성하는 한, 유효한 양자 코드를 정의할 수 있음을 보여주었습니다. 이 격자는 오류 정정 코드의 골격 역할을 합니다. 논리적 공간의 크기, 즉 코드가 저장할 수 있는 정보량은 격자의 점들 사이의 부피와 직접적으로 관련되어 있습니다. 점들이 빽빽하게 배치되면 코드는 더 많은 정보를 저장할 수 있고, 넓게 퍼져 있으면 더 적은 정보를 저장합니다.

이 논문에서 가장 놀라운 발견 중 하나는 별개의 독립적인 부분들로 분해될 수 없는 '하이브리드' 코드의 발견입니다. 과거에 과학자들은 복잡한 시스템을 개별적인 단순 구성 요소들을 관찰함으로써 이해할 수 있다고 가정하곤 했습니다. 예를 들어, 오실레이터와 이산 단위를 섞은 코드는 단순히 오실레이터 코드와 이산 코드를 붙여놓은 것으로 생각되었을 것입니다. 그러나 저자들은 구성 요소들이 너무 깊게 얽혀 있어서 어떤 수학적 재배열로도 분리할 수 없는 사례들을 구축했습니다. 그들은 오실레이터와 평면 로터를 혼합한 코드, 그리고 로터와 이산 단위를 혼합한 코드를 만들었는데, 여기서 부분들 사이의 연결은 본질적입니다. 이는 전체 시스템의 오류 정정 특성이 부분들이 연결된 특정한 방식에 달려 있으며, 부분을 고립시켜 연구해서는 시스템을 이해할 수 없음을 의미합니다.

연구자들은 또한 이러한 혼합 시스템에서 오류를 해독하는 문제를 다루었습니다. 오류가 발생하면, 그것은 시스템의 상태를 위상 공간의 새로운 위치로 이동시킵니다. 해독의 목표는 어떤 이동이 일어났는지 파악하고 이를 되돌리는 것입니다. 논문은 관찰된 오류를 일으켰을 법한 가장 작은 이동을 찾는 방식에 기반하여, 이를 수행하는 최선의 방법을 결정하는 방법을 제공합니다. 그들은 이 접근 방식이 연속적인 파동, 이산적인 단계, 혹은 이 둘의 혼합을 포함하여 그들이 연구한 모든 유형의 시스템에 적용된다는 것을 보여주었습니다. 또한 코드가 실패하기 전까지 얼마나 많은 오류를 수정할 수 있는지를 나타내는 척도인 코드의 '거리(distance)'를 계산하는 공식들을 도출했습니다. 이 거리는 격자의 점들과 논리적 정보를 나타내는 점들 사이의 최단 거리에 의해 결정됩니다.

그들의 작업 중 특히 우아한 부분은 코드와 그 '쌍대(dual)' 사이의 관계를 다루는 것입니다. 수학에서 모든 격자는 가능한 논리적 연산을 설명하는 파트너 격자를 가집니다. 연구자들은 코드의 특성, 예를 들어 오류를 탐지하는 능력 등이 이 쌍대 격자의 특성과 직접 연결되어 있음을 보여주었습니다. 이 연결 고리는 격자 연구로부터 강력한 수학적 도구들을 사용하여 양자 코드를 분석할 수 있게 해줍니다. 그들은 이 관계가 가장 복잡한 하이브리드 코드에 대해서도 유효함을 입증함으로써, 모든 시스템에 적용 가능한 통합된 프레임워크를 제공했습니다.

논문은 또한 에너지라는 실질적인 문제를 다룹니다. 현실 세계에서 양자 상태는 무한한 에너지를 가질 수 없지만, 이상적인 수학적 모델은 종종 이를 가정합니다. 저자들은 이 코드들의 '유한 에너지' 버전을 만드는 방법을 개발했습니다. 그들은 시스템의 에너지를 약간 감쇠시킴으로써, 물리적 상태가 이상적인 수학적 상태와 거의 똑같이 행동하도록 만들 수 있음을 보여주었습니다. 이 감쇠로 인해 발생하는 오류는 극도로 작아서, 이 코드들을 실제 응용 분야에 활용 가능하게 만듭니다. 이는 그들이 설계한 이론적 코드들이 실제 물리적 장치에서 구축되고 사용될 수 있음을 입증하는 데 매우 중요합니다.

연구 전반에 걸쳐 저자들은 양자 역학을 비가환 기하학(noncommutative geometry)이라는 분야와 연결하는 마르크 리에펠(Marc Rieffel)이 개발한 수학적 프레임을 사용했습니다. 이 프레임은 양자 상태의 공간을 기하학적 객체로 취급하여, 연구자들이 기하학적 직관을 사용하여 양자 문제를 해결할 수 있게 합니다. 그들은 오류 정보가 저장되는 공간인 신드롬 공간(syndrome space)이 파이버 번들(bundle of fibers)로 볼 수 있다는 것을 발견했습니다. 각 파이버는 특정 오류 패턴에 대응하며, 코드는 이 중 하나의 파이버에 거주합니다. 이러한 기하학적 관점은 코드의 차원이 격자의 부피와 같다는 것을 증명하는 데 도움이 되었으며, 이는 그들이 연구한 모든 시스템에 적용되는 결과입니다.

이 연구는 고츠만-키타에프-프레스킬(Gottesman-Kitaev-Preskill, GKP) 코드와 같은 기존의 코드들도 재조명합니다. 저자들은 새로운 프레임워크가 이러한 기존 코드들을 특수한 사례로서 자연스럽게 포함하고 있음을 보여주었습니다. 나아가, 그들은 이전에는 불가능했던 방식으로 서로 다른 유형의 시스템들을 결합한 새로운 코드들을 구축했습니다. 예를 들어, 그들은 유명한 고전 코드인 골레이 코드(Golay code)로부터 유도된, 12개의 오실레이터와 12개의 큐비트를 결합한 코드를 만들었습니다. 이 하이브리드 코드는 단순한 결합이 아니라, 오실레이터와 큐비트가 더 강력한 새로운 코드를 만들어내도록 긴밀하게 통합된 시스템입니다.

연구자들은 또한 이 코드들의 한계를 탐구했습니다. 그들은 특정 유형의 시스템, 구체적으로 하나의 오실레이터와 하나의 로터를 포함하는 시스템의 경우, 코드가 특정 양의 정보를 저장할 때만 '본질적으로 결합(intrinsically coupled)'될 수 있음을 증명했습니다. 만약 정보량이 너무 적으면 시스템은 항상 독립적인 부분들로 분리될 수 있습니다. 그러나 정보량이 특정 임계치에 도달하면, 그 결합은 피할 수 없는 것이 됩니다. 이 발견은 과학자들이 자신들의 설계에서 언제 이러한 복잡한 하이브리드 행동을 기대할 수 있는지 이해하는 데 도움을 줍니다.

요약하자면, 차크라보르티와 알버트는 광범위한 양자 오류 정정 코드에 대한 포괄적인 이론을 제공했습니다. 그들은 오실레이터, 로터, 그리고 이산적 단위들이 하나의 일관된 프레임워크 안에서 함께 섞일 수 있음을 보여주었습니다. 그들은 이러한 혼합 시스템들이 그 부분들로 환원될 수 없는 본질적인 특성을 가질 수 있음을 증명했으며, 이들을 분석하고 해독할 수 있는 도구들을 제공했습니다. 이 다양한 시스템들을 단일한 기하학적 언어로 연결함으로써, 그들은 더 유연하고 견고한 양자 컴퓨터를 설계할 수 있는 문을 열었습니다. 그들의 연구는 미래의 양자 컴퓨팅이 한 유형의 하드웨어를 선택하느냐 마느냐의 문제가 아니라, 그것들을 어떻게 하나의 탄력적인 직물으로 엮어낼 것인가에 달려 있을 수 있음을 시사합니다.