5,417 research outputs found
A categorical semantics for causal structure
We present a categorical construction for modelling causal structures within
a general class of process theories that include the theory of classical
probabilistic processes as well as quantum theory. Unlike prior constructions
within categorical quantum mechanics, the objects of this theory encode
fine-grained causal relationships between subsystems and give a new method for
expressing and deriving consequences for a broad class of causal structures. We
show that this framework enables one to define families of processes which are
consistent with arbitrary acyclic causal orderings. In particular, one can
define one-way signalling (a.k.a. semi-causal) processes, non-signalling
processes, and quantum -combs. Furthermore, our framework is general enough
to accommodate recently-proposed generalisations of classical and quantum
theory where processes only need to have a fixed causal ordering locally, but
globally allow indefinite causal ordering.
To illustrate this point, we show that certain processes of this kind, such
as the quantum switch, the process matrices of Oreshkov, Costa, and Brukner,
and a classical three-party example due to Baumeler, Feix, and Wolf are all
instances of a certain family of processes we refer to as in
the appropriate category of higher-order causal processes. After defining these
families of causal structures within our framework, we give derivations of
their operational behaviour using simple, diagrammatic axioms.Comment: Extended version of a LICS 2017 paper with the same titl
Towards a Theory of Scale-Free Graphs: Definition, Properties, and Implications (Extended Version)
Although the ``scale-free'' literature is large and growing, it gives neither
a precise definition of scale-free graphs nor rigorous proofs of many of their
claimed properties. In fact, it is easily shown that the existing theory has
many inherent contradictions and verifiably false claims. In this paper, we
propose a new, mathematically precise, and structural definition of the extent
to which a graph is scale-free, and prove a series of results that recover many
of the claimed properties while suggesting the potential for a rich and
interesting theory. With this definition, scale-free (or its opposite,
scale-rich) is closely related to other structural graph properties such as
various notions of self-similarity (or respectively, self-dissimilarity).
Scale-free graphs are also shown to be the likely outcome of random
construction processes, consistent with the heuristic definitions implicit in
existing random graph approaches. Our approach clarifies much of the confusion
surrounding the sensational qualitative claims in the scale-free literature,
and offers rigorous and quantitative alternatives.Comment: 44 pages, 16 figures. The primary version is to appear in Internet
Mathematics (2005
Spectral Scaling in Complex Networks
A complex network is said to show topological isotropy if the topological
structure around a particular node looks the same in all directions of the
whole network. Topologically anisotropic networks are those where the local
neighborhood around a node is not reproduced at large scale for the whole
network. The existence of topological isotropy is investigated by the existence
of a power-law scaling between a local and a global topological characteristic
of complex networks obtained from graph spectra. We investigate this structural
characteristic of complex networks and its consequences for 32 real-world
networks representing informational, technological, biological, social and
ecological systems.Comment: 9 pages, 3 figure
Structure and Complexity in Planning with Unary Operators
Unary operator domains -- i.e., domains in which operators have a single
effect -- arise naturally in many control problems. In its most general form,
the problem of STRIPS planning in unary operator domains is known to be as hard
as the general STRIPS planning problem -- both are PSPACE-complete. However,
unary operator domains induce a natural structure, called the domain's causal
graph. This graph relates between the preconditions and effect of each domain
operator. Causal graphs were exploited by Williams and Nayak in order to
analyze plan generation for one of the controllers in NASA's Deep-Space One
spacecraft. There, they utilized the fact that when this graph is acyclic, a
serialization ordering over any subgoal can be obtained quickly. In this paper
we conduct a comprehensive study of the relationship between the structure of a
domain's causal graph and the complexity of planning in this domain. On the
positive side, we show that a non-trivial polynomial time plan generation
algorithm exists for domains whose causal graph induces a polytree with a
constant bound on its node indegree. On the negative side, we show that even
plan existence is hard when the graph is a directed-path singly connected DAG.
More generally, we show that the number of paths in the causal graph is closely
related to the complexity of planning in the associated domain. Finally we
relate our results to the question of complexity of planning with serializable
subgoals
- …