В геометрии , A сфера упаковки является расположение неперекрывающихся сфер внутри содержащего пространства. Сферы , рассматриваемые, как правило , все одинакового размера, и пространство, как правило , трех- мерного евклидова пространства . Однако проблемы упаковки сфер могут быть обобщены для рассмотрения неравных сфер, пространств других измерений (где проблема заключается в упаковке кругов в двух измерениях или упаковке гиперсфер в более высоких измерениях) или на неевклидовы пространства, такие как гиперболическое пространство .
Типичная проблема упаковки сфер - найти такое расположение, при котором сферы занимают как можно больше пространства. Пропорция пространства, заполненного сферами, называется плотностью расположения. Поскольку локальная плотность упаковки в бесконечном пространстве может изменяться в зависимости от объема, в котором она измеряется, проблема обычно состоит в том, чтобы максимизировать среднюю или асимптотическую плотность, измеренную в достаточно большом объеме.
Для равных сфер в трех измерениях самая плотная упаковка занимает примерно 74% объема. Случайная упаковка равных сфер обычно имеет плотность около 64%.
Классификация и терминология
Решетки расположение (обычно называется регулярное расположение) является тот , в котором центры сфер образуют очень симметричный рисунок , который нуждается только п векторов , чтобы быть однозначно определен (в п - мерное евклидово пространства ). Расположение решеток периодическое. Компоновки, в которых сферы не образуют решетку (часто называемую нерегулярной ), могут быть периодическими, но также апериодическими (собственно непериодическими ) или случайными . С решетчатыми конструкциями легче обращаться, чем с нестандартными - их высокая степень симметрии упрощает их классификацию и измерение их плотности.
Обычная упаковка
Плотная упаковка
В трехмерном евклидовом пространстве, плотнейшая упаковки равных шаров достигается семейством структур , называемых плотноупакованные структур. Один из способов создания такой структуры заключается в следующем. Рассмотрим плоскость с компактным расположением на ней сфер. Назовите это А. Для любых трех соседних сфер четвертую сферу можно поместить сверху в полость между тремя нижними сферами. Если мы сделаем это для половины отверстий во второй плоскости над первой, мы создадим новый компактный слой. Для этого есть два возможных варианта, назовите их B и C. Предположим, что мы выбрали B. Тогда одна половина полостей B лежит над центрами шаров в A, а половина - над полостями A, которые не были используется для B. Таким образом, шары третьего слоя могут быть размещены либо непосредственно над шарами первого слоя, образуя слой типа A, либо над отверстиями первого слоя, которые не были заняты вторым слоем, что дает слой типа C. Комбинирование слоев типов A, B и C дает различные плотноупакованные структуры.
Два простых устройства в пределах семейства плотно упакованных соответствуют правильным решеткам. Один называется кубической плотной упаковкой (или гранецентрированной кубической , «FCC») - где слои чередуются в последовательности ABCABC ... Другой называется гексагональной плотной упаковкой («HCP»), где слои чередуются в последовательности ABAB ... Но возможно множество последовательностей наложения слоев (ABAC, ABCBA, ABCBAC и т. Д.), Которые по-прежнему создают плотноупакованную структуру. Во всех этих схемах каждая сфера касается 12 соседних сфер [1], а средняя плотность равна
Карл Фридрих Гаусс доказал в 1831 году, что эти упаковки имеют самую высокую плотность среди всех возможных решетчатых упаковок. [2]
В 1611 году Иоганн Кеплер предположил, что это максимально возможная плотность как среди регулярных, так и среди нерегулярных расположений - это стало известно как гипотеза Кеплера . В 1998 году Томас Каллистер Хейлз , следуя подходу, предложенному Ласло Фейесом Тотом в 1953 году, объявил о доказательстве гипотезы Кеплера. Доказательство Хейлза - это исчерпывающее доказательство, включающее проверку многих отдельных случаев с использованием сложных компьютерных вычислений. Судьи заявили, что они «на 99% уверены» в правильности доказательства Хейлза. 10 августа 2014 года Хейлз объявил о завершении формального доказательства с использованием автоматической проверки , что устраняет любые сомнения. [3]
Другие распространенные решетчатые насадки
Некоторые другие решетчатые упаковки часто встречаются в физических системах. К ним относится кубическая решетка с плотностьюгексагональная решетка с плотностью и тетраэдрическая решетка с плотностью , и наиболее рыхлый при плотности 0,0555. [4]
Застрявшие упаковки с низкой плотностью
Упаковки, в которых все сферы удерживаются соседями в одном месте, называются жесткими или зажатыми . Строго заклинивающая упаковка сфер с наименьшей плотностью представляет собой разбавленный («туннелированный») кристалл ГЦК с плотностью всего 0,49365. [5]
Нерегулярная упаковка
Если мы попытаемся построить плотно упакованный набор сфер, у нас будет искушение всегда помещать следующую сферу в полость между тремя упакованными сферами. Если пять сфер собраны таким образом, они будут соответствовать одной из описанных выше схем регулярной упаковки. Однако шестая сфера, размещенная таким образом, сделает структуру несовместимой с обычным расположением. Это приводит к возможности случайной плотной упаковки сфер, устойчивой к сжатию. [6] Вибрация случайной рыхлой упаковки может привести к расположению сферических частиц в регулярные упаковки, процесс, известный как гранулированная кристаллизация . Такие процессы зависят от геометрии контейнера, в котором находятся сферические зерна. [1]
Когда сферы случайным образом добавляются в контейнер, а затем сжимаются, они обычно образуют так называемую «нерегулярную» или «застрявшую» конфигурацию упаковки, когда их больше нельзя сжимать. Эта нерегулярная насадка обычно имеет плотность около 64%. Недавние исследования аналитически предсказывают, что она не может превышать предел плотности в 63,4% [7]. Эта ситуация отличается от случая с одним или двумя измерениями, когда сжатие набора одномерных или двухмерных сфер (то есть сегментов линий или окружностей ) даст обычную упаковку.
Упаковка гиперсферы
Задача об упаковке сфер - это трехмерная версия класса задач об упаковке шариков произвольной размерности. В двух измерениях эквивалентная задача - упаковка кругов на плоскости. В одном измерении это упаковка линейных сегментов в линейную вселенную. [8]
В размерах больше трех известны наиболее плотные регулярные упаковки гиперсфер до 8 измерений. [9] Очень мало известно о нерегулярных гиперсферных упаковках; возможно, что в некоторых измерениях самая плотная упаковка может быть неправильной. Некоторая поддержка этой гипотезы исходит из того факта, что в определенных размерах (например, 10) самая плотная известная нерегулярная упаковка плотнее, чем самая плотная известная регулярная упаковка. [10]
В 2016 году Марина Вязовская объявила о доказательстве того, что решетка E 8 обеспечивает оптимальную упаковку (независимо от регулярности) в восьмимерном пространстве [11], а вскоре после этого она и группа сотрудников анонсировали аналогичное доказательство того, что решетка Пиявки оптимальна. в 24 измерениях. [12] Этот результат основан на и улучшил предыдущие методы, которые показали, что эти две решетки очень близки к оптимальным. [13] Новые доказательства включают использование преобразования Лапласа тщательно выбранной модулярной функции для построения радиально-симметричной функции f такой, что f и ее преобразование Фурье f̂ оба равны единице в начале координат , и оба обращаются в нуль во всех других точках оптимальной решетки. , где f отрицательно вне центральной сферы упаковки, а f̂ положительно. Затем формула суммирования Пуассона для f используется для сравнения плотности оптимальной решетки с плотностью любой другой упаковки. [14] До того, как доказательство было официально рассмотрено и опубликовано, математик Питер Сарнак назвал доказательство «потрясающе простым» и написал, что «вы просто начинаете читать статью и знаете, что это правильно». [15]
Другое направление исследований больших размерностей - это попытка найти асимптотические оценки плотности наиболее плотных упаковок. В 2017 г., известно , что при большом п , плотнейшей решетки в размерности п имеет плотность между сп · 2 - п (для некоторых постоянная с ) и 2 -.599 п . [16] Предположительные границы лежат посередине. [17]
Неравномерная упаковка сфер
Многие проблемы в химических и физических науках могут быть связаны с проблемами упаковки, когда доступны сферы более одного размера. Здесь есть выбор между разделением сфер на области плотно упакованных равных сфер или объединением сфер нескольких размеров в составную или промежуточную упаковку. Когда доступны сферы многих размеров (или распределение ), проблема быстро становится неразрешимой, но некоторые исследования бинарных твердых сфер (двух размеров) доступны.
Когда вторая сфера намного меньше первой, можно расположить большие сферы плотно упакованными, а затем расположить маленькие сферы внутри октаэдрических и тетраэдрических зазоров. Плотность этой промежуточной упаковки сильно зависит от отношения радиусов, но в пределе крайних соотношений размеров меньшие сферы могут заполнять промежутки с такой же плотностью, как и большие сферы, заполняющие пространство. [19] Даже если большие сферы не находятся в плотной упаковке, всегда можно вставить несколько меньших сфер с радиусом до 0,29099 радиуса большей сферы. [20]
Когда меньшая сфера имеет радиус, превышающий 0,41421 радиуса большей сферы, уже невозможно поместиться даже в октаэдрические отверстия плотноупакованной структуры. Таким образом, за пределами этой точки либо структура-хозяин должна расширяться, чтобы приспособить промежуточные звенья (что ставит под угрозу общую плотность), либо перестраиваться в более сложную структуру кристаллического соединения. Известны структуры, превышающие плотность плотной упаковки для отношений радиусов до 0,659786. [18] [21]
Получены также верхние оценки плотности, которая может быть получена в таких бинарных упаковках. [22]
Во многих химических ситуациях, таких как ионные кристаллы , стехиометрия ограничивается зарядами составляющих ионов. Это дополнительное ограничение на упаковку вместе с необходимостью минимизировать кулоновскую энергию взаимодействующих зарядов приводит к разнообразию оптимальных схем упаковки.
Гиперболическое пространство
Хотя концепция кругов и сфер может быть распространена на гиперболическое пространство , найти наиболее плотную упаковку становится намного сложнее. В гиперболическом пространстве нет предела количеству сфер, которые могут окружать другую сферу (например, круги Форда можно рассматривать как набор идентичных гиперболических кругов, в которых каждый круг окружен бесконечным числом других кругов). Понятие средней плотности также становится все труднее точно определить. Самые плотные упаковки в любом гиперболическом пространстве почти всегда нерегулярны. [23]
Несмотря на эту трудность, К. Böröczky дает универсальный верхнюю границу для плотности сферы упаковки гиперболического п - пространства , где п ≥ 2. [24] В трех измерениях Böröczky связанных составляет приблизительно 85,327613%, и реализуется с помощью орисферы упаковки порядок-6 тетраэдрические сотни с Шлефли символом {3,3,6}. [25] В дополнение к этой конфигурации, как известно, существуют по крайней мере три других упаковки орисфер в гиперболическом 3-пространстве, которые реализуют верхнюю границу плотности. [26]
Прикосновение к парам, тройкам и четверкам
Контакт график произвольной конечной упаковки единичных шаров является граф, вершины которого соответствуют элементам упаковки и чьи две вершины соединены ребром , если соответствующие две упаковочные элементы соприкасаются друг с другом. Мощность набора ребер графа контактов дает количество соприкасающихся пар, количество 3-циклов в графе контактов дает количество соприкасающихся троек, а количество тетраэдров в графе контактов дает количество соприкасающихся четверок ( в общем случае для контактного графа, связанного со сферой, упакованной в n измерений, мощность множества n -симплексов в контактном графе дает количество соприкасающихся ( n + 1) -наборов в упаковке сфер). В случае 3-мерного евклидова пространства нетривиальные оценки сверху на количество соприкасающихся пар, троек и четверок [27] были доказаны Кароли Бездеком и Сэмюэлем Ридом из Университета Калгари.
Проблема нахождения такого расположения n одинаковых сфер, которое максимизирует количество точек контакта между сферами, известна как «проблема липких сфер». Максимум известен для n ≤ 11, а для больших n известны только предположительные значения . [28]
Другие пространства
Упаковка сфер на углах гиперкуба (со сферами, определяемыми расстоянием Хэмминга ) соответствует разработке кодов с исправлением ошибок : если сферы имеют радиус t , то их центры являются кодовыми словами (2 t + 1) -кода с исправлением ошибок. . Упаковки решеток соответствуют линейным кодам. Есть и другие, более тонкие отношения между упаковкой евклидовой сферы и кодами, исправляющими ошибки. Например, двоичный код Голея тесно связан с 24-мерной решеткой Пиявки.
Дополнительные сведения об этих соединениях см. В книге Конвея и Слоана « Сферические упаковки, решетки и группы » . [29]
Смотрите также
- Плотная упаковка равных сфер
- Упаковка аполлонических сфер
- Постоянная Эрмита
- Вписанная сфера
- Проблема с целующимися числами
- Связанная сфера-упаковка
- Случайная близкая упаковка
- Набивка цилиндрической сферы
Рекомендации
- ^ a b Гранулированная кристаллизация в вибрирующих упаковках Гранулированное вещество (2019), 21 (2), 26 HAL Archives Ouvertes
- ^ Gauß, CF (1831). "Besprechung des Buchs von LA Seeber: Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen usw" [Обсуждение книги Л.А. Сибера: Исследования характеристик положительных троичных квадратичных форм и т. Д.]. Göttingsche Gelehrte Anzeigen .
- ^ «Долгосрочное хранилище для хостинга проектов Google Code» . Архив кода Google .
- ^ «Мир Wolfram Math, упаковка сфер» .
- ^ Торквато, С .; Стиллинджер, FH (2007). «К порогу заклинивания сферических упаковок: туннельные кристаллы». Журнал прикладной физики . 102 (9): 093511–093511–8. arXiv : 0707.4263 . Bibcode : 2007JAP ... 102i3511T . DOI : 10.1063 / 1.2802184 . S2CID 5704550 .
- ^ Чайкин, Пол (июнь 2007 г.). "Случайные мысли". Физика сегодня . Американский институт физики. 60 (6): 8. Bibcode : 2007PhT .... 60f ... 8C . DOI : 10.1063 / 1.2754580 . ISSN 0031-9228 .
- ^ Песня, C .; Wang, P .; Максе, HA (29 мая 2008 г.). «Фазовая диаграмма застрявшей материи». Природа . 453 (7195): 629–632. arXiv : 0808.2196 . Bibcode : 2008Natur.453..629S . DOI : 10,1038 / природа06981 . PMID 18509438 . S2CID 4420652 .
- ^ Гриффит, Дж. С. (1962). «Упаковка ровных 0-сфер». Природа . 196 (4856): 764–765. Bibcode : 1962Natur.196..764G . DOI : 10.1038 / 196764a0 . S2CID 4262056 .
- ^ Вайсштейн, Эрик В. «Гиперсферная упаковка» . MathWorld .
- ^ Слоан, штат Нью-Джерси (1998). «Проблема упаковки сфер». Documenta Mathematica . 3 : 387–396. arXiv : math / 0207256 . Bibcode : 2002math ...... 7256S .
- ^ Вязовская, Марина (1 января 2017 г.). «Проблема упаковки сфер в размерности 8» . Анналы математики . 185 (3): 991–1015. arXiv : 1603.04246 . DOI : 10.4007 / annals.2017.185.3.7 . ISSN 0003-486X . S2CID 119286185 .
- ^ Кон, Генри; Кумар, Абхинав; Миллер, Стивен; Радченко, Данило; Вязовская, Марина (1 января 2017 г.). «Проблема упаковки сфер в размерности 24» . Анналы математики . 185 (3): 1017–1033. arXiv : 1603.06518 . DOI : 10.4007 / annals.2017.185.3.8 . ISSN 0003-486X . S2CID 119281758 .
- ^ Кон, Генри; Кумар, Abhinav (2009), "оптимальность и единственность пиявки решетки среди решеток", Annals математики , 170 (3): 1003-1050, Arxiv : math.MG/0403263 , DOI : 10.4007 / annals.2009.170.1003 , ISSN 1939-8980 , MR 2600869 , S2CID 10696627 , Zbl 1213.11144Кон, Генри; Кумар, Абхинав (2004), «Самая плотная решетка в двадцати четырех измерениях», Объявления об электронных исследованиях Американского математического общества , 10 (7): 58–67, arXiv : math.MG/0408174 , doi : 10.1090 / S1079- 6762-04-00130-1 , ISSN 1079-6762 , MR 2075897 , S2CID 15874595
- ^ Миллер, Стивен Д. (4 апреля 2016 г.), Решение проблемы упаковки сфер в 24 измерениях с помощью модульных форм , Институт перспективных исследований.. Видео часового выступления одного из соавторов Вязовской с объяснением новых доказательств.
- ^ Кларрайх, Эрика (30 марта 2016 г.), «Сферическая упаковка решена в более высоких измерениях» , Quanta Magazine
- ^ Кона, Генри (2017), "концептуальный прорыв в сфере упаковки" (PDF) , Уведомление о Американском математическом обществе , 64 (2): 102-115, Arxiv : 1611,01685 , DOI : 10,1090 / noti1474 , ISSN 0002-9920 , Руководство по ремонту 3587715 , S2CID 16124591
- ^ Torquato, S .; Стиллинжера, FH (2006), "Новая предположительной нижние границы оптимальной плотности сферы насадок" , экспериментальная математика , 15 (3): 307-331, Arxiv : математика / 0508381 , DOI : 10,1080 / 10586458.2006.10128964 , MR 2264469 , S2CID 9921359
- ^ а б О'Тул, PI; Хадсон, Т.С. (2011). "Новые высокоплотные упаковки двойных сфер аналогичного размера". Журнал физической химии C . 115 (39): 19037. DOI : 10.1021 / jp206115p .
- ^ Хадсон, Д.Р. (1949). «Плотность и упаковка в совокупности смешанных сфер». Журнал прикладной физики . 20 (2): 154–162. Bibcode : 1949JAP .... 20..154H . DOI : 10.1063 / 1.1698327 .
- ^ Цзун, К. (2002). «От глубоких ям до свободных плоскостей» . Бюллетень Американского математического общества . 39 (4): 533–555. DOI : 10.1090 / S0273-0979-02-00950-3 .
- ^ Маршалл, GW; Хадсон, Т.С. (2010). «Плотные бинарные упаковки сфер» . Вклад в алгебру и геометрию . 51 (2): 337–344.
- ^ де Лаат, Давид; де Оливейра Филью, Фернандо Мариу; Валлентин, Франк (12 июня 2012 г.). «Верхние границы для упаковки сфер нескольких радиусов». Форум математики, Сигма . 2 . arXiv : 1206.2608 . DOI : 10.1017 / fms.2014.24 . S2CID 11082628 .
- ^ Bowen, L .; Радин, К. (2002). «Плотнейшая упаковка равных сфер в гиперболическом пространстве» . Дискретная и вычислительная геометрия . 29 : 23–39. DOI : 10.1007 / s00454-002-2791-7 .
- ^ Böröczky, К. (1978). «Упаковка сфер в пространства постоянной кривизны». Acta Mathematica Academiae Scientiarum Hungaricae . 32 (3–4): 243–261. DOI : 10.1007 / BF01902361 . S2CID 122561092 .
- ^ Böröczky, K .; Флориан, А. (1964). "Uber die dichteste Kugelpackung im hyperbolischen Raum". Acta Mathematica Academiae Scientiarum Hungaricae . 15 (1–2): 237–245. DOI : 10.1007 / BF01897041 . S2CID 122081239 .
- ^ Козьма, РТ; Сирмаи, Дж. (2012). «Оптимально плотные упаковки для полностью асимптотических разбиений Кокстера гороболами разных типов». Monatshefte für Mathematik . 168 : 27–47. arXiv : 1007.0722 . DOI : 10.1007 / s00605-012-0393-х . S2CID 119713174 .
- ^ Бездек, Кароли; Рид, Сэмюэл (2013). "Обратимся к контактным графам сферических упаковок". Журнал геометрии . 104 (1): 57–83. arXiv : 1210,5756 . DOI : 10.1007 / s00022-013-0156-4 . S2CID 14428585 .
- ^ «Наука липких сфер» . Американский ученый . 6 февраля 2017 . Дата обращения 14 июля 2020 .
- ^ Конвей, Джон Х .; Слоан, Нил Дж. А. (1998). Сферические упаковки, решетки и группы (3-е изд.). Springer Science & Business Media. ISBN 0-387-98585-9.
Библиография
- Aste, T .; Уир, Д. (2000). Стремление к идеальной упаковке . Лондон: Издательский институт физики. ISBN 0-7503-0648-3.
- Конвей, JH ; Слоан, Нью-Джерси (1998). Сферические упаковки, решетки и группы (3-е изд.). ISBN 0-387-98585-9.
- Слоан, штат Нью-Джерси (1984). «Упаковка сфер». Scientific American . 250 : 116–125. Bibcode : 1984SciAm.250e.116G . DOI : 10.1038 / Scientificamerican0584-116 .
Внешние ссылки
- Дана Маккензи (май 2002 г.) « Прекрасный беспорядок » (New Scientist)
- Нетехнический обзор упаковки в гиперболическом пространстве.
- Вайсштейн, Эрик В. «Упаковка кругов» . MathWorld .
- "Kugelpackungen (сферическая упаковка)" (Т.Е. Дорозинский)
- Java-апплет Sphere Packing "3D Sphere Packing"
- Java-апплет "Плотнейшая упаковка сфер в сферу"
- «База данных сферических упаковок» (Эрик Агрелл)