-
The impatient collector
Authors:
Anis Amri,
Philippe Chassaing
Abstract:
In the coupon collector problem with $n$ items, the collector needs a random number of tries $T_n\simeq n\ln n$ to complete the collection. Also, after $nt$ tries, the collector has secured approximately a fraction $ζ_\infty(t)=1-e^{-t}$ of the complete collection, so we call $ζ_\infty$ the (asymptotic) \emph{completion curve}. In this paper, for $ν>0$, we address the asymptotic shape $ζ(ν,.) $ o…
▽ More
In the coupon collector problem with $n$ items, the collector needs a random number of tries $T_n\simeq n\ln n$ to complete the collection. Also, after $nt$ tries, the collector has secured approximately a fraction $ζ_\infty(t)=1-e^{-t}$ of the complete collection, so we call $ζ_\infty$ the (asymptotic) \emph{completion curve}. In this paper, for $ν>0$, we address the asymptotic shape $ζ(ν,.) $ of the completion curve under the condition $T_n\leq \left( 1+ν\right) n$, i.e. assuming that the collection is \emph{completed unlikely fast}. As an application to the asymptotic study of complete accessible automata, we provide a new derivation of a formula due to Koršunov.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
A non-ergodic probabilistic cellular automaton with a unique invariant measure
Authors:
Philippe Chassaing,
Jean Mairesse
Abstract:
We exhibit a Probabilistic Cellular Automaton (PCA) on the integers with an alphabet and a neighborhood of size 2 which is non-ergodic although it has a unique invariant measure. This answers by the negative an old open question on whether uniqueness of the invariant measure implies ergodicity for a PCA.
We exhibit a Probabilistic Cellular Automaton (PCA) on the integers with an alphabet and a neighborhood of size 2 which is non-ergodic although it has a unique invariant measure. This answers by the negative an old open question on whether uniqueness of the invariant measure implies ergodicity for a PCA.
△ Less
Submitted 8 July, 2011; v1 submitted 1 September, 2010;
originally announced September 2010.
-
On the Convergence of Population Protocols When Population Goes to Infinity
Authors:
Olivier Bournez,
Philippe Chassaing,
Johanne Cohen,
Lucas Gerin,
Xavier Koegler
Abstract:
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corresponds to a collection of anonymous agents, modeled by finite automata, that interact with one another to carry out computations, by updating their states, using some rules. Their computational power has been investig…
▽ More
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corresponds to a collection of anonymous agents, modeled by finite automata, that interact with one another to carry out computations, by updating their states, using some rules. Their computational power has been investigated under several hypotheses but always when restricted to finite size populations. In particular, predicates stably computable in the original model have been characterized as those definable in Presburger arithmetic. We study mathematically the convergence of population protocols when the size of the population goes to infinity. We do so by giving general results, that we illustrate through the example of a particular population protocol for which we even obtain an asymptotic development. This example shows in particular that these protocols seem to have a rather different computational power when a huge population hypothesis is considered.
△ Less
Submitted 17 July, 2009;
originally announced July 2009.
-
Merging costs for the additive Marcus-Lushnikov process, and Union-Find algorithms
Authors:
Philippe Chassaing,
Regine Marchand
Abstract:
Starting with a monodisperse configuration with $n$ size-1 particles, an additive Marcus-Lushnikov process evolves until it reaches its final state (a unique particle with mass $n$). At each of the $n-1$ steps of its evolution, a merging cost is incurred, that depends on the sizes of the two particles involved, and on an independent random factor. This paper deals with the asymptotic behaviour o…
▽ More
Starting with a monodisperse configuration with $n$ size-1 particles, an additive Marcus-Lushnikov process evolves until it reaches its final state (a unique particle with mass $n$). At each of the $n-1$ steps of its evolution, a merging cost is incurred, that depends on the sizes of the two particles involved, and on an independent random factor. This paper deals with the asymptotic behaviour of the cumulated costs up to the $k$th clustering, under various regimes for $(n,k)$, with applications to the study of Union--Find algorithms.
△ Less
Submitted 5 June, 2004;
originally announced June 2004.