A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In
short, it states that quantum mechanics is in conflict with classical models in which the result …

Most quantum computers use binary encoding to store information in qubits—the quantum
analogue of classical bits. Yet, the underlying physical hardware consists of information …

Quantum information carriers, just like most physical systems, naturally occupy high-
dimensional Hilbert spaces. Instead of restricting them to a two-level subspace, these high …

A quantitative assessment of the progress of small prototype quantum processors towards
fault-tolerant quantum computation is a problem of current interest in experimental and …

The notion of universal quantum computation can be generalized to multilevel qudits, which
offer advantages in resource usage and algorithmic efficiencies. Trapped ions, which are …

We introduce a general method which converts, in a unified way, any form of quantum
contextuality, including any form of state-dependent contextuality, into a quantum violation of …

Quantum measurements cannot be thought of as revealing preexisting results, even when
they do not disturb any other measurement in the same trial. This feature is called …

To implement useful quantum algorithms which demonstrate quantum advantage, we must
scale currently demonstrated quantum computers up significantly. Leading platforms such …

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 …

We study the correlation clustering problem using the quantum approximate optimization
algorithm (QAOA) and qudits, which constitute a natural platform for such non-binary …