1. Introduction
The concept of effective complexity has been initiated by Gell-Mann and Lloyd in [
2], see also [
3]. The main motivation was to define a complexity measure that distinguishes between regular and random aspects of a given object typically encoded as a binary string. This is in contrast to Kolmogorov complexity which is not sensitive to the source of incompressibility and in this sense fails to capture what is meant by complexity in the common language.
The main idea underlying the concept has been considered at different places in the literature, see [
4,
5,
6,
7,
8,
9,
10]. It may be summarized as follows. One considers programs computing a given binary string as consisting of two parts: the implementation of an algorithm and a valid input for that algorithm. Then the corresponding measures of complexity refer to the algorithm part.
In [
2] the algorithm part has been motivated as a description of a physical theory-represented by a probability distribution on finite binary strings, while the second part has been used to distinguish one among all possible objects contained in the (typical) support of the distribution. Effective complexity is equal to the length of the algorithm/theory part which is minimized over the set of programs that compute the string and that are almost minimal,
i.e., their length is close to the Kolmogorov complexity of the string.
In [
1] we have proposed a definition of effective complexity in precise terms of algorithmic information theory. Our formalization allows to include the concept into the context of algorithmic statistics, which also deals with two-part codings of binary strings [
5]. Instances of corresponding measures of complexity are Kolmogorov minimal sufficient statistics and sophistication [
5,
10]. Roughly speaking, while Kolmogorov minimal sufficient statistics of a binary string
x is the minimal algorithmic statistic of
x from the model class of finite sets, and sophistication refers to the model class of total programs, effective complexity mainly coincides with the length of algorithmic statistics of
x minimized over computable probability distributions.
More precisely, the minimization domain of effective complexity consists of computable probability distributions with total information which is approximately equal to the Kolmogorov complexity of the string: the tolerance level being specified by a parameter Δ. Total information has been defined by Gell-Mann and Lloyd in [
2,
3] as the sum of Kolmogorov complexity and Shannon entropy of a given computable ensemble. It is worth mentioning that it is equivalent to the concept of physical entropy introduced by Zurek for large physical systems such as thermodynamic engines [
8].
Restricting the minimization domain of effective complexity by intersecting with subsets corresponding to pre-knowledge about the object, which is subjective to the observer, one ends up with a version of effective complexity with constraints. As far as we know, there is no literature other than the papers by Gell-Mann and Lloyd [
2], where the idea to incorporate subjective pre-knowledge into the measure of complexity has been considered explicitly.
Compared to the effective complexity without constraints, which we will refer to as plain effective complexity or simply effective complexity, this gives a larger value and is the reason why Gell-Mann and Lloyd suggest to use the constrained version instead of the plain one: “If we impose no other conditions, every entity would come out simple!”, see [
2], (p. 392). This statement has to be contrasted with the fact that there exist strings with large plain effective complexity,
cf. Theorem 13 of our previous work [
1]. See also corresponding results in the context of algorithmic statistics and sophistication, Theorem 2.2 in [
5] and Theorem 6.5 in [
6], respectively. Hence, the above conviction can be substantiated only in a weaker version referring to some typical behaviour. In the present contribution, we find a framework to this end in the form of almost sure statements in terms of probability theory. The focus is on mathematical foundations for the concept of effective complexity. In particular, we extend the analysis of [
1] to the context of asymptotic behaviour.
In more detail, we investigate discrete-time stochastic processes with binary state space in the context of effective complexity as it has been defined in [
1]. In addition to proving that typical strings are simple with respect to the plain effective complexity, our results also allow a deeper understanding of the dependence of effective complexity on the parameter Δ. Recall that this parameter determines the minimization domain consisting of computable ensembles with a total information that is Δ-close to the Kolmogorov complexity of the string. A corresponding parameter also appears in the context of sophistication and, more generally, algorithmic sufficient statistics [
5,
10]. Conceptually, it also corresponds to the significance level of Bennett’s logical depth defined in [
11]. The relation between effective complexity and logical depth has been elaborated in [
1].
In [
10] Antunes and Fortnow suggested a modification of sophistication called coarse sophistication. In an analogous way, we introduce coarse effective complexity. It modifies the original concept of plain effective complexity by, roughly speaking, incorporating Δ into the definition as a further minimization argument. As a consequence, the definition becomes independent of the choice of this parameter. Our main results on effective complexity have direct implications on the asymptotic behaviour of coarse effective complexity. In particular, for an arbitrary stationary process the value of coarse effective complexity of a typical finite string is asymptotically upper bounded by any linear function of a string’s length.
After fixing notations and the mathematical framework in
Section 2, we formulate and prove our main result, Theorem 1, in
Section 3. It states that sufficiently long typical strings generated by a stationary process are effectively simple. The proof relies on the observation that the total information of uniform distributions on universally typical subsets is upper bounded by a value that exceeds the Kolmogorov complexity of a typical string by any linear growing amount in the string’s length. In
Section 4 we introduce the concept of coarse effective complexity. We show that strings of moderate value of coarse effective complexity exist, see Theorem 3, and derive from our main theorem an upper bound on coarse effective complexity of long typical realizations of a stationary process, see Theorem 4. Finally,
Section 5 contains some conclusions and an outlook for further analysis of effective complexity in its constrained version.
2. Notations and Preliminaries
We denote by the set of finite binary strings, i.e., , where λ is the empty string, while the set of doubly infinite sequences with , , is denoted by . We write for the length of . Finite blocks , , of are elements of of length . We may identify them with cylinder sets . In a similar fashion, strings are associated to cylinder sets of the form . The σ-algebra on generated by the cylinder sets , , , is denoted by Σ. We write for the convex set of probability measures on , which are invariant with respect to the left-shift T on . The subset of ergodic T-invariant probability measures, i.e., the extremal points in , is denoted by .
Let . The random variables , , given by the coordinate projections , , respectively, represent a stationary process with values in . Typical outcomes of such stochastic processes are the main focus in the present paper. The goal is to estimate their effective complexity. We will refer to elements of as stationary probability measures and stationary stochastic processes interchangeably.
Adopting the setup of [
1] as far as possible, we refer to probability distributions on
as
ensembles.
For each we identify the joint distribution (alternatively called n-block distribution) of n successive outcomes of a stationary process with an ensembles on through the relation: if and otherwise.
Recall the definition of
prefix Kolmogorov complexity of a binary string
:
where
U is an arbitrary but fixed universal prefix computer. For details concerning the basics as well as deeper results on Kolmogorov complexity theory we refer to the book by Li and Vitányi [
12].
We call an ensemble computable if there exists a program for the universal computer U that, given and as inputs, computes an approximation of the probability with accuracy of at least .
In [
1] we have introduced an extension of the notion of Kolmogorov complexity to the case of computable ensembles
with computable and finite entropies
. Here we mean by entropy
the Shannon entropy of the probability distribution
defined by
. Note that a computable ensemble does not necessarily have a computable entropy, such that the corresponding requirement is a restriction, see [
1] for details. In what follows a distinction only between general ensembles and computable ones with computable and finite entropies is drawn. We will refer to the latter ones as computable for short.
The Kolmogorov complexity of a computable ensemble is defined as the length of the shortest computer program that, given and as inputs, outputs both and with an accuracy of at least .
Additionally, we need to define computability of stochastic processes. The following definition is a reformulation of the notion of a “computable measure” in [
12].
A stationary process P is called computable if there exists a program for a universal computer U that, given and as inputs, computes the probability up to accuracy .
3. Effective Complexity of Stationary Processes
The goal is to show that under not too strong conditions long typical samples of stationary processes are effectively simple. Before we make rigorous statements we need a number of definitions. The first ones we adopt from our previous paper [
1].
Let
. We say that an ensemble
is
δ-typical for a string , or alternatively, we call
x δ-typical for
, if the Shannon entropy
of
is finite and
In particular, the special case of an equidistributed ensemble is
δ-typical for all strings in the support and any
The
total information of a computable ensemble
is defined by
For a motivation of the two definitions above, see [
1].
Let
and
.
Effective complexity of a finite string
is defined by
where
denotes the
minimization domain associated to
x:
We refer to elements of as effective ensembles for x.
Taking the point of view of [
2], which was reviewed in [
1], effective ensembles represent theories that are judged to be good explanations for the appearance of
x.
The more general notion of
effective complexity with constraints has been suggested in [
2] mainly to circumvent problems of plain effective complexity. We have discussed them shortly in the Introduction. The main idea is that the constraints reflect some pre-knowledge about the possible theory for
x. In [
1] we have proposed a formalization of the constrained version in the following manner:
where
is a subset of
. Note that with
we have
, for all
.
In what follows other essential concepts are that of typical and/or universally typical subsets.
Let
P be a
T-invariant probability measure on
. We call a sequence of subsets
,
,
P-typical if
We call
strongly P-typical if for
P-almost all
x there exists an
such that
The above notions of typicality apply naturally to sequences , , if we identify subsets , , with cylinder sets , respectively.
Let Λ be a set of stationary processes with values in . We call , , universally typical for Λ if the sequence is P-typical for every , i.e., . We call the sequence universally strongly typical for Λ if it is strongly P-typical for every .
For sets
consisting of ergodic processes with entropy rate upper bounded by
there exist universally typical subsets
with
for all
. Moreover, there are methods to construct such sequences of universally typical subsets for
. We will apply the Lempel-Ziv algorithm in the construction procedure below. This famous algorithm represents a universal sequential data compression, see [
13,
14,
15]. The main point is that all we need to know about an ergodic process
P is its entropy rate
. This allows to prove the following theorem for stationary, in general
not computable processes.
Theorem 1. Let
P be a stationary process,
,
and
. Then
P is effectively simple in the sense that for
P-almost every
x,
Proof. Firstly, assume that
P is an ergodic process with entropy rate
. We construct universally typical subsets
,
, such that for an appropriate choice of the parameter
the total information of the uniform distributions
on
, respectively, is upper-bounded by
of
P-almost every
and for
n large enough. Hence the Kolmogorov complexity of
, which is approximately upper bounded by
, gives an estimate from above on the effective complexity
of sufficiently long
P-typical strings
.
First, let be arbitrary and define for each the subset as the set consisting of all binary strings which are mapped by the Lempel-Ziv (LZ) algorithm to a code word of length lower than . Then the sequence , , is universally typical for the set of ergodic processes with entropy rates lower than r.
Recall the following remarkable property of the LZ algorithm: For every ergodic process Q with entropy rate it holds for Q-almost all . This implies that indeed the subsets as constructed above are typical for any ergodic Q with .
The upper bound (2) on the size
follows from the fact that the LZ algorithm is a faithful coder. Hence the codeword lengths satisfy the Kraft inequality:
Next, we show that if
r is chosen to be a positive rational number satisfying
then for
P-almost every
there exists an
such that
where again
denotes the uniform distribution on the universally typical subset
. First note that for all
Secondly, we prove that there is a constant
such that for all
This is derived from the existence of a program p of length c which expects as inputs , and and outputs the value if and 0 otherwise. Thus for fixed inputs n and r it gives a description of the uniform distribution on .
Indeed, p may be constructed on the base of a program implementing the Lempel-Ziv (LZ) algorithm on the given reference universal computer U. For given inputs n and r let p apply as a subroutine in order to determine elements of . Then for fixed the number and hence the probability value of each may be calculated easily.
To specify and a number of bits is sufficient. With the estimate (5) follows.
Next, fix an
such that
for all
. Then
where the last inequality holds by assumption
. According to the theorem by Brudno, see [
16], for
P-almost all
x there exists an
such that
for all
. It follows for
Relations (6) and (7) together imply (4) for
P-almost all
x and
. It follows that
P-almost surely the effective complexity
is upper bounded by the Kolmogorov complexity of
for
:
Now let
P be an arbitrary stationary process. Recall that there is a unique ergodic decomposition of
P
Moreover, to
P-almost every
we may associate an ergodic component
of
P such that
x is a typical element of
. Then there exists an
such that
where
denotes the entropy rate of
. Hence the proof for the stationary case reduces to the ergodic situation considered in the first part above.
Finally, we remark that Theorem 1 applies to the large class of stationary processes. This covers, in particular, the case of independent identically distributed processes, which represent the simplest and at the same time one of the best studied classes of stochastic processes. Further, our theorem is valid for stationary Markov chains. These represent another important and rather feasible class of stationary processes.
4. Coarse Effective Complexity
Our main result becomes most transparent if presented in the context of
coarse effective complexity. This is a modification of plain effective complexity which incorporates the parameter Δ as a penalty into the original formula. It is inspired by a corresponding modification of sophistication, called coarse sophistication, which has been introduced by Antunes and Fortnow in [
10].
Let
. The
coarse effective complexity of a finite string
is defined by
The term
accounts for the exact value by which the total information of an ensemble
exceeds the Kolmogorov complexity of
x. By definition of total information
an equivalent expression for
reads:
We derive the basic properties of coarse effective complexity similarly as it has been done in [
10] in the context of coarse sophistication. That is, firstly, in the proposition below, we prove an upper bound on coarse effective complexity. Secondly, we show existence of strings which are close to saturate this bound.
Proposition 2. Let
. There is a constant
c such that for all
we have
where
.
Proof. Suppose that
. Let
denote the ensemble with
and
for
. Note that
is trivially
δ-typical for
x for any
and obviously
. Moreover, there is a constant
such that it holds
. This implies the upper bound
where the last line holds by assumption.
Now, suppose that
. Let
be the ensemble on
given by
for all
y with
and vanishing elsewhere. Then
and there exists a constant
, independent of
n, such that
. It follows
where, again, the second line holds by assumption on
. Setting
completes the proof.
Theorem 3. Let
. For every sufficiently large
there exists a string
with
where
C is a global constant.
Proof. For
and
denote by
the minimal ensemble associated to
. Due to Lemma 22 in [
1] for every
there exists a subset
of
such that
where
is a global constant. In [
1] we have proven the relation
which holds for arbitrary
,
. The term
is constant in
and monotonically increasing in Δ,
cf. in [
1]. Now, let
and define
where
is the upper bound on
obtained in the previous proposition, and
is a global constant from Theorem IV.2 in [
5], see also Lemma 12 in [
1]. If
n is large enough then
holds, and Theorem IV.2 in [
5] applies: There is a string
such that
for every set
with
, where
is another global constant. Let
denote the minimizing ensemble associated to coarse effective complexity
and
such that
. Further, define
. We have the inequality
where the last upper bound holds by (10). Now suppose that
. Then
But the strict inequality is a contradiction to (12). Hence our assumption must be false and we instead have
. By
and using both (11) and the bound
, where
γ is a global constant, we finally obtain
where
.
Although, according to the above theorem, for arbitrary large n the existence of strings of length n with moderate coarse effective complexity is ensured, the coarse effective complexity of sufficiently long prefixes of a typical stationary process realization becomes small. This is a direct implication of Theorem 1.
Theorem 4. Let
P be a stationary process,
and
. Then for
P-almost every
xProof. By definition of coarse effective complexity, it holds
, for all
and
. We set
. Then the conditions of Theorem 1 are satisfied, and applying (3), we arrive at (14).
5. Conclusions
In this contribution, we studied the notion of plain effective complexity, which is assigned to a given string, within the context of an underlying stochastic process as model of the string generating mechanism. In [
1] we have shown that strings which are called “non-stochastic” in the context of Kolmogorov minimal sufficient statistics have large value of plain effective complexity. The existence of such strings has been proven by Gács, Tromp and Vitányi in [
5]. Here, our aim was to understand how properties of the stochastic process such as ergodicity and stationarity influence the effective complexity of corresponding typical realizations. Is it possible that the prefixes of a typical process realization represent a sequence of finite strings in increasing length
n that eventually have a high or moderate value of effective complexity? Our main theorem refers to stationary and in general
non-computable processes. It proves that modelling the regularities of strings by computable ensembles with total information that is allowed to excess the string’s Kolmogorov complexity up to a linearly growing amount
with an
arbitrary small is sufficient for typically generating non-complex strings.
The value
plays the role of a parameter in the concept of effective complexity. In order to have a notion that is independent of this parameter we introduced coarse effective complexity. It corresponds to coarse sophistication introduced by Antunes and Fortnow in [
10] and modifies effective complexity by incorporating the parameter as a further minimization argument. Our result on effective complexity has a direct implication on the asymptotic behaviour of coarse effective complexity of typical realizations of a stationary process. The main statement in this context demonstrates the utility of the linear parameter scaling which we have considered. Moreover, it allows to analyze the interplay between the complexity of a stochastic process and the complexity of its typical realizations. In particular, it demonstrates that, in order to have a notion of effective complexity that also reflects the complexity of a stochastic process, further modifications of plain effective complexity are necessary, for instance introduction of appropriate constraints. This possibility is in line with Gell-Mann and Lloyd’s suggestion in [
2] which we discussed in the Introduction.
Finally, we point out that continuing our previous work [
1] we have formulated our results for the concept of effective complexity only. However, in line with the general equivalence statements obtained in the literature,
cf. Section V in [
6] or Lemma 20 in [
1], it should be possible to reformulate our main theorem in the more general context of algorithmic statistics. Indeed, our upper bound on effective complexity of typical process realizations is derived in terms of computable ensembles that are uniform distributions on finite sets (universally typical subsets). This demonstrates the close relation in particular to the concept of Kolmogorov minimal sufficient statistics which refers to the model class of finite sets.