Научная статья на тему 'Кластерное разложение вероятности перколяции на гексагональной решётке'

Кластерное разложение вероятности перколяции на гексагональной решётке Текст научной статьи по специальности «Математика»

CC BY
372
55
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
вероятность перколяции / гексагональная решётка / конечный кластер / внешняя граница / кластерное разложение / порог перколяции
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Кластерное разложение вероятности перколяции на гексагональной решётке»

УДК 519.21

КЛАСТЕРНОЕ РАЗЛОЖЕНИЕ ВЕРОЯТНОСТИ ПЕРКОЛЯЦИИ НА ГЕКСАГОНАЛЬНОЙ РЕШЁТКЕ Е.С.Антонова, Ю.П.Вирченко

Белгородский государственный университет, ул. Победы 85, Белгород, 308015, Россия, e-mail: antonova_e_s@mail.ru

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

Ключевые слова: вероятность перколяции, гексагональная решётка, конечный кластер, внешняя граница, кластерное разложение, порог перколяции.

1. Введение. Объектом изучения теории перколяции, в общем случае, являются случайные подмножества пространства (погружения), в котором определён фильтр по включению и дополнительное отношение связности [1]. В частности, такое положение имеет место для случайных множеств в некомпактных топологических пространствах с дополнительным отношением связности [2]. В этом случае, основной интерес представляет проблема существования в случайной реализации некомпактной связной компоненты. В том случае, когда вероятность такого события отлична от нуля, говорят

о наличии перколяции. Задача вычисления этой вероятности, даже в самых простейших случаях, представляет собой серьёзную математическую проблему. Поэтому, в приложениях, обычно, для решения этой задачи прибегают к компьютерным экспериментам и, на этом пути, имеются значительные достижения. Нас же в этой работе интересует задача теории перколяции с математической точки зрения. Такого рода исследования, из-за чрезвычайной сложности проблемы, обычно, связаны с изучением простейших некомпактных пространств с отношением связности, а именно, целочисленных решёток Zd, d = 2, 3, где вводимая на них связность превращает их в математические объекты, которые называются периодическими графами [3]. Эта область исследований называется дискретной теорией перколяции. Однако, даже на периодических графах, задача о вероятности перколяции, в настоящее время, поддаётся математической обработке только для случайных множеств, порождаемых бернуллиевскими полями {c(x); x £ Zd}, распределение вероятностей которых определяется одним параметром c = Pr{c(x) = 1}. В настоящей работе, находится оценка сверху так называемого порога перколяции

c* на однородном периодическом графе размерности 2, который называется гексагональной решёткой. Вероятность перколяции Q(c) отлична от нуля при c > c*. Наша оценка строится на основе традиционного подхода, на так называемой контурной технике, которую мы называем кластерным разложением (см. [2], [4],[5]). В работе находится верхняя оценка числа конечных заполненных кластеров на решётке указанного типа, содержащих фиксированную вершину. Это позволяет получить верхнюю оценку для величины c*.

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

Бесконечное множество V в R2 назовём периодическим, если существует пара (a1, a2) неколлинеарных векторов в R2 таких, что для любых n¿ Є Z,

i Є {1, 2} имеет место V = V + n1a1 + n2a2. Периодическое множество будем называть кристаллической решёткой в R2, если оно состоит из изолированных точек. Кристаллическая решётка допускает дизъюнктивное разложение

V = |^J {Vo + n1a1 + n2a2}, где конечное множество V0 называется кри-

(п1,п2)Є Z2

сталлической ячейкой. Если число точек в V0 является минимальным среди всех допустимых для V кристаллических ячеек, то такая ячейка называется элементарной. Так как для постановки задач теории перколяции важна только топологическая структура множества, на котором исследуется просачивание случайного поля, то для формулировки задачи дискретной теории перколяции удобно использовать понятие периодического графа и его вложения M в R2, образом которого является кристаллическая решётка и которое определяет на ней связность.

Определение1 [3]. Пусть Л = (V, Ф) - бесконечный неориентированный граф без петель, где V - множество вершин и Ф - множество рёбер (двухэлементных подмножеств из V). Этот граф называется периодическим, имеющим размерность два, если он допускает такое вложение M в R2, при котором образ M V является кристаллической решёткой в R2, а образ MФ множества Ф инвариантен относительно трансляций с парой периодов

(a1, a2),

MФ + n1a1 + n2a2 = MФ , (1)

(nbn2) Є Z2 и при этом множество Ф0 = {{x, y} Є Ф : My Є Vo} конечно.

Пару вершин x, y из V, для которых имеется ребро {x, y} Є Ф, будем

называть смежными и обозначать отношение смежности посредством хфу.

В дальнейшем изложении, мы не будем различать вершины графа и их образы, получаемые вложением М, а также не будем различать отличающиеся друг от друга вложения графа Л в К2. Таким образом, мы считаем, что множество V вершин графа совпадает с и {Ж2 + х} и свойство (1) его пе-

хєУо

риодичности записывается в виде соотношения Ф = Ф + Піаі + п2а2. Тогда отношение смежности вершин периодического графа (V, Ф) полностью определяется множеством Ф0, так как Ф допускает дизъюнктивное разложение Ф= и {ф + п1а1 + п2а2}. В связи с этим мы будем называть множе-

(п1,п2)ёЖ2

ство Ф0 множеством смежности. На языке кристаллографии оно определяет "ближайших" соседей на кристаллической решётке для точек из фиксированной элементарной кристаллической ячейки V}.

Бесконечный периодический граф Л размерности два называется гексагональной решёткой, если элементарная ячейка V} содержит две вершины так, что при выборе периодов (а1 = 2е1, а2 = е1 +3е2/2), е1, е2 - орты в К2 можно положить

V) = {х1 = е1 + е2/2, Х2 = 2е1 + е2} ,

Фо = {(Х1,Х1 - е2); (Х1, Х1 + е2/2 - е1);

(Х1, Х2); (Х2, Х2 + е2); (Х2, Х2 + е1 - е2/2)} .

Шестиугольная решётка (Л, Ф) показана на левой части рис.1. На правой части этого рисунка она представлена в терминах указанных множеств ^0,Ф0.

Рис. 1: Гексагональная решётка.

Введём в рассмотрение на графе (V, Ф) бернуллиевское случайное поле (с(х); х е V} с концентрацией с = Рг{с(х) = 1}. Здесь и далее, тильда, поставленная над математическим объектом, обозначает его случайность. Каждая случайная реализация с(х), х е V этого поля определяет множество \¥ = {х : с(х) = 1}, которое мы будем называть конфигурацией. Соответственно, вся совокупность реализаций {с(х); х е V} вместе с заданным на них распределением вероятностей определяет случайное множество на V, распределение вероятностей для которого индуцируется распределением вероятностей поля {с(х); х е V}. А именно, для каждого конечного подмножества М С V вершин решётки, вероятность его заполнения случайной конфигурацией V определяется формулой Рг{М С V} = с|м|.

Отношение смежности ф индуцирует на основе понятия пути отношение связности на графе (V, Ф) для каждой случайной конфигурации \¥. Последовательность а = (х0,х 1,...,хп) вершин, выбранных из конфигурации \¥, будем называть путём а длины п, если х¿фх¿+1, г = 0,1, ...,п — 1. Путь будем называть простым, если в указанной последовательности х* = X.j при всех значениях индексов г < ] и, соответственно, - циклом, если совпадение вершин в последовательности (х0,х 1,...,хп) имеет место только при г = 0, ] = п. Пару вершин {х, у} будем называть связанной на IV, если {х, у} С IV и на этой конфигурации существует простой путь а = (х, х 1,хп—1,у). Отношение связанности для пар вершин является отношением эквивалентности. Поэтому всякая случайная конфигурация IV распадается на семейство

ГО

М[Ж] = {Ж/; ] е М} непересекающихся связанных множеств: V = и V,

/=1

которые называются кластерами. Каждый кластер состоит из связанных между собой вершин и никакие две вершины, взятые из различных кластеров, не являются связанными. Обозначим посредством Ж(х) тот кластер из семейства М[Ж], который содержит вершину х е V. Если вершина х не содержится в конфигурации IV, то будем считать, что Ж(х) = 0. Введём случайную функцию й(х), описывающую свойство просачивания случайного поля {с(ъ), ъ е V},

й(х) = /1; |1^(х)| =

\ 0; |Щх)| < го ,

где здесь и далее используется обозначение | • | = Card(•). В первом случае, существует бесконечный путь а(х) = (х*; г е М+), где х = х0 и х* е ^(х), г е М+. Во втором случае, такой путь отсутствует.

На основе случайной функции а(х) определим вероятность перколяции

поля {c(z); z Е V} из фиксированной вершины y Е V .А именно, говорят, что имеет место перколяция из этой вершины, если положительна вероятность Q(c) = Pr{a(y) = 1} > 0. Она не зависит от вершины у, если периодический граф является однородным. Последнее означает, что, для каждой пары х, у Е V, имеются такие вложения Mi, М2 в R2, образы которых совпадают и M1x = М2У. В настоящей работе, нас будет интересовать величина с* = inf {с : Q(c) > 0}, которая называется порогом перколяции.

3. Конечные кластеры на гексагональной решётке. Введём, следуя [3], понятие внешней границы конечного кластера VK(x). С этой целью построим на множестве V другой периодический граф Л* = (V, Ф*), который будем называть сопряжённым к Л. Отношение смежности Ф* на сопряжённом графе вводится согласно рис.2, где для фиксированной вершины 0, указаны занумерованные по часовой стрелке ф*-смежные с ней вершины. Это означает, что на рис.1 при выбранном нами вложении гексагональной решётки ф*-смежными c вершиной х2 являются вершины

{х2+e2, X2+ei+3e2/2, X2+e2 + 2ei, Х2 + 2eb X2+ei-e2/2, Х2+в1 -3в2/2,

X2-2e2, X2-ei -3e2/2, X2-ei -e2/2, X2-2eb X2-2ei+e2, X2-ei +3e2/2} .

12i 12

/ |5

(,

Рис. 2: Отношение смежности вершины 0 на сопряжённом графе.

Отношение смежности ф* аналогично отношению ф порождает для каждой случайной конфигурации W отношение связности, которое разбивает на связные множества как саму конфигурацию W, так и дополнительную к ней конфигурацию V \ W.

Определение2 [3]. Пусть W является конечным кластером. Множество, обозначаемое нами посредством дW, называется внешней границей этого кластера на конфигурации W, если W !Э W, Ж2 \ W !Э дW и это множество состоит из таких вершин z ^ W, для каждой из которых:

1) существует вершина у Е W такая, что zфy;

2) для этой вершины z, существует бесконечный ф-путь а на графе (V, Ф), а П W = 0, начинающийся в точке z, причём z является единственной вершиной в пересечении этого пути с множеством {х Е W : хфу, у Е W}.

Имеет место следующее утверждение [3].

Т е о р е м а 1. Пусть W (х) - конечный кластер, содержащий вершину х Е V. Тогда W (х) имеет непустую конечную внешнюю границу дW(х), которая обладает следующими свойствами:

1. Множество дW (х) является простым циклом (х0, х1,хп-1, х0) на графе (V, Ф*), где п - его длина.

2. Цикл дW(х) окружает вершину х при периодическом погружении (V, Ф*) в К2.

Хотя утверждение теоремы является достаточно очевидным, тем не менее, полное её доказательство опирается на т.н. топологическую теорему Жордана.

Условие того, что путь является простым ф*-циклом затруднительно выразить аналитически. Поэтому предлагаемое ниже в п.6 оценивание сверху числа циклов фиксированной длины, которые могут служить внешними границами конечных кластеров, содержащих заданную вершину, основано на выявлении подходящих достаточных для этого условий, которые можно выразить аналитически.

4. Кластерное разложение на Ж2. Пусть А семейство конечных кластеров W, содержащих вершину 0 на гексагональной решётке. Определим для любого кластера W Е А случайное событие A(W) = {W : 0 Е W, W Е М[Ж] , ^(0) = W}. Вероятность этого события равна

Рг{А^)} = с|Ж|(1 - с)|дЖ1. (2)

Согласно Теореме 1, каждому кластеру W из семейства А отвечает простой ф*-цикл 7, окружающий вершину 0 и такой, что 7 = дW. В связи с этим введём в рассмотрение семейство В всех простых ф*-циклов, окружающих

0. Для каждого ф*-цикла 7 Е В определим событие В(7) = {М : 0 Е М, Ж(0) Е М[Ж],дЖ(0) = 7}, которое представимо в виде конечного объединения попарно непересекающих событий

В (7) = и А(1У)

Ж еА : дW=7

Вероятность Р(7) = Рг{В(7)} согласно (2), (3) равна

Р (7) = Е Pr{A(W)} = с|Ж |(1 — с)|дЖ 1.

ЖеА : дЖ=7 ЖеА : дЖ=7

Событие {¿(0) = 0} допускает дизъюнктивное разложение

{а(0) = 0} = {0 Е W} и (у )

еа

При этом семейство А разлагается на непересекающиеся классы, состоящие из кластеров объединяемых следующим признаком. К одному классу отнесём такие кластеры W Е А, которые имеют одну и ту же внешнюю границу. Поэтому справедливо преобразование

и-=и { и •■•}■

Ж еа 7ЕБ Ж еа : дЖ=7 Далее, на основании (3), получаем

{¿(0) = 0} = {0 Е ^} и ( и В(7)

\7ЕБ

и так как Рг{0 Е ^} = 1 — с и

1 — д(с) = Рг{а(0) = 0} ,

то мы приходим к следующему утверждению.

Т еорема2. Вероятность ф(с) представляется кластерным разложением

с — е(с) = Е Р(т). (4)

7ЕБ

Кластерное разложение согласно своему определению является сходящимся. При этом функция д(с) отлична от нуля только при с > с* > 0, и поэтому она не является аналитической. С этим обстоятельством связаны принципиальные трудности вычисления величины с*. В настоящее время не существует каких-либо алгоритмов её вычисления, не использующих стохастическое компьютерное моделирование.

5. Оценка вероятности перколяции. Для получения верхней оценки порога перколяции необходимо получить подходящую оценку снизу для вероятности д(с). Эта оценка основана на следующем утверждении

Л е м м а 1. Имеет место неравенство

ГО

С — ^(с) < (1 — с)пгп , (5)

п=3

где гп = |{7 Е В : |71 = п}|, п > 3.

□ Воспользуемся элементарной оценкой Р(7) < (1 — с)'7', которая следует из определения 2 и выражения для В (7). Используя эту оценку и (4), приходим к ограничению сверху суммы

ГО

£ Р(7) < £ (1 — с)'-'1 = £ (1 — с)кГк . ■

7ЕВ 7^В к=3

Найдем теперь верхнюю оценку для величины гп, п > 3. С этой целью введём множество Вп всех простых ф*-циклов длины п на решётке А*, которые окружают вершину 0. Далее, введём множество Сп(х0) путей 7 = (хо, Х1,хп) длины п на Л* решётке, которые обладают свойством Xj = х^+2, ] = 0,1,...,п — 2 и связанные с ним подмножества Сп—1(х0,х1) путей длины п, у каждого из которых зафиксированы первые две вершины, а каждые два следующих друг за другом ребра обязательно являются частью какого-

ГО

либо цикла из В = и Вп. Ввиду однородности гексагональной решётки ве-

п=3

личина |Сп—1(х0,х1)| не зависит от вершины х0. Для фиксированного пути ак = (х0,х1,...,хк) рассмотрим множество В(ак) таких рёбер хкф*хк+1, которые при присоединении к нему образуют путь ак+1 = (х0,х1,хк,хк+1), являющийся частью цикла из класса В. Обозначим посредством п* максимум среди всех чисел |В(ак)|, вычисляемый по всем возможным путям ак, к Е N (число п* будет вычислено в п.6).

Л е м м а 2. Имеет место неравенство

Гп < п*(п — 2) тах {|Сп—1(х0,хх)'} . (6)

Х1!Х1ф* Хо

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

□ Проведем из вершины 0 бесконечный путь а(0) на решётке Л без самопересечений. Для определённости, будем считать, что этот путь выбран

таким образом, что каждая его конечная часть обладает наименьшей длиной среди всех путей, соединяющих её концевые вершины. Согласно теореме 1, каждый цикл на А* обязательно имеет общую с этим путём вершину из множества V. Выберем среди всех таких общих вершин ближайшую к вершине 0 вдоль пути а(0) и обозначим её 77. Тогда, все циклы из В распределяются на непересекающиеся множества В(/), I Е N такие, что к одному множеству относятся те и только те циклы 7, у которых вершина 77 находится на расстоянии I вдоль пути а(0), ^7, 0) = /. На основе множеств В(/), построим

множества Вп(1) = В(1) П Вп = {7 Е В : |Т| = п, ^^7, 0) = /}. Очевидно,

п—2

что имеет место неравенство I < п — 2, и поэтому Вп = и В„(/),

1=1

п—2

г„ = £ |Вп(/)|. (7)

1=1

Зафиксируем направление обхода для циклов 7 = (г7, х1,хп— 1, г7) из Вп(/). Введём в рассмотрение непересекающиеся множества Вп(/, а) = {7 Е Вп(/) : х1 _ 77 = Ь} циклов из Вп(1), у которых зафиксирована первая после 77 в установленном порядке обхода цикла вершина х1 = 77 + Ь. Вектор Ь

является одним из векторов на рис.2 при условии, что нулевой вершиной

является вершина 77. Имеет место разложение Вп(/) = и ад у — z7), и

у:я7 Ф* У

поэтому

|В„(0| = £ |Вп(1,у — z7)|. (8)

у:г7 Ф*У

Очевидно, что Вп(/, Ь) С Сп—^7, z7 + Ь), так как зафиксировав любой путь из Вп(1, Ь), после удаления последнего, в порядке прохождения, ребра, он превращается в путь из Сп—^7, z7+Ь). При установлении же этой инъекции, каждому пути из Сп—^7, z7 + Ь) может соответствовать не более одного цикла из Вп(/, Ь). Тогда, из (8) следует неравенство

|Вп(1)| < п* тах {|Сп—1(хо, хх)|} .

Х1:х1ф*хо

Так как величина |Сп—1(х0,х1)| не зависит от I = ^^0,z7), то применяя полученную оценку для оценивая сверху правой части разложения (7), получаем (6). И

Для оценки величины |Сп—1(х0, х1)| введём следующую конструкцию. Охарактеризуем однозначно каждый путь из Сп(х0), п > 2 последовательностью (Ь1,..., Ьп—1) векторов "сдвига", где Ь1 = х1 — х0 и каждый вектор Ь^,

г = 2,..., п представляет собой вектор х* — х*—1, повёрнутый по часовой стрелке на угол, который образуется вектором х*—1 — х*—2 и ортом е1 на плоскости расположения решётки и который отсчитывается против часовой стрелки. В этой параметризации множеству Сп(х0, х1) сопоставляется равномощное ему множество Сп(Ь1) всех последовательностей (Ь1,...,Ьп) с фиксированным вектором Ь1, у которых каждая входящая в их состав пара (Ь*, Ь*+1), г = 1, 2, ..,п — 1 является допустимой, то есть для каждой пары (Ь*, Ь*+1) в множестве А существует такой кластер, у которого в составе внешней границы, записанной в терминах векторов сдвига, имеется пара (Ь, Ь') следующих друг за другом сдвигов, которая совпадает с (Ь*, Ь*+1), г = 1, 2,..,п — 1. Следовательно |Сп(х0, х1)| = #(Ьь п) = |Сп(Ь1)|.

Разложим множество Оп(Ь1) на непересекающиеся друг с другом множества Оп(Ь1; Ьп) последовательностей (Ь1, Ь2,..., Ьп), у которых, кроме первого, зафиксирован также последний сдвиговый вектор Ьп,

Оп(Ь1) = и Оп(Ъ1; Ъ„).

Ьп

Тогда ^(Ь1 ; п) = £ |Оп(Ьь Ь п)|. Вводя нумерацию для возможных сдвиго-

Ьп

вых векторов, которая представлена на рис.2, мы можем считать, что величина |Сп(Ь1, Ьп)| при каждом значении п Е N является 12-ти мерным вектором д (Ь1,п) так, что каждая его ]-я компонента равна значению этой величины

в том случае, когда Ьп имеет номер ] в принятой нумерации, ] = 1 ^ 12. При 12

этом д(Ьь п) = ^ Л' (Ь1; п).

^'=1

Определим, теперь, матрицу 5, размерность которой равна числу ближайших соседей вершины на сопряжённой решётке Л*. Для гексагональной решётки это число равно 12. Матричные элементы 5^, г,] = 1 ^ 12 принимают значения 0 или 1 согласно следующему правилу. Положим 5^ = 1, если при построении последовательности из Сп(Ь1, Ьп) при каком-либо значении п = 3, 4,... её длины возможно появление в этой последовательности для какого-то номера к < п — 1, пары (Ь&, Ь^+1) сдвиговых векторов такой, что векторы Ьк, Ьк+1 имеют, соответственно, номера г и ] в принятой на рис.2 нумерации. Наоборот, 5^ = 0, если не существует кластера, внешняя граница которого содержала бы указанную стыковку рёбер. Матрицу 5 будем называть далее матрицей соединения путей.

Л е м м а 3. Пусть у матрицы 5 максимальное по модулю собственное

число единственно. Тогда имеет место асимптотическая формула

5і(Ьі, п) = СуЛЦ '(1 + о(1)),

(9)

где номер ] соответствует сдвиговому вектору Ъ и ненулевая матрица С имеет неотрицательные матричные элементы Су, Ао > 0.

□ Заметим, что согласно определению вектора ^¿(Ъ!; п) для любого п =

2, 3,... и вектора Ъ! с номером ] в параметризации, данной на рис.2, имеет место рекуррентное соотношение

Кроме того, согласно определению этого вектора, имеет место ^¿(Ъ!; 1) = 5^. Тогда индукцией по п Е N заключаем, что

Так как у матрицы 5 имеется единственное максимальное собственное число с максимальным абсолютным значением, то при п ^ то для выражения в правой части последнего равенства справедлива асимптотическая формула (9). Кроме того, так как > 0, то положительность А0 и матричных элементов Оу следует из теоремы Фробениуса [6] для матриц с неотрицательными элементами. ■

Теперь, мы в состоянии получить оценку снизу для вероятности д(с).

Теорема 3. Пусть А0 - максимальное собственное число матрицы 5 соединения путей единственно. Тогда для вероятности д(с) имеет место оценка

12

дг(Ьі; п) = £ дк(Ьі; п - 1)5^.

к=і

СЮ

^(с) > с - Сп*(1 - с)2£(п - 2)[(1 - с)Ло]п 2 , (10)

1=3

і2

неравенство ^¿(Ъ!,п) < САП !, п Е N.

□ На основании лемм 1 и 2 и определения функции ^¿(Ъ!; п), имеем

СЮ

СЮ

п=3

п=3

ж ж 12

= п*^(п - 2)(1 - с)п^п-1(Ъ1) = п*^(п - 2)(1 - с)п^^*(Ь1;п - !) •

п=3 п=3 ¿=1

Применяя асимптотическую формулу (9) и определение постоянной С, получаем

ж

с - ф(с) < п*С(1 - с)2£(п - 2)[(1 - с)Ао]п-2 . ■

п=3

Следствие. Для порога перколяции с* бернуллиевского случайного поля {с(х); х Е V} на гексагональной решётке (V, Ф) справедливо неравенство с* < 1 - А-1.

□ Ряд в правой части неравенства (10) сходится при (1 - с)А0 < 1, то есть при с > 1 - А-1. Сходимость же этого ряда, применяя рассуждение, основанное на лемме Бореля-Кантелли (см., например, [7]), приводит к отличной от нуля вероятности перколяции при выполнении указанного ограничения на параметр с. Следовательно, с* < 1 - А-1. ■

6. Верхняя оценка порога перколяции. Из рассмотрений предыдущего раздела следует, что задача оценивания сверху порога перколяции на гексагональной решётке сводится к вычислению собственного числа А0. Для его вычисления нужно, прежде всего, установить явный вид матрицы 5. При определении значений матричных элементов Бу необходимо либо предъявить кластер, внешняя граница которого содержит пару рёбер (Ъ1, Ъ2), имеющих номера г и ], соответственно, либо доказать, что кластеров, граница которых содержит такую пару рёбер с общей вершиной не существует. Следующие утверждения описывают общую структуру матрицы 5 и устанавливают, какие из её матричных элементов заведомо равны нулю.

Л е м м а 4. Матрица Б^ симметрична и Бц = 0.

□ Так как прохождение цикла, составляющего внешнюю границу, возможно в обоих направлениях, то существование или отсутствие в нём пары (Ъ1, Ъ2) следующих друг за другом рёбер с номерами г и ] приводит к существованию или отсутствию цикла, у которого есть пара рёбер (Ъ2,Ъ1), то есть = 5^. Так как равенство Бц = 1 соответствует тому, что во внешней границе имеется пара ребер, которые описываются парой (Ъ, Ъ) в последовательности (Ъ1,..., Ъп) так, что вектор Ъ имеет номер г. Это означает, согласно описанию цикла посредством указанной последовательности, что эти рёбра имеют вид (х, у) и (у, х), что невозможно. Поэтому Бц = 0 для всех значений г = 1 Ч- 12. ■

Л е м м а 5. Матрица Бу обладает свойством Б1 у = Б1;14_^-, Б5у = Б5,10-, Бд ^ = Бдд8-, ] = 2 ^ 12, где операция вычитания в нижнем индексе понимается по модулю 12.

□ Первое свойство следует из симметрии рисунка, описывающего стыковки рёбер в вершине 0 на рис.2, относительно отражения от прямой, определяемой вершинами 1, 0, 7. Второе соотношение следует из симметрии этого рисунка относительно отражений от прямой, проходящей через 5, 0,11, а третье - относительно прямой, проходящей через 9, 0,3. ■

Л е м м а 6. Матричные элементы Бу обладают свойством Б^+4у+4 = %, где суммы г + 4 и ] +4 понимаются по модулю 12.

□ Это свойство следует из симметрии рис.2, описывающего возможные соединений рёбер в вершине 0, относительно поворотов на угол 2п/3. ■

Следствие. Матрица 5 имеет следующую блочную структуру, составленную из двух 4 х 4-матриц ^, О

где О+ - транспонированная к О матрица.

□ Из леммы 6 следует, что матрица 5 на основе 4 х 4-матриц ^, О, Н с матричными элементами = Бу, Оу = Б^-+4, Ну = Б^-+8, г,^ = 1 ^ 4 представляется следующим образом:

Из леммы 4 следует, что Н = О+, так как О у = Б^-+4 = Б^+8у при г, ] = 1 ^4 и одновременно Б^+8у = Б^+8 = Н +. ■

Л е м м а 7. Б15 = 0.

□ У каждой вершины х внешней границы дЖ должна быть смежная с ней вершина у, принадлежащая Ж, и вершина 7, смежная с х, но не принадлежащая Ж и дЖ. Допустим, что Б1;5 = 1. Тогда вершины 1 и 5 (см. рис.3) принадлежат дЖ и, следовательно, не принадлежат Ж. Так как вершина 0 имеет три смежные вершины 1, 5, 9, то вершина 9 должна одновременно быть вершиной из Ж и не принадлежать Ж и дЖ, что невозможно. ■

Л е м м а 8. Бу = 0, г, ] = 1 ^ 4.

^ О О+ О+ ^ О О О+ ^

(11)

□ Достаточно доказать, что Б1у- = 0, ] = 2,3,4 и Б2у = 0, ] = 3,4. Рассмотрим первую группу матричных элементов. Вершины 0 и 1 принадлежат дЖ. Для них существуют вершины х, у Е Ж такие, что хф1, уф0, а также существуют вершины х', у' Е Ж и дЖ такие, что х'ф 1, у'ф 0. Из каждой вершины х' и у' существуют пути на бесконечность, не пересекающиеся с Ж. Для вершины 1 такими вершинами х, х' могут быть 2 и 12, а для вершины 0 таковыми могут быть вершины 5 и 9. Тогда имеется четыре варианта выбора вершин х, х' и у, у' из представленных возможностей. Достаточно рассмотреть два из них, не сводящихся друг у другу зеркальным отражением относительно прямой, проходящей через 1, 0, 7. В качестве двух таких возможностей мы выберем следующие. Точками х, х' служат 2 и 12 и вершинами у, у', в первом случае, - 9 и 15, а, во втором случае, наоборот, вершины 15 и 9 меняются местами.

В первый случае, существует непересекающиеся с Ж бесконечные пути из вершин 1 и 0, которые проходят, соответственно, через вершины 12 и 5. Рассмотрим линию в плоскости, в которой размещена решётка. Эта линия состоит из первого пути по рёбрам решётки и приходит из бесконечности в вершину 12, далее, из последовательности рёбер (12,1), (1, 0), (0, 5) и из второго пути из вершины 5 на бесконечность. Линия делит плоскость на части так, что вершины х и у находится в разных частях. Тогда, вершины х и у не могут быть вершинами одного и того же кластера Ж, так как любой путь из вершины х в вершину у по ребрам решётки обязательно пересечёт эту линию, а пересечь он её может только в одной из вершин решётки. Следовательно в

рассмотренном варианте невозможно соединение ребра (1, 0) ни с одним из рёбер (0,,)), ] = 2, 3, 4.

Во втором случае аналогичным образом рассматривается линия на плоскости, которая состоит из пути, приходящего из бесконечности в вершину 1 без пересечения с кластером Ж, ребра (1, 0), диагонали из вершины 0 вершину ] представленной на рис.3 грани гексагональной решётки с вершинами

0,1, 2,3,4, 5 и пути из вершины ] на бесконечность по рёбрам решётки без пересечения с Ж. Эта линия разделяет плоскость на части так, что вершины х и у находятся в разных частях. Поэтому, они не могут быть вершинами одного и того же кластера Ж, так как любой путь по рёбрам решётки из вершины у в вершину х обязательно пересечёт указанную линию и такое пересечение возможно только в одной из вершин, входящих в состав этой линии.

Полученные в обоих из рассмотренных случаев противоречия показывают, что Б1 у = 0 при ] = 2,3,4.

Рассмотрим вторую группу матричных элементов Б23, Б24. Построим линию на плоскости размещения решётки, составленную из пути, который приходит в вершину 2 из бесконечности без пересечения с кластером Ж (он должен существовать, так как вершина 2 принадлежит дЖ), последовательного прохождения диагоналей, определяемых парами вершин 2, 0 и 0, ,), где ] = 3,4 на грани решётки, представленной на рис.3, и затем пути из вершины ] на бесконечность. Эта линия разделяет плоскость на две части и кластер Ж должен располагаться полностью в одной из них.

Очевидно, что Б23 = 0, так как кластер Ж не может располагаться справа от построенной линии согласно принятому на ней направлению, так как в противном случае вершина 0 не имеет смежных с ней вершин из Ж. С другой стороны, кластер Ж не может находится слева от этой линии, так как в этом случае путь из вершины 0, уходящий на бесконечность без пересечения с Ж, который должен существовать согласно определению вершины из внешней границы, будет также находиться в левой части плоскости. Тогда, этот путь разделяет левую часть плоскости снова на две части. Кластер Ж должен полностью располагаться в одной из частей, и поэтому одна из вершин 2 или } не может принадлежать внешней границе, так как ей не будет соответствовать никакая смежная с ней вершина из Ж. Полученное противоречие доказывает равенство Б24 = 0. ■

0 с с+

^ = | С+ 0 С С С+ 0

С =

(12)

Т е о р е м а 4. Матрица 5 представляется формулой

( 0 1 1 1 \

0 111 0 111 \0 1 1 1/

где посредством 0 обозначена нулевая матрица и матрица.

□ Так как из лемм 5 и 8 следует 5з,4 = 5з,2 = 52,3 = 0, то в силу леммы 4, матрица ^ в формуле (11) является нулевой.

На основании свойства 51 у = 51,14— и лемм 7 и 8, находим

5*1,12 = 51,2 = 0; 51,11 = 51,з = 0; 51,10 = 51,4 = 0; 51,9 = 51,б = 0 •

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Тогда, первая строка в матрице О+ в формуле (11) и, следовательно, первый столбец в матрице О - нулевые. Остальные элементы матрицы О равны 1, так как на основании указанного выше критерия для определения единичных значений матричных элементов имеем = 1 при г = 1 ^ 4,^ =6, 7,8 см. рис.4-7. ■

Рис. 4: Кластеры, содержащие ребро 1-0.

Замечание. Из вида матрицы 5 следует, что п* = 7.

На основании Теоремы II Приложения, положив в ней п = 3, т = 4, А = 5, А(1) = 0, А(2) = О, А(3) = О+, заключаем, что максимальное собственное число А0 матрицы 5 совпадает с максимальным собственным числом матрицы

В = 0 + С + С+ =

( 0 1 1 1

111

222 222 222

Рис. 5: Кластеры, содержащие ребро 2-0.

Рис. 6: Кластеры, содержащие ребро 3-0.

Ранг этой матрицы, очевидно, равен двум. Тогда она имеет два нулевых собственных числа. Поэтому, её характеристическое уравнение имеет вид

ае1(В - А1) = (А2 - А£1 + 6)А2 = 0 ,

где ^1 = 8рВ, ^2 = [8рВ2 — (8рВ)2]/2. Поэтому ^1 = 8рВ = 6, и так как диагональные элементы матрицы В2 равны (В2)^ = 3,13,13,13, то <^2 = 3. Следовательно число А0 является наибольшим корнем квадратного уравнения Л2 — 6Л — 3 = 0. Откуда получаем Ло = 3 + 2л/3. Таким образом, мы доказали следующее утверждение.

Т е о р е м а 5. Максимальное собственное число А0 матрицы 5 равно 3 + 2л/3 ~ б, 46.

Из теоремы 5 и следствия из теоремы 3, непосредственно, следует Основное утверждение. Порог перколяции с* для бернуллиевского поля на гексагональной решётке не превосходит числа 2(1 — л/З/З).

Рис. 7: Кластеры, содержащие ребро 4-0.

Литература

1. Вирченко Ю.П. Перколяция // Энциклопедия Математическая физика.

- Москва: Российская энциклопедия. - 1998. - C.346-347.

2. Yu.P.Virchenko, Tolmacheva Yu.A. Revision of the upper estimate of percolation threshold in square lattice // Matematicheskayafizika, analiz, geometriya.

- 2003. - 10. - 1. - P.29-39.

3. Kesten H., Percolation Theory for Mathematicians / H.Kesten. - Boston: Birkhauser, 1982. - 420p. (пер. на рус. яз. Кестен Х. Теория просачивания для математиков. - М. Мир, 1986ю - 390c.)

4. Virchenko Yu.P., Tolmacheva Yu.A. Method of Sequential Approximative Estimates in Descrete Percolation Theory // Studies in Mathematical Physics Research. ed. Charles V. Benton. - New York: Nova Science Publishers, 2004.

- P.155-175.

5. Вирченко Ю.П., Толмачёва Ю.А. Мажорантные оценки порога перколя-ции бернуллиевского поля на квадратной решётке // Украинский математический журнал. - 2005. - 57. - 10. - C.1315-1326.

6. Гантмахер Ф.Р. Теория матриц / Ф.Р.Гантмахер - М.: Наука. - 1966.

7. М.В. Меньшиков, Молчанов С.А., Сидоренко А.Ф. Теория перколяции и некоторые приложения // Итоги науки и техники. сер.теор. вер., мат. стат. и теор.кибер. - Москва: ВИНИТИ,1986. - 24. - C.53-110.

Приложение

Л е м м а I. Пусть В - тхт-матрица с неотрицательными элементами, для которой существует число д > 0 и вектор с неотрицательными компонентами Ь Е Кт, Ь = (&1,..., Ьт) такие, что имеет место неравенство

т

дЬ* <^2 Вы к , к = 1 ^ т. (П1)

1=1

Тогда максимальное по модулю собственное число А (В) матрицы В положительно и удовлетворяет неравенству А (В) > д.

□ Применим неравенство (П1) N раз. Индукцией по N получаем

т

М‘¥Ь* <£ (В*)ы к . (П2)

1=1

Докажем сначала неравенство (П1) в случае, когда матрица В, заведомо, имеет только одномерные собственные подпространства. Пусть с(г) = (с*г); к =

1 ^ т), г = 1 ^ т - собственные векторы матрицы В с собственными числами Аг. Будем считать, что Аг упорядочены в порядке убывания модулей

чисел Аг (при совпадении модулей, они упорядочиваются по величине фазы). Разложим вектор

т

Ь = «гс(г), «г Е С ,г =1 ^ т.

г=1

Тогда

т

В№ Ь = £ «г с(г),

Г=1

и поэтому неравенство (П2) представляется в виде

т

м‘¥ ь* <£ «г а;¥ с(г). (П3)

г=1

Найдётся номер к < т такой, что Ь* > 0. Рассмотрим неравенство (П3) для этого номера. Среди всех г = 1 ^ т найдётся минимальный номер г0 такой, что «Гос(го) = 0. Тогда неравенство (П3) перепишется в виде

т

«гА^с(г),

Г=Го

либо, извлекая корень Ж-й степени из обеих положительных частей неравенства,

m 1/N m 1/N

ßbk/N < Aro (Ar/Aro )N ckr) _r=ro A о u N) 0 A s. (A s. -Uy> Wf

Последнее равенство возникает в связи с тем, что правая часть (П3) должна быть положительной. Перейдём к верхнему пределу N ^ то. При этом

lim bk/N = 1. Ввиду ограниченности суммируемого выражения в правой ча-

N ^то

сти неравенства, её верхний предел не превосходит единицы. Тогда ß < |Ar01. По определению, в силу теоремы Фробениуса, |Ar01 < A(B).

Посредством добавления к матрице B, некоторой матрицы с неотрицательными элементами, сколь угодно близкой к нулевой матрице в топологии

2

пространства Rm , можно изменить её таким образом что все её собственные подпространства станут одномерными. Это следует из того, что условие кратности решений характеристического уравнения det(B — A1) =0 для собственных чисел, которое выражается с помощью дополнительного уравнения d

— det(B — Al) = 0, вырезает некоторое дифференцируемое многообразие ко-dA

2

размерности единица в пространстве Rm допустимых матриц B. При таком добавлении малой матрицы, матрица B перейдёт в матрицу Ве такую, что Ве ^ B при е ^ +0.

В общем случае, неравенство (П1) доказывается следующим образом. Пусть b - собственный вектор матрицы B, соответствующий собственному числу A(B). Так как (Be)k/ > Bk/ при k, l = 1 ^ m, то

mm

A(B)bk = ^ Bk1b1 < (Be)k1 b •

/=1 /=1

Следовательно, для неё имеет место (П1), и при этом она имеет только одномерные собственные подпространства. Поэтому ß < A(Be). После этого, переходим к пределу е ^ +0. И

Т е о р е м а I. Пусть n х n-матрица A с неотрицательными элементами составлена из m2 блоков - прямоугольных матриц B(k,/), имеющих, соответственно, строк и s/ столбцов, k, l = 1 ^ m, m < n, p1 + p2 + ... + pm = n,

§1 + Й2 + ... + йто — П,

( В(1,1) в(1,2) ... в(1,т) \

в(2,1) в(2,2) ... в(2,т)

(П4)

А

у в(т,1) в(т,2) в(т,т)

Определим матричные элементы квадратной т х т-матрицы в формулой

Тогда, максимальные по модулю собственные числа А (А) и А (в), соответственно, матриц А и в положительны и удовлетворяют неравенству А (в) >

□ Матрица в также как и матрица А обладает неотрицательными элементами. Согласно теореме Фробениуса [6], максимальные по модулю собственные числа матриц А и в положительны. Согласно этой же теореме, у матриц в и А существуют собственные векторы с неотрицательными компонентами, соответствующие этим собственным числам. Обозначим их Ь — (Ь1,...,Ьт), > 0, ] — 1 ^ т; а — (а1,..., ап), а > 0, г — 1 ^ п. Тогда

Введём вектор с Е Кт, с — (с1, ...,ст) с компонентами Ск — шах{а^; й1 + ... + й^-1 < г — ^1 + ... + йк}, к — 1 ^ п. Разбиением суммирования по к — 1 ^ п в обеих частях первого равенства введём повторное суммирование: первое -по группам из й1,..., йт номеров, а второе - внутри каждой из этих групп. В результате, получим

П т в1 + ...в; т в1 + ...в;

Производя замену г ^ р1 + ... + Рк-1 + г, г — 1 ^ Рк, последнее неравенство перепишем в виде

А(А).

п

т

^ А7а — А(А)аг, ^ вцЬ1 — А(в)Ь7.

.7 = 1

1=1

7=1

1=1 7=в1+...+вг_1+1

1=1 7 = в1 + ... + в;_1 + 1

п

А(А)

а*+Р1+----+Рк_1

7 = 1

*+рН—+Рк,7 —

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

т в1 + ...в; т в;

— ^ ^ С' А*+Р1 +-ЬРй,7 + в1Н--+в;_1 ^ ^ С' ^ ^ В у •

1=1 ^'=в1+...+вг_1+1 1=1 7=1

Вычисляя максимум по г = 1 ! от обеих частей неравенства, получим

т / ^ в; ^ \ т

А( а)с4 — ]Г Ё В?’° | ^ с' = £ В«с' • (П5)

Неравенство (П5) совпадает с (П1), если положить д = А(А) и заменить Ь на с. Тогда, из утверждения леммы I следует утверждение теоремы. ■

Т е о р е м а II. Пусть (А(1),..., А(п)) - упорядоченный набор т х т-матриц с неотрицательными элементами. Пусть, далее, пт х пт-матрица А составлена из т х т-матриц

/ В(1,1) В(1,2) • • • В(1,п) \

В(2,1) В(2,2) • • • В(2,п)

А=

у В(п,1) В(п,2) • • • В(п,п) у

(П6)

где каждый из упорядоченных наборов (В(ь1), •••,В(*,п)), г = 1, •••,п получается некоторой зависящей от номера строки в (П6) перестановкой Р набора (А(1), •••, А(п)) из группы Рп перестановок чисел (1, 2, •••, п). Тогда максимальное собственное число матрицы А совпадает с максимальным собственным числом п х п-матрицы В = А(1) + ••• + А(п).

□ Матрица А имеет неотрицательные элементы. Поэтому, согласно теореме Фробениуса, её максимальное по модулю собственное число А(А) положительно. Этому собственному числу соответствует собственный вектор а Е Кпт, а = (а1, •••, апт), а* > 0, г = 1 ! пт, Аа = А(А)а, что означает

пт

А ^ау = А(А)а*, г = 1 ! пт • (П7)

7=1

Определим вектор с Е Кт, с = (с1, •••, ст), су > 0, ] = 1 ! т, где

су = шах{а7+вт; й = 0, • • •, п — 1} , ] = 1 ! т •

Тогда, заменяя г = к + рт, ^ = I + §т, й,р = 0,1, •••, п — 1 в равенстве (П7) находим, что имеет место неравенство

п—1 т т /п—1 \

А( А)ак+рт Ак+рт’'+вта'+вт — А&+_рт,'+вт | с' •

в=0 '=1 '=1 \в=0 /

Беря максимум от обеих частей неравенства по р = 0,1,..., п — 1, получим

т

А(А)с& < ^ В*/с , 1=1

где

Г П—1

Вк1 — Шах < ^ ^ Ак+рт,/+вт? р — 0> 1,---,п 1

I 5=0

- матричные элементы матрицы В — А(1) + ... + А(п). Эта формула следует из равенства

п—1 п—1

£ Аі+р„,(+8„ = £ (а(р<‘+1)) ,

в=0 в=0

где перестановка Р Є Рп определяется числом р, задающим номер строки в блочной матрице (П6). Сделав замену переменной суммирования Р(й+1) ^ й, находим, что последнее выражение равно

п—1 п

|(5)

£(а(Р(‘+1Н) к, = £ < = вы,

в=0 в=1

и сумма в (П4) не зависит от р.

Применяя утверждение Теоремы I к матрице А, в результате, получим неравенство А(В) > А(А). С другой стороны, возьмём собственный вектор Ь матрицы В с неотрицательными компонентами, соответствующий собственному числу А (В). Определим вектор с' = (Ь,Ь, ...,Ь). Для этого вектора

п

имеем

Ас' = (В Ь,В Ь,...,В Ь) = А(В )с' ,

то есть А(В) - собственное число матрицы А с собственным вектором с'. Согласно определению числа А(А), имеем А(А) > А(В). Из двух полученных неравенств следует, что А(А) = А(В). ■

CLUSTER DECOMPOSITION OF PERCOLATION PROBABILITY ON THE HEXAGONAL LATTICE E.S.Antonova, Yu.P.Virchenko

Belgorod State University,

Pobedy St., 85, Belgorod, 308015, Russia, e-mail: antonova_e_s@mail.ru

The upper estimate of the percolation threshold of the Bernoulli random field on the hexagonal lattice is found. It is done on the basis of the cluster decomposition. Each term of the decomposition is estimated using the number estimate of cycles on the hexagonal lattice which may be external borders of every possible finite clusters containing the fixed lattice vertex.

Key words: percolation probability, hexagonal lattice, finite cluster, external border, cluster decomposition, percolation threshold.

i Надоели баннеры? Вы всегда можете отключить рекламу.