Design of quantum optical experiments with logic artificial intelligence

Abstract

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.

arXiv comment10 pages + appendices, 4 figures

References in corpus (23)

• Quantum algorithm for solving linear systems of equations
• Quantum computational advantage using photons
• A Quantum Approximate Optimization Algorithm
• Measurement-based quantum computation with cluster states
• Integrated Photonic Quantum Technologies
• Multi-photon entanglement and interferometry
• Multidimensional quantum entanglement with large-scale integrated optics
• Boson sampling with 20 input photons in 60-mode interferometers at $10^{14}$ state spaces
• Prediction by linear regression on a quantum computer
• Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
• The structure of multidimensional entanglement in multipartite systems
• Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
• Entanglement by Path Identity
• Generalized multi-photon quantum interference
• Optimization by Quantum Annealing: Lessons from hard 3-SAT cases
• Quantum Experiments and Graphs: Multiparty States as coherent superpositions of Perfect Matchings
• Computer-inspired Quantum Experiments
• A scheme for universal high-dimensional quantum computation with linear optics
• Quantum Experiments and Graphs II: Quantum Interference, Computation and State Generation
• Quantum Experiments and Graphs III: High-Dimensional and Multi-Particle Entanglement
• Conceptual understanding through efficient inverse-design of quantum optical experiments
• Three Modern Roles for Logic in AI
• Questions on the Structure of Perfect Matchings inspired by Quantum Physics

Cited by in corpus (6)

• Artificial Intelligence and Machine Learning for Quantum Technologies
• Artificial Intelligence for Quantum Computing
• Digital Discovery of 100 diverse Quantum Experiments with PyTheus
• Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
• Neural networks with quantum states of light
• Graph-theoretic insights on the constructability of complex entangled states