205 research outputs found
Interacting Frobenius algebras are Hopf
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others. Bonchi, Sobocinski, and Zanasi (2014) have shown that, given a suitable distributive law, a pair of Hopf algebras forms two Frobenius algebras. Here we take the opposite approach, and show that interacting Frobenius algebras form Hopf algebras. We generalise (BSZ 2014) by including non-trivial dynamics of the underlying object---the so-called phase group---and investigate the effects of finite dimensionality of the underlying model. We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law
Categories in Control
Control theory uses "signal-flow diagrams" to describe processes where
real-valued functions of time are added, multiplied by scalars, differentiated
and integrated, duplicated and deleted. These diagrams can be seen as string
diagrams for the symmetric monoidal category FinVect_k of finite-dimensional
vector spaces over the field of rational functions k = R(s), where the variable
s acts as differentiation and the monoidal structure is direct sum rather than
the usual tensor product of vector spaces. For any field k we give a
presentation of FinVect_k in terms of the generators used in signal flow
diagrams. A broader class of signal-flow diagrams also includes "caps" and
"cups" to model feedback. We show these diagrams can be seen as string diagrams
for the symmetric monoidal category FinRel_k, where objects are still
finite-dimensional vector spaces but the morphisms are linear relations. We
also give a presentation for FinRel_k. The relations say, among other things,
that the 1-dimensional vector space k has two special commutative
dagger-Frobenius structures, such that the multiplication and unit of either
one and the comultiplication and counit of the other fit together to form a
bimonoid. This sort of structure, but with tensor product replacing direct sum,
is familiar from the "ZX-calculus" obeyed by a finite-dimensional Hilbert space
with two mutually unbiased bases.Comment: 42 pages LaTe
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
A certain class of Frobenius algebras has been used to characterize
orthonormal bases and observables on finite-dimensional Hilbert spaces. The
presence of units in these algebras means that they can only be realized
finite-dimensionally. We seek a suitable generalization, which will allow
arbitrary bases and observables to be described within categorical
axiomatizations of quantum mechanics. We develop a definition of H*-algebra
that can be interpreted in any symmetric monoidal dagger category, reduces to
the classical notion from functional analysis in the category of (possibly
infinite-dimensional) Hilbert spaces, and hence provides a categorical way to
speak about orthonormal bases and quantum observables in arbitrary dimension.
Moreover, these algebras reduce to the usual notion of Frobenius algebra in
compact categories. We then investigate the relations between nonunital
Frobenius algebras and H*-algebras. We give a number of equivalent conditions
to characterize when they coincide in the category of Hilbert spaces. We also
show that they always coincide in categories of generalized relations and
positive matrices.Comment: 29 pages. Final versio
A Recipe for Quantum Graphical Languages
Different graphical calculi have been proposed to represent quantum computation. First the ZX-calculus [Coecke and Duncan, 2011], followed by the ZW-calculus [Hadzihasanovic, 2015] and then the ZH-calculus [Backens and Kissinger, 2018]. We can wonder if new ZX-like calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z^*-algebras. We classify Z^*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [Bonchi et al., 2017] is essentially the unique one
Refinement for Signal Flow Graphs
The symmetric monoidal theory of Interacting Hopf Algebras provides a sound and complete axiomatisation for linear relations over a given field. As is the case for ordinary relations, linear relations have a natural order that coincides with inclusion. In this paper, we give a presentation for this ordering by extending the theory of Interacting Hopf Algebras with a single additional inequation. We show that the extended theory gives rise to an abelian bicategory - a concept due to Carboni and Walters - and highlight similarities with the algebra of relations. Most importantly, the ordering leads to a well-behaved notion of refinement for signal flow graphs
A walk in the noncommutative garden
This text is written for the volume of the school/conference "Noncommutative
Geometry 2005" held at IPM Tehran. It gives a survey of methods and results in
noncommutative geometry, based on a discussion of significant examples of
noncommutative spaces in geometry, number theory, and physics. The paper also
contains an outline (the ``Tehran program'') of ongoing joint work with Consani
on the noncommutative geometry of the adeles class space and its relation to
number theoretic questions.Comment: 106 pages, LaTeX, 23 figure
- …