Experimental tests of classical and quantum dimensionality.

We report on an experimental test of classical and quantum dimension. We have used a dimension witness that can distinguish between quantum and classical systems of dimensions two, three, and four and performed the experiment for all five cases. The witness we have chosen is a base of semi-device-independent cryptographic and randomness expansion protocols. Therefore, the part of the experiment in which qubits were used is a realization of these protocols. In our work we also present an analytic method for finding the maximum quantum value of the witness along with corresponding measurements and preparations. This method is quite general and can be applied to any linear dimension witness.

Simple hardy-like proof of quantum contextuality.

Contextuality and nonlocality are two fundamental properties of nature. Hardy's proof is considered the simplest proof of nonlocality and can also be seen as a particular violation of the simplest Bell inequality. A fundamental question is: Which is the simplest proof of contextuality? We show that there is a Hardy-like proof of contextuality that can also be seen as a particular violation of the simplest noncontextuality inequality. Interestingly, this new proof connects this inequality with the proof of the Kochen-Specker theorem, providing the missing link between these two fundamental results, and can be extended to an arbitrary odd number n of settings, an extension that can be seen as a particular violation of the n-cycle inequality.

Universality of state-independent violation of correlation inequalities for noncontextual theories.

We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension d> or =3. This universality proves that, according to quantum mechanics, there are no "classical" states.

Experimentally friendly geometrical criteria for entanglement.

A simple geometrical criterion gives experimentally friendly sufficient conditions for entanglement. Its generalization gives a necessary and sufficient condition. It is linked with a family of entanglement identifiers, which is strictly richer than the family of entanglement witnesses.

Locally accessible information: how much can the parties gain by cooperating?

We investigate measurements of bipartite ensembles restricted to local operations and classical communication and find a universal Holevo-like upper bound on the locally accessible information. We analyze our bound and exhibit a class of states which saturate it. Finally, we link the bound to the problem of quantification of the nonlocality of the operations necessary to extract locally inaccessible information.