Доброе время суток, надеюсь что данный пост послужит началом для продуктивного обсуждения и будет интересен широкому кругу читателей.
Собственно, в данном сообщении я хотел бы поделиться с миром некоторыми первыми шагами, которые удалось сделать в рамках разработанного мною подхода к этой старой проблеме в области задач об изоморфизмах графов. Мне было бы интересно услышать мнение компетентных людей на то, что будет изложено ниже, а также получить некоторые рекомендации и ответы на некоторые интересующие меня вопросы. Сразу хочу отметить тот факт, что я студент 3 курса МФТИ, так что с одной стороны никакого большого опыта реальной работы у меня нет, а с другой мне очень хочется набрать материала для первой публикации в моей жизни, так что прошу отнестись к моему положению с пониманием. Я был бы очень рад, если бы нашелся человек, также увлекающийся данной задачей , который был бы заинтересован в возможном соавторстве.
Для начала я приведу формулировку самой оригинальной задачи, дабы ввести читателей в свои обозначения и задам несколько важных, вопросов, ответ на которые мне неизвестен. Сразу отмечу, что все графы, которые рассматриваются ниже суть есть простые графы без смежных ребер и петель, также поскольку содержательной гипотеза Улама-Келли становится лишь в классе связных графов, то их то мы и будем в основном рассматривать.
Определение 1.
Колодой графа
называется множество его подграфов, образованных путем удаления из исходного графа некоторого одной вершины. Обозначается оно так:
, где под
как и обычно подразумевается множество всех вершин данного графа.
Две колоды
и
называются изоморфными, если между ними существует такая биекция
, что
, то есть найдется такое взаимооднозначное соответствие между элементами двух колод, что оно переводит друг в друга лишь изоморфные элементы этих колод.
Множество всех изоморфизмов данной колоды
на себе обозначается
, и является группой автоморфизмов колоды, группа автоморфизмов колоды данного графа лично я назвал группой Келли данного графа, и обозначаю ее
.
На данном этапе уже возникает сложный вопрос, который ставит Ф. Харрари в своей монографии на теорию графов: Как понять является ли данный набор из
графов, состоящих из
вершины колодой некоторого графа или нет? То есть как понять по данной колоде, есть ли некоторый граф, колода которого изоморфна данной? Это очень сложный вопрос, над которым я убежден бьются многие, и мне хотелось бы найти ссылки на уже известные результаты в этой области. Так мне кажется, что именно содержательных фактов о том, какими свойствами должна обладать колода, которая может быть реализована, не хватает для завершения разрешения проблема Улама-Келли.
Собственно гипотеза Улама-Келли может быть сформулирована следующим образом:
Пусть графы
и
таковы, что их колоды изоморфны, тогда и сами графы должны быть изоморфны, если число их вершин больше 2.
Лично мне кажется, что в общем виде данная гипотеза, конечно, неверна и ниже будет изложено, почему я придерживаюсь такого мнения. А пока я перейду к самой содержательной части данного сообщения: к некоторым пока весьма скромным, но все же достаточно интересными результатам:
Определение 2.
Пусть
- некоторый биекция между двумя графами, тогда она, конечно, порождает биекцию между колодами по правилу
, и обратно любая биекция между колодами порождает биекцию между графами по следующему правилу, если
, то
.
И данное определение позволяет задаться интересным вопросом, а правда да ли что любой изоморфизм между колодами порождается некоторым изоморфизмом между графами? Ясно, что изоморфизмов между колодами точно не меньше чем между графами, но как будет показано ниже бывают случаи, когда их больше! Что и вызывает у меня сомнения в гипотезе Улама-Келли для всех графов.
Чтобы ответить на поставленный только что вопрос необходимо для начала исследовать вопросы связанные с автоморфизмами колоды и графа, то есть изучить отношение между двумя группами:
и
, ясно что каждый автоморфизм графа порождает некоторый автоморфизм колоды, поэтому можно говорить о естественном вложении группы автоморфизмов данного графа в его группу Келли:
, однако не факт, что данное вложение есть изоморфизм между двумя группами, что позволяет ввести следующее содержательное определение:
Определение 3.
Граф
называется однозначным (простите не смог придумать нечто более красивое), если его группа Келли изоморфна группе его автоморфизмов. В таком случае разумеется вложение описанное выше доставляет один из изоморфизмов между двумя данными группами.
Забегая вперед скажу, что по моей интуиции именно требование однозначности для графов
и
является существенным для гипотезы Улама-Келли. Поскольку оно гарантирует, что любой изоморфизм между двумя однозначными графами порождает изоморфизм их колод, и обратно любой изоморфизм их колод порожден некоторым графическим изоморфизмом.
Лемма 1.
Если графы
и
однозначные и изоморфные, то любой изоморфизм между их колодами порожден изоморфизмом между самими графами. Причем данное высказывание справедливо и в обратную сторону.
Док-во:
1) Поскольку любой изоморфизм между графами сразу же задает изоморфизм между их колодами, то нам достаточно доказать, что число изоморфизмов между колодами совпадает с числом изоморфизмом между самими графами. Сделать это легко, если вспомнить, что число изоморфизмов между колодами совпадает с мощностью их групп автоморфизмов, то же самое справедливо и для графов, а так как группы Келли и группы автоморфизмов для графов изоморфны по условию леммы, то мы уже все доказали.
2) В обратную стороны доказать тоже нетрудно: если число изоморфизмом совпадает, то мощности групп автоморфизмов и групп Келли для наших графов совпадают, что вкупе с существованием естественного вложение и дает нам факт изоморфности этих групп.
Данная лемма является основанием для всего подхода, который я пока пытаюсь развить, она дает некоторое начальное понимание того, как связаны симметрии колоды с симметриями самого графа, и как эта связь влияет на процесс возникновения изоморфизмов между разными графами и колодами. Ясно, что если взять граф, который не есть однозначный (ниже будет доказано, что такие существуют), то там будет лишний изоморфизм между колодами, который чисто гипотетически можно использовать для того, что испортить изоморфизм между графами, сохранив при этом этот изоморфизм между колодами для строительства контрпримера.
Важный момент: понятие однозначного графа является содержательным, ибо есть как однозначные так и неоднозначные графы, что показывает следующая лемма:
Лемма 2.
Любой граф, группа автоморфизмом которого есть циклическая группа простого порядка
, является неоднозначным.
Я приведу простой набросок доказательства для случая
, оно легко переносится на общий случай:
1) Будем называть действие группы
на множестве
неполным заданное отображением
, если существует такая подгруппа группы всех перестановок множества
:
, что выполнены 2 условия:
i)
ii) Орбиты любой точки
у этих двух групп одинаковы:
Если любое действие группы
задаваемое инъективным вложением неполное, то такую группу будем называть неполной. Теперь так как действие группы автоморфизмов графа на его колоде всегда инъективно по самому построению естественного вложения, то нам нужно лишь доказать неполноту циклической группы 3 порядка, что сразу повлечет за собой возникновение лишних перестановок колоды, которые не изменят орбит, а значит и дадут верные автоморфизмы колоды, которые уже не будут порождены автоморфизмами графа.
2) Чтобы достичь поставленной цели, мы поступим так:
Рассмотрим любое инъективное действие группы
на множестве
, так как оно инъективное, то найдется перестановка
, которая будет двигать
не тождественно, то есть будет точка
, такая что
, так как справедлива формула
, то есть мощность нашей группы, которая есть простое число, есть произведение длины орбиты любой точки на мощность ее стабилизатора, то либо стабилизатор у нас состоит из одной перестановки (единицы), либо длина ее орбиты равна 3. То есть мы только что доказали, что есть точка длина орбиты которой равна 3 для любого инъективного действия. Большего нам особенно и не потребуется, запишем орбиту точки x_1 помощью таблицы:
Думаю, ясно что я имею ввиду: у нас сразу автоматом, есть 3 точки:
, такие что перестановка
их переводит одна в другую по кругу, собственно из них мы соткем лишнюю перестановку по диагональной схеме:
пусть перестановка
, такова что на всех точках кроме
оно совпадает с
, а в точках
определена следующим способом:
Ясно, что она отличается от
по первой строке, от
по второй, а от
по третьем строке, что и означает что она не содержится в образе группы
, с другой стороны видно что новая перестановка не изменяет орбиты, а значит групповая оболочка этой перестановки и образа
дадут ту группу, которую мы ищем.
Ясно, что таким же методом, только с большей длиной диагонального метода можно построить нужную перестановку в случае больших простых
.
Теперь начну излагать, то что получилось достичь в области самой гипотезы Келли-Улама при требовании однозначности графов:
Пусть графы
и
однозначны, причем их колоды изоморфны, а число их вершин больше 2, тогда они изоморфны.
1) Рассмотрим все изоморфизмы между колодами этих графов, обозначим это множество за
, и заодно взглянем на те отображения, которые были порождены данными изоморфизмами, обозначим их совокупность за
2) Докажем, что I обладает интересным свойством:
i)
ii)
Довольно ясно, что это так, ибо композиции по типу "туда-обратно" между графами порождены такими же композициями "туда-обратно" между колодами, а в случае колод композиции образованы изоморфизмами, что и означает что в случае колод эти композиции обладают указанным выше свойством, а в силу однозначности графов справедлива лемма, описанная выше, что и дает данное утверждение. Данный объект
- я назвал изооблаком и начал его изучать поглубже, однако мне уже намекнули в этой теме:
http://dxdy.ru/topic123069.html, что это некоторая комбинация уже известных в алгебре понятий, так что я в скорости постараюсь переформулировать свои мысли в общепринятых терминах и конструкциях.
Благодарю публику за внимание, буду рад любым комментариям.