Математичні парадокси

Словник / p-значення

Словник · p-значення

Сторінки однакові. Яке p випаде найчастіше?

Ви показуєте ту саму сторінку двом половинам відвідувачів і рахуєте p — число від 0 до 1, яке видає будь-який інструмент для A/B-тестів. Здається, що коли різниці немає, p має бути близьким до 1. Насправді всі значення однаково ймовірні: p нижче за 0,05 трапляється так само часто, як p між 0,50 і 0,55. Тому навіть між однаковими сторінками приблизно один тест із двадцяти виглядає «значущим».

На пальцяхкартинки, аналогії, маленькі числа

Шар «На пальцях» приховано на всіх задачах.

Парадокс рівного p

Кожен тест тут — дві версії лендингу по 10 000 відвідувачів, базова конверсія 5%. Комп'ютер рахує p так само, як рахують звичайні інструменти (z-тест для двох часток), і кладе його в один із 20 стовпчиків. Почніть з однакових сторінок, а потім дайте версії B справжню перевагу.

p < 0,05: інструмент каже «значущо»решта тестівточний розрахунок

Тестів проведено0
p < 0,05–
p від 0,50 до 0,55–

Що таке p простими словами

Це спрощене пояснення, але суть у ньому вся. p відповідає на одне питання: якби сторінки були однакові, як часто сам лише випадок дав би розрив щонайменше такий, як ви бачите? p = 0,03 означає «три рази зі ста». Що менше p, то дивніший ваш результат для світу без різниці. Межа 0,05, або «один раз із двадцяти», — просто домовленість.

Звідси і рівний розподіл. У світі без різниці ваш тест — ще одна випадкова спроба з тих самих, з якими його порівнюють. Тож він з однаковим шансом опиняється серед 5% найдивніших, серед 5% найзвичайніших чи будь-де посередині.

Чим p не є

  • Не ймовірність, що різниці немаєp рахують, припустивши, що різниці немає. Воно не може водночас оцінювати, чи це припущення правдиве. p = 0,03 не означає «3% шансу, що сторінки однакові».
  • «Впевненість 97%» — не шанс, що B кращаДашборди часто показують 1 − p як «впевненість». На однакових сторінках «впевненість» понад 95% виходить у кожному двадцятому тесті, понад 90% — у кожному десятому.
  • Не розмір ефектуМізерна різниця на мільйонах відвідувачів дає крихітне p. Велике покращення на сотні відвідувачів може дати p = 0,4. p каже, наскільки результат вибивається з шуму, а не скільки він вартий.
  • p > 0,05 не доводить, що ефекту немаєПоставте вгорі «B справді краща на 10%». За 10 000 відвідувачів на версію p виходить більшим за 0,05 приблизно у двох тестах із трьох, хоча покращення справжнє. Тест просто замалий, щоб його помітити.
  • Чесне лише при одному поглядіРівний розподіл тримається, якщо розмір тесту обрали заздалегідь і подивилися на p один раз. Заглядати щодня або перебирати багато сегментів — це багато спроб, і шанс хибної «перемоги» росте.
Строготаблиці, графіки, формули

Шар «Строго» приховано на всіх задачах.

Звідки береться p

Версія A: 500 конверсій на 10 000 відвідувачів, 5,0%. Посуньте, скільки конверсій зібрала B. Дзвін — як розкидалася б різниця B − A, якби сторінки були однакові. Розфарбована площа хвостів, де розрив не менший за ваш (в обидва боки), і є p.

Приріст B до A–
z: розрив у стандартних похибках–
p–

p̄ = (kA + kB) / 2n  ·  SE = √(p̄ (1 − p̄) · 2 / n)  ·  z = (kB − kA) / n / SE  ·  p = 2 · (1 − Φ(|z|))

SE — стандартна похибка різниці: на скільки зазвичай гуляє B − A від самого лише випадку. Φ — площа під нормальною кривою ліворуч від z. При |z| = 1,96 виходить рівно p = 0,05.

p < 0,05 не означає «5% перемог хибні»

Поріг 0,05 обіцяє інше: з ідей, які насправді нічого не дають, крізь фільтр проскочить 5%. Яка частка хибних серед усіх «переможців», залежить від того, скільки ідей справді працюють і як часто тест помічає справжній ефект (це його потужність). Ось 1000 ідей, які команда перевірила A/B-тестами.

працює, тест помітивпрацює, тест пропустивне працює, але p < 0,05не працює, тест мовчить

«Переможців»–
З них хибних–
Частка хибних–

Це та сама логіка, що й у задачі про хибнопозитивний тест: точний фільтр на рідкісній події дає багато хибних тривог. Що рідше справжні покращення, то більше «переможців» — шум.

Глибшеузагальнення, теорія, історія

Шар «Глибше» приховано на всіх задачах.

Чому гістограма рівна і чому останній стовпчик нижчий

p — це частка можливих результатів «світу без різниці», дивніших за ваш. Отже, p ≤ 0,2 рівно тоді, коли ваш результат потрапив у 20% найдивніших. Якщо різниці справді немає, ваш результат вибирається з того самого розподілу, тож у ці 20% він потрапляє з імовірністю рівно 0,2. Те саме для будь-якого порогу t: P(p ≤ t) = t. Це і є рівномірний розподіл від 0 до 1. Так само ваш зріст у процентилях випадкового натовпу з однаковим шансом опиниться в будь-якому процентилі.

Точний розрахунок для однакових сторінок дає 4,99% тестів з p < 0,05 і 4,8–5,3% у кожному з наступних стовпчиків. Останній, від 0,95 до 1, отримує лише 3,9%: конверсії рахуються цілими числами, і p вище за 0,95 буває тільки тоді, коли лічильники A і B збігаються або різняться на одиницю. Рівність — властивість неперервної моделі; на цілих числах вона майже точна.

Коли ефект є, розподіл p стискається до нуля: за 10 000 відвідувачів і справжніх +10% p < 0,05 виходить у 35,4% тестів, за +20% — у 87,4%. Саме цю частку називають потужністю тесту.

Звідки взялися p і поріг 0,05

Перший відомий розрахунок такого типу зробив шотландський лікар Джон Арбутнот 1710 року. Він переглянув лондонські записи про хрещення за 82 роки і побачив, що хлопчиків щороку хрестили більше, ніж дівчаток. Якби шанси були рівні, таке траплялося б з імовірністю (½)82, приблизно 2 · 10−25. Арбутнот вирішив, що це не випадок.

Поріг 0,05 походить від Рональда Фішера, з книжки «Статистичні методи для дослідників» 1925 року. Фішер зазначив, що p = 0,05 відповідає відхиленню приблизно в 1,96, тобто майже у два стандартні відхилення, і що цю точку «зручно взяти за межу» (convenient to take this point as a limit), щоб судити, чи значуще відхилення. Зручна межа з часом затверділа в правило.

У березні 2016 року Американська статистична асоціація вперше від імені всієї спільноти статистиків видала заяву про p-значення (Рональд Вассерстайн і Ніколь Лазар, журнал The American Statistician). Шість її принципів своїми словами:

  1. p показує, наскільки дані несумісні з певною моделлю, наприклад «різниці немає».
  2. p не є ймовірністю, що гіпотеза правдива, чи що дані — витвір самого випадку.
  3. Висновки й бізнес-рішення не мають залежати лише від того, чи перетнуло p поріг.
  4. Чесний висновок вимагає повного звіту: скільки перевірок зроблено і які.
  5. p не міряє ні розмір ефекту, ні його важливість.
  6. Саме по собі p — слабка міра доказу.

Де це трапляється

Інші терміни