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 concept of self-testing (or rigidity) refers to the fact that for certain Bell inequalities the
maximal violation can be achieved in an essentially unique manner. In this work we present …

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

Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs)
are crucial to many conceptual and practical aspects of quantum theory. Here, we develop …

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 …

Bell inequalities play a key role in certifying quantum properties for device-independent
quantum information protocols. It is still a major challenge, however, to devise Bell …

Certification of quantum systems and their properties has become a field of intensive study.
Here, taking advantage of the one-sided device-independent (1SDI) scenario (also known …

Bell nonlocality as a resource for device-independent certification schemes has been
studied extensively in recent years. The strongest form of device-independent certification is …

We introduce a permutationally invariant multipartite Bell inequality for many-body three-
level systems and use it to explore a possible connection between the presence of …

In this paper, we present a method to solve the quantum marginal problem for symmetric d-
level systems. The method is built upon an efficient semi-definite program that uses the …