WikiDer > Кликовый комплекс

Clique complex
Кликовый комплекс графа. Клики первого размера показаны маленькими красными дисками; клики размера два показаны сегментами черной линии; клики третьего размера показаны голубыми треугольниками; клики размера четыре показаны темно-синими тетраэдрами.

Кликовые комплексы, флаговые комплексы, и конформные гиперграфы тесно связаны математический объекты в теория графов и геометрическая топология что каждый описывает клики (полные подграфы) неориентированный граф.

Кликовый комплекс Икс(грамм) неориентированного графа грамм является абстрактный симплициальный комплекс (то есть, семейство конечных множеств, замкнутое относительно операции взятия подмножеств), образованное множествами вершин в кликах грамм. Любое подмножество клики само по себе является кликой, поэтому это семейство множеств удовлетворяет требованию абстрактного симплициального комплекса, согласно которому каждое подмножество множества в семействе также должно быть в семействе. Комплекс клик также можно рассматривать как топологическое пространство, в котором каждая клика k вершины представлены симплекс измерения k - 1. 1-скелет из Икс(грамм) (также известный как нижележащий граф комплекса) - неориентированный граф с вершиной для каждого 1-элементного набора в семействе и ребром для каждого 2-элементного набора в семействе; он изоморфенграмм.[1]

Комплексы клик также известны как Комплексы Уитни, после Хасслер Уитни. А Триангуляция Уитни или чистая триангуляция двумерного многообразие является встраивание графа грамм на многообразие таким образом, чтобы каждая грань была треугольником, а каждый треугольник - гранью. Если график грамм имеет триангуляцию Уитни, он должен образовывать клеточный комплекс, изоморфный комплексу Уитни грамм. В этом случае комплекс (рассматриваемый как топологическое пространство) гомеоморфный к нижележащему многообразию. График грамм имеет 2-многообразный кликовый комплекс и может быть вложен как триангуляция Уитни тогда и только тогда, когда грамм является локально циклический; это означает, что для каждой вершины v на графике индуцированный подграф сформированный соседями v образует единый цикл.[2]

Кликовый комплекс группы G эквивалентен комплекс независимости из дополнительный граф из грамм.

Флаговый комплекс

В абстрактный симплициальный комплекс, множество S вершин, который сам не является гранью комплекса, но такой, что каждая пара вершин в S принадлежит какому-либо лицу в комплексе, называется пустой симплекс. Михаил Громов определил условие no-Δ быть условием, что комплекс не имеет пустых симплексов. А флаговый комплекс абстрактный симплициальный комплекс, не имеющий пустых симплексов; то есть это комплекс, удовлетворяющий условию Громова no-Δ. Любой комплекс флагов - это кликовый комплекс своего 1-скелета. Таким образом, комплексы флагов и клики - это, по сути, одно и то же. Однако во многих случаях может быть удобно определить комплекс флагов непосредственно из некоторых данных, отличных от графа, а не косвенно как комплекс кликов графа, полученного из этих данных.[3]

Конформный гиперграф

В прямой граф грамм(ЧАС) из гиперграф - это граф на одном и том же множестве вершин, который имеет в качестве своих ребер пары вершин, которые встречаются вместе в одном и том же множестве. гиперребро. Гиперграф называется конформный если каждая максимальная клика его прямого графа является гиперребром, или, что то же самое, если каждая клика его прямого графа содержится в некотором гиперребре.[4] Если требуется, чтобы гиперграф был замкнутым вниз (т.е. он содержит все гиперребра, содержащиеся в каком-либо гиперребре), то гиперграф конформен именно тогда, когда он является комплексом флагов. Это связывает язык гиперграфов с языком симплициальных комплексов.

Примеры и приложения

В барицентрическое подразделение любой клеточный комплекс C комплекс флагов, имеющий по одной вершине на ячейку C. Набор вершин барицентрического подразделения образует симплекс тогда и только тогда, когда соответствующий набор ячеек C сформировать флаг (цепочка в порядке включения ячеек).[3] В частности, барицентрическое подразделение клеточного комплекса на двумерном многообразии порождает триангуляцию Уитни многообразия.

В комплекс заказов из частично заказанный набор состоит из цепочек (полностью заказанный подмножества) частичного порядка. Если каждая пара некоторого подмножества упорядочена сама по себе, то все подмножество является цепочкой, поэтому упорядоченный комплекс удовлетворяет условию no-Δ. Его можно интерпретировать как кликовый комплекс график сопоставимости частичного заказа.[3]

В соответствующий комплекс графа состоит из наборов ребер, никакие два из которых не имеют общего конца; опять же, это семейство множеств удовлетворяет условию no-Δ. Его можно рассматривать как кликовый комплекс дополнительный граф из линейный график данного графа. Когда соответствующий комплекс упоминается без какого-либо конкретного графа как контекст, это означает соответствующий комплекс полный график. Соответствующий комплекс полный двудольный граф Kм,п известен как шахматный комплекс. Это кликовый граф дополнительного графа график ладьи,[5] и каждый его симплекс представляет собой расстановку ладей на м × п шахматная доска такая, что никакие две ладьи не атакуют друг друга. Когда м = п ± 1 шахматный комплекс образует псевдомногообразие.

В Комплекс Виеторис – Рипс множества точек в метрическом пространстве представляет собой частный случай кликового комплекса, образованного из граф единичного диска точек; однако каждый комплекс клики Х (G) можно интерпретировать как комплекс Виеториса – Рипса кратчайший путь метрика на нижележащем графике грамм.

Ходкинсон и Отто (2003) описать применение конформных гиперграфов в логике реляционных структур. В этом контексте Граф Гайфмана реляционной структуры - это то же самое, что и нижележащий граф гиперграфа, представляющий структуру, а структура охраняемый если он соответствует конформному гиперграфу.

Громов показал, что кубический комплекс (т. Е. Семейство гиперкубы пересекающиеся лицом к лицу) образует CAT (0) пробел тогда и только тогда, когда комплекс односвязен и связь каждой вершины образует флаговый комплекс. Кубический комплекс, удовлетворяющий этим условиям, иногда называют кубирование или пространство со стенами.[1][6]

Группы гомологий

Мешулам[7] доказывает следующую теорему о гомологиях кликового комплекса. Учитывая целые числа , предположим граф грамм удовлетворяет свойству, называемому , что обозначает:

  • Каждый набор вершины в грамм есть общий сосед;
  • Существует набор А вершин, который содержит общего соседа для каждого набора вершин, а также индуцированный граф грамм[А] не содержит в качестве индуцированного подграфа копию 1-скелет из т-размерный октаэдрическая сфера.

Тогда j-я приведенная гомология кликового комплекса X (грамм) тривиально для любого j от 0 до .

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

Примечания

  1. ^ а б Бандельт и Чепой (2008).
  2. ^ Хартсфельд и Рингель (1991); Ларрион, Нойман-Лара и Писанья (2002); Малнич и Мохар (1992).
  3. ^ а б c Дэвис (2002).
  4. ^ Берже (1989); Ходкинсон и Отто (2003).
  5. ^ Донг и Вакс (2002).
  6. ^ Чаттерджи и Нибло (2005).
  7. ^ Мешулам, Рой (01.01.2001). «Кликовый комплекс и соответствие гиперграфа». Комбинаторика. 21 (1): 89–94. Дои:10.1007 / s004930170006. ISSN 1439-6912. S2CID 207006642.

Рекомендации