When do cofinal chains of universal codings of the integers exist? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T01:06:19Z http://mathoverflow.net/feeds/question/32437 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32437/when-do-cofinal-chains-of-universal-codings-of-the-integers-exist When do cofinal chains of universal codings of the integers exist? Yuval Filmus 2010-07-19T02:23:32Z 2010-07-21T22:24:38Z <h3>Universal codings of integers</h3> <p>A (binary) <em>coding of the integers</em> is a prefix-free code of the natural numbers, whose codewords are non-decreasing in size. A coding is <em>universal</em> if it is short enough (log n + o(log n)), but that's not important.</p> <p>Some examples:</p> <ul> <li>The unary coding 0, 10, 110, ...; code length is n</li> <li>Code first the length of the number in unary, then the number itself in binary; code length is about 2log n</li> <li>Code first the length of the number using the previous coding, then the number itself in binary; code length is about log n + 2log log n</li> <li>...</li> <li>Diagonalize the construction to get code length of log n + log log n + ... + 2log<sup>*</sup> n</li> <li>Continue this way through the constructible ordinals</li> </ul> <p>The diagonalized code, known as the $\omega$-code, is due to Peter Elias.</p> <h3>A partial ordering of codes</h3> <p>The sequence of codes above are progressively better, in the following sense:</p> <ul> <li>A coding a is better than a coding b if |b(n)| - |a(n)| tends to infinity.</li> </ul> <p>There are some natural questions to ask:</p> <ul> <li>Is there a best code?</li> <li>If not, is there an optimal sequence of codes?</li> </ul> <p>As it turns out, not only is there no <em>best</em> code, but given any sequence of codes, we can always find a code which is better than <em>all</em> of them; the proof from one of Hausdorff's papers (Untersuchungen &uuml;ber Ordnungtypen V from 1907) can be adapted to our setting.</p> <h3>Scales</h3> <p>The best thing that can be hoped for is a <em>chain</em> of codes which is cofinal for the poset of codes, i.e. a set of mutually comparable codings, such that for each arbitrary coding, our scale contains a superior one (such a beast Hausdorff called a Pantachie).</p> <p>The problem of scales is well-known, and it is easy to show the existence of a scale given CH (following Hausdorff's steps). In other settings (and possibly this one), existence already follows from MA. However, most of the literature deals with somewhat different posets, and it is not clear that their results apply in this case.</p> <p>Here are some pointers:</p> <ul> <li><em>Hausdorff Gaps and Limits</em> by Frankiewicz and Zbierski, which deals with the ordering f > g if f(n) > g(n) infinitely often.</li> <li><em>Gaps in $\omega^\omega$</em> by Marion Scheepers, which deals with the ordering f > g if f(n) - g(n) tends to infinity.</li> </ul> <p>In their settings, Hechler forcing can be used to produce worlds in which there is no scale.</p> <blockquote> <p>Is the existence of scale (in the context of monotone codings of integers) independent of set theory?</p> </blockquote> <h3>Codings and series</h3> <p>Some easy reductions connect our problem with problems involving convergent series and divergent series satisfying some extra conditions, which stem from our monotonicity requirements; the key is Kraft's inequality, stating that a code with codeword lengths w<sub>i</sub> exists iff the sum $\sum 2^{-w_i}$ converges.</p> <p>The reductions are most easily stated if we extend our posets with some equivalence relation. We then say that two posets are <em>interlacing</em> if there are two order-preserving mappings (between the two posets in both directions) which are pseudo-inverses, i.e. their composition sends a point to an equivalent one. Given two interlacing posets, one has a scale iff the other one has a scale.</p> <p>The following posets are interlacing:</p> <ul> <li>Arbitrary (non-monotone) codes, with a &lt; b if b is better than a, and a ~ b if |a(n)-b(n)| is bounded.</li> <li>Convergent positive series, with a &lt; b if b(n) = o(a(n)), and a ~ b if a(n) = O(b(n)) and b(n) = O(a(n)).</li> <li>Divergent positive series (reverse definition of &lt;).</li> </ul> <p>Monotonicity complicates the picture (the corresponding series are no longer arbitrary) but seems necessary, since one can give a non-monotone code with the property that no monotone code is better than it.</p> <h3>Effective and efficient codings</h3> <p>The motivation behind the question is the actual usage of universal codings by computer engineers. New, impractical methods of codings are suggested all the time, but no one seems to have tackled the fundamental question.</p> <p>This prompts us to ask similar questions for effective (computable) codings.</p> <blockquote> <p>Can classical recursion theory hierarchies be adapted to the setting of codes?</p> </blockquote> <p>It would be nice to get an analog of the fast-growing hierarchy, for example.</p> <p>We could further wonder what happens if we ask our coding procedure to be efficient, for example linear-time computable.</p> http://mathoverflow.net/questions/32437/when-do-cofinal-chains-of-universal-codings-of-the-integers-exist/32622#32622 Answer by Stefan Geschke for When do cofinal chains of universal codings of the integers exist? Stefan Geschke 2010-07-20T12:06:59Z 2010-07-20T12:06:59Z <p>I believe I can answer your first question. But the answer involves forcing, which I cannot explain here (see Kunen's Set Theory. An introduction to independence proofs). Assuming CH, there is a scale of codes. Why? Enumerates all codes as $(c_\alpha)_{\alpha&lt;\omega_1}$. Construct a sequence $(a_\alpha)_{\alpha&lt;\omega_1}$ such that for each $\alpha$, the code $a_\alpha$ is better than $c_\alpha$ and all $a_{\beta}$, $\beta&lt;\alpha$. This is possible since for every countable set of codes there is one code that is better than all of them, if I understand you correctly.<br> Now $(a_\alpha)_{\alpha&lt;\omega_1}$ is a scale of codes.</p> <p>For the other consistency result, namely ZFC is consistent with the non-existence of scales, consider the partial order of finite initial segments of monotone prefix-free codes, where a finite initial segment $c$ is stronger than $d$ ($c\leq d$) if $c$ extends $d$.<br> This partial order is countable and every element has two extensions that don't have a common extension. This implies that the partial order is forcing equivalent to the so called Cohen forcing.</p> <p>Whenever $c$ is a finite initial segment of a code, $n$ is a natural number and $a$ is a code, then $c$ can be extended to a finite initial segment $d$ of a code such that for some $m>n$, $d$ already contains the code word of $m$ and this code word for $m$ is longer than the code word for $m$ that $a$ has.<br> Similarly, $c$ can be extended to a finite $d$ that for some $m>n$ has a shorter code word for $m$ than $a$ has. </p> <p>This shows that forcing with this partial order adds a code that is incomparable with all codes in the ground model. </p> <p>Now we start from a model of set theory that satisfies CH and force over it with a finite support product of $\aleph_2$ copies of the countable partial order defined above. This forcing adds a family $(c_\alpha)_{\alpha&lt;\omega_2}$ generic codes. (CH fails in this generic extension). I claim that no subfamily of size $\aleph_1$ of this family of codes has an upper bound.</p> <p>Why? Let $A\subseteq\omega_2$ be of size $\aleph_1$. By the properties of Cohen forcing (c.c.c. in particular) we may assume, after enlarging $A$ if necessary, that $A$ is already in the ground model. Now, whenever $a$ is a code in the generic extension, then $a$ has a name that only depends on countably many of the $c_\alpha$'s.<br> Take $\beta\in A$ outside this countable set of indices. Then, by the argument above, $c_\beta$ and $a$ are incomparable as codes (this is because $c_\beta$ is generic over a model containing $a$) and hence $a$ is not an upper bound of the $c_\alpha$, $\alpha\in A$.</p> <p>A similar argument shows that in the model of set theory that we have constructed (which is in fact Cohen's original model that refutes CH) no set of codes of size $&lt;\aleph_2$ is cofinal. (Why? If $C$ is a set of $\aleph_1$ codes, then there still is some $\alpha&lt;\omega_2$ such that $c_\alpha$ is generic over a model that contains $C$ and now no element of $C$ is an upper bound for $c_\alpha$.)</p> <p>We now have a model of set theory in which there is an unbounded set of codes of size $\aleph_1$ but no cofinal set of size $&lt;\aleph_2$. This implies that there is no scale. </p> <p>I hope it is possible to get something out of this answer. I am fully aware that I am using forcing jargon here, but to really give a complete proof would take a lot of space and time. I would guess that the code problem can actually be reduced to some partial order which has been studied in the literature.</p>