Что случилось с парадоксом Ферми
Парадокс Ферми заключается в том, что вероятность возникновения внеземной цивилизации обычно оценивается довольно высоко, а признаков её существования что-то не видать. Недавно на arxiv появился препринт Сандерса с соавторами «Dissolving the Fermi paradox», который уже успели интерпретировать как отмену этого парадокса (правда), пустую болтовню в отсутствие данных (скорее правда, но верно для парадокса Ферми вообще, а не только для этой статьи), и как доказательство несуществования инопланетян и/или низкого L (неправда). В этой статье попробуем разобраться, что в препринте содержится на самом деле.
В чём тут дело?
Прежде всего, само уравнение Дрейка. Оно представлено на КДПВ; последний множитель — шутка, а остальные надо понимать следующим образом: в наблюдаемой вселенной (или нашей галактике, или любом другом объёме космоса) есть звёзд. Каждая звезда с вероятностью имеет планеты. Каждая из этих планет с вероятностью находится в зоне Златовласки, имеет пригодный для жизни химический состав и т.п. На каждой потенциально способной поддерживать жизнь планете с вероятностью (на единицу времени) возникает жизнь, которая с вероятностью достигает разумности и с вероятностью выходит на связь. И, наконец, всякий возникший разумный вид существует лет от зарождения до вымирания. Если перемножить это всё, получится количество разумных видов в данной области.
В случае Земли, например, от появления планеты до появления жизни и от появления жизни до появления вида Homo sapiens прошли миллиарды лет. Временем между зарождением разума и появлением заметной на межзвёздных дистанциях цивилизации пренебрегают. Межзвёздная колонизация пока не началась, но это тоже в худшем случае дело пары миллионов лет. Технологический прогресс несравнимо быстрее — появление Homo sapiens от послания Аресибо отделяет меньше десяти миллионов лет. По сравнению с дотехнологическими этапами — в пределах погрешности.
От порядка величины для количества звёзд и вероятности наличия у них планет до 200 порядков (двести порядков величины, оценки различаются в раз) для вероятности абиогенеза. Которая, как бы это сказать потактичней, довольно высока. Тем не менее, учёные публиковали различные оценки и чаще всего приходили к выводу, что , а то и . Неблагодарное это дело — оценивать вероятности из единственного наблюдения. В чём, собственно, и состоит парадокс Ферми: согласно нашим лучшим оценкам, в галактике должны быть и другие разумные расы, а достоверных свидетельств их существования как не было, так и нет.
Либо какой-то из параметров сильно завышен (и храни нас Господь, если это L), либо мы как-то неправильно считаем. Проблема, очевидно, не в галактике: если оценки расходятся с наблюдаемой реальностью, то тем хуже для оценок. Сандберг с соавторами как раз защищают последнюю версию.
А как считать правильно?
Казалось бы, перемножить пригоршню действительных чисел — не бином Ньютона. Подвох в том, что в такой ситуации перемножение чисел полагается на допущение, что они нам сколько-нибудь точно известны. Как мы видели выше, это допущение очень далеко от реальности.
2]$" data-tex="inline"/>. Рассмотрим упрощённый пример: пусть у уравнения Дрейка есть девять параметров и все девять униформно распределены в диапазоне . В галактике из звёзд должно возникнуть что-то около 100 цивилизаций, а вероятность того, что это не произойдёт ни разу — <img src="https://habrastorage.org/getpro/habr/formulas/634/932/bf3/634932bf32dc5aad0e9898c777d5898e.svg" alt="$3. Что в данном случае звучит довольно уместно, но на самом деле не отвергнуть такую нулевую гипотезу нельзя. Такие вероятности обычно иллюстрируют фразами типа “если каждый атом в <какой-нибудь очень большой штуке вроде солнечной системы> в течение <какого-нибудь очень долгого времени вроде её возраста>”. Парадокс Ферми встаёт во весь рост.
45% симуляций. Если же не использовать точечные оценки, а для каждого параметра брать случайную величину из соответствующего диапазона, то галактика оказывается пустой в 21. Это чуть меньше вероятности того, что пара королей побьёт все остальные руки на холдемном столе в 9 игроков, а с карманными королями лично я хожу ва-банк при первой же возможности. То, что случилось нечто с вероятностью чуть больше одной пятой — отнюдь не парадокс.
Если собрать их из литературы и прогнать симуляции, получается следующая картинка: Ту же логику можно применить к реальным оценкам параметров уравнения Дрейка.
Всё — на логарифмической шкале. Сверху вниз: функция плотности вероятности для числа цивилизаций в нашей галактике, кумулятивная плотность распределения для неё же, кумулятивная плотность распределения дистанции до ближайшей наблюдаемой цивилизации в парсеках. Кружки на верхнем графике — нормированные литературные оценки . Красной и синей чертой показана вероятность того, что мы единственная цивилизация в нашей галактике и наблюдаемой вселенной.
Но для целей парадокса Ферми цифры получаются примерно те же, что в упрощённом примере: с вероятностью в двадцать с чем-то процентов Млечный Путь содержит всего одну цивилизацию (нашу). В целом результат скорее оптимистичный: наибольшая плотность вероятности приходится на многочисленность цивилизаций (среднее 53 миллиона, медиана 100). Кстати, довольно контринтуитивное следствие: вероятность того, что Млечный Путь, не считая Земли, содержит ровно одну цивилизацию (кроме нашей), практически такова же.
Берётся диапазон оценок с точностью до порядка величины и каждый параметр считается лог-нормально или лог-униформно распределённым в соответствующем интервале. Вместо того, чтобы брать оценки параметров из литературы напрямую, можно построить распределения и посчитать аналитически. Результат несколько смещается влево, но смысл тот же:
Правильный ответ на вопрос “есть ли жизнь во вселенной или её там нету” по-прежнему “не знаю”. Что всё это значит? Изменился ответ на вопрос “Насколько сильно нас должно удивлять наблюдаемое ”. Сколь угодно изящная байесовская статистика мало чего стоит в отсутствие экспериментальных данных. Вероятность ядерной войны и/или встречи с динозавром на Невском инопланетянами упала только в байесовском смысле: мы чуть менее уверены в том, что это случится. Раньше он был “Очень сильно, так что либо жизнь очень редкая штука, либо мы все погибнем в ядерной войне или чём-нибудь типа того”, а теперь стал “Ну в принципе не очень вероятно, но ничего экстраординарного”. Произойдут ли эти события на самом деле или нет — зависит от факторов реального мира (грубо говоря, Путина, Трампа и Зорблакса, Пожирателя Галактик), а не используемой для их обсуждения математики.