Search

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., Comment: 39 pages, 2 figures. This is an improved version of the original submission. It clarifies some arguments taking into account several comments from reviews

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.

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.

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.

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"., Comment: 22 pages, 10 figures

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., Comment: 18 pages in LaTeX + 6 figures (postscript), uses ioplppt.sty. To appear in J. Phys. A

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., Comment: 7 pages in RevTeX + 6 figures (postscript). To appear in Physical Review A

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)., Comment: 7 pages RevTeX 3.0 + 2 figures (postscript). Submitted to Physical Review Letters