Cardiho vzorec je vzorec pro limitní pravděpodobnost zhroucení v problému dvourozměrné perkolace . Předpověděl na počátku 90. let Cardy na základě konformního uvažování teorie pole uvádí, že mezní pravděpodobnost zhroucení mezi oblouky hranicí jednoduše spojené domény v kritickém problému perkolace je
kde je hypergeometrická funkce a je dvojitý poměr
čtyři obrazy bodů pod konformním mapováním oblasti do horní poloroviny . [1] [2] [3]
Tento vzorec přeformuloval Lennart Carleson [4] do následující podoby: pokud mapa, která konformně transformuje oblast na pravidelný trojúhelník se stranou 1 a body , a na vrcholy tohoto trojúhelníku, transformuje bod na bod umístěný ve vzdálenosti od vrcholu obrázku , pak je požadovaná pravděpodobnost [5] [2] .
Pro případ trojúhelníkové mřížky byl tento vzorec důsledně dokázán na počátku 20. století Stanislavem Smirnovem pomocí techniky diskrétních harmonických funkcí . [5] [2] [6]
Otázka pravděpodobnosti rozpadu pro konkrétní (trojrozměrný) model (černé a bílé koule zabalené v krabici dané velikosti) byla položena již v roce 1894 v časopise American Mathematical Monthly . De Volson Wood navrhl [7] následující problém:
Do a je vhozen stejný počet bílých a černých koulí stejné velikosti
obdélníková krabice, jaká je pravděpodobnost, že dojde k souvislému kontaktu bílých kuliček z jednoho konce krabice na opačný konec? Jako speciální příklad předpokládejme, že je 30 kuliček na délku, 10 na šířku a 5 (nebo 10)
vrstvy hluboko
Za zmínku stojí, že řešení P. H. Philbricka publikované v tomto čísle bylo přibližné (předpokládalo, že nejpravděpodobnější je existence členění v přímce); na stejném místě redakce nabídla zveřejnění přesného řešení, pokud ho někdo najde. Jak nyní víme, předpoklad učiněný v přibližném řešení byl daleko od pravdy. [čtyři]
V roce 1957 položili Broadbent a Hammersley ve své práci základy matematické teorie perkolace [8] , jejíž výchozím bodem bylo studium úniku plynu přes uhlíkový filtr plynové masky [9] .
Počátkem 90. let se objevuje práce Langlandse et al [10] [11] , ve které jsou studovány různé pravděpodobnosti zhroucení v obdélníkové oblasti pro šest různých modelů a je zjištěno, že (v rámci přesnosti numerických experimentů) tyto funkce pro různé modely se shodují. Kromě toho Aizenman předkládá [12] [13] domněnku o konformní invarianci pravděpodobnosti zhroucení.
Téměř okamžitě poté Cardi přichází se svým vzorcem pro pravděpodobnost úniku. [jeden]
Cardiho vzorec dává odpověď na problém rozpadu. Konkrétně uvažujeme jednoduše spojenou doménu v rovině se čtyřmi vyznačenými body na hranici. Pro každý je tato oblast aproximována mřížkou s krokem (nebo měřítkem) - v závislosti na problému, čtvercový, trojúhelníkový nebo složitější; výsledkem je graf s vyznačenými body .
Pro každý je nalezena pravděpodobnost poruchy v tomto grafu. Konkrétně, vrcholy grafu jsou nezávisle, každý s pravděpodobností 1/2, deklarovány jako "otevřené" nebo "uzavřené" a požadovaná pravděpodobnost je pravděpodobnost, že cesta od oblouku k oblouku vede pouze podél otevřených vrcholů.
Nakonec je požadovaná pravděpodobnost zhroucení definována jako limit „diskretizovaných“ pravděpodobností jako , klesající k nule:
Cardiho navrhovaná (s použitím konformní teorie pole ) odpověď na pravděpodobnost zhroucení byla:
Stačí tedy nastavit pravděpodobnost zhroucení pouze pro jednu jednoduše připojenou oblast a tři ze čtyř bodů lze opravit.
Toto zobrazení lze přepsat jako integrál
Krátce poté, co se objevil Cardiho vzorec, si Lennart Carleson všiml [4] , že integrál na pravé straně integrálního zobrazení definuje (jako funkci na horní polorovině) konformní zobrazení horní poloroviny na pravidelnou trojúhelník. Proto lze Cardiho vzorec zjednodušit tím, že za plochu považujeme pravidelný trojúhelník, ve kterém jsou tři ze čtyř označených bodů ve vrcholech. V tomto případě se pravděpodobnost zhroucení ukáže být jednoduše poměrem segmentů , které nejsou stranou trojúhelníku, ke straně trojúhelníku.
Cardiho vzorec pro případ trojúhelníkové mřížky dokázal Smirnov pomocí techniky diskrétní komplexní analýzy. Jedním z kroků jeho důkazu bylo rozšíření pravděpodobnosti zhroucení na funkci na vnitřku regionu. Konkrétně pro diskretizovanou oblast se třemi vyznačenými body na hranici uvažujeme funkci na této ploše, která specifikuje pravděpodobnost, že bude mít otevřenou cestu od oblouku k hraničnímu oblouku oddělujícímu bod od oblouku . Pravděpodobnost zhroucení je dána hodnotou této funkce v hraničním bodě .
Ukazuje se, že pokud jde o součet tří takových funkcí,
a pro jejich lineární kombinaci
diskrétní antiholomorfní diferenciál se ukáže být malý (a inklinuje k nule, jak se krok snižuje ). To znamená, že limita funguje a je holomorfní . Konečně, funkce je holomorfní a nabývá pouze skutečných hodnot; ukazuje se tedy jako konstantní a vzhledem k hraničním hodnotám shodně rovný jednotě.
Analýza funkce s ukazuje, že conformally mapuje oblast do pravidelného trojúhelníku tím, že překládá body A, B a C do bodů ; Cardiho vzorec je pak obnoven na základě studia chování funkcí na hranici.