WikiDer > Гипотеза Кеплера

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

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

Задний план

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

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

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

${ displaystyle { frac { pi} {3 { sqrt {2}}}} = 0,740480489 ldots}$

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

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

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

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

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

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

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

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

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

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

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

В 1990 г. У-И Сян утверждал, что доказал гипотезу Кеплера. Доказательство было оценено Британская энциклопедия и Наука и Сян также был удостоен чести на совместных заседаниях AMS-MAA.^[3] У-И Сян (1993, 2001) претендовал на доказательство гипотезы Кеплера геометрическими методами. Однако Габор Фейес Тот (сын Ласло Фейеса Тота) заявил в своей рецензии на статью: «Что касается деталей, я считаю, что многие ключевые утверждения не имеют приемлемых доказательств». Хейлз (1994) Ошибка harvtxt: несколько целей (2 ×): CITEREFHales1994 (Помогите) дал подробную критику работы Сяна, которой Сян (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, все еще остается открытым.

Гипотеза Улама об упаковке

Неизвестно, существует ли выпуклое тело, оптимальное плотность упаковки ниже, чем у сферы.

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

Публикации

• Асте, Томазо; Уир, Денис (2000), В поисках идеальной упаковки, Бристоль: IOP Publishing Ltd., Дои:10.1887/0750306483, ISBN 978-0-7503-0648-5, Г-Н 1786410
• Гаусс, Карл Ф. (1831), "Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seber", Göttingische Gelehrte Anzeigen
• Хейлз, Томас К. (2005), "Доказательство гипотезы Кеплера", Анналы математики, Вторая серия, 162 (3): 1065–1185, arXiv:математика / 9811078, Дои:10.4007 / анналы.2005.162.1065, ISSN 0003-486X, Г-Н 2179728
• Хейлз, Томас К. (2000), «Пушечные ядра и соты», Уведомления Американского математического общества, 47 (4): 440–449, ISSN 0002-9920, Г-Н 1745624 Элементарное изложение доказательства гипотезы Кеплера.
• Хейлз, Томас К. (1994), "Статус гипотезы Кеплера", Математический интеллект, 16 (3): 47–58, Дои:10.1007 / BF03024356, ISSN 0343-6993, Г-Н 1281754, S2CID 123375854
• Хейлз, Томас К. (2006), "Исторический обзор гипотезы Кеплера", Дискретная и вычислительная геометрия, 36 (1): 5–20, Дои:10.1007 / s00454-005-1210-2, ISSN 0179-5376, Г-Н 2229657
• Хейлз, Томас С .; Фергюсон, Сэмюэл П. (2006), «Формулировка гипотезы Кеплера» (PDF), Дискретная и вычислительная геометрия, 36 (1): 21–69, arXiv:математика / 9811078, Дои:10.1007 / s00454-005-1211-1, ISSN 0179-5376, Г-Н 2229658, S2CID 6529590
• Хейлз, Томас С .; Фергюсон, Сэмюэл П. (2011), Гипотеза Кеплера: доказательство Хейлза-Фергюсона, Нью-Йорк: Springer, ISBN 978-1-4614-1128-4
• Хейлз, Томас К. (2012), «Плотные сферические упаковки: план формальных доказательств», Серия лекций Лондонского математического общества, Издательство Кембриджского университета, 400, ISBN 978-0-521-61770-3
• Хенк, Мартин; Зиглер, Гюнтер (2008), La congettura di Keplero, La matematica. Problemi e teoremi, 2, Турин: Эйнауди
• Сян, Ву-И (1993), "О проблеме упаковки сфер и доказательстве гипотезы Кеплера", Международный журнал математики, 4 (5): 739–831, Дои:10.1142 / S0129167X93000364, ISSN 0129-167X, Г-Н 1245351
• Сян, Ву-И (1995), "Ответ на статью Т. К. Хейлза: Статус гипотезы Кеплера", Математический интеллект, 17 (1): 35–42, Дои:10.1007 / BF03024716, ISSN 0343-6993, Г-Н 1319992, S2CID 119641512
• Сян, У-И (2001), Принцип наименьшего действия образования кристаллов типа плотной упаковки и гипотеза Кеплера, Нанкайские трактаты по математике, 3, Ривер Эдж, Нью-Джерси: World Scientific Publishing Co. Inc., Дои:10.1142/9789812384911, ISBN 978-981-02-4670-9, Г-Н 1962807
• Кеплер, Иоганнес (1611 г.), Strena seu de nive sexangula (Шестигранная снежинка), ISBN 978-1-58988-053-5, Г-Н 0927925, выложить резюме
• Хейлз, Томас С .; Маклафин, Шон (2010), "Додекаэдрическая гипотеза", Журнал Американского математического общества, 23 (2): 299–344, arXiv:math.MG/9811079, Bibcode:2010JAMS ... 23..299H, Дои:10.1090 / S0894-0347-09-00647-X
• Маршал, Кристиан (2011), «Исследование гипотезы Кеплера: проблема наиболее плотной упаковки», Mathematische Zeitschrift, 267 (3–4): 737–765, Дои:10.1007 / s00209-009-0644-2, S2CID 122088451
• Роджерс, К. А. (1958), "Упаковка равных сфер", Труды Лондонского математического общества, Третья серия, 8 (4): 609–620, Дои:10.1112 / плмс / с3-8.4.609, ISSN 0024-6115, Г-Н 0102052
• Шпиро, Джордж Г. (2003), Гипотеза Кеплера, Нью-Йорк: Джон Уайли и сыновья, ISBN 978-0-471-08601-7, Г-Н 2133723
• Фейес Тот, Л. (1953), Lagerungen in der Ebene, auf der Kugel und im Raum, Die Grundlehren der Mathematischen Wissenschaften в Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band LXV, Берлин, Нью-Йорк: Springer-Verlag, Г-Н 0057566

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

• Вайсштейн, Эрик В. "Гипотеза Кеплера". MathWorld.
• Титульная полоса 'На шестигранной снежинке'
• Домашняя страница Томаса Хейлза
• Домашняя страница проекта Flyspeck
• Обзор доказательства Хейлза
• Статья Даны Маккензи в American Scientist
• Flyspeck I: Tame Graphs, подтвержденное перечисление ручных плоских графов, как определено Томасом К. Хейлзом в его доказательстве гипотезы Кеплера.