Design of quantum optical experiments with logic artificial intelligence
Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic. Several problems that span from physical systems to mathematical conjectures can be encoded into these clauses and...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2022-10-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2022-10-13-836/pdf/ |
| _version_ | 1798020150579953664 |
|---|---|
| author | Alba Cervera-Lierta Mario Krenn Alán Aspuru-Guzik |
| author_facet | Alba Cervera-Lierta Mario Krenn Alán Aspuru-Guzik |
| author_sort | Alba Cervera-Lierta |
| collection | DOAJ |
| description | Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic. Several problems that span from physical systems to mathematical conjectures can be encoded into these clauses and solved by checking their satisfiability (SAT). In contrast to machine learning approaches where the results can be approximations or local minima, Logic AI delivers formal and mathematically exact solutions to those problems. In this work, we propose the use of logic AI for the design of optical quantum experiments. We show how to map into a SAT problem the experimental preparation of an arbitrary quantum state and propose a logic-based algorithm, called Klaus, to find an interpretable representation of the photonic setup that generates it. We compare the performance of Klaus with the state-of-the-art algorithm for this purpose based on continuous optimization. We also combine both logic and numeric strategies to find that the use of logic AI significantly improves the resolution of this problem, paving the path to developing more formal-based approaches in the context of quantum physics experiments. |
| first_indexed | 2024-04-11T16:52:59Z |
| format | Article |
| id | doaj.art-3113664b84fc44ce8621983339e8b5a4 |
| institution | Directory Open Access Journal |
| issn | 2521-327X |
| language | English |
| last_indexed | 2024-04-11T16:52:59Z |
| publishDate | 2022-10-01 |
| publisher | Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften |
| record_format | Article |
| series | Quantum |
| spelling | doaj.art-3113664b84fc44ce8621983339e8b5a42022-12-22T04:13:22ZengVerein zur Förderung des Open Access Publizierens in den QuantenwissenschaftenQuantum2521-327X2022-10-01683610.22331/q-2022-10-13-83610.22331/q-2022-10-13-836Design of quantum optical experiments with logic artificial intelligenceAlba Cervera-LiertaMario KrennAlán Aspuru-GuzikLogic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic. Several problems that span from physical systems to mathematical conjectures can be encoded into these clauses and solved by checking their satisfiability (SAT). In contrast to machine learning approaches where the results can be approximations or local minima, Logic AI delivers formal and mathematically exact solutions to those problems. In this work, we propose the use of logic AI for the design of optical quantum experiments. We show how to map into a SAT problem the experimental preparation of an arbitrary quantum state and propose a logic-based algorithm, called Klaus, to find an interpretable representation of the photonic setup that generates it. We compare the performance of Klaus with the state-of-the-art algorithm for this purpose based on continuous optimization. We also combine both logic and numeric strategies to find that the use of logic AI significantly improves the resolution of this problem, paving the path to developing more formal-based approaches in the context of quantum physics experiments.https://quantum-journal.org/papers/q-2022-10-13-836/pdf/ |
| spellingShingle | Alba Cervera-Lierta Mario Krenn Alán Aspuru-Guzik Design of quantum optical experiments with logic artificial intelligence Quantum |
| title | Design of quantum optical experiments with logic artificial intelligence |
| title_full | Design of quantum optical experiments with logic artificial intelligence |
| title_fullStr | Design of quantum optical experiments with logic artificial intelligence |
| title_full_unstemmed | Design of quantum optical experiments with logic artificial intelligence |
| title_short | Design of quantum optical experiments with logic artificial intelligence |
| title_sort | design of quantum optical experiments with logic artificial intelligence |
| url | https://quantum-journal.org/papers/q-2022-10-13-836/pdf/ |
| work_keys_str_mv | AT albacerveralierta designofquantumopticalexperimentswithlogicartificialintelligence AT mariokrenn designofquantumopticalexperimentswithlogicartificialintelligence AT alanaspuruguzik designofquantumopticalexperimentswithlogicartificialintelligence |