Statistique

Intervalle de crédibilité et facteur de Bayes

La statistique bayésienne traite l'inconnu comme une grandeur incertaine, décrite par une loi de probabilité que les données viennent préciser. Elle répond alors directement aux questions que l'on se pose : « où est probablement le paramètre ? » (l'intervalle de crédibilité) et « laquelle de deux hypothèses les données soutiennent-elles, et de combien ? » (le facteur de Bayes).

Le fil conducteur : une proportion inconnue

On veut connaître la proportion θ de succès d'un phénomène : la part de graines qui germent, l'efficacité d'un traitement, la probabilité qu'une pièce tombe sur pile. On observe k succès en n essais. La démarche bayésienne a trois ingrédients :

IngrédientCe que c'estIci
A prioriCe que l'on croit de θ avant les donnéesune loi bêta Beta(a, b)
VraisemblanceLa probabilité des données pour chaque valeur de θθᵏ (1 − θ)ⁿ⁻ᵏ, à une constante près
A posterioriCe que l'on croit après, proportionnel au produit des deux (formule de Bayes)Beta(a + k, b + n − k)

La loi bêta a la propriété d'être conjuguée à la binomiale : l'a posteriori reste une loi bêta, et il suffit d'ajouter les succès à a et les échecs à b. On peut voir a et b comme des « observations fictives » apportées par l'a priori. La page calcule toutefois chaque résultat de deux façons : par la formule exacte, et par une intégration ou une simulation indépendante.

1

De l'a priori à l'a posteriori : la croyance qui apprend

Idée en une phrase : chaque observation multiplie la courbe de croyance par la probabilité qu'elle avait sous chaque valeur de θ, puis on renormalise ; la courbe se resserre autour de la vérité.

Une pièce de vraie probabilité θ (cachée, révélée par un trait vert) est lancée une fois par seconde. Chaque « pile » multiplie la courbe par θ, chaque « face » par 1 − θ. On choisit l'a priori : uniforme (on ne sait rien), de Jeffreys (une convention « non informative »), ou informatif et faux (on croit fermement à une valeur éloignée).

A priori (pointillé gris), a posteriori courant (bleu) et vraie valeur de θ (vert). La zone bleue est l'intervalle de crédibilité à 95 %.
Évolution de la moyenne a posteriori (bleu) et de son intervalle à 95 % (bande) au fil des lancers ; trait vert : vraie valeur ; orange : proportion observée k/n.
Lancers et piles
A posteriori
Moyenne a posteriori
Contrôle : produit renormalisé
écart maximal entre a priori × vraisemblance normalisé et la formule Beta
Les données finissent par l'emporter. La moyenne a posteriori vaut (a + k)/(a + b + n) : un compromis entre la moyenne a priori a/(a + b) et la proportion observée k/n, où le poids des données grandit avec n. Avec un a priori uniforme ou de Jeffreys, quelques dizaines de lancers suffisent. L'a priori informatif et faux, qui vaut 50 « observations fictives », retarde la convergence de plusieurs dizaines de lancers : un a priori trop sûr de lui coûte cher.
2

L'intervalle de crédibilité : deux façons de prendre 95 %

Idée en une phrase : un intervalle de crédibilité à 95 % contient 95 % de la probabilité a posteriori ; on peut couper 2,5 % de chaque côté, ou garder les valeurs les plus probables.

L'intervalle à queues égales va du quantile 2,5 % au quantile 97,5 % de la loi a posteriori. L'intervalle de plus haute densité (HPD) rassemble les valeurs de θ dont la densité dépasse un certain niveau : c'est le plus court des intervalles de probabilité 95 %, et toute valeur à l'intérieur est plus plausible que toute valeur à l'extérieur. Les deux coïncident quand la loi est symétrique ; ils diffèrent quand elle est très dissymétrique, par exemple avec peu de succès. On les retrouve aussi en tirant 20 000 valeurs de θ dans la loi a posteriori.

Densité a posteriori Beta(a + k, b + n − k). Barre bleue : intervalle à queues égales ; barre verte : intervalle de plus haute densité, dont les deux bornes ont la même hauteur (trait horizontal). Histogramme gris : tirages simulés.
Queues égales
Plus haute densité
Contrôle des masses (Simpson)
Par 20 000 tirages simulés
Une phrase enfin juste. Avec 2 succès sur 20 et un a priori uniforme, « θ est entre 0,03 et 0,30 avec une probabilité de 95 % » est une affirmation correcte pour un intervalle de crédibilité, alors qu'elle est fausse pour un intervalle de confiance, qui ne parle que de la méthode. L'intervalle HPD est plus court et décalé vers 0, là où la densité est la plus haute. Avec k = 0, il commence exactement en 0, alors que l'intervalle à queues égales exclut à tort les toutes petites valeurs, les plus plausibles.
3

Crédibilité et confiance : deux garanties différentes

Idée en une phrase : si θ est vraiment tiré dans la loi a priori, l'intervalle de crédibilité couvre θ exactement 95 % du temps en moyenne ; pour une valeur de θ fixée, sa couverture peut être plus haute ou plus basse.

Deux expériences. À gauche, on fixe θ et l'on répète l'expérience (n essais) ; on calcule la proportion des intervalles de crédibilité (a priori de Jeffreys, queues égales) qui contiennent θ, exactement, en sommant sur toutes les valeurs possibles de k. C'est la couverture fréquentiste, tracée pour tous les θ. À droite, θ est lui-même tiré au hasard dans l'a priori à chaque expérience, et l'intervalle est calculé avec ce même a priori : la couverture moyenne doit valoir exactement le niveau annoncé, ce que la simulation vérifie, même pour n très petit.

Couverture fréquentiste exacte de l'intervalle de crédibilité (bleu) en fonction de la vraie valeur θ ; trait rouge : 95 %.
θ tiré dans l'a priori à chaque expérience : part cumulée des intervalles qui contiennent θ (vert), qui doit tendre vers 95 %.
Couverture fréquentiste : plus basse, moyenne
Couverture avec θ tiré dans l'a priori
Valeur exacte de cette couverture
Σₖ P(k) × P(θ ∈ Iₖ | k), calculée exactement
Chacun sa promesse. L'intervalle de confiance promet une couverture d'au moins 95 % quelle que soit la vraie valeur ; l'intervalle de crédibilité promet 95 % en moyenne sur les valeurs plausibles a priori, et une probabilité a posteriori de 95 % pour les données effectivement observées. Avec l'a priori de Jeffreys, la couverture fréquentiste reste en fait très proche de 95 %, sauf tout près de 0 et de 1 : c'est pourquoi cet intervalle est souvent recommandé même par des statisticiens non bayésiens.
4

Le facteur de Bayes : quelle hypothèse les données soutiennent-elles ?

Idée en une phrase : le facteur de Bayes est le rapport des probabilités des données sous deux hypothèses ; il dit de combien les données doivent faire changer la cote entre elles.

Hypothèse H₀ : la pièce est équilibrée, θ = ½. Hypothèse H₁ : θ est inconnu, décrit par une loi a priori Beta(c, c) (c grand : on s'attend à un faible biais ; c = 1 : tout biais est possible). Le facteur de Bayes BF₀₁ = P(données | H₀) / P(données | H₁) se calcule exactement. Une propriété remarquable, due à Dickey et Savage, permet de le voir : BF₀₁ est le rapport entre la hauteur de la densité a posteriori en θ = ½ et la hauteur de la densité a priori au même point. Si les données ont fait monter la densité en ½, elles soutiennent H₀ ; si elles l'ont fait baisser, elles soutiennent H₁.

Sous H₁ : densité a priori (gris) et a posteriori (bleu). Les deux points en θ = ½ ont pour rapport de hauteurs le facteur de Bayes BF₀₁ (méthode de Savage-Dickey).
Échelle de Jeffreys pour le facteur de Bayes (échelle logarithmique) ; la flèche indique la valeur courante, du côté de H₀ ou de H₁.
Facteur de Bayes BF₀₁ (formule exacte)
Savage-Dickey : rapport des hauteurs
Par intégration numérique de la vraisemblance
Probabilité a posteriori de H₀
p-valeur du test classique (pour comparer)
Ce que dit, et ne dit pas, le facteur de Bayes. Avec 32 piles sur 50 (p-valeur ≈ 0,065), le facteur de Bayes est voisin de 1 : les données ne départagent presque pas les deux hypothèses. Contrairement à la p-valeur, il peut aussi soutenir H₀ (BF₀₁ > 1 quand k est proche de n/2). Il se combine avec les croyances initiales : cote a posteriori = BF × cote a priori. Mais il dépend de l'a priori sous H₁ : rendez-le plus diffus (c petit) ou plus concentré, et le facteur de Bayes change, alors que l'intervalle de crédibilité, lui, y est peu sensible dès que n est grand.
5

Le paradoxe de Jeffreys-Lindley

Idée en une phrase : avec beaucoup de données, un résultat « significatif à 5 % » peut être une preuve en faveur de l'hypothèse nulle ; p-valeur et facteur de Bayes ne mesurent pas la même chose.

On fixe la p-valeur du test classique à 0,05 (z = 1,96) et l'on fait grandir n. Pour garder z = 1,96, la proportion observée doit se rapprocher de ½ comme 1/√n : l'écart est « juste significatif » à toute taille. Le facteur de Bayes, lui, compare H₀ (θ = ½ exactement) à H₁ (θ quelconque, a priori uniforme). Quand n grandit, une proportion si proche de ½ devient bien plus probable sous H₀ que sous H₁, qui étale sa probabilité sur tout [0 ; 1] : BF₀₁ croît comme √n.

BF₀₁ (échelle logarithmique) en fonction de n pour un résultat dont la p-valeur vaut 0,05 (bleu) ou 0,01 (violet). Au-dessus de 1, les données soutiennent H₀ ; le pointillé vert est l'approximation √(2n/π)·e−z²/2.
Proportion observée pour z = 1,96
p-valeur
BF₀₁ exact
Approximation √(2n/π)·e−z²/2
Significatif et pourtant favorable à H₀. Vers 100 lancers, p = 0,05 correspond à un facteur de Bayes proche de 1 ; à 10 000 lancers, à près de 12 en faveur de H₀ ; au million, à plus de 100. Les deux approches ne se contredisent pas sur les calculs, mais répondent à deux questions : la p-valeur demande « ces données sont-elles surprenantes si θ = ½ ? », le facteur de Bayes « sont-elles plus probables si θ = ½ ou si θ est quelconque ? ». Un écart minuscule mais net est surprenant sous H₀, et encore plus improbable sous un H₁ qui attend des écarts de toutes tailles.

Un cas réel, analysé par William Jefferys en 1990 : des expériences de « psychokinèse » menées à Princeton, où des sujets tentaient d'influencer par la pensée un générateur aléatoire de 0 et de 1. Sur 104 490 000 essais, on compta 52 263 471 succès, soit 0,500 18 au lieu de 0,5. Le test classique donne une p-valeur d'environ 0,0003 : un résultat « très significatif ». Le facteur de Bayes, avec un a priori uniforme sous H₁, soutient pourtant H₀ (aucun effet) avec un facteur d'environ 12. Le curseur change la largeur de l'a priori sous H₁ : on voit que la conclusion dépend de la taille d'effet que l'on jugeait plausible avant l'expérience.

BF₀₁ en fonction de la concentration c de l'a priori Beta(c, c) sous H₁ (échelle logarithmique sur les deux axes). Le point marque la valeur choisie ; au-dessus de 1, les données soutiennent l'absence d'effet.
Proportion observée
p-valeur bilatérale
BF₀₁ pour cet a priori
Écart-type a priori de θ sous H₁
Le facteur de Bayes ne dispense pas de réfléchir à l'effet attendu. Avec un a priori uniforme, qui accorde autant de crédit à θ = 0,9 qu'à θ = 0,5002, le facteur de Bayes favorise H₀ ; avec un a priori qui n'attend que des effets petits (écart-type de quelques centièmes ou moins), il favorise H₁. Les données seules ne tranchent donc pas, et c'est honnête : elles montrent un écart réel mais infime, dont l'interprétation (biais du générateur, effet réel) dépend de ce qui est plausible. Le calcul porte sur plus de cent millions d'essais ; la page le fait en logarithmes de la fonction bêta, sans débordement.

Repères historiques

L'intervalle de crédibilité

Une probabilité sur le paramètre, sachant les données observées. Queues égales ou plus haute densité ; peu sensible à l'a priori dès que les données sont nombreuses.

Le facteur de Bayes

Un rapport de vraisemblances moyennées par l'a priori. Il peut soutenir H₀, se combine avec les croyances initiales, mais dépend fortement de l'a priori sous l'alternative.

Face aux méthodes classiques

Mêmes données, autres questions. Avec un a priori de Jeffreys, intervalles bayésiens et intervalles de confiance se ressemblent ; facteurs de Bayes et p-valeurs peuvent diverger fortement.

Pour aller plus loin

Vraisemblance marginale. Sous H₁, P(k | H₁) = C(n, k) B(k + c, n − k + c)/B(c, c), où B est la fonction bêta. Sous H₀, P(k | H₀) = C(n, k)/2ⁿ. Le coefficient binomial se simplifie dans le rapport.

Savage-Dickey. Si H₀ fixe θ = θ₀ et que l'a priori de H₁ est continu en θ₀, alors BF₀₁ = π(θ₀ | données, H₁) / π(θ₀ | H₁). Cette identité ne vaut que pour une hypothèse nulle ponctuelle emboîtée dans l'alternative.

Échelle de Jeffreys. BF entre 1 et 3 : à peine digne de mention ; 3 à 10 : substantiel ; 10 à 30 : fort ; 30 à 100 : très fort ; au-delà : décisif. Kass et Raftery proposent une échelle voisine en 2 ln BF.

Approximation BIC. Pour de grands échantillons, ln BF₀₁ ≈ ½ ln n − ½ z² + constante : c'est l'origine du √n du paradoxe de Lindley et du critère d'information de Schwarz.