-
Local Space and Time Scaling Exponents for Diffusion on Compact Metric Spaces
Authors:
John Dever
Abstract:
We provide a new definition of a local walk dimension $β$ that depends only on the metric and not on the existence of a particular regular Dirichlet form or heat kernel asymptotics. Moreover, we study the local Hausdorff dimension $α$ and prove that any variable Ahlfors regular measure of variable dimension $Q$ is strongly equivalent to the local Haudorff measure with $Q=α,$ generalizing the const…
▽ More
We provide a new definition of a local walk dimension $β$ that depends only on the metric and not on the existence of a particular regular Dirichlet form or heat kernel asymptotics. Moreover, we study the local Hausdorff dimension $α$ and prove that any variable Ahlfors regular measure of variable dimension $Q$ is strongly equivalent to the local Haudorff measure with $Q=α,$ generalizing the constant dimensional case. Additionally, we provide constructions of several variable dimensional spaces, including a new example of a variable dimensional Sierpinski carpet. We show also that there exist natural examples where $α$ and $β$ both vary continuously. We prove $β\geq 2$ provided the space is doubling. We use the local exponent $β$ in time-scale renormalization of discrete time random walks, that are approximate at a given scale in the sense that the expected jump size is the order of the space scale. In analogy with the variable Ahlfors regularity space scaling condition involving $α$, we consider the condition that the expected time to leave a ball scales like the radius of the ball to the power $β$ of the center. Under this local time scaling condition along with the local space scaling condition of Ahlfors regularity, we then study the $Γ$ and Mosco convergence of the resulting continuous time approximate walks as the space scale goes to zero. We prove that a non-trivial Dirichlet form with Dirichlet boundary conditions on a ball exists as a Mosco limit of approximate forms. One of the novel ideas in this construction is the use of exit time functions, analogous to the torsion functions of Riemannian geometry, as test functions to ensure the resulting domain contains enough functions. We also prove tightness of the associated continuous time processes.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
A Localized Diffusive Time Exponent for Compact Metric Spaces
Authors:
John Dever
Abstract:
We provide a definition of a new critical exponent $β$ that has the interpretation of a type of local walk dimension, and may be defined on any compact metric space. We then specialize to the case of random walks that jump uniformly in metric balls with respect to a given Borel measure of full support. We use the local exponent $β$ as a local time scaling exponent to re-normalize the time scale an…
▽ More
We provide a definition of a new critical exponent $β$ that has the interpretation of a type of local walk dimension, and may be defined on any compact metric space. We then specialize to the case of random walks that jump uniformly in metric balls with respect to a given Borel measure of full support. We use the local exponent $β$ as a local time scaling exponent to re-normalize the time scale and produce approximating continuous time walks. We show a Faber-Krahn type inequality $λ_{1,r}(B)\geq \frac{c}{R^{β(x_0)}},$ where $c$ is a constant independent of $r$ and $x_0$ and where $λ_{1,r}(B)$ is the bottom of the spectrum of the generator for the re-normalized continuous time walk at stage $r$ killed outside of $B=B_R(x_0).$ In addition, we examine the local Hausdorff dimension $α.$ We show that any variable Ahlfors $Q$-regular measure is strongly equivalent to the local Hausdorff measure and that $Q=α.$ We also provide new examples of variable dimensional spaces, including a variable dimensional Sierpinski carpet.
△ Less
Submitted 1 November, 2017; v1 submitted 21 October, 2017;
originally announced October 2017.
-
Local Hausdorff Measure
Authors:
John Dever
Abstract:
A local Hausdorff dimension is defined on a metric space. We study its properties and use it to define a local Hausdorff measure. We show that in the case that in the local Hausdorff measure is finite we can recover the global Hausdorff dimension from the local one. Lastly, for a variable Ahlfors Q-regular measure on a compact metric space, we show the Ahlfors regular measure is strongly equivalen…
▽ More
A local Hausdorff dimension is defined on a metric space. We study its properties and use it to define a local Hausdorff measure. We show that in the case that in the local Hausdorff measure is finite we can recover the global Hausdorff dimension from the local one. Lastly, for a variable Ahlfors Q-regular measure on a compact metric space, we show the Ahlfors regular measure is strongly equivalent to the local Hausdorff measure and that the function $Q$ is equal to the local Hausdorff dimension.
△ Less
Submitted 30 September, 2016;
originally announced October 2016.
-
Eigenvalue Sums of Combinatorial Magnetic Laplacians on Finite Graphs
Authors:
John Dever
Abstract:
We give a construction of a class of magnetic Laplacian operators on finite directed graphs. We study some general combinatorial and algebraic properties of operators in this class before applying the Harrell-Stubbe Averaged Variational Principle to derive several sharp bounds on sums of eigenvalues of such operators. In particular, among other inequalities, we show that if $G$ is a directed graph…
▽ More
We give a construction of a class of magnetic Laplacian operators on finite directed graphs. We study some general combinatorial and algebraic properties of operators in this class before applying the Harrell-Stubbe Averaged Variational Principle to derive several sharp bounds on sums of eigenvalues of such operators. In particular, among other inequalities, we show that if $G$ is a directed graph on $n$ vertices arising from orienting a connected subgraph of $d$-regular loopless graph on $n$ vertices, then if $Δ_θ$ is any magnetic Laplacian on $G$, of which the standard combinatorial Laplacian is a special case, and $λ_0\leq λ_1\leq ...\leqλ_{n-1}$ are the eigenvalues of $Δ_θ,$ then for $k\leq \frac{n}{2},$ we have \[\frac{1}{k}\sum_{j=0}^{k-1}λ_j \leq d-1.\]
△ Less
Submitted 4 June, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
