[논문 리뷰] Stabilizer codes can be realized as graph codes

D. Schlingemann|ArXiv.org|2001. 11. 14.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 유한체 위의 안정자 코드와 그래프 코드 사이의 일대일 대응을 수립하여, 모든 안정자 코드가 등가적으로 그래프 코드로 표현 가능하고 그 반대도 성립함을 증명한다. 이 구성은 입력, 출력 및 보조 정점이 레이블링된 가중 그래프 위의 대칭 이항형을 사용하며, 오류 수정 성질이 그래프 구조에서 직접적으로 드러나므로 대칭성과 와일 연산자를 통한 직관적 설계 및 구현이 가능하다.

ABSTRACT

We establish the connection between a recent new construction technique for quantum error correcting codes, based on graphs, and the so-called stabilizer codes: Each stabilizer code can be realized as a graph code and vice versa.

연구 동기 및 목표

• 양자 오류 수정에서 안정자 코드와 그래프 코드 사이의 엄밀한 수학적 등가성을 수립하기 위해.
• 직관적인 그래프 코드 구성이 안정자 코드를 이해하는 데 새로운 기하학적으로 명확한 프레임워크를 제공함을 보여주기 위해.
• 안정자 코드의 오류 수정 능력이 그에 해당하는 그래프의 위상적 및 대수적 구조에 직접적으로 표현됨을 보여주기 위해.
• 그래프 대칭성과 군 준동형사상을 활용하여 그래프 표현에서 논리적 양자 회로를 체계적으로 구성하기 위해.
• 등가성의 일반화를 위해 임의의 유한 아벨 군으로 확장하여 큐비트 시스템을 초월한 더 넓은 양자 레지스터 모델로 확장하기 위해.

제안 방법

• 양자 시스템의 힐베르트 공간을 $ L_2(G) $로 표현하며, 여기서 $ G $ 는 유한 아벨 군이며, $ G^* \times G $ 위의 비퇴화 이차형 $ \chi $ 를 통해 와일 연산자를 정의한다.
• 입력 및 출력 시스템을 각각 $ H $ 와 $ G $ 가 레이블링하는 대칭 군 준동형사상 $ \omega: H \times G \to (H \times G)^\wedge $ 을 사용하여 그래프 코드를 구성한다.
• 이중형을 표현하는 대칭 행렬 $ \Gamma $ 를 정의하여 그래프 코드를 정의하며, 정점들은 입력, 출력 및 보조 자유도를 나타낸다.
• 안정자 코드를 정의하기 위해 $ G^* \times G $ 의 등지 부분군 $ S \subset G^* \times G $ 를 사용하며, 모든 $ (\hat{g}_i, g_i) \in S $ 에 대해 $ \langle \hat{g}_0, g_1 \rangle - \langle \hat{g}_1, g_0 \rangle = 0 $ 이 성립하도록 보장한다.
• 그래프의 대칭 행렬 $ \Gamma $ 에서 안정자 군을 유도함으로써, 모든 그래프 코드가 안정자 코드임을 증명한다. 이때 $ \Gamma $ 와 이중형 사이의 동형사상이 사용된다.
• 역으로, 등지 부분군 $ S \subset G^* \times G $ 에 대한 추출 조건을 이용하여 임의의 안정자 코드로부터 그래프 코드를 구성함으로써 역방향도 증명한다. 이때 $ S $ 가 사영 준동형사상을 통해 추출 가능하도록 보장한다.

실험 결과

연구 질문

• RQ1 모든 안정자 코드는 구성적이고 역행 가능한 변환을 통해 그래프 코드로 표현될 수 있는가?
• RQ2 안정자 코드의 오류 수정 성질이 그에 해당하는 그래프의 위상적 구조에 직접적으로 나타나는가?
• RQ3 그래프 표현으로부터 논리적 양자 회로를 체계적으로 유도할 수 있는 방법이 있는가?
• RQ4 그래프의 대칭성은 인코딩된 양자 상태의 논리적 대칭성과 어떻게 관련되어 있는가?
• RQ5 안정자 코드와 그래프 코드 사이의 등가성은 $ \mathbb{F}_2 $ 를 초월하여 임의의 유한 아벨 군으로 일반화될 수 있는가?

주요 결과

• 모든 그래프 코드는 안정자 코드이며, 그래프의 이중형을 표현하는 대칭 행렬 $ \Gamma $ 로부터 안정자 군을 명시적으로 유도할 수 있다.
• 모든 안정자 코드는 그 등지 부분군 $ S \subset G^* \times G $ 가 곱군에서 추출 가능할 경우에만 등가적인 그래프 코드 표현을 가진다.
• $ [[4,2,2]] $ 안정자 코드는 대칭 $ 7 \times 7 $ 행렬 $ \Gamma $ 를 가진 그래프 코드로 실현되었으며, 이는 1비트 오류 탐지 능력을 확인한다.
• 그래프 표현은 오류 수정 성질을 명백히 드러낸다. 예를 들어, $ [[4,2,2]] $ 코드는 출력 정점에 히드라드 변환을 적용하여 1비트 플립 오류를 탐지함을 확인하였다.
• 오류 수정과 호환되는 그래프 대칭성은 논리적 연산을 구현하는 데 활용될 수 있으며, 이는 표준 안정자 코드 대칭성과는 다릅니다.
• 이 구성은 그래프에서 논리적 양자 회로를 체계적으로 도출할 수 있게 하며, 1 큐비트 및 2 큐비트 게이트를 직접 구현할 수 있도록 한다.