Related papers: The universal tangle for spatial reasoning
The classical procedures which define the relativistic notion of space-time can be implemented in the framework of Quantum Field Theory. Only relying on the conformal symmetries of field propagation, time-frequency transfer and localization…
Quantum field theory in curved spacetime may be defined either through a manifestly unitary canonical approach or via the manifestly covariant path integral formalism. For gauge theories, these two approaches have produced conflicting…
The Dunkl total angular momentum algebra (TAMA) is realised as the dual partner of the orthosymplectic Lie superalgebra containing the Dunkl deformation of the Dirac operator. In this paper, we consider the case when the reflection group…
The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical possibility of a purely graphical description of quantum…
Watanabe disproved the 4-dimensional Smale conjecture by constructing topologically trivial $D^{4}$-bundles over spheres and showing that they are smoothly nontrivial using configuration space integrals. In this paper, we define a new…
We first describe the local and global moduli spaces of germs of foliations defined by analytic functions in two variables with p transverse smooth branches, and with integral multiplicities (in the univalued holomorphic case) or complex…
We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as…
A mathematical construction of the conformal field theory (CFT) associated to a compact torus, also called the "nonlinear Sigma-model" or "lattice-CFT", is given. Underlying this approach to CFT is a unitary modular functor, the…
Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$…
We discuss and compare complexity measures for the modal $\mu$-calculus, focusing on size and alternation depth. As a yardstick we take Wilke's alternating tree automata, which we shall call parity formulas in the text. Building on work by…
We classify the moduli spaces of the four-dimensional topological half-flat gravity models by using the canonical bundle. For a K3-surface or four-dimensional torus, they describe an equivalent class of a trio of the Einstein-Kahler forms (…
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal,…
We extend calculus from smooth manifolds to topological manifolds making use of a theory of generalized functions developed for this aim. Actually such extension fits into a boarder context: the universal construction of a site containing…
We introduce a class of decorated abstract graphs, that we call XC-tangles, that provides a very convenient framework to study quantum invariants of tangles and virtual tangles. These can be viewed as a far-reaching generalisation of…
We introduce the description of a Wilson surface as a 2-dimensional topological quantum field theory with a 1-dimensional Hilbert space. On a closed surface, the Wilson surface theory defines a topological invariant of the principal…
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…
It is shown how one can define vector topological charges for topological exitations of non-linear sigma-models on compact homogeneous spaces T_G and G/T_G (where G is a simple compact Lie group and T_G is its maximal commutative subgroup).…
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…
We provide a model for an open invariant neighborhood of any orbit in a symplectic manifold endowed with a canonical proper symmetry. Our results generalize the constructions of Marle and Guillemin and Sternberg for canonical symmetries…
Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can…