“…In 2004 Shende, Markov and Bullock proved the highest known lower bound on asymptotic CNOT cost, ⌈ 1 4 (4 n − 3n − 1)⌉ [30], and Vartiainen, Möttönen, and Salomaa simplified the best existing circuit using Gray codes to achieve for the first time a leading order CNOT cost of O(4 n ) (in fact, for large n, the cost was approximately 8.7 × 4 n ), a multiplicative factor away from the highest known lower bound [31]. Later that year, the same authors, along with Bergholm, presented a decomposition based on the cosine-sine matrix decomposition (CSD) which produced asymptotic behavior scaling as 4 n − 2 n+1 [32]. Vatan and Williams published a three CNOT universal two qubit gate along with a proof that fewer CNOTs could never achieve universality [33], and proposed a 40 CNOT universal three qubit gate which was, at the time, the best known [34].…”