English
Related papers

Related papers: Connector algebras for C/E and P/T nets' interacti…

200 papers

We study the problem of extracting a selective connector for a given set of query vertices $Q \subseteq V$ in a graph $G = (V,E)$. A selective connector is a subgraph of $G$ which exhibits some cohesiveness property, and contains the query…

Social and Information Networks · Computer Science 2017-09-06 Natali Ruchansky , Francesco Bonchi , David Garcia-Soriano , Francesco Gullo , Nicolas Kourtellis

In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded…

Geometric Topology · Mathematics 2021-08-18 Daniel V. Mathews

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a…

Logic in Computer Science · Computer Science 2009-12-01 Christian Krause

Tensor network methods provide an intuitive graphical language to describe quantum states, channels, open quantum systems and a class of numerical approximation methods that efficiently simulate certain many-body states in one spatial…

Quantum Physics · Physics 2017-03-09 Jacob Biamonte

Certain families of quantum mechanical models can be described and solved efficiently on a classical computer, including qubit or qudit Clifford circuits and stabilizer codes, free-boson or free-fermion models, and certain rotor and GKP…

Quantum Physics · Physics 2026-01-23 Andreas Bauer , Seth Lloyd

We describe how to construct generalized string-net models, a class of exactly solvable lattice models that realize a large family of 2D topologically ordered phases of matter. The ground states of these models can be thought of as…

Strongly Correlated Electrons · Physics 2021-06-04 Chien-Hung Lin , Michael Levin , Fiona J. Burnell

We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a…

Logic in Computer Science · Computer Science 2009-01-05 Rob van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke

Random tensor networks provide useful models that incorporate various important features of holographic duality. A tensor network is usually defined for a fixed graph geometry specified by the connection of tensors. In this paper, we…

High Energy Physics - Theory · Physics 2017-09-13 Xiao-Liang Qi , Zhao Yang , Yi-Zhuang You

Graph representation learning models aim to represent the graph structure and its features into low-dimensional vectors in a latent space, which can benefit various downstream tasks, such as node classification and link prediction. Due to…

Machine Learning · Computer Science 2023-04-27 Thanh Sang Nguyen , Jooho Lee , Van Thuy Hoang , O-Joun Lee

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

The dynamical behavior of networked systems is expected to reflect the features of their coupling structure. Yet, symmetry-broken solutions often occur in symmetrically coupled networks. An example is provided by the so-called solitary…

Pattern Formation and Solitons · Physics 2022-11-30 Leonhard Schülen , Maria Mikhailenko , Everton S. Medeiros , Anna Zakharova

Cluster states are crucial resources for measurement-based quantum computation (MBQC). It exhibits symmetry-protected topological (SPT) order, thus also playing a crucial role in studying topological phases. We present the construction of…

Quantum Physics · Physics 2024-09-26 Zhian Jia

While the topological order in two dimensions has been studied extensively since the discover of the integer and fractional quantum Hall systems, topological states in 3 spatial dimensions are much less understood. In this paper, we propose…

Strongly Correlated Electrons · Physics 2014-12-17 Chao-Ming Jian , Xiao-Liang Qi

The study of topological band insulators has revealed fascinating phases characterized by band topology indices and anomalous boundary modes protected by global symmetries. In strongly correlated systems, where the traditional notion of…

Strongly Correlated Electrons · Physics 2025-06-12 Chao Xu , Yixin Ma , Shenghan Jiang

We study topology in gapless phases of an interacting spinful model with spin-charge separation. We focus on the gapless boundaries between $\mathbb{Z}_2$ symmetry-breaking phases. We find two topologically non-trivial gapless states that…

Strongly Correlated Electrons · Physics 2026-03-27 Polina Matveeva , Dmitri Gutman , Sam T. Carr

Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour.…

Logic in Computer Science · Computer Science 2016-03-04 Paweł Sobociński

Tensor network states are capable of describing many-body systems with complex quantum entanglement, including systems with non-trivial topological order. In this paper, we study methods to calculate the topological properties of a tensor…

Strongly Correlated Electrons · Physics 2010-01-26 Brian Swingle , Xiao-Gang Wen

Tensor network states provide successful descriptions of strongly correlated quantum systems with applications ranging from condensed matter physics to cosmology. Any family of tensor network states possesses an underlying entanglement…

Quantum Physics · Physics 2020-09-30 Matthias Christandl , Angelo Lucia , Péter Vrana , Albert H. Werner

The association between tie strength and social structure is a fundamental topic in the social sciences. We study this association by analyzing tie strength in higher-order networks, an increasingly relevant model which can encode group…

Social and Information Networks · Computer Science 2024-09-26 Arnab Sarker , Jean-Baptiste Seby , Austin R. Benson , Ali Jadbabaie

We develop a theory of graph algebras over general fields. This is modeled after the theory developed by Freedman, Lov\'asz and Schrijver in [22] for connection matrices, in the study of graph homomorphism functions over real edge weight…

Discrete Mathematics · Computer Science 2020-07-28 Jin-Yi Cai , Artem Govorov