Ist die Bonferroni-Korrektur für einige abhängige Hypothesen zu antikonservativ / liberal?

8

Ich habe häufig gelesen, dass die Bonferroni-Korrektur auch für abhängige Hypothesen funktioniert. Ich glaube jedoch nicht, dass dies wahr ist, und ich habe ein Gegenbeispiel. Kann mir bitte jemand sagen (a) wo mein Fehler ist oder (b) ob ich diesbezüglich richtig bin.

Einrichten des Zählerbeispiels

Angenommen, wir testen zwei Hypothesen. Sei die erste Hypothese ist falsch und sonst. Definieren Sie ähnlich. Sei die p-Werte, die den beiden Hypothesen zugeordnet sind, und sei Die Indikatorfunktion für die in den Klammern angegebene Menge.H 1 = 1 H 2 p 1 , p 2 [H1=0H1=1H2p1,p2[[]]

Für festes definieren Sie die offensichtlich Wahrscheinlichkeitsdichten sind über . Hier ist eine grafische Darstellung der beiden DichtenP ( p 1 , p 2 | H 1 = 0 , H 2 = 0 )θ[0,1] [0,1]2

P(p1,p2|H1=0,H2=0)=12θ[[0p1θ]]+12θ[[0p2θ]]P(p1,p2|H1=0,H2=1)=P(p1,p2|H1=1,H2=0)=1(1θ)2[[θp11]][[θp21]]
[0,1]2

Geben Sie hier die Bildbeschreibung ein

Die Marginalisierung ergibt und ähnlich für .

P(p1|H1=0,H2=0)=12θ[[0p1θ]]+12P(p1|H1=0,H2=1)=1(1θ)[[θp11]]
p2

Außerdem sei Dies impliziert, dass

P(H2=0|H1=0)=P(H1=0|H2=0)=2θ1+θP(H2=1|H1=0)=P(H1=1|H2=0)=1θ1+θ.
P(p1|H1=0)=h2{0,1}P(p1|H1=0,h2)P(h2|H1=0)=12θ[[0p1θ]]2θ1+θ+122θ1+θ+1(1θ)[[θp11]]1θ1+θ=11+θ[[0p1θ]]+θ1+θ+11+θ[[θp11]]=U[0,1]
ist einheitlich, wie es für p-Werte unter der Nullhypothese erforderlich ist. Gleiches gilt aufgrund der Symmetrie für .p2

Um die gemeinsame Verteilung , berechnen wirP(H1,H2)

P(H2=0|H1=0)P(H1=0)=P(H1=0|H2=0)P(H2=0)2θ1+θP(H1=0)=2θ1+θP(H2=0)P(H1=0)=P(H2=0):=q
Daher ist die gemeinsame Verteilung gegeben durch was bedeutet, dass .
P(H1,H2)=H2=0H2=1H1=02θ1+θq1θ1+θqH1=11θ1+θq1+θ2q1+θ
0q1+θ2

Warum ist es ein Gegenbeispiel

Nun sei für das Signifikanzniveau von Interesse. Die Wahrscheinlichkeit, mit dem korrigierten Signifikanzniveau mindestens ein falsches Positiv zu erhalten, wenn beide Hypothesen falsch sind (dh ), ist gegeben durch da alle Werte von und niedriger sind als , , undθ=α2αα2Hi=0

P((p1α2)(p2α2)|H1=0,H2=0)=1
p1p2 H1=0H2=0αα2H1=0H2=0Durch den Bau. Die Bonferroni-Korrektur würde jedoch behaupten, dass die FWER kleiner als .α
fabelhaft
quelle
Sehr gute Frage. Ich wünschte, jemand würde antworten
1
Das Gegenteil von konservativ ist in der statistischen Welt antikonservativ!
AdamO
Wusste das nicht. Ich dachte, ich lese ein paar Mal liberal.
Fabee
Danke, aber das ist etwas anderes. Sie benötigen eine zusätzliche Annahme (Abhängigkeit ist nicht das Problem, siehe meine Antwort unten).
Fabee

Antworten:

3

Bonferroni kann unabhängig von der Abhängigkeit nicht liberal sein, wenn Ihre p-Werte korrekt berechnet werden.

Sei A das Ereignis eines Fehlers vom Typ I in einem Test und sei B das Ereignis eines Fehlers vom Typ I in einem anderen Test. Die Wahrscheinlichkeit, dass A oder B (oder beide) auftreten, ist:

P (A oder B) = P (A) + P (B) - P (A und B)

Da P (A und B) eine Wahrscheinlichkeit ist und daher nicht negativ sein kann, gibt es für diese Gleichung keine Möglichkeit, einen höheren Wert als P (A) + P (B) zu erzeugen. Der höchste Wert, den die Gleichung erzeugen kann, ist, wenn P (A und B) = 0 ist, dh wenn A und B vollkommen negativ abhängig sind. In diesem Fall können Sie die Gleichung wie folgt ausfüllen, wobei sowohl Nullen als auch ein Bonferroni-angepasstes Alpha-Niveau von 0,025 angenommen werden:

P (A oder B) = P (A) + P (B) - P (A und B) = 0,025 + 0,025 - 0 = 0,05

Bei jeder anderen Abhängigkeitsstruktur ist P (A und B)> 0, sodass die Gleichung einen Wert erzeugt, der noch kleiner als 0,05 ist. Zum Beispiel ist unter perfekter positiver Abhängigkeit P (A und B) = P (A). In diesem Fall können Sie die Gleichung wie folgt ausfüllen:

P (A oder B) = P (A) + P (B) - P (A und B) = 0,025 + 0,025 - 0,025 = 0,025

Ein weiteres Beispiel: Unter Unabhängigkeit ist P (A und B) = P (A) P (B). Daher:

P (A oder B) = P (A) + P (B) - P (A und B) = 0,025 + 0,025 - 0,025 * 0,025 = 0,0494

Wie Sie sehen können, ist es unmöglich, dass die Wahrscheinlichkeit, dass ein oder beide Ereignisse größer als 0,05 sind, größer als 0,05 ist, wenn ein Ereignis eine Wahrscheinlichkeit von 0,025 und ein anderes Ereignis ebenfalls eine Wahrscheinlichkeit von 0,025 hat, da es für P ( A oder B) größer als P (A) + P (B) sein. Jede gegenteilige Behauptung ist logisch unsinnig.

"Aber das setzt voraus, dass beide Nullen wahr sind", könnte man sagen. "Was ist, wenn die erste Null wahr und die zweite falsch ist?" In diesem Fall ist B unmöglich, da Sie keinen Fehler vom Typ I haben können, bei dem die Nullhypothese falsch ist. Somit ist P (B) = 0 und P (A und B) = 0. Füllen wir also unsere allgemeine Formel für die FWER von zwei Tests aus:

P (A oder B) = P (A) + P (B) - P (A und B) = 0,025 + 0 - 0 = 0,025

Die FWER ist also wieder <.05. Beachten Sie, dass die Abhängigkeit hier irrelevant ist, da P (A und B) immer 0 ist. Ein weiteres mögliches Szenario ist, dass beide Nullen falsch sind, aber es sollte offensichtlich sein, dass die FWER dann 0 und damit <0,05 wäre.

Bonferroni
quelle
Danke für die Antwort. Ich lese Ableitungen wie deine oft und sie machen Sinn. Ich sehe den Fehler in meinem Beispiel jedoch immer noch nicht. Wenn es unsinnig ist, wo ist mein Fehler? Ich habe das Gefühl, dass das Problem darin besteht, dass Sie als , aber für die FWER interessieren Sie sich tatsächlich für . Sie können immer noch aber . Das habe ich in meinem Beispiel konstruiert. Ihr Beispiel ist richtig, wenn der Fehler vom Typ I unabhängig von der anderen Hypothese ist. P(A)P(A|H01=True)P(AB|H0(1)=TrueH0(2)=True)P(A|H0(1)=True)=αP(A|H0(1)=TrueH0(2)=True)>α
Fabee
Bei der Berechnung der FWER wird davon ausgegangen, dass beide Nullen wahr sind. P (A) bedeutet dasselbe wie P (A | null 1 ist wahr) und P (B) bedeutet dasselbe wie P (B | null 2 ​​ist wahr). Bedingte Wahrscheinlichkeiten sind daher nicht erforderlich. Vielleicht sollten Sie Ihr Beispiel ohne sie umschreiben. Beachten Sie, dass Sie einfach ein Szenario erstellt haben, in dem die p-Werte nicht korrekt berechnet wurden, wenn "alle Werte von p1 und p2 niedriger als α / 2 sind, vorausgesetzt, H1 = 0 und H2 = 0". Wenn jedes p bei α / 2 getestet wird, muss jedes p per Definition eine α / 2-Signifikanzwahrscheinlichkeit haben, aber Sie haben anscheinend jedem p eine 100% ige Signifikanzchance gegeben.
Bonferroni
Ich glaube nicht, dass du recht hast. Wenn die FWER-Fehlerrate davon ausgeht, dass beide Nullen wahr sind, möchte ich P berechnen (A oder B | null 1 und 2 sind wahr). Die Zerlegung, die Sie in Ihrer Antwort geschrieben haben, benötigt daher die gleiche Bedingung auf der rechten Seite. Nur bei Verwendung bedingter Wahrscheinlichkeiten wird dies deutlich. Meine p-Werte werden korrekt berechnet, da P (A | null 1 ist wahr) immer noch wie es sollte. Beachten Sie jedoch, dass P (A | null 1 ist wahr) im Allgemeinen nicht dasselbe ist wie P (A | null 1 und null 2 ​​sind wahr). α
Fabee
1
Zeichnen Sie ein großes Quadrat auf ein Blatt Papier, das den gesamten Probenraum möglicher Ergebnisse darstellt. Zeichnen Sie dann einen Kreis, der 2,5% der Fläche des Quadrats einnimmt, und beschriften Sie ihn mit A. Zeichnen Sie dann einen weiteren Kreis, der 2,5% der Fläche des Quadrats einnimmt, und beschriften Sie ihn mit B. Überlappen Sie A und B so wenig oder so viel wie Sie wollen (dh mit der Abhängigkeit zwischen A und B spielen). Sie werden feststellen, dass die kombinierte Fläche von A und B nicht mehr als 2,5% + 2,5% = 5% betragen kann.
Bonferroni
1
Es scheint, dass Sie über die Wahrscheinlichkeit auf einer sehr fundamentalen Ebene verwirrt sind und noch nicht bereit sind, die Mathematik anzugehen. Wir nehmen an, dass beide Nullen wahr sind, da dies die Situation ist, die die maximale FWER erzeugt. Wenn beide Nullen falsch sind, kann offensichtlich überhaupt kein Fehler vom Typ I auftreten. Und wenn eine Null wahr und eine Null falsch ist, ist die Fehlerrate einfach die Alpha-Stufe, die Sie zum Testen der wahren verwenden.
Bonferroni
0

Ich denke, ich habe endlich die Antwort. Ich benötige eine zusätzliche Anforderung für die Verteilung von . Vorher habe ich nur verlangt, dass zwischen 0 und 1 einheitlich ist. In diesem Fall ist mein Beispiel korrekt und Bonferroni wäre zu liberal. Wenn ich jedoch zusätzlich die Gleichmäßigkeit von benötige , ist es leicht abzuleiten, dass Bonferroni niemals zu konservativ sein kann. Mein Beispiel verstößt gegen diese Annahme. Allgemeiner ausgedrückt wird davon ausgegangen, dass die Verteilung aller p-Werte unter der Annahme, dass alle Nullhypothesen wahr sind, die Form einer Kopula haben muss : Gemeinsam müssen sie nicht einheitlich sein, aber nur geringfügig.P ( p 1 | H 1 = 0 ) P ( p 1 | H 1 = 0 , H 2 = 0 )P(p1,p2|H1=0,H2=0)P(p1|H1=0)P(p1|H1=0,H2=0)

Kommentar: Wenn mich jemand auf eine Quelle verweisen kann, in der diese Annahme klar angegeben ist (Lehrbuch, Papier), werde ich diese Antwort akzeptieren.

fabelhaft
quelle