Related papers: Connector algebras for C/E and P/T nets' interacti…
In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based systems. We firstly present a weighted Algebra of…
In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We characterise composition of nets without places as the…
Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…
We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with $Z_2$ topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules.…
Recently, based on a supersymmetric approach, new classes of conditionally exactly solvable problems have been found, which exhibit a symmetry structure characterized by non-linear algebras. In this paper the associated ``non-linear''…
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is…
In this paper, we study the structure of a family of superposition states on tensor algebras. The correlation functions of the considered states are described through a new kind of positive definite kernels valued in the dual of…
The purposes of this work are (1) to show that the appropriate generalizations of the oscillator algebra permit the construction of a wide set of nonlinear coherent states in unified form; and (2) to clarify the likely contradiction between…
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs…
This thesis contributes to the understanding of symmetry-enriched topological phases focusing on their descriptions in terms of tensor network states. The Projected Entangled Pair State (PEPS) formalism allows us to locally encode the main…
In this note we study associative dialgebras proving that the most interesting such structures arise precisely when the algebra is not semiprime. In fact the presence of some "perfection" property (simpleness, primitiveness, primeness or…
We conduct a systematic study of asynchronous models of distributed computing consisting of identical finite-state devices that cooperate in a network to decide if the network satisfies a given graph-theoretical property. Models discussed…
Symmetry-protected and symmetry-enriched topological (SPT/SET) phases in three dimensions are quantum systems that support non-trivial two-dimensional surface states. These surface states develop finite excitation energy gaps when the…
Classification of possible quantum spin liquid (QSL) states of interacting spin-1/2's in two dimensions has been a fascinating topic of condensed matter for decades, resulting in enormous progress in our understanding of low-dimensional…
In the literature, various types of points and meager sets whose complements are connected have been studied, such as colocally connected points, non-weak cut points/sets, non-block points/sets, shore points/sets, etc. We extend that study,…
Partial connections are (singular) differential systems generalizing classical connections on principal bundles, yielding analogous decompositions for manifolds with nonfree group actions. Connection forms are interpreted as maps…
Gutzwiller projections of non-interacting chiral topological phases are known to give rise to fractional, topologically ordered chiral phases. Here, we carry out a similar construction using two copies of non-interacting Euler insulators to…
We construct 2+1-dimensional lattice models of symmetry-protected topological (SPT) phases with non-invertible symmetries and investigate their properties using tensor networks. These models, which we refer to as generalized cluster models,…
Motivated by a recent conjecture concerning the expressiveness of declarative networking, we propose a formal computation model for "eventually consistent" distributed querying, based on relational transducers. A tight link has been…