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 …

Semidefinite programs are convex optimization problems involving a linear objective
function and a domain of positive-semidefinite matrices. Over the past 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 …

We study the self-testing problem of quantum correlations in the context of a multipartite
scenario, a task that becomes increasingly complex compared to the bipartite systems …

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 …

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 …