20,642 research outputs found
A complete graphical calculus for Spekkens' toy bit theory
While quantum theory cannot be described by a local hidden variable model, it
is nevertheless possible to construct such models that exhibit features
commonly associated with quantum mechanics. These models are also used to
explore the question of {\psi}-ontic versus {\psi}-epistemic theories for
quantum mechanics. Spekkens' toy theory is one such model. It arises from
classical probabilistic mechanics via a limit on the knowledge an observer may
have about the state of a system. The toy theory for the simplest possible
underlying system closely resembles stabilizer quantum mechanics, a fragment of
quantum theory which is efficiently classically simulable but also non-local.
Further analysis of the similarities and differences between those two theories
can thus yield new insights into what distinguishes quantum theory from
classical theories, and {\psi}-ontic from {\psi}-epistemic theories.
In this paper, we develop a graphical language for Spekkens' toy theory.
Graphical languages offer intuitive and rigorous formalisms for the analysis of
quantum mechanics and similar theories. To compare quantum mechanics and a toy
model, it is useful to have similar formalisms for both. We show that our
language fully describes Spekkens' toy theory and in particular, that it is
complete: meaning any equality that can be derived using other formalisms can
also be derived entirely graphically. Our language is inspired by a similar
graphical language for quantum mechanics called the ZX-calculus. Thus Spekkens'
toy bit theory and stabilizer quantum mechanics can be analysed and compared
using analogous graphical formalisms.Comment: Major revisions for v2. 22+7 page
Synthesising Graphical Theories
In recent years, diagrammatic languages have been shown to be a powerful and
expressive tool for reasoning about physical, logical, and semantic processes
represented as morphisms in a monoidal category. In particular, categorical
quantum mechanics, or "Quantum Picturalism", aims to turn concrete features of
quantum theory into abstract structural properties, expressed in the form of
diagrammatic identities. One way we search for these properties is to start
with a concrete model (e.g. a set of linear maps or finite relations) and start
composing generators into diagrams and looking for graphical identities.
Naively, we could automate this procedure by enumerating all diagrams up to a
given size and check for equalities, but this is intractable in practice
because it produces far too many equations. Luckily, many of these identities
are not primitive, but rather derivable from simpler ones. In 2010, Johansson,
Dixon, and Bundy developed a technique called conjecture synthesis for
automatically generating conjectured term equations to feed into an inductive
theorem prover. In this extended abstract, we adapt this technique to
diagrammatic theories, expressed as graph rewrite systems, and demonstrate its
application by synthesising a graphical theory for studying entangled quantum
states.Comment: 10 pages, 22 figures. Shortened and one theorem adde
Herding cats: observing live coding in the wild
After a momentous decade of live coding activities, this paper seeks to explore the practice with the aim of situating it in the history of contemporary arts and music. The article introduces several key points of investigation in live coding research and discusses some examples of how live coding practitioners engage with these points in their system design and performances. In the light of the extremely diverse manifestations of live coding activities, the problem of defining the practice is discussed, and the question raised whether live coding will actually be necessary as an independent category
Open Graphs and Monoidal Theories
String diagrams are a powerful tool for reasoning about physical processes,
logic circuits, tensor networks, and many other compositional structures. The
distinguishing feature of these diagrams is that edges need not be connected to
vertices at both ends, and these unconnected ends can be interpreted as the
inputs and outputs of a diagram. In this paper, we give a concrete construction
for string diagrams using a special kind of typed graph called an open-graph.
While the category of open-graphs is not itself adhesive, we introduce the
notion of a selective adhesive functor, and show that such a functor embeds the
category of open-graphs into the ambient adhesive category of typed graphs.
Using this functor, the category of open-graphs inherits "enough adhesivity"
from the category of typed graphs to perform double-pushout (DPO) graph
rewriting. A salient feature of our theory is that it ensures rewrite systems
are "type-safe" in the sense that rewriting respects the inputs and outputs.
This formalism lets us safely encode the interesting structure of a
computational model, such as evaluation dynamics, with succinct, explicit
rewrite rules, while the graphical representation absorbs many of the tedious
details. Although topological formalisms exist for string diagrams, our
construction is discreet, finitary, and enjoys decidable algorithms for
composition and rewriting. We also show how open-graphs can be parametrised by
graphical signatures, similar to the monoidal signatures of Joyal and Street,
which define types for vertices in the diagrammatic language and constraints on
how they can be connected. Using typed open-graphs, we can construct free
symmetric monoidal categories, PROPs, and more general monoidal theories. Thus
open-graphs give us a handle for mechanised reasoning in monoidal categories.Comment: 31 pages, currently technical report, submitted to MSCS, waiting
review
Picturing classical and quantum Bayesian inference
We introduce a graphical framework for Bayesian inference that is
sufficiently general to accommodate not just the standard case but also recent
proposals for a theory of quantum Bayesian inference wherein one considers
density operators rather than probability distributions as representative of
degrees of belief. The diagrammatic framework is stated in the graphical
language of symmetric monoidal categories and of compact structures and
Frobenius structures therein, in which Bayesian inversion boils down to
transposition with respect to an appropriate compact structure. We characterize
classical Bayesian inference in terms of a graphical property and demonstrate
that our approach eliminates some purely conventional elements that appear in
common representations thereof, such as whether degrees of belief are
represented by probabilities or entropic quantities. We also introduce a
quantum-like calculus wherein the Frobenius structure is noncommutative and
show that it can accommodate Leifer's calculus of `conditional density
operators'. The notion of conditional independence is also generalized to our
graphical setting and we make some preliminary connections to the theory of
Bayesian networks. Finally, we demonstrate how to construct a graphical
Bayesian calculus within any dagger compact category.Comment: 38 pages, lots of picture
Three qubit entanglement within graphical Z/X-calculus
The compositional techniques of categorical quantum mechanics are applied to
analyse 3-qubit quantum entanglement. In particular the graphical calculus of
complementary observables and corresponding phases due to Duncan and one of the
authors is used to construct representative members of the two genuinely
tripartite SLOCC classes of 3-qubit entangled states, GHZ and W. This nicely
illustrates the respectively pairwise and global tripartite entanglement found
in the W- and GHZ-class states. A new concept of supplementarity allows us to
characterise inhabitants of the W class within the abstract diagrammatic
calculus; these method extends to more general multipartite qubit states.Comment: In Proceedings HPC 2010, arXiv:1103.226
- …