相关论文: Concurrent Process up to Homotopy (I)

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra, APTC with localities to process…

In this article, we investigate the convergence behavior of two classes of gathering protocols with fixed circulant topologies using tools from dynamical systems. Given a fixed number of mobile entities moving in the Euclidean plane, we…

This paper is a review on recently found connection between geodesically equivalent metrics and integrable geodesic flows. Suppose two different metrics on one manifold have the same geodesics. We show that then the geodesic flows of these…

Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…

The one-way measurement model is a framework for universal quantum computation, in which algorithms are partially described by a graph G of entanglement relations on a collection of qubits. A sufficient condition for an algorithm to perform…

Understanding which physical processes are symmetric with respect to time inversion is a ubiquitous problem in physics. In quantum physics, effective gauge fields allow emulation of matter under strong magnetic fields, realizing the…

We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes.

This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an…

This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the…

This paper presents a mathematically rigorous framework for brain-inspired representation learning founded on the interplay between persistent topological structures and cohomological flows. Neural computation is reformulated as the…

In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a…

Within the context of topological data analysis, the problems of identifying topological significance and matching signals across datasets are important and useful inferential tasks in many applications. The limitation of existing solutions…

The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $\mu$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient…

We attempt to extract a homological structure of two kinds of graphs by the Grover walk. The first one consists of a cycle and two semi-infinite lines and the second one is assembled by a periodic embedding of the cycles in $\mathbb{Z}$. We…

Graph convolutional networks (GCNs) are \emph{discriminative models} that directly model the class posterior $p(y|\mathbf{x})$ for semi-supervised classification of graph data. While being effective, as a representation learning approach,…

The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quantum concurrent systems, like CCS and CSP have done for their…

Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

In this paper, we introduce the notion of bi-homotopy between subsets of continuous functions. A map $\phi$ from $A$ to $B$ is called an $h$-map if, for each two homotopic maps $f, g\in A$, their image (i.e., $\phi(f), \phi(g)$) are…

In the quest for signatures of coherent transport we consider exciton trapping in the continuous-time quantum walk framework. The survival probability displays different decay domains, related to distinct regions of the spectrum of the…