1305.5528 (Nathan Wiebe et al.)

Floating Point Representations in Quantum Circuit Synthesis    [PDF]

Nathan Wiebe, Vadym Kliuchnikov

We provide a non--deterministic quantum protocol that approximates R_x(a^2 b^2) using R_x(a) and R_x(b) and a constant number of Clifford and T operations. We then use this method to construct a "floating point" implementation of a small rotation wherein we use the aforementioned method to construct the exponent part of the rotation and also to combine it with a mantissa. This causes the cost of the synthesis to depend more strongly on the relative (rather than absolute) precision required. We analyze the mean and variance of the T-count required to use our techniques and show that, with high probability, the required T-count will be lower than lower bounds for the T-count required to do ancilla--free circuit synthesis. We also discuss the T-depth of our method and show that the vast majority of the cost of the resultant circuits can be shifted offline.

View original: http://arxiv.org/abs/1305.5528