Один джерело — це лише лінія
Визначення істини, як у геодезів
Геодез, який хоче визначити положення віддаленого вогнища, не може зробити це з однієї оглядової вежі. Одна вежа дає азимут: напрямок, кутовий показник компаса на дим. Азимут — це лінія, а не точка. Вогнище може знаходитися будь-де вздовж цієї лінії, близько або далеко.
Щоб точно визначити вогнище, потрібен другий, незалежний азимут з іншої вежі. Кожен азимут — це лінія; дві непаралельні лінії перетинаються рівно в одній точці. Це перетинання і є визначенням положення. Це триангуляція, і саме така форма лежить в основі будь-якої верифікації: одне джерело вказує напрямок, незалежні джерела перетинаються на істині.
Налаштування координат
Розмістіть Вежу A у початку координат (0, 0), а Вежу B у точці (6, 0), щоб вежі розташовувалися на відстані 6 км одна від одної на східно-західній базовій лінії. Нехай схід буде напрямком +x, а північ — напрямком +y. Азимути вимірюються за годинниковою стрілкою від півночі.
Азимут 045 градусів вказує точно на північний схід: схід і північ зростають з однаковою швидкістю. Тому лінія зору від Вежі A з азимутом 045 описується рівнянням y = x.
Азимут 315 градусів вказує точно на північний захід: північ зростає, тоді як схід зменшується з однаковою швидкістю. Тому лінія зору від Вежі B (яка починається при x = 6) описується рівнянням y = 6 - x.
Дві прямі, одна невідома точка. Цього достатньо, щоб розв'язати задачу.
Визначити місце пожежі
Вежа A повідомляє, що дим видно за азимутом 045 градусів. Вежа B повідомляє про той самий дим за азимутом 315 градусів.
Дві лінії зору описуються рівняннями y = x (від Вежі A) та y = 6 - x (від Вежі B), де відстані вказано в кілометрах, схід — це +x, а північ — +y.
Вимірювання — це область, а не точка
Реальні азимути є неточними
Ідеальне перетинання припускало, що кожне азимутальне значення є ідеальною прямою лінією. Реальні прилади не є ідеальними. Показання компаса 045 градусів насправді означає «де-небудь у вузькому куті навколо 045». Вимірювання — це не точка; це область: інтервал, смуга похибки, область довіри, яка вказує, де, ймовірно, перебуває справжнє значення.
Коли два незалежні вимірювання, кожне з яких має свою область, справжнє значення ймовірно лежить там, де ці області перетинаються: у їхньому перетині. Перетин двох розмитих кутів менший за кожен із кутів окремо, тому поєднання незалежних вимірювань зменшує невизначеність. Це триангуляція з товстими лініями: навіть розмиті азимутальні значення, перетинаючись, обмежують справжнє значення невеликою областю.
Червоний прапорець
Заява, подана як єдине впевнене число без жодної області похибки, є сигналом тривоги. Без області неможливо відрізнити точне вимірювання від дикого припущення: обидва виглядають як голе число. Чесна оцінка несе з собою свою невизначеність. Число без смуги похибки приховує, наскільки воно не знає.
Незалежність має значення. Два вимірювання, які мають однаковий недолік, не перетинаються в меншу область істини; вони збігаються в одній і тій самій помилці. Області повинні походити від дійсно різних методів.
Чому перетин перемагає голе число
Дві незалежні лабораторії оцінюють одну й ту саму величину. Лабораторія 1 звітнує значення з областю похибки; Лабораторія 2, використовуючи зовсім інший метод, звітнує своє значення зі своєю областю похибки. Дві області частково перетинаються.
Довіряйте кластеру, ставте під сумнів відхилення
Незалежні оцінки згруповуються
Запитайте кілька незалежних джерел про одну й ту саму величину та зобразіть їхні відповіді на прямій. Коли оцінки згруповуються щільно (мале розсіювання), ви можете довіряти центру групи: багато різних шляхів привели майже до одного місця, і випадково це не підсипати.
Один впевнений відповідей, що знаходиться далеко від усіх інших, є самотнім викидом. Це може бути проривом, але набагато частіше це помилка, відповідь на інше запитання або просто хибне джерело. Викид потребує ретельного розгляду, а не довіри, саме тому, що він суперечить збігу.
Середнє зменшує розкид
Чому кластер незалежних оцінок перевершує будь-яку з них окремо? Тому що усереднення компенсує незалежний шум. Якщо одне вимірювання має стандартне відхилення (розкид) sigma, то середнє з n незалежних вимірювань матиме стандартне відхилення:
sigma / sqrt(n)
Дисперсія зменшується пропорційно до 1/n, а стандартне відхилення — пропорційно до 1/sqrt(n). Чотири незалежні вимірювання зменшують розкид вдвічі (sqrt(4) = 2). Сто вимірювань зменшують його в десять разів (sqrt(100) = 10). Чим більше незалежних спостережень, тим менше шуму та тим тісніший кластер навколо істинного значення.
Наскільки допомагає усереднення?
Прилад вимірює фіксовану величину з випадковим незалежним шумом. Стандартне відхилення одного вимірювання становить 10 одиниць. Немає систематичної помилки: вимірювання розкидані симетрично навколо істинного значення.
Проекція на істинний напрямок
Сигнал — це напрямок; шум вказує всюди
Уявіть кожне вимірювання як стрілку. Кожна стрілка — це сигнал (істинне значення, що вказує в одному фіксованому напрямку) плюс шумова стрілка, яка вказує в випадковому напрямку, який змінюється щоразу. Одне вимірювання — це сигнал плюс один випадковий «штовх»: ви не можете побачити, яка частина є якою.
Якщо усереднювати багато незалежних вимірювань, стрілки сигналу, які вказують у тому ж самому напрямку, додаються. Стрілки шуму, що вказують у різні боки, переважно компенсуються. Те, що залишається, — це проєкція на справжній напрямок: сигнал зростає пропорційно до n, тоді як шум зростає лише пропорційно до sqrt(n), тому співвідношення сигналу до шуму покращується пропорційно до sqrt(n). Це той самий закон 1/sqrt(n), але розглянутий з іншого боку.
Саме тому незалежність має вирішальне значення. Якщо стрілки шуму вказують у той самий напрямок (джерела копіюють одне одного, спільне упередження), вони не компенсуються; вони додаються, точно так само, як і сигнал. Десять копій одного джерела — це все ще один напрямок. Лише справді незалежні спостереження дозволяють усереднити шум до нуля.
Отже, уся інструментарієв — це одна геометрична картина: незалежні напрямки перетинаються в точці істини, незалежні області помилок перекриваються, утворюючи меншу область, а незалежні вимірювання усереднюють шум до нуля. Перевірка — це мистецтво отримати більше одного чесного напрямку на одну й ту саму точку.
Одна впевнена відповідь — це один напрямок
Сучасна проблема верифікації
Автоматизовані системи зараз створюють більшість перших чернеток відповідей у сфері комерції та інтелектуальної праці: ціну, резюме, діагноз, посилання, число у звіті. Кожна відповідь приходить плавною та впевненою. Але плавність — це не точність, а впевненість — це не друге джерело. Кожна автоматизована відповідь — це рівно один напрямок: одна лінія, один вектор, а не фіксація точки.
Уважний професіонал не плутає одну впевнену лінію з точно визначеною точкою. Вони триангулюють: отримують другий, незалежний напрямок, а потім і третій. Вони оцінюють розкид незалежних відповідей. Вони довіряють щільному кластеру та розглядають самотню впевнену відповідь, що значно відрізняється від усіх інших, як викид, який слід перевірити, а не як істину, яку можна публікувати.
І вони охороняють незалежність. Друге джерело, яке просто повторює перше (ті самі дані, той самий метод, той самий автоматизований початок), взагалі не є другим напрямком. Це та сама лінія, проведена двічі.
Що робить професіонал далі
Ви ставите автоматизованій системі фактичне запитання. Вона повертає впевнену, плавну, конкретну відповідь, без зони помилок і без джерел.
Перевірка — це геометрія — Підсумок
Що ви навчилися
Знання того, що є істинним, має форму визначення точки:
- Триангуляція: один джерело дає азимут, тобто лінію, а не точку. Незалежні азимути перетинаються в точці істини. Дві вежі визначили пожежу в точці (3, 3); одна вежа ніколи не змогла б цього зробити.
- Області помилок: реальне вимірювання — це область, а не точка. Незалежні області перетинаються, утворюючи меншу спільну частину, що уточнює істину. Твердження без області помилок — це червоний прапорець.
- Збіжність проти самотнього відхилення: незалежні оцінки, що щільно згруповані, заслуговують на довіру; самотнє впевнене значення викликає підозри. Середнє значення зменшує розкид пропорційно до 1/sqrt(n).
- Сигнал проти шуму: вектори сигналу додаються, а вектори незалежного шуму взаємно знищуються, тому співвідношення сигналу до шуму покращується пропорційно до sqrt(n). Лише справді незалежні спостереження дозволяють шуму усереднитися.
Автоматизовані системи цілий день подають вам плавні, впевнені перші чернетки. Кожна з них — це один азимут. Професіонал не плутає одну лінію з точним визначенням: він виконує триангуляцію, читає розкид, довіряє кластеру, не довіряє самотньому відхиленню та береже незалежність кожного джерела.