Александр Полянский (МФТИ, Россия) и Цзылинь Цзян (Технион, Израиль) доказали гипотезу о покрытии сферы зонами, сформулированную венгерским математиком Ласло Фейешем Тотом еще в 1973 году: «Если несколько зон покрывает единичную сферу, то их суммарная ширина по крайней мере π». Результат важен для развития дискретной геометрии и дает возможность постановки новых задач. Доказательство было опубликовано в журнале Geometric and Functional Analysis, кратко о работе рассказывает пресс-релиз МФТИ.
Дискретная геометрия изучает комбинаторные свойства точек, прямых, окружностей, многоугольников и других геометрических объектов. Например, она позволяет ответить на вопросы: какое наибольшее число шаров одинакового размера можно разместить вокруг одного такого же шара, как наиболее плотно замостить плоскость одинаковыми кругами или пространство одинаковыми шарами и т. д. Результаты некоторых таких задач сейчас применяются на практике: так, задача о плотной упаковке позволяет оптимизировать кодирование и исправление ошибок при передаче информации. Доказательство теоремы о четырех красках, утверждающей, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами так, чтобы граничащие страны не были одинакового цвета, натолкнуло математиков на разработку значимой части понятий теории графов, без которой невозможно представить сегодня многие разработки в химии, биологии, информатике, любые логистические системы и т. д.
Гипотеза Ласло Фейеш Тота тесно связана с другими задачами дискретной геометрии о покрытии полосками, решенными в XX веке. Изначально ставилась задача о покрытии круга полосками, заключенными между параллельными прямыми, более известная как задача о дощечках. Математик Альфред Тарский изящно и просто доказал, что суммарная ширина этих полосок-дощечек не превосходит диаметр круга, вне зависимости от их количества: то есть лучше, чем одной дощечкой, ширина которой — диаметр круга, его покрыть нельзя. Бангом была решена задача о покрытии полосками произвольного выпуклого тела, а именно было доказано, что если несколько полосок покрывает выпуклое тело, то их суммарная ширина по крайней мере ширина данного тела, т. е. минимальная ширина одной полоски, покрывающей данное тело.
Рисунок 1: Задача, решенная Тарским: полное покрытие круга с единичным радиусом полосками так, что их суммарная ширина не меньше 2 (диаметр круга). Каждая из пяти полосок имеет свою ширину и обозначена уникальным цветом.
Задача, над которой работали авторы публикации, принципиально отличается от предыдущих: в ней требуется исследовать покрытие сферы с единичным радиусом особым образом построенными зонами. А именно: каждая зона поставлена в соответствие определенной трехмерной полоске-дощечке (всему тому, что заключено между двумя параллельными плоскостями, расположенными симметрично относительно центра сферы) и является ее пересечением со сферой. Можно ввести и другое определение, уже не ассоциируя зоны с полосками: зоной ширины ω на поверхности сферы с единичным радиусом называется множество точек, которые находятся на расстоянии не более ω / 2 от большой окружности (экватора) в геодезической метрике (т. е. расстояние между двумя точками равно длине наименьшей дуги, их соединяющей). Математикам необходимо было найти минимальную суммарную ширину нескольких таких зон, покрывающих единичную сферу. Основное отличие задачи от предыдущих в измерении ширины: в случае обычных полосок ширина — это евклидово расстояние между параллельными прямыми или параллельными плоскостями, а этом случае — это длина дуги.
Рисунок 2: Желтым цветом на поверхности сферы обозначена одна зона ширины ω.
Рисунок 3: Полное покрытие сферы зонами. Каждая из пяти зон имеет свою ширину и обозначена уникальным цветом.
При доказательстве авторы были вдохновлены идеей Банга, который использовал для решения задачи о покрытии тела полосками построение специального конечного множества точек внутри тела, среди которых одна не покрыта полосками. Математики, как и Банг, шли в каком-то смысле от противного: предполагали, что сумма ширин зон, полностью покрывающих сферу, меньше π, и хотели получить противоречие: найти точку, которая лежит на сфере, но не покрыта зонами.
Рисунок 4: Гипотеза Ласло Фейеш Тота. Покрытие сферы с единичным радиусом зонами одинаковой ширины. Случай минимальной суммарной ширины зон равной π. Каждая зона обозначена уникальным цветом.
Авторы показали, что можно построить такой набор точек в трехмерном пространстве, чтобы по крайней мере одна точка не была покрыта полосками, образующими зоны. Если все эти точки будут находиться внутри сферы, то будет несложно построить одну точку на ней, не покрытую полосками, а значит, и зонами. Если же какая-то из точек множества окажется за пределами сферы, то в этом случае удается заменить несколько зон одной большой зоной с шириной равной сумме всех ширин этих зон. Таким образом, удается в исходной задаче уменьшить число зон, но при этом не изменить их суммарную ширину, то есть в какой-то момент получится найти точку на сфере, не покрытую зонами. Это противоречит тому, что сумма ширин зон меньше π, и доказывает гипотезу Ласло Фейеш Тота.
Задача решалась в n-мерном пространстве, но, по словам ученых, эта постановка и доказательство ничем не отличается от трехмерного случая.
Александр Полянский, сотрудник кафедры дискретной математики МФТИ, один из авторов работы: «Задача Ласло Фейеш Тота привлекала внимание математиков, занимающихся дискретной геометрией, вот уже более 40 лет. У этой задачи оказалось изящное решение, и нам посчастливилось его найти. Задача Ласло Фейеш Тота навела нас на мысль о другой, более сильной гипотезе о покрытии сферы смещенными зонами, полученными пересечением единичной сферы с трехмерными полосками-дощечками, не обязательно симметричными относительно центра».
