Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
shorttalksfebruary2021 [2022/10/30 23:04] – old revision restored (2020/12/14 20:23) 139.124.146.3 | shorttalksfebruary2021 [2022/10/30 23:04] (current) – old revision restored (2020/12/09 12:11) 139.124.146.3 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
This mini-event, organized by [[start|One World Combinatorics on Words Seminar]], is designed to take the place of a small and very informal conference in our field, since many of us miss direct communication of this kind. | This mini-event, organized by [[start|One World Combinatorics on Words Seminar]], is designed to take the place of a small and very informal conference in our field, since many of us miss direct communication of this kind. | ||
Line 16: | Line 16: | ||
Today, we hardly know anything about the geometrical and topological properties of these unbalanced Rauzy fractals. The Oseledets theorem suggests that these fractals are contained in a strip of the plane: indeed, if the Lyapunov exponents of the matricial product associated with the word exist, one of these exponents at least is nonpositive since their sum equals zero. | Today, we hardly know anything about the geometrical and topological properties of these unbalanced Rauzy fractals. The Oseledets theorem suggests that these fractals are contained in a strip of the plane: indeed, if the Lyapunov exponents of the matricial product associated with the word exist, one of these exponents at least is nonpositive since their sum equals zero. | ||
The study of the pairs of abelianized factors of Arnoux-Rauzy words disproves this belief. | The study of the pairs of abelianized factors of Arnoux-Rauzy words disproves this belief. | ||
- | |||
- | **Célia Cisternino** //Two applications of the composition of a $2$-tape automaton and a weighted automaton// | ||
- | |||
- | Starting with a $2$-tape automaton ${\mathcal A}$ and a weighted automaton ${\mathcal B}$, we can obtain a new $K$-automaton using an ad hoc operation that can be considered as the composition ${\mathcal B}\circ {\mathcal A}$. First, I will define and illustrate this operation. Next, I will present an application of this operation on automata in terms of synchronized relation and formal series. In particular, using the characterization of synchronized sequences in terms of synchronized relations and that of regular sequences in terms of formal series, I will present two consequences of this composition of automata in the theory of regular sequences. | ||
- | |||
- | This is a joint work with Émilie Charlier and Manon Stipulanti based on two recent papers: [[https:// | ||
** Anna Frid** //The semigroup of trimmed morphisms// | ** Anna Frid** //The semigroup of trimmed morphisms// | ||
Line 35: | Line 29: | ||
To achieve these results, we introduce a novel data-structure, | To achieve these results, we introduce a novel data-structure, | ||
- | |||
- | ** Christophe Reutenauer ** //An arithmetical characterization of Christoffel words// | ||
- | |||
- | Christoffel word have many combinatorial characterizations. | ||
- | I propose a new one, of arithmetical nature: a primitive word on the alphabet $11$, $22$ is a Christoffel word if and only if for any of its conjugates, $u=a_1\cdots a_{2n}$ say, one has | ||
- | $p(a_1, | ||
- | |||
- | Here $p(x_1, | ||
- | $p(x_1, | ||
- | |||
- | These polynomials are well-known in the theory of continued fractions. One has for example $p(x, | ||
- | |||
- | The characterization above is motivated by the theory of Markoff. As intermediate result, I prove another characterization: | ||
- | a primitive word $w$ on the alphabet $\{a< | ||
- | |||
- | |||
** Jeffrey | ** Jeffrey |