Agafonov's theorem for probabilistic selectors - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Agafonov's theorem for probabilistic selectors

Résumé

A normal sequence over {0,1} is an infinite sequence for which every word of length k appears with frequency 2^{−k}. Agafonov’s eponymous theorem states that selection by a finite state selector preserves normality, i.e. if α is a normal sequence and A is a finite state selector, then the subsequence A(α) is either finite or a normal sequence. In this work, we address the following question: does this result hold when considering probabilistic selectors? We provide a partial positive answer, in the case where the probabilities involved are rational. More formally, we prove that given a normal sequence α and a rational probabilistic selector P, the selected subsequence P(α) will be a normal sequence with probability 1.
Fichier principal
Vignette du fichier
Probabilistic__Automata_for__Agafonov-6.pdf (681.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04563952 , version 1 (30-04-2024)

Identifiants

Citer

Ulysse Léchine, Thomas Seiller, Jakob Grue Simonsen. Agafonov's theorem for probabilistic selectors. Mathematical Foundations of Computer Science, Aug 2024, Bratislava, Slovakia. pp.67:1-67:15, ⟨10.4230/LIPIcs.MFCS.2024.67⟩. ⟨hal-04563952⟩
72 Consultations
61 Téléchargements

Altmetric

Partager

More