Как теория хаоса и неточные вычисления спасут климатические модели

Perimeter Institute 83,1 тыс. 1 ч 15 мин 9 мин 05.05.2016
Главное

Публичная лекция профессора Оксфордского университета Тима Палмера в канадском Perimeter Institute посвящена фундаментальной связи между изменением климата, теорией хаоса и технологиями суперкомпьютерных вычислений. Спикер объясняет, почему долгосрочные климатические прогнозы возможны, несмотря на краткосрочную непредсказуемость погоды, и предлагает революционный подход к моделированию — неточные вычисления. Этот метод призван преодолеть ограничения современных суперкомпьютеров в симуляции облачных систем и кардинально снизить их колоссальное энергопотребление.

🌪️ Эффект бабочки и провал прогноза 1987 года 4:37

В середине октября 1987 года на южную Англию обрушился сильнейший шторм, ставший худшим погодным катаклизмом в регионе за последние 300 лет. Накануне катастрофы синоптики британской метеослужбы (Met Office) прогнозировали лишь ветреный день, не выдав никаких предупреждений о грядущей опасности. Как показывает Тим Палмер на современных симуляциях, микроскопические различия в начальных данных, полученных со спутников, ведут к радикально разным сценариям развития событий. В одной компьютерной модели формируется разрушительный ураганный вихрь, а в другой — предсказывается прекрасная спокойная погода.

Этот феномен описывается теорией хаоса, основы которой заложил физик Анри Пуанкаре, а математически конкретизировал метеоролог Эдвард Лоренц из Массачусетского технологического института. Лоренц вывел систему из трех простых дифференциальных уравнений, траектории решений которых при ничтожно малом изменении стартовых условий полностью расходятся со временем. Тим Палмер подчеркивает, что уравнения Лоренца связали классический анализ Исаака Ньютона с современной математикой, включая теорему Гёделя о неполноте и доказательство Последней теоремы Ферма Эндрю Уайлсом. По словам лектора, именно крайняя нестабильность атмосферы к крошечным флуктуациям привела к печально известной ошибке прогнозирования в 1987 году.


🎯 Климат и погода: аналогия с магнитным маятником 10:29

Скептики часто используют хаотичность погоды как аргумент против климатических моделей, заявляя, что если наука не способна точно предсказать погоду на несколько дней вперед, то столетние прогнозы не имеют ценности. Для опровержения этого тезиса Тим Палмер использует физическую аналогию — «магнитный маятник решений». Прибор представляет собой маятник, колеблющийся над четырьмя магнитами, и траектория его движения абсолютно хаотична и чувствительна к начальной точке. В нормальном состоянии маятник в среднем проводит около четверти времени над каждым из магнитов.

Суть изменения климата заключается не в предсказании конкретной траектории маятника, а в изменении геометрии самой системы. Если подложить под прибор небольшой деревянный клин, наклоняя его, маятник продолжит совершать непредсказуемые колебания, но станет проводить значительно больше времени над одним из магнитов. В этой аналогии, как объясняет ученый, клин символизирует антропогенные выбросы парниковых газов, а задача климатологии — определить, как этот «клин» меняет общую статистику погодных явлений.

По мнению Палмера, графики глобальной температуры Земли за последние 100 лет наглядно демонстрируют наложение хаотической изменчивости на постепенное антропогенное воздействие. Из-за нелинейной структуры атмосферы температура не растет строго линейно: периоды относительного похолодания, вроде затишья 2000-х годов, закономерно сменяются резкими температурными скачками, как в 2015 и 2016 годах.


☁️ Триклионный вопрос: усилители климата и загадка облаков 18:50

По словам Палмера, если бы климатический отклик ограничивался только прямым радиационным воздействием углекислого газа, расчеты были бы простыми и однозначными. Углекислый газ прозрачен для входящего солнечного ультрафиолетового излучения, но поглощает исходящее инфракрасное излучение Земли. Однако в игру вступают внутренние механизмы обратной связи, которые Тим Палмер называет потенциальными усилителями:

Самым сложным и наименее понятным фактором Палмер считает облака, поскольку они могут работать в двух противоположных направлениях. Высотные перистые облака (cirrus) состоят из льда и действуют как одеяло, улавливая тепло Земли. Низкие плотные слоистые облака (stratus), напротив, отражают солнечный свет обратно в космос, охлаждая планету. Большинство современных климатических моделей предполагают, что в совокупности облака сработают как усилитель потепления, однако погрешности в этих расчетах остаются огромными.


🧸 Матрешка Навье-Стокса и ограничения суперкомпьютеров 27:27

Математической основой симуляций атмосферы и океана являются уравнения Навье-Стокса, описывающие второй закон Ньютона для жидкостей и газов. Тим Палмер сравнивает это нелинейное уравнение с гигантской матрешкой, содержащей в себе бесконечное число более мелких кукол. Около двадцати символов в формуле связывают глобальные атмосферные явления протяженностью в десятки тысяч километров с микромасштабными процессами, вплоть до человеческого дыхания. В нелинейной системе все эти масштабы взаимосвязаны: неопределенности могут беспрепятственно прорастать снизу вверх, от малых величин к крупным, что и составляет суть «эффекта бабочки». При этом базовые математические свойства уравнений Навье-Стокса до сих пор не доказаны строго, что делает их одной из нерешенных Проблем тысячелетия Клеевского математического института.

Чтобы запустить вычисления на компьютере, ученым приходится буквально выбрасывать мелкие матрешки из-за нехватки мощностей. В стандартных моделях Межправительственной группы экспертов по изменению климата (МГЭИК) шаг сетки составляет около 100 километров. Крупные циклоны в такую сетку помещаются, но грозовые облака в тропиках Тихого океана имеют значительно меньшие масштабы и проваливаются сквозь нее. На данный момент климатологи вынуждены заменять реальную физику облаков так называемыми «сеточными параметризациями» — упрощенными формулами, которые и генерируют основную неопределенность климатических прогнозов.


📊 Ансамбли прогнозов и триллионный клин 37:13

Для преодоления неопределенности современные метеослужбы используют ансамблевое прогнозирование. Вместо запуска одной симуляции суперкомпьютер прогоняет от 50 до 100 прогнозов с едва заметными вариациями начальных условий. Если атмосфера стабильна, траектории сходятся, давая синоптикам уверенность. В случае со штормом 1987 года ретроспективный ансамблевый анализ показал колоссальное расхождение моделей, где вероятность урагана составляла около 30%. По мнению лектора, 30%-я вероятность для редкого катаклизма — это огромная цифра по сравнению с базовой нормой, требующая незамедлительных мер предосторожности.

Аналогичный ансамблевый подход применяется и в климатологии для расчета «триллионного клина» антропогенного воздействия. Варьируя параметры неразрешенных процессов, ученые МГЭИК строят вероятностные сценарии. Согласно Пятому оценочному докладу МГЭИК, при сохранении текущих темпов выбросов углекислого газа температура к 2100 году вырастет в диапазоне от 2 до 5 градусов Цельсия. По оценке Палмера, потепление на 5 градусов создаст реальную экзистенциальную угрозу для значительной части человечества, сделав открытый воздух в жарких и влажных регионах планеты непригодным для выживания.


🧠 Революция неточных вычислений в эпоху Exascale 46:55

Для точного моделирования грозовых облаков физикам необходимо уменьшить шаг сетки до 100 метров, что требует перехода к суперкомпьютерам экзафлопсного уровня ($10^{18}$ операций в секунду), внедрение которых началось в 2020-х годах. Однако главным барьером на этом пути становится энергопотребление. При традиционных технологиях экзафлопсный суперкомпьютер потребует около 100 мегаватт электроэнергии, что обойдется примерно в 100 миллионов долларов в год только на оплату счетов. Задача индустрии — снизить потребление до приемлемого уровня в 10–20 мегаватт.

Стандартные научные расчеты по умолчанию используют 64-битную точность для представления каждого числа, что генерирует миллиарды битов, требующих колоссальной энергии на перемещение по чипу. Тим Палмер предлагает революционную парадигму — «неточные вычисления» (inexact computing), концепцию которой он изложил в статье для журнала Nature. Поскольку по мере уменьшения масштабов количество реальной полезной информации в битах падает, эти мелкие масштабы можно рассчитывать с гораздо меньшей точностью, используя меньше битов. Происходит парадоксальный размен: снижение точности отдельных вычислений позволяет радикально сэкономить энергию и за счет этого включить в модель гораздо больше мелких масштабов, повышая общую точность и разрешение климатической модели.

Совместно с Кришной Палемом из Университета Райса разрабатываются чипы, в которых намеренно снижается рабочее напряжение на транзисторах. Из-за этого в них проскакивают случайные ошибки, однако энергопотребление падает в разы. Подобная стохастичность идеально накладывается на математический аппарат случайных чисел, который группа Палмера использует для описания неопределенности в облачных параметризациях.


🔋 Прецедент человеческого мозга и другие науки 55:20

Главным природным прецедентом энергоэффективных неточных вычислений Палмер считает человеческий мозг. Обладая 100 миллиардами нейронов, мозг демонстрирует производительность экзафлопсного диапазона, потребляя при этом всего 20 ватт энергии — в миллион раз меньше, чем проектируемые суперкомпьютеры. Нейробиология показывает, что микроскопические аксоны работают на уровне ионных каналов из нескольких молекул и неизбежно подвержены шуму. По мнению Палмера, этот тепловой шум имеет ключевое биологическое преимущество: он обеспечивает человеческую креативность. Озарения у ученых чаще происходят не во время напряженной детерминированной работы, а в моменты расслабления, когда мозг максимально восприимчив к шуму.

Принципы неточных вычислений применимы далеко за пределами климатологии. Профессор Палмер утверждает, что аналогичный подход востребован во всех многомасштабных нелинейных системах:


⚖️ Риски, страховка и границы ответственности науки 58:22

Разделение общества на «верующих» и «неверующих» в глобальное потепление Палмер считает в корне неверным подходом. Поскольку климатология оперирует вероятностями, речь идет об управлении рисками. Спикер сравнивает климатическую политику со страхованием дома от кражи: владельцу недвижимости не нужно твердо «верить» в то, что его обязательно ограбят; достаточно понимать, что риск высок, а ценность имущества оправдывает стоимость страхового полиса.

Как ученый-физик Тим Палмер дает утвердительные ответы на четыре фундаментальных вопроса:

  1. Земля несомненно нагревается.
  2. Это потепление почти наверняка вызвано антропогенными выбросами углекислого газа.
  3. Дальнейшие нескоординированные выбросы с высокой вероятностью приведут к опасному потеплению (более чем на 2 градуса).
  4. Сокращение выбросов гарантированно снизит риски климатической катастрофы.

Однако на главный политический вопрос — «Должны ли мы сокращать выбросы?» — физика ответить не может. По словам Палмера, этот выбор лежит в плоскости экономики, этики, морали и политики, где физики-теоретики не являются экспертами, а значит, окончательное решение остается за обществом.


💬 Вопросы и ответы 1:02:38

Пиксели, фракталы и квантовые компьютеры

Студийный зритель по имени Эйден поинтересовался, можно ли представить симуляцию среды в виде взаимосвязанных пикселей на микроуровне, позволяя им смешиваться и избегая многократных повторных вычислений, учитывая фрактальную природу облаков. Тим Палмер согласился, что идея звучит отлично, однако подчеркнул, что в уравнениях Ньютона все масштабы неразрывно связаны друг с другом. Невозможно просто решить задачу для крупных блоков и отбросить мелкие, требуется исключительно целостный взгляд на их взаимодействие. Численный анализ ищет эффективные методы решения уравнений, и в будущем для этого могут быть применены квантовые компьютеры, хотя на данный момент алгоритмов ускорения для уравнений Навье-Стокса не существует.

Прямое влияние человека на облака и водяной пар

Отвечая на онлайн-вопрос о влиянии человечества на типы облаков и объем водяного пара, Палмер пояснил, что прямое антропогенное воздействие ничтожно мало по сравнению с естественным испарением Мирового океана. Однако люди влияют на водяной пар косвенно: выбросы углекислого газа нагревают атмосферу, усиливая океаническое испарение. Относительно конденсационных следов от самолетов ученый высказал скепсис, отметив их кратковременность, в то время как молекула углекислого газа остается в атмосфере на сотни и тысячи лет.

Опасности геоинженерии

Представитель экологической организации 350.org задал вопрос о распылении диоксида серы в стратосфере для имитации извержения вулканов и отражения солнечного света. Палмер назвал подобные геоинженерные проекты крайне проблематичными и опасными. Блокировка солнечного света физически не эквивалентна удержанию инфракрасного тепла у поверхности Земли. Такое вмешательство может разрушить глобальный гидрологический цикл и муссоны, задушив приток влаги к тропическим лесам, что снизит их способность поглощать углерод и вызовет обратный эффект. По мнению ученого, предлагать геоинженерию как альтернативу сокращению выбросов — «абсолютное безумие».

От черных дыр к климатологии: личная история

В завершение лекции Палмер рассказал, как он пришел в климатическую физику из космологии, защитив кандидатскую диссертацию по общей теории относительности под руководством Денниса Сиамы (в группе которого учился и Стивен Хокинг). Сиама поручил Палмеру разобраться в механизме квантового испарения черных дыр с помощью термодинамического принципа максимального производства энтропии. В конце аспирантуры Палмеру предложили место в группе Хокинга, но коллега посоветовал ему заняться социально значимой наукой. На встрече с климатологами Палмер с удивлением узнал, что главным прорывным подходом к пониманию климата в тот момент считался именно этот принцип максимального производства энтропии. Это хаотичное совпадение определило его карьеру.

💬 Цитаты

«Изменение климата — это проблема теоретической физики.»

Тим Палмер 4:23

«Снижая точность представления отдельных мелких масштабов, вы можете повысить общую точность модели.»

Тим Палмер 52:29

«Предлагать геоинженерию в качестве серьезной альтернативы сокращению выбросов было бы безумием.»

👥 Спикеры
🔗 Упомянутые сайты и проекты
📖 Термины
Уравнения Навье-Стокса
Система дифференциальных уравнений, описывающая движение вязкой жидкости или газа и составляющая основу гидродинамики.
Ансамблевый прогноз
Метод прогнозирования погоды, использующий несколько симуляций с незначительными различиями в начальных условиях для оценки вероятности событий.
Параметризация
Метод замещения мелкомасштабных процессов, которые компьютер не может рассчитать напрямую, упрощенными математическими формулами.
Неточные вычисления
Концепция компьютерной архитектуры, жертвующая битовой точностью вычислений ради колоссальной экономии энергии.
Экзафлопс
Единица измерения производительности суперкомпьютеров, равная одному квинтиллиону (10 в 18 степени) операций с плавающей запятой в секунду.
📊 Цифры
🗓 Хронология
  1. Октябрь 1987 года Великий шторм в Великобритании, разрушивший Севен-Оукс и продемонстрировавший несовершенство классического прогнозирования.
  2. 2011 год Тим Палмер избран членом Лондонского королевского общества.
  3. 2013 год Публикация Пятого оценочного доклада Межправительственной группы экспертов по изменению климата (МГЭИК).
  4. 2014 год Тим Палмер удостоен медали Дирака и звания Командора ордена Британской империи.
  5. 2015 год Подписание Парижского климатического соглашения и фиксация температурных рекордов.
⚖️ Другая сторона
Математика и физика Тим Палмер уравнения Навье-Стокса теория хаоса неточные вычисления Perimeter Institute