[논문 리뷰] Generators and relations for the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$

Seth Eveson Murray Greylyn|arXiv (Cornell University)|2014. 08. 22.

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

한 줄 요약

이 논문은 양자 계산에서의 정확한 합성에 기여하기 위해 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$의 완전한 생성자 및 관계 집합을 제시한다. $\mathbb{Z}[1/\sqrt{2}, i]$ 위에서 수정된 Giles-Selinger 알고리즘을 사용하여 저자들은 그룹의 유한 표현을 확립하였으며, 이는 클리포드+T 게이트로 유니터리 행렬을 정확하게 분해할 수 있도록 한다. 이는 고장 내성 양자 회로 합성에 적용 가능하다.

ABSTRACT

We give a presentation by generators and relations of the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$ of unitary $4 imes 4$ matrices with entries in the ring $\mathbb{Z}[1/\sqrt{2},i]$. This is motivated by the problem of exact synthesis for the Clifford+T gate set in quantum computation.

연구 동기 및 목표

• 군 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$에 대한 생성자 및 관계로 이루어진 유한 표현을 제공하기 위해.
• 클리포드+T 게이트 세트를 사용한 양자 회로의 정확한 합성을 지원하기 위해.
• Giles-Selinger 정확한 합성 알고리즘을 $\mathbb{Z}[1/\sqrt{2}, i]$로 확장하기 위해. 이는 $1/\sqrt{2}$와 $i$를 포함한다.
• 집합 $\{X_{[\alpha,\beta]}, H_{[\alpha,\beta]}, \omega_{[\alpha]} \mid 1 \leq \alpha < \beta \leq 4\}$ 가 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$를 생성함을 입증하기 위해.
• 모든 행렬이 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$에 속해 있으며, 지정된 유형의 일차 및 이차 수준 행렬의 곱으로 분해될 수 있음을 입증하기 위해.

제안 방법

• 군 $\mathbb{Z}[1/\sqrt{2}, i]$에 대해 Giles-Selinger 정확한 합성 알고리즘을 수정하여 적용한다. 이는 $\mathbb{Z}[\omega]$에 $\sqrt{2}$의 역을 추가한 것이다.
• 큐비트 쌍과 단일 큐비트에 대해 각각 $X_{[\alpha,\beta]}$, $H_{[\alpha,\beta]}$, $\omega_{[\alpha]}$ 생성자를 사용한다.
• $\mathbb{Z}[1/\sqrt{2}, i]$가 유클리드 도메인임을 활용하여 유니터리 행렬의 알고리즘적 분해를 가능하게 한다.
• 기본 유니터리 연산을 사용하여 행렬을 항등행렬로 감소시키기 위해 수정된 Giles-Selinger 알고리즘을 적용한다.
• $\mathbb{Z}[\omega]$에서 $\sqrt{2} = \omega - \omega^3$, $i = \omega^2$, $2 = \delta^4 \cdot \omega^{-2} \cdot \lambda^{-2}$ 등의 대수적 항등식을 활용한다.
• 수정된 알고리즘을 구축 증명으로 사용하여 군 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$가 지정된 집합에 의해 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 군 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$에 대한 유한 표현(생성자 및 관계)은 무엇인가?
• RQ2 Giles-Selinger 정확한 합성 알고리즘이 $\mathbb{Z}[1/\sqrt{2}, i]$로 확장될 수 있는가?
• RQ3 연산자 $X_{[\alpha,\beta]}$, $H_{[\alpha,\beta]}$, $\omega_{[\alpha]}$가 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$를 생성하는가?
• RQ4 유니터리 행렬을 $\mathbb{Z}[1/\sqrt{2}, i]$ 위에서 일차 및 이차 수준 행렬의 곱으로 어떻게 분해할 수 있는가?
• RQ5 이 맥락에서 클리포드+T 회로의 정확한 합성 뒤에 있는 대수적 구조는 무엇인가?

주요 결과

• 군 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$는 집합 $\{X_{[\alpha,\beta]}, H_{[\alpha,\beta]}, \omega_{[\alpha]} \mid 1 \leq \alpha < \beta \leq 4\}$ 에 의해 생성되는 유한 표현을 가진다.
• 수정된 Giles-Selinger 알고리즘은 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$에 속하는 임의의 행렬을 지정된 생성자의 곱으로 성공적으로 분해한다.
• $\mathbb{Z}[1/\sqrt{2}, i]$는 유클리드 도메인이며, 이는 유니터리 행렬의 효과적 알고리즘적 감소를 가능하게 한다.
• $\mathbb{Z}[\omega]$에서 항등식 $2 = \delta^4 \cdot \omega^{-2} \cdot \lambda^{-2}$ 가 성립한다. 여기서 $\delta = 1 + \omega$, $\lambda = 1 + \sqrt{2}$, $\omega = e^{i\pi/4}$이다.
• 생성자 $X$, $H$, $\omega$는 각각 파울리-X 게이트, 하다르드 게이트, 위상 게이트를 나타내며, 이는 $\mathbb{Z}[1/\sqrt{2}, i]$로 확장된다.
• 증명 과정을 통해 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$에 속하는 모든 행렬이 지정된 생성집합의 형태를 가진 일차 및 이차 수준 행렬의 곱임을 확인하였으며, 이는 군의 구조를 확인한다.