[논문 리뷰] Quantum Gates and Clifford Algebras

Alexander Yu. Vlasov|ArXiv.org|1999. 07. 26.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 6

한 줄 요약

이 논문은 양자 정보 과학에서 양자 게이트와 선형 변환을 표현하기 위해 복소 클리포드 대수 Cl(2n,C)를 사용하는 수학적 프레임워크를 수립한다. Cl(2n,C)가 모든 2^n × 2^n 유니터리 행렬을 포괄하는 유니버설 행렬 표현을 제공함을 보여주며, 기본 생성자들의 텐서곱을 통한 양자 회로의 압축된 모델링이 가능하다. 이는 양자 회로 시뮬레이션 및 큐비트 시스템의 이론적 분석에 응용된다.

ABSTRACT

Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical properties of the algebras those also justifies such applications. First, any complex Clifford algebra with 2n generators, Cl(2n,C), has representation as algebra of all 2^n x 2^n complex matrices and so includes unitary matrix of any quantum n-gate. An arbitrary element of whole algebra corresponds to general form of linear complex transformation. The last property is also useful because linear operators are not necessary should be unitary if they used for description of restriction of some unitary operator to subspace. The second advantage is simple algebraic structure of Cl(2n) that can be expressed via tenzor product of standard "building units" and similar with behavior of composite quantum systems. The compact notation with 2n generators also can be used in software for modeling of simple quantum circuits by modern conventional computers.

연구 동기 및 목표

• 클리포드 대수를 사용하여 양자 게이트에 대한 엄밀한 수학적 기반을 수립하기 위해.
• 복소 클리포드 대수 Cl(2n,C)가 모든 2^n × 2^n 유니터리 행렬을 표현할 수 있음을 보여주어 유니버설 양자 게이트 모델링을 가능하게 하기 위해.
• Cl(2n,C)의 대수적 구조가 복합 양자 시스템의 텐서곱 구조를 그대로 반영함을 보여주기 위해.
• 클래식 컴퓨터에서 양자 회로 시뮬레이션 소프트웨어 구현에 적합한 압축된 대수적 표기법을 제공하기 위해.
• 물리적 관련성과 수학적 단순성의 양면에서 클리포드 대수의 사용을 정당화하기 위해.

제안 방법

• Cl(2n,C)와 모든 2^n × 2^n 복소 행렬 대수 간의 동형사상 활용.
• Cl(2n,C)를 단일 큐비트 연산에 대응하는 '구성 요소'로 분해한 텐서곱 구조 활용.
• 임의의 양자 n-게이트를 클리포드 대수 Cl(2n,C)의 원소로 표현.
• 부분공간 위의 선형 변환을 모델링하기 위해 대수적 구조를 적용함. 이는 비유니터리인 경우에도 가능하다.
• 2n-생성자 체계를 활용해 소프트웨어 내에서 양자 회로의 효율적 인코딩과 조작을 가능하게 함.
• Cl(2n,C)의 대수적 성질을 활용해 복합 양자 시스템의 기술을 단순화함.

실험 결과

연구 질문

• RQ1 클리포드 대수는 양자 정보 이론에서 양자 게이트를 표현하기 위한 유니버설 대수적 프레임워크를 제공할 수 있는가?
• RQ2 Cl(2n,C)의 구조는 다중 큐비트 양자 시스템의 텐서곱 구조와 어떻게 관련이 있는가?
• RQ3 클리포드 대수 체계는 클래식 컴퓨터에서 양자 회로 시뮬레이션에 어떤 이점을 제공하는가?
• RQ4 Cl(2n,C) 내 선형 연산자에 대한 대수적 표현은 유니터리 변환을 초월해 어떤 방식으로 확장되는가?
• RQ5 2n-생성자 체계는 양자 회로를 효율적으로 모델링하고 분석하는 데 어떻게 활용될 수 있는가?

주요 결과

• Cl(2n,C)는 모든 2^n × 2^n 복소 행렬 대수와 동형이므로, 임의의 양자 n-게이트를 표현할 수 있다.
• 대수 Cl(2n,C)는 유니터리 및 비유니터리 선형 변환을 자연스럽게 포함하며, 제한된 연산자 분석에 유용하다.
• Cl(2n,C)의 텐서곱 구조는 복합 양자 시스템의 구조를 그대로 반영하여 다중 큐비트 시스템에 대한 자연스러운 형식적 기반을 제공한다.
• 2n-생성자 체계는 소프트웨어 시뮬레이션에서 양자 회로를 압축하고 효율적으로 표현할 수 있게 한다.
• Cl(2n,C)의 수학적 단순성과 유니버설리티는 물리적 동기를 넘어서 양자 정보 과학에서의 활용을 정당화한다.
• 대수적 프레임워크는 유니터리 조건 없이도 부분공간 위의 선형 연산자 모델링을 지원하여 적용 범위를 넓힌다.