WikiDer > График Мёбиуса – Кантора
График Мёбиуса – Кантора | |
---|---|
Названный в честь | Август Фердинанд Мёбиус и С. Кантор |
Вершины | 16 |
Края | 24 |
Радиус | 4 |
Диаметр | 4 |
Обхват | 6 |
Автоморфизмы | 96 |
Хроматическое число | 2 |
Хроматический индекс | 3 |
Род | 1 |
Толщина книги | 3 |
Номер очереди | 2 |
Характеристики | Симметричный Гамильтониан Двудольный Кубический Единичное расстояние Граф Кэли Идеально Ориентированно простой |
Таблица графиков и параметров |
в математический поле теория графов, то График Мёбиуса – Кантора это симметричный двудольный кубический граф с 16 вершинами и 24 ребрами названных в честь Август Фердинанд Мёбиус и Селигманн Кантор. Его можно определить как обобщенный граф Петерсена грамм(8,3): то есть он образован вершинами восьмиугольник, соединенный с вершинами восьмиконечной звезды, в которой каждая точка звезды соединена с точками на расстоянии трех шагов от нее.
Конфигурация Мебиуса – Кантора
Мебиус (1828) спросил, существует ли пара полигоны с п стороны каждой, обладающие тем свойством, что вершины одного многоугольника лежат на линиях, проходящих через края другого многоугольника, и наоборот. Если это так, то вершины и ребра этих многоугольников образуют проективная конфигурация. За п = 4 нет решения в Евклидова плоскость, но Кантор (1882) найденные пары многоугольников этого типа для обобщения задачи, в которой точки и ребра принадлежат комплексная проективная плоскость. То есть в решении Кантора координаты вершин многоугольника равны сложные числа. Кантора для п = 4, пара вписанных друг в друга четырехугольников в комплексной проективной плоскости, называется Конфигурация Мебиуса – Кантора. Граф Мёбиуса-Кантора получил свое название от Граф Леви конфигурации Мёбиуса – Кантора. Он имеет одну вершину на точку и одну вершину на тройку, причем ребро соединяет две вершины, если они соответствуют точке и тройке, содержащей эту точку.
Конфигурация также может быть описана алгебраически в терминах абелева группа с девятью элементами, в этой группе четыре подгруппы третьего порядка (подмножества элементов вида , , , и соответственно), каждый из которых может быть использован для разделения девяти элементов группы на три смежные классы из трех элементов на смежный класс. Эти девять элементов и двенадцать смежных классов образуют конфигурацию, Конфигурация Гессен. Удаление нулевого элемента и четырех смежных классов, содержащих ноль, приводит к конфигурации Мёбиуса – Кантора.
Как подграф
Граф Мёбиуса – Кантора является подграф четырехмерного граф гиперкуба, образованный удалением восьми ребер из гиперкуба (Кокстер 1950). Поскольку гиперкуб - это график единичного расстояния, граф Мёбиуса – Кантора также можно нарисовать на плоскости со всеми ребрами единичной длины, хотя такой чертеж обязательно будет иметь несколько пар пересекающихся ребер.
Граф Мёбиуса – Кантора также встречается много раз, как в индуцированном подграфе Граф Хоффмана – Синглтона. Каждый из этих случаев на самом деле собственный вектор графа Хоффмана-Синглтона с соответствующим собственным значением -3. Каждая вершина нет в индуцированном графе Мёбиуса – Кантора смежно ровно с четырьмя вершинами в граф Мебиуса – Кантора, по два в каждой половине раздвоение графа Мёбиуса – Кантора.
Топология
Граф Мебиуса – Кантора нельзя вложить в плоскость без пересечений; она имеет номер перехода 4, и является наименьшим кубическим графом с этим числом пересечения (последовательность A110507 в OEIS). Кроме того, он предоставляет пример графа, номера пересечения всех подграфов которого отличаются от него на два или более.[1]Однако это тороидальный граф: он имеет вложение в тор в котором все лица шестиугольники (Марушич и Писанский 2000). В двойственный граф этого вложения является гипероктаэдрический граф K2,2,2,2.
Существует еще более симметричное вложение графа Мёбиуса – Кантора в двойной тор который является обычная карта, с шестью восьмиугольный грани, в которых все 96 симметрий графа могут быть реализованы как симметрии вложения; Кокстер (1950) приписывает это вложение Трелфолл (1932). Его 96-элементный группа симметрии имеет Граф Кэли которое само может быть вложено в двойной тор, и было показано Такер (1984) быть уникальной группой с род два. Граф Кэли с 96 вершинами - это флаговый граф регулярного отображения рода 2, имеющий граф Мёбиуса – Кантора в качестве каркаса. Это означает, что его можно получить из регулярной карты как каркас двойственного к ее барицентрическому подразделению. Скульптура ДеВитт Годфри и Дуэйн Мартинес показывающая двойное вложение симметрий графа Мёбиуса – Кантора в тор, была открыта в Техническом музее г. Словения в рамках 6-й словенской международной конференции по теории графов в 2007 году. В 2013 году вращающаяся версия скульптуры была представлена на Колгейтский университет.
Граф Мёбиуса – Кантора допускает вложение в тройной тор (тор рода 3), который является обычная карта имеющий четыре 12-угольных грани, и является Петри двойной описанного выше двойного вложения тора; (Марушич и Писанский 2000).
Lijnen & Ceulemans (2004), мотивированный исследованием потенциальных химических структур углеродных соединений, изучил семейство всех вложений графа Мебиуса – Кантора на 2-коллекторы; они показали, что существует 759 неэквивалентных вложений.
Алгебраические свойства
Группа автоморфизмов графа Мёбиуса – Кантора - это группа порядка 96.[2] Он действует транзитивно на вершинах, на ребрах и на дугах графа. Следовательно, граф Мебиуса – Кантора является симметричный граф. У него есть автоморфизмы, которые переводят любую вершину в любую другую вершину и любое ребро в любое другое ребро. Согласно Приемная перепись, граф Мебиуса – Кантора - это единственный кубический симметричный граф с 16 вершинами и наименьший кубический симметричный граф, который также не является дистанционно-переходный.[3] Граф Мёбиуса – Кантора также является Граф Кэли.
Обобщенный граф Петерсена грамм(п, к) вершинно-транзитивно тогда и только тогда, когда п = 10 и k = 2 или если k2 ≡ ± 1 (мод.п) и является реберно-транзитивным только в следующих семи случаях: (п, к) = (4,1), (5,2), (8,3), (10,2), (10,3), (12,5) или (24,5) (Frucht, Graver & Watkins, 1971 г.). Итак, граф Мёбиуса – Кантора - один из семи симметричных обобщенных графов Петерсена. Его симметричное двойное вложение тора, соответственно, является одним из семи регулярных кубических отображений, в которых общее число вершин в два раза больше числа вершин на грани (Макмаллен 1992). Среди семи симметричных обобщенных графов Петерсена есть кубический график , то Граф Петерсена , то додекаэдрический граф , то График дезарга и Науру график .
В характеристический многочлен графа Мёбиуса – Кантора равно
Смотрите также
Примечания
- ^ Маккуиллан, Дэн; Рихтер, Р. Брюс (1992), "О числах пересечения некоторых обобщенных графов Петерсена", Дискретная математика, 104 (3): 311–320, Дои:10.1016 / 0012-365X (92) 90453-М, МИСТЕР 1171327.
- ^ Ройл, Г. F016A данные[постоянная мертвая ссылка]
- ^ Кондер, М. и Добчани П. «Трехвалентные симметричные графы до 768 вершин». J. Combin. Математика. Комбинировать. Comput. 40, 41-63, 2002.
Рекомендации
- Кокстер, Х. С. М. (1950), «Самодуальные конфигурации и регулярные графы», Бюллетень Американского математического общества, 56 (5): 413–455, Дои:10.1090 / S0002-9904-1950-09407-5.
- Фрухт, Роберт; Гравер, Джек Э .; Уоткинс, Марк Э. (1971), "Группы обобщенных графов Петерсена", Труды Кембриджского философского общества, 70 (02): 211–218, Дои:10.1017 / S0305004100049811, МИСТЕР 0289365.
- Кантор, Селигманн (1882), "Über die Configurationen (3, 3) mit den Indices 8, 9 und ihren Zusammenhang mit den Curven dritter Ordnung", Sitzungsberichte der Mathematisch-Naturwissenschaftlichen Classe der Kaiserlichen Akademie der Wissenschaften, Вена, 84 (1): 915–932.
- Lijnen, Erwin; Ceulemans, Arnout (2004), "Ориентированные двухклеточные вложения графа и их классификация симметрии: порождающие алгоритмы и тематическое исследование графа Мёбиуса-Кантора", Журнал химической информации и моделирования, 44 (5): 1552–1564, Дои:10.1021 / ci049865c, PMID 15446812.
- Марушич, Драган; Писанский, Томаж (2000), "Замечательный обобщенный граф Петерсена грамм(8,3)", Mathematica Slovaca, 50: 117–121.
- Макмаллен, Питер (1992), "Правильные многогранники типа {п, 3} с 2п вершины ", Geometriae Dedicata, 43 (3): 285–289, Дои:10.1007 / BF00151518.
- Мебиус, Август Фердинанд (1828), "Kann von zwei dreiseitigen Pyramiden eine jede в Bezug auf die andere um- und eingeschrieben zugleich heissen?" (PDF), Журнал für die reine und angewandte Mathematik, 3: 273–278. В Gesammelte Werke (1886), т. 1. С. 439–446.
- Такер, Томас В. (1984), «Есть только одна группа рода два», Журнал комбинаторной теории, серия B, 36 (3): 269–275, Дои:10.1016/0095-8956(84)90032-7.
- Трелфолл, Уильям (1932), «Группенбилдер», Abhandlungen der Mathematisch-Physischen Klasse der Sächsischen Akademie der Wissenschaften, 41 (6): 1–59.
- Джессика Вольц, Инженерные линейные схемы с SAT. Магистерская работа, Тюбингенский университет, 2018 г.