PU(2)中的短路径

Parzanchevski和Sarnak最近将Ross和Selinger的PU(2)对角元 factorization 算法改造为对任意PU(2)元在距离$\varepsilon$内的高效概率算法，使用来自某些精心选择集合的最多$3\log_p\frac{1}{\varepsilon^3}$个因子。Clifford+$T$门是出自$p=2$的这样一组集合。在该设定下，我们利用Carvalho Pinto和Petit近期的工作将其改进为$\frac{7}{3}\log_2\frac{1}{\varepsilon^3}$，并在Haskell中实现了该算法。