Quantum Correlations from a Logical Point of View

Federico Holik, César Massri

In this work we study the convex set of quantum states from a quantum logical point of view. We consider an algebraic structure based on the convex subsets of this set. The relationship of this algebraic structure with the lattice of propositions of quantum logic is shown. This new structure is suitable for the study of compound systems and shows new differences between quantum and classical mechanics. This differences are linked to the nontrivial correlations which appear when quantum systems interact. They are reflected in the new propositional structure, and do not have a classical analogue. This approach is also suitable for an algebraic characterization of entanglement.

Mátyás Koniorczyk, Péter Naszvadi, András Bodor +3 more

We deal with no-signaling correlations that include Bell-type quantum nonlocality. We consider a logical implementation using a trusted central server with encrypted connections to clients. We show that in this way it is possible to implement two-party no-signaling correlations in an asynchronous manner. While from the point of view of physics our approach can be considered as the computer emulation of the results of measurements on entangled particles, from the software engineering point of view it introduces a primitive in communication protocols that can be capable of coordinating agents without revealing the details of their actions. We present an actual implementation in the form of a Web-based application programming interface (RESTful Web API). We demonstrate the use of the API via the simple implementation of the Clauser-Horne-Shimony-Holt game.

I.-O. Stamatescu

H. D. Doebner, W. Lücke

It is shown why, from the deterministic point of view, quantum logic and not classical logic is the appropriate language for describing realistic measurements.

Michel Le Bellac