Title:Probabilistic theories: what is special about Quantum Mechanics?

Abstract: Quantum Mechanics (QM) is a very special probabilistic theory, yet we don't know which operational principles make it so. Here I will analyze the possibility of deriving QM as the mathematical representation of a "fair operational framework", i.e. a set of rules which allows the experimenter to make predictions on future "events" on the basis of suitable "tests", e.g. without interferences from uncontrollable sources. Two postulates need to be satisfied by any fair operational framework: NSF: "no-signaling from the future" (for the possibility of making predictions on the basis of past tests) FAITH: "existence of faithful states" (for the possibility of calibrating all tests and of preparing any state). I will show that all theories satisfying NSF admit a C*-algebra representation of events as linear transformations of effects. Based on a very general notion of dynamical independence, it is easy to see that all such probabilistic theories are "no-signaling without interaction" (shortly "no-signaling")--another requirement for a fair operational framework. Postulate FAITH then implies the "local observability principle", along with the tensor-product structure for the linear spaces of states and effects.
What is special in QM is that also "effects make a C*-algebra. However, whereas the sum of effects can be operationally defined, the notion of effect abhors any kind of composition. Based on another very natural postulate--AE: atomicity of evolution--along with a purely mathematical postulate--CJ: Choi-Jamiolkowski isomorphism--it is possible to identify effects with atomic events, through which we can then define composition.