[논문 리뷰] Uniform Finite Generation of Compact Lie Groups and universal quantum gates

Domenico D’Alessandro|ArXiv.org|2001. 11. 24.

Algebraic structures and combinatorial models참고 문헌 12인용 수 7

한 줄 요약

이 논문은 컴팩트한 연결 리 군의 모든 원소가 고정된 유한한 리 대수 생성자 집합의 지수 함수들의 곱으로 균일하게 유한하게 생성될 수 있음을 증명한다. 이는 1-파라미터 부분군이 컴팩트할 필요가 없더라도 성립한다. 핵심 결과는 리 대수 기저를 코어지네이션과 컴팩트니스 추론을 통해 구성함으로써 로우엔탈의 균일 유한 생성을 일반 컴팩트 리 군으로 확장한다. 이는 양자 컴퓨팅에서 보편 양자 게이트 합성에 직접적인 영향을 미친다.

ABSTRACT

Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This means that every element $K \in G$ can be expressed as $K=e^{Xt_1}e^{Xt_2} \cdot \cdot \cdot e^{Xt_l}$, where the indeterminates $X$ are in the set $\{X_1,...,X_m \}$, $t_i \in \RR$, $i=1,...,l$, and the number $l$ is uniformly bounded. This extends a previous result by F. Lowenthal in that we do not require the connected one dimensional Lie subgroups corresponding to the $X_i$, $i=1,...,m$, to be compact. We discuss the consequence of this result to the question of universality of quantum gates in quantum computing.

연구 동기 및 목표

• 임의의 선형 독립적인 리 대수 생성자 집합을 사용하여 컴팩트한 연결 리 군의 균일 유한 생성을 확립하는 것.
• 로우엔탈의 이전 결과에서 요구하던 1-파라미터 부분군의 컴팩트니스 조건을 완화하는 것.
• 비제로 시간 매개변수로의 확장을 통해 제어 및 양자 시스템에서의 물리적 실현 가능성과 관련된 것.
• 유한 깊이의 회로로 표현 가능한 보편 양자 게이트 세트를 위한 이론적 기반을 제공하는 것.
• 기존의 리 군 분해 및 양자 제어에 관한 결과들을 통합하고 일반화하는 것.

제안 방법

• 생성자 집합의 원소들을 통해 유사성 변환을 이용해 리 대수의 기저를 구성함으로써 선형 독립성과 리 괄호에 대한 닫힘을 확보한다.
• 역함수 정리를 적용하여 군의 항등원 근처가 기저 원소들의 지수 함수들의 곱으로 매개변수화될 수 있음을 보인다.
• 새로운 기저 원소를 생성하기 위해 필요한 코어지네이션 횟수에 대한 재귀적 경계를 도입함. 이 경계는 $ r_k = 2r_{k-2} + r_{k-1} + 1 $ 의 재귀식으로 정의되며, 이로부터 인자 수에 대한 균일한 경계를 유도한다.
• 군의 컴팩트니스를 적용하여, 이웃 영역의 유한한 이동으로 $ G $ 를 덮을 수 있음을 보이고, 이로써 모든 군 원소에 대해 균일한 생성이 가능함을 보장한다.
• 시간 매개변수 $ t_i \geq 0 $ 로 제한된 경우, 양의 시간 지수 함수들이 생성하는 반군이 조밀하고 내부가 비어 있지 않음을 보여, 그 반군이 군과 동일함을 증명한다.
• 저지비치 및 수스만의 정리 3을 활용하여 이웃 영역 생성 결과와 결합함으로써, 비음수 매개변수를 사용한 균일 생성을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트한 연결 리 군의 모든 원소는 고정된 유한한 리 대수 생성자 집합의 지수 함수들의 곱으로 표현될 수 있으며, 이때 인자 수가 균일하게 유한한가?
• RQ2 생성자에 의해 생성되는 1-파라미터 부분군이 컴팩트할 필요 없이도 균일 유한 생성 성질이 유지되는가?
• RQ3 비음수 시간 매개변수를 사용하여 균일 생성이 가능한가? 이는 제어 및 물리 시스템에서의 실현 가능성과 관련된다.
• RQ4 어떤 군 원소를 생성하기 위해 필요한 지수 함수 인자의 최악의 경우 경계는 무엇인가?
• RQ5 이 결과는 이전의 보편 양자 게이트 및 양자 제어에 관한 결과들을 어떻게 일반화하는가?

주요 결과

• 컴팩트한 연결 리 군 $ G $ 의 모든 원소는 $ K = e^{Xt_1} e^{Xt_2} \cdots e^{Xt_l} $ 의 형태로 표현될 수 있으며, 여기서 $ X \in \{X_1, \dots, X_m\} $, $ t_i \in \mathbb{R} $, 그리고 $ l $ 은 $ G $ 의 모든 $ K $ 에 대해 균일하게 유한하다. 이는 1-파라미터 부분군의 컴팩트니스를 가정하지 않아도 성립한다.
• 인자 수에 대한 균일한 경계는 $ l \leq n + 2\sum_{k=1}^{n-m} r_k $ 로 주어지며, 여기서 $ r_k $ 는 $ r_1 = 1, r_2 = 2, r_k = 2r_{k-2} + r_{k-1} + 1 $ 의 재귀식을 만족한다.
• 시간 매개변수를 비음수로 제한한 경우에도 결과가 성립하며, 이는 제어 및 양자 시스템에서의 물리적 실현 가능성을 보장한다.
• 증명은 생성자에 의한 코어지네이션을 통한 리 대수 기저 구성에 기반하며, 이어 컴팩트니스와 열린 덮개 추론을 통해 국소 생성을 전체 군으로 확장한다.
• 균일 유한 생성 결과는 양자 컴퓨팅에서의 모든 유니터리 진동이 유한 깊이의 기본 양자 게이트 회로로 실현될 수 있음을 시사한다.
• 이 방법은 로우엔탈의 이전 결과를 일반화하고 강화하여, 1-파라미터 부분군의 컴팩트니스 조건을 제거함으로써 모든 컴팩트 리 군에 적용 가능성을 넓혔다.