16,224 research outputs found
Expansions of the real field by open sets: definability versus interpretability
An open set U of the real numbers R is produced such that the expansion
(R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does
not define N. It follows that (R,+,x,U) defines sets in every level of the
projective hierarchy but does not define all projective sets. This result is
elaborated in various ways that involve geometric measure theory and working
over o-minimal expansions of (R,+,x). In particular, there is a Cantor subset K
of R such that for every exponentially bounded o-minimal expansion M of
(R,+,x), every subset of R definable in (M,K) either has interior or is
Hausdorff null.Comment: 14 page
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
Some aspects of the SD-world
We survey a few of the many results now known about the self-distributivity
law and selfdistributive structures, with a special emphasis on the associated
word problems and the algorithms solving them in good cases
A Hybrid of Darboux's Method and Singularity Analysis in Combinatorial Asymptotics
A ``hybrid method'', dedicated to asymptotic coefficient extraction in
combinatorial generating functions, is presented, which combines Darboux's
method and singularity analysis theory. This hybrid method applies to functions
that remain of moderate growth near the unit circle and satisfy suitable
smoothness assumptions--this, even in the case when the unit circle is a
natural boundary. A prime application is to coefficients of several types of
infinite product generating functions, for which full asymptotic expansions
(involving periodic fluctuations at higher orders) can be derived. Examples
relative to permutations, trees, and polynomials over finite fields are treated
in this way.Comment: 31 page
- …