Computability properties of hyperbolic complex Hénon maps
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917533295050752 |
|---|---|
| author | Boyd, Suzanne Wolf, Christian |
| author_facet | Boyd, Suzanne Wolf, Christian |
| contents | In this article, we provide the first theoretical framework guaranteeing that computers can, in principle, be used to analyze the parameter space of complex Hémaps. More precisely, we obtain computability results for hyperbolic polynomial diffeomorphisms of $\mathbb{C}^2$, for which Hénon maps are prototypical examples.
Specifically, we establish computability of the Julia set for hyperbolic maps, semi-decidability of hyperbolicity, and lower computability of the hyperbolicity locus in the parameter space of generalized Hénon mappings of fixed degree at least two.
Our approach builds upon techniques developed in our's recent previous works on polynomial maps of $\mathbb{C}$ and polynomial skew products of $\mathbb{C}^2$. In the setting of polynomial diffeomorphisms of $\mathbb{C}^2$, however, establishing hyperbolicity for the Julia set is considerably more difficult, as it requires identifying unstable (and stable) cone fields that are preserved and expanded by $Df$ (respectively $Df^{-1}$), and also due to the lack of algorithmically detectable quantitative shadowing. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_26306 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Computability properties of hyperbolic complex Hénon maps Boyd, Suzanne Wolf, Christian Dynamical Systems Primary: 37F10, 37D20, Secondary: 37F15, 03D80, 03D15 In this article, we provide the first theoretical framework guaranteeing that computers can, in principle, be used to analyze the parameter space of complex Hémaps. More precisely, we obtain computability results for hyperbolic polynomial diffeomorphisms of $\mathbb{C}^2$, for which Hénon maps are prototypical examples. Specifically, we establish computability of the Julia set for hyperbolic maps, semi-decidability of hyperbolicity, and lower computability of the hyperbolicity locus in the parameter space of generalized Hénon mappings of fixed degree at least two. Our approach builds upon techniques developed in our's recent previous works on polynomial maps of $\mathbb{C}$ and polynomial skew products of $\mathbb{C}^2$. In the setting of polynomial diffeomorphisms of $\mathbb{C}^2$, however, establishing hyperbolicity for the Julia set is considerably more difficult, as it requires identifying unstable (and stable) cone fields that are preserved and expanded by $Df$ (respectively $Df^{-1}$), and also due to the lack of algorithmically detectable quantitative shadowing. |
| title | Computability properties of hyperbolic complex Hénon maps |
| topic | Dynamical Systems Primary: 37F10, 37D20, Secondary: 37F15, 03D80, 03D15 |
| url | https://arxiv.org/abs/2605.26306 |