English

Complexity and Avoidance

Logic 2022-04-26 v1 Computation and Language

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 limnf(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 Π10\Pi^0_1 classes and the connection between the shift complexity and LUA\mathrm{LUA} hierarchies.

Cite

@article{arxiv.2204.11289,
  title  = {Complexity and Avoidance},
  author = {Hayden Jananthan},
  journal= {arXiv preprint arXiv:2204.11289},
  year   = {2022}
}

Comments

Dissertation under the direction of Professor Stephen G. Simpson, submitted to the faculty of the Graduate School of Vanderbilt University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics. viii+157 pages. 5 figures. ORCID: 0000-0001-6877-0923

R2 v1 2026-06-24T10:57:05.440Z