arXiv subjects

Bob Coecke

Publications and source records attributed to Bob Coecke.

At least 127 records · Page 7Linked to original sources

arXiv2009

Abstract Physical Traces

We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in Categorical Semantics of Quantum Protocols. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.

quant-ph↗

arXiv2009

Categories for the practising physicist

In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are particularly relevant for quantum foundations and for quantum informatics. Special attention is given to the category which has finite dimensional Hilbert spaces as objects, linear maps as morphisms, and the tensor product as its monoidal structure (FdHilb). We also provide a detailed discussion of the category which has sets as objects, relations as morphisms, and the cartesian product as its monoidal structure (Rel), and thirdly, categories with manifolds as objects and cobordisms between these as morphisms (2Cob). While sets, Hilbert spaces and manifolds do not share any non-trivial common structure, these three categories are in fact structurally very similar. Shared features are diagrammatic calculus, compact closed structure and particular kinds of internal comonoids which play an important role in each of them. The categories FdHilb and Rel moreover admit a categorical matrix calculus. Together these features guide us towards topological quantum field theories. We also discuss posetal categories, how group representations are in fact categorical constructs, and what strictification and coherence of monoidal categories is all about. In our attempt to complement the existing literature we omitted some very basic topics. For these we refer the reader to other available sources.

quant-ph↗

arXiv2009

Quantum Picturalism

The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the arrays of 0s and 1s of the early days of computer programming practice. In this review we present steps towards a diagrammatic `high-level' alternative for the Hilbert space formalism, one which appeals to our intuition. It allows for intuitive reasoning about interacting quantum systems, and trivialises many otherwise involved and tedious computations. It clearly exposes limitations such as the no-cloning theorem, and phenomena such as quantum teleportation. As a logic, it supports `automation'. It allows for a wider variety of underlying theories, and can be easily modified, having the potential to provide the required step-stone towards a deeper conceptual understanding of quantum theory, as well as its unification with other physical theories. Specific applications discussed here are purely diagrammatic proofs of several quantum computational schemes, as well as an analysis of the structural origin of quantum non-locality. The underlying mathematical foundation of this high-level diagrammatic formalism relies on so-called monoidal categories, a product of a fairly recent development in mathematics. These monoidal categories do not only provide a natural foundation for physical theories, but also for proof theory, logic, programming languages, biology, cooking, ... The challenge is to discover the necessary additional pieces of structure that allow us to predict genuine quantum phenomena.

quant-ph↗

arXiv2009

Classical and quantum structuralism

In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical operations, whereas the tensors describe composite systems. Classical data turn out to correspond to Frobenius algebras with some additional properties. They express the distinguishing capabilities of classical data: in contrast with quantum data, classical data can be copied and deleted. The algebraic approach thus shifts the paradigm of "quantization" of a classical theory to "classicization" of a quantum theory. Remarkably, the simple SDM framework suffices not only for this conceptual shift, but even allows us to distinguish the deterministic classical operations (i.e. functions) from the nondeterministic classical operations (i.e. relations), and the probabilistic classical operations (stochastic maps). Moreover, a combination of some basic categorical constructions (due to Kleisli, resp. Grothendieck) with the categorical presentations of quantum states, provides a resource sensitive account of various quantum-classical interactions: of classical control of quantum data, of classical data arising from quantum measurements, as well as of the classical data processing in-between controls and measurements. A salient feature here is the graphical calculus for categorical quantum mechanics, which allows a purely diagrammatic representation of classical-quantum interaction.

quant-ph↗

arXiv2008

A new description of orthogonal bases

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous linear maps as morphisms, and tensor product for the monoidal structure. The basis is normalised exactly when the corresponding commutative dagger-Frobenius monoid is special. Hence orthogonal and orthonormal bases can be axiomatised in terms of composition of operations and tensor product only, without any explicit reference to the underlying vector spaces. This axiomatisation moreover admits an operational interpretation, as the comultiplication copies the basis vectors and the counit uniformly deletes them. That is, we rely on the distinct ability to clone and delete classical data as compared to quantum data to capture basis vectors. For this reason our result has important implications for categorical quantum mechanics.

quant-ph↗

arXiv2008

Categorical quantum mechanics

This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area of categorical quantum mechanics, but had not yet been published in full length; 2. An overview of the progress which has been made since then in this area.

quant-ph↗

arXiv2008

Bases in diagrammatic quantum protocols

This paper contains two new results: 1. We amend the notion of abstract basis in a dagger symmetric monoidal category, as well as its corresponding graphical representation, in order to accommodate non-self-dual dagger compact structures; this is crucial for obtaining a `planar' diagrammatical representation of the induced dagger compact structure as well as for representing many complementary bases within one diagrammatic calculus. 2. We (crucially) rely on these basis structures in a purely diagrammatic derivation of the `quantum state transfer protocol'; this derivation provides interesting insights in the distinct structural resources required for state-transfer and teleportation as models of quantum computing.

quant-ph↗

arXiv2008

Introducing categories to the practicing physicist

We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra of practicing physics. We will not provide rigorous definitions or anything resembling a coherent mathematical theory, but we will take the reader for a journey introducing concepts which are part of category theory in a manner that the physicist will recognize them.

quant-ph↗

arXiv2008

Toy quantum categories

We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact very general category-theoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set FRel.

quant-ph↗

arXiv2008

Quantum measurements without sums

Sums play a prominent role in the formalisms of quantum mechanics, be it for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum measurement seems to suggest that quantum mechanics can be done without direct sums, expressed entirely in terms of the tensor product. The corresponding axioms define classical spaces as objects that allow copying and deleting data. Indeed, the information exchange between the quantum and the classical worlds is essentially determined by their distinct capabilities to copy and delete data. The sums turn out to be an implicit implementation of this capabilities. Realizing it through explicit axioms not only dispenses with the unnecessary structural baggage, but also allows a simple and intuitive graphical calculus. In category-theoretic terms, classical data types are dagger-compact Frobenius algebras, and quantum spectra underlying quantum measurements are Eilenberg-Moore coalgebras induced by these Frobenius algebras.

quant-ph↗

arXiv2007

Epistemic actions as resources

We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g.due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic actions, that is, information exchanges between agents, are modeled as elements of a quantale. The quantale acts on an underlying right module of epistemic propositions and facts. The epistemic content is encoded by appearance maps, one pair of (lax) morphisms for each agent, which preserve the module and quantale structure respectively. By adjunction, they give rise to epistemic modalities, capturing the agents' knowledge on propositions and actions. The module action is epistemic update and gives rise to dynamic modalities - cf. weakest precondition. This model subsumes the crucial fragment of Baltag, Moss and Solecki's dynamic epistemic logic, abstracting it in a constructive fashion while introducing resource-sensitive structure on the epistemic actions.

math.LO↗

arXiv2007

A categorical semantics of quantum protocols

We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories with biproducts. We show how the essential structures found in key quantum information protocols such as teleportation, logic-gate teleportation, and entanglement-swapping can be captured at this abstract level. Moreover, from the combination of the --apparently purely qualitative-- structures of compact closure and biproducts there emerge `scalars` and a `Born rule'. This abstract and structural point of view opens up new possibilities for describing and reasoning about quantum systems. It also shows the degrees of axiomatic freedom: we can show what requirements are placed on the (semi)ring of scalars C(I,I), where C is the category and I is the tensor unit, in order to perform various protocols such as teleportation. Our formalism captures both the information-flow aspect of the protocols (see quant-ph/0402014), and the branching due to quantum indeterminism. This contrasts with the standard accounts, in which the classical information flows are `outside' the usual quantum-mechanical formalism.

quant-ph↗

arXiv2007

POVMs and Naimark's theorem without sums

We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence between abstract POVMs and abstract projective measurements on an extended system, and this proof is moreover purely graphical. ii. Our definition coincides with the usual one for the particular case of the Hilbert space tensor product. We also point to a very useful normal form result for the classical object structure introduced in quant-ph/0608035.

quant-ph↗

arXiv2006

De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure

Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others obstruct the passage to a formalism which is not saturated with physically insignificant global phases. First we show that the bulk of the required linear structure is purely multiplicative, and arises from the strongly compact closed tensor which, besides providing a variety of notions such as scalars, trace, unitarity, self-adjointness and bipartite projectors, also provides Hilbert-Schmidt norm, Hilbert-Schmidt inner-product, and in particular, the preparation-state agreement axiom which enables the passage from a formalism of the vector space kind to a rather projective one, as it was intended in the (in)famous Birkhoff & von Neumann paper. Next we consider additive types which distribute over the tensor, from which measurements can be build, and the correctness proofs of the protocols discussed in quant-ph/0402130 carry over to the resulting weaker setting. A full probabilistic calculus is obtained when the trace is moreover linear and satisfies the \em diagonal axiom, which brings us to a second main result, characterization of the necessary and sufficient additive structure of a both qualitatively and quantitatively effective categorical quantum formalism without redundant global phases. Along the way we show that if in a category a (additive) monoidal tensor distributes over a strongly compact closed tensor, then this category is always enriched in commutative monoids.

quant-ph↗

arXiv2005

Kindergarten Quantum Mechanics

These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns `doing quantum mechanics using only pictures of lines, squares, triangles and diamonds'. This picture calculus can be seen as a very substantial extension of Dirac's notation, and has a purely algebraic counterpart in terms of so-called Strongly Compact Closed Categories (introduced by Abramsky and I in quant-ph/0402130 and [4]) which subsumes my Logic of Entanglement quant-ph/0402014. For a survey on the `what', the `why' and the `hows' I refer to a previous set of lecture notes quant-ph/0506132. In a last section we provide some pointers to the body of technical literature on the subject.

quant-ph↗

arXiv2005

Quantum information-flow, concretely, and axiomatically

These lecture notes survey some joint work with Samson Abramsky. Somewhat informally I will discuss the main results in a pedestrian not too technical way. These include: (1) `The logic of entanglement', that is, the identification and abstract axiomatization of the `quantum information-flow' which enables protocols such as quantum teleportation. To this means we define strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. (2) `Postulates for an abstract quantum formalism' in which classical information-flow (e.g. token exchange) is part of the formalism. As an example, we provide a purely formal description of quantum teleportation and prove correctness in abstract generality. In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism. Hence even concretely this formalism manifestly improves on the usual one. (3) `A high-level approach to quantum informatics'.

quant-ph↗

arXiv2004

The logic of entanglement

We expose the information flow capabilities of pure bipartite entanglement as a theorem -- which embodies the exact statement on the `seemingly acausal flow of information' in protocols such as teleportation. We use this theorem to re-design and analyze known protocols (e.g. logic gate teleportation and entanglement swapping) and show how to produce some new ones (e.g. parallel composition of logic gates). We also show how our results extend to the multipartite case and how they indicate that entanglement can be measured in terms of `information flow capabilities'. Ultimately, we propose a scheme for automated design of protocols involving measurements, local unitary transformations and classical communication.

quant-ph↗

arXiv2003

Partiality in physics

We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting capable of providing a satisfactory unification of the two.

quant-ph↗