Related papers: The universal tangle for spatial reasoning

ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this paper we propose a token-machine-based asynchronous model of both pure…

We study the equivariant generalization of topological strings on toric manifolds, focusing in particular on defining the contributions of constant maps in the genus expansion of the partition function. This approach regularizes the…

We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties…

The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the…

The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the…

We introduce and study $\mu$-elements, that generalize a lattice-theoretic abstraction (namely, essential elements) of essential ideals of rings, essential submodules of modules, and dense subsets of topological spaces. Exploring several…

We provide two examples of smooth projective surfaces of tame CM type, by showing that any parameter space of isomorphism classes of indecomposable ACM bundles with fixed rank and determinant on a rational quartic scroll in projective…

A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove…

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are…

The theory of linear transports along paths in vector bundles, generalizing the parallel transports generated by linear connections, is developed. The normal frames for them are defined as ones in which their matrices are the identity…

We analyse topological orbifold conformal field theories on the symmetric product of a complex surface M. By exploiting the mathematics literature we show that a canonical quotient of the operator ring has structure constants given by…

For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in…

Complex tight frames can be canonically viewed as elements of a complex Stiefel manifold. We present a class of spaces of such frames which are simply connected relative to the subspace topology. To this class belongs the space of finite…

We study commutative complex $K$-theory, a generalised cohomology theory built from spaces of ordered commuting tuples in the unitary groups. We show that the spectrum for commutative complex $K$-theory is stably equivalent to the…

In this paper we classify all 4+1 cosmological models where the spatial hypersurfaces are connected and simply connected homogeneous Riemannian manifolds. These models come in two categories, multiply transitive and simply transitive…

Let G be a simple complex algebraic group. By using a notion of a G-category we define invariants of tangles with flat G-connections in their complements. We also show that quantized universal enveloping algebras at roots of unity provide…

We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…

(This is a report for the Proceedings of ``Journees Relativistes 1993'' written in September 1993. Containes a short description of the results published elsewhere in the joint paper with A. Ashtekar) Integral calculus on the space of gauge…

In this paper, we introduce complex functional maps, which extend the functional map framework to conformal maps between tangent vector fields on surfaces. A key property of these maps is their orientation awareness. More specifically, we…

Wu's positive $\lambda$-calculus is a recent call-by-value $\lambda$-calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu showed that it simplifies a technical aspect of…