From the 1 of 29 papers with an AI index.
10 citations
- Centre National de la Recherche ScientifiqueFR17 papers
- Lyon 1 UniversitéFR15 papers
- Laboratoire de Physique de l'ENS de LyonFR10 papers
- Centre de Recherche Astrophysique de LyonFR6 papers
- Sorbonne UniversitéFR6 papers
- Laboratoire de l'Informatique du ParallélismeFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Université Paris CitéFR3 papers
- Université Paris-SaclayFR3 papers
- Aix-Marseille UniversitéFR2 papers
- Astrophysique, Instrumentation et ModélisationFR2 papers
- CEA Paris-SaclayFR2 papers
4 papers · 1 filter
Rotational invariance in critical planar lattice models
Hugo Duminil-Copin, Karol Kajetan Kozlowski, Dmitry Krachun +2
We prove that the large-scale properties of a number of two-dimensional lattice models are rotationally invariant. More precisely, we prove that the random-cluster model on the squ…
Glauber dynamics and coupling-from-the-past for Gaussian fields
Corentin Faipeur
We study the representation of stationary Gaussian Markov random fields as factors of i.i.d. processes, with a focus on their approximation by finitely dependent distributions. Our…
A Formalization of the Ionescu-Tulcea Theorem in Mathlib
Etienne Marion
We describe the formalization of the Ionescu-Tulcea theorem, showing the existence of a probability measure on the space of trajectories of a Markov chain, in the proof assistant L…
Subcritical annulus crossing in spatial random graphs
Emmanuel Jacob, Benedikt Jahnel, Lukas Lüchtrath
We consider general continuum percolation models obeying sparseness, translation invariance, and spatial decorrelation. In particular, this includes models constructed on general p…