Bell's theorem proves that quantum theory is inconsistent with local physical models. It has
propelled research in the foundations of quantum theory and quantum information science …

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 …

Although complex numbers are essential in mathematics, they are not needed to describe
physical experiments, as those are expressed in terms of probabilities, hence real numbers …

Bell's 1964 theorem, which states that the predictions of quantum theory cannot be
accounted for by any local theory, represents one of the most profound developments in the …

Device-independent quantum key distribution (DI-QKD) is often seen as the ultimate key
exchange protocol in terms of security, as it can be performed securely with uncharacterised …

Device-independent quantum key distribution (QKD) aims to provide key distribution
schemes, the security of which is based on the laws of quantum physics, but which does not …

The rates of several device-independent (DI) protocols, including quantum key-distribution
(QKD) and randomness expansion (RE), can be computed via an optimization of the …

We consider the problem of determining whether genuine multipartite entanglement was
produced in an experiment, without relying on a characterization of the systems observed or …

In 1960, the mathematician Ernst Specker described a simple example of nonclassical
correlations, the counter-intuitive features of which he dramatized using a parable about a …