×

Being low along a sequence and elsewhere. (English) Zbl 1443.03023

This paper examines modifications of the definition of lowness for prefix-free complexity \(K\). An oracle \(x\) is low for \(K\) when for every string \(\sigma\), \[ K(\sigma)\le K^X(\sigma)\text{ up to an additive constant.}\tag{\(\ast\)} \] The authors introduce an ostensibly weaker property: \(X\) is low for \(K\) along an infinite sequence \(A\) when for every \(\sigma\) that is an initial segment of \(A\), \((\ast)\) holds. They then prove that, in fact, \(X\) is low for \(K\) along some sequence iff \(X\) is low for \(K\) along all sequences iff \(x\) is low for \(K\).
Likewise, the authors consider an apparent strengthening of “weakly low for \(K\)” to “weakly low for \(K\) along \(A\)” – by requiring that \((\ast)\) hold not just for infinitely many \(\sigma\), but for infinitely many initial segments of \(A\) – and establish a similar equivalence result. The paper also discusses consequences of requiring \((\ast)\) to hold on other sets of strings.

MSC:

03D32 Algorithmic randomness and dimension
68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)
03D30 Other degrees and reducibilities in computability and recursion theory
03D28 Other Turing degree structures
Full Text: DOI

References:

[1] Barmpalias, G., Private communication, June 2015.
[2] Bartoszynski, T. and Judah, H., Set Theory: On the Structure of the Real Line, A K Peters/CRC Press, Wellesley, MA, 1995. · Zbl 0834.04001
[3] Bienvenu, L. and Downey, R.. Kolmogorov complexity and Solovay functions. In STACS 2009, LIPIcs. Leibniz International Proceedings in Informatics, vol. 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Wadern, 2009, pp. 147-158. · Zbl 1236.68108
[4] Bienvenu, L., Downey, R., Nies, A., and Merkle, W., Solovay functions and their applications in algorithmic randomness. Journal of Computer and System Sciences, vol. 81 (2015), pp. 1575-1591. · Zbl 1335.03038
[5] Downey, R. G. and Hirschfeldt, D. R.. Algorithmic Randomness and Complexity. Theory and Applications of Computability. Springer, New York, 2010. · Zbl 1221.68005
[6] Gács, P., Every sequence is reducible to a random one. Information and Control, vol. 70 (1986), no. 2-3, pp. 186-192. · Zbl 0628.03024
[7] Harrington, L., Marker, D., and Shelah, S., Borel orderings. Transactions of the American Mathematical Society, vol. 310 (1988), no. 1, pp. 293-302. · Zbl 0707.03042
[8] Jech, T., Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. · Zbl 1007.03002
[9] Kjos-Hanssen, B., Miller, J. S., and Solomon, R., Lowness notions, measure and domination. Journal of the London Mathematical Society, Second Series, vol. 85 (2012), no. 3, pp. 869-888. · Zbl 1262.03068
[10] Kučera, A., Measure, \({\rm{\Pi }}_1^0\)-classes and complete extensions of PA, Recursion Theory Week (Oberwolfach, 1984), Lecture Notes in Mathematics, vol. 1141, Springer, Berlin, 1985, pp. 245-259. · Zbl 0622.03031
[11] Kunen, K., Set Theory, North Holland, Amsterdam, 1992.
[12] Li, M. and Vitányi, P., An Introduction to Kolmogorov Complexity and Its Applications, third ed., Springer, New York, 2008. · Zbl 1185.68369
[13] Miller, J. S., Every 2-random real is Kolmogorov random, this Journal, vol. 69 (2004), no. 3, pp. 907-913. · Zbl 1090.03012
[14] Miller, J. S., The K-degrees, low for K-degrees and weakly low for K-sets. Notre Dame Journal of Formal Logic, vol. 50 (2010), no. 4, pp. 381-391. · Zbl 1213.03053
[15] Miller, J. S. and Yu, L., On initial segment complexity and degrees of randomness. Transactions of the American Mathematical Society, vol. 360 (2008), no. 6, pp. 3193-3210. · Zbl 1140.68028
[16] Nies, A., Lowness properties and randomness. Advances of Mathematics, vol. 197 (2005), pp. 274-305. · Zbl 1141.03017
[17] Nies, A., Computability and Randomness, Oxford University Press, Oxford, 2009. · Zbl 1169.03034
[18] Nies, A., Stephan, F., and Terwijn, S. A., Randomness, relativization and Turing degrees, this Journal, vol. 70 (2005), pp. 515-535. · Zbl 1090.03013
[19] Rudin, W., Real and Complex Analysis, McGraw-Hill, New York, 1987. · Zbl 0925.00005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.