Десять лет «поворачивали иглу»: Математики наконец решили сложнейшую геометрическую головоломку – гипотезу Какея

Пост опубликован в блогах iXBT.com, его автор не имеет отношения к редакции iXBT.com

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

Два математика — Хонг Ван из Нью-Йоркского университета и Джошуа Заль из Университета Британской Колумбии — опубликовали работу, которая, по мнению многих экспертов, является прорывом в решении этой задачи. Но прежде чем мы углубимся в суть их достижений, давайте разберемся, что же такое гипотеза Какэя и почему она так важна.

Иллюстрация
Иллюстрация
Автор: ИИ Copilot Designer//DALL·E 3 Источник: www.bing.com
Задача о поворачивающейся игле: с чего все началось?

В 1917 году японский математик Соичи Какэя задался вопросом: какую наименьшую по площади область необходимо создать, чтобы в ней можно было повернуть иглу на 180 градусов? Представьте себе плоский стол и на нем — прямую иглу. Задача — повернуть эту иглу на пол-оборота, используя минимальное пространство.

Решение кажется простым: достаточно нарисовать круг, в котором диаметр равен длине иглы. Однако Какэя понял, что можно обойтись и меньшей площадью, создав область, напоминающую трехлучевую звезду. Но это было только начало. Позднее выяснилось, что можно создать области, сколь угодно близкие к нулю по площади, в которых все еще возможно повернуть иглу. Эти области получили название множеств иглы Какэя.

лева: Трубки масштаба ρ (черные) удовлетворяют гипотезе отсутствия концентрации теоремы 1.2, как и (перемасштабированные) трубки δ (синие) внутри каждой трубки ρ. Многомасштабный анализ в этой ситуации достаточно прост. Это иногда называют
лева: Трубки масштаба ρ (черные) удовлетворяют гипотезе отсутствия концентрации теоремы 1.2, как и (перемасштабированные) трубки δ (синие) внутри каждой трубки ρ. Многомасштабный анализ в этой ситуации достаточно прост. Это иногда называют «липким» случаем. Для ясности нарисованы не все трубки δ. Справа: Трубки масштаба ρ не удовлетворяют гипотезе отсутствия концентрации теоремы 1.2. Трубки масштаба ρ пересекаются с высокой кратностью, в то время как трубки δ внутри каждой трубки ρ расположены разреженно.
Автор: Hong Wang, Joshua Zahl arXiv:2502.17655 [math.CA] Источник: arxiv.org
От плоскости к трехмерному пространству: сложность возрастает

Гипотеза Какэя является обобщением этой задачи на более высокие измерения. В трехмерном пространстве она формулируется следующим образом: если у вас есть множество, содержащее отрезок прямой в каждом направлении, то насколько «большим» должно быть это множество? «Большим» здесь подразумевается размерность и объем.

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

Почему это важно?

Гипотеза Какэя — не просто абстрактная математическая головоломка. Она имеет глубокие связи с другими областями математики, такими как гармонический анализ и геометрическая теория меры. Эти области, в свою очередь, находят применение в самых разных сферах — от обработки сигналов и изображений до криптографии и компьютерной графики.

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

Что сделали Ван и Заль?

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

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

Найденный набор призм ρ × ρ̃ × 1 (синих) внутри X (черная призма), который формирует разбивающее покрытие для T̃’X (красные линии). Типичная пара трубок из T̃’X внутри общей (синей) призмы ρ × ρ̃ × 1 пересекаются под углом примерно ρ̃.
Найденный набор призм ρ x ρ̃ x 1 (синих) внутри X (черная призма), который формирует разбивающее покрытие для T̃'X (красные линии). Типичная пара трубок из T̃'X внутри общей (синей) призмы ρ x ρ̃ x 1 пересекаются под углом примерно ρ̃.
Автор: Hong Wang, Joshua Zahl arXiv:2502.17655 [math.CA] Источник: arxiv.org
Что дальше?

Работа Вана и Заля — это не только решение конкретной задачи, но и отправная точка для дальнейших исследований. Многие эксперты уверены, что их методы и идеи приведут к новым прорывам в смежных областях математики и, возможно, найдут неожиданные применения в других науках и технологиях.

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

1 комментарий

D
У дяди на иллюстрации шесть пальцев на одной руке. Какей какой-то.

Добавить комментарий

Сейчас на главной

Новости

Публикации

Рачок на роговице полярной акулы: почему миф о светящейся приманке не выдержал проверки

При осмотре половозрелых особей гренландской полярной акулы в арктических водах биологи фиксируют присутствие веслоногого рачка Ommatokoita elongata на роговице у 84,4% особей, а в выборках у...

Почему проект белорусского электрокара тихо закрыли (и при чём тут Китай)

Несколько лет нам обещали доступный белорусский электромобиль: по выставкам возили концепты Академии наук, а в финале показали электрический кроссовер Belgee EX50. Но громкая история закончилась...

Правда ли, что акулы старше деревьев? Почему в этом известном факте есть подвох на 200 миллионов лет

Утверждение о том, что акулы живут на Земле дольше деревьев, часто встречается в научно-популярных статьях и передачах о природе. История акул действительно насчитывает сотни миллионов лет, и они...

Ровесник Большого взрыва: в центре Млечного Пути нашли звездное скопление возрастом 13,4 миллиарда лет

Один из главных вопросов современной астрофизики — как именно и когда сформировалась наша Галактика, Млечный Путь. Согласно физическим моделям, сборка любой крупной галактики начинается...

Почему водители останавливаются после поворота, хотя основной светофор разрешал проезд, и правильно ли они поступают

На регулируемых перекрёстках нередко складывается ситуация, когда разрешающий сигнал основного светофора позволяет выполнить поворот направо, а сразу после поворота располагается пешеходный...

Почему на советском ЗИЛ-157 водитель специально спускал колёса прямо во время движения

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