Here you can find an overview of the research lines I have been developing during my career.

Since I joined the aQa group at Leiden University in November 2020 this has been my main focus. We explore algorithms based on quantum mechanics and how they can be applied to challenges in the natural sciences like physics and chemistry, as well as in practical computing areas such as machine learning, AI, and optimization. We also focus on adapting these algorithms to work with the quantum computing devices that are currently available. Our ultimate goal is to make quantum computing applicable in real-world scenarios by bridging the gap between theoretical research, experimental work, and practical applications.

Quantum algorithms for near-term devices

Companies like Google, IBM, and Microsoft are in a race to develop scalable quantum computers. While current quantum computers have limitations, such as noise and qubit count, they're at the edge of outperforming classical supercomputers in certain tasks.

During my time at the Theory Division in the Max Planck Institute of Quantum Optics, we made strides in quantum algorithm development. We focused on ground-state preparation and precise energy estimation, optimizing qubit usage.1

One challenge with noisy, intermediate-scale quantum devices is the high number of repetitions needed for practical applications. We tackled this by merging adiabatic spectroscopy and variational quantum algorithms.2 Currently, we're exploring these principles in Rydberg atom quantum simulators for classical optimization and algorithmic cooling for ground-state approximation.3

Quantum circuit for algorithmic cooling

Quantum algorithms for stochastic partial differential equations

Our research extends into the realm of quantum algorithms for solving stochastic partial differential equations (SPDEs). Leveraging the capabilities of Parametrized Quantum Circuits (PQCs), we've investigated their approximation capacities for various function spaces, in the contexts of complex tasks like SPDEs. In particular, how can these circuits approximate continuous functions, p-integrable functions, and even in Sobolev spaces, towards providing a framework for tackling SPDEs.4

Quantum circuit for algorithmic cooling

Quantum algorithms from partial information

Certification of limited quantum devices

Randomness certification from a single, untrusted, quantum device

Certificates of Quantum Many-body Properties

Our team is also delving into the complexities of many-body quantum systems. We are particularly interested in finding the ground state energy, a problem that has been notoriously difficult to solve. To address this, we are employing a hybrid approach that combines relaxation techniques with deep reinforcement learning. This method allows us to find the best possible bounds for the ground state energy within a constrained computational budget.5

Quantum circuit for algorithmic cooling

Shallow-depth quantum computing

I started working on this project when I joined the Theory Division of the Max Planck Institute of Quantum Optics. There is a major worldwide effort and a fierce competition among companies such as IBM, Google, Microsoft or Nokia Bell Labs to build a scalable quantum computer: Larger and larger computers are even placed online. Although the First Generation of Quantum Computers may look like stone-age quantum computers compared to universal, fault-tolerant ones (i.e., they will not be able to implement quantum error correction just yet), it is still open whether they can already outperform classical computers for specific problems.

Quantum circuit for algorithmic cooling

Bell correlations in many-body systems

Artistic view of Bell correlations in many-body systems

I started to work in this field in 2013 during my Ph.D. studies at ICFO - The Institute of Photonic Sciences. This was the central topic of my Ph.D. thesis. Bell correlations are those that do not admit a local hidden variable model (LHVM) and constitute a resource for device-independent quantum information processing. Such correlations are strictly stronger than entanglement.

We started by developing multipartite Bell inequalities built from few-body correlators, typically one- and two-body. We focused on Translationally Invariant6 (TI) and Permutationally Invariant7 (PI) Bell inequalities. In 2014 we proposed an experimentally-friendly method to detect the existence of Bell correlations in many-body systems requiring onyl access to total-spin components.8 This enabled the first experimental detection of Bell correlations in a Bose-Einstein condensate of 480 87Rb atoms in 20169 and in a thermal ensemble of 5·105 atoms in 2017.10

In 2015, during my research stay at the Theory Division of the Max Planck Institute of Quantum Optics we showed that Bell correlations could be revealed in many-body systems simply by measuring their energy.11 This method is specially tailored to spin systems in one spatial dimension, where the limit within LHVM theories can be efficiently computed via dynamic programming. In some special cases, the Hamiltonian can even be exactly diagonalized by mapping it to a free fermion system via the Jordan-Wigner transformation, thus even yielding analytically closed formulas.

In 2017, we proposed a way of efficiently approximating the set of correlations of a many-body system admitting an LHVM from the outside.12 This consists on a hierarchy of Semidefinite Programming (SdP) tests that approximate convex hulls of semialgebraic sets,13 based on Lasserre's method of moments.14 This enables one to check e.g. experimental data against all PI few-body Bell inequalities with a simple test.

Currently, we are working on several research directions. First, to understand the structure behind operator-sums-of-squares for PI Bell inequalities that one obtains with the NPA (Navascués-Pironio-Acín) hierarchy. Second, to quantify how much entanglement and nonlocality depth can be certified by measuring such inequalities. Third, to understand the role of temperature as a detector of nonlocality and the connection between the Bell operator and the quantum harmonic oscillator via the Holstein-Primakoff approximate transformation. Fourth, we are exploring the role of energy as a detector of nonlocality in 2D systems, building upon chordal extensions of graphs.

Quantum machine learning and tensor networks

I started this project at at the Theory Division of the Max Planck Institute of Quantum Optics in 2017.

Restricted Boltzmann Machine

Quantum self-testing and other Device-Independent Quantum Information Processing protocols

Self-testing isometry

With the advent of the Device-Independent (DI) paradigm to quantum information processing, Bell inequalities have gained an important role as certificates of a series quantum properties. I started working in that direction in 2013, during my Ph.D. studies, in the context of elemental monogamies of correlations, applied to DI Randomness Amplification.15

In 2015 I started working on DI Self-Testing for Maximally Entangled (MaxEnt) states. We proposed the SATWAP (Salavrakos-Augusiak-Tura-Wittek-Acín-Pironio) Bell inequality, which has the property that is maximally violated by MaxEnt states.16 In 2017 we started an experimental collaboration with the University of Bristol. We probed the SATWAP inequality on a Large-scale Integrated Optics platform embedding more than 550 optical elements, where programmable bipartite quantum states up to local dimension 15 can be prepared.17 In 2019, we extended this characterization to GHZ quantum states of arbitrary dimension,18 we studied the self-testing of maximally entangled states from the mutually-unbiased bases perspective19 and in the context of graph states.20

Self-testing results typically require the maximal violation of a Bell inequality, which is hard to guarantee in an experiment. During my time at the Max Planck Institute of Quantum Optics we proposed a framework to robustly self-test steerable quantum assemblages 21

Bound entanglement in the symmetric states

I started working on this project in 2010 during my summer internship at ICFO - The Institute of Photonic Sciences, finding a numerical example proving the existence of PPT (positivity under partial transposition) symmetric entangled states of four qubits,22 hence solving a long-standing open problem. Symmetric quantum states share a deep connection with mixtures of Dicke states. As a warm-up project in my Ph.D. studies, we delved further into the study of entanglement in PPT symmetric states of several qubits.23

In 2016, I have revisited this problem on various occasions: First, with my former B.Sc. student, in the context of Device-Independent Tsirelson's bounds for PPT states. Second, with my current co-supervised Ph.D. student, in the context Diagonal-Symmetric (DS) PPT states, where we have unveiled a connection with the field of Quadratic Conic Optimization, which enables one to show, in a natural way, that deciding membership in the set of DS separable states is, even in this very simplified case, NP-hard.24

In 2021, we showed a correspondence between exceptional copositive matrices and non-decomposable entanglement witnesses for DS bipartite quantum states.25

PPT criterion for entanglement detection

Characterization of entanglement witnesses

Optimization of entanglement witnesses

I started working on this project in 2010, also during my summer internship at ICFO - The Institute of Photonic Sciences, which resulted in my first publication.26 There, we investigate the connection between (decomposable) Entanglement Witnesses (EWs) and their optimality properties in terms of their action on Completely Entangled Subspaces (subspaces orthogonal to Unextendible Product Basis).

Also, during my Ph.D. studies we rediscovered a method to check for optimality of EWs,27 which found application in the study of the now disproven Structural Physical Approximations conjecture.

Other projects

Quantum Thermodynamics

During my PhD studies I also had the opportunity to apply some of the knowledge I gained from convex geometry and polytopes in the context of the study of Passive States.28

The BIG Bell Test

During my last year at ICFO, I had the privilege of being part of the team that organized The BIG Bell Test. This consisted in an online experiment, where we recruited more than 100.000 participants through a videogame, that not only helped test the Freedom of choice loophole in a Bell experiment,29 but it also brought science closer to thousands of people all over the world.

The Big Bell Test