3,640 research outputs found
Topological arguments for Kolmogorov complexity
We present several application of simple topological arguments in problems of
Kolmogorov complexity. Basically we use the standard fact from topology that
the disk is simply connected. It proves to be enough to construct strings with
some nontrivial algorithmic properties.Comment: Extended versio
On the information carried by programs about the objects they compute
In computability theory and computable analysis, finite programs can compute
infinite objects. Presenting a computable object via any program for it,
provides at least as much information as presenting the object itself, written
on an infinite tape. What additional information do programs provide? We
characterize this additional information to be any upper bound on the
Kolmogorov complexity of the object. Hence we identify the exact relationship
between Markov-computability and Type-2-computability. We then use this
relationship to obtain several results characterizing the computational and
topological structure of Markov-semidecidable sets
Kolmogorov Random Graphs and the Incompressibility Method
We investigate topological, combinatorial, statistical, and enumeration
properties of finite graphs with high Kolmogorov complexity (almost all graphs)
using the novel incompressibility method. Example results are: (i) the mean and
variance of the number of (possibly overlapping) ordered labeled subgraphs of a
labeled graph as a function of its randomness deficiency (how far it falls
short of the maximum possible Kolmogorov complexity) and (ii) a new elementary
proof for the number of unlabeled graphs.Comment: LaTeX 9 page
Complexity for extended dynamical systems
We consider dynamical systems for which the spatial extension plays an
important role. For these systems, the notions of attractor, epsilon-entropy
and topological entropy per unit time and volume have been introduced
previously. In this paper we use the notion of Kolmogorov complexity to
introduce, for extended dynamical systems, a notion of complexity per unit time
and volume which plays the same role as the metric entropy for classical
dynamical systems. We introduce this notion as an almost sure limit on orbits
of the system. Moreover we prove a kind of variational principle for this
complexity.Comment: 29 page
- …