Wikipedia

Chain rule for Kolmogorov complexity: Difference between revisions

Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Citation bot (talk | contribs)
Bots
5,865,783 edits
Add: bibcode, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 116/409
Reverted 1 edit by Dragonthereal (talk): Editorializing
 
(5 intermediate revisions by 5 users not shown)
Line 1:
{{Short description|Lower bound for size of software program}}
{{inline|date=July 2014}}
The chain rule{{cn|date=July 2014}} for [[Kolmogorov complexity]] is an analogue of the chain rule for [[information entropy]], which states:
Line 22 ⟶ 23:
</math>
 
(An exact version, {{math|1=''KP''(''x'',&nbsp; ''y'')&nbsp; =&nbsp; ''KP''(''x'')&nbsp; +&nbsp; ''KP''(''y''|{{!}}''x''*){{sup|&nbsplowast;}}) +&nbsp; ''O''(1)}},
holds for the prefix complexity ''KP'', where {{math|''x*''{{sup|&lowast;}}}} is a shortest program for ''x''.)
 
It states that the shortest program printing ''X'' and ''Y'' is obtained by concatenating a shortest program printing ''X'' with a program printing ''Y'' given ''X'', plus [[Big-O notation|at most]] a logarithmic factor. The results implies that [[Mutual information#Absolute mutual information|algorithmic mutual information]], an analogue of mutual information for Kolmogorov complexity is symmetric: ''{{tmath|1=I(x:y) = I(y:x) + O(\log K(x,y))''}} for all ''x,y''.
 
==Proof==
Line 31 ⟶ 32:
The ≤ direction is obvious: we can write a program to produce ''x'' and ''y'' by concatenating a program to produce ''x'', a program to produce ''y'' given
access to ''x'', and (whence the log term) the length of one of the programs, so
that we know where to separate the two programs for ''x'' and {{math|1=''y''|{{!}}''x'' (log(''K''(''x'',&nbsp; ''y''))}} upper-bounds this length).
 
For the ≥ direction, it suffices to show that for all {{mvar|k,l}} such that {{tmath|1=k+l = K(x,y)}} we have that either
 
'':<math>K(x|k,l) ≤\le k + O(1)'' </math>
 
or
 
'':<math>K(y|x,k,l) ≤\le l + O(1)''</math>.
 
Consider the list (''(a''<sub>1</sub>,''b''<sub>1</sub>), (''a''<sub>2</sub>,''b''<sub>2</sub>), ..., (''a<sub>e</sub>,b<sub>e</sub>)'') of all pairs ''{{tmath|1=(a,b)''}} produced by programs of length exactly ''{{tmath|1=K(x,y)''}} [hence {{tmath|K(a,b) ≤\le K(x,y)}}]. Note that this list
* contains the pair ''{{tmath|1=(x,y)''}},
* can be [[recursively enumerable|enumerated]] given ''{{mvar|k''}} and ''{{mvar|l''}} (by running all programs of length ''{{tmath|1=K(x,y)''}} in parallel),
* has at most ''2<sup>''K''(''x'',''y'')</sup>'' elements (because there are at most 2<sup>''n''</sup> programs of length {{mvar|n}}).
 
First, suppose that ''x'' appears less than ''{{math|2<sup>''l''</sup>''}} times as first element. We can specify ''y'' given ''{{mvar|x,k,l''}} by enumerating (''(a''<sub>1</sub>,''b''<sub>1</sub>), (''a''<sub>2</sub>,''b''<sub>2</sub>), ...'' and then selecting ''{{tmath|1=(x,y)''}} in the sub-list of pairs ''{{tmath|1=(x,b)''}}. By assumption, the index of ''{{tmath|1=(x,y)''}} in this sub-list is less than ''{{math|2<sup>''l''</sup>''}} and hence, there is a program for ''y'' given ''{{mvar|x,k,l''}} of length ''{{tmath|1=l + O(1)''}}.
Now, suppose that ''x'' appears at least ''{{math|2<sup>''l''</sup>''}} times as first element. This can happen for at most ''{{math|1=2<sup>''K''(''x,y'')-&minus;l</sup> = 2<sup>''k''</sup>''}} different strings. These strings can be enumerated given ''{{mvar|k,l''}} and hence ''x'' can be specified by its index in this enumeration. The corresponding program for ''x'' has size ''{{tmath|1=k + O(1)''}}. Theorem proved.
 
==References==
Line 60 ⟶ 61:
| isbn = 0-387-94868-6 }}
 
* {{cite journal | last=Kolmogorov | first=A. | title=Logical basis for information theory and probability theory | journal=IEEE Transactions on Information Theory | publisher=Institute of Electrical and Electronics Engineers (IEEE) | volume=14 | issue=5 | year=1968 | issn=0018-9448 | doi=10.1109/tit.1968.1054210 | pages=662–664| s2cid=11402549 }}
 
* {{cite journal | last1=Zvonkin | first1=A K | last2=Levin | first2=L A | title=The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms | journal=Russian Mathematical Surveys | publisher=IOP Publishing | volume=25 | issue=6 | date=1970-12-31 | issn=0036-0279 | doi=10.1070/rm1970v025n06abeh001269 | pages=83–124| bibcode=1970RuMaS..25...83Z | s2cid=250850390 }}
 
[[Category:Algorithmic information theory|*]]
Retrieved from "https://en.wikipedia.org/wiki/Chain_rule_for_Kolmogorov_complexity"