Exact synthesis of multiqubit Clifford plus T circuits

被引：108

作者：

Giles, Brett ^{[1
]}

Selinger, Peter ^{[2
]}

机构：

[1] Univ Calgary, Dept Comp Sci, Calgary, AB T2N 1N4, Canada

[2] Dalhousie Univ, Dept Math & Stat, Halifax, NS, Canada

来源：

PHYSICAL REVIEW A | 2013年 / 87卷 / 03期

基金：

加拿大自然科学与工程研究理事会;

关键词：

D O I：

10.1103/PhysRevA.87.032332

中图分类号：

O43 [光学];

学科分类号：

070207 ; 0803 ;

摘要：

We prove that a unitary matrix has an exact representation over the Clifford + T gate set with local ancillas if and only if its entries are in the ring Z[1/root 2,i]. Moreover, we show that one ancilla always suffices. These facts were conjectured by Kliuchnikov, Maslov, and Mosca. We obtain an algorithm for synthesizing a exact Clifford + T circuit from any such n-qubit operator. We also characterize the Clifford + T operators that can be represented without ancillas. DOI: 10.1103/PhysRevA.87.032332

引用

页数：7