[Paper Review] An elementary proof of walk dimension being greater than two for Brownian motion on Sierpi\'{n}ski carpets

Naotaka Kajino|arXiv (Cornell University)|May 5, 2020

Mathematical Dynamics and Fractals28 references4 citations

TL;DR

This paper provides a self-contained, elementary proof that the walk dimension of Brownian motion on any generalized Sierpiński carpet exceeds two, relying solely on self-similarity, hypercubic symmetry, and basic theory of regular symmetric Dirichlet forms. The result confirms a key geometric property of the process and establishes a foundational fact used in the study of energy measures on fractals.

ABSTRACT

We give an elementary self-contained proof of the fact that the walk dimension of the Brownian motion on an \emph{arbitrary} generalized Sierpinski carpet is greater than two, no complete proof of which had been available in the literature. Our proof is based solely on the self-similarity and hypercubic symmetry of the associated Dirichlet form and on several very basic pieces of the theory of regular symmetric Dirichlet forms. We also present an application of this fact to the singularity of the energy measures with respect to the symmetric measure in this case, proved first by M. Hino in [\emph{Probab. Theory Related Fields} extbf{132} (2005), no. 2, 265--290].

Motivation & Objective

• To provide a complete, self-contained proof that the walk dimension of Brownian motion on any generalized Sierpiński carpet is strictly greater than two.
• To address the absence of a fully accessible and elementary proof for this fact in the existing literature.
• To establish a foundation for understanding the geometric and analytic properties of diffusion processes on fractal spaces.
• To apply the result to the singularity of energy measures with respect to the symmetric measure, as previously studied by Hino.

Proposed method

• Leveraging the self-similarity and hypercubic symmetry of the Dirichlet form associated with the Sierpiński carpet.
• Using only basic properties of regular symmetric Dirichlet forms, avoiding advanced analytic machinery.
• Constructing a comparison argument based on scaling behavior and energy estimates across different levels of the fractal construction.
• Applying the intrinsic metric structure derived from the Dirichlet form to analyze the time scaling of Brownian paths.
• Using the symmetry of the carpet to reduce the problem to a finite-dimensional comparison of energy norms.
• Establishing a lower bound on the walk dimension by contradiction, assuming it equals two and deriving a contradiction via energy scaling.

Experimental results

Research questions

• RQ1 What is the exact value of the walk dimension for Brownian motion on a generalized Sierpiński carpet, and is it strictly greater than two?
• RQ2 Can this result be proven using only elementary tools from the theory of Dirichlet forms and fractal symmetry?
• RQ3 How does the walk dimension relate to the singularity of energy measures with respect to the symmetric measure on such fractals?
• RQ4 Does the hypercubic symmetry of the carpet enable a simplified proof of the walk dimension's lower bound?
• RQ5 What role does self-similarity play in establishing the scaling behavior of the diffusion process?

Key findings

• The walk dimension of Brownian motion on any generalized Sierpiński carpet is strictly greater than two, confirming a long-standing geometric expectation.
• The proof is entirely elementary and self-contained, relying only on self-similarity, symmetry, and fundamental properties of regular symmetric Dirichlet forms.
• The result implies that the diffusion process on the carpet is subdiffusive in the sense of anomalous diffusion, with time scaling faster than space scaling.
• The walk dimension being greater than two leads to the singularity of the energy measure with respect to the symmetric measure, as previously established by Hino.
• The method provides a transparent and accessible route to understanding the anomalous scaling of diffusion on fractal domains.