Howard Nelch Barnum

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform on a system: ''operational states.'' I discuss general frameworks for ''operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally gives rise to a ''weak effect algebra'' when outcomes having the same probability in all states are identified and in the introduction of a notion of ''operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ''inside view,'' i.e., for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ''geometric'' picture (''outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ''objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ''geometric'' conception of physics.

In spite of the interference manifested in the double-slit experiment, quantum theory predicts that a measure of interference defined by Sorkin and involving various outcome probabilities from an experiment with three slits, is identically zero. We adapt Sorkin’s measure into a general operational probabilistic framework for physical theories, and then study its relationship to the structure of quantum theory. In particular, we characterize the class of probabilistic theories for which the interference measure is zero as ones in which it is possible to fully determine the state of a system via specific sets of ‘two-slit’ experiments

In any probabilistic theory, we say that a bipartite state ω on a composite system AB steers its marginal state ω B if, for any decomposition of ω B as a mixture ω B =∑ i p i β i of states β i on B, there exists an observable {a i } on A such that the conditional states $\omega_{B|a_{i}}$ are exactly the states β i . This is always so for pure bipartite states in quantum mechanics, a fact first observed by Schrödinger in 1935. Here, we show that, for weakly self-dual state spaces (those isomorphic, but perhaps not canonically isomorphic, to their dual spaces), the assumption that every state of a system A is steered by some bipartite state of a composite AA consisting of two copies of A, amounts to the homogeneity of the state cone. If the state space is actually self-dual, and not just weakly so, this implies (via the Koecher-Vinberg Theorem) that it is the self-adjoint part of a formally real Jordan algebra, and hence, quite close to being quantum mechanical

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism

Using a result of H. Hanche-Olsen, we show that (subject to fairly natural constraints on what constitutes a system, and on what constitutes a composite system), orthodox finite-dimensional complex quantum mechanics with superselection rules is the only non-signaling probabilistic theory in which (i) individual systems are Jordan algebras (equivalently, their cones of unnormalized states are homogeneous and self-dual), (ii) composites are locally tomographic (meaning that states are determined by the joint probabilities they assign to measurement outcomes on the component systems) and (iii) at least one system has the structure of a qubit. Using this result, we also characterize finite dimensional quantum theory among probabilistic theories having the structure of a dagger-monoidal category

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent composition. Sorkin has defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation.