Experimental test of Mermin inequalities on a ve-qubit quantum computer, Physical Review A, vol.94, p.12314, 2016. ,
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.32, issue.6, pp.818-830, 2013. ,
, L Users' Guide. Society for Industrial and Applied Mathematics, 1999.
A universal two-bit gate for quantum computation, Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol.449, pp.679-683, 1937. ,
Elementary gates for quantum computation, Physical Review A, vol.52, p.3457, 1995. ,
Quantum circuits with uniformly controlled one-qubit gates, Physical Review A, vol.71, p.52330, 2005. ,
Quantum machine learning, Nature, vol.549, issue.7671, p.195, 2017. ,
,
Practical scheme for quantum computation with any two-qubit entangling gate, Physical Review Letters, vol.89, p.247902, 2002. ,
An arbitrary two-qubit computation in 23 elementary gates or less, Proceedings of the 40 th Annual Design Automation Conference, pp.324-329, 2003. ,
Asymptotically optimal circuits for arbitrary n-qubit diagonal computations, Quantum Information & Computation, vol.4, pp.27-47, 2004. ,
The canonical coset decomposition of unitary matrices through Householder transformations, Journal of Mathematical Physics, vol.51, issue.8, p.82101, 2010. ,
Report on post-quantum cryptography, 2016. ,
Reducing quantum computations to elementary unitary operations, Computing in Science & Engineering, vol.3, issue.2, pp.27-32, 2001. ,
The Solovay-Kitaev algorithm, Quantum Information & Computation, vol.6, pp.81-95, 2006. ,
Block-ZXZ synthesis of an arbitrary quantum circuit, Physical Review A, vol.94, p.52317, 2016. ,
Quantum theory, the Church-Turing principle and the universal quantum computer, Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol.400, pp.97-117, 1818. ,
Universality in quantum computation, Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol.449, pp.669-677, 1937. ,
Two-bit gates are universal for quantum computation, Physical Review A, vol.51, pp.1015-1022, 1995. ,
Preface: Basic linear algebra subprograms technical (BLAST) forum standard, International Journal of High Performance Computing Applications, vol.16, issue.1, pp.1-1, 2002. ,
A quantum approximate optimization algorithm, 2014. ,
Simulating physics with computers, International journal of theoretical physics, vol.21, issue.6-7, pp.467-488, 1982. ,
Matrix Computations, 1996. ,
A fast quantum mechanical algorithm for database search, Proceedings of the 28 th Annual ACM Symposium on Theory of Computing, pp.212-219, 1996. ,
An e cient quantum compiler that reduces T-count, Quantum Science and Technology, vol.4, issue.1, p.15004, 2019. ,
, Intel. Math Kernel Library (MKL
Quantum circuits for isometries, Physical Review A, vol.93, p.32318, 2016. ,
, , 2019.
Engineering of arbitrary U(n) transformations by quantum Householder re ections, Physical Review A, vol.74, p.22323, 2006. ,
Sca CC: Scalable compilation and analysis of quantum programs, Parallel Computing, vol.45, pp.2-17, 2015. ,
On the role of entanglement in quantum-computational speed-up, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, vol.459, pp.2011-2032, 2003. ,
Quantum recommendation systems, Proceedings of the 8 th Innovations in Theoretical Computer Science Conference, vol.67, pp.1-49, 2017. ,
Quantum gradient descent for linear systems and least squares, Physical Review A, vol.101, p.22316, 2020. ,
Fast and e cient exact synthesis of single-qubit unitaries generated by Cli ord and T gates. Quantum Information & Computation, vol.13, pp.607-630, 2013. ,
Approximation by quantum circuits, 1995. ,
Linear optical quantum computing with photonic qubits, Reviews of Modern Physics, vol.79, pp.135-174, 2007. ,
Optimal creation of entanglement using a two-qubit gate, Physical Review A, vol.63, p.62309, 2001. ,
Variational quantum state diagonalization, NPJ Quantum Information, vol.5, issue.1, 2019. ,
The computation of elementary unitary matrices, ACM Transactions on Mathematical Software, vol.22, issue.4, pp.393-400, 1996. ,
Almost any quantum logic gate is universal, Physical Review Letters, vol.75, pp.346-349, 1995. ,
The ubiquitous Kronecker product, Journal of Computational and Applied Mathematics, vol.123, issue.1, pp.85-100, 2000. ,
Basic circuit compilation techniques for an ion-trap quantum machine, New Journal of Physics, vol.19, issue.2, p.23035, 2017. ,
Parallelizing quantum circuit synthesis, Quantum Science and Technology, vol.1, issue.1, p.15003, 2016. ,
Quantum walk speedup of backtracking algorithms, 2015. ,
Decompositions of general quantum gates, Trends in Quantum Computing Research, 2006. ,
Quantum circuits for general multiqubit gates, Physical Review Letters, vol.93, p.130502, 2004. ,
Automated optimization of large quantum circuits with continuous parameters, NPJ Quantum Information, vol.4, issue.1, p.23, 2018. ,
, Quantum Computation and Quantum Information, 2011.
A variational eigenvalue solver on a photonic quantum processor, Nature Communications, vol.5, p.4213, 2014. ,
Quantum-state preparation with universal gate decompositions, Physical Review A, vol.83, p.32302, 2011. ,
, Quantum Computing in the NISQ era and beyond. Quantum, vol.2, p.79, 2018.
Experimental realization of any discrete unitary operator, Physical Review Letters, vol.73, pp.58-61, 1994. ,
Optimal ancilla-free Cli ord+T approximation of Z-rotations, Quantum Information & Computation, vol.16, pp.901-953, 2016. ,
A quantum information processor with trapped ions, New Journal of Physics, vol.15, issue.12, p.123012, 2013. ,
A storage-e cient W Y representation for products of Householder transformations, SIAM Journal on Scienti c and Statistical Computing, vol.10, issue.1, pp.53-57, 1989. ,
E cient Cli ord+T approximation of single-qubit operators. Quantum Information & Computation, vol.15, pp.159-180, 2015. ,
Synthesis of quantum-logic circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.6, pp.1000-1010, 2006. ,
Optimized compilation of aggregated instructions for realistic quantum computers, Proceedings of the 24 th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.1031-1044, 2019. ,
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM Review, vol.41, issue.2, pp.303-332, 1999. ,
The e cient generation of random orthogonal matrices with an application to condition estimators, SIAM Journal on Numerical Analysis, vol.17, issue.3, pp.403-409, 1980. ,
Hybrid quantum-classical computing architectures, Proceedings of the 3 rd International Workshop on Post-Moore Era Supercomputing, 2018. ,
A basis-kernel representation of orthogonal matrices, SIAM Journal on Matrix Analysis and Applications, vol.16, issue.4, pp.1184-1196, 1995. ,
Computing the complete cs decomposition, Numerical Algorithms, vol.50, issue.1, pp.33-65, 2009. ,
The quantum future of computation, IEEE Computer, vol.49, issue.9, pp.21-030, 2016. ,
Towards dense linear algebra for hybrid GPU accelerated manycore systems, Special Issue on Parallel Matrix Algorithms and Applications, vol.36, issue.5, pp.232-240, 2010. ,
Householder methods for quantum circuit design, Canadian Journal of Physics, vol.94, issue.2, pp.150-157, 2016. ,
Programming the quantum future, Commununications of the ACM, vol.58, issue.8, pp.52-61, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01194416
E cient decomposition of quantum gates, Physical Review Letters, vol.92, p.177902, 2004. ,
Optimal quantum circuits for general two-qubit gates, Physical Review A, vol.69, p.32315, 2004. ,
Realization of a general three-qubit quantum gate. Draft available as quant-ph/0401178, 2004. ,
E cient classical simulation of slightly entangled quantum computations, Physical Review Letters, vol.91, p.147902, 2003. ,
Universal quantum circuit for two-qubit transformations with three controlled-not gates, Physical Review A, vol.69, p.10301, 2004. ,
Physical implementation of quantum walks, 2013. ,
On the Synthesis of Quantum Circuits for Diagonal Operators in Quantum Computation. Doctoral dissertation, Graduate School of Arts & Sciences, 2015. ,
Quantum circuit complexity, Proceedings of the 34 th Annual Symposium on the Foundations of Computer Science, pp.352-361, 1993. ,