English
Related papers

Related papers: Synthesising Graphical Theories

200 papers

We propose a new formalism of quantum subsystems which allows to unify the existing and new methods of reduced description of quantum systems. The main mathematical ingredients are completely positive maps and correlation functions. In this…

Quantum Physics · Physics 2015-05-13 R. Alicki , M. Fannes , M. Pogorzelska

To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop…

Mathematical Physics · Physics 2010-11-10 Vladimir V. Kornyak

Recent research in computational linguistics has developed algorithms which associate matrices with adjectives and verbs, based on the distribution of words in a corpus of text. These matrices are linear operators on a vector space of…

Computation and Language · Computer Science 2017-03-31 Dimitrios Kartsaklis , Sanjaye Ramgoolam , Mehrnoosh Sadrzadeh

The flow of information through a complex system can be readily understood with category theory. However, negative information (e.g., what is not possible) does not have an immediately evident categorical representation. The formalization…

Category Theory · Mathematics 2024-06-27 Vincent Abbott , Gioele Zardini

We present an algebraic framework for interacting extended quantum systems to study complex phenomena characterized by the coexistence and competition of different states of matter. We start by showing how to connect different…

Strongly Correlated Electrons · Physics 2015-06-24 C. D. Batista , G. Ortiz

The dynamical equation of quantum mechanics are rewritten in form of dynamical equations for the measurable, positive marginal distribution of the shifted, rotated and squeezed quadrature introduced in the so called "symplectic tomography".…

Quantum Physics · Physics 2009-10-30 Stefano Mancini , Vladimir I. Man'ko , Paolo Tombesi

Physical theories can be characterized in terms of their state spaces and their evolutive equations. The kinematical structure and the dynamical structure of finite dimensional quantum theory are, in light of the Choi-Jamio{\l}kowski…

Quantum Physics · Physics 2017-03-21 Matthew A. Graydon

An important approach for efficient inference in probabilistic graphical models exploits symmetries among objects in the domain. Symmetric variables (states) are collapsed into meta-variables (meta-states) and inference algorithms are run…

Artificial Intelligence · Computer Science 2016-07-01 Ankit Anand , Aditya Grover , Mausam , Parag Singla

Semantic composition remains an open problem for vector space models of semantics. In this paper, we explain how the probabilistic graphical model used in the framework of Functional Distributional Semantics can be interpreted as a…

Computation and Language · Computer Science 2017-09-04 Guy Emerson , Ann Copestake

The characterization of the dynamics of quantum systems is a task of both fundamental and practical importance. A general class of methods which have been developed in quantum information theory to accomplish this task is known as quantum…

Quantum Physics · Physics 2007-07-03 M. Mohseni , D. A. Lidar

We introduce a hierarchical classification of theories that describe systems with fundamentally limited information content. This property is introduced in an operational way and gives rise to the existence of mutually complementary…

Quantum Physics · Physics 2010-05-27 Tomasz Paterek , Borivoje Dakic , Caslav Brukner

Random graphs have proven to be one of the most important and fruitful concepts in modern Combinatorics and Theoretical Computer Science. Besides being a fascinating study subject for their own sake, they serve as essential instruments in…

Combinatorics · Mathematics 2007-05-23 Michael Krivelevich , Benny Sudakov

We discuss the foundations of 2-dimensional graphical languages, with a view towards their computer implementation in a 'compiler' for monoidal categories. In particular, we discuss the close relationship between string diagrams, pasting…

Category Theory · Mathematics 2019-08-29 Jules Hedges , Jelle Herold

Probabilistic graphical modeling is a branch of machine learning that uses probability distributions to describe the world, make predictions, and support decision-making under uncertainty. Underlying this modeling framework is an elegant…

Machine Learning · Computer Science 2025-07-24 Jacqueline Maasch , Willie Neiswanger , Stefano Ermon , Volodymyr Kuleshov

Quantum theory predicts probabilities as well as relative phases between different alternatives of the system. A unified description of both probabilities and phases comes through a generalisation of the notion of a density matrix for…

Quantum Physics · Physics 2016-09-08 Charis Anastopoulos

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

Quantum Algebra · Mathematics 2007-05-23 Bruce H. Bartlett

Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can express "simple" decision problems, while others are designed…

Artificial Intelligence · Computer Science 2011-10-13 C. Pralet , T. Schiex , G. Verfaillie

Graphical models have been widely used in applications ranging from medical expert systems to natural language processing. Their popularity partly arises since they are intuitive representations of complex inter-dependencies among variables…

Artificial Intelligence · Computer Science 2020-07-31 Roland R. Ramsahai

Both statistics and quantum theory deal with prediction using probability. We will show that there can be established a connection between these two areas. This will at the same time suggest a new, less formalistic way of looking upon basic…

Quantum Physics · Physics 2012-07-10 Inge S. Helland

We propose a theoretical framework within which information on the vocabulary of a given corpus can be inferred on the basis of statistical information gathered on that corpus. Inferences can be made on the categories of the words in the…

Computation and Language · Computer Science 2008-10-08 Pascal Vaillant , Richard Nock , Claudia Henry