Сферическая упаковка
В геометрии — упаковка сфер это расположение непересекающихся сфер внутри вмещающего пространства. Рассматриваемые сферы обычно имеют одинаковый размер, а пространство обычно представляет собой трехмерное евклидово пространство . Однако проблемы упаковки сфер можно обобщить, чтобы рассмотреть неравные сферы, пространства других измерений (где проблема становится упаковкой кругов в двух измерениях или упаковкой гиперсфер в более высоких измерениях) или неевклидовыми пространствами, такими как гиперболическое пространство .
Типичная проблема упаковки сфер — найти такое расположение, при котором сферы заполнят как можно большую часть пространства. Доля пространства, заполненного сферами, называется плотностью упаковки устройства. Поскольку локальная плотность упаковки в бесконечном пространстве может меняться в зависимости от объема, в котором она измеряется, проблема обычно состоит в том, чтобы максимизировать среднюю или асимптотическую плотность, измеренную в достаточно большом объеме.
Для равных сфер в трех измерениях самая плотная упаковка занимает примерно 74% объема. Случайная упаковка равных сфер обычно имеет плотность около 63,5%. [1]
Классификация и терминология
[ редактировать ]Решётчатое расположением) — это расположение (обычно называемое регулярным такое расположение, в котором центры сфер образуют очень симметричный узор, которого требуется только n для однозначного определения векторов (в n - мерном евклидовом пространстве ). Решеточные расположения являются периодическими. Компоновки, в которых сферы не образуют решетку (часто называемые нерегулярными ), все же могут быть периодическими, но также апериодическими (собственно говоря, непериодическими ) или случайными . Из-за высокой степени симметрии решетчатые упаковки легче классифицировать, чем нерешетчатые. Периодические решетки всегда имеют четко определенную плотность.
Регулярная упаковка
[ редактировать ]Плотная упаковка
[ редактировать ]В трехмерном евклидовом пространстве наиболее плотная упаковка равных сфер достигается за счет семейства структур, называемых плотноупакованными структурами. Один из способов создания такой структуры заключается в следующем. Рассмотрим плоскость, на которой компактно расположены сферы. Назовем ее А. Для любых трех соседних сфер четвертую сферу можно разместить сверху в полости между тремя нижними сферами. Если мы сделаем это для половины отверстий во второй плоскости над первой, мы создадим новый компактный слой. Есть два возможных варианта сделать это, назовем их B и C. Предположим, что мы выбрали B. Тогда одна половина впадин B лежит над центрами шаров в A, а другая половина лежит над впадинами A, которые не были используется для B. Таким образом, шары третьего слоя могут быть размещены либо непосредственно над шарами первого слоя, давая слой типа А, либо над отверстиями первого слоя, которые не были заняты вторым слоем, давая слой типа C. Объединение слоев типов A, B и C дает различные плотноупакованные структуры.
Два простых расположения внутри плотноупакованного семейства соответствуют регулярным решеткам. Один из них называется кубической плотной упаковкой (или гранецентрированной кубической «FCC») — где слои чередуются в последовательности ABCABC…. Другой называется плотной гексагональной упаковкой («HCP»), где слои чередуются в последовательности ABAB…. [ сомнительно – обсудить ] Но возможны многие последовательности наложения слоев (ABAC, ABCBA, ABCBAC и т. д.), которые по-прежнему создают плотноупакованную структуру. Во всех этих устройствах каждая сфера касается 12 соседних сфер. [2] а средняя плотность
В 1611 году Иоганн Кеплер предположил, что это максимально возможная плотность среди как правильных, так и нерегулярных расположений — это стало известно как гипотеза Кеплера . Карл Фридрих Гаусс в 1831 году доказал, что эти упаковки имеют наибольшую плотность среди всех возможных решетчатых упаковок. [3] В 1998 году Томас Каллистер Хейлс , следуя подходу, предложенному Ласло Фейешем Тотом в 1953 году, объявил о доказательстве гипотезы Кеплера. Доказательство Хейлза — это исчерпывающее доказательство, включающее проверку множества отдельных случаев с использованием сложных компьютерных вычислений. Судьи заявили, что они «на 99% уверены» в правильности доказательства Хейлза. 10 августа 2014 года Хейлз объявил о завершении формального доказательства с использованием автоматической проверки доказательств , что устранило любые сомнения. [4]
Другие распространенные решетчатые упаковки
[ редактировать ]В физических системах часто встречаются и другие решетчатые упаковки. К ним относятся кубическая решетка с плотностью , гексагональная решетка с плотностью и тетраэдрическая решетка с плотностью . [5]
Зажатые набивки низкой плотности
[ редактировать ]Упаковки, в которых все сферы удерживаются своими соседями в одном месте, называются жесткими или зажатыми . Строго зажатая (механически устойчивая даже как конечная система) регулярная сферическая упаковка с наименьшей известной плотностью представляет собой разбавленный («туннельный») ГЦК-кристалл с плотностью всего π √ 2 /9 ≈ 0,49365 . [6] Самая рыхлая из известных регулярных заклиненных насадок имеет плотность около 0,0555. [7]
Нестандартная упаковка
[ редактировать ]Если мы попытаемся построить плотно упакованную коллекцию сфер, у нас возникнет искушение всегда помещать следующую сферу в полость между тремя упакованными сферами. Если пять сфер собрать таким образом, они будут соответствовать одной из регулярно упакованных композиций, описанных выше. Однако шестая сфера, размещенная таким образом, сделает структуру несовместимой с каким-либо регулярным расположением. Это приводит к возможности случайной плотной упаковки сфер, устойчивой к сжатию. [8] Вибрация случайной рыхлой упаковки может привести к упорядочению сферических частиц в регулярные упаковки — процесс, известный как гранулярная кристаллизация . Такие процессы зависят от геометрии контейнера, в котором находятся сферические зерна. [2]
Когда сферы случайным образом добавляются в контейнер, а затем сжимаются, они обычно образуют так называемую «нерегулярную» или «застрявшую» конфигурацию упаковки, когда их больше нельзя сжимать. Эта неравномерная упаковка обычно будет иметь плотность около 64%. Недавние исследования аналитически предсказывают, что предел плотности не может превышать 63,4%. [9] Эта ситуация отличается от случая одного или двух измерений, где сжатие набора одномерных или двумерных сфер (то есть отрезков линий или кругов) приведет к регулярной упаковке.
Упаковка гиперсферы
[ редактировать ]Задача об упаковке сфер — это трехмерная версия класса задач об упаковке шаров в произвольных измерениях. В двух измерениях эквивалентной проблемой является упаковка кругов на плоскости. В одном измерении это упаковка сегментов линий в линейную вселенную. [10]
В размерностях больше трёх известны наиболее плотные решетчатые упаковки гиперсфер до восьми измерений. [11] О неправильных упаковках гиперсфер известно очень мало; возможно, что в некоторых измерениях самая плотная упаковка может быть нерегулярной. Некоторое подтверждение этой гипотезы дает тот факт, что в некоторых измерениях (например, 10) самая плотная известная неправильная упаковка плотнее, чем самая плотная известная регулярная упаковка. [12]
В 2016 году Марина Вязовская объявила о доказательстве того, что E 8 решетка обеспечивает оптимальную упаковку (независимо от регулярности) в восьмимерном пространстве. [13] и вскоре после этого она и группа сотрудников объявили об аналогичном доказательстве того, что решетка Лича оптимальна в 24 измерениях. [14] Этот результат основан на улучшенных предыдущих методах и показал, что эти две решетки очень близки к оптимальным. [15] Новые доказательства включают использование преобразования Лапласа тщательно выбранной модулярной функции для построения радиально симметричной функции f такой, что f и ее преобразование Фурье f̂ равны 1 в начале координат и оба обращаются в нуль во всех других точках оптимальной решетки, причем f отрицательный вне центральной сферы упаковки и f̂ положительный. Затем формула суммирования Пуассона для f используется для сравнения плотности оптимальной решетки с плотностью любой другой упаковки. [16] Еще до того, как доказательство было официально рассмотрено и опубликовано, математик Питер Сарнак назвал его «потрясающе простым» и написал: «Вы просто начинаете читать статью и знаете, что это правильно». [17]
Другое направление исследований в области больших размерностей — попытка найти асимптотические границы плотности самых плотных упаковок. Известно, что при больших n самая плотная решетка размерности n имеет плотность между сп ⋅ 2 − п (для некоторой константы c ) и 2 −(0,599+o(1)) n . [18] Гипотетические границы лежат посередине. [19] В препринте 2023 года Марсело Кампос, Мэтью Йенссен, Маркус Мишлен и Джулиан Сахасрабуде улучшили нижнюю границу максимальной плотности до , [20] [21] среди своих техник они используют клев Рёдля .
Неравная упаковка сфер
[ редактировать ]Многие проблемы в химических и физических науках могут быть связаны с проблемами упаковки, когда доступно более одного размера сферы. Здесь есть выбор между разделением сфер на области плотноупакованных равных сфер или объединением сфер разных размеров в сложную или промежуточную упаковку. Когда доступно множество размеров сфер (или распределение ), проблема быстро становится неразрешимой, но доступны некоторые исследования бинарных твердых сфер (два размера).
Когда вторая сфера намного меньше первой, можно расположить большие сферы плотно упакованными, а затем расположить малые сферы внутри октаэдрических и тетраэдрических промежутков. Плотность этой промежуточной упаковки сильно зависит от соотношения радиусов, но в пределе экстремальных соотношений размеров более мелкие сферы могут заполнять промежутки с той же плотностью, что и более крупные сферы, заполняющие пространство. [23] Даже если большие сферы не расположены плотно, всегда можно вставить несколько меньших сфер с радиусом до 0,29099 радиуса большей сферы. [24]
Когда меньшая сфера имеет радиус, превышающий 0,41421 радиуса большей сферы, она уже не может вписаться даже в октаэдрические отверстия плотноупакованной структуры. Таким образом, за пределами этой точки либо структура-хозяин должна расшириться, чтобы вместить межузельные элементы (что ставит под угрозу общую плотность), либо перестроиться в более сложную структуру кристаллического соединения. Известны структуры, превышающие плотность плотной упаковки для отношений радиусов до 0,659786. [22] [25]
Также получены верхние оценки плотности, которые можно получить в таких бинарных упаковках. [26]
Во многих химических ситуациях, таких как ионные кристаллы , стехиометрия ограничивается зарядами составляющих ионов. Это дополнительное ограничение на упаковку вместе с необходимостью минимизировать кулоновскую энергию взаимодействующих зарядов приводит к разнообразию оптимальных схем упаковки.
Верхняя граница плотности строго зажатой упаковки сфер с любым набором радиусов равна 1 - примером такой упаковки сфер является аполлоническая упаковка сфер. Нижняя граница такой упаковки сфер равна 0 – примером может служить дионисийская упаковка сфер. [27]
Гиперболическое пространство
[ редактировать ]Хотя концепцию кругов и сфер можно распространить на гиперболическое пространство , найти самую плотную упаковку становится гораздо сложнее. В гиперболическом пространстве нет ограничений на количество сфер, которые могут окружать другую сферу (например, круги Форда можно рассматривать как совокупность одинаковых гиперболических кругов, в которых каждый круг окружен бесконечным числом других кругов). Понятие средней плотности также становится гораздо сложнее точно определить. Самые плотные упаковки в любом гиперболическом пространстве почти всегда нерегулярны. [28]
Несмотря на эту трудность, К. Бёрочки дает универсальную верхнюю оценку плотности сферических упаковок гиперболического n -пространства, где n ≥ 2. [29] В трех измерениях граница Бёрёчки составляет примерно 85,327613% и реализуется с помощью орисферной упаковки тетраэдрических сот 6-го порядка с символом Шлефли {3,3,6}. [30] по крайней мере три другие упаковки орисфер , которые реализуют верхнюю границу плотности. В дополнение к этой конфигурации известно, что в гиперболическом трехмерном пространстве существуют [31]
Касающиеся пары, тройки и четверки.
[ редактировать ]Контактным графом произвольной конечной упаковки единичных шаров называется граф, вершины которого соответствуют элементам упаковки и две вершины которого соединены ребром, если соответствующие два элемента упаковки касаются друг друга. Мощность множества ребер контактного графа дает количество соприкасающихся пар, количество 3-циклов в контактном графе дает количество соприкасающихся троек, а количество тетраэдров в контактном графе дает количество соприкасающихся четверок ( в общем случае для контактного графа, связанного с упаковкой сфер в n измерениях, мощность набора n -симплексов в контактном графе дает количество соприкасающихся ( n + 1)-кортежей в упаковке сфер). В случае трехмерного евклидова пространства нетривиальные верхние оценки числа соприкасающихся пар, троек и четверок [32] были доказаны Кароли Бездеком и Сэмюэлем Ридом в Университете Калгари.
Проблема поиска расположения n одинаковых сфер, обеспечивающего максимальное количество точек соприкосновения между сферами, известна как «задача липкой сферы». Максимум известен для n известны только предполагаемые значения ≤ 11, а для больших n . [33]
Другие помещения
[ редактировать ]Упаковка сфер по углам гиперкуба (с сферами, определяемыми расстоянием Хэмминга ) соответствует разработке кодов, исправляющих ошибки : если сферы имеют радиус t , то их центры являются кодовыми словами (2 t + 1)-кода, исправляющего ошибки. . Решетчатые упаковки соответствуют линейным кодам. Существуют и другие, более тонкие связи между упаковкой евклидовых сфер и кодами, исправляющими ошибки. Например, двоичный код Голея тесно связан с 24-мерной решеткой Лича.
Более подробную информацию об этих связях можно найти в книге Сферические упаковки, решетки и группы» Конвея « и Слоана . [34]
См. также
[ редактировать ]- Плотная упаковка равных сфер
- Упаковка аполлонической сферы
- Упаковка конечных сфер
- постоянный отшельник
- Вписанная сфера
- Поцелуйный номер
- Связанная сферическая упаковка
- Случайная закрытая упаковка
- Упаковка цилиндрической сферы
- Упаковка сферы в сферу
Ссылки
[ редактировать ]- ^ Ву, Югонг; Фань, Чжиган; Лу, Южу (1 мая 2003 г.). «Объемная и внутренняя плотность упаковки случайной плотной упаковки твердых сфер» . Журнал материаловедения . 38 (9): 2019–2025. дои : 10.1023/А:1023597707363 . ISSN 1573-4803 . S2CID 137583828 .
- ^ Jump up to: а б Дай, Вэйцзин; Рейманн, Йорг; Ханаор, Дориан; Ферреро, Клаудио; Ган, Исян (13 марта 2019 г.). «Режимы пристеночной зернистой кристаллизации в вибрационной упаковке» . Гранулированная материя . 21 (2): 26. arXiv : 1805.07865 . дои : 10.1007/s10035-019-0876-8 . ISSN 1434-7636 . S2CID 254106945 .
- ^ Гаусс, CF (1831). «Обсуждение книги Л. А. Сибера: характеристикам положительных троичных квадратичных форм » Исследования по и т. д. Реклама Геттингенских стипендиатов .
- ^ «Долговременное хранение хостинга проектов Google Code» . Архив кода Google .
- ^ «Мир математики Вольфрама, упаковка сфер» .
- ^ Торквато, С. ; Стиллингер, Ф.Х. (2007). «К порогу застревания сферических упаковок: туннелированные кристаллы». Журнал прикладной физики . 102 (9): 093511–093511–8. arXiv : 0707.4263 . Бибкод : 2007JAP...102i3511T . дои : 10.1063/1.2802184 . S2CID 5704550 .
- ^ «Мир математики Вольфрама, упаковка сфер» .
- ^ Чайкин, Павел (июнь 2007 г.). «Случайные мысли». Физика сегодня . 60 (6). Американский институт физики: 8. Бибкод : 2007PhT....60f...8C . дои : 10.1063/1.2754580 . ISSN 0031-9228 .
- ^ Песня, К.; Ван, П.; Максе, ХА (29 мая 2008 г.). «Фазовая диаграмма застрявшего вещества». Природа . 453 (7195): 629–632. arXiv : 0808.2196 . Бибкод : 2008Natur.453..629S . дои : 10.1038/nature06981 . ПМИД 18509438 . S2CID 4420652 .
- ^ Гриффит, Дж. С. (1962). «Упаковка равных 0-сфер». Природа . 196 (4856): 764–765. Бибкод : 1962Natur.196..764G . дои : 10.1038/196764a0 . S2CID 4262056 .
- ^ Вайсштейн, Эрик В. «Упаковка гиперсферы» . Математический мир .
- ^ Слоан, Нью-Джерси (1998). «Проблема упаковки сфер». Документа Математика . 3 : 387–396. arXiv : math/0207256 . Бибкод : 2002math......7256S .
- ^ Вязовская, Марина (1 января 2017 г.). «Задача об упаковке сфер в размерности 8» . Анналы математики . 185 (3): 991–1015. arXiv : 1603.04246 . дои : 10.4007/анналы.2017.185.3.7 . ISSN 0003-486X . S2CID 119286185 .
- ^ Кон, Генри; Кумар, Абхинав; Миллер, Стивен; Радченко Даниил; Вязовская, Марина (1 января 2017 г.). «Задача об упаковке сфер в размерности 24» . Анналы математики . 185 (3): 1017–1033. arXiv : 1603.06518 . дои : 10.4007/анналы.2017.185.3.8 . ISSN 0003-486X . S2CID 119281758 .
- ^ Кон, Генри; Кумар, Абхинав (2009), «Оптимальность и уникальность решетки Лича среди решеток», Annals of Mathematics , 170 (3): 1003–1050, arXiv : math.MG/0403263 , doi : 10.4007/annals.2009.170.1003 , ISSN 1939-8980 , MR 2600869 , S2CID 10696627 , Збл 1213.11144 Кон, Генри; Кумар, Абхинав (2004), «Самая плотная решетка в двадцати четырех измерениях», Электронные объявления об исследованиях Американского математического общества , 10 (7): 58–67, arXiv : math.MG/0408174 , Bibcode : 2004math... ...8174C , doi : 10.1090/S1079-6762-04-00130-1 , ISSN 1079-6762 , MR 2075897 , S2CID 15874595
- ^ Миллер, Стивен Д. (4 апреля 2016 г.), Решение проблемы упаковки сфер в 24 измерениях с помощью модульных форм , Институт перспективных исследований , заархивировано из оригинала 21 декабря 2021 г. Видео часового выступления одного из соавторов Вязовской, объясняющего новые доказательства.
- ^ Кларрайх, Эрика (30 марта 2016 г.), «Упаковка сфер решена в более высоких измерениях» , журнал Quanta
- ^ Кон, Генри (2017), «Концептуальный прорыв в упаковке сфер» (PDF) , Уведомления Американского математического общества , 64 (2): 102–115, arXiv : 1611.01685 , doi : 10.1090/noti1474 , ISSN 0002-9920 , МР 3587715 , S2CID 16124591
- ^ Торквато, С.; Стиллингер, Ф.Х. (2006), «Новые гипотетические нижние границы оптимальной плотности сферических упаковок» , Experimental Mathematics , 15 (3): 307–331, arXiv : math/0508381 , doi : 10.1080/10586458.2006.10128964 , MR 2264469 , S2CID 9921359
- ^ Кампос, Марсело; Дженссен, Мэтью; Мишлен, Маркус; Сахасрабуде, Джулиан (2023). «Новая нижняя граница упаковки сфер». arXiv : 2312.10026 [ math.MG ].
- ^ Хьюстон-Эдвардс, Келси (30 апреля 2024 г.). «Чтобы плотно упаковать сферы, математики бросают их наугад» . Журнал Кванта . Проверено 30 апреля 2024 г.
- ^ Jump up to: а б О'Тул, частный детектив; Хадсон, Т.С. (2011). «Новые упаковки высокой плотности бинарных сфер одинакового размера». Журнал физической химии C. 115 (39): 19037. doi : 10.1021/jp206115p .
- ^ Хадсон, ДР (1949). «Плотность и упаковка в совокупности смешанных сфер». Журнал прикладной физики . 20 (2): 154–162. Бибкод : 1949JAP....20..154H . дои : 10.1063/1.1698327 .
- ^ Зонг, К. (2002). «От глубоких ям к свободным плоскостям» . Бюллетень Американского математического общества . 39 (4): 533–555. дои : 10.1090/S0273-0979-02-00950-3 .
- ^ Маршалл, ГВ; Хадсон, Т.С. (2010). «Плотные бинарные упаковки сфер» . Вклад в алгебру и геометрию . 51 (2): 337–344.
- ^ де Лаат, Дэвид; де Оливейра Фильо, Фернандо Мариу; Валлентин, Франк (12 июня 2012 г.). «Верхние оценки для упаковок сфер нескольких радиусов». Форум математики, Сигма . 2 . arXiv : 1206.2608 . дои : 10.1017/fms.2014.24 . S2CID 11082628 .
- ^ Деннис, Роберт; Корвин, Эрик (2 сентября 2021 г.). «Дионисовы упаковки твердых сфер механически стабильны при исчезающе низких плотностях». Физический обзор . 128 (1): 018002. arXiv : 2006.11415 . doi : 10.1103/PhysRevLett.128.018002 .
- ^ Боуэн, Л.; Радин, К. (2002). «Самая плотная упаковка равных сфер в гиперболическом пространстве» . Дискретная и вычислительная геометрия . 29 : 23–39. дои : 10.1007/s00454-002-2791-7 .
- ^ Борочки, К. (1978). «Упаковка сфер в пространствах постоянной кривизны». Математический журнал Венгерской академии наук . 32 (3–4): 243–261. дои : 10.1007/BF01902361 . S2CID 122561092 .
- ^ Бёрочки, К.; Флориан, А. (1964). «О плотнейшей упаковке сфер в гиперболическом пространстве». Acta Mathematica Academiae Scientiarum Hungaricae . 15 (1–2): 237–245. дои : 10.1007/BF01897041 . S2CID 122081239 .
- ^ Козьма, RT; Ширмаи, Дж. (2012). «Оптимально плотные упаковки для полностью асимптотических разбиений Кокстера оришарами разных типов». Монашефте по математике . 168 : 27–47. arXiv : 1007.0722 . дои : 10.1007/s00605-012-0393-x . S2CID 119713174 .
- ^ Бездек, Карой; Рид, Сэмюэл (2013). «Возвращение к контактным графам сферических упаковок». Журнал геометрии . 104 (1): 57–83. arXiv : 1210.5756 . дои : 10.1007/s00022-013-0156-4 . S2CID 14428585 .
- ^ «Наука липких сфер» . Американский учёный . 6 февраля 2017 года . Проверено 14 июля 2020 г.
- ^ Конвей, Джон Х .; Слоан, Нил Дж. А. (1998). Сферические упаковки, решетки и группы (3-е изд.). Springer Science & Business Media. ISBN 0-387-98585-9 .
Библиография
[ редактировать ]- Асте, Т.; Вейре, Д. (2000). Стремление к идеальной упаковке . Лондон: Издательство Института физики. ISBN 0-7503-0648-3 .
- Конвей, Дж. Х. ; Слоан, Нью-Джерси (1998). Сферические упаковки, решетки и группы (3-е изд.). Спрингер. ISBN 0-387-98585-9 .
- Слоан, Нью-Джерси (1984). «Упаковка сфер». Научный американец . 250 : 116–125. Бибкод : 1984SciAm.250e.116G . doi : 10.1038/scientificamerican0584-116 .
Внешние ссылки
[ редактировать ]- Дана Маккензи (май 2002 г.) « Прекрасный беспорядок » (New Scientist)
- Нетехнический обзор упаковки в гиперболическом пространстве.
- Вайсштейн, Эрик В. «Круговая упаковка» . Математический мир .
- «Kugelpackungen (Сферическая упаковка)» (Т.Э. Дорозинский)
- «Апплет 3D Sphere Packing». Архивировано 26 апреля 2009 г. в Java-апплете Wayback Machine Sphere Packing.
- «Самая плотная упаковка сфер в сферу» Java-апплет
- «База данных сферических упаковок» (Эрик Агрелл)