Unextendible stabiliser bases

당신이 오직 특정한 종류의 레고 브릭만을 사용하여 집을 지으려 한다고 상상해 보십시오. 양자 물리학의 세계에서 이 특별한 브릭들은 "스테빌라이저 상태(stabiliser states)"라고 불립니다. 이들은 생성하고 조작하기 가장 쉬운 종류의 양자 상태이며, 슈퍼컴퓨터로 완벽하게 시뮬레이션할 수 있습니다. 이들은 매우 다루기 쉽기 때문에 양자 오류 수정 체계의 기초가 됩니다. 하지만 진정으로 강력하고, 어떤 문제든 해결할 수 있는 범용 양자 컴퓨터를 구축하려면, 약간의 "마법(magic)"을 더해야 합니다. 이 마법은 쉬운 브릭들의 규칙을 깨뜨리는, 만들기는 더 어렵지만 특별한 마법 상태들로부터 옵니다. 과학자들은 현재 이 마법 상태들의 기하학적 구조를 이해하는 데 몰두하고 있습니다. 즉, 이들이 어디에 숨어 있으며, 쉬운 브식들과 어떻게 상호작용하는지를 말입니다.

이 분야의 가장 큰 수수께끼 중 하나는 "세트 완성하기"입니다. 당신이 직교하는(서로 배타적인) 스테빌라이저 상태들의 모음을 가지고 있다고 상상해 보십시오. 완벽한 세상이라면, 당신은 가능한 모든 방향이 스테빌라이저 브릭으로 채워지는 완전한 "기저(basis)"를 만들기 위해, 당신의 모음에 더 많은 스테빌라이저 상태를 추가하여 방 전체를 채울 수 있을 것입니다. 하지만 만약 벽에 부딪힌다면 어떨까요? 만약 당신이 일련의 특별한 브릭들을 가지고 있는데, 아무리 노력해도 기존의 것들과 충돌하지 않으면서 완벽하게 어우러지는 새로운 스테질라이저 브릭을 단 하나도 찾을 수 없다면 어떨까요? 이것이 바로 "확장 불가능한(unextendible)" 세트의 개념입니다. 이는 마치 퍼즐을 완성하려는데, 남은 빈 공간의 모양이 표준 퍼즐 조각으로는 결코 채울 수 없는 형태라는 것을 깨닫는 것과 같습니다. 이 논문은 이 기묘한 기하학적 장애물에 대해 깊이 파고들며, 양자 세계에서 이러한 "채울 수 없는" 틈새가 정확히 언제, 어떻게 나타나는지 묻습니다.

이 논문의 저자인 마르쿠스 프렘스(Markus Frembs)는 이러한 채울 수 없는 틈새, 즉 그가 "확장 불가능한 스테빌라이저 기저(Unextendible Stabiliser Bases, USBs)"라고 부르는 것들이 실재하며 놀라울 정도로 흔하다는 것을 발견했습니다. 다만, 이들은 퍼즐을 복잡하게 만들 만큼 충분한 양의 양자 입자가 있을 때만 나타납니다. 구체적으로, 그는 당신이 단 몇 개의 입자로 작업하고 있다면 항상 세트를 완성할 수 있다는 것을 증명했습니다. 하지만 특정 임계값에 도달하면 양자 세계의 기하학적 구조가 변하여, 스테빌라이저 브릭을 구성할 수 없는 그룹을 만들어낼 수 있게 됩니다.

표준 양자 비트(큐비트)로 구성된 시스템의 경우, 저자는 확장 불가능한 세트를 만들기 위해 최소 4개의 큐비트가 필요함을 보여주었습니다. 그는 4개의 큐비트를 사용하여 다른 스테빌라이저 상태에 의해 확장될 수 없는 구체적인 예시를 명시적으로 구축했습니다. 마찬가지로, "쿼디트(qudits)"(2개 이상의 상태를 가진 양자 단위, 특히 3, 5, 7과 같은 홀수 소수의 상태를 가진 단위) 시스템의 경우, 마법은 3개의 입자에서 일어납니다. 그는 3개의 쿼디트를 사용하는 구체적인 예시를 구축했으며, 이 역시 확장 불가능합니다. 이 논문은 이들이 최소 요구치임을 증명합니다. 즉, 2개의 쿼디트나 3개의 큐비트처럼 입자 수가 더 적을 때는 항상 세트를 완성할 방법을 찾을 수 있습니다. 나아가, 저자는 일단 이 최소치를 넘어서면 4개 이상의 큐비트나 3개 이상의 쿼디트와 같이 더 큰 시스템에서도 이러한 확장 불가능한 세트를 만들 수 있음을 보여주었습니다.

또한 이 논문은 확장 불가능한 세트 뒤에 남겨진 빈 공간에서 어떤 일이 일어나는지 탐구합니다. 양자 자원의 세계에서 이 빈 공간은 매우 매혹적입니다. 저자는 이러한 확장 불가능한 세트의 "그림자" 또는 여집합 공간이 스테빌라이저 상태를 전혀 포함하지 않는다는 것을 발견했습니다. 이는 이 그림자 안에 존재하는 모든 양자 상태는 순수한 "마법"이라는 것을 의미합니다. 즉, 고전적으로 시뮬레이션할 수 없는 자원인 것입니다. 홀수 소수 차원의 시스템에서 이 마법은 "결합된(bound)" 상태, 즉 추출하기 어려워 더 강력한 형태로 정제할 수 없는 상태입니다. 그러나 4-큐비트 사례의 경우, 이 마법은 결합되어 있지 않습니다. 즉, 이 마법은 해제되어 사용될 수 있으며, 이는 양자 컴퓨터를 구축하는 데 있어 매우 중요한 차이점입니다.

마지막으로, 이 논문은 실질적인 질문을 던집니다. 만약 당신에게 이러한 확장 불가능한 세트가 있다면, 그것들을 서로 구별할 수 있을까요? 다른 양자 시나리오에서 확장 불가능한 세트는 너무 혼란스러워서 국소적 측정(local measurements)을 통해서도 서로 구별할 수 없습니다. 저자는 스테빌라이저 상태의 경우, 반드시 그렇지는 않다는 것을 발견했습니다. 이 세트들이 기하학적으로는 확장 불가능할지라도, 그것이 스테빌라이저 연산을 통해 상태를 구별하는 것을 막는 균일한 장벽을 자동으로 형성하는 것은 아닙니다. 당신은 여전히 높은 확률로 이들을 구별할 수 있으며, 이는 "확장 불가능성"이 운영상의 완전한 막다른 길이 아니라 기하학적인 경이로움임을 의미합니다.

요약하자면, 이 연구는 "쉬운" 양자 세계가 스스로의 틈새를 채우는 능력을 상실하는 정확한 경계를 그려냅니다. 이 작업은 4개의 큐비트 혹은 3개의 홀수 소수 쿼디트에서 스테빌라이저 상태의 기하학적 구조가 영구적이고 채울 수 없는 공백을 만들어내며, 그 뒤에 순수한 마법이자 차세대 양자 컴퓨팅에 필수적인 공간을 남긴다는 것을 확인시켜 줍니다.