Harmonic deformation of Delaunay triangulations (Q424530): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(S\) be an ergodic point process on \({\mathbb R}^d\) with intensity 1 and \(S^0\) its Palm version. Call \({\mathcal P}\) and \({\mathcal E}\) the probability and expectation associated to \(S\) and \(S^0\). The Voronoi cell of a point in \(S^0\) is the set of sites in \({\mathbb R}^d\) that are closer to \(s\) than to any other point in \(S^0\). Two points are neighbors if the intersection of the closure of the respective Voronoi cells has dimension \(d-1\). The graph with vertices \(S^0\) and edges given by pairs of neighbors is called the Delaunay triangulation of \(S^0\). The goal of the paper is to construct a function \(H:\, S^0\to {\mathbb R}^d\) such that the graph with vertices \(H(S^0)\) and edges \(\{(H(s), H(s'))\), \(s\) and \(s'\) neighbors\(\}\) has the following properties: (1) each vertex \(H(s)\) is in the barycenter of its neighbors; and (2) \(|H(s) - s|/|s|\) (called the corrector) vanishes as \(|s|\) grows to infinity along any straight line. If such a function \(H\) exists, the resulting graph is the harmonic deformation of the Delaunay triangulation of \(S^0\). A search for such a function \(H\) was presented in [\textit{N. Berger} and \textit{M. Biskup}, Probab. Theory Relat. Fields 137, No. 1--2, 83--120 (2007; Zbl 1107.60066)]. The functions from \(S^0\) to \({\mathbb R}\) are called surfaces. The coordinates \(h_1\), \dots, \(h_d\) of \(H\) are harmonic surfaces. The sublinearity of the corrector, requirement (2) above, amounts to asking for \(h_i\) to have tilt \(e_i\), the \(i\)-th canonical vector of \({\mathbb R}^d\). Fixing a direction \(u\), the authors construct a harmonic surface with tilt \(u\) as the limit of a harness process. The paper is organized as follows. In Sections 2 and 3, the authors give basic definitions, define the space \({\mathcal H}\) of fields as a Hilbert space and show a useful integration by parts formula. In Section 4, the authors prove that the coordinates of the tilt of a surface can be seen as the inner product of its gradient with a specific field in \({\mathcal H}\). In Section 5, the Harris graphical construction of the Harness process is described. In Section 6, the author prove the main theorem. Section 7 deals with the uniqueness of the harmonic surface in \(d=2\). | |||
Property / review text: Let \(S\) be an ergodic point process on \({\mathbb R}^d\) with intensity 1 and \(S^0\) its Palm version. Call \({\mathcal P}\) and \({\mathcal E}\) the probability and expectation associated to \(S\) and \(S^0\). The Voronoi cell of a point in \(S^0\) is the set of sites in \({\mathbb R}^d\) that are closer to \(s\) than to any other point in \(S^0\). Two points are neighbors if the intersection of the closure of the respective Voronoi cells has dimension \(d-1\). The graph with vertices \(S^0\) and edges given by pairs of neighbors is called the Delaunay triangulation of \(S^0\). The goal of the paper is to construct a function \(H:\, S^0\to {\mathbb R}^d\) such that the graph with vertices \(H(S^0)\) and edges \(\{(H(s), H(s'))\), \(s\) and \(s'\) neighbors\(\}\) has the following properties: (1) each vertex \(H(s)\) is in the barycenter of its neighbors; and (2) \(|H(s) - s|/|s|\) (called the corrector) vanishes as \(|s|\) grows to infinity along any straight line. If such a function \(H\) exists, the resulting graph is the harmonic deformation of the Delaunay triangulation of \(S^0\). A search for such a function \(H\) was presented in [\textit{N. Berger} and \textit{M. Biskup}, Probab. Theory Relat. Fields 137, No. 1--2, 83--120 (2007; Zbl 1107.60066)]. The functions from \(S^0\) to \({\mathbb R}\) are called surfaces. The coordinates \(h_1\), \dots, \(h_d\) of \(H\) are harmonic surfaces. The sublinearity of the corrector, requirement (2) above, amounts to asking for \(h_i\) to have tilt \(e_i\), the \(i\)-th canonical vector of \({\mathbb R}^d\). Fixing a direction \(u\), the authors construct a harmonic surface with tilt \(u\) as the limit of a harness process. The paper is organized as follows. In Sections 2 and 3, the authors give basic definitions, define the space \({\mathcal H}\) of fields as a Hilbert space and show a useful integration by parts formula. In Section 4, the authors prove that the coordinates of the tilt of a surface can be seen as the inner product of its gradient with a specific field in \({\mathcal H}\). In Section 5, the Harris graphical construction of the Harness process is described. In Section 6, the author prove the main theorem. Section 7 deals with the uniqueness of the harmonic surface in \(d=2\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Viktor Ohanyan / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60F17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60G55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60K37 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6040318 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Harness process | |||
Property / zbMATH Keywords: Harness process / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
point processes | |||
Property / zbMATH Keywords: point processes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
harmonic functions on graphs | |||
Property / zbMATH Keywords: harmonic functions on graphs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
corrector | |||
Property / zbMATH Keywords: corrector / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1992996734 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.1677 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random walks on supercritical percolation clusters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariance principle for the random conductance model with unbounded conductances / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group-invariant percolation on graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Percolation in the hyperbolic plane / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quenched invariance principle for simple random walk on percolation clusters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Phase coexistence of gradient Gibbs states / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functional CLT for random walk among bounded random conductances / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Scaling limit for a class of gradient fields with nonconvex potentials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariance principle for Mott variable range hopping and other walks on point processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to the theory of point processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An invariance principle for reversible Markov processes. Applications to random motions in random environments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Poisson trees, succession lines and coalescing random walks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Harness processes and harmonic crystals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Motion by mean curvature from the Ginzburg-Landau \(\nabla\phi\) interface model / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite clusters in dependent automorphism invariant percolation on trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Point shift characterization of Palm measures on abelian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trees and matchings from point processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quenched invariance principles for random walks on percolation clusters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quenched invariance principles for walks on clusters of percolation or among random conduc\-tances / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tree and grid factors for general point processes / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:40, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Harmonic deformation of Delaunay triangulations |
scientific article |
Statements
Harmonic deformation of Delaunay triangulations (English)
0 references
1 June 2012
0 references
Let \(S\) be an ergodic point process on \({\mathbb R}^d\) with intensity 1 and \(S^0\) its Palm version. Call \({\mathcal P}\) and \({\mathcal E}\) the probability and expectation associated to \(S\) and \(S^0\). The Voronoi cell of a point in \(S^0\) is the set of sites in \({\mathbb R}^d\) that are closer to \(s\) than to any other point in \(S^0\). Two points are neighbors if the intersection of the closure of the respective Voronoi cells has dimension \(d-1\). The graph with vertices \(S^0\) and edges given by pairs of neighbors is called the Delaunay triangulation of \(S^0\). The goal of the paper is to construct a function \(H:\, S^0\to {\mathbb R}^d\) such that the graph with vertices \(H(S^0)\) and edges \(\{(H(s), H(s'))\), \(s\) and \(s'\) neighbors\(\}\) has the following properties: (1) each vertex \(H(s)\) is in the barycenter of its neighbors; and (2) \(|H(s) - s|/|s|\) (called the corrector) vanishes as \(|s|\) grows to infinity along any straight line. If such a function \(H\) exists, the resulting graph is the harmonic deformation of the Delaunay triangulation of \(S^0\). A search for such a function \(H\) was presented in [\textit{N. Berger} and \textit{M. Biskup}, Probab. Theory Relat. Fields 137, No. 1--2, 83--120 (2007; Zbl 1107.60066)]. The functions from \(S^0\) to \({\mathbb R}\) are called surfaces. The coordinates \(h_1\), \dots, \(h_d\) of \(H\) are harmonic surfaces. The sublinearity of the corrector, requirement (2) above, amounts to asking for \(h_i\) to have tilt \(e_i\), the \(i\)-th canonical vector of \({\mathbb R}^d\). Fixing a direction \(u\), the authors construct a harmonic surface with tilt \(u\) as the limit of a harness process. The paper is organized as follows. In Sections 2 and 3, the authors give basic definitions, define the space \({\mathcal H}\) of fields as a Hilbert space and show a useful integration by parts formula. In Section 4, the authors prove that the coordinates of the tilt of a surface can be seen as the inner product of its gradient with a specific field in \({\mathcal H}\). In Section 5, the Harris graphical construction of the Harness process is described. In Section 6, the author prove the main theorem. Section 7 deals with the uniqueness of the harmonic surface in \(d=2\).
0 references
Harness process
0 references
point processes
0 references
harmonic functions on graphs
0 references
corrector
0 references
0 references
0 references
0 references