• D

F Nous contacter

0

# Documents  11B85 | enregistrements trouvés : 4

O

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

## Post-edited  Applications of algebra to automatic sequences and pattern avoidance - Lecture 1 Bell, Jason P. (Auteur de la Conférence) | CIRM (Editeur )

We will cover some of the more important results from commutative and noncommutative algebra as far as applications to automatic sequences, pattern avoidance, and related areas. Well give an overview of some applications of these areas to the study of automatic and regular sequences and combinatorics on words.

## Multi angle  Logic, decidability and numeration systems - Lecture 1 Charlier, Émilie (Auteur de la Conférence) | CIRM (Editeur )

The theorem of Büchi-Bruyère states that a subset of $N^d$ is $b$-recognizable if and only if it is $b$-definable. As a corollary, the first-order theory of $(N,+,V_b)$ is decidable (where $V_b(n)$ is the largest power of the base $b$ dividing $n$). This classical result is a powerful tool in order to show that many properties of $b$-automatic sequences are decidable. The first part of my lecture will be devoted to presenting this result and its applications to $b$-automatic sequences. Then I will move to $b$-regular sequences, which can be viewed as a generalization of $b$-automatic sequences to integer-valued sequences. I will explain bow first-order logic can be used to show that many enumeration problems of $b$-automatic sequences give rise to corresponding $b$-regular sequences. Finally, I will consider more general frameworks than integer bases and (try to) give a state of the art of the research in this domain. The theorem of Büchi-Bruyère states that a subset of $N^d$ is $b$-recognizable if and only if it is $b$-definable. As a corollary, the first-order theory of $(N,+,V_b)$ is decidable (where $V_b(n)$ is the largest power of the base $b$ dividing $n$). This classical result is a powerful tool in order to show that many properties of $b$-automatic sequences are decidable. The first part of my lecture will be devoted to presenting this result and its ...

## Single angle  Automatic sequences along squares and primes Drmota, Michael (Auteur de la Conférence) | CIRM (Editeur )

Automatic sequences and their number theoretic properties have been intensively studied during the last 20 or 30 years. Since automatic sequences are quite regular (they just have linear subword complexity) they are definitely no "quasi-random" sequences. However, the situation changes drastically when one uses proper subsequences, for example the subsequence along primes or squares. It is conjectured that the resulting sequences are normal sequences which could be already proved for the Thue-Morse sequence along the subsequence of squares.
This kind of research is very challenging and was mainly motivated by the Gelfond problems for the sum-of-digits function. In particular during the last few years there was a spectacular progress due to the Fourier analytic method by Mauduit and Rivat. In this talk we survey some of these recent developments. In particular we present a new result on subsequences along primes of so-called invertible automatic sequences.
Automatic sequences and their number theoretic properties have been intensively studied during the last 20 or 30 years. Since automatic sequences are quite regular (they just have linear subword complexity) they are definitely no "quasi-random" sequences. However, the situation changes drastically when one uses proper subsequences, for example the subsequence along primes or squares. It is conjectured that the resulting sequences are normal ...

11B85

##### Codes MSC

Nuage de mots clefs ici

Z