Computability of Brolin-Lyubich measure

DOI10.1007/S00220-011-1363-1zbMATH Open1246.37070arXiv1009.3464OpenAlexW2055532102MaRDI QIDQ651408FDOQ651408

Authors: Mark Braverman, Michael Yampolsky, Ilia Binder, Cristobal Rojas 

Publication date: 13 December 2011

Published in: Communications in Mathematical Physics (Search for Journal in Brave)

Abstract: Brolin-Lyubich measure $lambd{a}_R$ of a rational endomorphism $R:iemoiem$ with $degRgeq2$ is the unique invariant measure of maximal entropy $h_{lambd{a}_R}=h_{exttop}(R)=logd$. Its support is the Julia set $J(R)$. We demonstrate that $lambd{a}_R$ is always computable by an algorithm which has access to coefficients of $R$, even when $J(R)$ is not computable. In the case when $R$ is a polynomial, Brolin-Lyubich measure coincides with the harmonic measure of the basin of infinity. We find a sufficient condition for computability of the harmonic measure of a domain, which holds for the basin of infinity of a polynomial mapping, and show that computability may fail for a general domain.

Full work available at URL: https://arxiv.org/abs/1009.3464

Recommendations

• Non-computable Julia sets
• Computability of the Julia set. Nonrecurrent critical orbits
• Dynamics and abstract computability: computing invariant measures
• Computability of Julia sets
• On computational complexity of Cremer Julia sets

zbMATH Keywords

rational mapharmonic measurecomputabilitybasin of infinityBrolin-Lyubich measure

Mathematics Subject Classification ID

Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10) Small divisors, rotation domains and linearization in holomorphic dynamics (37F50) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Constructive and recursive analysis (03F60)

Cites Work

• A rigorous ODE solver and Smale's 14th problem
• Deterministic Nonperiodic Flow
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differentiable dynamical systems
• Dynamics in One Complex Variable. (AM-160)
• Title not available (Why is that?)
• Two-dimensional Brownian motion and harmonic functions
• On the concept of attractor
• Computability of probability measures and Martin-Löf randomness over metric spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Invariant sets under iteration of rational functions
• Uniformly perfect sets and the Poincaré metric
• Derandomization of Euclidean Random Walks
• Title not available (Why is that?)
• Non-computable Julia sets
• Julia Sets are Uniformly Perfect
• Computability of Julia sets
• Equidistribution and Nevanlinna theory
• Dynamics and abstract computability: computing invariant measures
• Filled Julia sets with empty interior are computable
• Equidistribution speed for endomorphisms of projective spaces
• On computational complexity of Siegel Julia sets

Cited In (15)

• Statistical properties of dynamical systems -- Simulation and abstract computation
• Carathéodory convergence and harmonic measure
• Effective notions of weak convergence of measures on the real line
• Computability of topological pressure on compact shift spaces beyond finite type*
• Computability at zero temperature
• Probability, statistics and computation in dynamical systems
• On the computational content of the Bolzano-Weierstraß Principle
• Computable complex analysis
• Computable Geometric Complex Analysis and Complex Dynamics
• Tight space-noise tradeoffs in computing the ergodic measure
• Computability in harmonic analysis
• Non-computable impressions of computable external rays of quadratic polynomials
• Towards understanding the theoretical challenges of numerical modeling of dynamical systems
• Computability of topological entropy: from general systems to transformations on Cantor sets and the interval
• On the computability of rotation sets and their entropies

This page was built for publication: Computability of Brolin-Lyubich measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651408)