Крупнейшие прорывы в математике: 2025 год

• Дэвид Гильберт предложил 23 задачи для будущего математики, включая задачу о математическом доказательстве законов физики.  

• Задача заключалась в доказательстве связи между различными уравнениями, описывающими поведение газов.  

• Три исследователя разработали доказательство, связывающее уравнения в больших временных масштабах.  

• Микроскопический масштаб: частицы газа моделируются как бильярдные шары, подчиняющиеся законам Ньютона.  

• Мезоскопический масштаб: уравнение Больцмана описывает поведение групп частиц.  

• Макроскопический масштаб: уравнения Навье-Стокса описывают поведение газа как единого вещества.  

• Доказательство связи между микроскопическим и мезоскопическим масштабами было сложной задачей.  

• Столкновения частиц в газе, подчиняющемся законам Ньютона, вызывают множество проблем.  

• История столкновений представлена в виде диаграмм, которые сложно анализировать.  

• Оскар Лэнфорд показал связь между бесконечной суммой моделей столкновений и уравнением Больцмана для коротких временных интервалов.  

• Главным препятствием были «воспоминания» — сценарии, в которых частицы сталкиваются более одного раза.  

• Математики Юй Данг Цзы и Сяо Ма разработали алгоритм для разбиения сложных диаграмм на более мелкие фрагменты.  

• Они показали, что модели столкновений с множеством «воспоминаний» маловероятны даже в длительных временных масштабах.  

• Команда опубликовала результаты, показывающие сходимость микроскопических уравнений Ньютона к мезоскопическому уравнению Больцмана.  

• Решение шестой задачи Гильберта — важная веха в математической физике.  

• В будущем математики могут изучать газы в более реалистичных условиях, например, с использованием квантовой механики.  

• Гиперболические поверхности имеют отрицательную кривизну и являются строительными блоками многих математических дисциплин.  

• Марьям Мирзахани разработала инструменты для изучения их геометрии.  

• Налия Нараман и Лаура Монк развили её работу, доказав знаковый результат о спектральном разрыве гиперболических поверхностей.  

• Спектральный разрыв измеряет взаимосвязь гиперболической поверхности.  

• Большой спектральный разрыв означает, что поверхность хорошо взаимосвязана.  

• Анантхарман и Монк пытались доказать, что у большинства поверхностей спектральный разрыв составляет почти одну четверть.  

• Некоторые поверхности имеют запутанные геодезические линии, искажающие расчёты спектрального разрыва.  

• Исследователи обратились к работе Джоэла Фридмана, который доказал знаковый результат о спектральном разрыве в случайных графах.  

• Формула обращения Мебиуса, использованная Фридманом, стала ключевым инструментом для решения проблемы.  

• Монк и Анонтерман адаптировали формулу Фридмана для вычисления среднего спектрального разрыва гиперболических поверхностей.  

• Они показали, что почти все гиперболические поверхности имеют спектральный разрыв в одну четверть, что означает их высокую математическую связность.  

• Новая работа может помочь в понимании теории чисел, динамики и квантового хаоса.  

• В 1917 году японский математик Сай Каа задал вопрос о наименьшей области, охватываемой бесконечно тонкой иглой при вращении во всех направлениях.  

• Эта гипотеза стала основой для многих идей в гармоническом анализе.  

• В начале 2025 года два исследователя опубликовали доказательство гипотезы Каака, что считается крупным достижением в математике.  

• Абрам Бесакович показал, что на плоскости можно вращать иглу, оставаясь внутри нулевой области.  

• Рой Дэвис доказал, что каждый набор Каа имеет дробное измерение, равное двум.  

• Это открытие вдохновило на гипотезу Каака о дробной размерности в n-мерных пространствах.  

• В трёх измерениях семейство направлений богаче, что усложняет доказательство гипотезы Каака.  

• Для доказательства в трёх измерениях используются тонкие трубки, направленные в разные стороны.  

• Необходимо рассмотреть все возможные конфигурации трубок и показать, что каждая из них занимает большое пространство.  

• Чарльз Пфефферман связал гипотезу Каака с преобразованием Фурье.  

• Понимание геометрии стало ключом к решению вопросов в аналитике.  

• Гипотеза Каака стала основой для иерархии гипотез о поведении преобразования Фурье в высоких измерениях.  

• В 2022 году Хонг Ван и Джошуа Золь доказали гипотезу Каака для липких наборов.  

• Ларри Гух показал, что контрпример к гипотезе должен быть зернистым.  

• Зернистость дала Вану и Чжао необходимую структуру для доказательства.  

• Ван и Чжао использовали индукцию по шкалам для контроля потерь при доказательстве.  

• На каждом шаге они улучшали нижнюю границу размерности наборов Каа.  

• В начале 2025 года они завершили доказательство: каждое множество Каа в трёхмерном пространстве имеет дробную размерность три.  

• Доказательство Ванга и Золя даёт уверенность в правильности многих предположений.  

• Ожидается значительный прогресс в решении оставшихся гипотез.  

• Математики надеются использовать полученный результат для доказательства более амбициозных гипотез.