Search arXivSearch

arXiv · 2302.11100

Hausdorff dimension of directional limit sets for self-joinings of hyperbolic manifolds

Abstract

The classical result of Patterson and Sullivan says that for a non-elementary convex cocompact subgroup $Γ<\text{SO}^\circ (n,1)$, $n\ge 2$, the Hausdorff dimension of the limit set of $Γ$ is equal to the critical exponent of $Γ$. In this paper, we generalize this result for self-joinings of convex cocompact groups in two ways. Let $Δ$ be a finitely generated group and $ρ_i:Δ\to \text{SO}^\circ(n_i,1)$ be a convex cocompact faithful representation of $Δ$ for $1\le i\le k$. Associated to $ρ=(ρ_1, \cdots, ρ_k)$, we consider the following self-joining subgroup of $\prod_{i=1}^k \text{SO}(n_i,1)$: $$Γ=\left(\prod_{i=1}^kρ_i\right)(Δ)=\{(ρ_1(g), \cdots, ρ_k(g)):g\in Δ\} .$$ (1). Denoting by $Λ\subset \prod_{i=1}^k \mathbb{S}^{n_i-1}$ the limit set of $Γ$, we first prove that $$\text{dim}_H Λ=\max_{1\le i\le k} δ_{ρ_i}$$ where $δ_{ρ_i}$ is the critical exponent of the subgroup $ρ_{i}(Δ)$. (2). Denoting by $Λ_u\subset Λ$ the $u$-directional limit set for each $u=(u_1, \cdots, u_k)$ in the interior of the limit cone of $Γ$, we obtain that for $k\le 3$, $$ \frac{ψ_Γ(u)}{\max_i u_i }\le \text{dim}_H Λ_u \le \frac{ψ_Γ(u)}{\min_i u_i }$$ where $ψ_Γ:\mathbb{R}^k\to \mathbb{R}\cup\{-\infty\}$ is the growth indicator function of $Γ$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dongryul M. Kim, Yair Minsky, Hee Oh. 2023-05-22. Hausdorff dimension of directional limit sets for self-joinings of hyperbolic manifolds. https://arxiv.org/abs/2302.11100

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS

Equation-Free Screening of Mittag-Leffler-Compatible Dynamics from Scalar Time Series via kNN Multi-Horizon Profiles

Fractional models provide a natural description of systems with memory, but a noninteger derivative should not be introduced solely because a time series is curved or slowly relaxing. We develop an equation-free preliminary screening framework that asks whether a scalar time series produces a multi-horizon k-nearest-neighbor (kNN) profile more compatible with Mittag-Leffler-type behavior than with selected conventional alternatives. In an ideal matched Caputo-relaxation benchmark, the complete generation-kNN-profile-model-comparison pipeline reproduces the expected Mittag-Leffler geometry and recovers the generating order to within approximately $10^{-3}$; this is interpreted as controlled calibration rather than as general fractional-order identification. Under 3% trajectory-specific observational noise, the held-out Mittag-Leffler preference is most consistent when the generating dynamics are well separated from the integer-order limit and becomes progressively less decisive as $α\rightarrow1$. The fitted order $α_{\mathrm{fit}}$, however, shows substantially larger realization-to-realization variability. Thus, relative model compatibility is more robust than single-realization order estimation in the present noisy benchmark. Noise-free nonfractional controls show a separate limitation of specificity: a stretched exponential can generate a strongly Mittag-Leffler-compatible profile, whereas inclusion of the generating rational/Hill family recovers that family and its parameters to numerical precision in the matched setting. A positive Mittag-Leffler-versus-exponential screen therefore does not uniquely establish fractional origin. A fractional chaotic system is treated only as an exploratory extension: the Mittag-Leffler growth family gives lower finite-window RMSE than exponential and logistic/saturating alternatives over the detected pre-transition interval.

math.DS