Abstract:We define the symmetric exclusion process (SEP) on random neighbourhood graphs drawn from Poisson point processes on complete connected Riemannian manifolds equipped with a Gibbs reference measure. We obtain diffusions with drift induced by the potential of the Gibbs measure as hydrodynamic limits. This is a consequence of the duality between the (SEP) and random walks approximating weighted Laplacians. We also lift the (SEP) to principal bundles, and we obtain horizontal diffusions with drift as hydrodynamic limits. Examples include the orthonormal frame bundle with the horizontal Laplacian which plays a central role in the Eells-Elworthy-Émery construction of Riemannian Brownian motion.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the hydrodynamic limit problem of the Symmetric Exclusion Process (SEP) on complete Riemannian manifolds and principal bundles. Specifically, the author aims to:
1. **Expand the geometric framework of existing research**: Previous studies have mainly focused on the symmetric exclusion process on lattices or discrete tori, and the macroscopic space is usually \( \mathbb{R}^d \) or a d - dimensional torus. This paper generalizes these results to a broader geometric structure, including non - compact complete Riemannian manifolds and principal bundles.
2. **Introduce random neighborhood graphs**: On these manifolds, the microscopic model of the particle system is defined by random neighborhood graphs drawn from the Poisson Point Process (PPP). The vertices of these graphs are given by PPP with Gibbs intensity, and the edges are determined by the distances between the vertices.
3. **Derive diffusion equations with drift**: Through the hydrodynamic limit of the symmetric exclusion process, the author derives diffusion equations with drift terms. These equations can be regarded as a generalized form of the heat equation, in which the Laplace - Beltrami operator is replaced by a weighted Laplace operator, and the weight is determined by the potential \( U \) of the Gibbs measure.
4. **Lift to horizontal diffusion on principal bundles**: Further, the author lifts the symmetric exclusion process to principal bundles and obtains horizontal diffusion equations with drift. This includes the horizontal Laplace operator on the orthogonal frame bundle, which plays an important role in the Eells - Elworthy - Emery construction of Riemannian Brownian motion.
### Main contributions
- **Removing the compactness assumption**: No longer limited to compact manifolds, more general complete manifolds are considered.
- **Simplifying the convergence proof**: The Bernstein inequality is used to prove that the random walk on the random neighborhood graph converges to a diffusion process, instead of relying on Wasserstein convergence.
- **New diffusion equations**: A new form of diffusion equations with a weighted Laplace operator is obtained, which not only extends the geometric background but also provides a new perspective even in the Euclidean context.
### Formula summary
- Generator of the symmetric exclusion process:
\[
L_{\text{SEP}}^G f(\eta) = \sum_{(x,y) \in E} W(x, y) (f(\eta^{x,y}) - f(\eta))
\]
where \( W(x, y) \) is the symmetric weight, defined as:
\[
W_N(X_i, X_j) := h_N^{-m} k\left(\frac{d_M(X_i, X_j)}{h_N}\right) \sqrt{e^{-U(X_i)} e^{-U(X_j)}}
\]
- Diffusion equation under the hydrodynamic limit:
\[
\partial_t \rho_t = C_k (\Delta - \nabla U \cdot \nabla) \rho_t
\]
where \( C_k \) is a constant depending only on the kernel function \( k \).
By solving these problems, this paper provides new theoretical tools for understanding interacting particle systems on complex geometric structures and their macroscopic behaviors.