In this chapter a general mathematical framework for probabilistic theories of operationally understood circuits is laid out. Circuits are comprised of operations and wires. An operation is one use of an apparatus and a wire is a diagrammatic device for showing how apertures on the apparatuses are placed next to each other. Mathematical objects are defined in terms of the circuit understood graphically. In particular, we do not think of the circuit as sitting in a background time. Circuits can be foliated by hypersurfaces comprised of sets of wires. Systems are defined to be associated with wires. A closable set of operations is defined to be one for which the probability associated with any circuit built from this set is independent both of choices on other circuits and of extra circuitry that may be added to outputs from this circuit. States can be associated with circuit fragments corresponding to preparations. These states evolve on passing through circuit fragments corresponding to transformations. The composition of transformations is treated. A number of theorems are proven including one which rules out quaternionic quantum theory. The case of locally tomographic theories (where local measurements on a systems components suffice to determine the global state) is considered. For such theories the probability can be calculated for a circuit from matrices pertaining the operations that comprise that circuit. Classical probability theory and quantum theory are exhibited as examples in this framework.
Another line of work in this type of framework has been initiated by D'Ariano in @cite_16 who has a set of axioms from which he obtains quantum theory. In a very recent paper by Chiribella, D'Ariano, and Perinotti @cite_31 set up a general probabilistic framework also having the local tomography property. Like Abramsky, Coecke and co-workers, Chiribella develop a diagrammatic notation with which calculations can be performed. They show that theories having the property that every mixed state has a purification have many properties in common with quantum theory.
@cite_31 @cite_16
2113235349 2949432135
We investigate general probabilistic theories in which every mixed state has a purification, unique up to reversible channels on the purifying system. We show that the purification principle is equivalent to the existence of a reversible realization of every physical process, that is, to the fact that every physical process can be regarded as arising from a reversible interaction of the system with an environment, which is eventually discarded. From the purification principle we also construct an isomorphism between transformations and bipartite states that possesses all structural properties of the Choi-Jamiolkowski isomorphism in quantum theory. Such an isomorphism allows one to prove most of the basic features of quantum theory, like, e.g., existence of pure bipartite states giving perfect correlations in independent experiments, no information without disturbance, no joint discrimination of all pure states, no cloning, teleportation, no programming, no bit commitment, complementarity between correctable channels and deletion channels, characterization of entanglement-breaking channels as measure-and-prepare channels, and others, without resorting to the mathematical framework of Hilbert spaces. In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates. This accomplishes the program presented in form of conjectures in the previous paper quant-ph 0506034. Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a "symmetric faithful state". This last notion allows one to introduce an operational definition for the real version of the "adjoint"--i. e. the transposition--from which one can derive a real Hilbert-space structure via either the Mackey-Kakutani or the Gelfand-Naimark-Segal constructions. Here I analyze in detail only the Gelfand-Naimark-Segal construction, which leads to a real Hilbert space structure analogous to that of (classes of generally unbounded) selfadjoint operators in Quantum Mechanics. For finite dimensions, general dimensionality theorems that can be derived from a local observability principle, allow us to represent the elements of the real Hilbert space as operators over an underlying complex Hilbert space (see, however, a still open problem at the end of the paper). The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.