Формула Карди

Материал из testwiki
Перейти к навигации Перейти к поиску

Формула Карди — формула для предельной вероятности пробоя в двумерной задаче перколяции. Предсказанная в начале 1990-х годов Шаблон:Не переведено на основании рассуждений конформной теории поля, она утверждает, что предельная вероятность пробоя между дугами [a,b] и [c,d] границы односвязной области Ω в задаче критической перколяции равна

Π(Ω;[a,b],[c,d])=Γ(2/3)Γ(1/3)Γ(4/3)η1/32F1(13,23;43,η)=1Γ(2/3)Γ(1/3)Γ(4/3)(1η)1/32F1(13,23;43,1η),

где 2F1 — гипергеометрическая функция, а η — двойное отношение

η=x4x3x3x1:x4x2x2x1

четырёх образов (x1,x2,x3,x4) точек a,b,c,d при конформном отображении области Ω в верхнюю полуплоскость. Шаблон:SfnШаблон:Sfn[1]

Формула Карди в переформулировке Карлесона: Π(Δ;[a,b],[c,d])=x.

Эта формула была переформулирована Леннартом Карлесоном[2] в следующем виде: если отображение, конформно переводящее область Ω в правильный треугольник со стороной 1, а точки a, b и c в вершины этого треугольника, переводит точку d в находящуюся на расстоянии x от вершины-образа точки c, то искомая вероятность равнаШаблон:SfnШаблон:Sfn x.

Для случая треугольной решётки эта формула была строго доказана в начале 2000-х годов Станиславом Смирновым с использованием техники дискретно-гармонических функций.Шаблон:SfnШаблон:Sfn[3]

Формула

Исторические предпосылки

Шаблон:Main

Вопрос о вероятности пробоя, для конкретной (трёхмерной) модели (упакованные в ящике заданного размера чёрные и белые шары) задавался ещё в 1894 году, в журнале American Mathematical Monthly. Де Вольсон Вуд предложил[4] следующую задачу: Шаблон:Quote Стоит отметить, что опубликованное в этом номере решение П. Х. Филбрика было приближённым (в нём предполагалось, что наиболее вероятно существование пробоя по прямой); там же, редакторы предлагали опубликовать точное решение, если кто-нибудь его найдёт. Как мы теперь знаем, сделанное в приближённом решении предположение было далеко от истины.[2]

В 1957 году Бродбент и Хаммерсли заложили основы математической теории перколяции в своей работе[5], исходной точкой для которой послужило исследование просачивания газов сквозь угольный фильтр противогазаШаблон:Sfn.

В начале 1990-х появляется работа Ленглендса и др.[6][7], в которой исследуются различные вероятности пробоя в прямоугольной области для шести различных моделей, и обнаруживается, что (в пределах точности численных экспериментов) эти функции для различных моделей совпадают. Кроме того, Шаблон:Не переведено высказывает[8]Шаблон:Sfn гипотезу о конформной инвариантности вероятности пробоя.

Почти сразу после этого, Карди предлагает свою формулу для вероятности пробоя.Шаблон:Sfn

Постановка задачи

Формулой Карди задаётся ответ в задаче о пробое. А именно, рассматривается односвязная область Ω на плоскости, с четырьмя отмеченными точками a,b,c,d на границе. При каждом δ>0, эта область аппроксимируется решёткой с шагом (или масштабом) δ — в зависимости от задачи, квадратной, треугольной, или более сложной; так получается граф Ωδ с отмеченными точками aδ,bδ,cδ,dδ.

Для каждого δ>0, находится вероятность пробоя в этом графе. А именно, вершины графа независимо, каждая с вероятностью 1/2, объявляются «открытыми» или «закрытыми», и искомая вероятность Πδ это вероятность наличия пути от дуги [aδ,bδ] к дуге [cδ,dδ], идущего только по открытым вершинам.

Наконец, искомая вероятность пробоя определяется как предел «дискретизованных» вероятностей Πδ при δ, стремящемся к нулю:

Π(Ω,[a,b],[c,d]):=limδ0Πδ.

Ответ Карди

Предложенный Карди (с использованием конформной теории поля) ответ для вероятности пробоя был следующим:

  • Вероятность пробоя конформно-инвариантна, то есть если между областями Ω и Ω есть конформное отображение φ, переводящее точки a,b,c,d на границе Ω в точки a,b,c,d на границе Ω, то
Π(Ω;[a,b],[c,d])=Π(Ω;[a,b],[c,d]).

Тем самым, достаточно задавать вероятность пробоя лишь для какой-нибудь одной односвязной области, причём три из четырёх точек a,b,c,d могут быть зафиксированы.

Π(+;[1u,1],[,0])=Γ(2/3)Γ(1/3)Γ(4/3)u1/32F1(13,23;43,u).

Это представление может быть переписано как интеграл

Π(+;[1u,1],[,0])=101(v(1v))2/3dv0u(v(1v))2/3dv.

Переформулировка Карлесона

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

Доказательство для случая треугольной решётки

Формула Карди для случая треугольной решётки была доказана Смирновым с использованием техники дискретного комплексного анализа. Одним из шагов его доказательства явилось продолжение вероятности пробоя до функции на внутренности области. А именно, для дискретизованной области Ωδ с тремя отмеченными точками Aδ,Bδ,Cδ на границе, рассматривается функция hC,δ(z) на этой области, задающая вероятность наличия открытого пути от дуги AδCδ до дуги BδCδ границы, отделяющего от дуги AδBδ точку z. Вероятность пробоя Πδ(Ωδ;[AδBδ],[CδDδ]) задаётся значением этой функции в граничной точке Dδ.

Оказывается, что как для суммы трёх таких функций,

hδ=hA,δ(z)+hB,δ(z)+hC,δ(z),

так и для их линейной комбинации

sδ=hA,δ(z)+τhB,δ(z)+τhC,δ(z),τ=e2πi/3,

дискретно-антиголоморфный дифференциал ¯ оказывается малым (и стремящимся к нулю с уменьшением шага δ). Отсюда следует голоморфность предельных функций h=limδ0hδ и s=limδ0sδ. Наконец, функция h голоморфна и принимает только вещественные значения; тем самым, она оказывается постоянной и, в силу граничных значений, тождественно равной единице.

Анализ функции s показывает, что она конформно отображает область Ω в правильный треугольник, переводя точки A, B и C в точки 0,1,eπi/3; формула Карди после этого восстанавливается, исходя из исследования поведения функций на границе.

Примечания

Шаблон:Примечания

Ссылки

Литература