3,191 research outputs found
Generic expansions of countable models
We compare two different notions of generic expansions of countable saturated
structures. One kind of genericity is related to model-companions and to
amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of
generic expansion is defined via topological properties and Baire category
theory. The second type of genericity was first formulated by Truss for
automorphisms. We work with a later generalization, due to Ivanov, to finite
tuples of predicates and functions
Natural models of theories of green points
We explicitly present expansions of the complex field which are models of the
theories of green points in the multiplicative group case and in the case of an
elliptic curve without complex multiplication defined over . In
fact, in both cases we give families of structures depending on parameters and
prove that they are all models of the theories, provided certain instances of
Schanuel's conjecture or an analogous conjecture for the exponential map of the
elliptic curve hold. In the multiplicative group case, however, the results are
unconditional for generic choices of the parameters
Borel complexity of sets of normal numbers via generic points in subshifts with specification
We study the Borel complexity of sets of normal numbers in several numeration
systems. Taking a dynamical point of view, we offer a unified treatment for
continued fraction expansions and base expansions, and their various
generalisations: generalised L\"uroth series expansions and -expansions.
In fact, we consider subshifts over a countable alphabet generated by all
possible expansions of numbers in . Then normal numbers correspond to
generic points of shift-invariant measures. It turns out that for these
subshifts the set of generic points for a shift-invariant probability measure
is precisely at the third level of the Borel hierarchy (it is a
-complete set, meaning that it is a countable intersection of
-sets, but it is not possible to write it as a countable union of
-sets). We also solve a problem of Sharkovsky--Sivak on the Borel
complexity of the basin of statistical attraction. The crucial dynamical
feature we need is a feeble form of specification. All expansions named above
generate subshifts with this property. Hence the sets of normal numbers under
consideration are -complete.Comment: A talk explaining this paper may be found at
https://www.youtube.com/watch?v=g9va0ZzVIj
Arithmetic Dynamics
This survey paper is aimed to describe a relatively new branch of symbolic
dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic
expansions of reals and vectors that have a "dynamical" sense. This means
precisely that they (semi-) conjugate a given continuous (or
measure-preserving) dynamical system and a symbolic one. The classes of
dynamical systems and their codings considered in the paper involve: (1)
Beta-expansions, i.e., the radix expansions in non-integer bases; (2)
"Rotational" expansions which arise in the problem of encoding of irrational
rotations of the circle; (3) Toral expansions which naturally appear in
arithmetic symbolic codings of algebraic toral automorphisms (mostly
hyperbolic).
We study ergodic-theoretic and probabilistic properties of these expansions
and their applications. Besides, in some cases we create "redundant"
representations (those whose space of "digits" is a priori larger than
necessary) and study their combinatorics.Comment: 45 pages in Latex + 3 figures in ep
Ramsey precompact expansions of homogeneous directed graphs
In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute
an invariant of topological groups known as the universal minimal flow,
immediately leading to an explicit representation of this invariant in many
concrete cases. More recently, the framework was generalized allowing for
further applications, and the purpose of this paper is to apply these new
methods in the context of homogeneous directed graphs.
In this paper, we show that the age of any homogeneous directed graph allows
a Ramsey precompact expansion. Moreover, we verify the relative expansion
properties and consequently describe the respective universal minimal flows
- …