Problèmes entièrement résolus
-
Un haricot, un signalement « à gauche » et quatre bonnes réponses différentes 8 étapes
Lancez un seul haricot : il tombe à gauche du marqueur caché. Le panneau indique 0,6667. Le premier bloc d'analyse de cette page indique 0,7500. La réponse que la plupart des gens donnent à voix haute est 1, car un lancer sur un est tombé à gauche. Ces trois réponses sont correctes. À quelle question répond chacune d'elles ?
-
D'abord le dispositif, car c'est la raison pour laquelle cette expérience de pensée particulière est célèbre. Un marqueur est placé à l'aveugle sur une table plane à une position inconnue p, et chaque haricot lancé ultérieurement tombe à sa gauche avec une probabilité p. Rien n'est jamais mesuré ; chaque haricot fournit un bit d'information. Richard Price a lu l'essai devant la Royal Society en décembre 1763, deux ans après la mort de Bayes, et la loi a priori uniforme sur p est un fait physique lié à la façon dont le marqueur a été lancé, plutôt qu'un choix de modélisation. C'est plus rare qu'il n'y paraît, et le troisième bloc d'analyse de cette page traite de la rareté d'une telle situation ailleurs.
-
Les observations. Obtenir k résultats à gauche sur n lancers a pour probabilité pk(1−p)n−k, multipliée par un coefficient binomial qui ne dépend aucunement de p. On multiplie par la loi a priori uniforme, puis on renormalise, et le coefficient s'élimine par simplification.
-
Il reste une loi bêta dont les deux paramètres valent ces exposants augmentés de un. Un lancer à gauche sur un donne une loi bêta(2, 1), représentée par une droite : nulle au bord gauche, elle monte jusqu’à 2 au bord droit.
-
Première question : où le marqueur a-t-il le plus de chances de se trouver ? La densité 2p est maximale au bord droit, de sorte que le mode est p = 1. La réponse spontanée k/n = 1 parvient au même résultat par un chemin différent, et toutes deux répondent à une question que personne n'a posée.
-
Deuxième question : le marqueur se trouve-t-il au-delà de la moitié ? Il s'agit d'une aire, il faut donc intégrer. La fonction de répartition de Beta(2, 1) est p², de sorte que la masse au-dessus d'un demi est 1 − ¼. C'est le 0,7500 du premier bloc d'analyse.
-
Troisième question : le prochain haricot tombera-t-il à gauche ? Celle-ci ne concerne pas du tout l'emplacement de p — elle concerne ce qui va se passer ensuite, et elle calcule la moyenne de p sur l'ensemble de ce que vous croyez désormais au sujet de p. Cette moyenne est la moyenne a posteriori.
-
Avec n = 1 et k = 1, la moyenne est égale à deux tiers. Laplace a dérivé ce résultat dans un mémoire de 1774 et on l'appelle depuis lors la règle de succession. Les +1 et +2 ne sont pas un ajustement ad hoc pour de petits échantillons ; ils sont ce qu'on obtient en intégrant par rapport à une loi a priori uniforme.
-
Il existe un quatrième nombre, que l’outil n’affiche nulle part. La médiane vaut 1/√2 ; elle se situe entre la moyenne et le mode, dans cet ordre. Toute loi a posteriori produite par cet outil est une loi bêta. Lorsqu’elle penche vers la droite, ses trois valeurs centrales se rangent exactement ainsi, puis leurs écarts diminuent à mesure que les données concentrent la courbe. Équilibrez les lancers : toutes trois finissent par se confondre.
Réponse
Ces trois réponses sont justes, mais chacune correspond à une question différente. 1 indique la position la plus probable du repère. 0,7500 est la probabilité qu’il se trouve au-delà du milieu. 0,6667 est la probabilité que le prochain haricot tombe à gauche. C’est cette dernière que le panneau affiche dans la carte principale, car elle seule renseigne sur le lancer suivant. L’intervalle à 95 % va de 0,1581 à 0,9874 : un seul résultat ne l’a presque pas resserré, et le panneau estime qu’il faudra encore 341 lancers pour obtenir une largeur de ±5 points.
Laplace a poussé cette même formule jusqu’à ses dernières conséquences. Dans son Essai philosophique sur les probabilités de 1814, il prend n = 1 826 213, soit cinq mille ans de levers de soleil consignés, et obtient une probabilité de 1 sur 1 826 215 que le soleil ne se lève pas le lendemain. On s’en moque depuis, le plus souvent sans avoir lu la suite. Dans le même passage, Laplace précise que ce nombre vaut pour une personne qui ignore tout du mécanisme régissant la succession des jours ; quiconque connaît ce mécanisme doit attribuer au prochain lever du soleil une probabilité bien supérieure. Cette réserve, c’est l’étape 1 formulée par l’inventeur même du calcul. -
-
Ce que les 95 % de l'intervalle promettent vraiment 6 étapes
Lancez le préréglage à 400 lancers. Le panneau situe le marqueur entre 0,4512 et 0,5488 avec une crédibilité de 95 %, et le marqueur se trouve réellement à 0,4913. Montrez que les 95 % sont exacts et non approchés, puis calculez ce qu'il en reste si la table n'est pas plane.
-
Recomptez les billes, y compris celle que personne ne regarde. Le marqueur a été lancé à l'aveugle sur la table, et les 400 suivantes aussi ; les 401 sont parties de la même épaule vers la même surface plane. Rien de statistique ne distingue le marqueur d'un lancer. Il a seulement un nom.
-
Prenez donc les 401 positions et triez-les. Le marqueur a autant de chances d'être le premier, le septième ou le dernier, car une étiquette ne peut pas changer un rang, et le nombre que le panneau appelle k n'est que son rang moins un. Chaque décompte à gauche que l'outil peut afficher, les 401 de 0 à 400, a pour probabilité 1/401. Ce n'est pas à cela que ressemble un décompte de piles ou faces, et l'intégrale le confirme : le coefficient binomial se simplifie contre la fonction bêta, et n disparaît sauf sous la forme n + 1.
-
La même symétrie règle l'intervalle. Introduisez la vraie position du marqueur dans sa propre fonction de répartition a posteriori et le résultat est uniforme sur l'intervalle unité — c'est précisément ce que signifie, pour une loi a posteriori, être l'honnête loi conditionnelle de p. La probabilité que la vérité tombe entre les quantiles 2,5 % et 97,5 % vaut donc 0,95, et il n'y a d'approximation nulle part dans cette phrase. Simuler dix lancers cent mille fois donne 0,94967.
-
Cela vaut à toute taille d'échantillon, et c'est la partie sur laquelle il faut s'arrêter. L'intervalle à 400 lancers mesure 0,0976 de large et le marqueur s'y tient confortablement. L'intervalle à un lancer va de 0,1581 à 0,9874, ce qui n'exclut presque rien, et il est exactement aussi valide. Être inutile et être faux sont deux échecs différents.
-
Cassez maintenant la seule chose sur laquelle il repose. Supposez la table non pas plane mais bombée, de sorte que le marqueur tende à rouler vers une bande, tandis que le panneau continue de calculer à partir d'une loi a priori uniforme. Intégrez la couverture sur cette vraie distribution et l'étiquette 95 % ne vaut plus que 68,7 % après un lancer, 78,7 % après dix, 87,1 % après cent.
-
Notez dans quel sens elle a échoué, et avec quelle lenteur les données l'ont réparée. Cent fois plus de données a comblé un peu plus de la moitié de l'écart. Et une table bombée dans l'autre sens, qui rassemble le marqueur vers le milieu, laisse au contraire l'intervalle trop large : 99,9 %, 95,8 %, 95,1 %. Ce sont les bords qui font mal, car c'est là qu'une loi a priori uniforme est la plus assurée et la plus fausse.
Réponse
Exactement 95 %, à tout n, pour la raison qu'indique le troisième bloc d'analyse : ici la loi a priori uniforme est un fait sur le lancer et non un choix de modélisation. C'est une chose rare à pouvoir affirmer, et cela fait de ce cas le seul endroit où un intervalle bayésien et un intervalle de confiance fréquentiste sont un même objet plutôt que deux choses qui s'accordent d'ordinaire.
Le 1/401 est la moitié la plus nette de cette même symétrie, et c'est la ligne à retenir. Avant qu'une seule bille ne soit lancée, chaque décompte à gauche possible est également probable : la loi a priori plate ne se contente pas d'être sous le calcul, elle aplatit aussi les données. Voilà pourquoi le +1 et le +2 de la règle de succession sont exacts et non une rustine pour petits échantillons.
Reste la question à laquelle la table ne peut répondre pour rien d'autre. La prévalence dans un programme de dépistage, le taux de base d'une panne rare, la proportion d'une population portant un trait : chacune joue le rôle structurel de p, et aucune n'a été lancée à l'aveugle sur quoi que ce soit. Trompez-vous sur cette distribution aux bords et les 95 % imprimés en valent 69, et aucune quantité d'échantillonnage supplémentaire à votre portée ne vous le dira, puisque cent lancers n'ont récupéré que la moitié de ce qu'une table bombée avait coûté. -
Parcours
Les probabilités a priori et leur origine
Références (2)
- Bayes' original paper presenting the billiard thought experiment and uniform prior formulation: T. Bayes, "LII. An essay towards solving a problem in the doctrine of chances." Philosophical Transactions of the Royal Society of London, 370–418, 1763.
- The 1958 Biometrika reprint accessible to modern readers: T. Bayes, "An essay towards solving a problem in the doctrine of chances." Biometrika, 45(3–4):296–315, 1958.