Альфа-форма

Альфа-форма или $\mathit{\alpha <!--\; \alpha \; -->}$${\boldsymbol {\alpha }}$-форма — это семейство кусочно-линейных простых кривых на евклидовой плоскости, ассоциированных с формой конечного множества точек. Альфа-формы первым определили Эдельсбруннер, Киркпатрик и Зайдель. Альфа-форма, ассоциированная с множеством точек, является обобщением концепции выпуклой оболочки, то есть любая выпуклая оболочка является альфа-формой, но не любая альфа-форма является выпуклой оболочкой.

Выпуклая оболочка, альфа-форма и минимальное остовное дерево двумерного множества данных.

ОписаниеПравить

Для любого вещественного числа $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  определим концепцию обобщённого диска радиуса $1/\mathrm{\alpha <!--\; \alpha \; -->}$$1/\alpha$  следующим образом:

• Если $\mathrm{\alpha <!--\; \alpha \; -->}=0$$\alpha = 0$ , это замкнутая полуплоскость;
• Если $\mathrm{\alpha <!--\; \alpha \; -->}>0$$\alpha >0$ , это замкнутый диск радиуса $1/\mathrm{\alpha <!--\; \alpha \; -->}$$1/\alpha$ ;
• Если $\alpha <0$ , это замыкание дополнения диска радиуса $-<!--\; -\; -->1/\mathrm{\alpha <!--\; \alpha \; -->}$$-1/\alpha$ .

Тогда ребро альфа-формы рисуется между двумя точками конечного множества, когда существует обобщённый диск радиуса $1/\mathrm{\alpha <!--\; \alpha \; -->}$$1/\alpha$ , содержащий всё множество точек и обладающий свойством, что две точки лежат на его границе.

Если $\mathrm{\alpha <!--\; \alpha \; -->}=0$$\alpha = 0$ , то альфа-форма, ассоциированная с конечным множеством точек, является обычной выпуклой оболочкой.

Альфа-комплексПравить

Альфа-формы тесно связаны с альфа-комплексами, подкомплексами триангуляции Делоне множества точек.

Каждое ребро треугольника триангуляции Делоне может быть ассоциировано с характеристическим радиусом, ребром наименьшей пустой окружности, содержащей ребро треугольника. Для каждого вещественного числа $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -комплекс заданного множества точек является симплициальным комплексом, образованным набором рёбер и треугольников, чьи радиусы не превосходят $1/\mathrm{\alpha <!--\; \alpha \; -->}.$$1/\alpha .$ 

Объединение рёбер и треугольников в $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -комплексе формирует форму, близко походящую на $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -форму, однако она отличается тем, что имеет кусочно-линейные рёбра, а не дуги окружностей. Более того, Эдельсбруннер показал, что две формы гомотопически эквивалентны. (В этой, более поздней работе, Эдельсбруннер использовал название $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -форма для обозначения ячеек $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -комплекса, а для криволинейной формы использовал название $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ -тело.)

ПримерыПравить

Эту технику можно применять для реконструкции поверхности Ферми из электронной спектральной функции Блоха, вычисленной на уровне Ферми, как полученной из функции Грина. Поверхность Ферми тогда определяется как множество противоположных точек пространства внутри первой зоны Бриллюэна, где сигнал наибольший. Такое определение имеет преимущество, что оно перекрывает различные случаи нарушений.

 

Поверхность Ферми серебра: реконструкция альфа-формы из KKR^[en] реконструкции спектральной функции Блоха

См. такжеПравить

• Бета-остов

СсылкиПравить

• 2D Альфа-Формы и 3D Альфа-Формы библиотеке алгоритмов вычислительной геометрии (англ. Computational Geometry Algorithms Library)
• Альфа-Комплекс в библиотеке GUDHI.
• Описание и имплементация в университете Дьюка
• Всё, что вы хотите знать о альфа-формах, но боялись спросить — с иллюстрациями и интерактивной демонстрацией
• Имплементация альфа-форм в 3D для реконструкции 3D-множеств из точек в R
• Описание деталей имплементации альфа-форм — Лекции, дающие описание формальных и интуитивных аспектов имплементации альфа-форм
• Альфа оболочки, формы и взвешенные объекты — Слайды лекций Робрерта Плесса из Вашингтонского университета