Interacting frobenius algebras are hopf
R Duncan, K Dunne - Proceedings of the 31st Annual ACM/IEEE …, 2016 - dl.acm.org
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have
recently appeared in several areas in computer science: concurrent programming, control …
recently appeared in several areas in computer science: concurrent programming, control …
Fantastic quantum theories and where to find them
S Gogioso - arXiv preprint arXiv:1703.10576, 2017 - arxiv.org
We present a uniform framework for the treatment of a large class of toy models of quantum
theory. Specifically, we will be interested in theories of wavefunctions valued in commutative …
theory. Specifically, we will be interested in theories of wavefunctions valued in commutative …
Fourier transforms from strongly complementary observables
Ongoing work in quantum information emphasises the need for a structural understanding of
quantum speedups: in this work, we focus on the quantum Fourier transform and the …
quantum speedups: in this work, we focus on the quantum Fourier transform and the …
Categorical quantum dynamics
S Gogioso - arXiv preprint arXiv:1709.09772, 2017 - arxiv.org
We use strong complementarity to introduce dynamics and symmetries within the framework
of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were …
of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were …
A bestiary of sets and relations
S Gogioso - arXiv preprint arXiv:1506.05025, 2015 - arxiv.org
Building on established literature and recent developments in the graph-theoretic
characterisation of its CPM category, we provide a treatment of pure state and mixed state …
characterisation of its CPM category, we provide a treatment of pure state and mixed state …
[PDF][PDF] Can quantum theory be characterized in terms of informationtheoretic constraints
C Heunen, A Kissinger - arXiv preprint arXiv:1604.05948, 2016 - pdfs.semanticscholar.org
It from bit symbolizes the idea that every item of the physical world has at bottom–a very
deep bottom, in most instances–an immaterial source and explanation; that which we call …
deep bottom, in most instances–an immaterial source and explanation; that which we call …
A new perspective on observables in the category of relations: a spectral presheaf for relations
K Dunne - International Symposium on Quantum Interaction, 2016 - Springer
We take a first step towards establishing a link between the topos approach to quantum
theory and the monoidal approach to quantum theory. The topos approach to quantum …
theory and the monoidal approach to quantum theory. The topos approach to quantum …
The abstract structure of quantum algorithms
W Zeng - arXiv preprint arXiv:1512.08062, 2015 - arxiv.org
Quantum information brings together theories of physics and computer science. This
synthesis challenges the basic intuitions of both fields. In this thesis, we show that adopting …
synthesis challenges the basic intuitions of both fields. In this thesis, we show that adopting …
Operational Mermin non-locality and All-vs-Nothing arguments
S Gogioso - arXiv preprint arXiv:1510.03419, 2015 - arxiv.org
Contextuality is a key resource in quantum information and the device-independent security
of quantum algorithms. In this work, we show that the recently developed, operational …
of quantum algorithms. In this work, we show that the recently developed, operational …
Spectral presheaves, kochen-specker contextuality, and quantale-valued relations
K Dunne - arXiv preprint arXiv:1803.00709, 2018 - arxiv.org
In the topos approach to quantum theory of Doering and Isham the Kochen-Specker
Theorem, which asserts the contextual nature of quantum theory, can be reformulated in …
Theorem, which asserts the contextual nature of quantum theory, can be reformulated in …