CC BY
86
УДК 517.987
СВОЙСТВО МОНОТОННОСТИ ВЕРОЯТНОСТИ ПЕРКОЛЯЦИИ БЕРНУЛЛИЕВСКИХ СЛУЧАЙНЫХ ПОЛЕЙ НА БЕСКОНЕЧНЫХ ГРАФАХ Е.С. Антонова, Ю.П. Вирченко
Белгородский государственный университет, ул. Победы, 85, Белгород, 308015, Россия, e-mail: [email protected]
Аннотация. В работе рассматривается "задача узлов"дискретной теории перколяции на бесконечных графах Л(У, Ф) произвольного вида. Изучается вероятность перколяции Qn[c; ж], характеризующая свойство просачивания неоднородного бернуллиевского случайного поля из любой его фиксированной вершины ж на конечное расстояние n € N. Доказано свойство монотонной зависимости функционала Qn[c; ж] по каждой компоненте c(y), y € V распределения c = {c(z);z € V} концентраций "недефектных"вершин графа.
Ключевые слова: вероятность перколяции, бесконечные графы, бернуллиевское случайное поле.
1. Введение. Появление термина "перколяция"и начало теории перколяции было положено в работе [1] при математическом моделировании явлений типа просачивания, происходящих в случайно-неоднородных средах. Изучение такого рода моделей показало, что задачи о просачивании можно ставить для случайных множеств в пространствах с довольно произвольным отношением связности между его элементами. В соответствии с этим математическая теория перколяции разделилась на два существенно отличающихся друг от друга направления, называемые, соответственно, дискретной и непрерывной теориями перколяции. Первое из них, в рамках которого получено множество глубоких результатов качественного характера, (см. обзоры и монографии [2], [5]-[8]) изучает свойства просачивания случайных подмножеств бесконечных связных графов [4], в частности, так называемых периодических графов [7]. Надо заметить, что вплоть до настоящего времени, в этой теории отсутствует регулярный метод вычисления с любой наперёд заданной точностью основной величины - вероятности перколяции Q[c] для какого-либо широкого класса бесконечных графов, которая является функцией набора c = (ci, ...,cm) параметризующего распределение вероятностей случайных множеств. Функция Q[c] вычисляется посредством довольно громоздких компьютерных технологий и при этом процедура вычисления не имеет внешнего априорного контроля точности. В создавшейся ситуации основной математический интерес представляют качественные свойства этой функции. В настоящей работе изучается одно из таких качественных свойств, которое, как можно ожидать, должно иметь общий характер. А именно, устанавливается свойство монотонной зависимости вероятности перколяции бернуллиевского случайного поля от вероятностей заполнения вершин графа. Это свойство проявляется в простых точно решаемых моделях [9] и оно обусловлено довольно очевидной физической причиной. Однако математическое доказательство наличия этого свойства у какого-либо широкого класса моделей теории перколяции в литературе отсутствует.
2. Задача дискретной теории перколяции. Пусть Л(У, Ф) - бесконечный граф. Его рёбра, в общем случае, могут быть направленными, однако мы будем предполагать,
что граф не имеет петель и кратных рёбер. Граф Л образуется множеством вершин V и множеством рёбер Ф. Индекс каждой вершины графа, равный числу рёбер инцидентных этой вершине, предполагается конечным. Далее, говоря о "любом графе"мы имеем в виду только графы указанного типа. Заметим, что ограничение графами, не содержащими петель и кратных рёбер, несущественно с точки зрения задач теории перколяции. Однако, мы рассматриваем только графы указанного типа, во-первых, ввиду важности их с точки зрения приложений и, во-вторых, ввиду упрощения даваемых ниже определений и конструкций.
Отношение смежности пары вершин х и у из V - множества вершин графа будем обозначать х^у, ^ € Ф. Всякую последовательность 7 = (х0, Х1,..., хп) вершин графа Л таких, что х^-1^х^-, ] = 1 ^ п будем называть путём длины п. Длину пути 7 будем обозначать следующим образом: |71 = п. Если путь 7 имеет начальную точку х = х0 и конечную точку у = хп, то мы будем говорить, что он соединяет вершины х и у и записывать это отношение в виде 7(х, у). Причём, в общем случае, при наличии отношения направленности у некоторых из рёбер графа, порядок вершин х и у в этом отношении существен.
Расстоянием ^э1(х,у) между двумя вершинами х и у на V будем называть минимум множества значений длины каждого из путей, у которых х и у являются концевыми точками,
^1(х, у) = шт{|7|; 7(х, у)} .
Путь 7 = (х0, х1,..., хп) будем называть несамопересекающимися, если Хj = х^ при ] = к, ^, к = 0 ^ п.
Пусть на графе Л(^ Ф) задано дихотомическое случайное поле {с(х); х € V} со значениями {0,1}. Это поле, естественным образом, индуцирует случайные множества с реализациями С1, определяемые формулой (7 = {г € V : с(г) = 1}. Эти случайные реализации далее будем называть конфигурациями. По определению, конфигурация С обладает пер-коляцией (на бесконечность), если существует содержащийся в ней бесконечный несамо-пересекающийся путь 7 С С. Если такой путь, обозначаемый посредством 7(х), проходит через вершину х € V, то говорят, что существует перколяция из вершины х. Не ограничивая общности, можно считать, что путь 7 полуограниченный и начинается в вершине х.
С точки зрения постановки задач теории перколяции, важно также понятие просачивания из фиксированной вершины х в любую другую вершину у. Мы будем говорить, что в случайной реализации (7 имеется перколяция (просачивание) из х в у, если существует путь 7 С такой, что 7(х,у). Вероятность 0[х, у|с] перколяции из вершины х в вершину у определяется как
Объектом изучения в дискретной теории перколяции является также более общая функция - вероятность 0[х1,..., хп|с] связности на конфигурации С произвольного набора вершин {х1, ...,хп}, то есть взаимного просачивания из одной вершины набора в любую другую вершину этого набора. эта вероятность даётся формулой
Р[х, у|с] = Рг{3(7 С (7 : 7(х, у)} .
Р[хь..., хп|с] = Рг
і С <7; і = 2 ^ п) : 7з- (х1, х^-), і = 2 ^ п)
ХВ дальнейшем все случайные математические объекты отмечаются знаком "тильда".
В настоящей работе мы изучаем вероятность Qn [x | с] просачивания (ухода) из вершины x на произвольное расстояние n £ N, которая определяется следующим образом.
Обозначим pn(x) - класс конечных несамопересекающихся путей y(x) с длиной, не меньшей чем n, которые начинаются в вершине x. Тогда, согласно определению,
Qn[x|c] = Pr{An(x)} ,
An(x) = {( £ П: 3(7 С (7: 7 £ Pn(x))} , (1)
где П = {(7 : (7 = {z £ V : c(z) = 1}} - пространство элементарных событий, состоящее из всевозможных конфигураций на V.
Наконец, дадим определение вероятности Q[x|c] перколяции из вершины x £ V графа Л на бесконечность. Заметим, что в общем случае, для графов произвольного вида и для произвольных дихотомических случайных полей, эта вероятность не обязана совпадать с пределом lim Q[x,y|c] вероятности перколяции в вершину у при неограниченном воз-
|y|
растании расстояния dist(x,y). Очень важной проблемой дискретной теории перколяции
является описание тех графов и случайных полей, для которых такое предельное соотно-
шение, на самом деле, имеет место.
Пусть P»(x) - класс бесконечных несамопересекающихся путей 7(x), которые начинаются в вершине x. Тогда вероятность Q[x|c] перколяции из вершины x определяется формулой
Q[x|c] = Pr{3(Y(x) £ P^(x) : Y(x) С (7)} . (2)
Она позволяет сформулировать простое утверждение -Теорема 1. Справедливо предельное соотношение
Q[x|c] = lim Qn[x|c]. (3)
n—— <ГО
□ Из формулы (1) следует, что
го
{3(7(х) £ рте(х) : 7(х) С С7)} = р| А„(х), (4)
п=1
где А1(х) 3 А2(х) 3 ... 3 Ап(х) 3 .... Тогда, согласно (2) и (4), имеем
!го
Р| Ап(х)
п=1
где мы воспользовались непрерывностью меры. Я
3. Перколяционное разложение. Для доказательства основной теоремы настоящей работы нам понадобится некоторое предварительное построение, результатом которого является формула, которую мы называем перколяционным разложением.
Введём в рассмотрение классы ЗДп связных конечных подмножеств из V, содержащих вершину х и таких, что расстояние от любой вершины каждого из множеств, входящих в ЗДп, до вершины х не превосходит п, п £ М+.
lim Pr {An(x)} = lim Qn[x|c]
Конструируемое ниже перколяционное разложение случайного события Пп = {С : 3(7 С С7 : 7 £ рп(х))} представляет собой дизъюнктивное разложение на попарно непе-ресекающиеся случайные события, совокупность которых для каждого значения п £ N параметризуется классом Пп последовательностей Ап = (Е1;..., Еп) длины п, п £ N которые мы называем допустимыми. Компонентами этих последовательностей являются множества Ед £ ЗДд, к =1 — п.
Допустимые последовательности Ап, по определению, являются расширяющимися, то есть для каждого значения к = 1,..., п — 1 имеет место строгое включение Ед+1 3 Ед и при этом, если последовательность (Е1,..., Еп, Еп+1) принадлежит классу Пп+1, то её ограничение (Е1,..., Еп) принадлежит классу Пп. Последнее свойство позволяет описать классы Пп, п £ N допустимых последовательностей Ап индуктивно по величине п £ N посредством определения класса П1 и указания при каждом фиксированном значении п £ N для каждой последовательности А = (Е1;..., Еп) £ Пп класса всех возможных непустых расширений Ап+1 её последней компоненты Еп, Ап+1 П Еп = 0, при которых получаются последовательности (Е1;..., Еп, Еп+1), Еп+1 = Еп и Ап+1 класса Пп+ь
Обозначим Д0 = Е0 = {х}. При п =1 определим класс П1 допустимых последовательностей (Е1) длины 1, у которых множество возможных значений Е1 определяется как {Е1 = {х} и А1 : 0 = А1 С Д1}, где Д1 = {г £ V : г^х}. Зафиксируем значение п > 1 и выберем для него произвольную последовательность (Е1,..., Еп) £ Пп. Укажем для этой последовательности класс возможных расширений Ап+1, приводящих к построению всех последовательностей из Пп+1, у которых начальным отрезком длины п является (Е1,..., Еп). Для этого определим множества Дд = {г : 3(у £ Ед-1 : г^у),г £ Ед-1}, к = 1 — (п +1). Класс всех расширений компоненты Еп до какой-либо компоненты Еп+1 допустимой последовательности (Е1,..., Еп+1) длины (п + 1) состоит из непустых подмножеств Ап+1 С Дп+1 \ (Д0 и Д1 и ... и Дп) = Дп+1, если последнее множество не пусто. При этом очевидно, что Ап+1 П Еп = 0. Если же Дп+1 = 0, то будем считать, что для допустимой последовательности (Е1,..., Еп) не имеется допустимого расширения.
Для каждого п £ N и каждой допустимой последовательности (Е1;..., Еп) £ Пп определим множество конфигураций
Ап(Е1,..., Еп) = {С : Еп С С7, С7 П (Д* \ Ей) = 0,к =1 - п} .
Сформулируем следующее утверждение.
Теорема 2. Для любого п £ N имеет место дизъюнктивное разложение
Пп = {С7 : 3(7 С : 7 £ Рп(х))} = ^ Ап (Еь..., Еп) (5)
такое, что справедлива формула
Рп[х|е]= ^ Рг{(Еь.., Еп)} = 1. (6)
□ Доказательство разбивается на отдельные пункты I - IV.
I. Определим для каждого к £ N отображение Гд. Оно сопоставляет каждой конфигурации С на Л, в которую может быть уложен, по крайней мере, один несамопересека-ющийся путь длины к, начинающийся в вершине х, однозначно определяемое непустое
множество Гд(С*) С . Это множество состоит из тех и только тех вершин, которые достигаются несамопересекающимися путями 7(х) С С длины не более, чем к. Оно определяется формулой
Гк(С7) = {г £ V : 3(7 С С : г £ 7, |7| ^ к)} . (7)
Пусть С7 £ Пп. Тогда, согласно данному определению Гп(С*) = 0. Кроме того, выбрав для этой конфигурации лежащий в ней путь 7 длины п рассмотрим все его ограничения длины к = 1 — (п — 1). Они также полностью находятся в С. Поэтому, для любого из указанных значений к, имеем Г^(С*) = 0.
Для каждого к =1 — (п — 1), согласно формуле (7), имеет место включение Г^(С*) С Гк+1(С7), так как каждый из путей 7, определяющих те вершины в конфигурации С, которые должны попасть в Г^(С7), является ограничением пути, определяющим вершины из С7, которые должны попасть в Гд+1(С7). Ввиду указанного включения последовательность (Гд(С7); к =1 — п) расширяющаяся. Докажем, что она допустимая. С этой целью введём множества ДД = {г : 3(у £ Г^-1(С7) : г^у),г £ Г^-1(С7)}. Рассмотрим множество
^+1(60 \ г (СО.
Пусть г £ Гк+1(<7) \ Гд(С*). Тогда г £ С и существует путь 7(х) С С (далее, в этом доказательстве все пути несамопересекающиеся) длины (к + 1), у которого г является последней вершиной. Если бы этот путь имел меньшую длину, то он был бы полностью расположен в Гд(С*), что противоречит выбору вершину г. По этой же причине вершина г не должна содержаться ни в одном из путей с длиной, меньшей чем (к + 1) и, в частности, не может быть последней вершиной таких путей. В противном случае, ввиду того, что г £ С7, эта вершина опять-таки должна была бы находиться в Г^(С*).
Рассмотрим предпоследнюю вершину пути 7(х). Обозначим её посредством у. Эта вершина является последней у пути 7;(х), который получается выбрасыванием вершины г из пути 7(х). Так как путь 7'(х) имеет длину к и содержится в С, то согласно определению множества Гд(С*), вершина у должна содержаться в этом множестве. Таким образом, имеют место отношения у^г, г £ Гд(С*) и у £ Г^С*). Это означает, что г £ Д^+1.
Из определения множеств , ] = 1 — к следует, что каждая вершина у, принадлежащая при каком-либо ] = 1 — к одновременно и С*, обязательно принадлежит Г7-(С*), так как для неё существует вершина у' в Г^-1(С7) такая, что у'^у, и следовательно, путь 7''(х), заканчивающийся в у', может быть продолжен добавлением ребра (у',у), оставаясь в конфигурации С. Таким образом, г £ , ] = 1 — к, так как, в противном случае,
д
г £ Гд+1((7) \ Гд((7). Следовательно, г £ Д^+1 \ (^) ^). Так как это равенство имеет место
.7=0
при любом к = 1 — п, то это завершает доказательство допустимости последовательности (Г*.(С) к =1 — п).
II. Для произвольной конфигурации С из Пп положим Ед = Гд(С7), к =1 — п. Тогда, ввиду доказанной в пЛ допустимости последовательности (Гд(С*); к = 1 — п), рассматриваемая конфигурация содержится в Ап(Е1;..., Еп). Следовательно, имеет место включение
Пп С У Ап(Еь..., Еп)
{^х ,...,^п)
С другой стороны, рассмотрим произвольную конфигурацию С7 из множества Ап(Еь Еп), соответствующего некоторой допустимой последовательности (Ед; к =1 — п). Построим, рассуждая посредством спуска по к =1 — п, несамопересекающийся путь (х, х 1, хп) С С Выберем произвольную вершину хп в непустом, ввиду допустимости последовательности (Ед; к = 1 — п) множестве Еп \ Еп-1. Пусть уже построен на основе выбранной вершины заканчивающийся в ней путь (х^+1, ...,хп), у которого х. £ Е. \ Е7-1, ] = (к + 1) — п. Множество Ед \ Ед-1 не пусто, ввиду допустимости последовательности (Ед; к = 1 — п). По этой же причине в этом множестве найдётся вершина у, для которой
имеет место у^х^+1. Так как Е7+1 \Е. С Д7+1 \ I |^) Д I, = к,п — 1, то ЕдП (Е7+1 \Е.) =
\г=0 /
0, = к,...,п — 1. Поэтому у не совпадает ни с одной из вершин х., = к +1,п. Положив
хд = у, мы завершаем построение очередного шага спуска. Таким образом, мы построим
й-1
п.
шаг за шагом несамопересекающийся путь (х1;...,хп), у которого хд £ Д \ I [ ] Д
\7=0
к = 1—п. При этом, х1 £ Д1. Поэтому х^х1. Это позволяет завершить построение искомого пути.
Наличие пути (х, х1;хп) в конфигурации С указывает на то, что С £ Пп. Ввиду произвольности конфигурации С7 в приведенном выше рассуждении имеет место включение
Пп ^ Ап(Еь Еп).
Ввиду же произвольности допустимой последовательности (Ед; к = 1 — п) £ Пп получаем, что справедливо включение
Пп ^ Ап(Е1,...,Еп). (9)
Наличие включений (8) и (9) позволяет утверждать, что
Пп = У Ап(Е1,..., Еп) • (10)
{^1,...,^п)€Пп
III. Докажем, что разложение (10) дизъюнктивно. Рассмотрим два множества Ап(Е1,Еп) и Ап(Е;/,Еп), соответствующие двум различным допустимым наборам (Е1,Еп) и (Е1,Еп). Пусть номер к, 1 ^ к ^ п - наименьший, при котором Е^ = Е^. Ввиду минимальности номера к, множества Е^ и Е^ имеют одно и то же множество Дд. Кроме того, все множества Д., ] = 1 — (к — 1) являются общими для обоих последовательностей множеств (Ед,Еп( и (Е1',..., Еп). Так как Е^ = Е^, то симметрическая разность (Ед \ Е^) и (Е^\ Ед) не пуста. Следовательно, найдётся, по крайней мере, одна отличающая множества Е , Е вершина. Положим, для определённости, что таковой является вершина г £ Е^\Ед. Тогда, согласно определению допустимой последовательности (Е;/,Еп), вершина г £ С* для любой конфигурации С, общей для множеств Ап(Е1,Еп), Ап(Е;/,Еп). С другой стороны, согласно допустимости последовательности (Е^,Еп), г £ С для этой же конфигурации, так как Е'1 \ Е^ С Дк \ Е^ и поэтому (Дк \ Е^.) П С = 0. Полученное противоречие доказывает пустоту пересечения Ап(Е1,Еп) П Ап(Е;/,Еп). Таким образом, согласно п.П и из доказанной дизъюнктивности совокупности множеств Ап(Е1;..., Еп),
перечисляемой всеми возможными последовательностями Ап € Пп, имеет место дизъюнктивное разложение (5).
IV. Для любого пути 7 = (х,х1, ...,хп), множество
п
(7 С С} = р| (хг € С}
г=1
измеримо. При любом фиксированном к =1 ^ п для любого фиксированного множества Ед € измеримо также множество
р| (7 С С} = (Гк(С) = Е*}
7:|7|^п,
7С
так как совокупность всех путей 7, которые определяют множества в пересечении, конечна. Следовательно, измеримо множество
Лп(£ъ..., Еп) = П {Гс(С) = £/с}
к=1
при любом наборе Ап, то есть оно является случайным событием и поэтому имеет определённую вероятность Рг(Ап(Еь ..., Еп)} = Рп(Е^..., Еп).
Так как для каждого значения к € N класс конечен, то каждое из множеств Пд С ^1 х ... х представляет собой не более чем конечную совокупность элементов. По этой
причине, разложение (5) состоит из конечной совокупности компонент. Тогда следствием дизъюнктивности разложения (5) является формула (6). I
Формулу (6) мы называем перколяционным разложением. Оно имеет место для любого дихотомического случайного поля. Его важность связана с тем, что возможно аналитическое описание связи вероятностей Рп(Е1,..., Еп) с распределением вероятностей поля. В следующем пункте мы выявим эту связь в том случае, когда поле (с(г); г € V} является бернуллиевским.
4. Случай бернуллиевского поля. Пусть на графе Л(^ Ф) задано неоднородное бернуллиевское случайное поле (с(г); г € V}, то есть множество случайных величин с(г), отмеченных вершинами г € V, которые являются независимыми в совокупности, и их распределение вероятностей даётся равенствами Рг(ф) = 1} = ф), г € V, где с : V ^ [0, 1] - вероятности заполнения вершин х € V.
Свяжем теперь вероятности Рп(Е1,..., Еп) с распределением вероятностей бернуллиевского поля (с(г); г € V}. С этой целью введём для каждого п € N функции
П с(г)) ( п
геАп / Х-геДА £
Рп(Еь..., Еп)= ( | | ф) ) ||1 (1 - ф)) | , (11)
* \Ап
зависящие от допустимых наборов (Е1,..., Еп). Их значения зависят также функционально, как от параметров, от всех концентраций, определяющих бернуллиевское случайное поле.
п1
Здесь ^п = Дп \ (^) ), п € N. Имеет место
к=0
Теорема 3. Для вероятности Рп(Е1,..., Еп) справедливо рекуррентное соотношение
Рп(ЕЪ •••, Еn-1, Еп) = Pn-1(Е1,..., Еn-1)Qn(Е1, •••, Еn-1, Еп) , п € N • (12)
□ Зафиксировав допустимую последовательность (Е1,..., Еп, Еп+1), запишем случайное событие Ап+1(Е1,..., Еп, Еп+1) в следующей форме
Ап+1(ЕЪ •••, Еn, Еп+1) = (Еп+1 С С, (Д* \ Ек) П С = 0,к =1 ^ (п + 1)} =
= ((^п+1 \ Еп+1) П С = 0, (Еп+1 \ Еп) С С;
Еп С С, (£>* \ Ек) П (7 = 0,к =1 ^ п} =
= ((Дп+1 \ Еп+1) П С = 0, (Еп+1 \ Еп) С С} П
П (Еп С С, (Д* \ Ек) П С = 0, к =1 ^ п} ,
где учтено, что последовательность (Е1,..., Еп), являющаяся ограничением допустимой последовательности, также допустимая. Так как Дп+1 ПЕп = 0 и случайное поле бернуллиев-ское, события ((^п+1 \Еп+1)ПС = 0, Еп+1 \Еп С С} и (Еп С С, (Д*\Ек) ПС = 0, к = 1^п} независимы. Тогда
Рг(Ап+1(Е1,..., Еп, Еп+1) } - Рп+1 (Е1 , •••, Еn, Еп+1) -
= Рг{(Дп+1 \ Еп+1) П С = 0, Еп+1 \ Еп С С} х
х Рг(Еп С С, (Д* \ Ек) П С = 0, к =1 ^ п} .
Первый сомножитель в правой части равенства, учитывая независимость значений поля в каждой из вершин г € Дп+1 равен
Рг((ДП+1 \ Еп+1) П С = 0, Еп+1 \ Еп С С} =
(П с(г)) ( П (1 - с(г)))
\zeAn / \ze-D*\Ап )
где Дп+1 = Еп+1 \ Еп, а второй ПО Определению ЯВЛЯЄТСЯ вероятностью Рп(Е1; Еп-1, Еп). Откуда получаем формулу (12). В
Следствие. Вероятность Рп[х|е] представляется формулой
п
Рп[х|е] = с(х) £ Дрй(Еі,..., Ек). (13)
{^х,...,^п)ЄПП к=1
□ Доказательство проводится индукцией по п Є N на основе рекуррентной формулы (12) и значения вероятности Ро(Ео) = Рг{с(х) = 1} = с(х). В
5. Основная теорема. Теперь мы в состоянии сформулировать и доказать основную теорему.
Теорема 4. Для любого графа Л(У, Ф) и любой вершины х Є V вероятность Рп[х|е] перколяции из вершины х на расстояние п бернуллиевского случайного поля {с(г); г Є V}
с распределением вероятностей Рг(с(г) = 1} = с(г), г € V является строго возрастающей функцией по каждой из концентраций с(г), г € V.
□ Продифференцируем вероятность Рп(Е1,..., Еп) по параметру с(г), г € V,
д п / д
Р„(Е1,...,Е„) = ^ —-(^(Еь...^.)) П З/'-'.....\/-
дс(г)
=1 V дс(г)
,?=1:.7=к
Qj(Е1,..., Е,-). (14)
,=1
Для каждого допустимого набора (Е1,..., Еп), каждая из функций Qk(Е1,..., Ед) зависит только от тех параметров с(г), для которых г € Д*, к = 0 ^ п. Поэтому, при каждом фиксированном наборе (Е1,..., Еп), в сумме (13) только одно слагаемое не равно нулю и согласно (12) можно написать
д
дс(г)
Рп(Е1,..., Еп) =
{£ь...,£п>
с(х)
к=1 {£ь...,£к-1>
д
дс(г)
Qk(Еl,•••, Ек)
X
х Е П Qj (Е1,..., Еу)
{^к + 1>--->^п> 7 = 1:7 = к
+ Фг,.г ГГ ^(Е1,•••, Ек) •
{£ь...,£п> ,=1
Доказательство завершается установлением положительности суммы, стоящей в квадратной скобке. Так как в этой сумме множества Ед таковы, что 0 = Ад = Ед \ Ед-1 С Д*, то, согласно (11), для этой суммы имеем
Е
д
дс(г) .
0=АкСД* ^ ’ \yeAfc
П с(уМ ( П (1 - с(у)))
1&Ак / ууеД^\Акс у
Е I П с(У) ) I П <! - с(у))
АкСД^:геАк \yeAk\{г} / \yeDfc\Ak
Е
0=АкСД*:.г£Ак \у€Ак
П с(^) I П (1 - с(у))
уеД^\(Ак и{*})
П (1 - с(у)) ^ 0.
уев*\{г}
Последнее тождество связано с тем, что первая сумма равна тождественно 1, а вторая отличается от 1 на слагаемое с Д& = 0. В
Следствие. Для любого графа Л(У, Ф) и любой вершины x G V вероятность Q[x|c] перколяции из вершины x на бесконечность бернуллиевского случайного поля {c(z); z G V} с распределением вероятностей Pr{c(z) = 1} = c(z), z G V является неубывающей функцией по каждой из концентраций c(z), z G V.
□ Доказательство получается переходом к пределу n ^ то в каждом из неравенств
[x|c]c(z)=c1 < Qn[x|c]c(z)=c2, Cl < c2, характеризующих свойство возрастания функции Qn[x|c]. В
6. Заключение. Доказанное в этой работе свойство монотонности довольно естественно с физической точки зрения. В самом деле, совершенно ясно, что повышение концентрации C(z) для любой из вершин z G V, то есть вероятности того, что эта вершина присутствует в конфигурации C недефектных вершин, должно приводить к повышению вероятности существования в C какого-либо пути, соединяющего две наперёд заданные вершины x и y графа, так как повышается вероятность существования такого пути, который бы проходил через вершину z. Тем не менее, математическое доказательство этого простого физического факта до настоящего времени отсутствовало в дискретной теории перколяции. Интересно было бы установить остаётся ли справедливым доказанное утверждение для произвольных моделей теории перколяции при подходящей его формулировке. Если же будет установлено, что это не так, то естественно возникает вопрос: насколько широк класс моделей, для которых утверждение о монотонном возрастании остаётся верным. В частности, по-видимому, указанным свойством монотонности должна обладать вероятность перколяции бернуллиевского поля на произвольном направленном графе и аналогичная величина дихотомического гиббсовского случайного поля ("решёточного газа") с притягивающим взаимодействием (см., например, [3]).
Литература
1. Broadbent S.R., Hammersley J.M. Percolation processes I. Crystals and mazes// Proceedings of the Cambridge Philosiphical Society. - 1957. - 53. - P.629-641.
2. Frisch C.M., Hammersley J.M. Percolation processes and related topics// Journal of the Society for Industrial and Applied Mathematics. - 1963. - 11. - P.894-918.
3. Simon B. The P(<^)2 euclidian (quantum) field theory.- Princeton: Princeton University Press, 1974. (Саймон Б. Модель P(<^)2 евклидовой квантовой теории поля.- М.: Мир, 1976.)
4. Mc Diarmid C.J.H. General percolation and random graphs// Advances ib Applied Probability. - 1881. - 13. - P.40-60.
5. Wierman J.C. Percolation Theory// Annals of Probability. - 1982. - 10. - P.509-524.
6. Kesten H. Percolation Theory for Mathematicians/ H.Kesten. - Boston: Birkhauser, 1982.
7. Grimmett G. Percolation. 2nd Edition/ G.Grimmet. - New York: Springer-Verlag, 1999.
8. Тарасевич Ю.Ю. Перколяция: теория, приложения, алгоритмы/ Ю.Ю.Тарасевич. -М.: Эдиториал УРСС, 2002.
9. Антонова Е.С., Вирченко Ю.П. Просачивание бернуллиевского случайного поля на конечное расстояние // Вестник Херсонск. нац. техн. ун-та. - 2010. - 3(39). - С.30-34.
MONOTONOUS DEPENDENCE OF BERNOULLI RANDOM FIELD PERCOLATION PROBABILITY ON INFINITE GRAPHS E.S. Antonova Yu.P. Virchenko
Belgorod State University,
Pobedy St., 85, Belgorod, 308015, Russia, e-mail: [email protected]
Belgorod State University,
Pobedy St., 85, Belgorod, 308015, Russia, e-mail: [email protected]
Abstract. The cite problem for arbitrary infinite graphs A(V, $) in discrete percolation theory is considered. The percolation probability Qn[c; x] is studied. It characterizes the property of the nonuniform Bernoulli random field that is the percolation on finite distance n € N from the fixed vertex x. It is proved the monotonous dependence Qn[c; x] on each component c(y), y € V of the concentration distribution c = {c(z); z € V} of graph vertexes being not defected.
Key words: percolation probability, infinite graph, Bernoulli random field.
