arXiv subjects

George Barmpalias

Publications and source records attributed to George Barmpalias.

41 records · Page 3Linked to original sources

arXiv2015

Integer Valued Betting strategies and Turing Degrees

Betting strategies are often expressed formally as martingales. A martingale is called integer-valued if each bet must be an integer value. Integer-valued strategies correspond to the fact that in most betting situations, there is a minimum amount that a player can bet. According to a well known paradigm, algorithmic randomness can be founded on the notion of betting strategies. A real X is called integer-valued random if no effective integer-valued martingale succeeds on X. It turns out that this notion of randomness has interesting interactions with genericity and the computably enumerable degrees. We investigate the computational power of the integer-valued random reals in terms of standard notions from computability theory.

cs.GT↗

arXiv2014

Tipping Points in Schelling Segregation

One of the earliest agent-based economical models, Schelling's spacial proximity model illustrated how global segregation can emerge, often unwanted, from the actions of agents of two races acting in accordance with their individual local preferences. Here a 1-dimensional unperturbed variant of the model is studied, which is additionally open in the sense that agents may enter and exit the model. Following the authors' previous work in [1] and that of Brandt, Immorlica, Kamath, and Kleinberg in [2], rigorous results are established, whose statements are asymptotic in both the model and neighbourhood sizes. The current model's openness allows one race or the other to take over almost everywhere in a measure-theoretic sense. Tipping points are identified between the two regions of takeover and the region of staticity, in terms of the parameters of the model. In a significant generalization from previous work, the parameters comprise the initial proportions of the two races, along with independent values of the tolerance for each race.

cs.GT↗

arXiv2013

Universal computably enumerable sets and initial segment prefix-free complexity

We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set $A$ with non-trivial prefix-free initial segment complexity, there exists a Turing complete computably enumerable set $B$ with complexity strictly less than the complexity of $A$. On the other hand it is known that sets with trivial initial segment prefix-free complexity are not Turing complete. Moreover we give a generalization of this result for any finite collection of computably enumerable sets $A_i, i<k$ with non-trivial initial segment prefix-free complexity. An application of this gives a negative answer to a question from \cite[Section 11.12]{rodenisbook} and \cite{MRmerstcdhdtd} which asked for minimal pairs in the structure of the c.e.\ reals ordered by their initial segment prefix-free complexity. Further consequences concern various notions of degrees of randomness. For example, the Solovay degrees and the $K$-degrees of computably enumerable reals and computably enumerable sets are not elementarily equivalent. Also, the degrees of randomness based on plain and prefix-free complexity are not elementarily equivalent; the same holds for their $Δ^0_2$ and $Σ^0_1$ substructures.

math.LO↗

arXiv2013

Kolmogorov complexity and computably enumerable sets

We study the computably enumerable sets in terms of the: (a) Kolmogorov complexity of their initial segments; (b) Kolmogorov complexity of finite programs when they are used as oracles. We present an extended discussion of the existing research on this topic, along with recent developments and open problems. Besides this survey, our main original result is the following characterization of the computably enumerable sets with trivial initial segment prefix-free complexity. A computably enumerable set $A$ is $K$-trivial if and only if the family of sets with complexity bounded by the complexity of $A$ is uniformly computable from the halting problem.

math.LO↗

arXiv2011

The typical Turing degree

The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any given Turing degree, the satisfying class will either be of Lebesgue measure 0 or 1, so long as it is measurable. So either the \emph{typical} degree satisfies the property, or else the typical degree satisfies its negation. Further, there is then some level of randomness sufficient to ensure typicality in this regard. A similar analysis can be made in terms of Baire category, where a standard form of genericity now plays the role that randomness plays in the context of measure. We describe and prove a number of results in a programme of research which aims to establish the properties of the typical Turing degree, where typicality is gauged either in terms of Lebesgue measure or Baire category.

math.LO↗