Pauli web of the $|Y\rangle$ state surface code injection

고전적 기계의 범위를 넘어서는 문제를 해결할 수 있는 양자 컴퓨터를 구축하려는 여정에서, 과학자들은 정보가 아주 작은 방해로부터도 안전하게 유지되도록 하는 근본적인 장애물에 직면해 있습니다. 양자 비트, 즉 큐비트는 매우 취약하여 환경과 너무 많이 상호작용하면 그 섬세한 상태를 잃어버립니다. 이를 극복하기 위해 연구자들은 오류 정정이라고 불리는 방법을 사용하는데, 이는 단 하나의 정보 조각을 여러 개의 물리적 큐비트에 분산시켜서 충분히 견고하게 살아남을 수 있는 논리적 큐비트를 만드는 방식입니다. 그러나 복잡한 계산을 수행하기 위해서는 이 논리적 큐비트에 '매직 상태(magic states)'라고 불리는 특수한 '자원' 상태를 공급해야 하며, 이 상태는 고급 연산을 위한 연료 역할을 합니다. 문제는 이 상태를 보호 코드 안에 주입할 때, 시스템이 방지하고자 하는 바로 그 오류를 유발하지 않고 주입하는 데 있습니다. 이를 위해서는 큐비트를 초기화하고 정보가 올바르게 전달되었는지 확인하는 정밀한 단계의 시퀀스가 필요합니다.

한 연구팀은 이제 ZX-calculus라고 알려진 시각적 언어를 사용하여 특정 유형의 상태 주입이 정확히 어떻게 작동하는지를 지도화했습니다. 가장 강력한 계산에 사용되는 복잡한 '매직' 상태를 주입하려고 시도하는 대신, 그들은 양자 세계에서 표준적인 나침반 방향처럼 행동하는 더 단순하고 예측 가능한 상태에 집중했습니다. 전체 과정을 도표로 그림으로써, 그들은 정보의 흐로를 추적하고 이전 제안들에서 사용된 특정 시작 조건의 패턴이 시스템이 작동하는 데 필수적임을 보여줄 수 있었습니다. 그들의 작업은 큐비트를 매우 특정한 방식으로 설정할 때—어떤 것들은 한 상태에서 시작하고, 다른 것들은 다른 상태에서 시작하며, 삼각형 구역으로 배치될 때—시스템이 자연스럽게 시작과 끝을 연결하는 연속적인 정보 경로를 형성하여 올바른 논리적 상태를 생성한다는 것을 확인해 줍니다.

연구자들은 먼저 Li가 제안하고 이후 Lao와 Criger가 변형한 방법을 살펴보았는데, 이 방법은 격자의 모퉁이에 특수한 큐비트를 배치하고 나머지 격자를 특정 시작 위치를 가진 다른 큐비트들로 채우는 것을 포함합니다. 그들의 도표에서 시간은 아래에서 위로 흐릅니다. 맨 아래에는 특정 상태에 있는 단일 큐비트를 배치했으며, 대각선 아래의 큐비트들은 한 가지 유형의 상태로 설정되었고 대각선 위의 큐비트들은 다른 상태로 설정되었습니다. 그 후 그들은 인접한 큐비트들 사이의 관계를 확인하는 일련의 측정을 적용했는데, 이 과정은 실수를 잡아내기 위해 반복적으로 일어납니다. 그들은 시각적 도구를 사용하여, 그 특수한 첫 번째 큐비트의 속성이 이러한 점검이 수행됨에 따라 격자를 통해 어떻게 퍼져나가는지를 추적했습니다.

그들이 발견한 것은, 시작 상태의 특정 배치가 입력과 출력을 연결하는 매끄러운 연결 체인을 만든다는 것이었습니다. 만약 시작 상태가 다르게 배치되었다면, 이 체인은 끊어졌을 것이고 최종 결과는 틀렸을 것입니다. 도표는 하단 삼각형과 대각선에 있는 큐비트들이 정보의 흐름을 지탱하는 토대 역할을 하는 반면, 상단 삼각형의 큐비트들은 회로를 완성하는 데 필요한 구조를 제공한다는 것을 보여주었습니다. 이 시각적 증명은 이전 논문들에서 설명된 겉보기에 이상한 초기화 패턴이 논리적 Y 상관관계 파울리 웹(Y correlator Pauli web)이 적절히 종료되어 올바른 논리적 상태를 회복하도록 보장하는 데 필수적임을 입증했습니다. 이것은 마치 모든 기둥이 특정 위치에 놓여야 하는 다리와 같습니다. 만약 기둥 하나라도 움직인다면, 다리는 그 간격을 가로지를 수 없습니다.

그들의 발견의 핵심적인 부분은 시스템이 첫 번째 라운드의 점검을 어떻게 처리하는가와 관련이 있습니다. 완벽한 세상이라면 첫 번째 측정들이 항상 큐비트가 올-바른 상태에 있음을 확인할 것입니다. 하지만 초기 상태들이 혼합되어 있는 방식 때문에, 이러한 첫 번째 점검 중 일부는 신뢰할 수 없는 무작위 결과를 생성합니다. 연구자들은 격자 내에서 첫 번째 점검이 신뢰할 수 있는 영역과 그렇지 않은 영역이 있다는 것을 보여주었습니다. 신뢰할 수 있는 점검은 관련된 모든 큐비트가 동일한 상태에서 시작하여 시스템이 정보를 즉시 검증할 수 있는 경우입니다. 신뢰할 수 없는 점검은 시작 상태가 혼합되어 있어 첫 번째 측정이 본질적으로 추측에 불과한 경우를 포함합니다. 이를 해결하기 위해, 프로토콜은 특정 플라켓(plaquettes)에 대한 첫 번째 라운드 측정값이 +1 값을 산출하는 결과만을 남기는 '사후 선택(post-selection)' 과정을 요구합니다. 이 사후 선택 과정은 주입 중에 발생할 수 있는 오류로부터 최종 논리적 상태를 깨끗하고 오류가 없도록 보장합니다.

팀은 또한 시작 단계에서 바로 오류가 발생하는 경우, 예를 들어 큐비트가 잘못된 상태로 시작하는 경우에 어떤 일이 일지 탐구했습니다. 그들의 도표는 이러한 오류가 시스템을 통해 어떻게 이동하며 시간이 흐름에 따라 특정 측정값의 결과를 뒤집는지 보여주었습니다. 이러한 변화를 추적함으로써, 그들은 초기 설정이 올바르다는 전제하에 시스템이 어떻게 오류를 식별하고 수정할 수 있는지 정확히 볼 수 있었습니다. 이러한 명확함은 왜 특정 초기화 패턴이 중요한지를 설명하는 데 도움이 됩니다. 즉, 시스템이 실제 오류와 첫 번째 측정 라운드의 자연스러운 무작위성을 구분할 수 있게 해주기 때문입니다. 이 명확한 경로가 없다면, 컴퓨터는 실제 오류를 자연스러운 변동으로 오해하여 잘못된 수정을 적용하고 계산을 망칠 수 있습니다.

이 연구는 분석을 가능하게 하기 위해 더 단순한 상태에 초점을 맞추었지만, 연구자들은 동일한 시각적 접근 방식이 본격적인 양자 컴퓨팅에 필요한 더 복잡한 '매직' 상태에도 적용될 수 있다고 믿습니다. 그들은 도표의 규칙을 조정함으로써 더 어려운 상태들의 주입 또한 지도화할 수 있을 것이라고 생각합니다. 현재로서는, 그들의 작업은 Li와 Lao-Criger의 방식이 왜 작동하는지에 대한 명확하고 시각적인 확인을 제공하며, 복잡한 수학적 절차를 양자 컴퓨터에서 정보가 어떻게 흐르는지에 대한 이해하기 쉬운 그림으로 바꾸어 놓았습니다. 이러한 명확함은 미래의 계산을 신뢰성 있게 수행할 수 있는 기계를 구축하는 데 있어 필수적인 단계입니다.