Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Discrete Quantum Causal Dynamics   We give a mathematical framework to describe the evolution of an open quantum
systems subjected to finitely many interactions with classical apparatuses. The
systems in question may be composed of distinct, spatially separated subsystems
which evolve independently but may also interact. This evolution, driven both
by unitary operators and measurements, is coded in a precise mathematical
structure in such a way that the crucial properties of causality, covariance
and entanglement are faithfully represented. We show how our framework may be
expressed using the language of (poly)categories and functors. Remarkably,
important physical consequences - such as covariance - follow directly from the
functoriality of our axioms.
  We establish strong links between the physical picture we propose and linear
logic. Specifically we show that the refined logical connectives of linear
logic can be used to describe the entanglements of subsystems in a precise way.
Furthermore, we show that there is a precise correspondence between the
evolution of a given system and deductions in a certain formal logical system
based on the rules of linear logic.
  This framework generalizes and enriches both causal posets and the histories
approach to quantum mechanics.

0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
1
The categories of this paper are: cs
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol