Гипотеза Кеплера - Kepler conjecture

В Гипотеза Кеплера, названный в честь математика и астронома 17 века Иоганн Кеплер, это математический теорема около упаковка сфер в трехмерном Евклидово пространство. В нем говорится, что ни одно устройство одинакового размера сферы заполнение пространства имеет большее средняя плотность чем у кубической плотной упаковки (гранецентрированная кубическая ) и гексагональная плотная упаковка договоренности. Плотность этих размещений составляет около 74,05%.

В 1998 г. Томас Хейлз, следуя подходу, предложенному Фейес Тот (1953), объявил, что у него есть доказательство гипотезы Кеплера. Доказательство Хейлза - это доказательство исчерпания включая проверку многих индивидуальных случаев с использованием сложных компьютерных расчетов. Рецензенты заявили, что они «на 99% уверены» в правильности доказательства Хейлза, и гипотеза Кеплера была принята как теорема. В 2014 году команда проекта Flyspeck во главе с Хейлзом объявила о завершении формального доказательства гипотезы Кеплера с использованием комбинации Изабель и HOL Light Доказательства помощников. В 2017 году формальное доказательство было принято журналом. Форум математики, Пи.[1]

Задний план

Диаграммы плотной кубической упаковки (слева) и гексагональной плотной упаковки (справа).

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

Эксперимент показывает, что при случайном падении сфер достигается плотность около 65%.[2] Однако более высокой плотности можно достичь, осторожно расположив сферы следующим образом. Начните со слоя сфер в шестиугольной решетке, затем поместите следующий слой сфер в самые низкие точки, которые вы можете найти над первым слоем, и так далее. На каждом этапе есть два варианта размещения следующего слоя, поэтому этот естественный метод укладки сфер создает бесчисленное множество одинаково плотных упаковок, самые известные из которых называются кубической плотной упаковкой и гексагональной плотной упаковкой. Каждая из этих схем имеет среднюю плотность

Гипотеза Кеплера гласит, что это лучшее, что можно сделать - никакое другое расположение сфер не имеет более высокой средней плотности.

Происхождение

Одна из диаграмм из Strena Seu de Nive Sexangula, иллюстрирующий гипотезу Кеплера

Гипотеза была впервые высказана Иоганн Кеплер  (1611 ) в своей статье «О шестигранной снежинке». Он начал изучать расположение сфер в результате переписки с английским математиком и астрономом. Томас Харриот в 1606 году. Харриот был другом и помощником Сэр Уолтер Рэли, который поставил Харриота задачу определить, как лучше всего складывать ядра на палубах своих кораблей. Харриот опубликовал исследование различных схем укладки в 1591 году и продолжил разработку ранней версии атомная теория.

Девятнадцатый век

У Кеплера не было доказательства гипотезы, и следующий шаг был сделан Карл Фридрих Гаусс  (1831 ), который доказал, что гипотеза Кеплера верна, если сферы должны быть расположены в правильном порядке. решетка.

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

После Гаусса никакого дальнейшего прогресса в доказательстве гипотезы Кеплера в девятнадцатом веке не было. В 1900 г. Дэвид Гильберт включил его в свой список двадцать три нерешенных проблемы математики - он является частью Восемнадцатая проблема Гильберта.

Двадцатое столетие

Следующий шаг к решению был сделан Ласло Фейес Тот. Фейес Тот (1953) показали, что задачу определения максимальной плотности всех расположений (регулярных и нерегулярных) можно свести к одной конечный (но очень большое) количество вычислений. Это означало, что доказательство путем исчерпания в принципе возможно. Как понял Фейес Тот, достаточно быстрый компьютер может превратить этот теоретический результат в практический подход к проблеме.

Тем временем были предприняты попытки найти верхнюю границу максимальной плотности любого возможного расположения сфер. Английский математик Клод Эмброуз Роджерс (увидеть Роджерс (1958) ) установил верхний предел около 78%, и последующие усилия других математиков немного снизили это значение, но оно все равно было намного больше, чем плотность плотной кубической упаковки около 74%.

В 1990 г. У-И Сян утверждал, что доказал гипотезу Кеплера. Доказательство было оценено Британская энциклопедия и Наука и Сян также был удостоен чести на совместных заседаниях AMS-MAA.[3] У-И Сян (1993, 2001 ) претендовал на доказательство гипотезы Кеплера геометрическими методами. Однако Габор Фейес Тот (сын Ласло Фейеса Тота) заявил в своей рецензии на статью: «Что касается деталей, я считаю, что многие ключевые утверждения не имеют приемлемых доказательств». Хейлз (1994) дал подробную критику работы Сяна, которой Сян (1995) ответил. Сегодняшний консенсус состоит в том, что доказательство Сяна является неполным.[4]

Доказательство Хейлза

Следуя подходу, предложенному Фейес Тот (1953), Томас Хейлз, затем в университет Мичигана, определили, что максимальную плотность всех расположений можно найти, минимизируя функцию со 150 переменными. В 1992 году при помощи своего аспиранта Сэмюэля Фергюсона он приступил к исследовательской программе по систематическому применению линейное программирование методы, чтобы найти нижнюю границу значения этой функции для каждой из более чем 5000 различных конфигураций сфер. Если бы нижняя граница (для значения функции) могла быть найдена для каждой из этих конфигураций, которая была бы больше, чем значение функции для кубической конструкции с плотной упаковкой, тогда гипотеза Кеплера была бы доказана. Для нахождения оценок снизу для всех случаев было решено около 100 000 задач линейного программирования.

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

Несмотря на необычность доказательства, редакция журнала Анналы математики согласился опубликовать его при условии, что он будет принят комиссией из двенадцати судей. В 2003 году, после четырех лет работы, глава судейской коллегии Габор Фейес Тот сообщил, что комиссия «на 99% уверена» в правильности доказательства, но не может подтвердить правильность всех компьютерных расчетов. .

Хейлз (2005) опубликовал 100-страничную статью, в которой подробно описал некомпьютерную часть своего доказательства.Хейлз и Фергюсон (2006) и несколько последующих статей описывали вычислительные части. Хейлз и Фергюсон получили Премия Фулкерсона за выдающиеся работы в области дискретной математики на 2009 год.

Формальное доказательство

В январе 2003 года Хейлз объявил о начале совместного проекта по созданию полного формального доказательства гипотезы Кеплера. Цель заключалась в том, чтобы устранить любую оставшуюся неопределенность относительно действительности доказательства путем создания формального доказательства, которое может быть проверено автоматическая проверка документов программное обеспечение, такое как HOL Light и Изабель. Этот проект называется Муха - F, P и K, обозначающие Формальное доказательство Кеплера. Хейлз подсчитал, что создание полного формального доказательства потребует около 20 лет работы. Хейлз впервые опубликовал «план» формального доказательства в 2012 году;[5] проект был объявлен завершенным 10 августа 2014 года.[6] В январе 2015 года Хейлз и 21 его сотрудник представили доклад под названием «Формальное доказательство гипотезы Кеплера». arXiv, утверждая, что гипотеза доказана.[7] В 2017 году формальное доказательство было принято в Форум математики журнал.[1]

Связанные проблемы

Чт теорема
Правильная гексагональная упаковка является наиболее плотной. упаковка круга в самолете (1890). Плотностьπ⁄√12.
Двумерный аналог гипотезы Кеплера; доказательство элементарно. Хенк и Зиглер приписывают этот результат Лагранжу 1773 года (см. Ссылки, стр. 770).
Простое доказательство Чау и Чанг из 2010 года использует Триангуляция Делоне для множества точек, которые являются центрами окружностей в насыщенной упаковке кругов.[8]
Гексагональный домыслы
Наиболее эффективное разбиение плоскости на равные площади - правильная шестиугольная мозаика. Доказательство Хейлза (1999).
Связано с теоремой Туэ.
Додекаэдрическая гипотеза
Объем Многогранник Вороного Размер сферы в упаковке равных сфер не меньше объема правильного додекаэдра с радиусом 1. Доказательство Маклафлина, за что получил 1999 г. Премия Моргана.
Связанная проблема, в доказательстве которой используются методы, подобные доказательству Хейлза гипотезы Кеплера. Гипотеза Л. Фейеса Тота в 1950-е гг.
В Проблема Кельвина
Что самое эффективное пена в 3-х измерениях? Предполагалось, что эту проблему решит Структура Кельвина, и это было широко распространено более 100 лет, пока не было опровергнуто в 1993 году открытием Структура Вира – Фелана. Неожиданное открытие структуры Вира – Фелана и опровержение гипотезы Кельвина - одна из причин, по которым с осторожностью следует принять доказательство Хейлза гипотезы Кеплера.
Упаковка сфер в высших измерениях
В 2016 г. Марина Вязовская анонсированы доказательства оптимальной упаковки сфер размерностей 8 и 24.[9] Однако вопрос об оптимальной упаковке сфер с размерами, отличными от 1, 2, 3, 8 и 24, все еще остается открытым.
Гипотеза Улама об упаковке
Неизвестно, существует ли выпуклое тело, оптимальное плотность упаковки ниже, чем у сферы.

использованная литература

  1. ^ а б Хейлз, Томас; Адамс, Марк; Бауэр, Гертруда; Данг, Тат Дат; Харрисон, Джон; Хоанг, Ле Чыонг; Калишик, Цезарий; Магрон, Виктор; Маклафлин, Шон; Нгуен, Тат Тханг; Нгуен, Куанг Чыонг; Нипков, Тобиас; Обуа, Стивен; Плесо, Джозеф; Рут, Джейсон; Соловьев, Алексей; Та, Тхи Хоай Ан; Тран, Нам Чунг; Trieu, Thi Diep; Урбан, Йозеф; Ву, Кай; Цумкеллер, Роланд (29 мая 2017 г.). «Формальное доказательство гипотезы Кеплера». Форум математики, Пи. 5: e2. Дои:10.1017 / fmp.2017.1.
  2. ^ Ли, Шуисян; Чжао, Лян; Лю, Юэу (апрель 2008 г.). «Компьютерное моделирование случайной упаковки сфер в контейнере произвольной формы». Компьютеры, материалы и континуа. 7: 109–118.
  3. ^ Хейлз, Томас С. (Июнь 1994). «Статус гипотезы Кеплера». Математический интеллект. 16 (3): 47–58. Дои:10.1007 / BF03024356. S2CID  123375854.
  4. ^ Сингх, Саймон (1997). Последняя теорема Ферма. Нью-Йорк: Уокер. ISBN  978-0-80271-331-5.
  5. ^ Хейлз, Томас К. (2012). Упаковки плотных сфер: образец формальных доказательств. Серия лекций Лондонского математического общества. 400. Издательство Кембриджского университета. ISBN  978-0-521-61770-3.
  6. ^ "Проект Flyspeck". Код Google.
  7. ^ Хейлз, Томас; и другие. (9 января 2015 г.). «Формальное доказательство гипотезы Кеплера». arXiv:1501.02155 [math.MG ].
  8. ^ Чанг, Хай-Чау; Ван, Лих-Чунг (22 сентября 2010 г.). "Простое доказательство теоремы Туэ о упаковке кругов". arXiv:1009.4322 [math.MG ].
  9. ^ Кларрайх, Эрика (30 марта 2016 г.), «Сферическая упаковка решена в более высоких измерениях», Журнал Quanta

Публикации

внешние ссылки