Модулярность (наука о сетях)

Модулярность — одна из мер структуры сетей или графов. Мера была разработана для измерения силы разбиения сети на модули (называемые группами, кластерами или сообществами). Сети с высокой модулярностью имеют плотные связи между узлами внутри модулей, но слабые связи между узлами в различных модулях. Модулярность часто используется в оптимизации методов для распознавания  в сетях. Однако было показано, что модулярность обладает проблемой пределов разрешающей способности, поэтому эта мера неспособна различить малые сообщества. Биологические сети, включая мозги животных, обнаруживают высокую степень модулярности.

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

Определение 
Модулярность равна доле рёбер от общего числа рёбер, которые попадают в данные группы минус ожидаемая доля рёбер, которые попали бы в те же группы, если бы они были распределены случайно. Значение модулярности лежит в интервале . Модулярность положительна, если число рёбер в группах достигает ожидаемого числа. Для данного разбиения узлов сети на некоторые модули модулярность отражает концентрацию связей в модулях по сравнению со случайным распределением связей между всеми узлами без обращения внимания на модули.

Имеются различные методы вычисления модулярности. В наиболее общепринятой версии концепции рандомизация рёбер осуществляется так, что сохраняется степень каждой вершины. Рассмотрим граф с  узлами и  связями и (рёбрами), такой, что он может быть разбит на два сообщества с помощью переменной  членства в сообществах. Если узел  принадлежит сообществу 1, , а если   принадлежит сообществу 2, . Пусть матрица смежности сети представлена матрицей , где  означает, что нет ребра (нет связи) между узлами  и , а  означает, что ребро существует. Также для простоты мы сеть считаем неориентированной. Тогда . (Важно заметить, что в общем случае могут существовать кратные рёбра между двумя узлами, но мы принимаем простейший случай).

Модулярность Q определяется как доля рёбер, которые попадают в группу 1 или 2 минус ожидаемое число рёбер в группах 1 и 2 для случайного графа с тем же распределением степеней узлов, как и для данной сети.

Ожидаемое число рёбер может быть вычислено с помощью концепции . Модель конфигурации является рандомизированной реализацией конкретной сети. Если задана сеть с  узлами, в которой каждый узел  имеет степень , модель конфигурации рассекает каждое ребро на две половинки, а затем каждая половинка ребра, называемая обрубком, соединяется случайным образом с любым другим обрубком сети (за исключением себя), даже позволяя петли (что случается, когда обрубок соединяется с другим обрубком в том же самом узле) и кратные рёбра между той же самой парой узлов. Тогда, даже при сохранении степени узла графа, модель конфигурации приводит к совершенно случайной сети.

Ожидаемое число рёбер между узлами 
Рассмотрим теперь два узла v и w со степенями  и  соответственно из случайно перемещённых связей, как описано выше. Мы вычисляем ожидаемое число полных рёбер между этими узлами.

Пусть общее число обрубков в сети будет :

Рассмотрим каждый из  обрубков узла v и создадим ассоциативные индикаторные переменные  для них, , с , если i-ый обрубок оказывается связанным с одним из  обрубков узла w в этом случайном графе. Если нет, значение равно 0. Поскольку i-ый обрубок узла v может быть соединён с любым из  оставшихся обрубков с равной вероятностью и поскольку имеется  обрубков, которые ассоциированы с узлом w, очевидно, что

Общее число полных рёбер  между узлами v и w тогда равно , так что ожидаемое значение равно

Во многих статьях делается следующее приближение для случайных сетей с большим числом рёбер. Если m велико, отбрасывается вычитание единицы из знаменателя в формуле выше и просто используется более простое приближённое выражение  для ожидаемого числа рёбер между двумя узлами. Кроме того, в большой случайной сети число петель и кратных рёбер исчезающе мало. Игнорирование петель и кратных рёбер позволяет предположить, что имеется максимум одно ребро между двумя узлами. В этом случае  становится двоичной индикаторной переменной, так что её ожидаемое значение равно вероятности, что переменная примет значение 1, это означает, что вероятность ребра между узлами v и w можно приблизительно считать равной .

Модулярность 
Таким образом, разность между действительным числом рёбер между узлами  и  и ожидаемым числом рёбер между ними равно

Суммирование по всем парам даёт уравнение для модулярности .

Важно заметить, что  хорошо выполняется только для разбиения на два сообщества. С помощью иерархического разбиения (например, разбиение на два сообщества, затем два подсообщества разбиваются на два меньших подсообщества для максимизации Q) можно приблизиться к выявлению любого числа сообществ в сети. Кроме того, (3) может быть обобщено до разбиения сети на c сообществ.

,

где eij является долей рёбер с одним концом в сообществе i и другим в сообществе j:

а ai является долей концов рёбер, которые соединены с вершинами в сообществе i:

Пример выявления нескольких сообществ 

Мы рассмотрим неориентированную сеть с 10 узлами и 12 рёбрами и следующей матрицей смежности.

Сообщества в графе представлены красными, зелёными и синими узлами кластеров на рис. Fig 1. Оптимальное разбиение на сообщества представлено на рис. 2.

Матричная формулировка 
Альтернативная формулировка модулярности, полезная, в частности, в алгоритмах спектральной оптимизации, следующая. Определим  равной 1, если вершина v принадлежит группе r, и равной нулю в противном случае.  Тогда

,

а следовательно,

где S является (не квадратной) матрицей, имеющей элементы , а  B является так называемой матрицей модулярности, которая имеет элементы

Все строки и столбцы матрицы модулярности в сумме дают нуль, что означает, что модулярность неразделённой сети всегда равна нулю.

Для сетей, разбитых на два сообщества, можно определить , для того чтобы показать, какому сообществу принадлежит узел v, что приводит к

где s является вектор-столбцом с элементами .

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

Предел разрешающей способности 
Модулярность сравнивает число рёбер внутри кластера с ожидаемым числом рёбер, которые находились бы в кластере, если бы сеть была случайной сетью с тем же числом узлов, в которой каждый узел сохраняет свою степень, но рёбра соединяют узлы случайным образом. Эта модель случайного графа (null model) явно предполагает, что каждый узел может быть присоединён к любому другому узлу сети. Это предположение, однако, нецелесообразно, если сеть очень велика, так как горизонт узла включает малую часть сети, игнорируя большую часть сети.
Однако из этого следует, что ожидаемое число рёбер между двумя группами узлов уменьшается, если размер сети возрастает. Таким образом, если сеть достаточно велика, ожидаемое число рёбер между двумя группами узлов в модулярности модели случайного графа может быть меньше единицы. Если это происходит, отдельное ребро между двумя кластерами можно было бы интерпретировать с оглядкой на модулярность как признак сильной корреляции между двумя кластерами, а оптимизация модулярности привела бы к слиянию двух кластеров независимо от свойств кластеров. Таким образом, даже слабо связанные полные графы, которые имеют высокую возможную плотность внутренних рёбер и представляют хорошо распознаваемые сообщества, могли бы быть слиты путём оптимизации модулярности, если бы сеть была достаточно велика.
По этой причине оптимизация модулярности в больших сетях не смогла бы распознать малые сообщества, даже когда они хорошо определены. Эта тенденция неизбежна для методов типа оптимизации модулярности, которые опираются на глобальной модели случайного графа.

Методы с мультиразрешением 
Имеется два главных подхода, которые пытаются решить проблему разрешающей способности в контексте модулярности — добавление сопротивления r в каждый узел в виде петли, которое увеличивает () или уменьшает () желание узлов формировать сообщества, или добавление параметра  перед членом случайного графа в определении модулярности, которые определяют относительную важность между внутренними связями сообществ и моделью случайного графа. Оптимизация модулярности для значений этих параметров в их соответствующих подходящих интервалах, позволяет обнаружить полный мезомасштаб сети от мезомасштаба, в котором все узлы принадлежат одному сообществу, до микромасштаба, в которой любой узел образует собственное сообщество, откуда и название методы мультиразрешения. Однако было показано, что эти методы имеют ограничения, когда сообщества очень различаются в размерах.

См. также 
 Сложные сети

Примечания

Литература 

 
 
 
 
 

 
 
 
 
 

Теория сетей
Алгебраическая теория графов
Модулярность