[논문 리뷰] Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)

Aleks Kissinger|arXiv (Cornell University)|2022. 04. 29.

Quantum Computing Algorithms and Architecture인용 수 12

한 줄 요약

이 논문은 위상 자유 ZX 다이어그램—양자 상태의 그래픽적 표현—과 캘더백-쇼어-스타인(Calderbank-Shor-Steane, CSS) 코드 간의 정확하고 일대일 대응 관계를 수립한다. 두 구조의 F₂-선형 구조가 동일함을 보여, 저자들은 안정자 생성자, 논리적 연산자, 격자 수술 연산을 모두 다이어그램적 규칙만으로 완전히 그래픽적으로 유도할 수 있게 되었으며, 특히 표면 코드에 대해 유용하다.

ABSTRACT

In this paper, we demonstrate a direct correspondence between phase-free ZX diagrams, a graphical notation for representing and manipulating a certain class of linear maps on qubits, and Calderbank-Shor-Steane (CSS) codes, a large family of quantum error correcting codes constructed from classical codes, including for example the Steane code, surface codes, and colour codes. The stabilisers of a CSS code have an especially nice structure arising from a pair of orthogonal $\mathbb F_2$-linear subspaces, or in the case of maximal CSS codes, a single subspace and its orthocomplement. On the other hand, phase-free ZX diagrams can always be efficiently reduced to a normal form given by the basis elements of an $\mathbb F_2$-linear subspace. Here, we will show that these two ways of describing a quantum state by an $\mathbb F_2$-linear subspace $S$ are in fact the same. Namely, the maximal CSS code generated by $S$ fixes the quantum state whose ZX normal form is also given by $S$. This insight gives us an immediate translation from stabilisers of a maximal CSS code into a ZX diagram describing its associated state. We show that we can extend this translation to stabilisers and logical operators of any (possibly non-maximal) CSS code by "bending wires". To demonstrate the utility of this translation, we give a simple picture of the surface code and a fully graphical derivation of the action of physical lattice surgery operations on the space of logical qubits, completing the ZX presentation of lattice surgery initiated by de Beudrap and Horsman.

연구 동기 및 목표

• 위상 자유 ZX 다이어그램과 CSS 코드 간의 엄밀하고 직접적인 대응 관계를 수립하기 위해.
• ZX 계산법에서 안정자 생성자의 국소성과 구조를 유지하여 이전 번역에서 관찰된 물리적 직관의 손실을 방지하기 위해.
• 특히 표면 코드에 대해, 대수적 또는 행렬 표현에 의존하지 않고도 안정자 코드에 대한 추론을 위한 완전한 다이어그램적 프레임워크를 제공하기 위해.
• ZX 계산법을 확장하여, 오직 다이어그램적 교환 규칙만을 사용해 CSS 코드에 대한 격자 수술 연산을 체계적으로 도출할 수 있도록 하기 위해.
• 이러한 결과를 큼직 시스템과 CSS 가족을 초월한 다른 안정자 코드로 일반화하기 위한 기반을 마련하기 위해.

제안 방법

• 위상 자유 ZX 다이어그램의 F₂-선형 구조를 활용하며, 이는 하위공간 S에 기반한 정규형으로 간소화될 수 있다.
• 최대 크기의 CSS 코드의 안정자 생성자를 사용하여, 동일한 하위공간 S를 갖는 위상 자유 ZX 다이어그램을 직접 구성한다.
• π-복사, 보완성, 강력 보완성 등의 다이어그램적 교환 규칙을 적용하여, 격자 수술과 같은 물리적 연산을 시뮬레이션한다.
• ZX 다이어그램을 X-또는 Z-표현에서 다루어 표면 코드 패치에서 X-분할 및 Z-결합 연산을 도출하며, 논리 큐비트의 구조를 유지한다.
• 측정 기반 연산 중 발생하는 파울리 오류를 오류 정정(e.c.)을 통해 흡수하여 논리 계산에 대해 무시 가능하게 간주한다.
• 색 대칭성과 회전을 통해 이론을 임의 크기의 표면 코드 패치로 확장하고, 다른 연산으로 일반화한다.

실험 결과

연구 질문

• RQ1 위상 자유 ZX 다이어그램을 안정자 코드, 특히 CSS 코드로 체계적으로 매핑할 수 있는가? 이때 F₂-선형 구조가 유지되는가?
• RQ2 표면 코드에서의 격자 수술 연산은 대수적 또는 회로 기반 방법을 쓰지 않고도 오직 다이어그램적 교환 규칙을 통해 ZX 계산법에서 유도할 수 있는가?
• RQ3 ZX 계산법은 '굽은 선'과 다이어그램 변환을 통해 비최대 크기의 CSS 코드의 논리적 연산자와 안정자 생성자를 어느 정도 표현할 수 있는가?
• RQ4 ZX 다이어그램과 CSS 코드 간의 대응 관계는 위상 양자 코드에 대한 더 직관적이고 엄밀한 이해를 어떻게 가능하게 하는가?
• RQ5 이 프레임워크는 큼직 시스템과 비-CSS 안정자 코드로 일반화될 수 있으며, 새로운 기술적 과제는 무엇인가?

주요 결과

• 위상 자유 ZX 다이어그램과 최대 크기의 CSS 코드는 공통된 F₂-선형 하위공간 S를 통해 일대일 대응되며, 다이어그램의 정규형은 코드의 안정자 생성자와 정확히 일치한다.
• CSS 코드의 안정자 생성자는 X-또는 Z-표현을 사용해 직접 ZX 다이어그램으로 변환되며, 코드의 물리적 국소성은 유지된다.
• 격자 수술 연산—X-분할, Z-분할, X-결합, Z-결합—은 표준 ZX 규칙(π-복사, 보완성, 강력 보완성 포함)을 전적으로 사용해 그래픽적으로 도출될 수 있다.
• 이러한 연산의 도출은 확장 가능하며, 3×3 예제에 국한되지 않고 임의 크기의 표면 코드 패치에 동일하게 적용된다.
• 색 대칭성과 회전을 통해 Z-표현에서도 동일한 방법을 적용할 수 있어 표면 코드 연산의 완전한 그래픽적 그림을 제공한다.
• 이 프레임워크는 결함 빈티드, 색 코드, 큼직 시스템으로의 다이어그램적 추론 확장을 위한 기반을 마련하며, 큼직 이론을 초월한 광범위한 적용 가능성을 시사한다.