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 be solved by checking their satisfiability (SAT). Recently, SAT solvers have become a sophisticated and powerful computational tool capable, among other things, of solving long-standing mathematical conjectures. In this talk, I will present our proposal about the use of logic AI for the design of optical quantum experiments. I will 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 improves significantly the resolution of this problem, paving the path to develop more formal-based approaches in the context of quantum physics experiments.

Date
Nov 24, 2021
Location
Bilbao, Spain

Based on the reference:

  • “Design of quantum optical experiments with logic artificial intelligence”, Alba Cervera-Lierta, Mario Krenn, Alán Aspuru-Guzik, arXiv:2109.13273 [quant-ph] (2021).
Alba Cervera-Lierta
Alba Cervera-Lierta
Senior Researcher

Quantum Computing scientist.