-
Shannon Weights for binary dynamical recurrent sources of zero entropy
Authors:
Ali Akhavi,
Eda Cesaratto,
Frédéric Paccaut,
Pablo Rotondo,
Brigitte Vallée
Abstract:
A probabilistic source is defined as the set of infinite words (over a given denumerable alphabet) endowed with a probability $μ$. The paper deals with general binary sources where the distribution of any symbol (0 or 1) may depend on an unbounded part of the previous history. The paper studies Shannon weights: whereas the classical Shannon entropy ${\cal E}_μ$ is the average amount of information…
▽ More
A probabilistic source is defined as the set of infinite words (over a given denumerable alphabet) endowed with a probability $μ$. The paper deals with general binary sources where the distribution of any symbol (0 or 1) may depend on an unbounded part of the previous history. The paper studies Shannon weights: whereas the classical Shannon entropy ${\cal E}_μ$ is the average amount of information brought by one symbol of the emitted word, the Shannon weight sequence deals with the average amount of information $m_μ(n)$ that is brought by the emitted prefix of length $n$. For a source with a non zero entropy, the estimate $m_μ(n)\sim{\cal E}_μ \cdot n$ thus holds. The paper considers the model of dynamical sources, where a source word isemitted as an encoded trajectory of a dynamical system of the unit interval, when endowed with probability $μ$. It focus on sources with zero entropy and gives explicit constructions for sources whose Shannon weight sequence satisfies $m_μ(n)=o(n)$, with a prescribed behaviour. In this case, sources with zero entropy lead to dynamical systems built on maps with an indifferent fixed point. This class notably contains the celebrated Farey source, which presents well-known intermittency phenomena. Methods are based on analytic combinatorics and generating functions, and they are enlarged, in the present dynamical case, with dynamical systems tools (mainly transfer operators).
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
The Depoissonisation quintet: Rice-Poisson-Mellin-Newton-Laplace
Authors:
Brigitte Vallée
Abstract:
This paper is devoted to the Depoissonnisation process, which is central in various analyses of the AofA domain. We first recall the two possible paths that may be used in this process. The first path, called here the Depoissonisation path, is better studied and is proven to apply in any practical situation; however, it often uses technical tools, that are not so easy to deal with. Moreover, the v…
▽ More
This paper is devoted to the Depoissonnisation process, which is central in various analyses of the AofA domain. We first recall the two possible paths that may be used in this process. The first path, called here the Depoissonisation path, is better studied and is proven to apply in any practical situation; however, it often uses technical tools, that are not so easy to deal with. Moreover, the various results are scattered in the litterature, and the most recent results are not well known within the AofA domain. The present paper gathers in Section 2 all these results in a survey style. The second path, called here the Rice-Mellin path, is less often used within the AofA domain. It is often very easy to apply, but it needs a tameness condition, which appears {\em a priori} to be quite restrictive, and is not deeply studiedin the litterature. In Section 3, the paper precisely describes the Rice-Mellin path, together with its tameness condition, in a survey style, too. Finally, in Section 4, the paper presents original results for the Rice-Mellin path: it exhibits a framework, of practical use, where the tameness condition is proven to hold. It then proves that the Rice-Mellin path is both of easy and practical use : even though (much?) less general than the Depoissonisation path, it is easier to apply.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Analysis of the Continued Logarithm Algorithm
Authors:
Pablo Rotondo,
Brigitte Vallee,
Alfredo Viola
Abstract:
The Continued Logarithm Algorithm - CL for short- introduced by Gosper in 1978 computes the gcd of two integers; it seems very efficient, as it only performs shifts and subtractions. Shallit has studied its worst-case complexity in 2016 and showed it to be linear. We here perform the average-case analysis of the algorithm: we study its main parameters (number of iterations, total number of shifts)…
▽ More
The Continued Logarithm Algorithm - CL for short- introduced by Gosper in 1978 computes the gcd of two integers; it seems very efficient, as it only performs shifts and subtractions. Shallit has studied its worst-case complexity in 2016 and showed it to be linear. We here perform the average-case analysis of the algorithm: we study its main parameters (number of iterations, total number of shifts) and obtain precise asymptotics for their mean values. Our 'dynamical' analysis involves the dynamical system underlying the algorithm, that produces continued fraction expansions whose quotients are powers of 2. Even though this CL system has already been studied by Chan (around 2005), the presence of powers of 2 in the quotients ingrains into the central parameters a dyadic flavour that cannot be grasped solely by studying the CL system. We thus introduce a dyadic component and deal with a two-component system. With this new mixed system at hand, we then provide a complete average-case analysis of the CL algorithm, with explicit constants.
△ Less
Submitted 1 February, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Gaussian Behavior of Quadratic Irrationals
Authors:
Eda Cesaratto,
Brigitte Vallée
Abstract:
We study the probabilistic behaviour of the continued fraction expansion of a quadratic irrational number, when weighted by some "additive" cost. We prove asymptotic Gaussian limit laws, with an optimal speed of convergence. We deal with the underlying dynamical system associated with the Gauss map, and its weighted periodic trajectories. We work with analytic combinatorics methods, and mainly wit…
▽ More
We study the probabilistic behaviour of the continued fraction expansion of a quadratic irrational number, when weighted by some "additive" cost. We prove asymptotic Gaussian limit laws, with an optimal speed of convergence. We deal with the underlying dynamical system associated with the Gauss map, and its weighted periodic trajectories. We work with analytic combinatorics methods, and mainly with bivariate Dirichlet generating functions; we use various tools, from number theory (the Landau Theorem), from probability (the Quasi-Powers Theorem), or from dynamical systems: our main object of study is the (weighted) transfer operator, that we relate with the generating functions of interest. The present paper exhibits a strong parallelism with the methods which have been previously introduced by Baladi and Vallée in the study of rational trajectories. However, the present study is more involved and uses a deeper functional analysis framework.
△ Less
Submitted 14 September, 2020; v1 submitted 31 July, 2017;
originally announced August 2017.
-
The recurrence function of a random Sturmian word
Authors:
Pablo Rotondo,
Brigitte Vallee
Abstract:
This paper describes the probabilistic behaviour of a random Sturmian word. It performs the probabilistic analysis of the recurrence function which can be viewed as a waiting time to discover all the factors of length $n$ of the Sturmian word. This parameter is central to combinatorics of words. Having fixed a possible length $n$ for the factors, we let $α$ to be drawn uniformly from the unit inte…
▽ More
This paper describes the probabilistic behaviour of a random Sturmian word. It performs the probabilistic analysis of the recurrence function which can be viewed as a waiting time to discover all the factors of length $n$ of the Sturmian word. This parameter is central to combinatorics of words. Having fixed a possible length $n$ for the factors, we let $α$ to be drawn uniformly from the unit interval $[0,1]$, thus defining a random Sturmian word of slope $α$. Thus the waiting time for these factors becomes a random variable, for which we study the limit distribution and the limit density.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Exponential decay of correlations for surface semi-flows without finite Markov partitions
Authors:
V. Baladi,
B. Vallee
Abstract:
We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity.
We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity.
△ Less
Submitted 17 November, 2003;
originally announced November 2003.
