Обманчиво простая гипотеза Kakeya терзает математиков уже 50 лет. Новое доказательство этой гипотезы в трёх измерениях проливает свет на целый ряд связанных с ней проблем.
Если вращать иглу во всех направлениях, какой минимальный объем можно вырезать?
DVDP для журнала Quanta
Представьте себе карандаш, лежащий на столе. Попробуйте вращать его так, чтобы он указывал в каждую сторону, но следите, чтобы он касался как можно меньше поверхности стола. Можно вращать карандаш вокруг своей оси, описывая окружность. Но если вы будете двигать его с умом, результат будет гораздо лучше. «Это просто проблема того, как прямые линии могут пересекаться», — сказал Джонатан Хикман (открывает новую вкладку), математик из Эдинбургского университета. «Но в нём закодировано невероятное богатство — невероятное множество связей с другими проблемами». Пять десятилетий математики искали наилучшее возможное решение трёхмерной версии этой задачи: поднимите карандаш в воздух и направьте его во все стороны, минимизируя объём пространства, через который он проходит. Эта простая задача ускользнула от некоторых величайших математиков современности, и она скрывается за множеством нерешённых проблем.
Quanta Audio Edition (аудио слушать)
Обманчиво простая гипотеза Kakeya терзает математиков уже 50 лет. Новое трёхмерное доказательство этой гипотезы проливает свет на целый ряд связанных с ней проблем.
Теперь поиск решения, похоже, завершён. В статье, недавно опубликованной на сайте научных препринтов arxiv.org, Хун Ван(открывает новую вкладку) из Института Куранта Нью-Йоркского университета и Джошуа Заль(открывает новую вкладку) из Университета Британской Колумбии доказали трехмерную гипотезу Какея(открывает новую вкладку)— они установили абсолютный предел того, насколько малым может быть такой шаблон движений. «Это не нуждается в раздувании шумихи», — сказал Нетс Кац(открывает новую вкладку), математик из Университета Райса. «Такой результат случается раз в столетие».
Утолщающийся сюжет
В 1917 году Соити Kakeya сформулировал эту задачу, но с помощью бесконечно тонкого карандаша. Он нашёл способ скользить карандашом, покрывая меньшую площадь, чем при инстинктивном круговом движении.
Марк Белан/ Quanta Magazine https://www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture
Kakeya задался вопросом, насколько малую площадь может охватить карандаш. Два года спустя российский математик Абрам Безикович нашёл ответ: сложный набор узких поворотов, которые, как ни странно, не покрывают вообще никакого пространства. Это более или менее решило вопрос до 1971 года, когда Чарльз Фефферман(открывает новую вкладку) изучал нечто, казалось бы, не связанное с закручивающимися линиями: преобразование Фурье, основополагающий математический инструмент, позволяющий представить любую математическую функцию как комбинацию волн. В работе Феффермана постоянно возникала усложнённая версия задачи Kakeya. В данном случае карандаш имеет толщину и закручивается в трёх измерениях. Вопрос Kakeya здесь звучит так: как изменение толщины карандаша влияет на объём пространства, которое он описывает? Математики предпочитают представлять эту задачу несколько иначе (но эквивалентно). Вместо того, чтобы перемещать карандаш в пространстве, представьте себе все точки на его траектории одновременно. В результате получится конфигурация призрачных перекрывающихся трубок, направленных во все стороны, называемая множеством Kakeya. Трубки можно перемещать, но нельзя вращать. Ваша цель — сформировать конфигурацию с максимальным перекрытием.
«Это было необходимо», — сказала она. Рикиназия/Wikimedia Commons
Фефферман обнаружил, что даже множество Kakeya, которое перекрывается сильнее всего, должно занимать некоторое пространство. Этот минимальный объём зависит от толщины трубок. Математики количественно определяют связь между толщиной трубок и объёмом множества с помощью числа, называемого размерностью Минковского. Чем меньше размерность Минковского, тем сильнее можно уменьшить объём множества, слегка утоньшая трубки. Трёхмерная гипотеза Kakeya утверждает, что размерность Минковского множества должна быть равна трём. Это очень слабая связь — например, если уменьшить толщину трубок вдвое, то объём уменьшится максимум на малую долю. Однако даже это умеренное ограничение оказалось практически невозможным доказать.
Детские шаги
В 2022 году, спустя пять десятилетий после формулировки современной гипотезы Kakeya, Ван и Заль сделали значительный шаг вперёд . Следуя программе, разработанной Кацем и Теренсом Тао,(открывает новую вкладку) В 2014 году они изучили довольно сложный класс множеств Kakeya. Их доказательство показало, что каждое множество в этом классе имеет размерность, равную трём. (Доказательство применимо как к размерности Минковского, так и к тесно связанной с ней концепции, называемой размерностью Хаусдорфа). Оставив эту раздражающую группу в стороне, им предстояло доказать, что размерность всех остальных множеств Kakeya равна трём.
Их подход заключался в пошаговом подходе. Сначала они исследовали узкий диапазон размерностей Минковского — скажем, от 2,5 до 2,6 — и пытались показать, что множество Kakeya не может находиться в этом диапазоне. Если бы им удалось доказать это для каждого интервала вплоть до трёх, они бы доказали гипотезу Kakeya. К счастью, Вану и Залю не пришлось начинать с нуля. Том Вольф доказал в 1995 году, что ни одно трёхмерное множество Kakeya не имеет размерности Хаусдорфа или Минковского меньше 2,5. Но им нужен был способ доказать, что размерность от 2,5 до, скажем, 2,500001 также невозможна. Затем они могли бы повторить этот аргумент, чтобы получить границу 2,500002, и так далее. Каждый раз они фактически показывали бы, что множеств Kakeya не существует в пределах этого крошечного приращения.
На практике им не приходилось утомительно доказывать каждое из этих миллионов приращений одно за другим. Им нужно было лишь доказать первое приращение, при условии, что они могли показать, что одна граница влечёт за собой следующую, чуть большую. Затем им нужно было показать, что их аргумент работает независимо от того, с чего они начали. Этого было бы достаточно, чтобы показать, что границу можно довести до трёх. Но в отличие от 2022 года, когда они использовали стратегию Каца и Тао, у них не было плана действий. Они обратились к особому свойству, называемому зернистостью.
В 2014 году Ларри Гут(открывает новую вкладку) Математик из Массачусетского технологического института доказал, что любой контрпример к гипотезе Какейи должен быть «зернистым». В зернистом множестве существует множество небольших трёхмерных участков, где перекрывается множество трубок. Каждая из этих «зёрен» имеет толщину примерно в одну трубку и в несколько раз шире, но не такую длинную, и сквозь неё проходит множество трубок. Ван и Заль поняли, что можно полностью отказаться от трубок и работать с более простыми зёрнами. Они обнаружили, что проще перечислить и рассчитать различные способы перекрытия зёрен.
Джошуа Заль. Пол Джозеф
И даже в случаях, когда все зёрна действовали согласованно, обеспечивая максимальное перекрытие, они обнаружили, что число зёрен, пересекающих любую заданную точку, не может быть слишком большим. Начиная с границы 2,5, они смогли доказать, что зёрна не могут перекрываться настолько, чтобы получить измерение, немного превышающее эту границу. Затем, начиная с более высокой границы, они показали, что те же вычислительные шаги можно применить для ещё большего повышения границы. И так далее.
«Это как усовершенствование вечного двигателя. Это просто волшебство», — сказал Тао. «На выходе они получают больше, чем на входе». Их машина довела их до трёхмерного измерения Минковского (и Хаусдорфа), доказав трёхмерную гипотезу Какейи.
Башня Мечты
Разрешение этой гипотезы представляет собой сейсмический сдвиг в области гармонического анализа, изучающей детали преобразования Фурье. Башня из трёх монументальных гипотез гармонического анализа покоится на гипотезе Kakeya . Каждый этаж башни должен быть прочным, чтобы этажи над ним имели хоть какой-то шанс. Если бы гипотеза Kakeya оказалась ложной — если бы Ван и Заль нашли контрпример — вся башня рухнула бы. Но теперь, когда они это доказали, математики, возможно, смогут продвинуться дальше, используя Kakeya для построения доказательств этих всё более амбициозных гипотез. «Все эти задачи, которые [математики] мечтали когда-нибудь решить, теперь выглядят достижимыми», — сказал Гут.
Этот процесс уже начался. Недавно Ван стал соавтором отдельной статьи, в которой следующее предположение, выдвинутое в башне, сводится к более сильной версии гипотезы Kakeya, что является шагом к объединению двух уровней. Это также скачок в измерениях для всей этой области математики, которая, по сути, застряла в двумерном пространстве. «Люди очень хорошо понимали, что происходит [в смежных задачах Kakeya] в двух измерениях, но у нас не было инструментов для изучения более высоких измерений», — сказал Ван. «Поэтому я считаю, что это было необходимо. Это нужно было сделать».
Четырёхмерная гипотеза Kakeya остаётся открытой, и над ней возвышается башня четырёхмерных гипотез. Гут сказал, что возникнут новые трудности, но он считает, что переход от двух измерений к трём был самым сложным, и что доказательство Вана и Заля, вероятно, можно адаптировать к этой башне и далее. «Когда я, будучи молодым математиком, увлекся задачей Какейи, она казалась мне настолько простой и геометрически сложной, что меня удивила её сложность», — сказал Гут. Годы спустя Ван, его аспирант, был вдохновлён той же обманчивой простотой. «У вас есть конкретные вещи, которые можно визуализировать. Это не так страшно, как другие математические теории», — сказал Ван. «Я просто хотел понять, почему это сложно». Теперь, благодаря усилиям Вана и Заля, это понимание стало ближе, чем когда-либо. «Я действительно считаю, что здесь зарождается критическая масса идей, способных произвести революцию во всей области», — сказал Хикман. «Сейчас очень, очень захватывающее время».
Исправление: 14 марта 2025 г.
В первоначальной версии этой статьи утверждалось, что работа Роберта Феффермана привела к современной гипотезе Kakeya. На самом деле это была работа его брата Чарльза.
источник: https://www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture-20250314/