Related papers: Cubical Homology of Asynchronous Transition System…
We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with…
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of…
In this paper we present the construction of explicit quasi-isomorphisms that compute the cyclic homology and periodic cyclic homology of crossed-product algebras associated with (discrete) group actions. In the first part we deal with…
We discuss the dynamical quantum systems which turn out to be bi-unitary with respect to the same alternative Hermitian structures in a infinite-dimensional complex Hilbert space. We give a necessary and sufficient condition so that the…
We investigate the dynamics of forward or backward self-similar systems (iterated function systems) and the topological structure of their invariant sets. We define a new cohomology theory (interaction cohomology) for forward or backward…
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant…
For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…
We construct the \emph{inverse partition semigroup} $\mathcal{IP}_X$, isomorphic to the \emph{dual symmetric inverse monoid} $\mathcal{I}^{\ast}_X$, introduced in [6]. We give a convenient geometric illustration for elements of…
It is proved that an arbitrary finite group acting locally linearly, homologically trivially, and pseudofreely on a closed, simply connected 4-manifold must in fact be cyclic and act semifreely, provided the second betti number of the…
A sofic approximation to a countable group is a sequence of partial actions on finite sets that asymptotically approximates the action of the group on itself by left-translations. A group is sofic if it admits a sofic approximation. Sofic…
The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain…
A weak asynchronous system is a trace monoid with a partial action on a set. A polygonal morphism between weak asynchronous systems commutes with the actions and preserves the independence of events. We prove that the category of weak…
We study groups acting by length-preserving transformations on spaces equipped with asymmetric, partially-defined distance functions. We introduce a natural notion of quasi-isometry for such spaces and exhibit an extension of the…
We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and…
This paper is focused on the development of the notions of canonical and canonoid transformations within the framework of Hamiltonian Mechanics on locally conformal symplectic manifolds. Both, time-independent and time-dependent dynamics…
In this paper we study synchronized motions in complex networks in which there are distinct groups of nodes where the dynamical systems on each node within a group are the same but are different for nodes in different groups. Both…
If a (possibly finite) compact Lie group acts effectively, locally linearly, and homologically trivially on a closed, simply-connected four-manifold with second Betti number at least three, then it must be isomorphic to a subgroup of S^1 x…
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…
We consider diagram groups as defined by V. Guba and M. Sapir. A diagram group G acts on the associated cube complex K by isometries. It is known that if a cube complex L is of a finite dimension then every isometry g of L is semi-simple,…
A free resolution of free partially commutative monoids is constructed and with its help the homological dimension of these monoids is calculated.