Showing 1–48 of 48 results for author: Shen, A

$ω$-well-filtered spaces, revisited

Authors: Hualin Miao, Xiaodong Jia, Ao Shen, Qingguo Li

Abstract: We prove that a $T_0$ topological space is $ω$-well-filtered if and only if it does not admit either the natural numbers with the cofinite topology or with the Scott topology as its closed subsets in the strong topology. Based on this, we offer a refined topological characterization for the $ω$-well-filterification of $T_0$-spaces and solve a problem posed by Xiaoquan Xu. In the setting of second… ▽ More We prove that a $T_0$ topological space is $ω$-well-filtered if and only if it does not admit either the natural numbers with the cofinite topology or with the Scott topology as its closed subsets in the strong topology. Based on this, we offer a refined topological characterization for the $ω$-well-filterification of $T_0$-spaces and solve a problem posed by Xiaoquan Xu. In the setting of second countable spaces, we also characterise sobriety by convergences of certain $Π^0_2$-Cauchy subsets of the spaces. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Kolmogorov complexity as a combinatorial tool

Authors: Alexander Shen

Abstract: Kolmogorov complexity is often used as a convenient language for counting and/or probabilistic existence proofs. However, there are some applications where Kolmogorov complexity is used in a more subtle way. We provide one (somehow) surprising example where an existence of a winning strategy in a natural combinatorial game is proven (and no direct proof is known). Kolmogorov complexity is often used as a convenient language for counting and/or probabilistic existence proofs. However, there are some applications where Kolmogorov complexity is used in a more subtle way. We provide one (somehow) surprising example where an existence of a winning strategy in a natural combinatorial game is proven (and no direct proof is known). △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: Prepared as an special session invited talk at CiE 2024

MSC Class: 68Q87 ACM Class: F.1.2

Comparing angles in Euclid's Elements

Authors: Alexander Shen

Abstract: The exposition in Euclid's Elements contains an obvious gap (seemingly unnoticed by most commentators): he often compares not just angles, but *groups* of angles, and at the same time he avoids summing angles (and considering angles greater than $π$), and does not say what such a comparison of groups could mean. We discuss the problem and suggest a possible interpretation that could make Euclid's… ▽ More The exposition in Euclid's Elements contains an obvious gap (seemingly unnoticed by most commentators): he often compares not just angles, but *groups* of angles, and at the same time he avoids summing angles (and considering angles greater than $π$), and does not say what such a comparison of groups could mean. We discuss the problem and suggest a possible interpretation that could make Euclid's exposition consistent. △ Less

Submitted 2 April, 2024; originally announced April 2024.

MSC Class: 01A20

Conditional normality and finite-state dimensions revisited

Authors: Alexander Shen

Abstract: The notion of a normal bit sequence was introduced by Borel in 1909; it was the first definition of an individual random object. Normality is a weak notion of randomness requiring only that all $2^n$ factors (substrings) of arbitrary length~$n$ appear with the same limit frequency $2^{-n}$. Later many stronger definitions of randomness were introduced, and in this context normality found its place… ▽ More The notion of a normal bit sequence was introduced by Borel in 1909; it was the first definition of an individual random object. Normality is a weak notion of randomness requiring only that all $2^n$ factors (substrings) of arbitrary length~$n$ appear with the same limit frequency $2^{-n}$. Later many stronger definitions of randomness were introduced, and in this context normality found its place as ``randomness against a finite-memory adversary''. A quantitative measure of finite-state compressibility was also introduced (the finite-state dimension) and normality means that the finite state dimension is maximal (equals~$1$). Recently Nandakumar, Pulari and S (2023) introduced the notion of relative finite-state dimension for a binary sequence with respect to some other binary sequence (treated as an oracle), and the corresponding notion of conditional (relative) normality. (Different notions of conditional randomness were considered before, but not for the finite memory case.) They establish equivalence between the block frequency and the gambling approaches to conditional normality and finite-state dimensions. In this note we revisit their definitions and explain how this equivalence can be obtained easily by generalizing known characterizations of (unconditional) normality and dimension in terms of compressibility (finite-state complexity), superadditive complexity measures and gambling (finite-state gales), thus also answering some questions left open in the above-mentioned paper. △ Less

Submitted 3 March, 2024; originally announced March 2024.

MSC Class: 68Q45 ACM Class: F.1.1

Israil Moiseevich Gelfand [In Russian]

Authors: Alexander Shen

Abstract: I was lucky to meet (and even cooperate at some extent) with Israel M. Gelfand, and tried to write down (mainly in 2003-2013) my recollections about his work style and lessons I learned from him about teaching and writing mathematics (though the views are my own and I.M. is not responsible for them in any way). I was lucky to meet (and even cooperate at some extent) with Israel M. Gelfand, and tried to write down (mainly in 2003-2013) my recollections about his work style and lessons I learned from him about teaching and writing mathematics (though the views are my own and I.M. is not responsible for them in any way). △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: In Russian

MSC Class: 97C70; 97D30 ACM Class: A.0

Ergodic theorem and algorithmic randomness

Authors: Alexander Shen

Abstract: We prove the constructive version of Birkhoff's ergodic theorem following Vyugin but trying to separate and state explicitly the combinatorial statement on which this proof is based. We pose some questions related to this statement (and the effective ergodic theorem in general). We prove the constructive version of Birkhoff's ergodic theorem following Vyugin but trying to separate and state explicitly the combinatorial statement on which this proof is based. We pose some questions related to this statement (and the effective ergodic theorem in general). △ Less

Submitted 22 June, 2023; originally announced June 2023.

Comments: Russian version appended

MSC Class: 03D32; 37A30

Constructive mathematics and teaching

Authors: Alexander Shen

Abstract: Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical) counterpart: a student of a mathematics class wants to know what will the teacher accept as a correct solution of a homework problem. Here the logical structure of the… ▽ More Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical) counterpart: a student of a mathematics class wants to know what will the teacher accept as a correct solution of a homework problem. Here the logical structure of the claim is also very important, and we discuss several types of problems and their use in teaching mathematics. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: Talk at CM:FP 2023 (Constructive mathematics: foundations and practice) conference

MSC Class: 97D40

The Kraft--Barmpalias--Lewis-Pye lemma revisited

Authors: Alexander Shen

Abstract: This note provides a simplified exposition of the proof of hierarchical Kraft lemma proven by Barmpalias and Lewis-Pye and its consequences for the oracle use in the Kučera--Gács theorem (saying that every sequence is Turing reducible to a random one). This note provides a simplified exposition of the proof of hierarchical Kraft lemma proven by Barmpalias and Lewis-Pye and its consequences for the oracle use in the Kučera--Gács theorem (saying that every sequence is Turing reducible to a random one). △ Less

Submitted 31 May, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: (Added a small remark about non-binary case in v.2)

MSC Class: 94A45 ACM Class: E.4

Kolmogorov Last Discovery? (Kolmogorov and Algorithmic Statictics)

Authors: Alexey Semenov, Alexander Shen, Nikolay Vereshchagin

Abstract: The last theme of Kolmogorov's mathematics research was algorithmic theory of information, now often called Kolmogorov complexity theory. There are only two main publications of Kolmogorov (1965 and 1968-1969) on this topic. So Kolmogorov's ideas that did not appear as proven (and published) theorems can be reconstructed only partially based on work of his students and collaborators, short abstrac… ▽ More The last theme of Kolmogorov's mathematics research was algorithmic theory of information, now often called Kolmogorov complexity theory. There are only two main publications of Kolmogorov (1965 and 1968-1969) on this topic. So Kolmogorov's ideas that did not appear as proven (and published) theorems can be reconstructed only partially based on work of his students and collaborators, short abstracts of his talks and the recollections of people who were present at these talks. In this survey we try to reconstruct the development of Kolmogorov's ideas related to algorithmic statistics (resource-bounded complexity, structure function and stochastic objects). △ Less

Submitted 17 October, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: [version 2: typos and minor errors corrected]

MSC Class: 68Q30; 01A60; 62A01 ACM Class: G.3; H.1.1

Inequalities for entropies and dimensions

Authors: Alexander Shen

Abstract: We show that linear inequalities for entropies have a natural geometric interpretation in terms of Hausdorff and packing dimensions, using the point-to-set principle and known results about inequalities for complexities, entropies and the sizes of subgroups. We show that linear inequalities for entropies have a natural geometric interpretation in terms of Hausdorff and packing dimensions, using the point-to-set principle and known results about inequalities for complexities, entropies and the sizes of subgroups. △ Less

Submitted 28 April, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 11 pages. Accepted by CiE 2023 (Computability in Europe) conference

MSC Class: 28A78 ACM Class: H.1.1

Individual codewords

Authors: Alexander Shen

Abstract: Algorithmic information theory translates statements about classes of objects into statements about individual objects; it defines individual random sequences, effective Hausdorff dimension of individual points, amount of information in individual strings, etc. We observe that a similar translation is possible for list-decodable codes. Algorithmic information theory translates statements about classes of objects into statements about individual objects; it defines individual random sequences, effective Hausdorff dimension of individual points, amount of information in individual strings, etc. We observe that a similar translation is possible for list-decodable codes. △ Less

Submitted 1 November, 2021; originally announced November 2021.

MSC Class: 68Q30; 94B05

Gács-Kučera's Theorem Revisited by Levin

Authors: George Barmpalias, Alexander Shen

Abstract: Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) published a new (and very nice) proof of Gács-Kučera's theorem that occupies only a few lines when presented in his style. We try to explain more details and discuss the connection of this proof with image randomness theorems, making explicit some result (see Proposition 4) that is implicit in Levin's exposition. Then we review the previous work abou… ▽ More Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) published a new (and very nice) proof of Gács-Kučera's theorem that occupies only a few lines when presented in his style. We try to explain more details and discuss the connection of this proof with image randomness theorems, making explicit some result (see Proposition 4) that is implicit in Levin's exposition. Then we review the previous work about the oracle use when reducing a given sequence to another one, and its connection with algorithmic dimension theory. △ Less

Submitted 25 January, 2023; v1 submitted 31 October, 2021; originally announced November 2021.

Comments: published version

MSC Class: 03D30; 68Q30; 03D32

Journal ref: Theoretical Computer Science, Volume 947, 20 February 2023, 113693

Inequalities for space-bounded Kolmogorov complexity

Authors: Bruno Bauwens, Peter Gács, Andrei Romashchenko, Alexander Shen

Abstract: There is a parallelism between Shannon information theory and algorithmic information theory. In particular, the same linear inequalities are true for Shannon entropies of tuples of random variables and Kolmogorov complexities of tuples of strings (Hammer et al., 1997), as well as for sizes of subgroups and projections of sets (Chan, Yeung, Romashchenko, Shen, Vereshchagin, 1998--2002). This paral… ▽ More There is a parallelism between Shannon information theory and algorithmic information theory. In particular, the same linear inequalities are true for Shannon entropies of tuples of random variables and Kolmogorov complexities of tuples of strings (Hammer et al., 1997), as well as for sizes of subgroups and projections of sets (Chan, Yeung, Romashchenko, Shen, Vereshchagin, 1998--2002). This parallelism started with the Kolmogorov-Levin formula (1968) for the complexity of pairs of strings with logarithmic precision. Longpré (1986) proved a version of this formula for space-bounded complexities. In this paper we prove an improved version of Longpré's result with a tighter space bound, using Sipser's trick (1980). Then, using this space bound, we show that every linear inequality that is true for complexities or entropies, is also true for space-bounded Kolmogorov complexities with a polynomial space overhead. △ Less

Submitted 9 September, 2022; v1 submitted 20 October, 2020; originally announced October 2020.

Comments: [Better bound using improvements by Bruno Bauwens]

MSC Class: 68Q30 ACM Class: H.1.1

Mathematical works of Vladimir A. Uspensky: A commentary

Authors: Alexander Shen

Abstract: Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) The Russian version follows the English one. Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) The Russian version follows the English one. △ Less

Submitted 2 July, 2021; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: Version 2 July 2021: some references to Uspensky's papers added

MSC Class: 03-03 ACM Class: F.0

Complexity of majorants

Authors: Alexander Shen

Abstract: The minimal Kolmogorov complexity of a total computable function that exceeds everywhere all total computable functions of complexity at most $n$, is $2^{n+O(1)}$. If we replace "everywhere" by "for all sufficiently large inputs", the answer is $n+O(1)$. The minimal Kolmogorov complexity of a total computable function that exceeds everywhere all total computable functions of complexity at most $n$, is $2^{n+O(1)}$. If we replace "everywhere" by "for all sufficiently large inputs", the answer is $n+O(1)$. △ Less

Submitted 25 December, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

MSC Class: 68Q30 ACM Class: H.1.1

Rod in a train: a mechanical problem of H.Whitney, or Much Ado About Nothing

Authors: Alexander Shen

Abstract: In 1941 a mechanical problem about a rod in a moving train (there is a initial position such that rod does not touch the floor while train is moving) was published by R.Courant and H.Robbins in their popular book "What is mathematics?" and attributed to H.Whitney. Many mathematicians, including G.E.Littlewood, A.Broman, T.Poston, I.Stewart, V.Arnold, commented on this problem and its solution base… ▽ More In 1941 a mechanical problem about a rod in a moving train (there is a initial position such that rod does not touch the floor while train is moving) was published by R.Courant and H.Robbins in their popular book "What is mathematics?" and attributed to H.Whitney. Many mathematicians, including G.E.Littlewood, A.Broman, T.Poston, I.Stewart, V.Arnold, commented on this problem and its solution based on a continuity argument, and created a lot of confusion. In this paper we follow these developments and discuss at what extent the objections were justified. (In Russian) △ Less

Submitted 7 July, 2019; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: (In Russian) version 2: some typos corrected

MSC Class: 34A26; 37N05

Priority arguments and separation problems

Authors: Alexander Shen

Abstract: Different constructions in the recursion theory use the so-called priority arguments. A general scheme was suggested by A.~Lachlan. Based on his work, we define the notion of a priority-closed class of requirements. Then, for a specific priority construction, we need to check only that all requirements we want to satisfy belong to some priority-closed class (defined in game terms). This game versi… ▽ More Different constructions in the recursion theory use the so-called priority arguments. A general scheme was suggested by A.~Lachlan. Based on his work, we define the notion of a priority-closed class of requirements. Then, for a specific priority construction, we need to check only that all requirements we want to satisfy belong to some priority-closed class (defined in game terms). This game version of Lachlan's approach is used to present some results about recursively inseparable sets obtained by the author. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: Translation made by the author in 2018

Journal ref: Doklady Akademii Nauk Sssr, 1980, 248 (6), pp.1309-1313

Axiomatic approach to the theory of algorithms and relativized computability

Authors: Alexander Shen

Abstract: It is well known that many theorems in recursion theory can be "relativized". This means that they remain true if partial recursive functions are replaced by functions that are partial recursive relative to some fixed oracle set. Uspensky formulates three "axioms" called "axiom of computation records", "axiom of programs'" and "arithmeticity axiom". Then, using these axioms (more precisely, two fi… ▽ More It is well known that many theorems in recursion theory can be "relativized". This means that they remain true if partial recursive functions are replaced by functions that are partial recursive relative to some fixed oracle set. Uspensky formulates three "axioms" called "axiom of computation records", "axiom of programs'" and "arithmeticity axiom". Then, using these axioms (more precisely, two first ones) he proves basic results of the recursion theory. These two axioms are true also for the class of functions that are partial recursive relative to some fixed oracle set. Also this class is closed under substitution, primitive recursion and minimization ($μ$-operator); these (intuitively obvious) closure properties are also used in the proofs. This observation made by Uspensky explains why many theorems of recursion theory can be relativized. It turns out that the reverse statement is also true: all relativizable results follow from the first two axioms and closure properties. Indeed, \emph{every class of partial functions that is closed under substitution, primitive recursion and minimization that satisfies the first two axioms is the class of functions that are partial recursive relative to some oracle set $A$}. This is the main result of the present article. △ Less

Submitted 15 November, 2018; originally announced November 2018.

Comments: Traduction en anglais 2018

Journal ref: Vestnik Moskovskogo Universiteta, Ser. 1, Mathematics, mechanics, 1980, pp.27-29

Algorithms and Geometric Constructions

Authors: Vladimir Uspenskiy, Alexander Shen

Abstract: It is well known that several classical geometry problems (e.g., angle trisection) are unsolvable by compass and straightedge constructions. But what kind of object is proven to be non-existing by usual arguments? These arguments refer to an intuitive idea of a geometric construction as a special kind of an `algorithm' using restricted means (straightedge and/or compass). However, the formalizatio… ▽ More It is well known that several classical geometry problems (e.g., angle trisection) are unsolvable by compass and straightedge constructions. But what kind of object is proven to be non-existing by usual arguments? These arguments refer to an intuitive idea of a geometric construction as a special kind of an `algorithm' using restricted means (straightedge and/or compass). However, the formalization is not obvious, and different descriptions existing in the literature are far from being complete and clear. We discuss the history of this notion and a possible definition in terms of a simple game △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 1 figure

MSC Class: 51M15 ACM Class: F.1

Hilbert's Error?

Authors: Alexander Shen

Abstract: It is well known that a center of a given circle cannot be constructed using only a straightedge and that this was proven by David Hilbert. Still it is not so clear what kind of object is proven to be non-existing. We analyze different attempts to define a geometric construction appearing in the literature and observe that none of them is really satisfactory and that Hilbert's proof needs to be co… ▽ More It is well known that a center of a given circle cannot be constructed using only a straightedge and that this was proven by David Hilbert. Still it is not so clear what kind of object is proven to be non-existing. We analyze different attempts to define a geometric construction appearing in the literature and observe that none of them is really satisfactory and that Hilbert's proof needs to be corrected (as noted by Akopyan and Fedorov) △ Less

Submitted 21 January, 2019; v1 submitted 15 January, 2018; originally announced January 2018.

Journal ref: The Mathematical Intelligencer, volume 40, no. 4 (2018), 6-11

Dimension 1 sequences are close to randoms

Authors: Noam Greenberg, Joe Miller, Alexander Shen, Linda Brown Westrick

Abstract: We show that a sequence has effective Hausdorff dimension 1 if and only if it is coarsely similar to a Martin-Löf random sequence. More generally, a sequence has effective dimension $s$ if and only if it is coarsely similar to a weakly $s$-random sequence. Further, for any $s<t$, every sequence of effective dimension $s$ can be changed on density at most $H^{-1}(t)-H^{-1}(s)$ of its bits to produc… ▽ More We show that a sequence has effective Hausdorff dimension 1 if and only if it is coarsely similar to a Martin-Löf random sequence. More generally, a sequence has effective dimension $s$ if and only if it is coarsely similar to a weakly $s$-random sequence. Further, for any $s<t$, every sequence of effective dimension $s$ can be changed on density at most $H^{-1}(t)-H^{-1}(s)$ of its bits to produce a sequence of effective dimension $t$, and this bound is optimal. △ Less

Submitted 15 September, 2017; originally announced September 2017.

Comments: 19 pages

MSC Class: 03D32; 68Q30

Plain stopping time and conditional complexities revisited

Authors: Mikhail Andreev, Gleb Posobin, Alexander Shen

Abstract: In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It turns out that plain stopping time complexity of a binary string $x$ could be equivalently defined as (a) the minimal plain complexity of a Turing machine that… ▽ More In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It turns out that plain stopping time complexity of a binary string $x$ could be equivalently defined as (a) the minimal plain complexity of a Turing machine that stops after reading $x$ on a one-directional input tape; (b) the minimal plain complexity of an algorithm that enumerates a prefix-free set containing $x$; (c)~the conditional complexity $C(x|x*)$ where $x$ in the condition is understood as a prefix of an infinite binary sequence while the first $x$ is understood as a terminated binary string; (d) as a minimal upper semicomputable function $K$ such that each binary sequence has at most $2^n$ prefixes $z$ such that $K(z)<n$; (e) as $\max C^X(x)$ where $C^X(z)$ is plain Kolmogorov complexity of $z$ relative to oracle $X$ and the maximum is taken over all extensions $X$ of $x$. We also show that some of these equivalent definitions become non-equivalent in the more general setting where the condition $y$ and the object $x$ may differ. We also answer an open question from Chernov, Hutter and~Schmidhuber. △ Less

Submitted 3 October, 2017; v1 submitted 27 August, 2017; originally announced August 2017.

MSC Class: 68Q30 ACM Class: H.1.1

Compressibility and probabilistic proofs

Authors: Alexander Shen

Abstract: We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lovász local lemma. We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lovász local lemma. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: Invited talk for CiE 2017 (full version)

MSC Class: 68Q87 ACM Class: F.1.2

Algorithmic statistics: forty years later

Authors: Nikolai Vereshchagin, Alexander Shen

Abstract: Algorithmic statistics has two different (and almost orthogonal) motivations. From the philosophical point of view, it tries to formalize how the statistics works and why some statistical models are better than others. After this notion of a "good model" is introduced, a natural question arises: it is possible that for some piece of data there is no good model? If yes, how often these bad ("non-st… ▽ More Algorithmic statistics has two different (and almost orthogonal) motivations. From the philosophical point of view, it tries to formalize how the statistics works and why some statistical models are better than others. After this notion of a "good model" is introduced, a natural question arises: it is possible that for some piece of data there is no good model? If yes, how often these bad ("non-stochastic") data appear "in real life"? Another, more technical motivation comes from algorithmic information theory. In this theory a notion of complexity of a finite object (=amount of information in this object) is introduced; it assigns to every object some number, called its algorithmic complexity (or Kolmogorov complexity). Algorithmic statistic provides a more fine-grained classification: for each finite object some curve is defined that characterizes its behavior. It turns out that several different definitions give (approximately) the same curve. In this survey we try to provide an exposition of the main results in the field (including full proofs for the most important ones), as well as some historical comments. We assume that the reader is familiar with the main notions of algorithmic information (Kolmogorov complexity) theory. △ Less

Submitted 7 March, 2017; v1 submitted 27 July, 2016; originally announced July 2016.

Comments: Missing proofs added

MSC Class: 68Q30 ACM Class: G.3; E.4; H.1.1

Conditional probabilities and van Lambalgen theorem revisited

Authors: Bruno Bauwens, Alexander Shen, Hayato Takahashi

Abstract: The definition of conditional probability in case of continuous distributions was an important step in the development of mathematical theory of probabilities. How can we define this notion in algorithmic probability theory? In this survey we discuss the developments in this direction trying to explain what are the difficulties and what can be done to avoid them. Almost all the results discussed i… ▽ More The definition of conditional probability in case of continuous distributions was an important step in the development of mathematical theory of probabilities. How can we define this notion in algorithmic probability theory? In this survey we discuss the developments in this direction trying to explain what are the difficulties and what can be done to avoid them. Almost all the results discussed in this paper have been published (and we provide the references), but we tried to put them into perspective and to explain the proofs in a more intuitive way. We assume that the reader is familiar with basic notions of measure theory and algorithmic randomness. △ Less

Submitted 14 July, 2016; originally announced July 2016.

MSC Class: 68Q30; 03D32 ACM Class: G.3

Layerwise computability and image randomness

Authors: Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen

Abstract: Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only if it has a random preimage. This result (for computable distributions and mappings, and Martin-Löf randomness) was known for a long time (folklore); in this pap… ▽ More Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only if it has a random preimage. This result (for computable distributions and mappings, and Martin-Löf randomness) was known for a long time (folklore); in this paper we prove its natural generalization for layerwise computable mappings, and discuss the related quantitative results. △ Less

Submitted 14 July, 2016; originally announced July 2016.

MSC Class: 03D32 ACM Class: G.3

Generic algorithms for halting problem and optimal machines revisited

Authors: Laurent Bienvenu, Damien Desfontaines, Alexander Shen

Abstract: The halting problem is undecidable --- but can it be solved for "most" inputs? This natural question was considered in a number of papers, in different settings. We revisit their results and show that most of them can be easily proven in a natural framework of optimal machines (considered in algorithmic information theory) using the notion of Kolmogorov complexity. We also consider some related q… ▽ More The halting problem is undecidable --- but can it be solved for "most" inputs? This natural question was considered in a number of papers, in different settings. We revisit their results and show that most of them can be easily proven in a natural framework of optimal machines (considered in algorithmic information theory) using the notion of Kolmogorov complexity. We also consider some related questions about this framework and about asymptotic properties of the halting problem. In particular, we show that the fraction of terminating programs cannot have a limit, and all limit points are Martin-Löf random reals. We then consider mass problems of finding an approximate solution of halting problem and probabilistic algorithms for them, proving both positive and negative results. We consider the fraction of terminating programs that require a long time for termination, and describe this fraction using the busy beaver function. We also consider approximate versions of separation problems, and revisit Schnorr's results about optimal numberings showing how they can be generalized. △ Less

Submitted 4 April, 2016; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: a preliminary version was presented at the ICALP 2015 conference

Journal ref: Logical Methods in Computer Science, Volume 12, Issue 2 (April 5, 2016) lmcs:1633

Around Kolmogorov complexity: basic notions and results

Authors: Alexander Shen

Abstract: Algorithmic information theory studies description complexity and randomness and is now a well known field of theoretical computer science and mathematical logic. There are several textbooks and monographs devoted to this theory where one can find the detailed exposition of many difficult results as well as historical references. However, it seems that a short survey of its basic notions and main… ▽ More Algorithmic information theory studies description complexity and randomness and is now a well known field of theoretical computer science and mathematical logic. There are several textbooks and monographs devoted to this theory where one can find the detailed exposition of many difficult results as well as historical references. However, it seems that a short survey of its basic notions and main results relating these notions to each other, is missing. This report attempts to fill this gap and covers the basic notions of algorithmic information theory: Kolmogorov complexity (plain, conditional, prefix), Solomonoff universal a priori probability, notions of randomness (Martin-Löf randomness, Mises--Church randomness), effective Hausdorff dimension. We prove their basic properties (symmetry of information, connection between a priori probability and prefix complexity, criterion of randomness in terms of complexity, complexity characterization for effective dimension) and show some applications (incompressibility method in computational complexity theory, incompleteness theorems). It is based on the lecture notes of a course at Uppsala University given by the author. △ Less

Submitted 20 April, 2015; originally announced April 2015.

MSC Class: 68Q30 ACM Class: H.1.1

K-trivial, K-low and MLR-low sequences: a tutorial

Authors: Laurent Bienvenu, Alexander Shen

Abstract: A remarkable achievement in algorithmic randomness and algorithmic information theory was the discovery of the notions of K-trivial, K-low and Martin-Lof-random-low sets: three different definitions turns out to be equivalent for very non-trivial reasons. This paper, based on the course taught by one of the authors (L.B.) in Poncelet laboratory (CNRS, Moscow) in 2014, provides an exposition of the… ▽ More A remarkable achievement in algorithmic randomness and algorithmic information theory was the discovery of the notions of K-trivial, K-low and Martin-Lof-random-low sets: three different definitions turns out to be equivalent for very non-trivial reasons. This paper, based on the course taught by one of the authors (L.B.) in Poncelet laboratory (CNRS, Moscow) in 2014, provides an exposition of the proof of this equivalence and some related results. We assume that the reader is familiar with basic notions of algorithmic information theory. △ Less

Submitted 1 October, 2015; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: 25 pages

MSC Class: 03D30 ACM Class: F.4.1; H.1.1

Journal ref: Fields of Logic and Computation, Lecture Notes in Computer Science, v.9300 (2015)

Algorithmic identification of probabilities is hard

Authors: Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen

Abstract: Suppose that we are given an infinite binary sequence which is random for a Bernoulli measure of parameter $p$. By the law of large numbers, the frequency of zeros in the sequence tends to~$p$, and thus we can get better and better approximations of $p$ as we read the sequence. We study in this paper a similar question, but from the viewpoint of inductive inference. We suppose now that $p$ is a co… ▽ More Suppose that we are given an infinite binary sequence which is random for a Bernoulli measure of parameter $p$. By the law of large numbers, the frequency of zeros in the sequence tends to~$p$, and thus we can get better and better approximations of $p$ as we read the sequence. We study in this paper a similar question, but from the viewpoint of inductive inference. We suppose now that $p$ is a computable real, but one asks for more: as we are reading more and more bits of our random sequence, we have to eventually guess the exact parameter $p$ (in the form of a Turing code). Can one do such a thing uniformly on all sequences that are random for computable Bernoulli measures, or even on a `large enough' fraction of them? In this paper, we give a negative answer to this question. In fact, we prove a very general negative result which extends far beyond the class of Bernoulli measures. △ Less

Submitted 17 October, 2018; v1 submitted 20 May, 2014; originally announced May 2014.

MSC Class: 03D32; 68Q30; 68Q32

Journal ref: Journal of Computer and System Sciences 95, pp. 98-108, 2018

The axiomatic power of Kolmogorov complexity

Authors: Laurent Bienvenu, Andrei Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren

Abstract: The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements would be natural candidates for being added as axioms, but how can we obtain them? One classical (and well studied) approach is to add to some theory T an axiom that claims the consistency of T. In this paper we discuss an… ▽ More The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements would be natural candidates for being added as axioms, but how can we obtain them? One classical (and well studied) approach is to add to some theory T an axiom that claims the consistency of T. In this paper we discuss another approach motivated by Chaitin's version of Gödel's theorem where axioms claiming the randomness (or incompressibility) of some strings are probabilistically added, and show that it is not really useful, in the sense that this does not help us to prove new interesting theorems. This result answers a question recently asked by Lipton. The situation changes if we take into account the size of the proofs: randomly chosen axioms may help making proofs much shorter, unless NP=PSPACE. We then study the axiomatic power of the statements of type "the Kolmogorov complexity of x exceeds n" in general. They are Π_1 (universally quantified) statements of Peano arithmetic. We show that by adding all true statements of this type, we obtain a theory that proves all true Π_1-statements, and also provide a more detailed classification. In particular, to derive all true Π_1-statements it is sufficient to add one statement of this type for each n (or even for infinitely many n) if strings are chosen in a special way. On the other hand, one may add statements of this type for most x of length n (for every n) and still obtain a weak theory. We also study other logical questions related to "random axioms". Finally, we consider a theory that claims Martin-Löf randomness of a given infinite binary sequence. This claim can be formalized in different ways. We show that different formalizations are closely related but not equivalent, and study their properties. △ Less

Submitted 15 January, 2013; originally announced January 2013.

MSC Class: 03B10; 03D32; 03H15 ACM Class: F.4.1

Limit complexities revisited [once more]

Authors: Laurent Bienvenu, Andrej Muchnik, Alexander Shen, Nikolai Vereshchagin

Abstract: The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$ equals $C^{0'}(x)$. Then we use the same argument to prove similar results for prefix complexity, a priori probability on binary tree, to prove Conidis' theorem about limits of effectively open set… ▽ More The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$ equals $C^{0'}(x)$. Then we use the same argument to prove similar results for prefix complexity, a priori probability on binary tree, to prove Conidis' theorem about limits of effectively open sets, and also to improve the results of Muchnik about limit frequencies. As a by-product, we get a criterion of 2-randomness proved by Miller: a sequence $X$ is 2-random if and only if there exists $c$ such that any prefix $x$ of $X$ is a prefix of some string $y$ such that $C(y)\ge |y|-c$. (In the 1960ies this property was suggested in Kolmogorov as one of possible randomness definitions.) We also get another 2-randomness criterion by Miller and Nies: $X$ is 2-random if and only if $C(x)\ge |x|-c$ for some $c$ and infinitely many prefixes $x$ of $X$. This is a modified version of our old paper that contained a weaker (and cumbersome) version of Conidis' result, and the proof used low basis theorem (in quite a strange way). The full version was formulated there as a conjecture. This conjecture was later proved by Conidis. Bruno Bauwens (personal communication) noted that the proof can be obtained also by a simple modification of our original argument, and we reproduce Bauwens' argument with his permission. △ Less

Submitted 1 April, 2012; originally announced April 2012.

Comments: See http://arxiv.org/abs/0802.2833 for the old paper

MSC Class: 68Q30 ACM Class: F.1.1; F.4.1

Game arguments in computability theory and algorithmic information theory

Authors: Andrej Muchnik, Alexander Shen, Mikhail Vyugin

Abstract: We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional complexity and total conditional complexity, Epstein--Levin theorem and some (yet unpublished) result of Muchnik and Vyugin We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional complexity and total conditional complexity, Epstein--Levin theorem and some (yet unpublished) result of Muchnik and Vyugin △ Less

Submitted 10 September, 2012; v1 submitted 1 April, 2012; originally announced April 2012.

Comments: Extended version of a talk given at CiE2012 (Turing centennial) conference [see previous version for conference text]

MSC Class: 68Q30 ACM Class: F.4.1

On the structure of Ammann A2 tilings

Authors: Bruno Durand, Alexander Shen, Nikolay Vereshchagin

Abstract: We establish a structure theorem for the family of Ammann A2 tilings of the plane. Using that theorem we show that every Ammann A2 tiling is self-similar in the sense of [B. Solomyak, Nonperiodicity implies unique composition for self-similar translationally finite tilings, Discrete and Computational Geometry 20 (1998) 265-279]. By the same techniques we show that Ammann A2 tilings are not robust… ▽ More We establish a structure theorem for the family of Ammann A2 tilings of the plane. Using that theorem we show that every Ammann A2 tiling is self-similar in the sense of [B. Solomyak, Nonperiodicity implies unique composition for self-similar translationally finite tilings, Discrete and Computational Geometry 20 (1998) 265-279]. By the same techniques we show that Ammann A2 tilings are not robust in the sense of [B. Durand, A. Romashchenko, A. Shen. Fixed-point tile sets and their applications, Journal of Computer and System Sciences, 78:3 (2012) 731--764]. △ Less

Submitted 20 February, 2018; v1 submitted 13 December, 2011; originally announced December 2011.

Random semicomputable reals revisited

Authors: Laurent Bienvenu, Alexander Shen

Abstract: The aim of this expository paper is to present a nice series of results, obtained in the papers of Chaitin (1976), Solovay (1975), Calude et al. (1998), Kucera and Slaman (2001). This joint effort led to a full characterization of lower semicomputable random reals, both as those that can be expressed as a "Chaitin Omega" and those that are maximal for the Solovay reducibility. The original proofs… ▽ More The aim of this expository paper is to present a nice series of results, obtained in the papers of Chaitin (1976), Solovay (1975), Calude et al. (1998), Kucera and Slaman (2001). This joint effort led to a full characterization of lower semicomputable random reals, both as those that can be expressed as a "Chaitin Omega" and those that are maximal for the Solovay reducibility. The original proofs were somewhat involved; in this paper, we present these results in an elementary way, in particular requiring only basic knowledge of algorithmic randomness. We add also several simple observations relating lower semicomputable random reals and busy beaver functions. △ Less

Submitted 23 October, 2011; originally announced October 2011.

Comments: 15 pages

MSC Class: 03D32; 68Q30 ACM Class: F.1

Are random axioms useful?

Authors: Alexander Shen

Abstract: The famous Gödel incompleteness theorem says that for every sufficiently rich formal theory (containing formal arithmetic in some natural sense) there exist true unprovable statements. Such statements would be natural candidates for being added as axioms, but where can we obtain them? One classical (and well studied) approach is to add (to some theory T) an axiom that claims the consistency of T.… ▽ More The famous Gödel incompleteness theorem says that for every sufficiently rich formal theory (containing formal arithmetic in some natural sense) there exist true unprovable statements. Such statements would be natural candidates for being added as axioms, but where can we obtain them? One classical (and well studied) approach is to add (to some theory T) an axiom that claims the consistency of T. In this note we discuss the other one (motivated by Chaitin's version of the Gödel theorem) and show that it is not really useful (in the sense that it does not help us to prove new interesting theorems), at least if we are not limiting the proof complexity. We discuss also some related questions. △ Less

Submitted 16 October, 2011; v1 submitted 26 September, 2011; originally announced September 2011.

MSC Class: 03F99 ACM Class: F.4.1

Algorithmic tests and randomness with respect to a class of measures

Authors: Laurent Bienvenu, Peter Gacs, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen

Abstract: The paper considers quantitative versions of different randomness notions: algorithmic test measures the amount of non-randomness (and is infinite for non-random sequences). We start with computable measures on Cantor space (and Martin-Lof randomness), then consider uniform randomness (test is a function of a sequence and a measure, not necessarily computable) and arbitrary constructive metric spa… ▽ More The paper considers quantitative versions of different randomness notions: algorithmic test measures the amount of non-randomness (and is infinite for non-random sequences). We start with computable measures on Cantor space (and Martin-Lof randomness), then consider uniform randomness (test is a function of a sequence and a measure, not necessarily computable) and arbitrary constructive metric spaces. We also consider tests for classes of measures, in particular Bernoulli measures on Cantor space, and show how they are related to uniform tests and original Martin-Lof definition. We show that Hyppocratic (blind, oracle-free) randomness is equivalent to uniform randomness for measures in an effectively orthogonal effectively compact class. We also consider the notions of sparse set and on-line randomness and show how they can be expressed in our framework. △ Less

Submitted 26 May, 2011; v1 submitted 8 March, 2011; originally announced March 2011.

MSC Class: 03D32; 68Q30 ACM Class: F.1

Kolmogorov complexity as a language

Authors: Alexander Shen

Abstract: The notion of Kolmogorov complexity (=the minimal length of a program that generates some object) is often useful as a kind of language that allows us to reformulate some notions and therefore provide new intuition. In this survey we provide (with minimal comments) many different examples where notions and statements that involve Kolmogorov complexity are compared with their counterparts not invol… ▽ More The notion of Kolmogorov complexity (=the minimal length of a program that generates some object) is often useful as a kind of language that allows us to reformulate some notions and therefore provide new intuition. In this survey we provide (with minimal comments) many different examples where notions and statements that involve Kolmogorov complexity are compared with their counterparts not involving complexity. △ Less

Submitted 26 February, 2011; originally announced February 2011.

Comments: Invited talk prepared for CSR 2011

MSC Class: 68Q30; 03D32 ACM Class: F.1.1

A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points

Authors: Laurent Bienvenu, Adam Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen

Abstract: A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective versio… ▽ More A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective version of Birkhoff's ergodic theorem, which improves all the results previously obtained in this direction, in particular those of V'Yugin, Nandakumar and Hoyrup, Rojas. △ Less

Submitted 4 August, 2011; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: Improved version of the CiE'10 paper, with the strong form of Birkhoff's ergodic theorem for random points

MSC Class: 28D05; 68Q30 ACM Class: F.4.1

Insuring against loss of evidence in game-theoretic probability

Authors: A. Philip Dawid, Steven de Rooij, Glenn Shafer, Alexander Shen, Nikolai Vereshchagin, Vladimir Vovk

Abstract: We consider the game-theoretic scenario of testing the performance of Forecaster by Sceptic who gambles against the forecasts. Sceptic's current capital is interpreted as the amount of evidence he has found against Forecaster. Reporting the maximum of Sceptic's capital so far exaggerates the evidence. We characterize the set of all increasing functions that remove the exaggeration. This result can… ▽ More We consider the game-theoretic scenario of testing the performance of Forecaster by Sceptic who gambles against the forecasts. Sceptic's current capital is interpreted as the amount of evidence he has found against Forecaster. Reporting the maximum of Sceptic's capital so far exaggerates the evidence. We characterize the set of all increasing functions that remove the exaggeration. This result can be used for insuring against loss of evidence. △ Less

Submitted 21 October, 2010; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 7 pages. This version (version 2) is identical to version 1 (May 2010). The most up-to-date version can be found at http://www.probabilityandfinance.com/ (Working Paper 34). That version includes an application to financial markets (in which case our result can be used for insuring against loss of the accumulated capital); The Game-Theoretic Probability and Finance Project, Working Paper 34

MSC Class: 62A01; 60A05; 60G42

Journal ref: Statistics and Probability Letters 81, 157 - 162 (2011)

Game interpretation of Kolmogorov complexity

Authors: Andrej A. Muchnik, Ilya Mezhirov, Alexander Shen, Nikolay Vereshchagin

Abstract: The Kolmogorov complexity function K can be relativized using any oracle A, and most properties of K remain true for relativized versions. In section 1 we provide an explanation for this observation by giving a game-theoretic interpretation and showing that all "natural" properties are either true for all sufficiently powerful oracles or false for all sufficiently powerful oracles. This result is… ▽ More The Kolmogorov complexity function K can be relativized using any oracle A, and most properties of K remain true for relativized versions. In section 1 we provide an explanation for this observation by giving a game-theoretic interpretation and showing that all "natural" properties are either true for all sufficiently powerful oracles or false for all sufficiently powerful oracles. This result is a simple consequence of Martin's determinacy theorem, but its proof is instructive: it shows how one can prove statements about Kolmogorov complexity by constructing a special game and a winning strategy in this game. This technique is illustrated by several examples (total conditional complexity, bijection complexity, randomness extraction, contrasting plain and prefix complexities). △ Less

Submitted 24 March, 2010; originally announced March 2010.

Comments: 11 pages. Presented in 2009 at the conference on randomness in Madison.

MSC Class: 68Q30 ACM Class: F.4.1

Effective closed subshifts in 1D can be implemented in 2D

Authors: Bruno Durand, Andrei Romashchenko, Alexander Shen

Abstract: In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point construction of an aperiodic tile set and its extensions. In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point construction of an aperiodic tile set and its extensions. △ Less

Submitted 16 March, 2010; originally announced March 2010.

Comments: 9 pages, 2 figures

Fixed point theorem and aperiodic tilings

Authors: Bruno Durand, Andrei Romashchenko, Alexander Shen

Abstract: We propose a new simple construction of an aperiodic tile set based on self-referential (fixed point) argument. People often say about some discovery that it appeared "ahead of time", meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, the… ▽ More We propose a new simple construction of an aperiodic tile set based on self-referential (fixed point) argument. People often say about some discovery that it appeared "ahead of time", meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, the situation is exactly the opposite. It should have been found in 1960s when the question about aperiodic tile sets was first asked: all the tools were quite standard and widely used at that time. However, the history had chosen a different path and many nice geometric ad hoc constructions were developed instead (by Berger, Robinson, Penrose, Ammann and many others. In this note we try to correct this error and present a construction that should have been discovered first but seemed to be unnoticed for more that forty years. △ Less

Submitted 14 March, 2010; originally announced March 2010.

Comments: 8 pages, 5 figures

Journal ref: Published in Bulletin of the EATCS (The Logic in Computer Science Column by Yuri Gurevich) no. 97 (2009) pp. 126-136: http://www.eatcs.org/images/bulletin/beatcs97.pdf

Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One

Authors: Mikhail Andreev, Ilya Razenshteyn, Alexander Shen

Abstract: C.Calude, A.Nies, L.Staiger, and F.Stephan posed the following question about the relation between plain and prefix Kolmogorov complexities (see their paper in DLT 2008 conference proceedings): does the domain of every optimal decompressor contain the domain of some optimal prefix-free decompressor? In this paper we provide a negative answer to this question. C.Calude, A.Nies, L.Staiger, and F.Stephan posed the following question about the relation between plain and prefix Kolmogorov complexities (see their paper in DLT 2008 conference proceedings): does the domain of every optimal decompressor contain the domain of some optimal prefix-free decompressor? In this paper we provide a negative answer to this question. △ Less

Submitted 7 April, 2010; v1 submitted 25 January, 2010; originally announced January 2010.

MSC Class: 68Q30 ACM Class: F.1.3

Test Martingales, Bayes Factors and $p$-Values

Authors: Glenn Shafer, Alexander Shen, Nikolai Vereshchagin, Vladimir Vovk

Abstract: A nonnegative martingale with initial value equal to one measures evidence against a probabilistic hypothesis. The inverse of its value at some stopping time can be interpreted as a Bayes factor. If we exaggerate the evidence by considering the largest value attained so far by such a martingale, the exaggeration will be limited, and there are systematic ways to eliminate it. The inverse of the exa… ▽ More A nonnegative martingale with initial value equal to one measures evidence against a probabilistic hypothesis. The inverse of its value at some stopping time can be interpreted as a Bayes factor. If we exaggerate the evidence by considering the largest value attained so far by such a martingale, the exaggeration will be limited, and there are systematic ways to eliminate it. The inverse of the exaggerated value at some stopping time can be interpreted as a $p$-value. We give a simple characterization of all increasing functions that eliminate the exaggeration. △ Less

Submitted 16 June, 2011; v1 submitted 21 December, 2009; originally announced December 2009.

Comments: Published in at http://dx.doi.org/10.1214/10-STS347 the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-STS-STS347

Journal ref: Statistical Science 2011, Vol. 26, No. 1, 84-101

Fixed-point tile sets and their applications

Authors: Bruno Durand, Andrei Romashchenko, Alexander Shen

Abstract: An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene's fixed-point construction instead of geometric arguments. This construct… ▽ More An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene's fixed-point construction instead of geometric arguments. This construction is similar to J. von Neumann self-reproducing automata; similar ideas were also used by P. Gacs in the context of error-correcting computations. This construction it rather flexible, so it can be used in many ways: we show how it can be used to implement substitution rules, to construct strongly aperiodic tile sets (any tiling is far from any periodic tiling), to give a new proof for the undecidability of the domino problem and related results, characterize effectively closed 1D subshift it terms of 2D shifts of finite type (improvement of a result by M. Hochman), to construct a tile set which has only complex tilings, and to construct a "robust" aperiodic tile set that does not have periodic (or close to periodic) tilings even if we allow some (sparse enough) tiling errors. For the latter we develop a hierarchical classification of points in random sets into islands of different ranks. Finally, we combine and modify our tools to prove our main result: there exists a tile set such that all tilings have high Kolmogorov complexity even if (sparse enough) tiling errors are allowed. △ Less

Submitted 4 December, 2014; v1 submitted 13 October, 2009; originally announced October 2009.

Comments: v7: updated reference to S.G.Simpson's paper

Algorithmic Information Theory and Foundations of Probability

Authors: Alexander Shen

Abstract: The use of algorithmic information theory (Kolmogorov complexity theory) to explain the relation between mathematical probability theory and `real world' is discussed. The use of algorithmic information theory (Kolmogorov complexity theory) to explain the relation between mathematical probability theory and `real world' is discussed. △ Less

Submitted 24 June, 2009; originally announced June 2009.

MSC Class: 60A05

Algorithmic information theory and martingales

Authors: Laurent Bienvenu, Alexander Shen

Abstract: The notion of an individual random sequence goes back to von Mises. We describe the evolution of this notion, especially the use of martingales (suggested by Ville), and the development of algorithmic information theory in 1960s and 1970s (Solomonov, Kolmogorov, Martin-Lof, Levin, Chaitin, Schnorr and others). We conclude with some remarks about the use of the algorithmic information theory in t… ▽ More The notion of an individual random sequence goes back to von Mises. We describe the evolution of this notion, especially the use of martingales (suggested by Ville), and the development of algorithmic information theory in 1960s and 1970s (Solomonov, Kolmogorov, Martin-Lof, Levin, Chaitin, Schnorr and others). We conclude with some remarks about the use of the algorithmic information theory in the foundations of probability theory. △ Less

Submitted 15 June, 2009; originally announced June 2009.

MSC Class: 68Q30; 60A99