Cardi- formeln är en formel för den begränsande nedbrytningssannolikheten i det tvådimensionella perkolationsproblemet . Förutspådd i början av 1990-talet av Cardy baserat på konforma fältteoretiska resonemang anger den att den marginella sannolikheten för sammanbrott mellan bågar gränsen för en enkelt ansluten domän i det kritiska perkolationsproblemet är
där är den hypergeometriska funktionen och är dubbelförhållandet
fyra bilder av punkter under den konforma kartläggningen av regionen i det övre halvplanet . [1] [2] [3]
Denna formel omformulerades av Lennart Carleson [4] i följande form: om en karta som konformt omvandlar regionen till en regelbunden triangel med sidan 1, och punkterna , och till hörnen på denna triangel, omvandlar punkten till en punkt som ligger på ett avstånd från bildpunkten , då är den önskade sannolikheten [5] [2] .
För fallet med ett triangulärt gitter, bevisades denna formel rigoröst i början av 2000-talet av Stanislav Smirnov med hjälp av tekniken för diskreta harmoniska funktioner . [5] [2] [6]
Frågan om nedbrytningssannolikheten för en specifik (tredimensionell) modell (svarta och vita bollar packade i en låda av en given storlek) ställdes redan 1894 , i American Mathematical Monthly magazine . De Volson Wood föreslog [7] följande problem:
Lika många vita och svarta bollar av samma storlek kastas i en
rektangulär låda, vad är sannolikheten för att det kommer att finnas sammanhängande kontakt av vita bollar från ena änden av lådan till den motsatta änden? Som ett speciellt exempel, anta att det finns 30 bollar i lådans längd, 10 i bredden och 5 (eller 10)
lager djupa
Det är värt att notera att P. H. Philbricks lösning som publicerades i detta nummer var ungefärlig (den antog att förekomsten av nedbrytning i en rät linje var mest trolig); på samma ställe erbjöd sig redaktionen att publicera den exakta lösningen om någon hittar den. Som vi nu vet var antagandet som gjordes i den ungefärliga lösningen långt ifrån sanningen. [fyra]
År 1957 lade Broadbent och Hammersley grunden till den matematiska teorin om perkolation i sitt arbete [8] , utgångspunkten för detta var studiet av gasläckage genom kolfiltret på en gasmask [9] .
I början av 1990-talet visas arbetet av Langlands et al. [10] [11] , där olika nedbrytningssannolikheter i ett rektangulärt område studeras för sex olika modeller, och det visar sig att (inom numeriska experiments noggrannhet) dessa funktioner för olika modeller sammanfaller. Dessutom lägger Aizenman[12] [13] en gissning om den konforma invariansen av nedbrytningssannolikheten.
Nästan direkt efter det kommer Cardi med sin formel för utbrottssannolikheten. [ett]
Cardi-formeln ger svaret på nedbrytningsproblemet. Vi betraktar nämligen en enkelt sammankopplad domän på planet, med fyra markerade punkter på gränsen. För varje , är detta område approximerat av ett gitter med ett steg (eller skala) - beroende på problemet, kvadratiskt, triangulärt eller mer komplext; detta resulterar i en graf med markerade punkter .
För varje , hittas sannolikheten för en uppdelning i denna graf. Grafens hörn är nämligen oberoende, var och en med en sannolikhet på 1/2, deklarerade som "öppna" eller "stängda", och den önskade sannolikheten är sannolikheten att ha en väg från båge till båge som bara går längs öppna hörn.
Slutligen definieras den önskade nedbrytningssannolikheten som gränsen för "diskretiserade" sannolikheter som , som tenderar till noll:
Cardis föreslagna (med hjälp av konform fältteori ) svar för nedbrytningssannolikheten var:
Sålunda räcker det att ställa in nedbrytningssannolikheten för endast en enkelt ansluten region, och tre av de fyra punkterna kan fixeras.
Denna representation kan skrivas om som en integral
Kort efter uppkomsten av Cardi-formeln märkte Lennart Carleson [4] att integralen på höger sida av integralrepresentationen definierar (som en funktion på det övre halvplanet) en konform avbildning av det övre halvplanet på ett regelbundet triangel. Därför kan Cardis formel förenklas genom att betrakta som arean en regelbunden triangel, där tre av de fyra markerade punkterna är vid hörnen. I det här fallet visar sig nedbrytningssannolikheten helt enkelt vara förhållandet mellan segmenten , som inte är en sida av triangeln, till sidan av triangeln.
Cardi-formeln för fallet med ett triangulärt gitter bevisades av Smirnov med hjälp av tekniken för diskret komplex analys. Ett av stegen i hans bevis var utvidgningen av nedbrytningssannolikheten till en funktion på det inre av regionen. För ett diskretiserat område med tre markerade punkter på gränsen betraktar vi nämligen en funktion på detta område som specificerar sannolikheten för att ha en öppen väg från bågen till gränsbågen som skiljer punkten från bågen . Sannolikheten för sammanbrott ges av värdet av denna funktion vid gränspunkten .
Det visar sig att, när det gäller summan av tre sådana funktioner,
och för deras linjära kombination
den diskreta antiholomorfa differentialen visar sig vara liten (och tenderar till noll när steget minskar ). Detta innebär att gränsen fungerar och är holomorf . Slutligen är funktionen holomorf och tar endast verkliga värden; sålunda visar det sig vara konstant och, på grund av gränsvärdena, identiskt lika med enhet.
En analys av funktionen s visar att den konformt kartlägger området till en vanlig triangel genom att översätta punkterna A, B och C till punkter ; Cardi-formeln återställs sedan baserat på studiet av beteendet hos funktioner på gränsen.