Showing 1–47 of 47 results for author: Gogioso, S

The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation

Authors: Razin A. Shaikh, Lia Yeh, Stefano Gogioso

Abstract: While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computation (CVQC) in infinite-dimensional Hilbert space are only beginning to be explored. In this work, we formulate a graphical language for CVQC. Each diagram is an undirected graph made of two types of spiders: the Z spider… ▽ More While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computation (CVQC) in infinite-dimensional Hilbert space are only beginning to be explored. In this work, we formulate a graphical language for CVQC. Each diagram is an undirected graph made of two types of spiders: the Z spider from the ZX calculus defined on the reals, and the newly introduced Fock spider defined on the natural numbers. The Z and X spiders represent functions in position and momentum space respectively, while the Fock spider represents functions in the discrete Fock basis. In addition to the Fourier transform between Z and X, and the Hermite transform between Z and Fock, we present exciting new graphical rules capturing heftier CVQC interactions. We ensure this calculus is complete for all of Gaussian CVQC interpreted in infinite-dimensional Hilbert space, by translating the completeness in affine Lagrangian relations by Booth, Carette, and Comfort. Applying our calculus for quantum error correction, we derive graphical representations of the Gottesman-Kitaev-Preskill (GKP) code encoder, syndrome measurement, and magic state distillation of Hadamard eigenstates. Finally, we elucidate Gaussian boson sampling by providing a fully graphical proof that its circuit samples submatrix hafnians. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: 52 pages

Local fraction in Static Causal Orders

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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-signalling scenarios -- and we explicitly formulate a linear program to compute this quantity. We derive a free characterisation of causal functions which allows us to efficiently construct the matrices required to perform c… ▽ More 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-signalling scenarios -- and we explicitly formulate a linear program to compute this quantity. We derive a free characterisation of causal functions which allows us to efficiently construct the matrices required to perform concrete calculations. We demonstrate our techniques by analysing the local fraction of a novel example involving two Bell tests in interleaved causal order. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Constructor Theory as Process Theory

Authors: Stefano Gogioso, Vincent Wang-Maścianica, Muhammad Hamza Waseem, Carlo Maria Scandolo, Bob Coecke

Abstract: 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 means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoida… ▽ More 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 means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoidal) category theory. In this work, we show how to formulate fundamental notions of constructor theory within the canvas of process theory. Specifically, we exploit the functorial interplay between the symmetric monoidal structure of the category of sets and relations, where the abstract tasks live, and that of symmetric monoidal categories from physics, where concrete processes can be found to implement said tasks. Through this, we answer the question of how constructor theory relates to the broader body of process-theoretic literature, and provide the impetus for future collaborative work between the fields. △ Less

Submitted 14 December, 2023; originally announced January 2024.

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal ref: EPTCS 397, 2023, pp. 137-151

Quantum Picturalism: Learning Quantum Theory in High School

Authors: Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M. -L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke

Abstract: Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject. In this work, we challenge the conventional… ▽ More Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject. In this work, we challenge the conventional view by proposing "Quantum Picturalism" as a new approach to teaching the fundamental concepts of quantum theory and computation. We establish the foundations and methodology for an ongoing educational experiment to investigate the question "From what age can students learn quantum theory if taught using a diagrammatic approach?". We anticipate that the primary benefit of leveraging such a diagrammatic approach, which is conceptually intuitive yet mathematically rigorous, will be eliminating some of the most daunting barriers to teaching and learning this subject while enabling young learners to reason proficiently about high-level problems. We posit that transitioning from symbolic presentations to pictorial ones will increase the appeal of STEM education, attracting more diverse audience. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: In proceedings of the 2nd Quantum Science and Engineering Education Conference (QSEEC), co-located with the 4th IEEE International Conference on Quantum Computing and Engineering (QCE)

Journal ref: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, pp. 21-32

Proceedings 19th International Conference on Quantum Physics and Logic

Authors: Stefano Gogioso, Matty Hoban

Abstract: 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, University of Oxford, UK. QPL is an annual conference that brings together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the… ▽ More 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, University of Oxford, UK. QPL is an annual conference that brings together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Journal ref: EPTCS 394, 2023

Classification of causally complete spaces on 3 events with binary inputs

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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 paper forms the supplementary material for a trilogy of works: spaces of input histories, our dynamical generalisation of causal orders, are introduced in "The Combinatorics of Causality"; the sheaf-theoretic treatment o… ▽ More 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 paper forms the supplementary material for a trilogy of works: spaces of input histories, our dynamical generalisation of causal orders, are introduced in "The Combinatorics of Causality"; the sheaf-theoretic treatment of causal distributions is detailed in "The Topology of Causality"; the polytopes formed by the associated empirical models are studied in "The Geometry of Causality". △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: Originally the appendix of arXiv:2206.08911v2, now extended and published as a stand-alone paper. Some material is shared with the main three papers in the trilogy: "The Combinatorics of Causality" [arXiv:2206.08911], "The Topology of Causality" [arXiv:2303.07148] and "The Geometry of Causality" [arXiv:2303.09017]

The Geometry of Causality

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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 causaltopes, our chosen portmanteau of "causal polytopes", for arbitrary spaces of input histories and arbitrary choices of input contexts. We show that causaltopes are obtained by slicing simpler polytopes of conditional pro… ▽ More 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 causaltopes, our chosen portmanteau of "causal polytopes", for arbitrary spaces of input histories and arbitrary choices of input contexts. We show that causaltopes are obtained by slicing simpler polytopes of conditional probability distributions with a set of causality equations, which we fully characterise. We provide efficient linear programs to compute the maximal component of an empirical model supported by any given sub-causaltope, as well as the associated causal fraction. We introduce a notion of causal separability relative to arbitrary causal constraints. We provide efficient linear programs to compute the maximal causally separable component of an empirical model, and hence its causally separable fraction, as the component jointly supported by certain sub-causaltopes. We study causal fractions and causal separability for several novel examples, including a selection of quantum switches with entangled or contextual control. In the process, we demonstrate the existence of "causal contextuality", a phenomenon where causal inseparability is clearly correlated to, or even directly implied by, non-locality and contextuality. △ Less

Submitted 27 July, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: Originally Part 3 of arXiv:2206.08911v2, now extended and published as a stand-alone paper. Introduction shares some material with Part 1 of the trilogy, "The Combinatorics of Causality" [arXiv:2206.08911], and Part 2 of the trilogy, "The Topology of Causality" [arXiv:2303.07148]

The Topology of Causality

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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 its roots in the sheaf-theoretic framework for contextuality by Abramsky and Brandenburger, which it extends to include arbitrary causal orders (be they definite, dynamical or indefinite). We define a notion of causal func… ▽ More 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 its roots in the sheaf-theoretic framework for contextuality by Abramsky and Brandenburger, which it extends to include arbitrary causal orders (be they definite, dynamical or indefinite). We define a notion of causal function for arbitrary spaces of input histories, and we show that the explicit imposition of causal constraints on joint outputs is equivalent to the free assignment of local outputs to the tip events of input histories. We prove factorisation results for causal functions over parallel, sequential, and conditional sequential compositions of the underlying spaces. We prove that causality is equivalent to continuity with respect to the lowerset topology on the underlying spaces, and we show that partial causal functions defined on open sub-spaces can be bundled into a presheaf. In a striking departure from the Abramsky-Brandenburger setting, however, we show that causal functions fail, under certain circumstances, to form a sheaf. We define empirical models as compatible families in the presheaf of probability distributions on causal functions, for arbitrary open covers of the underlying space of input histories. We show the existence of causally-induced contextuality, a phenomenon arising when the causal constraints themselves become context-dependent, and we prove a no-go result for non-locality on total orders, both static and dynamical. △ Less

Submitted 27 July, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: Originally Part 2 of arXiv:2206.08911v2, now extended and published as a stand-alone paper. Introduction shares some material with Part 1 of the trilogy, "The Combinatorics of Causality"

Time symmetry in quantum theories and beyond

Authors: John H. Selby, Maria E. Stasinou, Stefano Gogioso, Bob Coecke

Abstract: There is a stark tension among different formulations of quantum theory in that some are fundamentally time-symmetric and others are radically time-asymmetric. This tension is crisply captured when thinking of physical theories as theories of processes. We review process theories and their diagrammatic representation, and show how quantum theory can be described in this language. The tension betwe… ▽ More There is a stark tension among different formulations of quantum theory in that some are fundamentally time-symmetric and others are radically time-asymmetric. This tension is crisply captured when thinking of physical theories as theories of processes. We review process theories and their diagrammatic representation, and show how quantum theory can be described in this language. The tension between time-symmetry and time-asymmetry is then captured by the tension between two of the key structures that are used in this framework. On the one hand, the symmetry is captured by a dagger structure, which is represented by a reflection of diagrams. On the other hand, the asymmetry is captured by a condition involving discarding which, ultimately, is responsible for the theory being compatible with relativistic causality. Next we consider three different ways in which we this tension can be resolved. The first of these is closely related to recent work of Lucien Hardy, where the tension is resolved by adding in a time reversed version of discarding together with a suitable consistency condition. The second is, to our knowledge, a new approach. Here the tension is resolved by adding in new systems which propagate backwards in time, and imposing a consistency condition to avoid running into well known time-travel paradoxes. The final approach that we explore is closely related to work of Oreshkov and Cerf, where the tension is resolved by removing the constraint associated with discarding. We show two equivalent ways in which this can be done whilst ensuring that the resulting theory still makes sensible operational predictions. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 38 pages, many diagrams, comments welcome!

Annealing Optimisation of Mixed ZX Phase Circuits

Authors: Stefano Gogioso, Richie Yeung

Abstract: We present a topology-aware optimisation technique for circuits of mixed ZX phase gadgets, based on conjugation by CX gates and simulated annealing. We present a topology-aware optimisation technique for circuits of mixed ZX phase gadgets, based on conjugation by CX gates and simulated annealing. △ Less

Submitted 15 November, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: In Proceedings QPL 2022, arXiv:2311.08375

Journal ref: EPTCS 394, 2023, pp. 415-431

The Combinatorics of Causality

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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 motivate our definition with reference to traditional partial order- and preorder-based notions of causal order, adopted by the majority of previous literature on the subject, and we proceed to explore the novel landscape… ▽ More 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 motivate our definition with reference to traditional partial order- and preorder-based notions of causal order, adopted by the majority of previous literature on the subject, and we proceed to explore the novel landscape of combinatorial complexity made available by our generalisation of those notions. In the process, we discover that the fine-grained structure of causality is significantly more complex than we might have previously believed: in the simplest case of binary inputs, the number of available "causally complete" spaces grows from 7 on 2 events, to 2644 on 3 events, to an unknown number on 4 events (likely around a billion). For perspective, previous literature on non-locality and contextuality used a single one of the 2644 available spaces on 3 events, work on definite causality used 19 spaces, derived from partial orders, and work on indefinite causality used only 6 more, for a grand total of 25. This paper is the first instalment in a trilogy: the sheaf-theoretic treatment of causal distributions is detailed in Part 2, "The Topology of Causality" [arXiv:2303.07148], while the polytopes formed by the associated empirical models are studied in Part 3, "The Geometry of Causality" [arXiv:2303.09017]. An exhaustive classification of the 2644 causally complete spaces on 3 events with binary inputs is provided in the supplementary work "Classification of causally complete spaces on 3 events with binary inputs", together with the algorithm used for the classification and partial results from the ongoing search on 4 events. △ Less

Submitted 27 July, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: Originally Part 1 of "The Topology and Geometry of Causality" [arXiv:2206.08911v2], which it now replaces. Part 2 of the trilogy is now published as "The Topology of Causality" [arXiv:2303.07148] and Part 3 is now published as "The Geometry of Causality" [arXiv:2303.09017]

Categorical Semantics for Feynman Diagrams

Authors: Razin A. Shaikh, Stefano Gogioso

Abstract: 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 suitable for infinite-dimensional diagrammatic reasoning, generalising the ZX calculus and other algebraic gadgets familiar to the categorical quantum theory community. The Feynman diagrams we define look very similar to thei… ▽ More 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 suitable for infinite-dimensional diagrammatic reasoning, generalising the ZX calculus and other algebraic gadgets familiar to the categorical quantum theory community. The Feynman diagrams we define look very similar to their traditional counterparts, but are more general: instead of depicting scattering amplitude, they embody the linear maps from which the amplitudes themselves are computed, for any given initial and final particle states. This shift in perspective reflects into a formal transition from the syntactic, graph-theoretic compositionality of traditional Feynman diagrams to a semantic, categorical-diagrammatic compositionality. Because we work in a concrete categorical setting -- powered by non-standard analysis -- we are able to take direct advantage of complex additive structure in our description. This makes it possible to derive a particularly compelling characterisation for the sequential composition of categorical Feynman diagrams, which automatically results in the superposition of all possible graph-theoretic combinations of the individual diagrams themselves. △ Less

Submitted 1 May, 2022; originally announced May 2022.

Comments: Submitted to QPL 2022

Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps

Authors: Stefano Gogioso

Abstract: 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 they arise by doubling of special symmetric dagger-Frobenius algebras in fHilb. In particular, this applies to all classical structures. 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 they arise by doubling of special symmetric dagger-Frobenius algebras in fHilb. In particular, this applies to all classical structures. △ Less

Submitted 15 November, 2023; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: In Proceedings QPL 2022, arXiv:2311.08375. arXiv admin note: substantial text overlap with arXiv:1809.03466

Journal ref: EPTCS 394, 2023, pp. 432-441

CPM Categories for Galois Extensions

Authors: James Hefford, Stefano Gogioso

Abstract: By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition. Analogously to the quantum-to-classical case, these decoherences reduce the degrees of freedom in physical systems, while at the same time restricting the fields over wh… ▽ More By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition. Analogously to the quantum-to-classical case, these decoherences reduce the degrees of freedom in physical systems, while at the same time restricting the fields over which the systems are defined. These theories possess fully fledged operational semantics, allowing both categorical and GPT-style approaches to their study. △ Less

Submitted 12 September, 2021; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: In Proceedings QPL 2021, arXiv:2109.04886

Journal ref: EPTCS 343, 2021, pp. 165-192

The Sheaf-Theoretic Structure of Definite Causality

Authors: Stefano Gogioso, Nicola Pinzani

Abstract: 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 presence of arbitrary definite causal orders. 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 presence of arbitrary definite causal orders. △ Less

Submitted 3 April, 2024; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: This paper has been superseded by arXiv:2206.08911v4, arXiv:2303.07148 and arXiv:2303.09017. Specifically, Definition 3 of Locale of Inputs given in this work is not fit for purpose: Spaces of Input Histories, cf. Definition 3.8 of arXiv:2206.08911v4, should be used instead. If you wish to cite our work or built upon it, this is unlikely to be the right reference

Journal ref: EPTCS 343, 2021, pp. 301-324

Quantum Natural Language Processing on Near-Term Quantum Computers

Authors: Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke

Abstract: 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 compositional distributional semantics (DisCoCat), which extends and complements the compositional structure of pregroup grammars. Within this model, the grammatical reduction of a sentence is interpreted as a diagram, encod… ▽ More 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 compositional distributional semantics (DisCoCat), which extends and complements the compositional structure of pregroup grammars. Within this model, the grammatical reduction of a sentence is interpreted as a diagram, encoding a specific interaction of words according to the grammar. It is this interaction which, together with a specific choice of word embedding, realises the meaning (or "semantics") of a sentence. Building on the formal quantum-like nature of such interactions, we present a method for map** DisCoCat diagrams to quantum circuits. Our methodology is compatible both with NISQ devices and with established Quantum Machine Learning techniques, paving the way to near-term applications of quantum technology to natural language processing. △ Less

Submitted 5 September, 2021; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: In Proceedings QPL 2020, arXiv:2109.01534. This work was originally commissioned by Cambridge Quantum Computing (CQC) and was carried out independently by the CQC team and the Hashberg team

Journal ref: EPTCS 340, 2021, pp. 213-229

Giving Operational Meaning to the Superposition of Causal Orders

Authors: Nicola Pinzani, Stefano Gogioso

Abstract: 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 quantum theory could be extended to include indefinite causality. The mainstream view, that of "process matrices", takes a top-down approach to the problem, considering all causal correlations that are compatible with local… ▽ More 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 quantum theory could be extended to include indefinite causality. The mainstream view, that of "process matrices", takes a top-down approach to the problem, considering all causal correlations that are compatible with local quantum experiments. Conversely, we pursue a bottom-up approach, investigating how the concept of indefiniteness emerges from specific characteristics of generic operational theories. Specifically, we pin down the operational phenomenology of the notion of non-classical (e.g. "coherent") control, which we then use to formalise a theory-independent notion of control (e.g. "superposition") of causal orders. To validate our framework, we show how salient examples from the literature can be captured in our framework. △ Less

Submitted 6 September, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal ref: EPTCS 340, 2021, pp. 256-278

Functorial evolution of quantum fields

Authors: Stefano Gogioso, Maria E. Stasinou, Bob Coecke

Abstract: 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 causality can be recovered in a purely order-theoretic way from the causal order of events in spacetime, with no direct mention of analysis or topology. We formulate theory-independent notions of fields over causal orders in… ▽ More 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 causality can be recovered in a purely order-theoretic way from the causal order of events in spacetime, with no direct mention of analysis or topology. We formulate theory-independent notions of fields over causal orders in a compositional, functorial way. We draw a strong connection to Algebraic Quantum Field Theory (AQFT), using a sheaf-theoretical approach in our definition of spaces of states over regions of spacetime. We introduce notions of symmetry and cellular automata, which we show to subsume existing definitions of Quantum Cellular Automata (QCA) from previous literature. Given the extreme flexibility of our constructions, we propose that our framework be used as the starting point for new developments in AQFT, QCA and more generally Quantum Field Theory. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Hyper-decoherence in Density Hypercubes

Authors: James Hefford, Stefano Gogioso

Abstract: 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 theory of density hypercubes to be the richest in terms of post-quantum phenomena. Specifically, we demonstrate the existence of a probabilistic hyper-decoherence of density hypercubes to quantum systems and calculate the as… ▽ More 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 theory of density hypercubes to be the richest in terms of post-quantum phenomena. Specifically, we demonstrate the existence of a probabilistic hyper-decoherence of density hypercubes to quantum systems and calculate the associated hyper-phase group. This makes density hypercubes of significant foundational interest, as an example of a theory which side-steps a recent no-go result in an original and unforeseen way, while at the same time displaying fully fledged operational semantics. △ Less

Submitted 5 September, 2021; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal ref: EPTCS 340, 2021, pp. 141-159

A Process-Theoretic Church of the Larger Hilbert Space

Authors: Stefano Gogioso

Abstract: 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. In such a process theory, local systems are not given, but rather `emerge' as the global system is decomposed into subsystems. Local systems thus have specific identities and their composition is naturally limited by stru… ▽ More 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. In such a process theory, local systems are not given, but rather `emerge' as the global system is decomposed into subsystems. Local systems thus have specific identities and their composition is naturally limited by structural constraints, a behaviour which we formalise by defining symmetric partially-monoidal categories. We reconstruct quantum theory from the global theories of unitary groups acting on projective Hilbert spaces. △ Less

Submitted 30 May, 2019; originally announced May 2019.

A Diagrammatic Approach to Quantum Dynamics

Authors: Stefano Gogioso

Abstract: We present a diagrammatic approach to quantum dynamics based on the categorical algebraic structure of strongly complementary observables. We provide physical semantics to our approach in terms of quantum clocks and quantisation of time. We show that quantum dynamical systems arise naturally as the algebras of a certain dagger Frobenius monad, with the morphisms and tensor product of the category… ▽ More We present a diagrammatic approach to quantum dynamics based on the categorical algebraic structure of strongly complementary observables. We provide physical semantics to our approach in terms of quantum clocks and quantisation of time. We show that quantum dynamical systems arise naturally as the algebras of a certain dagger Frobenius monad, with the morphisms and tensor product of the category of algebras playing the role, respectively, of equivariant transformations and synchronised parallel composition of dynamical systems. We show that the Weyl Canonical Commutation Relations between time and energy are an incarnation of the bialgebra law and we derive Schrödinger's equation from a process-theoretic perspective. Finally, we use diagrammatic symmetry-observable duality to prove Stone's proposition and von Neumann's Mean Ergodic proposition, recasting the results as two faces of the very same coin. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Journal ref: In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 19:1-19:23

Purification and time-reversal deny entanglement in LOCC-distinguishable orthonormal bases

Authors: Stefano Gogioso, Subhayan Roy Moulik

Abstract: 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 entangled state. Our results are really about the shape of certain states and processes, and are valid in arbitrary categorical probabilistic theories with time-reversal. From the point of view of the resource theory of en… ▽ More 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 entangled state. Our results are really about the shape of certain states and processes, and are valid in arbitrary categorical probabilistic theories with time-reversal. From the point of view of the resource theory of entanglement, our results can be interpreted to say that free processes can distinguish between the states in a complete orthonormal family only when the states themselves are all free. △ Less

Submitted 1 February, 2019; originally announced February 2019.

Categorical Semantics for Time Travel

Authors: Nicola Pinzani, Stefano Gogioso, Bob Coecke

Abstract: 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, allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by drop** the yanking axiom and the req… ▽ More 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, allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by drop** the yanking axiom and the requirement that the trace be defined on all morphisms. We show that the two leading models for quantum theory with closed timelike curves---namely the P-CTC model of Lloyd et al. and the D-CTC model of Deutsch---are captured by our framework, and in doing so we provide the first compositional description of the D-CTC model. Our description of the D-CTC model results in a process theory which respects the constraints of relativistic causality: this is in direct contrast to the P-CTC model, where CTCs are implemented by a trace and allow post-selection to be performed deterministically. △ Less

Submitted 31 January, 2019; originally announced February 2019.

Classical structures of CP maps are all canonical

Authors: Stefano Gogioso

Abstract: We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an open question about special dagger Frobenius algebras (and classical structures in particular) in $\operatorname{CPM}\left(\operatorname{fHilb}\right)$: we show… ▽ More We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an open question about special dagger Frobenius algebras (and classical structures in particular) in $\operatorname{CPM}\left(\operatorname{fHilb}\right)$: we show that they are all canonical, i.e. that they all arise by doubling of special dagger Frobenius algebras from the category $\operatorname{fHilb}$. △ Less

Submitted 28 October, 2021; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: The proof of theorem 2 relies on an unsubstantiated statement, a flaw which couldn't be directly rectified. This article is superseded by arXiv:2110.07074

Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach

Authors: Stefano Gogioso, Carlo Maria Scandolo

Abstract: In this work, we use the recently introduced double-dilation construction by Zwart and Coecke to construct a new categorical probabilistic theory of density hypercubes. By considering multi-slit experiments, we show that the theory displays higher-order interference of order up to fourth. We also show that the theory possesses hyperdecoherence maps, which can be used to recover quantum theory in t… ▽ More In this work, we use the recently introduced double-dilation construction by Zwart and Coecke to construct a new categorical probabilistic theory of density hypercubes. By considering multi-slit experiments, we show that the theory displays higher-order interference of order up to fourth. We also show that the theory possesses hyperdecoherence maps, which can be used to recover quantum theory in the Karoubi envelope. △ Less

Submitted 3 June, 2018; originally announced June 2018.

Comments: Colour-blind safe, grayscale-safe colours

Journal ref: Lect. Notes Comput. Sci. 11690, 141 - 160 (2019)

Symmetric Monoidal Structure with Local Character is a Property

Authors: Stefano Gogioso, Dan Marsden, Bob Coecke

Abstract: In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a structure, then it is uniquely defined (up to monoidal equivalence). Here we provide a novel unifying category-theoretic notion of symmetric monoidal structure with loca… ▽ More In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a structure, then it is uniquely defined (up to monoidal equivalence). Here we provide a novel unifying category-theoretic notion of symmetric monoidal structure with local character, which we prove to be a property for a much broader spectrum of categorical examples, including the infinite-dimensional case of relations over a quantale and the non-free case of finitely generated modules over a principal ideal domain. △ Less

Submitted 29 January, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal ref: EPTCS 287, 2019, pp. 179-190

Quantum Field Theory in Categorical Quantum Mechanics

Authors: Stefano Gogioso, Fabrizio Genovese

Abstract: We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work, we construct an object of *Hilb having quantum fields as states and we show that the usual ladder and field operators can be defined as suitable endomorphisms. We deal with relativistic normalisation and we obtain the L… ▽ More We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work, we construct an object of *Hilb having quantum fields as states and we show that the usual ladder and field operators can be defined as suitable endomorphisms. We deal with relativistic normalisation and we obtain the Lorentz invariant Heisenberg picture operators. By moving to a coherent perspective -- where the classical time and momentum parameters are replaced by wavefunctions over the parameter spaces -- we show that ladder operators and field operators can be obtained by applying the same morphism to plane waves and delta functions respectively. Finally, we formulate the commutation relations diagrammatically and we use them to derive the propagator. △ Less

Submitted 29 January, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal ref: EPTCS 287, 2019, pp. 163-177

Higher-order CPM Constructions

Authors: Stefano Gogioso

Abstract: We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can be characterised by seeing the construction as an algebra for an appropriate monad. We provide several examples of the construction, connecting to previous work… ▽ More We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can be characterised by seeing the construction as an algebra for an appropriate monad. We provide several examples of the construction, connecting to previous work on the CPM construction and on categorical probabilistic theories, as well as upcoming work on higher-order interference and hyper-decoherence. △ Less

Submitted 29 January, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal ref: EPTCS 287, 2019, pp. 145-162

Uniqueness of Composition in Quantum Theory and Linguistics

Authors: Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu

Abstract: We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric mono… ▽ More We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum theory, relational quantum theory, hyperbolic quantum theory and modal quantum theory. In computational linguistics they imply that linear models for categorical compositional distributional semantics (DisCoCat) -- such as vector spaces, sets and relations, and sets and histograms -- admit an (essentially) unique compatible pregroup grammar. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Comments: In Proceedings QPL 2017, arXiv:1802.09737. Authors of this work are listed in alphabetical order

Journal ref: EPTCS 266, 2018, pp. 249-257

The time-reverse of any causal theory is eternal noise

Authors: Bob Coecke, Stefano Gogioso, John H. Selby

Abstract: We consider a very general class of theories, process theories, which capture the underlying structure common to most theories of physics as we understand them today (be they established, toy or speculative theories). Amongst these theories, we will be focusing on those which are `causal', in the sense that they are intrinsically compatible with the causal structure of space-time -- as required by… ▽ More We consider a very general class of theories, process theories, which capture the underlying structure common to most theories of physics as we understand them today (be they established, toy or speculative theories). Amongst these theories, we will be focusing on those which are `causal', in the sense that they are intrinsically compatible with the causal structure of space-time -- as required by relativity. We demonstrate that there is a sharp contrast between these theories and the corresponding time-reversed theories, where time is taken to flow backwards from the future to the past. While the former typically feature a rich gamut of allowed states, the latter only allow for a single state: eternal noise. We illustrate this result by considering of the time-reverse of quantum theory. We also derive a strengthening of the result in PRL 108, 200403 on signalling in time-reversed theories. △ Less

Submitted 6 December, 2017; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: 5 pages, several pictures

Categorical Quantum Dynamics

Authors: Stefano Gogioso

Abstract: 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 long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: exampl… ▽ More 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 long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman's clock construction, the existence of time observables and the emergence of quantum clocks. Furthermore, we show that strong complementarity is a key resource for quantum algorithms and protocols. We provide the first fully diagrammatic, theory-independent proof of correctness for the quantum algorithm solving the Hidden Subgroup Problem, and show that strong complementarity is the feature providing the quantum advantage. In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin-type non-locality arguments. Our non-locality results find further application to quantum cryptography, where we use them to define a quantum-classical secret sharing scheme with provable device-independent security guarantees. All in all, we argue that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Comments: Thesis submitted for the degree of Doctor of Philosophy, Oxford University, Michaelmas Term 2016 (273 pages)

Fantastic Quantum Theories and Where to Find Them

Authors: Stefano Gogioso

Abstract: 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 involutive semirings, and which give rise to some semiring-based notion of classical non-determinism via the Born rule. The models obtained with our construction possess many of the familiar structures used in Cate… ▽ More 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 involutive semirings, and which give rise to some semiring-based notion of classical non-determinism via the Born rule. The models obtained with our construction possess many of the familiar structures used in Categorical Quantum Mechanics. We also provide a bestiary of increasingly exotic examples: some well known, such as real quantum theory and relational quantum theory; some less known, such as hyperbolic quantum theory, p-adic quantum theory and "parity quantum theory"; and some entirely new, such as "finite-field quantum theory" and "tropical quantum theory". As a further bonus, the measurement scenarios arising within these theories can be studied using the sheaf-theoretic framework for non-locality and contextuality. Their computational complexity can similarly be studied within existing frameworks for affine and unitary circuits over commutative semirings. △ Less

Submitted 15 April, 2017; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: For submission to QPL 2017

Towards Quantum Field Theory in Categorical Quantum Mechanics

Authors: Stefano Gogioso, Fabrizio Genovese

Abstract: In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger compact category *Hilb suitable for the algebraic manipulation of unbounded operators, Dirac deltas and plane-waves. We cover in detail the construction of quantum systems for particles in boxes with per… ▽ More In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger compact category *Hilb suitable for the algebraic manipulation of unbounded operators, Dirac deltas and plane-waves. We cover in detail the construction of quantum systems for particles in boxes with periodic boundary conditions, particles on cubic lattices, and particles in real space. Not quite satisfied with this, we show how certain non-separable Hilbert spaces can also be modelled in our non-standard framework, and we explicitly treat the cases of quantum fields on cubic lattices and quantum fields in real space. △ Less

Submitted 1 March, 2018; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal ref: EPTCS 266, 2018, pp. 349-366

Generalised Mermin-type non-locality arguments

Authors: Stefano Gogioso, William Zeng

Abstract: We broadly generalise Mermin-type arguments on GHZ states, and we provide exact group-theoretic conditions for non-locality to be achieved. Our results are of interest in quantum foundations, where they yield a new hierarchy of quantum-realisable All-vs-Nothing arguments. They are also of interest to quantum protocols, where they find immediate application to a non-trivial extension of the hybrid… ▽ More We broadly generalise Mermin-type arguments on GHZ states, and we provide exact group-theoretic conditions for non-locality to be achieved. Our results are of interest in quantum foundations, where they yield a new hierarchy of quantum-realisable All-vs-Nothing arguments. They are also of interest to quantum protocols, where they find immediate application to a non-trivial extension of the hybrid quantum-classical secret sharing scheme of Hillery, Bužek and Berthiaume (HBB). Our proofs are carried out in the graphical language of string diagrams for dagger compact categories, and their validity extends beyond quantum theory to any theory featuring the relevant algebraic structures. △ Less

Submitted 25 April, 2019; v1 submitted 6 February, 2017; originally announced February 2017.

ACM Class: F.1.1; F.3.2

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 2 (April 26, 2019) lmcs:3284

Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

Authors: Stefano Gogioso, Aleks Kissinger

Abstract: The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it. The traditional presentation of the quantum protocol for the abelian HSP is low-level, and relies heavily on the the interplay between classical group theory an… ▽ More The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it. The traditional presentation of the quantum protocol for the abelian HSP is low-level, and relies heavily on the the interplay between classical group theory and complex vector spaces. Instead, we give a high-level diagrammatic presentation which showcases the quantum structures truly at play. Specifically, we provide the first fully diagrammatic proof of correctness for the abelian HSP protocol, showing that strongly complementary observables are the key ingredient to its success. Being fully diagrammatic, our proof extends beyond the traditional case of finite-dimensional quantum theory: for example, we can use it to show that Simon's problem can be efficiently solved in real quantum theory, and to obtain a protocol that solves the HSP for certain infinite abelian groups. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: For submission to LMCS

ACM Class: F.1.1; F.3.2

Categorical Probabilistic Theories

Authors: Stefano Gogioso, Carlo Maria Scandolo

Abstract: We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and… ▽ More We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with. △ Less

Submitted 1 March, 2018; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal ref: EPTCS 266, 2018, pp. 367-385

A Stronger Theorem Against Macro-realism

Authors: John-Mark A. Allen, Owen J. E. Maroney, Stefano Gogioso

Abstract: Macro-realism is the position that certain "macroscopic" observables must always possess definite values: e.g. the table is in some definite position, even if we don't know what that is precisely. The traditional understanding is that by assuming macro-realism one can derive the Leggett-Garg inequalities, which constrain the possible statistics from certain experiments. Since quantum experiments c… ▽ More Macro-realism is the position that certain "macroscopic" observables must always possess definite values: e.g. the table is in some definite position, even if we don't know what that is precisely. The traditional understanding is that by assuming macro-realism one can derive the Leggett-Garg inequalities, which constrain the possible statistics from certain experiments. Since quantum experiments can violate the Leggett-Garg inequalities, this is taken to rule out the possibility of macro-realism in a quantum universe. However, recent analyses have exposed loopholes in the Leggett-Garg argument, which allow many types of macro-realism to be compatible with quantum theory and hence violation of the Leggett-Garg inequalities. This paper takes a different approach to ruling out macro-realism and the result is a no-go theorem for macro-realism in quantum theory that is stronger than the Leggett-Garg argument. This approach uses the framework of ontological models: an elegant way to reason about foundational issues in quantum theory which has successfully produced many other recent results, such as the PBR theorem. △ Less

Submitted 7 July, 2017; v1 submitted 30 September, 2016; originally announced October 2016.

Comments: Accepted journal version. 10 + 7 pages, 1 figure

Journal ref: Quantum 1, 13 (2017)

Infinite-dimensional Categorical Quantum Mechanics

Authors: Stefano Gogioso, Fabrizio Genovese

Abstract: We use non-standard analysis to define a category $^\star\!\operatorname{Hilb}$ suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it. We show the existence of unital special commutative $\dagger$-Frobenius algebras, and we conclude $^\star\!\operatorname{Hilb}$ to be compact closed, with partial… ▽ More We use non-standard analysis to define a category $^\star\!\operatorname{Hilb}$ suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it. We show the existence of unital special commutative $\dagger$-Frobenius algebras, and we conclude $^\star\!\operatorname{Hilb}$ to be compact closed, with partial traces and a Hilbert-Schmidt inner product on morphisms. We exemplify our techniques on the textbook case of 1-dimensional wavefunctions with periodic boundary conditions: we show the momentum and position observables to be well defined, and to give rise to a strongly complementary pair of unital commutative $\dagger$-Frobenius algebras. △ Less

Submitted 3 January, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: In Proceedings QPL 2016, arXiv:1701.00242

Journal ref: EPTCS 236, 2017, pp. 51-69

A Corpus-based Toy Model for DisCoCat

Authors: Stefano Gogioso

Abstract: The categorical compositional distributional (DisCoCat) model of meaning rigorously connects distributional semantics and pregroup grammars, and has found a variety of applications in computational linguistics. From a more abstract standpoint, the DisCoCat paradigm predicates the construction of a map** from syntax to categorical semantics. In this work we present a concrete construction of one… ▽ More The categorical compositional distributional (DisCoCat) model of meaning rigorously connects distributional semantics and pregroup grammars, and has found a variety of applications in computational linguistics. From a more abstract standpoint, the DisCoCat paradigm predicates the construction of a map** from syntax to categorical semantics. In this work we present a concrete construction of one such map**, from a toy model of syntax for corpora annotated with constituent structure trees, to categorical semantics taking place in a category of free R-semimodules over an involutive commutative semiring R. △ Less

Submitted 3 August, 2016; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: In Proceedings SLPCS 2016, arXiv:1608.01018

Journal ref: EPTCS 221, 2016, pp. 20-28

Device-independent quantum secret sharing using Mermin-type contextuality

Authors: Stefano Gogioso

Abstract: We present a new quantum secret sharing protocol based on recent advances in Mermin-type contextuality scenarios, which has some security guarantees against postquantum nonsignaling attackers. It is a fundamental assumption of secret sharing protocols that not all players are trusted parties, and that some may collude amongst themselves and with eavesdroppers to break confidentiality. To this exte… ▽ More We present a new quantum secret sharing protocol based on recent advances in Mermin-type contextuality scenarios, which has some security guarantees against postquantum nonsignaling attackers. It is a fundamental assumption of secret sharing protocols that not all players are trusted parties, and that some may collude amongst themselves and with eavesdroppers to break confidentiality. To this extent, quantum secret sharing introduces a new layer of security, enabling eavesdrop** detection via entangled states and noncommuting observables. A more thorough security analysis, however, becomes crucial if the protocol relies on untrusted devices for its implementation: for example, it cannot be excluded that some players may collude with the device supplier. In this paper, we put recent developments in Mermin-type contextuality to work in a new quantum secret sharing protocol. The maximal contextuality (aka maximal non-locality, or zero local fraction) demonstrated by the measurement scenarios results in some device-independent security guarantees against nonsignaling attackers -- be they classical, quantum or postquantum. △ Less

Submitted 14 February, 2017; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: This paper has been withdrawn due to errors in the proof of the main result. A revised and corrected version will appear as part of future work

Operational Mermin non-locality and All-vs-Nothing arguments

Authors: Stefano Gogioso

Abstract: 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 Mermin non-locality arguments provide a large, novel family of quantum realisable All-vs-Nothing models. In particular, they result in a diverse wealth of quantum realisable models which are maximally contextual (i.e. lie o… ▽ More 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 Mermin non-locality arguments provide a large, novel family of quantum realisable All-vs-Nothing models. In particular, they result in a diverse wealth of quantum realisable models which are maximally contextual (i.e. lie on the faces of the no-signalling polytope with no local elements), and could be used as a resource for the security of a new class of quantum secret sharing algorithms. △ Less

Submitted 11 October, 2015; originally announced October 2015.

A Bestiary of Sets and Relations

Authors: Stefano Gogioso

Abstract: 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 quantum mechanics in the category fRel of finite sets and relations. On the way, we highlight the wealth of exotic beasts that hide amongst the extensive operational and structural similarities that the theory shares with more… ▽ More 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 quantum mechanics in the category fRel of finite sets and relations. On the way, we highlight the wealth of exotic beasts that hide amongst the extensive operational and structural similarities that the theory shares with more traditional arenas of categorical quantum mechanics, such as the category fdHilb. We conclude our journey by proving that fRel is local, but not without some unexpected twists. △ Less

Submitted 4 November, 2015; v1 submitted 16 June, 2015; originally announced June 2015.

Comments: In Proceedings QPL 2015, arXiv:1511.01181

Journal ref: EPTCS 195, 2015, pp. 208-227

Mermin Non-Locality in Abstract Process Theories

Authors: Stefano Gogioso, William Zeng

Abstract: The study of non-locality is fundamental to the understanding of quantum mechanics. The past 50 years have seen a number of non-locality proofs, but its fundamental building blocks, and the exact role it plays in quantum protocols, has remained elusive. In this paper, we focus on a particular flavour of non-locality, generalising Mermin's argument on the GHZ state. Using strongly complementary obs… ▽ More The study of non-locality is fundamental to the understanding of quantum mechanics. The past 50 years have seen a number of non-locality proofs, but its fundamental building blocks, and the exact role it plays in quantum protocols, has remained elusive. In this paper, we focus on a particular flavour of non-locality, generalising Mermin's argument on the GHZ state. Using strongly complementary observables, we provide necessary and sufficient conditions for Mermin non-locality in abstract process theories. We show that the existence of more phases than classical points (aka eigenstates) is not sufficient, and that the key to Mermin non-locality lies in the presence of certain algebraically non-trivial phases. This allows us to show that fRel, a favourite toy model for categorical quantum mechanics, is Mermin local. We show Mermin non-locality to be the key resource ensuring the device-independent security of the HBB CQ (N,N) family of Quantum Secret Sharing protocols. Finally, we challenge the unspoken assumption that the measurements involved in Mermin-type scenarios should be complementary (like the pair X,Y), opening the doors to a much wider class of potential experimental setups than currently employed. In short, we give conditions for Mermin non-locality tests on any number of systems, where each party has an arbitrary number of measurement choices, where each measurement has an arbitrary number of outcomes and further, that works in any abstract process theory. △ Less

Submitted 4 November, 2015; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: In Proceedings QPL 2015, arXiv:1511.01181

Journal ref: EPTCS 195, 2015, pp. 228-246

Categorical Semantics for Schrödinger's Equation

Authors: Stefano Gogioso

Abstract: Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between… ▽ More Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case). △ Less

Submitted 25 February, 2015; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: Added a section connecting Stone's theorem on 1-parameter unitary groups to the dynamics/Hamiltonians duality presented in the work. Colours adapted to be discernible by protanopes, deuteranopes and tritanopes

Fourier transforms from strongly complementary observables

Authors: Stefano Gogioso, William Zeng

Abstract: 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 structures in quantum theory that enable it. We elucidate a general connection in any process theory between the Fourier transform and strongly complementary observables, i.e. Hopf algebras in dagger symmetric monoidal categorie… ▽ More 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 structures in quantum theory that enable it. We elucidate a general connection in any process theory between the Fourier transform and strongly complementary observables, i.e. Hopf algebras in dagger symmetric monoidal categories. We generalise the necessary tools of representation theory from fdHilb to arbitrary dagger symmetric monoidal categories. We define groups, characters and representations, and we prove their relation to strong complementarity. The Fourier transform is then defined in terms of pairs of strongly complementary observables, in both the abelian and non-abelian case. In the abelian case, we draw the connection with Pontryagin duality and provide categorical proofs of the Fourier Inversion Theorem, the Convolution Theory, and Pontryagin duality. Our work finds application in the novel characterisation of the Fourier transform for the category fRel of finite sets and relations. This is a result of interest for the study of categorical quantum algorithms, as the usual construction of the quantum Fourier transform in terms of Fourier matrices is shown to fail in fRel. Despite this, the process theoretic perspective on the Fourier transform is sensible in this setting. Furthermore, our categorical setting provides a generalisation of the abelian Fourier transform from finite-dimensional Hilbert spaces to finite-dimensional modules over arbitrary semirings, as well as a further generalisation to finite non-abelian groups, including a fully categorical generalisation of the Gelfand-Naimark theorem. △ Less

Submitted 14 August, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: Sumbitted to Applied Categorical Structures

Monadic Dynamics

Authors: Stefano Gogioso

Abstract: We develop a monadic framework formalising an operational notion of dynamics, seen as the setting and evolution of initial value problems, in general physical theories. We identify in the Eilenberg-Moore category the natural environment for dynamical systems and characterise Cauchy surfaces abstractly as automorphisms in the Kleisli category. Our main results formally vindicates the Aristotelian v… ▽ More We develop a monadic framework formalising an operational notion of dynamics, seen as the setting and evolution of initial value problems, in general physical theories. We identify in the Eilenberg-Moore category the natural environment for dynamical systems and characterise Cauchy surfaces abstractly as automorphisms in the Kleisli category. Our main results formally vindicates the Aristotelian view that time and change are defined by one another. We show that dynamics which respect the compositional structure of physical systems always define a canonical notion of time, and give the conditions under which they can be faithfully seen as actions of time on physical systems. Finally, we construct state spaces and path spaces, and show that our framework to be equivalent to the path space approaches to dynamics. The monadic standpoint is thus as strong as the established paradigms, but the shift from histories to dynamics helps shed new light on the nature of time in physics. In the appendix we present some additional structures of wide applicability, introduce prop- agators and draft applications to quantum theory, classical mechanics and network theory. △ Less

Submitted 19 January, 2015; originally announced January 2015.

Aspects of Statistical Physics in Computational Complexity

Authors: Stefano Gogioso

Abstract: The aim of this review paper is to give a panoramic of the impact of spin glass theory and statistical physics in the study of the K-sat problem. The introduction of spin glass theory in the study of the random K-sat problem has indeed left a mark on the field, leading to some groundbreaking descriptions of the geometry of its solution space, and hel** to shed light on why it seems to be so hard… ▽ More The aim of this review paper is to give a panoramic of the impact of spin glass theory and statistical physics in the study of the K-sat problem. The introduction of spin glass theory in the study of the random K-sat problem has indeed left a mark on the field, leading to some groundbreaking descriptions of the geometry of its solution space, and hel** to shed light on why it seems to be so hard to solve. Most of the geometrical intuitions have their roots in the Sherrington-Kirkpatrick model of spin glass. We'll start Chapter 2 by introducing the model from a mathematical perspective, presenting a selection of rigorous results and giving a first intuition about the cavity method. We'll then switch to a physical perspective, to explore concepts like pure states, hierarchical clustering and replica symmetry breaking. Chapter 3 will be devoted to the spin glass formulation of K-sat, while the most important phase transitions of K-sat (clustering, condensation, freezing and SAT/UNSAT) will be extensively discussed in Chapter 4, with respect their complexity, free-entropy density and the Parisi 1RSB parameter. The concept of algorithmic barrier will be presented in Chapter 5 and exemplified in detail on the Belief Propagation (BP) algorithm. The BP algorithm will be introduced and motivated, and numerical analysis of a BP-guided decimation algorithm will be used to show the role of the clustering, condensation and freezing phase transitions in creating an algorithmic barrier for BP. Taking from the failure of BP in the clustered and condensed phases, Chapter 6 will finally introduce the Cavity Method to deal with the shattering of the solution space, and present its application to the development of the Survey Propagation algorithm. △ Less

Submitted 14 May, 2014; originally announced May 2014.

Comments: 56 pages, 14 figures