Some Nearly Quantum Theories

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras. Subject to some reasonable constraints, we show that no such composite exists having the exceptional Jordan algebra as a direct summand. We then construct several dagger compact categories of such Jordan-algebraic models. One of these neatly unifies real, complex and quaternionic mixed-state quantum mechanics, with the exception of the quaternionic "bit". Another is similar, except in that (i) it excludes the quaternionic bit, and (ii) the composite of two complex quantum systems comes with an extra classical bit. In both of these categories, states are morphisms from systems to the tensor unit, which helps give the categorical structure a clear operational interpretation. A no-go result shows that the first of these categories, at least, cannot be extended to include spin factors other than the (real, complex, and quaternionic) quantum bits, while preserving the representation of states as morphisms. The same is true for attempts to extend the second category to even-dimensional spin-factors. Interesting phenomena exhibited by some composites in these categories include failure of local tomography, supermultiplicativity of the maximal number of mutually distinguishable states, and mixed states whose marginals are pure.Comment: In Proceedings QPL 2015, arXiv:1511.0118

Composites and Categories of Euclidean Jordan Algebras

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summand, unless the other factor is a direct sum of one-dimensional Jordan algebras (representing essentially a classical system). Moreover, we show that any composite of simple, non-exceptional EJAs is a direct summand of their universal tensor product, sharply limiting the possibilities. These results warrant our focussing on concrete Jordan algebras of hermitian matrices, i.e., euclidean Jordan algebras with a preferred embedding in a complex matrix algebra}. We show that these can be organized in a natural way as a symmetric monoidal category, albeit one that is not compact closed. We then construct a related category InvQM of embedded euclidean Jordan algebras, having fewer objects but more morphisms, that is not only compact closed but dagger-compact. This category unifies finite-dimensional real, complex and quaternionic mixed-state quantum mechanics, except that the composite of two complex quantum systems comes with an extra classical bit. Our notion of composite requires neither tomographic locality, nor preservation of purity under tensor product. The categories we construct include examples in which both of these conditions fail. In such cases, the information capacity (the maximum number of mutually distinguishable states) of a composite is greater than the product of the capacities of its constituents.Comment: 60 pages, 3 tables. Substantially revised, with some new result

Topological Test Spaces

A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with incommensurable random quantities. In the case of quantum mechanics, the relevant test space, the set of orthonormal bases of a Hilbert space, carries significant topological structure. This paper inaugurates a general study of topological test spaces. Among other things, we show that any topological test space with a compact space of outcomes is of finite rank. We also generalize results of Meyer and Clifton-Kent by showing that, under very weak assumptions, any second-countable topological test space contains a dense semi-classical test space.Comment: 12 pp., LaTeX 2e. To appear in Int. J. Theor. Phy

An Intrisic Topology for Orthomodular Lattices

We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in the case of a boolean algebra, the obtained topology is the discrete one. Thus, our construction provides a general tool for studying orthomodular lattices but also a way to distinguish classical and quantum logics.Comment: Under submission to the International Journal of Theoretical Physic

Locally Tomographic Shadows (Extended Abstract)

Given a monoidal probabilistic theory -- a symmetric monoidal category $\mathcal{C}$ of systems and processes, together with a functor $\mathbf{V}$ assigning concrete probabilistic models to objects of $\mathcal{C}$ -- we construct a locally tomographic probabilistic theory LT$(\mathcal{C},\mathbf{V})$ -- the locally tomographic shadow of $(\mathcal{C},\mathbf{V})$ -- describing phenomena observable by local agents controlling systems in $\mathcal{C}$, and able to pool information about joint measurements made on those systems. Some globally distinct states become locally indistinguishable in LT$(\mathcal{C},\mathbf{V})$, and we restrict the set of processes to those that respect this indistinguishability. This construction is investigated in some detail for real quantum theory.Comment: In Proceedings QPL 2023, arXiv:2308.1548

Structure and RNA binding of the third KH domain of poly(C)-binding protein 1

Poly(C)-binding proteins (CPs) are important regulators of mRNA stability and translational regulation. They recognize C-rich RNA through their triple KH (hn RNP K homology) domain structures and are thought to carry out their function though direct protection of mRNA sites as well as through interactions with other RNA-binding proteins. We report the crystallographically derived structure of the third domain of αCP1 to 2.1 Å resolution. αCP1-KH3 assumes a classical type I KH domain fold with a triple-stranded β-sheet held against a three-helix cluster in a βααββα configuration. Its binding affinity to an RNA sequence from the 3′-untranslated region (3′-UTR) of androgen receptor mRNA was determined using surface plasmon resonance, giving a K(d) of 4.37 μM, which is indicative of intermediate binding. A model of αCP1-KH3 with poly(C)-RNA was generated by homology to a recently reported RNA-bound KH domain structure and suggests the molecular basis for oligonucleotide binding and poly(C)-RNA specificity

Three-dimensionality of space and the quantum bit: an information-theoretic approach

It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (not assuming quantum theory in any way). Furthermore, suppose there are systems that carry "minimal amounts of direction information", interacting via some continuous reversible time evolution. We prove that this uniquely determines spatial dimension d=3 and quantum theory on two qubits (including entanglement and unitary time evolution), and that it allows observers to infer local spatial geometry from probability measurements.Comment: 13 + 22 pages, 9 figures. v4: some clarifications, in particular in Section V / Appendix C (added Example 39