59 citations · 272 across the 46 of their papers we have counts for
48 papers
High schoolers excel at Oxford quantum course using pictorial mathematics
Bob Coecke, Aleks Kissinger, Stefano Gogioso +12
We are at the dawn of the second quantum revolution, where our ability to create and control individual quantum systems is poised to drive transformative advancements in basic scie…
Making the quantum world accessible to young learners through Quantum Picturalism: An experimental study
Selma Dündar-Coecke, Caterina Puca, Lia Yeh +12
The educational value of a fully diagrammatic approach in a scientific field has never been explored. We present Quantum Picturalism (QPic), an entirely diagrammatic formalism for…
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Razin A. Shaikh, Lia Yeh, Stefano Gogioso
While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computati…
Local fraction in Static Causal Orders
Stefano Gogioso, Nicola Pinzani
In this Letter, we introduce a notion of local fraction for experiments taking place against arbitrary static causal backgrounds -- greatly generalising previous results on no-sign…
Constructor Theory as Process Theory
Stefano Gogioso, Vincent Wang-Maścianica, Muhammad Hamza Waseem +2
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by mea…
Quantum Picturalism: Learning Quantum Theory in High School
Selma Dündar-Coecke, Lia Yeh, Caterina Puca +6
Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplic…
Proceedings 19th International Conference on Quantum Physics and Logic
Stefano Gogioso, Matty Hoban
This volume contains the proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), which was held June 27-July 1, 2022 at Wolfson College, Universit…
Classification of causally complete spaces on 3 events with binary inputs
Stefano Gogioso, Nicola Pinzani
We present an exhaustive classification of the 2644 causally complete spaces of input histories on 3 events with binary inputs, together with the algorithm used to find them. This…
The Geometry of Causality
Stefano Gogioso, Nicola Pinzani
We provide a unified operational framework for the study of causality, non-locality and contextuality, in a fully device-independent and theory-independent setting. We define causa…
The Topology of Causality
Stefano Gogioso, Nicola Pinzani
We provide a unified operational framework for the study of causality, non-locality and contextuality, in a fully device-independent and theory-independent setting. Our work has it…
Time symmetry in quantum theories and beyond
John H. Selby, Maria E. Stasinou, Stefano Gogioso +1
There exists a stark tension among different formulations of quantum theory as some are inherently time-symmetric while others are time-asymmetric. This tension is crisply captured…
Annealing Optimisation of Mixed ZX Phase Circuits
Stefano Gogioso, Richie Yeung
We present a topology-aware optimisation technique for circuits of mixed ZX phase gadgets, based on conjugation by CX gates and simulated annealing.
The Combinatorics of Causality
Stefano Gogioso, Nicola Pinzani
We introduce and explore the notion of "spaces of input histories", a broad family of combinatorial objects which can be used to model input-dependent, dynamical causal order. We m…
Categorical Semantics for Feynman Diagrams
Razin A. Shaikh, Stefano Gogioso
We introduce a novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category. Our chosen setting is suitabl…
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps
Stefano Gogioso
We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric dagger-Frobenius algebras in CPM(fHilb) are canonical, i.e. that…
CPM Categories for Galois Extensions
James Hefford, Stefano Gogioso
By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalis…
The Sheaf-Theoretic Structure of Definite Causality
Stefano Gogioso, Nicola Pinzani
We fill a gap in the study of contextuality by extending the sheaf-theoretic framework for non-locality by Abramsky and Brandenburger to deal with operational scenarios in the pres…
Quantum Natural Language Processing on Near-Term Quantum Computers
Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice +3
In this work, we describe a full-stack pipeline for natural language processing on near-term quantum computers, aka QNLP. The language-modelling framework we employ is that of comp…
Functorial evolution of quantum fields
Stefano Gogioso, Maria E. Stasinou, Bob Coecke
We present a compositional algebraic framework to describe the evolution of quantum fields in discretised spacetimes. We show how familiar notions from Relativity and quantum causa…
Giving Operational Meaning to the Superposition of Causal Orders
Nicola Pinzani, Stefano Gogioso
In this work, we give rigorous operational meaning to superposition of causal orders. This fits within a recent effort to understand how the standard operational perspective on qua…
Hyper-decoherence in Density Hypercubes
James Hefford, Stefano Gogioso
We study hyper-decoherence in three operational theories from the literature, all examples of the recently introduced higher-order CPM construction. Amongst these, we show the theo…
A Process-Theoretic Church of the Larger Hilbert Space
Stefano Gogioso
We show how to reconstruct a process theory of local systems starting from a global theory of reversible processes on a single global system, by using the purification principle. I…
Purification and time-reversal deny entanglement in LOCC-distinguishable orthonormal bases
Stefano Gogioso, Subhayan Roy Moulik
We give a simple proof, based on time-reversibility and purity, that a complete orthonormal family of pure states which can be perfectly distinguished by LOCC cannot contain any en…
Categorical Semantics for Time Travel
Nicola Pinzani, Stefano Gogioso, Bob Coecke
We introduce a general categorical framework to reason about quantum theory and other process theories living in spacetimes where Closed Timelike Curves (CTCs) are available, allow…