Semidefinite programs are convex optimization problems involving a linear objective
function and a domain of positive-semidefinite matrices. Over the past two decades, they …

Self-testing is a method to infer the underlying physics of a quantum experiment in a black
box scenario. As such it represents the strongest form of certification for quantum systems. In …

Quantum steering refers to the non-classical correlations that can be observed between the
outcomes of measurements applied on half of an entangled state and the resulting post …

Quantum technologies promise advantages over their classical counterparts in the fields of
computation, security and sensing. It is thus desirable that classical users are able to obtain …

Self-testing refers to the phenomenon that certain extremal quantum correlations (almost)
uniquely identify the quantum system under consideration. For instance, observing the …

It is well known that correlations predicted by quantum mechanics cannot be explained by
any classical (local-realistic) theory. The relative strength of quantum and classical …

We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell
scenarios. The resources are conceptualized as probabilistic processes from the setting …

The goal of self-testing is to characterize an a priori unknown quantum system based solely
on measurement statistics, ie, using an uncharacterized measurement device. Here we …

Two parties sharing entangled quantum systems can generate correlations that cannot be
produced using only shared classical resources. These nonlocal correlations are a …

Bell inequalities have traditionally been used to demonstrate that quantum theory is
nonlocal, in the sense that there exist correlations generated from composite quantum states …