La fórmula de Cardi es una fórmula para limitar la probabilidad de ruptura en el problema de percolación bidimensional . Predicho a principios de la década de 1990 por Cardy basado en el razonamiento de la teoría del campo conforme establece que la probabilidad marginal de ruptura entre los arcos el límite de un dominio simplemente conectado en el problema de percolación crítica es
donde es la función hipergeométrica , y es la razón doble
cuatro imágenes de puntos bajo el mapeo conforme de la región en el semiplano superior . [1] [2] [3]
Esta fórmula fue reformulada por Lennart Carleson [4] de la siguiente forma: si un mapa que transforma conformemente la región en un triángulo regular con lado 1, y los puntos , y en los vértices de este triángulo, transforma el punto en un punto ubicado a una distancia del vértice de la imagen , entonces la probabilidad deseada es [5] [2] .
Para el caso de una red triangular, esta fórmula fue probada rigurosamente a principios de la década de 2000 por Stanislav Smirnov utilizando la técnica de funciones armónicas discretas . [5] [2] [6]
La cuestión de la probabilidad de ruptura para un modelo específico (tridimensional) (bolas blancas y negras empacadas en una caja de un tamaño determinado) se planteó en 1894 , en la revista American Mathematical Monthly . De Volson Wood sugirió [7] el siguiente problema:
Se lanza un número igual de bolas blancas y negras del mismo tamaño en un
caja rectangular, ¿cuál es la probabilidad de que haya contacto contiguo de bolas blancas de un extremo de la caja al extremo opuesto? Como ejemplo especial, suponga que hay 30 bolas en el largo de la caja, 10 en el ancho y 5 (o 10)
capas profundas
Vale la pena señalar que la solución de P. H. Philbrick publicada en este número era aproximada (suponía que la existencia de una ruptura en línea recta era lo más probable); en el mismo lugar, los editores se ofrecieron a publicar la solución exacta si alguien la encuentra. Como ahora sabemos, la suposición hecha en la solución aproximada estaba lejos de la verdad. [cuatro]
En 1957, Broadbent y Hammersley sentaron las bases de la teoría matemática de la percolación en su trabajo [8] , cuyo punto de partida fue el estudio de la fuga de gas a través del filtro de carbón de una máscara antigás [9] .
A principios de la década de 1990, aparece el trabajo de Langlands et al [10] [11] , en el que se estudian varias probabilidades de ruptura en una región rectangular para seis modelos diferentes, y se encuentra que (dentro de la precisión de los experimentos numéricos) estos Las funciones para diferentes modelos coinciden. Además, Aizenman plantea [12] [13] una conjetura sobre la invariancia conforme de la probabilidad de ruptura.
Casi inmediatamente después de eso, a Cardi se le ocurre su fórmula para la probabilidad de ruptura. [una]
La fórmula de Cardi da la respuesta al problema de la avería. Es decir, consideramos un dominio simplemente conexo en el plano, con cuatro puntos marcados en el límite. Para cada , esta área se aproxima mediante una red con un escalón (o escala) , según el problema, cuadrado, triangular o más complejo; esto da como resultado un gráfico con puntos marcados .
Para cada , se encuentra la probabilidad de un desglose en este gráfico. Es decir, los vértices del gráfico son independientes, cada uno con una probabilidad de 1/2, declarados "abiertos" o "cerrados", y la probabilidad deseada es la probabilidad de tener un camino de arco a arco que vaya solo a lo largo de vértices abiertos.
Finalmente, la probabilidad de ruptura deseada se define como el límite de probabilidades "discretizadas" como , tendiendo a cero:
La respuesta propuesta por Cardi (usando la teoría del campo conforme ) para la probabilidad de ruptura fue:
Por lo tanto, basta con establecer la probabilidad de ruptura para una sola región simplemente conexa, y se pueden fijar tres de los cuatro puntos.
Esta representación se puede reescribir como una integral
Poco después de la aparición de la fórmula de Cardi, Lennart Carleson notó [4] que la integral en el lado derecho de la representación integral define (como una función en el semiplano superior) un mapeo conforme del semiplano superior en un regular triángulo. Por tanto, la fórmula de Cardi se puede simplificar considerando como área un triángulo regular, en el que tres de los cuatro puntos marcados están en los vértices. En este caso, la probabilidad de ruptura resulta ser simplemente la razón de la de los segmentos , que no es un lado del triángulo, al lado del triángulo.
La fórmula de Cardi para el caso de una red triangular fue probada por Smirnov utilizando la técnica del análisis complejo discreto. Uno de los pasos en su prueba fue la extensión de la probabilidad de ruptura a una función en el interior de la región. Es decir, para un área discretizada con tres puntos marcados en el límite, consideramos una función en esta área que especifica la probabilidad de tener un camino abierto desde el arco hasta el arco límite que separa el punto del arco . La probabilidad de ruptura viene dada por el valor de esta función en el punto límite .
Resulta que, en cuanto a la suma de tres funciones de este tipo,
y por su combinación lineal
el diferencial antiholomórfico discreto resulta ser pequeño (y tiende a cero a medida que el paso decrece ). Esto implica que las funciones límite y son holomorfas . Finalmente, la función es holomorfa y toma solo valores reales; por tanto, resulta ser constante y, debido a los valores de contorno, idénticamente igual a la unidad.
Un análisis de la función s muestra que mapea conformemente el área en un triángulo regular al convertir los puntos A, B y C en puntos ; luego se restablece la fórmula de Cardi a partir del estudio del comportamiento de las funciones en la frontera.