[논문 리뷰] 3D local qupit quantum code without string logical operator

Isaac H. Kim|arXiv (Cornell University)|2011. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 10

한 줄 요약

이 논문은 소수 차원 큐디트를 사용하는 3차원 국소 큐비트 양자 코드의 새로운 가족을 소개하며, 이는 유한체 위의 안정자 코드를 활용하여 스트링 논리적 연산자를 갖지 않는다. 반전에 대한 대칭성 또는 반대칭성에 따라 코드를 분류함으로써 두 클래스 간의 이중성을 수립하고, 논리적 오류에 대해 로그 스케일 에너지 장벽을 증명한다. 최소한의 실현 가능한 큐디트 차원은 5이다.

ABSTRACT

Recently Haah introduced a new quantum error correcting code embedded on a cubic lattice. One of the defining properties of this code is the absence of string logical operator. We present new codes with similar properties by relaxing the condition on the local particle dimension. The resulting code is well-defined when the local Hilbert space dimension is prime. These codes can be divided into two different classes: the local stabilizer generators are either symmetric or antisymmetric with respect to the inversion operation. These is a nontrivial correspondence between these two classes. For any symmetric code without string logical operator, there exists a complementary antisymmetric code with the same property and vice versa. We derive a sufficient condition for the absence of string logical operator in terms of the algebraic constraints on the defining parameters of the code. Minimal number of local particle dimension which satisfies the condition is 5. These codes have logarithmic energy barrier for any logical error.

연구 동기 및 목표

• 복합 차원이 아닌 소수 차원 큐디트를 사용하여 스트링 논리적 연산자가 없는 3차원 국소 양자 오류정정 코드를 구성하는 것.
• 하우의 코드에서 관찰된 것과 유사하게, 로그 에너지 장벽을 통해 자가수정 행동을 달성할 수 있는지 탐구하는 것.
• 공간 반전에 대한 변환 행동에 따라 안정자 코드를 대칭 또는 반대칭으로 분류하고, 두 클래스 간의 이중성을 수립하는 것.
• 스트링 논리적 연산자를 피하기 위해 필요한 최소 큐디트 차원을 결정하며, 하우의 코드에서 알려진 d=4의 경우를 초월하는 것.
• 계수의 크기와 경계 조건에 따라 부피의 위상적 성질과 논리적 연산자 구조를 분석하는 것.

제안 방법

• 각 입방체에 하나의 안정자 생성자를 갖는 입방 격자 위에 안정자 코드를 구성하며, 국소 큐디트 차원은 소수 p로 설정한다.
• 공간 반전에 대한 행동에 따라 코드를 대칭(불변) 또는 반대칭(부호 반전)으로 분류하고, 생성자 계수에 대한 대수적 제약 조건을 사용한다.
• 지역 유니터리 변환을 통해 대칭 및 반대칭 코드 사이에 일대일 대응을 수립하며, 핵심 위상적 성질을 유지한다.
• 스트링 논리적 연산자가 존재하지 않도록 보장하는 코드 매개변수(안정자 생성자 내 계수)에 대한 대수적 조건을 유도한다.
• 평면 표면에서의 논리적 연산자를 분석하고, 주기적 경계 조건이 시스템 크기의 기수성에 따라 특정 논리적 연산자의 존재를 제한함을 보인다.
• 스트링 규칙과 외형 비율 논증을 사용하여 논리적 오류 과정에 대해 로그 스케일 에너지 장벽을 증명하며, 브라비-하우 결과를 소수 차원 큐디트로 일반화한다.

실험 결과

연구 질문

• RQ1 복합 차원(d=4 등)이 아닌 소수 차원 큐디트를 사용하여 스트링 논리적 연산자가 없는 3차원 국소 양자 코드를 구성할 수 있는가?
• RQ2 스트링 논리적 연산자가 없는 이러한 코드가 존재하기 위한 최소 큐디트 차원 p는 얼마인가?
• RQ3 공간 반전에 대한 대칭 및 반대칭 코드는 어떻게 관련되어 있으며, 이 이중성은 스트링 논리적 연산자의 부재를 유지하는가?
• RQ4 로그 에너지 장벽이 소수 차원 큐디트에 대한 비-CSS 코드로 일반화될 수 있는가?
• RQ5 시스템 크기와 경계 조건은 이러한 코드에서 논리적 연산자의 존재에 어떤 영향을 미치는가?

주요 결과

• 스트링 논리적 연산자가 없는 3차원 국소 안정자 코드를 구성하기 위해 필요한 최소 국소 큐디트 차원은 5이며, p=2 및 p=3인 경우는 반드시 이러한 연산자를 포함한다.
• 대칭 및 반대칭 코드 사이에 일대일 대응이 존재한다: 스트링 논리적 연산자가 없는 매 대칭 코드에 대해, 동일한 성질을 갖는 보완적인 반대칭 코드가 존재하며, 그 반대도 마찬가지다.
• 스트링 논리적 연산자의 부재는 안정자 생성자 계수에 대한 대수적 제약 조건에 의해 결정되며, 이는 유한체 GF(p) 위에서 특정 다항식 조건을 만족해야 한다.
• 반대칭 코드는 안정자 생성자 간의 전역 관계로 인해 항상 최소한 하나의 논리적 큐디트를 인코딩하지만, 대칭 코드는 평면 논리적 연산자를 명시적으로 분석하여 인코딩 여부를 확인해야 한다.
• 논리적 오류의 에너지 장벽은 시스템 크기와 함께 로그 스케일로 증가하며, 이는 스트링 규칙과 유한한 외형 비율에서 유도되며, 3차원에서의 자가수정 가능성을 보장한다.
• 평면 표면에서의 논리적 연산자는 시스템 크기에 의해 제약을 받는다: 주기적 패턴은 너비와 높이가 모두 짝수일 때 또는 여러 개의 연산자를 곱하여 주기적 패턴을 형성할 때만 존재한다.