Talks

Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. With very little structural effort (i.e. in very abstract terms) and in a very short time this categorical quantum mechanics research program has reproduced a surprisingly large fragment of quantum theory. Philosophically speaking, this framework shifts the conceptual focus from `material carriers' such as particles, fields, or other `material stuff', to `logical flows of information', by mainly encoding how things stand in relation to each other. These relations could, for example, be induced by operations. Composition of these relations is the carrier of all structure. Thus far the causal structure has been treated somewhat informally within this approach. In joint work with my student Raymond Lal, by restricting the capabilities to compose, we were able to formally encode causal connections. We call the resulting mathematical structure a CauCat, since it combines the symmetric monoidal stricture with Sorkin's CauSets within a single mathematical concept. The relations which now respect causal structure are referred to as processes, which make up the actual `happenings'. As a proof of concept, we show that if in a quantum teleportation protocol one omits classical communication, no information is transfered. We also characterize Galilean theories. Classicality is an attribute of certain processes, and measurements are special kinds of processes, defined in terms of their capabilities to correlate other processes to these classical attributes. So rather than quantization, what we do is classicization within our universe of processes. We show how classicality and the causal structure are tightly intertwined. All of this is still very much work in progress!

We apply newly-developed techniques for studying perturbative scattering amplitudes to gauge theories with matter. It is well known that the N=4 SYM theory has a very simple S-matrix; do other gauge theories see similar simplifications in their S-matrices? It turns out the one-loop gluon S-matrix simplifies if the matter representations satisfy some group theoretic constraints. In particular, these constraints can be expressed as linear Diophantine equations involving the higher order Indices (or higher-order Casimirs) of these representations. We solve these constraints to find examples of theories whose gluon scattering amplitudes are as simple as those of the N=4 theory. This class includes the N=2, SU(K) theory with a symmetric and anti-symmetric tensor hypermultiplet. Non-supersymmetric theories with appropriately tuned matter content can also see remarkable simplifications. We find an infinite class of non-supersymmetric amplitudes that are cut-constructible even though naive power counting would suggest the presence of rational remainders.

Multipartite quantum states constitute a (if not the) key resource for quantum computations and protocols. However obtaining a generic, structural understanding of entanglement in N-qubit systems is still largely an open problem. Here we show that multipartite quantum entanglement admits a compositional structure. The two SLOCC-classes of genuinely entangled 3-qubit states, the GHZ-class and the W-class, exactly correspond with the two kinds of commutative Frobenius algebras on C^2, namely `special' ones and `anti-special' ones. Within the graphical language of symmetric monoidal categories, the distinction between `special' and `anti-special' is purely topological, in terms of `connected' vs.~`disconnected'. These GHZ and W Frobenius algebras form the primitives of a graphical calculus which is expressive enough to generate and reason about representatives of arbitrary N-qubit states. This calculus induces a generalised graph state paradigm for measurement-based quantum computing, and refines the graphical calculus of complementary observables due to Duncan and one of the authors [ICALP'08], which has already shown itself to have many applications and admit automation. References: Bob Coecke and Aleks Kissinger, http://arxiv.org/abs/1002.2540