Papers
Topics
Authors
Recent
Search
2000 character limit reached

Complexity and Avoidance

Published 24 Apr 2022 in math.LO and cs.CL | (2204.11289v1)

Abstract: In this dissertation we examine the relationships between the several hierarchies, including the complexity, LUA\mathrm{LUA} (Linearly Universal Avoidance), and shift complexity hierarchies, with an eye towards quantitative bounds on growth rates therein. We show that for suitable ff and pp, there are qq and gg such that LUA(q)≤sCOMPLEX(f)\mathrm{LUA}(q) \leq_\mathrm{s} \mathrm{COMPLEX}(f) and COMPLEX(g)≤sLUA(p)\mathrm{COMPLEX}(g) \leq_\mathrm{s} \mathrm{LUA}(p), as well as quantify the growth rates of qq and gg. In the opposite direction, we show that for certain sub-identical ff satisfying lim⁡n→∞f(n)/n=1\lim_{n \to \infty}{f(n)/n}=1 there is a qq such that COMPLEX(f)≤wLUA(q)\mathrm{COMPLEX}(f) \leq_\mathrm{w} \mathrm{LUA}(q), and for certain fast-growing pp there is a gg such that LUA(p)≤sCOMPLEX(g)\mathrm{LUA}(p) \leq_\mathrm{s} \mathrm{COMPLEX}(g), as well as quantify the growth rates of qq and gg. Concerning shift complexity, explicit bounds are given on how slow-growing qq must be for any member of LUA(q)\rm{LUA}(q) to compute δ\delta-shift complex sequences. Motivated by the complexity hierarchy, we generalize the notion of shift complexity to consider sequences XX satisfying KP⁡(τ)≥f(∣τ∣)−O(1)\operatorname{KP}(\tau) \geq f(|\tau|) - O(1) for all substrings τ\tau of XX where ff is any order function. We show that for sufficiently slow-growing ff, ff-shift complex sequences can be uniformly computed by gg-complex sequences, where gg grows slightly faster than ff. The structure of the LUA\mathrm{LUA} hierarchy is examined using bushy tree forcing, with the main result being that for any order function pp, there is a slow-growing order function qq such that LUA(p)\mathrm{LUA}(p) and LUA(q)\mathrm{LUA}(q) are weakly incomparable. Using this, we prove new results about the filter of the weak degrees of deep nonempty Π<sup>01\Pi<sup>0_1 classes and the connection between the shift complexity and LUA\mathrm{LUA} hierarchies.

Authors (1)

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.