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 …

The phase‐space formulation of quantum mechanics has recently seen increased use in
testing quantum technologies, including methods of tomography for state verification and …

We develop a resource theory for continuous-variable systems grounded on operations
routinely available within current quantum technologies. In particular, the set of free …

In every parameter-estimation experiment, the final measurement or the postprocessing
incurs a cost. Postselection can improve the rate of Fisher information (the average …

A central question in quantum computation is to identify the resources that are responsible
for quantum speed-up. Quantum contextuality has been recently shown to be a resource for …

The development of a framework for quantifying 'non-stabilizerness' of quantum operations
is motivated by the magic state model of fault-tolerant quantum computation and by the need …

Quantum computers promise considerable speedups with respect to their classical
counterparts. However, the identification of the innately quantum features that enable these …

We describe schemes of quantum computation with magic states on qubits for which
contextuality and negativity of the Wigner function are necessary resources possessed by …

We propose a method for classical simulation of finite-dimensional quantum systems, based
on sampling from a quasiprobability distribution, ie, a generalized Wigner function. Our …

Negativity of the Wigner function is arguably one of the most striking non-classical features
of quantum states. Beyond its fundamental relevance, it is also a necessary resource for …