BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Stefano Gogioso

Stefano Gogioso appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phmath.CTmath.QALogic in Computer ScienceComputation and LanguageComputational Complexitycond-mat.dis-nncond-mat.stat-mechCryptography and Securityphysics.hist-ph

Catalog footprint

What is connected

11works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Functorial evolution of quantum fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Infinite-dimensional Categorical Quantum Mechanics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Corpus-based Toy Model for DisCoCat

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 mapping from syntax to categorical semantics. In this work we present a concrete construction of one such mapping, 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A Bestiary of Sets and Relations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Categorical Semantics for Schrödinger's Equation

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).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Mermin Non-Locality in Abstract Process Theories

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Monadic Dynamics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Aspects of Statistical Physics in Computational Complexity

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 helping 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.

0 citations0 reviewsNo code linkedOpen access