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 …

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

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 …

The violation of a Bell inequality not only attests to the nonclassical nature of a system but
also holds a very unique status within the quantum world. The amount by which the …

We show that some sets of quantum observables are unique up to an isometry and have a
contextuality witness that attains the same value for any initial state. We prove that these two …

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 …

Bell inequalities constitute a key tool in quantum information theory: they not only allow one
to reveal nonlocality in composite quantum systems, but, more importantly, they can be used …

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

Recently, it has been shown that at most two observers (Bobs) can sequentially demonstrate
bipartite nonlocality with a spatially separated single observer (Alice) invoking a scenario …