∑math20

Probability and statistical mechanics · Result 224

Critical and quenched near-critical universality for Poisson–Voronoi percolation

3 papers

Proves Cardy's formula for annealed critical Poisson–Voronoi crossing probabilities in every bounded Jordan quadrilateral. With each model normalized by its own expected unit-square pivotal count, the conditional joint near-critical crossing-threshold laws for rational polygonal quads converge in environment probability to the triangular-lattice reference law. This establishes quenched near-critical universality for crossing thresholds.

Watch

1

The problem

What is being asked, where it comes from, and why it is hard. No proof needed.

▶Introduction to the problemin preparation
2

The solution proposed by OpenAI

How the paper solves it, step by step.

Full explanation
▶The proposed solutionin preparation

Papers 3

First page of From critical crossings to quenched near-critical universality in Voronoi percolation

From critical crossings to quenched near-critical universality in Voronoi percolation

OpenAI · October 5, 2026

Taking Cardy's crossing formula for critical Poisson–Voronoi percolation as an input, we prove a universal joint limit for the near-critical crossing thresholds of rational polygonal quadrilaterals under the monotone coupling. Conditional on the Poisson tessellation, the threshold law converges in probability over tessellations to the same law as on the triangular lattice. Each model is normalized by its own expected number of color-pivotal sites for a unit-square crossing.

Read PDF Download Source

Cite
@misc{OAI:From-critical-crossings-to-quenched-near-critical-universality-in-Voronoi-percolation-October-5-2026,
  author = {{OpenAI}},
  title = {{From critical crossings to quenched near-critical universality in Voronoi percolation}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/From-critical-crossings-to-quenched-near-critical-universality-in-Voronoi-percolation-October-5-2026/critical-crossings-quenched-near-critical-universality-voronoi-percolation.pdf}{OAI:From-critical-crossings-to-quenched-near-critical-universality-in-Voronoi-percolation-October-5-2026}},
  year = {2026}
}
First page of A Pivotal Amplitude for Voronoi Percolation from Cardy's Formula

A Pivotal Amplitude for Voronoi Percolation from Cardy's Formula

OpenAI · October 5, 2026

Taking Cardy's conformal crossing formula for critical planar Poisson–Voronoi percolation in every bounded Jordan quadrilateral as an input, we prove that the expected number of color-pivotal cells for a unit-square crossing is asymptotic to a positive constant times \(\varepsilon ^{-3/4}\), where the point intensity is \(\varepsilon ^{-2}\). No rate of convergence in Cardy's formula is required.

Read PDF Download Source

Cite
@misc{OAI:A-Pivotal-Amplitude-for-Voronoi-Percolation-from-Cardys-Formula-October-5-2026,
  author = {{OpenAI}},
  title = {{A Pivotal Amplitude for Voronoi Percolation from Cardy's Formula}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-Pivotal-Amplitude-for-Voronoi-Percolation-from-Cardys-Formula-October-5-2026/voronoi-pivotal-amplitude.pdf}{OAI:A-Pivotal-Amplitude-for-Voronoi-Percolation-from-Cardys-Formula-October-5-2026}},
  year = {2026}
}
First page of Cardy’s formula for critical Poisson–Voronoi percolation

Cardy’s formula for critical Poisson–Voronoi percolation

OpenAI · September 23, 2026

We prove Cardy's formula for annealed crossing probabilities in critical planar Poisson–Voronoi percolation in every bounded Jordan quadrilateral. This proves the annealed crossing-probability form of the conformal-invariance conjecture for this model.

Read PDF Download Source

Cite
@misc{OAI:Cardys-formula-for-critical-Poisson-Voronoi-percolation-September-23-2026,
  author = {{OpenAI}},
  title = {{Cardy's formula for critical Poisson--Voronoi percolation}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Cardys-formula-for-critical-Poisson-Voronoi-percolation-September-23-2026/paper.pdf}{OAI:Cardys-formula-for-critical-Poisson-Voronoi-percolation-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.