Dimension conservation of harmonic measures in products of hyperbolic spaces

Ryokichi Tanaka

2024-03-04

Abstract:We show that the harmonic measure on a product of boundaries satisfies dimension conservation for a random walk with non-elementary marginals on a countable group acting on a product of hyperbolic spaces under finite first moment condition.

Dynamical Systems,Probability

What problem does this paper attempt to address?

Dimensions of harmonic measures in percolation clusters on hyperbolic groups

Kohki Sakamoto

2024-03-18

Abstract:For the simple random walks in percolation clusters on hyperbolic groups, we show that the associated harmonic measures are exact dimensional and their Hausdorff dimensions are equal to the entropy over the speed. Our method is inspired by cluster relations introduced by Gaboriau and applies to a large class of random environments on the groups.

Probability,Dynamical Systems,Group Theory
General harmonic measures for distance-expanding dynamical systems

Zhiqiang Li,Ruicen Qiu

2024-05-06

Abstract:Partially motivated by the study of I. Binder, N. Makarov, and S. Smirnov [BMS03] on dimension spectra of polynomial Cantor sets, we initiate the investigation on some general harmonic measures, inspired by Sullivan's dictionary, for distance-expanding dynamical systems. Let $f\colon X\to X$ be an open distance-expanding map on a compact metric space $(X,\rho)$. A Gromov hyperbolic tile graph $\Gamma$ associated to the dynamical system $(X,f)$ is constructed following the ideas from M. Bonk, D. Meyer [BM17] and P. Haïssinsky, K. M. Pilgrim [HP09]. We consider a class of one-sided random walks associated with $(X,f)$ on $\Gamma$. They induce a Martin boundary of the tile graph, which may be different from the hyperbolic boundary. We show that the Martin boundary of such a random walk admits a surjection to $X$. We provide a class of examples to show that the surjection may not be a homeomorphism. Such random walks also induce measures on $X$ called harmonic measures. When $\rho$ is a visual metric, we establish an equality between the fractal dimension of the harmonic measure and the asymptotic quantities of the random walk.

Dynamical Systems,Metric Geometry,Probability
Dimension of Hyperbolic Measures of Random Diffeomorphisms

Pei-Dong Liu,Jian-Sheng Xie

DOI: https://doi.org/10.1090/s0002-9947-06-03933-x

IF: 1.3529

2006-01-01

Transactions of the American Mathematical Society

Abstract:We consider dynamics of compositions of stationary random C-2 diffeomorphisms. We will prove that the sample measures of an ergodic hyperbolic invariant measure of the system are exact dimensional. This is an extension to random diffeomorphisms of the main result of Barreira, Pesin and Schmeling (1999), which proves the Eckmann-Ruelle dimension conjecture for a deterministic diffeomorphism.
Dimension estimates and approximation in non-uniformly hyperbolic systems

JUAN WANG,YONGLUO CAO,YUN ZHAO

DOI: https://doi.org/10.1017/etds.2024.3

2024-02-13

Ergodic Theory and Dynamical Systems

Abstract:Let be a diffeomorphism on an -dimensional compact smooth Riemannian manifold M and a hyperbolic ergodic f-invariant probability measure. This paper obtains an upper bound for the stable (unstable) pointwise dimension of , which is given by the unique solution of an equation involving the sub-additive measure-theoretic pressure. If is a Sinai–Ruelle–Bowen (SRB) measure, then the Kaplan–Yorke conjecture is true under some additional conditions and the Lyapunov dimension of can be approximated gradually by the Hausdorff dimension of a sequence of hyperbolic sets . The limit behaviour of the Carathéodory singular dimension of on the unstable manifold with respect to the super-additive singular valued potential is also studied.

mathematics, applied
Dimensions of harmonic measures on non-autonomous Cantor sets

Athanasios Batakis,Guillaume Havard

2024-09-12

Abstract:We consider Non Autonomous Conformal Iterative Function Systems (NACIFS) and their limit set. Our main concern is harmonic measure and its dimensions : Hausdorff and Packing. We prove that this two dimensions are continuous under perturbations and that they verify Bowen's and Manning's type formulas. In order to do so we prove general results about measures, and more generally about positive functionals, defined on a symbolic space, developing tools from thermodynamical formalism in a non-autonomous setting.

Dynamical Systems,Metric Geometry,Probability
Harmonic Functions, Entropy, and a Characterization of the Hyperbolic Space

Xiaodong Wang

DOI: https://doi.org/10.48550/arXiv.0711.4592

2007-11-28

Differential Geometry

Abstract:Let $(M^{n},g)$ be a compact Riemannian manifold with $Ric\geq-(n-1) $. It is well known that the bottom of spectrum $\lambda_{0}$ of its unverversal covering satisfies $\lambda_{0}\leq(n-1) ^{2}/4 $. We prove that equality holds iff $M$ is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy.
Exact dimension of dynamical stationary measures

François Ledrappier,Pablo Lessa

DOI: https://doi.org/10.3934/jmd.2024019

2024-11-28

Journal of Modern Dynamics

Abstract:We consider a random walk on with finite first moment and countable support. We show that the distributions of the unstable flag space and of the stable flag space are exact dimensional.

mathematics, applied
The dimension of harmonic measure on some AD-regular flat sets of fractional dimension

Xavier Tolsa

2023-06-10

Abstract:In this paper it is shown that if $E\subset\mathbb R^{n+1}$ is an $s$-AD regular compact set, with $s\in [n-\frac12,n)$, and $E$ is contained in a hyperplane or, more generally, in an $n$-dimensional $C^1$ manifold, then the Hausdorff dimension of the harmonic measure for the domain $\mathbb R^{n+1}\setminus E$ is strictly smaller than $s$, i.e., than the Hausdorff dimension of $E$.

Classical Analysis and ODEs,Analysis of PDEs
Equidistribution of closed geodesics along random walk trajectories with respect to the harmonic invariant measure

Ilya Gekhtman

DOI: https://doi.org/10.48550/arXiv.1711.04985

2017-11-14

Abstract:We prove that for suitable random walks on isometry groups of $CAT(-1)$ spaces, typical sample paths eventually land on loxodromic elements which equidistribute with respect to a flow invariant measure on the unit tangent bundle of the quotient space.

Dynamical Systems
Hyperbolic entropy for harmonic measures on singular holomorphic foliations

François Bacher

2024-11-04

Abstract:Let $\mathscr{F}=(M,\mathscr{L},E)$ be a Brody-hyperbolic singular holomorphic foliation on a compact complex manifold $M$. Suppose that $\mathscr{F}$ has isolated singularities and that its Poincaré metric is complete. This is the case for a very large class of singularities, namely, non-degenerate and saddle-nodes in dimension $2$. Let $\mu$ be an ergodic harmonic measure on $\mathscr{F}$. We show that the upper and lower local hyperbolic entropies of $\mu$ are leafwise constant almost everywhere. Moreover, we show that the entropy of $\mu$ is at least $2$.

Dynamical Systems,Complex Variables
Minimal harmonic measure on 2D lattices

Zhenhao Cai,Eviatar B. Procaccia,Yuan Zhang

2024-08-31

Abstract:We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice $\mathbb{Z}^2$, the triangular lattice $\mathscr{T}$ and the hexagonal lattice $\mathscr{H}$. In particular, for the least positive value of the harmonic measure of any $n$-point set, denoted by $\mathscr{M}_n(\mathscr{G})$, we prove in this paper that $$[\lambda(\mathscr{G})]^{-n+c\sqrt{n}} \le \mathscr{M}_n(\mathscr{G})\le [\lambda(\mathscr{G})]^{-n+C\sqrt{n}},$$ where $\lambda(\mathbb{Z}^2)=(2+\sqrt{3})^2$, $\lambda(\mathscr{T})=3+2\sqrt{2}$ and $\lambda(\mathscr{H})=(\tfrac{3+\sqrt{5}}{2})^3$. Our results confirm a stronger version of the conjecture proposed by Calvert, Ganguly and Hammond (2023) which predicts the asymptotic of the exponent of $\mathscr{M}_n(\mathbb{Z}^2)$. Moreover, these estimates also significantly extend the findings in our previous paper with Kozma (2023) that $\mathscr{M}_n(\mathscr{G})$ decays exponentially for a large family of graphs $\mathscr{G}$ including $\mathscr{T}$, $\mathscr{H}$ and $\mathbb{Z}^d$ for all $d\ge 2$.

Probability
High Dimensional Space Oddity

Haim Bar,Vladimir Pozdnyakov

2024-09-20

Abstract:In his 1996 paper, Talagrand highlighted that the Law of Large Numbers (LLN) for independent random variables can be viewed as a geometric property of multidimensional product spaces. This phenomenon is known as the concentration of measure. To illustrate this profound connection between geometry and probability theory, we consider a seemingly intractable geometric problem in multidimensional Euclidean space and solve it using standard probabilistic tools such as the LLN and the Central Limit Theorem (CLT).

Probability,Statistics Theory
An elementary approach to the dimension of measures satisfying a first-order linear PDE constraint

Adolfo Arroyo-Rabasa

DOI: https://doi.org/10.48550/arXiv.1812.07629

2018-12-19

Abstract:We give a simple criterion on the set of probability tangent measures $\mathrm{Tan}(\mu,x)$ of a positive Radon measure $\mu$, which yields lower bounds on the Hausdorff dimension of $\mu$. As an application, we give an elementary and purely algebraic proof of the sharp Hausdorff dimension lower bounds for first-order linear PDE-constrained measures; bounds for closed (measure) differential forms and normal currents are further discussed. A weak structure theorem in the spirit of [Ann. Math. 184(3) (2016), pp. 1017-1039] is also discussed for such measures.

Analysis of PDEs
Boundary exceptional sets for radial limits of superharmonic functions on non-positively curved Harmonic manifolds of purely exponential volume growth

Utsav Dewan

2023-09-12

Abstract:By classical Fatou type theorems in various setups, it is well-known that positive harmonic functions have non-tangential limit at almost every point on the boundary. In this paper, in the setting of non-positively curved Harmonic manifolds of purely exponential volume growth, we are interested in the size of the exceptional sets of points on the boundary at infinity, where a suitable function blows up faster than a prescribed growth rate, along radial geodesic rays. For Poisson integrals of complex measures, we obtain a sharp bound on the Hausdorff dimension of the exceptional sets, in terms of the mean curvature of horospheres and the parameter of the growth rate. In the case of the Green potentials, we obtain similar upper bounds and also construct Green potentials that blow up faster than a prescribed rate on lower Hausdorff dimensional realizable sets. So we get a gap in the corresponding Hausdorff dimensions due to the assumption of variable pinched non-positive sectional curvature. We also obtain a Riesz decomposition theorem for subharmonic functions. Combining the above results we get our main result concerning Hausdorff dimensions of the exceptional sets of positive superharmonic functions.

Classical Analysis and ODEs,Differential Geometry
A note on the volume entropy on harmonic manifolds of hypergeometric type

Hiroyasu Satoh

2024-05-13

Abstract:Harmonic manifolds of hypergeometric type form a class of non-compact harmonic manifolds that includes rank one symmetric spaces of non-compact type and Damek-Ricci spaces. When normalizing the metric of a harmonic manifold of hypergeometric type to satisfy the Ricci curvature $\mathrm{Ric} = -(n-1)$, we show that the volume entropy of this manifold satisfies a certain inequality. Additionally, we show that manifolds yielding the upper bound of volume entropy are only real hyperbolic spaces with sectional curvature $-1$, while examples of Damek-Ricci spaces yielding the lower bound exist in only four cases.

Differential Geometry
Hyperuniformity of random measures on Euclidean and hyperbolic spaces

Michael Björklund,Mattias Byléhn

2024-05-21

Abstract:We investigate lower asymptotic bounds of number variances for invariant locally square-integrable random measures on Euclidean and real hyperbolic spaces. In the Euclidean case we show that there are subsequences of radii for which the number variance grows at least as fast as the volume of the boundary of Euclidean balls, generalizing a classical result of Beck. With regards to real hyperbolic spaces we prove that random measures are never geometrically hyperuniform and if the random measure admits non-trivial complementary series diffraction, then it is hyperfluctuating. Moreover, we define spectral hyperuniformity and stealth of random measures on real hyperbolic spaces in terms of vanishing of the complementary series diffraction and sub-Poissonian decay of the principal series diffraction around the Harish-Chandra $\Xi$-function.

Probability,Classical Analysis and ODEs,Dynamical Systems
Dimension Theory for Invariant Measures of Endomorphisms

Lin Shu

DOI: https://doi.org/10.1007/s00220-010-1059-y

IF: 2.361

2010-01-01

Communications in Mathematical Physics

Abstract:We establish the exact dimensional property of an ergodic hyperbolic measure for a C 2 non-invertible but non-degenerate endomorphism on a compact Riemannian manifold without boundary. Based on this, we give a new formula of Lyapunov dimension of ergodic measures and show it coincides with the dimension of hyperbolic ergodic measures in a setting of random endomorphisms. Our results extend several well known theorems of Barreira et al. (Ann Math 149:755–783, 1999) and Ledrappier and Young [Commun Math Phys 117(4):529–548, 1988] for diffeomorphisms to the case of endomorphisms.
Cantor sets with absolutely continuous harmonic measure

Guy David,Cole Jeznach,Antoine Julia

2023-03-04

Abstract:We construct Ahlfors regular Cantor sets $K$ of small dimension in the plane, such that the Hausdorff measure on $K$ is equivalent to the harmonic measure associated to its complement. In particular the Green function in $R^2 \backslash K$ satisfies $G^p (x) \simeq \mathrm{dist} (x, K)^\delta$ whenever $\mathrm{dist} (x, K) \le 1$ and $p$ is far from $K$.

Analysis of PDEs,Classical Analysis and ODEs
Dimension and structure of the Robin Harmonic Measure on Rough Domains

Guy David,Stefano Decio,Max Engelstein,Svitlana Mayboroda,Marco Michetti

2024-10-31

Abstract:The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the physics literature, that the dimension of the Robin harmonic measure in rough domains exhibits a phase transition as the boundary condition interpolates between completely reflecting and completely absorbing. In the adopted traditional language, the corresponding harmonic measure exhibits no dimension drop, and the absolute continuity necessitates neither rectifiability of the boundary nor control of the oscillations of the coefficients of the equation. The expected phase transition is rather exhibited through the detailed non-scale-invariant weight estimates.

Analysis of PDEs,Classical Analysis and ODEs
The Harmonic Measure Distribution Function and Complex Brownian Motion

Greg Markowsky,Clayton McDonald

2024-12-08

Abstract:Given a planar domain $D$, the harmonic measure distribution function $h_D(r)$, with base point $z$, is the harmonic measure with pole at $z$ of the parts of the boundary which are within a distance $r$ of $z$. Equivalently it is the probability Brownian motion started from $z$ first strikes the boundary within a distance $r$ from $z$. We call $h_D$ the $h$-function of $D$, this function captures geometrical aspects of the domain, such as connectivity, or curvature of the boundary. This paper is concerned with the inverse problem: given a suitable function $h$, does there exist a domain $D$ such that $h = h_D$? To answer this, we first extend the concept of a $h$-function of a domain to one of a stopping time $\tau$ . By using the conformal invariance of Brownian motion we solve the inverse problem for that of a stopping time. The associated stopping time will be the projection of a hitting time of the real line. If this projection corresponds to the hitting time of a domain $D$, then this technique solves the original inverse problem. We have found a large family of examples such that the associated stopping time is that of a hitting time.

Probability,Complex Variables

Dimension conservation of harmonic measures in products of hyperbolic spaces

Dimensions of harmonic measures in percolation clusters on hyperbolic groups

General harmonic measures for distance-expanding dynamical systems

Dimension of Hyperbolic Measures of Random Diffeomorphisms

Dimension estimates and approximation in non-uniformly hyperbolic systems

Dimensions of harmonic measures on non-autonomous Cantor sets

Harmonic Functions, Entropy, and a Characterization of the Hyperbolic Space

Exact dimension of dynamical stationary measures

The dimension of harmonic measure on some AD-regular flat sets of fractional dimension

Equidistribution of closed geodesics along random walk trajectories with respect to the harmonic invariant measure

Hyperbolic entropy for harmonic measures on singular holomorphic foliations

Minimal harmonic measure on 2D lattices

High Dimensional Space Oddity

An elementary approach to the dimension of measures satisfying a first-order linear PDE constraint

Boundary exceptional sets for radial limits of superharmonic functions on non-positively curved Harmonic manifolds of purely exponential volume growth

A note on the volume entropy on harmonic manifolds of hypergeometric type

Hyperuniformity of random measures on Euclidean and hyperbolic spaces

Dimension Theory for Invariant Measures of Endomorphisms

Cantor sets with absolutely continuous harmonic measure

Dimension and structure of the Robin Harmonic Measure on Rough Domains

The Harmonic Measure Distribution Function and Complex Brownian Motion