-
Automatic Abelian Complexities of Parikh-Collinear Fixed Points
Authors:
Michel Rigo,
Manon Stipulanti,
Markus A. Whiteland
Abstract:
Parikh-collinear morphisms have the property that all the Parikh vectors of the images of letters are collinear, i.e., the associated adjacency matrix has rank 1. In the conference DLT-WORDS 2023 we showed that fixed points of Parikh-collinear morphisms are automatic. We also showed that the abelian complexity function of a binary fixed point of such a morphism is automatic under some assumptions.…
▽ More
Parikh-collinear morphisms have the property that all the Parikh vectors of the images of letters are collinear, i.e., the associated adjacency matrix has rank 1. In the conference DLT-WORDS 2023 we showed that fixed points of Parikh-collinear morphisms are automatic. We also showed that the abelian complexity function of a binary fixed point of such a morphism is automatic under some assumptions. In this note, we fully generalize the latter result. Namely, we show that the abelian complexity function of a fixed point of an arbitrary, possibly erasing, Parikh-collinear morphism is automatic. Furthermore, a deterministic finite automaton with output generating this abelian complexity function is provided by an effective procedure. To that end, we discuss the constant of recognizability of a morphism and the related cutting set.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Introducing q-deformed binomial coefficients of words
Authors:
Antoine Renard,
Michel Rigo,
Markus A. Whiteland
Abstract:
Gaussian binomial coefficients are q-analogues of the binomial coefficients of integers. On the other hand, binomial coefficients have been extended to finite words, i.e., elements of the finitely generated free monoids. In this paper we bring together these two notions by introducing q-analogues of binomial coefficients of words. We study their basic properties, e.g., by extending classical formu…
▽ More
Gaussian binomial coefficients are q-analogues of the binomial coefficients of integers. On the other hand, binomial coefficients have been extended to finite words, i.e., elements of the finitely generated free monoids. In this paper we bring together these two notions by introducing q-analogues of binomial coefficients of words. We study their basic properties, e.g., by extending classical formulas such as the q-Vandermonde and Manvel's et al. identities to our setting. As a consequence, we get information about the structure of the considered words: these q-deformations of binomial coefficients of words contain much richer information than the original coefficients. From an algebraic perspective, we introduce a q-shuffle and a family q-infiltration products for non-commutative formal power series. Finally, we apply our results to generalize a theorem of Eilenberg characterizing so-called p-group languages. We show that a language is of this type if and only if it is a Boolean combination of specific languages defined through q-binomial coefficients seen as polynomials over $\mathbb{F}_p$.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
q-Parikh Matrices and q-deformed binomial coefficients of words
Authors:
Antoine Renard,
Michel Rigo,
Markus A. Whiteland
Abstract:
We have introduced a q-deformation, i.e., a polynomial in q with natural coefficients, of the binomial coefficient of two finite words u and v counting the number of occurrences of v as a subword of u. In this paper, we examine the q-deformation of Parikh matrices as introduced by Eğecioğlu in 2004.
Many classical results concerning Parikh matrices generalize to this new framework: Our first imp…
▽ More
We have introduced a q-deformation, i.e., a polynomial in q with natural coefficients, of the binomial coefficient of two finite words u and v counting the number of occurrences of v as a subword of u. In this paper, we examine the q-deformation of Parikh matrices as introduced by Eğecioğlu in 2004.
Many classical results concerning Parikh matrices generalize to this new framework: Our first important observation is that the elements of such a matrix are in fact q-deformations of binomial coefficients of words. We also study their inverses and as an application, we obtain new identities about q-binomials.
For a finite word z and for the sequence $(p_n)_{n\ge 0}$ of prefixes of an infinite word, we show that the polynomial sequence $\binom{p_n}{z}_q$ converges to a formal series. We present links with additive number theory and k-regular sequences. In the case of a periodic word $u^ω$, we generalize a result of Salomaa: the sequence $\binom{u^n}{z}_q$ satisfies a linear recurrence relation with polynomial coefficients. Related to the theory of integer partition, we describe the growth and the zero set of the coefficients of the series associated with $u^ω$.
Finally, we show that the minors of a q-Parikh matrix are polynomials with natural coefficients and consider a generalization of Cauchy's inequality. We also compare q-Parikh matrices associated with an arbitrary word with those associated with a canonical word $12\cdots k$ made of pairwise distinct symbols.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Solving the nuclear pairing model with neural network quantum states
Authors:
Mauro Rigo,
Benjamin Hall,
Morten Hjorth-Jensen,
Alessandro Lovato,
Francesco Pederiva
Abstract:
We present a variational Monte Carlo method that solves the nuclear many-body problem in the occupation number formalism exploiting an artificial neural network representation of the ground-state wave function. A memory-efficient version of the stochastic reconfiguration algorithm is developed to train the network by minimizing the expectation value of the Hamiltonian. We benchmark this approach a…
▽ More
We present a variational Monte Carlo method that solves the nuclear many-body problem in the occupation number formalism exploiting an artificial neural network representation of the ground-state wave function. A memory-efficient version of the stochastic reconfiguration algorithm is developed to train the network by minimizing the expectation value of the Hamiltonian. We benchmark this approach against widely used nuclear many-body methods by solving a model used to describe pairing in nuclei for different types of interaction and different values of the interaction strength. Despite its polynomial computational cost, our method outperforms coupled-cluster and provides energies that are in excellent agreement with the numerically-exact full configuration interaction values.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
On extended boundary sequences of morphic and Sturmian words
Authors:
Michel Rigo,
Manon Stipulanti,
Markus A. Whiteland
Abstract:
Generalizing the notion of the boundary sequence introduced by Chen and Wen, the $n$th term of the $\ell$-boundary sequence of an infinite word is the finite set of pairs $(u,v)$ of prefixes and suffixes of length $\ell$ appearing in factors $uyv$ of length $n+\ell$ ($n\ge \ell\ge 1$). Otherwise stated, for increasing values of $n$, one looks for all pairs of factors of length $\ell$ separated by…
▽ More
Generalizing the notion of the boundary sequence introduced by Chen and Wen, the $n$th term of the $\ell$-boundary sequence of an infinite word is the finite set of pairs $(u,v)$ of prefixes and suffixes of length $\ell$ appearing in factors $uyv$ of length $n+\ell$ ($n\ge \ell\ge 1$). Otherwise stated, for increasing values of $n$, one looks for all pairs of factors of length $\ell$ separated by $n-\ell$ symbols.
For the large class of addable abstract numeration systems $S$, we show that if an infinite word is $S$-automatic, then the same holds for its $\ell$-boundary sequence. In particular, they are both morphic (or generated by an HD0L system). To precise the limits of this result, we discuss examples of non-addable numeration systems and $S$-automatic words for which the boundary sequence is nevertheless $S$-automatic and conversely, $S$-automatic words with a boundary sequence that is not $S$-automatic. In the second part of the paper, we study the $\ell$-boundary sequence of a Sturmian word. We show that it is obtained through a sliding block code from the characteristic Sturmian word of the same slope. We also show that it is the image under a morphism of some other characteristic Sturmian word.
△ Less
Submitted 8 December, 2022; v1 submitted 30 June, 2022;
originally announced June 2022.
-
On digital sequences associated with Pascal's triangle
Authors:
Pierre Mathonet,
Michel Rigo,
Manon Stipulanti,
Naïm Zénaïdi
Abstract:
We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence.…
▽ More
We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~$p$. This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Characterizations of families of morphisms and words via binomial complexities
Authors:
Michel Rigo,
Manon Stipulanti,
Markus A. Whiteland
Abstract:
Two words are $k$-binomially equivalent if each subword of length at most $k$ occurs the same number of times in both words. The $k$-binomial complexity of an infinite word is a counting function that maps $n$ to the number of $k$-binomial equivalence classes represented by its factors of length $n$. Cassaigne et al. [Int. J. Found. Comput. S., 22(4) (2011)] characterized a family of morphisms, wh…
▽ More
Two words are $k$-binomially equivalent if each subword of length at most $k$ occurs the same number of times in both words. The $k$-binomial complexity of an infinite word is a counting function that maps $n$ to the number of $k$-binomial equivalence classes represented by its factors of length $n$. Cassaigne et al. [Int. J. Found. Comput. S., 22(4) (2011)] characterized a family of morphisms, which we call Parikh-collinear, as those morphisms that map all words to words with bounded $1$-binomial complexity. Firstly, we extend this characterization: they map words with bounded $k$-binomial complexity to words with bounded $(k+1)$-binomial complexity. As a consequence, fixed points of Parikh-collinear morphisms are shown to have bounded $k$-binomial complexity for all $k$. Secondly, we give a new characterization of Sturmian words with respect to their $k$-binomial complexity. Then we characterize recurrent words having, for some $k$, the same $j$-binomial complexity as the Thue-Morse word for all $j\le k$. Finally, inspired by questions raised by Lejeune, we study the relationships between the $k$- and $(k+1)$-binomial complexities of infinite words; as well as the link with the usual factor complexity.
△ Less
Submitted 6 December, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Revisiting regular sequences in light of rational base numeration systems
Authors:
Michel Rigo,
Manon Stipulanti
Abstract:
Regular sequences generalize the extensively studied automatic sequences. Let $S$ be an abstract numeration system. When the numeration language $L$ is prefix-closed and regular, a sequence is said to be $S$-regular if the module generated by its $S$-kernel is finitely generated.
In this paper, we give a new characterization of such sequences in terms of the underlying numeration tree $T(L)$ who…
▽ More
Regular sequences generalize the extensively studied automatic sequences. Let $S$ be an abstract numeration system. When the numeration language $L$ is prefix-closed and regular, a sequence is said to be $S$-regular if the module generated by its $S$-kernel is finitely generated.
In this paper, we give a new characterization of such sequences in terms of the underlying numeration tree $T(L)$ whose nodes are words of $L$. We may decorate these nodes by the sequence of interest following a breadth-first enumeration. For a prefix-closed regular language $L$, we prove that a sequence is $S$-regular if and only if the tree $T(L)$ decorated by the sequence is linear, i.e., the decoration of a node depends linearly on the decorations of a fixed number of ancestors.
Next, we introduce and study regular sequences in a rational base numeration system, whose numeration language is known to be highly non-regular. We motivate and comment our definition that a sequence is $\frac{p}{q}$-regular if the underlying numeration tree decorated by the sequence is linear. We give the first few properties of such sequences, we provide a few examples of them, and we propose a method for guessing $\frac{p}{q}$-regularity. Then we discuss the relationship between $\frac{p}{q}$-automatic sequences and $\frac{p}{q}$-regular sequences. We finally present a graph directed linear representation of a $\frac{p}{q}$-regular sequence. Our study permits us to highlight the places where the regularity of the numeration language plays a predominant role.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Automatic sequences: from rational bases to trees
Authors:
Michel Rigo,
Manon Stipulanti
Abstract:
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, ratio…
▽ More
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with $r$-block substitutions where $r$ morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
△ Less
Submitted 21 June, 2022; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Ultimate periodicity problem for linear numeration systems
Authors:
E. Charlier,
A. Massuir,
M. Rigo,
E. Rowland
Abstract:
We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set $X\subseteq\mathbb{N}$, i.e. the set of its greedy $U$-representations is recognized by a finite automaton, decide whether or not $X$ is ultimately periodic. We prove that this problem is decidable for a large class of numeration systems built on linearly recurrent sequences. Based on arithmetical c…
▽ More
We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set $X\subseteq\mathbb{N}$, i.e. the set of its greedy $U$-representations is recognized by a finite automaton, decide whether or not $X$ is ultimately periodic. We prove that this problem is decidable for a large class of numeration systems built on linearly recurrent sequences. Based on arithmetical considerations about the recurrence equation and on $p$-adic methods, the DFA given as input provides a bound on the admissible periods to test.
△ Less
Submitted 10 December, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
On the binomial equivalence classes of finite words
Authors:
Marie Lejeune,
Michel Rigo,
Matthieu Rosenfeld
Abstract:
Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the $k$-binomial equivalence with a special focus on the cardinalities of the classes.…
▽ More
Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the $k$-binomial equivalence with a special focus on the cardinalities of the classes. We provide an algorithm generating the $2$-binomial equivalence class of a word. For $k \geq 2$ and alphabet of $3$ or more symbols, the language made of lexicographically least elements of every $k$-binomial equivalence class and the language of singletons, i.e., the words whose $k$-binomial equivalence class is restricted to a single element, are shown to be non context-free. As a consequence of our discussions, we also prove that the submonoid generated by the generators of the free nil-$2$ group on $m$ generators is isomorphic to the quotient of the free monoid $\{ 1, \ldots , m\}^{*}$ by the $2$-binomial equivalence.
△ Less
Submitted 31 January, 2020;
originally announced January 2020.
-
Reconstructing Words from Right-Bounded-Block Words
Authors:
Pamela Fleischmann,
Marie Lejeune,
Florin Manea,
Dirk Nowotka,
Michel Rigo
Abstract:
A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word $w \in \{a, b\}^{*}$ can be reconstructed from the number of occurrences of at most $\min(|w|_a, |w|_b)+ 1$ scattered factors o…
▽ More
A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word $w \in \{a, b\}^{*}$ can be reconstructed from the number of occurrences of at most $\min(|w|_a, |w|_b)+ 1$ scattered factors of the form $a^{i} b$. Moreover, we generalize the result to alphabets of the form $\{1,\ldots,q\}$ by showing that at most $ \sum^{q-1}_{i=1} |w|_i (q-i+1)$ scattered factors suffices to reconstruct $w$. Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here.
△ Less
Submitted 16 March, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
The carry propagation of the successor function
Authors:
Valérie Berthé,
Christiane Frougny,
Michel Rigo,
Jacques Sakarovitch
Abstract:
Given any numeration system, we call carry propagation at a number $N$ the number of digits that are changed when going from the representation of $N$ to the one of $N+1$, and amortized carry propagation the limit of the mean of the carry propagations at the first $N$ integers, when $N$ tends to infinity, if this limit exists.
In the case of the usual base $p$ numeration system, it can be shown…
▽ More
Given any numeration system, we call carry propagation at a number $N$ the number of digits that are changed when going from the representation of $N$ to the one of $N+1$, and amortized carry propagation the limit of the mean of the carry propagations at the first $N$ integers, when $N$ tends to infinity, if this limit exists.
In the case of the usual base $p$ numeration system, it can be shown that the limit indeed exists and is equal to $p/(p-1)$. We recover a similar value for those numeration systems we consider and for which the limit exists.
We address the problem of the existence of the amortized carry propagation in non-standard numeration systems of various kinds: abstract numeration systems, rational base numeration systems, greedy numeration systems and beta-numeration. We tackle the problem by three different types of techniques: combinatorial, algebraic, and ergodic. For each kind of numeration systems that we consider, the relevant method allows for establishing sufficient conditions for the existence of the carry propagation and examples show that these conditions are close to being necessary conditions.
△ Less
Submitted 29 April, 2020; v1 submitted 2 July, 2019;
originally announced July 2019.
-
Taking-and-merging games as rewrite games
Authors:
Eric Duchêne,
Victor Marsault,
Aline Parreau,
Michel Rigo
Abstract:
This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules. We introduce and investigate taking-and-merging games, that is, where each rule is of the form a^k->epsilon.
We give sufficient conditions for a game to be such that the losing positions (resp. the positions with a given Grundy val…
▽ More
This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules. We introduce and investigate taking-and-merging games, that is, where each rule is of the form a^k->epsilon.
We give sufficient conditions for a game to be such that the losing positions (resp. the positions with a given Grundy value) form a regular language or a context-free language. We formulate several related open questions in parallel with the famous conjecture of Guy about the periodicity of the Grundy function of octal games.
Finally we show that more general rewrite games quickly lead to undecidable problems. Namely, it is undecidable whether there exists a winning position in a given regular language, even if we restrict to games where each move strictly reduces the length of the current position. We formulate several related open questions in parallel with the famous conjecture of Guy about the periodicity of the Grundy function of octal games.
△ Less
Submitted 21 September, 2020; v1 submitted 19 February, 2019;
originally announced February 2019.
-
Computing the $k$-binomial complexity of the Thue--Morse word
Authors:
Marie Lejeune,
Julien Leroy,
Michel Rigo
Abstract:
Two words are $k$-binomially equivalent whenever they share the same subwords, i.e., subsequences, of length at most $k$ with the same multiplicities. This is a refinement of both abelian equivalence and the Simon congruence. The $k$-binomial complexity of an infinite word $\mathbf{x}$ maps the integer $n$ to the number of classes in the quotient, by this $k$-binomial equivalence relation, of the…
▽ More
Two words are $k$-binomially equivalent whenever they share the same subwords, i.e., subsequences, of length at most $k$ with the same multiplicities. This is a refinement of both abelian equivalence and the Simon congruence. The $k$-binomial complexity of an infinite word $\mathbf{x}$ maps the integer $n$ to the number of classes in the quotient, by this $k$-binomial equivalence relation, of the set of factors of length $n$ occurring in $\mathbf{x}$. This complexity measure has not been investigated very much. In this paper, we characterize the $k$-binomial complexity of the Thue--Morse word. The result is striking, compared to more familiar complexity functions. Although the Thue--Morse word is aperiodic, its $k$-binomial complexity eventually takes only two values. In this paper, we first obtain general results about the number of occurrences of subwords appearing in iterates of the form $Ψ^\ell(w)$ for an arbitrary morphism $Ψ$. We also thoroughly describe the factors of the Thue--Morse word by introducing a relevant new equivalence relation.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Automatic sequences based on Parry or Bertrand numeration systems
Authors:
Adeline Massuir,
Jarkko Peltomäki,
Michel Rigo
Abstract:
We study the factor complexity and closure properties of automatic sequences based on Parry or Bertrand numeration systems. These automatic sequences can be viewed as generalizations of the more typical $k$-automatic sequences and Pisot-automatic sequences. We show that, like $k$-automatic sequences, Parry-automatic sequences have sublinear factor complexity while there exist Bertrand-automatic se…
▽ More
We study the factor complexity and closure properties of automatic sequences based on Parry or Bertrand numeration systems. These automatic sequences can be viewed as generalizations of the more typical $k$-automatic sequences and Pisot-automatic sequences. We show that, like $k$-automatic sequences, Parry-automatic sequences have sublinear factor complexity while there exist Bertrand-automatic sequences with superlinear factor complexity. We prove that the set of Parry-automatic sequences with respect to a fixed Parry numeration system is not closed under taking images by uniform substitutions or periodic deletion of letters. These closure properties hold for $k$-automatic sequences and Pisot-automatic sequences, so our result shows that these properties are lost when generalizing to Parry numeration systems and beyond. Moreover, we show that a multidimensional sequence is $U$-automatic with respect to a positional numeration system $U$ with regular language of numeration if and only if its $U$-kernel is finite.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
A Class of Automatic Sequences
Authors:
Michel Rigo,
Robert Underwood
Abstract:
Let $k\ge 2$. We prove that the characteristic sequence of a regular language over a $k$-letter alphabet is $k$-automatic. More generally, if $t\ge 2$ and $t,k$ are multiplicatively dependent, we show that the characteristic sequence of a regular language over a $t$-letter alphabet is $k$-automatic.
Let $k\ge 2$. We prove that the characteristic sequence of a regular language over a $k$-letter alphabet is $k$-automatic. More generally, if $t\ge 2$ and $t,k$ are multiplicatively dependent, we show that the characteristic sequence of a regular language over a $t$-letter alphabet is $k$-automatic.
△ Less
Submitted 20 July, 2018; v1 submitted 29 December, 2017;
originally announced December 2017.
-
Counting Subwords Occurrences in Base-b Expansions
Authors:
Julien Leroy,
Michel Rigo,
Manon Stipulanti
Abstract:
We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for…
▽ More
We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
Counting the number of non-zero coefficients in rows of generalized Pascal triangles
Authors:
Julien Leroy,
Michel Rigo,
Manon Stipulanti
Abstract:
This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This lea…
▽ More
This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This leads to a connection with the $2$-regular Stern-Brocot sequence and the sequence of denominators occurring in the Farey tree. Then we extend our construction to the Zeckendorf numeration system based on the Fibonacci sequence. Again our tree structure permits us to obtain recurrence relations for and the F-regularity of the corresponding sequence.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Behavior of digital sequences through exotic numeration systems
Authors:
Julien Leroy,
Michel Rigo,
Manon Stipulanti
Abstract:
Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of gene…
▽ More
Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of generalized Pascal triangles and binomial coefficients of words.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Generalized Pascal triangle for binomial coefficients of words
Authors:
Julien Leroy,
Michel Rigo,
Manon Stipulanti
Abstract:
We introduce a generalization of Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a word appears as a subsequence of another finite word. Similarly to the Sierpiński gasket that can be built as the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from Pascal triangle modulo $2$, we des…
▽ More
We introduce a generalization of Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a word appears as a subsequence of another finite word. Similarly to the Sierpiński gasket that can be built as the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from Pascal triangle modulo $2$, we describe and study the first properties of the subset of $[0, 1] \times [0, 1]$ associated with this extended Pascal triangle modulo a prime $p$.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention
Authors:
Bernard Boigelot,
Isabelle Mainz,
Victor Marsault,
Michel Rigo
Abstract:
Given an integer base $b>1$, a set of integers is represented in base $b$ by a language over $\{0,1,...,b-1\}$. The set is said to be $b$-recognisable if its representation is a regular language. It is known that eventually periodic sets are $b$-recognisable in every base $b$, and Cobham's theorem implies the converse: no other set is $b$-recognisable in every base $b$.
We are interested in deci…
▽ More
Given an integer base $b>1$, a set of integers is represented in base $b$ by a language over $\{0,1,...,b-1\}$. The set is said to be $b$-recognisable if its representation is a regular language. It is known that eventually periodic sets are $b$-recognisable in every base $b$, and Cobham's theorem implies the converse: no other set is $b$-recognisable in every base $b$.
We are interested in deciding whether a $b$-recognisable set of integers (given as a finite automaton) is eventually periodic. Honkala showed that this problem decidable in 1986 and recent developments give efficient decision algorithms. However, they only work when the integers are written with the least significant digit first.
In this work, we consider the natural order of digits (Most Significant Digit First) and give a quasi-linear algorithm to solve the problem in this case.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
Relations on words
Authors:
Michel Rigo
Abstract:
In the first part of this survey, we present classical notions arising in combinatorics on words: growth function of a language, complexity function of an infinite word, pattern avoidance, periodicity and uniform recurrence. Our presentation tries to set up a unified framework with respect to a given binary relation.
In the second part, we mainly focus on abelian equivalence, $k$-abelian equival…
▽ More
In the first part of this survey, we present classical notions arising in combinatorics on words: growth function of a language, complexity function of an infinite word, pattern avoidance, periodicity and uniform recurrence. Our presentation tries to set up a unified framework with respect to a given binary relation.
In the second part, we mainly focus on abelian equivalence, $k$-abelian equivalence, combinatorial coefficients and associated relations, Parikh matrices and $M$-equivalence. In particular, some new refinements of abelian equivalence are introduced.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Asymptotic properties of free monoid morphisms
Authors:
Emilie Charlier,
Julien Leroy,
Michel Rigo
Abstract:
Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^ω(a))$ is the image of a fixed point of a morphism $f$ under another morphism $g$, then there exist a non-erasing morphism $σ$ and a coding $τ$ such that $w =τ(σ^ω(b))$.
B…
▽ More
Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^ω(a))$ is the image of a fixed point of a morphism $f$ under another morphism $g$, then there exist a non-erasing morphism $σ$ and a coding $τ$ such that $w =τ(σ^ω(b))$.
Based on the Perron theorem about asymptotic properties of powers of non-negative matrices, our main contribution is an in-depth study of the growth type of iterated morphisms when one replaces erasing morphisms with non-erasing ones. We also explicitly provide an algorithm computing $σ$ and $τ$ from $f$ and $g$.
△ Less
Submitted 15 April, 2016; v1 submitted 1 July, 2015;
originally announced July 2015.
-
Deciding game invariance
Authors:
Eric Duchêne,
Aline Parreau,
Michel Rigo
Abstract:
Duchêne and Rigo introduced the notion of invariance for take-away games on heaps. Roughly speaking, these are games whose rulesets do not depend on the position. Given a sequence $S$ of positive tuples of integers, the question of whether there exists an invariant game having $S$ as set of $\mathcal{P}$-positions is relevant. In particular, it was recently proved by Larsson et al. that if $S$ is…
▽ More
Duchêne and Rigo introduced the notion of invariance for take-away games on heaps. Roughly speaking, these are games whose rulesets do not depend on the position. Given a sequence $S$ of positive tuples of integers, the question of whether there exists an invariant game having $S$ as set of $\mathcal{P}$-positions is relevant. In particular, it was recently proved by Larsson et al. that if $S$ is a pair of complementary Beatty sequences, then the answer to this question is always positive. In this paper, we show that for a fairly large set of sequences (expressed by infinite words), the answer to this question is decidable.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
A new approach to the $2$-regularity of the $\ell$-abelian complexity of $2$-automatic sequences
Authors:
Aline Parreau,
Michel Rigo,
Eric Rowland,
Elise Vandomme
Abstract:
We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general approach for studying the $\ell$-abelian complexity of $2$-automatic sequences. In particular, we prove that the period-doubling word and the Thue--Morse word…
▽ More
We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general approach for studying the $\ell$-abelian complexity of $2$-automatic sequences. In particular, we prove that the period-doubling word and the Thue--Morse word have $2$-abelian complexity sequences that are $2$-regular. Along the way, we also prove that the $2$-block codings of these two words have $1$-abelian complexity sequences that are $2$-regular.
△ Less
Submitted 19 February, 2015; v1 submitted 14 May, 2014;
originally announced May 2014.
-
Invariant games and non-homogeneous Beatty sequences
Authors:
Julien Cassaigne,
Eric Duchêne,
Michel Rigo
Abstract:
We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word and tools arising in symbolic dynamics and combinatorics on words, this characterization can be transl…
▽ More
We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word and tools arising in symbolic dynamics and combinatorics on words, this characterization can be translated to a decision procedure relying only on a few algebraic tests about algebraicity or rational independence. Given any four real numbers defining the two sequences, up to these tests, we can therefore decide whether or not such an invariant game exists.
△ Less
Submitted 8 December, 2013;
originally announced December 2013.
-
Avoiding 2-binomial squares and cubes
Authors:
M. Rao,
M. Rigo,
P. Salimov
Abstract:
Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement of the usual abelian equivalence. A 2-binomial square is a word $uv$ where $u$ and $v$ are 2-binomially equivalent.
In this paper, considering pure morphic wo…
▽ More
Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement of the usual abelian equivalence. A 2-binomial square is a word $uv$ where $u$ and $v$ are 2-binomially equivalent.
In this paper, considering pure morphic words, we prove that 2-binomial squares (resp. cubes) are avoidable over a 3-letter (resp. 2-letter) alphabet. The sizes of the alphabets are optimal.
△ Less
Submitted 17 October, 2013;
originally announced October 2013.
-
An analogue of Cobham's theorem for graph directed iterated function systems
Authors:
Emilie Charlier,
Julien Leroy,
Michel Rigo
Abstract:
Feng and Wang showed that two homogeneous iterated function systems in $\mathbb{R}$ with multiplicatively independent contraction ratios necessarily have different attractors. In this paper, we extend this result to graph directed iterated function systems in $\mathbb{R}^n$ with contraction ratios that are of the form $\frac{1}β$, for integers $β$. By using a result of Boigelot et al., this allows…
▽ More
Feng and Wang showed that two homogeneous iterated function systems in $\mathbb{R}$ with multiplicatively independent contraction ratios necessarily have different attractors. In this paper, we extend this result to graph directed iterated function systems in $\mathbb{R}^n$ with contraction ratios that are of the form $\frac{1}β$, for integers $β$. By using a result of Boigelot et al., this allows us to give a proof of a conjecture of Adamczewski and Bell. In doing so, we link the graph directed iterated function systems to Büchi automata. In particular, this link extends to real numbers $β$. We introduce a logical formalism that permits to characterize sets of $\mathbb{R}^n$ whose representations in base $β$ are recognized by some Büchi automata. This result depends on the algebraic properties of the base: $β$ being a Pisot or a Parry number. The main motivation of this work is to draw a general picture representing the different frameworks where an analogue of Cobham's theorem is known.
△ Less
Submitted 25 November, 2013; v1 submitted 1 October, 2013;
originally announced October 2013.
-
Numeration Systems: a Link between Number Theory and Formal Language Theory
Authors:
Michel Rigo
Abstract:
We survey facts mostly emerging from the seminal results of Alan Cobham obtained in the late sixties and early seventies. We do not attempt to be exhaustive but try instead to give some personal interpretations and some research directions. We discuss the notion of numeration systems, recognizable sets of integers and automatic sequences. We briefly sketch some results about transcendence related…
▽ More
We survey facts mostly emerging from the seminal results of Alan Cobham obtained in the late sixties and early seventies. We do not attempt to be exhaustive but try instead to give some personal interpretations and some research directions. We discuss the notion of numeration systems, recognizable sets of integers and automatic sequences. We briefly sketch some results about transcendence related to the representation of real numbers. We conclude with some applications to combinatorial game theory and verification of infinite-state systems and present a list of open problems.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Multidimensional extension of the Morse--Hedlund theorem
Authors:
Fabien Durand,
Michel Rigo
Abstract:
A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence $x$ over a finite alphabet is ultimately periodic if and only if, for some $n$, the number of different factors of length $n$ appearing in $x$ is less than $n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let $d\ge 2$. A legitima…
▽ More
A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence $x$ over a finite alphabet is ultimately periodic if and only if, for some $n$, the number of different factors of length $n$ appearing in $x$ is less than $n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let $d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of $\ZZ^d$ definable by a first order formula in the Presburger arithmetic $<\ZZ;<,+>$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse--Hedlund theorem to an arbitrary dimension $d$ and characterize sets of $\ZZ^d$ definable in $<\ZZ;<,+>$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.
△ Less
Submitted 3 August, 2012; v1 submitted 27 September, 2011;
originally announced September 2011.
-
State Complexity of Testing Divisibility
Authors:
Emilie Charlier,
Narad Rampersad,
Michel Rigo,
Laurent Waxweiler
Abstract:
Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2.
Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2.
△ Less
Submitted 10 August, 2010;
originally announced August 2010.
-
Syndeticity and independent substitutions
Authors:
Fabien Durand,
Michel Rigo
Abstract:
We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is the following. If a sequence $x$ is generated by two independent substitutions, at least one being of exponential growth, then the factors of $x$ appearing infi…
▽ More
We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is the following. If a sequence $x$ is generated by two independent substitutions, at least one being of exponential growth, then the factors of $x$ appearing infinitely often in $x$ appear with bounded gaps. As an application, we derive an analogue of Cobham's theorem for two independent substitutions (or abstract numeration systems) one with polynomial growth, the other being exponential.
△ Less
Submitted 27 July, 2009;
originally announced July 2009.
-
A note on syndeticity, recognizable sets and Cobham's theorem
Authors:
M. Rigo,
L. Waxweiler
Abstract:
In this note, we give an alternative proof of the following result. Let p, q >= 2 be two multiplicatively independent integers. If an infinite set of integers is both p- and q-recognizable, then it is syndetic. Notice that this result is needed in the classical proof of the celebrated Cobham?s theorem. Therefore the aim of this paper is to complete [13] and [1] to obtain an accessible proof of C…
▽ More
In this note, we give an alternative proof of the following result. Let p, q >= 2 be two multiplicatively independent integers. If an infinite set of integers is both p- and q-recognizable, then it is syndetic. Notice that this result is needed in the classical proof of the celebrated Cobham?s theorem. Therefore the aim of this paper is to complete [13] and [1] to obtain an accessible proof of Cobham?s theorem.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems
Authors:
J. Bell,
E. Charlier,
A. S. Fraenkel,
M. Rigo
Abstract:
Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonnegative integers are represented by words over $\{0,1\}$ without two consecutive 1. Given a set $X$ of integers such that the language of their greedy representations in this system is accepted by a finite automaton, we consider the problem of deciding whether or not $X$ is a finite union of arithm…
▽ More
Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonnegative integers are represented by words over $\{0,1\}$ without two consecutive 1. Given a set $X$ of integers such that the language of their greedy representations in this system is accepted by a finite automaton, we consider the problem of deciding whether or not $X$ is a finite union of arithmetic progressions. We obtain a decision procedure for this problem, under some hypothesis about the considered numeration system. In a second part, we obtain an analogous decision result for a particular class of abstract numeration systems built on an infinite regular language.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
Multidimensional Generalized Automatic Sequences and Shape-symmetric Morphic Words
Authors:
Emilie Charlier,
Tomi Karki,
Michel Rigo
Abstract:
An infinite word is S-automatic if, for all n>=0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d>=2, w…
▽ More
An infinite word is S-automatic if, for all n>=0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d>=2, we state that a multidimensional infinite word x : N^d \to Σover a finite alphabet Σis S-automatic for some abstract numeration system S built on a regular language containing the empty word if and only if x is the image by a coding of a shape-symmetric infinite word.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
Abstract numeration systems on bounded languages and multiplication by a constant
Authors:
Emilie Charlier,
Michel Rigo,
Wolfgang Steiner
Abstract:
A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with at least three letters, we show that multiplication by an integer $λ\ge2$ does not preserve $S$-recognizability, meaning that there always exists a $S$-recogni…
▽ More
A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with at least three letters, we show that multiplication by an integer $λ\ge2$ does not preserve $S$-recognizability, meaning that there always exists a $S$-recognizable set $X$ such that $λX$ is not $S$-recognizable. The main tool is a bijection between the representation of an integer over a bounded language and its decomposition as a sum of binomial coefficients with certain properties, the so-called combinatorial numeration system.
△ Less
Submitted 16 September, 2008; v1 submitted 4 June, 2007;
originally announced June 2007.
-
Real numbers having ultimately periodic representations in abstract numeration systems
Authors:
P. Lecomte,
M. Rigo
Abstract:
Using a genealogically ordered infinite regular language, we know how to represent an interval of R. Numbers having an ultimately periodic representation play a special role in classical numeration systems. The aim of this paper is to characterize the numbers having an ultimately periodic representation in generalized systems built on a regular language. The syntactical properties of these words…
▽ More
Using a genealogically ordered infinite regular language, we know how to represent an interval of R. Numbers having an ultimately periodic representation play a special role in classical numeration systems. The aim of this paper is to characterize the numbers having an ultimately periodic representation in generalized systems built on a regular language. The syntactical properties of these words are also investigated. Finally, we show the equivalence of the classical "theta"-expansions with our generalized representations in some special case related to a Pisot number "theta".
△ Less
Submitted 10 December, 2002;
originally announced December 2002.
-
Towards a characterization of the star-free sets of integers
Authors:
Michel Rigo
Abstract:
Let U be a numeration system, a set X of integers is U-star-free if the set made up of the U-representations of the elements in X is a star-free regular language. Answering a question of A. de Luca and A. Restivo, we obtain a complete logical characterization of the U-star-free sets of integers for suitable numeration systems related to a Pisot number and in particular for integer base systems.…
▽ More
Let U be a numeration system, a set X of integers is U-star-free if the set made up of the U-representations of the elements in X is a star-free regular language. Answering a question of A. de Luca and A. Restivo, we obtain a complete logical characterization of the U-star-free sets of integers for suitable numeration systems related to a Pisot number and in particular for integer base systems. For these latter systems, we study as well the problem of the base dependence. Finally, the case of k-adic systems is also investigated.
△ Less
Submitted 23 November, 2001;
originally announced November 2001.
-
Numeration systems on a regular language: Arithmetic operations, Recognizability and Formal power series
Authors:
Michel Rigo
Abstract:
Generalizations of numeration systems in which N is recognizable by a finite automaton are obtained by describing a lexicographically ordered infinite regular language L over a finite alphabet A. For these systems, we obtain a characterization of recognizable sets of integers in terms of rational formal series. We also show that, if the complexity of L is Theta (n^q) (resp. if L is the complemen…
▽ More
Generalizations of numeration systems in which N is recognizable by a finite automaton are obtained by describing a lexicographically ordered infinite regular language L over a finite alphabet A. For these systems, we obtain a characterization of recognizable sets of integers in terms of rational formal series. We also show that, if the complexity of L is Theta (n^q) (resp. if L is the complement of a polynomial language), then multiplication by an integer k preserves recognizability only if k=t^{q+1} (resp. if k is not a power of the cardinality of A) for some integer t. Finally, we obtain sufficient conditions for the notions of recognizability and U-recognizability to be equivalent, where U is some positional numeration system related to a sequence of integers.
△ Less
Submitted 20 January, 2000; v1 submitted 8 November, 1999;
originally announced November 1999.
-
Construction of regular languages and recognizability of polynomials
Authors:
Michel Rigo
Abstract:
A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x] is a polynomial such that P(N) is a subset of N then we can construct a numeration system in which the set of representations of P(N) is regular. The main is…
▽ More
A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x] is a polynomial such that P(N) is a subset of N then we can construct a numeration system in which the set of representations of P(N) is regular. The main issue in this construction is to setup a regular language with a density function equals to P(n+1)-P(n) for n large enough.
△ Less
Submitted 27 August, 1999;
originally announced August 1999.
-
Generalization of automatic sequences for numeration systems on a regular language
Authors:
Michel Rigo
Abstract:
Let L be an infinite regular language on a totally ordered alphabet (A,<). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the output alphabet of the automaton. This process generalizes the concept of k-automatic sequence for abstract numeration systems on a regular language (instead of s…
▽ More
Let L be an infinite regular language on a totally ordered alphabet (A,<). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the output alphabet of the automaton. This process generalizes the concept of k-automatic sequence for abstract numeration systems on a regular language (instead of systems in base k). Here, I study the first properties of these sequences and their relations with numeration systems.
△ Less
Submitted 22 June, 1999;
originally announced June 1999.
-
Numeration systems on a regular language
Authors:
Pierre B. A. Lecomte,
Michel Rigo
Abstract:
Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of numeration, we show that ultimately periodic sets are recognizable. We also study the translation and the multiplication by constants as well as the order de…
▽ More
Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of numeration, we show that ultimately periodic sets are recognizable. We also study the translation and the multiplication by constants as well as the order dependence of the recognizability.
△ Less
Submitted 4 March, 1999;
originally announced March 1999.
-
Continuous stochastic Schrodinger equations and localization
Authors:
M. Rigo,
F. Mota-Furtado,
P. F. O'Mahony
Abstract:
The set of continuous norm-preserving stochastic Schrodinger equations associated with the Lindblad master equation is introduced. This set is used to describe the localization properties of the state vector toward eigenstates of the environment operator. Particular focus is placed on determining the stochastic equation which exhibits the highest rate of localization for wide open systems. An eq…
▽ More
The set of continuous norm-preserving stochastic Schrodinger equations associated with the Lindblad master equation is introduced. This set is used to describe the localization properties of the state vector toward eigenstates of the environment operator. Particular focus is placed on determining the stochastic equation which exhibits the highest rate of localization for wide open systems. An equation having such a property is proposed in the case of a single non-hermitian environment operator. This result is relevant to numerical simulations of quantum trajectories where localization properties are used to reduce the number of basis states needed to represent the system state, and thereby increase the speed of calculation.
△ Less
Submitted 6 August, 1997;
originally announced August 1997.
-
The Quantum state diffusion model and the driven damped nonlinear oscillator
Authors:
M. Rigo,
G. Alber,
F. Mota-Furtado,
P. F. O'Mahony
Abstract:
We consider a driven damped anharmonic oscillator which classically leads to a bistable steady state and to hysteresis. The quantum counterpart for this system has an exact analytical solution in the steady state which does not display any bistability or hysteresis. We use quantum state diffusion theory to describe this system and to provide a new perspective on the lack of hysteresis in the qua…
▽ More
We consider a driven damped anharmonic oscillator which classically leads to a bistable steady state and to hysteresis. The quantum counterpart for this system has an exact analytical solution in the steady state which does not display any bistability or hysteresis. We use quantum state diffusion theory to describe this system and to provide a new perspective on the lack of hysteresis in the quantum regime so as to study in detail the quantum to classical transition. The analysis is also relevant to measurements of a single periodically driven electron in a Penning trap where hysteresis has been observed.
△ Less
Submitted 25 November, 1996;
originally announced November 1996.
-
From Quantum to Classical: the Quantum State Diffusion Model
Authors:
Nicolas Gisin,
Todd A. Brun,
Marco Rigo
Abstract:
Quantum mechanics is nonlocal. Classical mechanics is local. Consequently classical mechanics can not explain all quantum phenomena. Conversely, it is cumbersome to use quantum mechanics to describe classical phenomena. Not only are the computations more complex, but - and this is the main point - it is conceptually more difficult: one has to argue that nonlocality, entanglement and the principl…
▽ More
Quantum mechanics is nonlocal. Classical mechanics is local. Consequently classical mechanics can not explain all quantum phenomena. Conversely, it is cumbersome to use quantum mechanics to describe classical phenomena. Not only are the computations more complex, but - and this is the main point - it is conceptually more difficult: one has to argue that nonlocality, entanglement and the principle of superposition can be set aside when crossing the "quantum $\rightarrow$ classical" border. Clearly, nonlocality, entanglement and the principle of superposition should become irrelevant in the classical limit. But why should one argue? Shouldn't it just come out of the equations? Does it come out of the equations? This contribution is about the last question. And the answer is: "it depends on which equation".
△ Less
Submitted 1 November, 1996;
originally announced November 1996.
-
From quantum trajectories to classical orbits
Authors:
T. A. Brun,
N. Gisin,
P. F. O'Mahony,
M. Rigo
Abstract:
Recently it has been shown that the evolution of open quantum systems may be ``unraveled'' into individual ``trajectories,'' providing powerful numerical and conceptual tools. In this letter we use quantum trajectories to study mesoscopic systems and their classical limit. We show that in this limit, Quantum Jump (QJ) trajectories approach a diffusive limit very similar to the Quantum State Diff…
▽ More
Recently it has been shown that the evolution of open quantum systems may be ``unraveled'' into individual ``trajectories,'' providing powerful numerical and conceptual tools. In this letter we use quantum trajectories to study mesoscopic systems and their classical limit. We show that in this limit, Quantum Jump (QJ) trajectories approach a diffusive limit very similar to the Quantum State Diffusion (QSD) unraveling. The latter follows classical trajectories in the classical limit. Hence, both unravelings show the rise of classical orbits. This is true for both regular and chaotic systems (which exhibit strange attractors).
△ Less
Submitted 26 August, 1996;
originally announced August 1996.
