Structure of Topological Lattice Field Theories in Three Dimensions

We construct and classify topological lattice field theories in three dimensions. After defining a general class of local lattice field theories, we impose invariance under arbitrary topology-preserving deformations of the underlying lattice, which are generated by two new local lattice moves. Invariant solutions are in one--to--one correspondence with Hopf algebras satisfying a certain constraint. As an example, we study in detail the topological lattice field theory corresponding to the Hopf algebra based on the group ring \C[G], and show that it is equivalent to lattice gauge theory at zero coupling, and to the Ponzano--Regge theory for $G=$SU(2).Comment: 63 pages, 46 figure

Integrable deformations of oscillator chains from quantum algebras

A family of completely integrable nonlinear deformations of systems of N harmonic oscillators are constructed from the non-standard quantum deformation of the sl(2,R) algebra. Explicit expressions for all the associated integrals of motion are given, and the long-range nature of the interactions introduced by the deformation is shown to be linked to the underlying coalgebra structure. Separability and superintegrability properties of such systems are analysed, and their connection with classical angular momentum chains is used to construct a non-standard integrable deformation of the XXX hyperbolic Gaudin system.Comment: 15 pages, LaTe

Towards Trace Metrics via Functor Lifting

We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces, showing under which conditions also natural transformations, monads and distributive laws can be lifted. By exploiting some recent work on an abstract determinization, these results enable the derivation of trace metrics starting from coalgebras in Set. More precisely, for a coalgebra on Set we determinize it, thus obtaining a coalgebra in the Eilenberg-Moore category of a monad. When the monad can be lifted to PMet, we can equip the final coalgebra with a behavioral distance. The trace distance between two states of the original coalgebra is the distance between their images in the determinized coalgebra through the unit of the monad. We show how our framework applies to nondeterministic automata and probabilistic automata

On Terminal Coalgebras Derived from Initial Algebras

A number of important set functors have countable initial algebras, but terminal coalgebras are uncountable or even non-existent. We prove that the countable cardinality is an anomaly: every set functor with an initial algebra of a finite or uncountable regular cardinality has a terminal coalgebra of the same cardinality. We also present a number of categories that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. Finally, for finitary set functors we prove that the initial algebra mu F and terminal coalgebra nu F carry a canonical ultrametric with the joint Cauchy completion. And the algebra structure of mu F determines, by extending its inverse continuously, the coalgebra structure of nu F

Towards Trace Metrics via Functor Lifting

We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces, by identifying conditions under which also natural transformations, monads and distributive laws can be lifted. By exploiting some recent work on an abstract determinization, these results enable the derivation of trace metrics starting from coalgebras in Set. More precisely, for a coalgebra in Set we determinize it, thus obtaining a coalgebra in the Eilenberg-Moore category of a monad. When the monad can be lifted to PMet, we can equip the final coalgebra with a behavioral distance. The trace distance between two states of the original coalgebra is the distance between their images in the determinized coalgebra through the unit of the monad. We show how our framework applies to nondeterministic automata and probabilistic automata