-
arXiv:2409.01551 [pdf, ps, other]
$ω$-well-filtered spaces, revisited
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
Submitted 2 September, 2024; originally announced September 2024.
-
arXiv:2405.09304 [pdf, ps, other]
Kolmogorov complexity as a combinatorial tool
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).
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
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
Submitted 2 April, 2024; originally announced April 2024.
MSC Class: 01A20
-
arXiv:2403.01534 [pdf, ps, other]
Conditional normality and finite-state dimensions revisited
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
Submitted 3 March, 2024; originally announced March 2024.
MSC Class: 68Q45 ACM Class: F.1.1
-
Israil Moiseevich Gelfand [In Russian]
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).
Submitted 23 August, 2023; originally announced August 2023.
Comments: In Russian
MSC Class: 97C70; 97D30 ACM Class: A.0
-
Ergodic theorem and algorithmic randomness
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).
Submitted 22 June, 2023; originally announced June 2023.
Comments: Russian version appended
MSC Class: 03D32; 37A30
-
Constructive mathematics and teaching
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
Submitted 31 May, 2023; originally announced May 2023.
Comments: Talk at CM:FP 2023 (Constructive mathematics: foundations and practice) conference
MSC Class: 97D40
-
arXiv:2304.04852 [pdf, ps, other]
The Kraft--Barmpalias--Lewis-Pye lemma revisited
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).
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)
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
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
-
arXiv:2209.07243 [pdf, ps, other]
Inequalities for entropies and dimensions
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.
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
-
arXiv:2111.00857 [pdf, ps, other]
Individual codewords
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.
Submitted 1 November, 2021; originally announced November 2021.
MSC Class: 68Q30; 94B05
-
arXiv:2111.00516 [pdf, ps, other]
Gács-Kučera's Theorem Revisited by Levin
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
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
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
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
-
arXiv:2008.02773 [pdf, ps, other]
Mathematical works of Vladimir A. Uspensky: A commentary
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.
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
-
arXiv:2004.02844 [pdf, ps, other]
Complexity of majorants
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)$.
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
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
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
-
arXiv:1811.06860 [pdf, ps, other]
Priority arguments and separation problems
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
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
-
arXiv:1811.06259 [pdf, ps, other]
Axiomatic approach to the theory of algorithms and relativized computability
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
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
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
Submitted 31 May, 2018; originally announced May 2018.
Comments: 1 figure
MSC Class: 51M15 ACM Class: F.1
-
arXiv:1801.04742 [pdf, ps, other]
Hilbert's Error?
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
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
-
arXiv:1709.05266 [pdf, ps, other]
Dimension 1 sequences are close to randoms
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
Submitted 15 September, 2017; originally announced September 2017.
Comments: 19 pages
MSC Class: 03D32; 68Q30
-
arXiv:1708.08100 [pdf, ps, other]
Plain stopping time and conditional complexities revisited
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
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
Abstract: We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lovász local lemma.
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
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
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
-
arXiv:1607.04240 [pdf, ps, other]
Conditional probabilities and van Lambalgen theorem revisited
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
Submitted 14 July, 2016; originally announced July 2016.
MSC Class: 68Q30; 03D32 ACM Class: G.3
-
Layerwise computability and image randomness
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
Submitted 14 July, 2016; originally announced July 2016.
MSC Class: 03D32 ACM Class: G.3
-
Generic algorithms for halting problem and optimal machines revisited
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
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
-
arXiv:1504.04955 [pdf, ps, other]
Around Kolmogorov complexity: basic notions and results
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
Submitted 20 April, 2015; originally announced April 2015.
MSC Class: 68Q30 ACM Class: H.1.1
-
arXiv:1407.4259 [pdf, ps, other]
K-trivial, K-low and MLR-low sequences: a tutorial
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
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)
-
arXiv:1405.5139 [pdf, ps, other]
Algorithmic identification of probabilities is hard
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
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
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
Submitted 15 January, 2013; originally announced January 2013.
MSC Class: 03B10; 03D32; 03H15 ACM Class: F.4.1
-
arXiv:1204.0201 [pdf, ps, other]
Limit complexities revisited [once more]
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
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
-
arXiv:1204.0198 [pdf, ps, other]
Game arguments in computability theory and algorithmic information theory
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
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
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
Submitted 20 February, 2018; v1 submitted 13 December, 2011; originally announced December 2011.
-
arXiv:1110.5028 [pdf, ps, other]
Random semicomputable reals revisited
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
Submitted 23 October, 2011; originally announced October 2011.
Comments: 15 pages
MSC Class: 03D32; 68Q30 ACM Class: F.1
-
arXiv:1109.5526 [pdf, ps, other]
Are random axioms useful?
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
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
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
Submitted 26 May, 2011; v1 submitted 8 March, 2011; originally announced March 2011.
MSC Class: 03D32; 68Q30 ACM Class: F.1
-
arXiv:1102.5418 [pdf, ps, other]
Kolmogorov complexity as a language
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
Submitted 26 February, 2011; originally announced February 2011.
Comments: Invited talk prepared for CSR 2011
MSC Class: 68Q30; 03D32 ACM Class: F.1.1
-
arXiv:1007.5249 [pdf, ps, other]
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
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
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
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
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)
-
arXiv:1003.4712 [pdf, ps, other]
Game interpretation of Kolmogorov complexity
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
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
-
arXiv:1003.3103 [pdf, ps, other]
Effective closed subshifts in 1D can be implemented in 2D
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.
Submitted 16 March, 2010; originally announced March 2010.
Comments: 9 pages, 2 figures
-
arXiv:1003.2801 [pdf, ps, other]
Fixed point theorem and aperiodic tilings
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
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
-
arXiv:1001.4462 [pdf, ps, other]
Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One
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.
Submitted 7 April, 2010; v1 submitted 25 January, 2010; originally announced January 2010.
MSC Class: 68Q30 ACM Class: F.1.3
-
arXiv:0912.4269 [pdf, ps, other]
Test Martingales, Bayes Factors and $p$-Values
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
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
-
arXiv:0910.2415 [pdf, ps, other]
Fixed-point tile sets and their applications
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
Submitted 4 December, 2014; v1 submitted 13 October, 2009; originally announced October 2009.
Comments: v7: updated reference to S.G.Simpson's paper
-
arXiv:0906.4411 [pdf, ps, other]
Algorithmic Information Theory and Foundations of Probability
Abstract: The use of algorithmic information theory (Kolmogorov complexity theory) to explain the relation between mathematical probability theory and `real world' is discussed.
Submitted 24 June, 2009; originally announced June 2009.
MSC Class: 60A05
-
arXiv:0906.2614 [pdf, ps, other]
Algorithmic information theory and martingales
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
Submitted 15 June, 2009; originally announced June 2009.
MSC Class: 68Q30; 60A99