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 …

The area of property testing tries to design algorithms that can efficiently handle very large
amounts of data: given a large object that either has a certain property or is somehow" far" …

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

Mutually unbiased bases (MUBs) constitute the canonical example of incompatible quantum
measurements. One standard application of MUBs is the task known as quantum random …

We introduce the concept of assemblage moment matrices, ie, a collection of matrices of
expectation values, each associated with a conditional quantum state obtained in a steering …

Self-testing represents the strongest form of certification of a quantum system. Here, we
theoretically and experimentally investigate self-testing of nonprojective quantum …

Quantum random number generators (QRNGs) are able to generate numbers that are
certifiably random, even to an agent who holds some side information. Such systems …

Device-independent quantum key distribution allows two users to set up shared
cryptographic key without the need to trust the quantum devices used. Doing so requires …

Device-independent self-testing offers the possibility of certifying the quantum state and
measurements, up to local isometries, using only the statistics observed by querying …