WikiDer > Набор Danzer

Нерешенная проблема в математике: Существует ли множество Данцера с ограниченной плотностью или ограниченным разделением? (больше нерешенных задач по математике)

Построение двумерного набора Данцера со скоростью роста ${ Displaystyle О (п ^ {2} журнал п)}$ из наложенных прямоугольных сеток с соотношением сторон 1: 1, 1: 9, 1:81 и т. д.

В геометрия, а Набор Danzer это набор точек, который касается каждого выпуклое тело единицы объема. Людвиг Данцер спросил, возможно ли, чтобы такое множество было ограниченным плотность.^[1][2] Несколько вариантов этой проблемы остаются нерешенными.

Плотность

Один из способов сформулировать проблему более формально - рассмотреть скорость роста множества ${ displaystyle S}$ в ${ displaystyle d}$-мерное евклидово пространство, определяемое как функция, отображающая действительное число ${ displaystyle r}$ к количеству точек ${ displaystyle S}$ которые находятся на расстоянии ${ displaystyle r}$ из происхождение. Вопрос Данцера в том, может ли набор Данцера иметь скорость роста? ${ Displaystyle О (г ^ {d})}$, скорость роста хорошо разнесенных точечных множеств, таких как целочисленная решетка (что не является набором Данцера).^[1]

Можно построить набор Данцера скорости роста, который находится в пределах полилогарифмического фактора ${ Displaystyle О (г ^ {d})}$. Например, наложение прямоугольных сеток, ячейки которых имеют постоянный объем, но различаются соотношение сторон может достичь темпа роста ${ Displaystyle О (п ^ {d} журнал ^ {d-1} п)}$.^[3]Конструкции для наборов Данцера известны несколько более быстрыми темпами роста, ${ Displaystyle О (г ^ {d} лог г)}$, но ответ на вопрос Данцера остается неизвестным.^[4]

Ограниченное покрытие

Еще один вариант проблемы, поставленный Тимоти Гауэрс, спрашивает, существует ли набор Данцера ${ displaystyle S}$ для которого существует конечная оценка ${ displaystyle C}$ по количеству точек пересечения между ${ displaystyle S}$ и любое выпуклое тело единичного объема.^[5] Эта версия решена: невозможно, чтобы набор Danzer с этим свойством существовал.^[6]

Разделение

Третий вариант проблемы, до сих пор не решенный, - Проблема мертвой мухи Конвея. Джон Хортон Конвей вспомнил, что в детстве он спал в комнате с обоями, цветочный узор которых напоминал множество мертвых мух, и что он пытался найти выпуклые области, в которых не было мертвой мухи.^[7]В формулировке Конвея вопрос состоит в том, существует ли множество Данцера, в котором точки множества (мертвые мухи) разделены на ограниченное расстояние друг от друга. Такой набор обязательно также будет иметь верхнюю границу расстояния от каждой точки самолета до мертвой мухи (чтобы коснуться всех кругов единичной площади), так что он будет образовывать Набор Delone, набор с нижней и верхней границами расстояния между точками. Также обязательно будет скорость роста ${ Displaystyle О (г ^ {d})}$, поэтому, если он существует, он также решит исходную версию проблемы Данцера. Конвей предложил приз в размере 1000 долларов за решение своей проблемы,^[7][8] как часть набора задач, включая 99-графовая проблема Конвея, анализ серебряная чеканка, а догадка.^[8]

Дополнительные свойства

Также возможно ограничить классы наборов точек, которые могут быть наборами Данцера, другими способами, кроме их плотности. В частности, они не могут быть объединением конечного числа решетки,^[3] они не могут быть созданы путем выбора точки в каждой плитке мозаика замещения (в одинаковом положении для каждой плитки одного типа), и они не могут быть сгенерированы проектный метод для строительства апериодические мозаики. Следовательно, вершины вертушка черепица и Плитка Пенроуза не являются наборами Danzer.^[4]

Смотрите также

• Проблема треугольника Хейльбронна, на множествах точек, не образующих треугольников малой площади
• Теорема Минковского, что каждое замкнутое выпуклое тело единичного объема, центрально симметричное относительно начала координат, содержит ненулевую точку полуцелой решетки

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