Exploring ab initio machine synthesis of quantum circuits
Gate-level quantum circuits are often derived manually from higher level algorithms. While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity. Therefore, ab...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IOP Publishing
2023-01-01
|
| Series: | New Journal of Physics |
| Subjects: | |
| Online Access: | https://doi.org/10.1088/1367-2630/ace077 |
| _version_ | 1797748611379888128 |
|---|---|
| author | Richard Meister Cica Gustiani Simon C Benjamin |
| author_facet | Richard Meister Cica Gustiani Simon C Benjamin |
| author_sort | Richard Meister |
| collection | DOAJ |
| description | Gate-level quantum circuits are often derived manually from higher level algorithms. While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity. Therefore, ab initio creation of circuits within a machine, either a classical computer or a hybrid quantum–classical device, is of key importance. We explore a range of established and novel techniques for the synthesis of new circuit structures, the optimisation of parameterised circuits, and the efficient removal of low-value gates via the quantum geometric tensor. Using these techniques we tackle the tasks of automatic encoding of unitary processes and translation (recompilation) of a circuit from one form to another. Using emulated quantum computers with various noise-free gate sets we provide simple examples involving up to 10 qubits, corresponding to 20 qubits in the augmented space we use. Further applications of specific relevance to chemistry modelling are considered in a sister paper, ‘Exploiting subspace constraints and ab initio variational methods for quantum chemistry’. The emulation environments used were QuEST , QuESTlink and pyQuEST . All resources will be made openly accessible and are currently available upon request. |
| first_indexed | 2024-03-12T16:08:15Z |
| format | Article |
| id | doaj.art-294f6883a05d4030955be3fab8addef0 |
| institution | Directory Open Access Journal |
| issn | 1367-2630 |
| language | English |
| last_indexed | 2024-03-12T16:08:15Z |
| publishDate | 2023-01-01 |
| publisher | IOP Publishing |
| record_format | Article |
| series | New Journal of Physics |
| spelling | doaj.art-294f6883a05d4030955be3fab8addef02023-08-09T14:15:26ZengIOP PublishingNew Journal of Physics1367-26302023-01-0125707301810.1088/1367-2630/ace077Exploring ab initio machine synthesis of quantum circuitsRichard Meister0https://orcid.org/0000-0002-1998-7867Cica Gustiani1https://orcid.org/0000-0003-0558-4685Simon C Benjamin2https://orcid.org/0000-0002-7766-5348Department of Materials, University of Oxford , Oxford OX1 3PH, United KingdomDepartment of Materials, University of Oxford , Oxford OX1 3PH, United KingdomDepartment of Materials, University of Oxford , Oxford OX1 3PH, United Kingdom; Quantum Motion , 9 Sterling Way, London N7 9HJ, United KingdomGate-level quantum circuits are often derived manually from higher level algorithms. While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity. Therefore, ab initio creation of circuits within a machine, either a classical computer or a hybrid quantum–classical device, is of key importance. We explore a range of established and novel techniques for the synthesis of new circuit structures, the optimisation of parameterised circuits, and the efficient removal of low-value gates via the quantum geometric tensor. Using these techniques we tackle the tasks of automatic encoding of unitary processes and translation (recompilation) of a circuit from one form to another. Using emulated quantum computers with various noise-free gate sets we provide simple examples involving up to 10 qubits, corresponding to 20 qubits in the augmented space we use. Further applications of specific relevance to chemistry modelling are considered in a sister paper, ‘Exploiting subspace constraints and ab initio variational methods for quantum chemistry’. The emulation environments used were QuEST , QuESTlink and pyQuEST . All resources will be made openly accessible and are currently available upon request.https://doi.org/10.1088/1367-2630/ace077quantum computingquantum compilingquantum circuitsvariational quantum algorithms |
| spellingShingle | Richard Meister Cica Gustiani Simon C Benjamin Exploring ab initio machine synthesis of quantum circuits New Journal of Physics quantum computing quantum compiling quantum circuits variational quantum algorithms |
| title | Exploring ab initio machine synthesis of quantum circuits |
| title_full | Exploring ab initio machine synthesis of quantum circuits |
| title_fullStr | Exploring ab initio machine synthesis of quantum circuits |
| title_full_unstemmed | Exploring ab initio machine synthesis of quantum circuits |
| title_short | Exploring ab initio machine synthesis of quantum circuits |
| title_sort | exploring ab initio machine synthesis of quantum circuits |
| topic | quantum computing quantum compiling quantum circuits variational quantum algorithms |
| url | https://doi.org/10.1088/1367-2630/ace077 |
| work_keys_str_mv | AT richardmeister exploringabinitiomachinesynthesisofquantumcircuits AT cicagustiani exploringabinitiomachinesynthesisofquantumcircuits AT simoncbenjamin exploringabinitiomachinesynthesisofquantumcircuits |