{"title":"二维临界渗流中连接概率和场的保形协方差","authors":"Federico Camia","doi":"10.1002/cpa.22171","DOIUrl":null,"url":null,"abstract":"<p>Fitting percolation into the conformal field theory framework requires showing that connection probabilities have a conformally invariant scaling limit. For critical site percolation on the triangular lattice, we prove that the probability that <i>n</i> vertices belong to the same open cluster has a well-defined scaling limit for every <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>≥</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$n \\ge 2$</annotation>\n </semantics></math>. Moreover, the limiting functions <math>\n <semantics>\n <mrow>\n <msub>\n <mi>P</mi>\n <mi>n</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <mtext>…</mtext>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mi>n</mi>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$P_n(x_1,\\ldots ,x_n)$</annotation>\n </semantics></math> transform covariantly under Möbius transformations of the plane as well as under local conformal maps, that is, they behave like correlation functions of primary operators in conformal field theory. In particular, they are invariant under translations, rotations and inversions, and <math>\n <semantics>\n <mrow>\n <msub>\n <mi>P</mi>\n <mi>n</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>s</mi>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <mtext>…</mtext>\n <mo>,</mo>\n <mi>s</mi>\n <msub>\n <mi>x</mi>\n <mi>n</mi>\n </msub>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msup>\n <mi>s</mi>\n <mrow>\n <mo>−</mo>\n <mn>5</mn>\n <mi>n</mi>\n <mo>/</mo>\n <mn>48</mn>\n </mrow>\n </msup>\n <msub>\n <mi>P</mi>\n <mi>n</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <mtext>…</mtext>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mi>n</mi>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$P_n(sx_1,\\ldots ,sx_n)=s^{-5n/48}P_n(x_1,\\ldots ,x_n)$</annotation>\n </semantics></math> for any <math>\n <semantics>\n <mrow>\n <mi>s</mi>\n <mo>></mo>\n <mn>0</mn>\n </mrow>\n <annotation>$s>0$</annotation>\n </semantics></math>. This implies that <math>\n <semantics>\n <mrow>\n <msub>\n <mi>P</mi>\n <mn>2</mn>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msub>\n <mi>C</mi>\n <mn>2</mn>\n </msub>\n <msup>\n <mrow>\n <mo>∥</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>−</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>∥</mo>\n </mrow>\n <mrow>\n <mo>−</mo>\n <mn>5</mn>\n <mo>/</mo>\n <mn>24</mn>\n </mrow>\n </msup>\n </mrow>\n <annotation>$P_{2}(x_1,x_2)=C_2 \\Vert x_1-x_2 \\Vert ^{-5/24}$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <msub>\n <mi>P</mi>\n <mn>3</mn>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mn>3</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msub>\n <mi>C</mi>\n <mn>3</mn>\n </msub>\n <mrow>\n <mo>∥</mo>\n </mrow>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>−</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <msup>\n <mo>∥</mo>\n <mrow>\n <mo>−</mo>\n <mn>5</mn>\n <mo>/</mo>\n <mn>48</mn>\n </mrow>\n </msup>\n <mrow>\n <mo>∥</mo>\n </mrow>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>−</mo>\n <msub>\n <mi>x</mi>\n <mn>3</mn>\n </msub>\n <msup>\n <mo>∥</mo>\n <mrow>\n <mo>−</mo>\n <mn>5</mn>\n <mo>/</mo>\n <mn>48</mn>\n </mrow>\n </msup>\n <msup>\n <mrow>\n <mo>∥</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>−</mo>\n <msub>\n <mi>x</mi>\n <mn>3</mn>\n </msub>\n <mo>∥</mo>\n </mrow>\n <mrow>\n <mo>−</mo>\n <mn>5</mn>\n <mo>/</mo>\n <mn>48</mn>\n </mrow>\n </msup>\n </mrow>\n <annotation>$P_3(x_1, x_2, x_3) = C_3 \\Vert x_1-x_2 \\Vert ^{-5/48} \\Vert x_1-x_3 \\Vert ^{-5/48} \\Vert x_2-x_3 \\Vert ^{-5/48}$</annotation>\n </semantics></math>, for some constants <i>C</i><sub>2</sub> and <i>C</i><sub>3</sub>.</p><p>We also define a site-diluted spin model whose <i>n</i>-point correlation functions C<sub><i>n</i></sub> can be expressed in terms of percolation connection probabilities and, as a consequence, have a well-defined scaling limit with the same properties as the functions <math>\n <semantics>\n <msub>\n <mi>P</mi>\n <mi>n</mi>\n </msub>\n <annotation>$P_n$</annotation>\n </semantics></math>. In particular, <math>\n <semantics>\n <mrow>\n <msub>\n <mi>C</mi>\n <mn>2</mn>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msub>\n <mi>P</mi>\n <mn>2</mn>\n </msub>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>x</mi>\n <mn>2</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\mathrm{C}_{2}(x_1,x_2)=P_{2}(x_1,x_2)$</annotation>\n </semantics></math>. We prove that the magnetization field associated with this spin model has a well-defined scaling limit in an appropriate space of distributions. The limiting field transforms covariantly under Möbius transformations with exponent (scaling dimension) 5/48. A heuristic analysis of the four-point function of the magnetization field suggests the presence of an additional conformal field of scaling dimension 5/4, which counts the number of percolation four-arm events and can be identified with the so-called “four-leg operator” of conformal field theory.</p>","PeriodicalId":10601,"journal":{"name":"Communications on Pure and Applied Mathematics","volume":"77 3","pages":"2138-2176"},"PeriodicalIF":3.1000,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Conformal covariance of connection probabilities and fields in 2D critical percolation\",\"authors\":\"Federico Camia\",\"doi\":\"10.1002/cpa.22171\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Fitting percolation into the conformal field theory framework requires showing that connection probabilities have a conformally invariant scaling limit. For critical site percolation on the triangular lattice, we prove that the probability that <i>n</i> vertices belong to the same open cluster has a well-defined scaling limit for every <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>≥</mo>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$n \\\\ge 2$</annotation>\\n </semantics></math>. Moreover, the limiting functions <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>P</mi>\\n <mi>n</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <mtext>…</mtext>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$P_n(x_1,\\\\ldots ,x_n)$</annotation>\\n </semantics></math> transform covariantly under Möbius transformations of the plane as well as under local conformal maps, that is, they behave like correlation functions of primary operators in conformal field theory. In particular, they are invariant under translations, rotations and inversions, and <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>P</mi>\\n <mi>n</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>s</mi>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <mtext>…</mtext>\\n <mo>,</mo>\\n <mi>s</mi>\\n <msub>\\n <mi>x</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msup>\\n <mi>s</mi>\\n <mrow>\\n <mo>−</mo>\\n <mn>5</mn>\\n <mi>n</mi>\\n <mo>/</mo>\\n <mn>48</mn>\\n </mrow>\\n </msup>\\n <msub>\\n <mi>P</mi>\\n <mi>n</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <mtext>…</mtext>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$P_n(sx_1,\\\\ldots ,sx_n)=s^{-5n/48}P_n(x_1,\\\\ldots ,x_n)$</annotation>\\n </semantics></math> for any <math>\\n <semantics>\\n <mrow>\\n <mi>s</mi>\\n <mo>></mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$s>0$</annotation>\\n </semantics></math>. This implies that <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>P</mi>\\n <mn>2</mn>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msub>\\n <mi>C</mi>\\n <mn>2</mn>\\n </msub>\\n <msup>\\n <mrow>\\n <mo>∥</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>−</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>∥</mo>\\n </mrow>\\n <mrow>\\n <mo>−</mo>\\n <mn>5</mn>\\n <mo>/</mo>\\n <mn>24</mn>\\n </mrow>\\n </msup>\\n </mrow>\\n <annotation>$P_{2}(x_1,x_2)=C_2 \\\\Vert x_1-x_2 \\\\Vert ^{-5/24}$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>P</mi>\\n <mn>3</mn>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>3</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msub>\\n <mi>C</mi>\\n <mn>3</mn>\\n </msub>\\n <mrow>\\n <mo>∥</mo>\\n </mrow>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>−</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <msup>\\n <mo>∥</mo>\\n <mrow>\\n <mo>−</mo>\\n <mn>5</mn>\\n <mo>/</mo>\\n <mn>48</mn>\\n </mrow>\\n </msup>\\n <mrow>\\n <mo>∥</mo>\\n </mrow>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>−</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>3</mn>\\n </msub>\\n <msup>\\n <mo>∥</mo>\\n <mrow>\\n <mo>−</mo>\\n <mn>5</mn>\\n <mo>/</mo>\\n <mn>48</mn>\\n </mrow>\\n </msup>\\n <msup>\\n <mrow>\\n <mo>∥</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>−</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>3</mn>\\n </msub>\\n <mo>∥</mo>\\n </mrow>\\n <mrow>\\n <mo>−</mo>\\n <mn>5</mn>\\n <mo>/</mo>\\n <mn>48</mn>\\n </mrow>\\n </msup>\\n </mrow>\\n <annotation>$P_3(x_1, x_2, x_3) = C_3 \\\\Vert x_1-x_2 \\\\Vert ^{-5/48} \\\\Vert x_1-x_3 \\\\Vert ^{-5/48} \\\\Vert x_2-x_3 \\\\Vert ^{-5/48}$</annotation>\\n </semantics></math>, for some constants <i>C</i><sub>2</sub> and <i>C</i><sub>3</sub>.</p><p>We also define a site-diluted spin model whose <i>n</i>-point correlation functions C<sub><i>n</i></sub> can be expressed in terms of percolation connection probabilities and, as a consequence, have a well-defined scaling limit with the same properties as the functions <math>\\n <semantics>\\n <msub>\\n <mi>P</mi>\\n <mi>n</mi>\\n </msub>\\n <annotation>$P_n$</annotation>\\n </semantics></math>. In particular, <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>C</mi>\\n <mn>2</mn>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msub>\\n <mi>P</mi>\\n <mn>2</mn>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>x</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\mathrm{C}_{2}(x_1,x_2)=P_{2}(x_1,x_2)$</annotation>\\n </semantics></math>. We prove that the magnetization field associated with this spin model has a well-defined scaling limit in an appropriate space of distributions. The limiting field transforms covariantly under Möbius transformations with exponent (scaling dimension) 5/48. A heuristic analysis of the four-point function of the magnetization field suggests the presence of an additional conformal field of scaling dimension 5/4, which counts the number of percolation four-arm events and can be identified with the so-called “four-leg operator” of conformal field theory.</p>\",\"PeriodicalId\":10601,\"journal\":{\"name\":\"Communications on Pure and Applied Mathematics\",\"volume\":\"77 3\",\"pages\":\"2138-2176\"},\"PeriodicalIF\":3.1000,\"publicationDate\":\"2023-10-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Communications on Pure and Applied Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22171\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communications on Pure and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22171","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Conformal covariance of connection probabilities and fields in 2D critical percolation
Fitting percolation into the conformal field theory framework requires showing that connection probabilities have a conformally invariant scaling limit. For critical site percolation on the triangular lattice, we prove that the probability that n vertices belong to the same open cluster has a well-defined scaling limit for every . Moreover, the limiting functions transform covariantly under Möbius transformations of the plane as well as under local conformal maps, that is, they behave like correlation functions of primary operators in conformal field theory. In particular, they are invariant under translations, rotations and inversions, and for any . This implies that and , for some constants C2 and C3.
We also define a site-diluted spin model whose n-point correlation functions Cn can be expressed in terms of percolation connection probabilities and, as a consequence, have a well-defined scaling limit with the same properties as the functions . In particular, . We prove that the magnetization field associated with this spin model has a well-defined scaling limit in an appropriate space of distributions. The limiting field transforms covariantly under Möbius transformations with exponent (scaling dimension) 5/48. A heuristic analysis of the four-point function of the magnetization field suggests the presence of an additional conformal field of scaling dimension 5/4, which counts the number of percolation four-arm events and can be identified with the so-called “four-leg operator” of conformal field theory.