Materialised symmetries of 2D translationally invariant codes

양자 컴퓨터는 오늘날의 기계로는 불가능한 문제들을 해결할 것을 약속하지만, 근본적인 장애물에 직면해 있습니다. 바로 그들이 보유한 정보가 믿기지 않을 정도로 취약하다는 점입니다. 환경으로부터 발생하는 아주 작은 방해조차 데이터를 부패시켜 계산을 실패하게 만들 수 있습니다. 이를 극복하기 위해 과학자들은 양자 오류 수정(quantum error correction)을 사용하는데, 이는 단 하나의 정보 조각을 여러 개의 물리적 입자 전체에 분산시켜 일부가 손상되더라도 전체를 여전히 복구할 수 있도록 하는 방법입니다. 수년 동안 이 보호를 위한 가장 신뢰할 수 있는 설계는 입자들을 2차원 격자 형태로 배열하는 위상 코드(topological codes)였습니다. 이러한 설계는 견고하고 구축하기 쉽지만, 사용된 입자의 수 대비 저장할 수 있는 정보량에 한계가 있습니다. 최근 연구자들은 입자 사이의 연결을 더 긴 거리로 확장하는 새로운 클래스의 코드에 주목했습니다. 흔히 이변량 바이사이클 코드(bivariate bicycle codes)라고 불리는 이 새로운 코드들은 저장 용량과 보호 능력 사이에서 훨씬 더 나은 균형을 제공하며, 차세대 양자 컴퓨터의 유력한 후보로 떠오르고 있습니다. 그러나 이를 효과적으로 사용하려면 정보를 파괴하지 않고 오류를 탐지하고 수정하는 방법을 이해해야 하며, 이 작업은 코드 내의 특정 중복 패턴을 식별하는 것에 크게 의존합니다.

시드니 대학교의 연구팀은 이제 이 새로운 코드들의 숨겨진 구조를 밝혀내어, 그 내부 대칭성이 어떻게 작동하는지를 규명했습니다. 양자 오류 수정의 언어로 볼 때, '대칭(symmetry)'이란 코드의 서로 다른 부분들이 어떻게 연결되어 있는지를 알려주는 규칙입니다. 만약 코드를 거대하고 반복되는 풍경이라고 상상한다면, 이러한 대칭은 그 지형 전반에 걸쳐 반복되는 패턴입니다. 연구진은 이러한 패턴이 무작위적인 것이 아니라, 각각 고유한 리듬이나 주기성을 가진 뚜렷한 가족 단위로 조직되어 있다는 것을 발견했습니다. 연구진은 무한하고 이론적인 버전의 코드를 파동의 집합으로 취급함으로써, 복잡한 대칭의 망을 더 단순하고 관리 가능한 구성 요소로 분해할 수 있었습니다. 그들은 모든 대칭이 이러한 근본적인 파동 형태의 패턴들의 조합으로 설명될 수 있다는 것을 발견했으며, 이를 통해 특정 크기의 유한한 물리적 격자 위에서 구축되었을 때 코드가 정확히 어떻게 작동할지 예측할 수 있게 되었습니다.

그들 작업의 핵심은 코드의 대칭성을 그것이 반복되는 방식에 따라 분리하는 수학적 기법을 포함합니다. 이상적인 무한 버전의 코드에서, 이러한 대칭은 마치 음악의 음표가 음높이를 가지는 것처럼 특정 주파수를 가진 것으로 생각할 수 있습니다. 어떤 대칭은 몇 단계마다 반복되는 반면, 어떤 대칭은 훨씬 더 긴 거리에 걸쳐 반복됩니다. 연구진은 이러한 주파수들을 식별하고 그에 따라 대칭들을 분류할 수 있음을 보여주었습니다. 이는 양자 컴퓨터가 제작될 때 무한하지 않고, 특정한 경계를 가진 유한한 직사각형이라는 점 때문에 매우 중요합니다. 연구진은 무한 버전의 대칭 주파수를 알면, 유한한 격자 위에서 어떤 대칭이 살아남고 어떤 대칭이 사라질지를 즉각적으로 결정할 수 있다는 것을 입증했습니다. 이를 통해 연구진은 특정 물리적 레이아웃이 얼마나 많은 논리적 비트를 보유할 수 있는지를 격자의 치수만을 보고도 정확히 계산할 수 있습니다.

가장 중요한 발견 중 하나는 격자의 크기와 모양이 엄청나게 중요하다는 점입니다. 연구진은 이를 '그로스 코드(gross code)'라고 알려진 구체적인 사례로 설명했습니다. 그들은 6x12 단위의 치수를 가진 격자는 특정 대칭 집합을 지원하지만, 격자가 12x12로 바뀌면 완전히 다른 대칭 집합을 사용할 수 있게 된다는 것을 보여주었습니다. 더 작은 격자에서는 일부 더 복잡하고 장거리인 패턴들이 경계에 의해 차단되어 존재할 수 없지만, 더 큰 격자에서는 그것들이 완벽하게 들어맞습니다. 이는 특정 코드 설계에 대해 사용 가능한 비트의 수가 고정된 것이 아니라, 하드웨어의 정확한 치수에 따라 변동한다는 것을 의미합니다. 연구진은 이러한 변동을 예측할 수 있는 명확한 방법을 제공했으며, 어떤 코드들은 격자 크기를 대칭의 자연스러운 리듬에 맞추는 것만으로도 논리적 비트의 수가 0에서 8개 이상으로 급격히 뛰어오를 수 있음을 보여주었습니다.

이러한 이해는 이 코드들이 어떻게 디코딩되는지, 즉 오류가 어떻게 수정되는지에 대한 직접적인 영향을 미칩니다. 이 코드들을 위한 가장 효과적인 디코더는 오류를 이러한 대칭에 매칭시키는 것에 의존합니다. 만약 디코더가 어떤 대칭이 존재하는지 모른다면, 오류를 효율적으로 수정할 수 없습니다. 연구진은 자신들의 방법을 사용하여 특정 격자 크기에 맞는 대칭을 식별함으로써, 다른 방법들이 실패하는 '오류 층(error floors)'을 피하고 확실히 잘 작동하는 디코더를 구축할 수 있음을 발견했습니다. 그들은 연구한 코드들에 대해 대칭들이 종종 평면파(plane wave)와 유사하게 설명될 수 있는 단순하고 반복적인 패턴을 따른다는 것을 보여주었습니다. 이러한 명확성은 엔지니어들이 양자 프로세서를 설계할 때, 가용 가능한 대칭의 수를 극대화할 수 있는 격자 치수를 선택함으로써 더 강력하고 신뢰할 수 있는 프로세서를 설계할 수 있게 해줍니다.

또한 이 연구는 격자의 경계가 직사각형이 아닌 평행사변형처럼 뒤틀리거나 다르게 형성될 경우 어떤 일이 발생하는지도 탐구했습니다. 이 경우 수학적 계산이 더 복잡해지지만, 연구진은 동일한 원리가 종종 적용된다는 것을 발견했습니다. 그들은 더 복잡한 형태에서도 무한 버전의 코드를 살펴보고 어떤 패턴이 적합한지를 확인함으로써 대칭을 이해할 수 있음을 보여주었습니다. 이는 그들이 개발한 프레임워크가 견고하며 다양한 미래 양자 컴퓨터 설계에 적용될 수 있음을 시사합니다. 어떤 직사각형 격자에 대해서도 대칭을 명시적으로 기술할 수 있는 방법을 제공함으로써, 연구팀은 엔지니어들이 하드웨어를 실제로 구축하기 전에 최적화할 수 있는 강력한 도구를 전달했습니다.

이 연구는 양자 오류 수정 분야의 더 넓은 함의에 대해서도 다룹니다. 연구진은 현재의 방법론이 2차원 코드에 집중되어 있지만, 그 근저에 깔린 논리가 더 복잡한 3차원 코드로도 잠재적으로 확장될 수 있다고 언급했습니다. 다만, 3차원에서는 패턴이 훨씬 더 복잡해지며, 경계를 대칭에 맞추는 단순한 방법이 깔끔하게 작동하지 않는다는 점을 주의시켰습니다. 이러한 제한에도 불구하고, 2차원 코드에 대한 그들의 연구 결과는 큰 진전을 의미합니다. 그들은 분야를 어떤 격자 크기가 가장 잘 작동할지 추측하는 상태에서 정밀한 계산이 가능한 상태로 옮겨 놓았습니다. 이는 양자 컴퓨터를 설계할 때 사용하는 오류 수정 코드의 특정 강점에 맞춰 하드웨어를 맞춤 설계할 수 있게 하여, 하드웨어가 단순히 큐비트를 담는 그릇이 아니라 정보의 안정성을 능동적으로 뒷받침하는 구조가 되도록 보장합니다.

결국, 이 논문은 양자 오류 수정의 복잡한 지형을 항해하기 위한 명확한 로드맵을 제공합니다. 이는 이 새로운 코드들에서 나타나는 오류의 겉보기에 혼란스러운 행동이 사실은 엄격하고 예측 가능한 질서에 의해 지배된다는 것을 보여줍니다. 이 질서를 이해함으로써 과학자들은 더 효율적이고 신뢰할 수 있는 양자 컴퓨터를 구축할 수 있습니다. 코드의 동작을 다양한 격자 크기에 따라 예측할 수 있는 능력은 설계자들이 시행착오를 피하고, 코드의 내부 논리를 자연스럽게 지원하는 치수를 선택할 수 있게 함을 의미합니다. 이는 추상적인 수학적 개념을 구체적인 공학적 가이드라인으로 전환하여, 양자 컴퓨팅을 실질적인 현실로 만드는 데 있어 기초적인 단계입니다. 연구진은 패턴 인식이라는 어려운 문제를 해결 가능한 퍼즐로 바꿈으로써, 이러한 고급 양자 코드의 잠재력을 끌어올리는 데 필요한 도구들을 성공적으로 제공했습니다.