Quantum Foundations

It is commonplace that quantum theory can be viewed as a ``non-classical" probability calculus. This observation has inspired the study of more general non-classical probabilistic theories modeled on QM, the so-called generalized probabilistic theories or GPTs. However, the boundary between these putatively non-classical probabilistic theories and classical probability theory is somewhat blurry, and perhaps even conventional. This is because, as is well known, any probabilistic model can be understood in classical terms if we are willing to embrace some form of contextuality. In this talk, I want to stress that this can often be done functorially: given a category $\Cat$ of probabilistic models, there are functors $F : \Cat \rightarrow \Set_{\Delta}$ where $\Set_{\Delta}$ is the category of sets and stochastic maps. In addition to the familiar Beltrametti-Bugajski representation, I'll exhibit two others that are less well known, one involving the ``semi-classical cover" and another, slightly more special, that allows one to represent a probabilistic model with sufficiently strong symmetry properties by a model having a completely classical probabilistic structure, in which any ``non-classicality" is moved into the dynamics, in roughly the spirit of Bohmian mechanics. 

(Based on http://philsci-archive.pitt.edu/16721/)

Zoom Link: https://pitp.zoom.us/j/91838172434?pwd=SUltOGlURWI5MDN6Qk45dnVRelBOQT09

The standard operational probabilistic framework (within which Quantum Theory can be formulated) is time asymmetric.  This is clear because the conditions on allowed operations include a time asymmetric causality condition.  This causality condition enforces that future choices do not influence past events.  To formulate operational theories in a time symmetric way I modify the basic notion of an operation allowing classical incomes as well as classical outcomes.  I provide a new time symmetric causality condition which I call double causality.  I apply these ideas to Quantum Theory proving, along the way, a time symmetric version of the Stinespring extension theorem using double causality.  I also propose the idea of a conditional frame of reference.  We can transform from the time symmetric frame of reference to a forward or a backward frame of reference.  This talk is based on arXiv:2104.00071.

We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross’s discrete Wigner function. This representation is equivalent to Spekkens’ epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross’s representation, e.g. why (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality, and hence sheds light on why negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model. This last fact, together with our result, implies that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.