arXiv math/04060022004-06math.DS

Rigorous numerical models for the dynamics of complex Henon mappings on their chain recurrent sets

Suzanne Lynch Hruska

备注：: 30 pages. 8 eps pictures. Submitted
发表信息：: Discrete and Continuous Dynamical Systems, Volume 15, Number 2, June 2006, pages 529--558.

英文摘要：

We describe a rigorous and efficient computer algorithm for building a model of the dynamics of a polynomial diffeomorphism of C^2 on its chain recurrent set, and for sorting points into approximate chain transitive components. Further, we give explicit estimates which quantify how well this algorithm approximates the chain recurrent set and distinguishes the chain transitive components. We also discuss our implementation for the family of Henon mappings, f_{a,c}(x,y) = (x^2 + c - ay, x), into a computer program called Hypatia, and give several examples of running Hypatia on Henon mappings.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A numerical method for constructing the hyperbolic structure of complex Henon mappings

For complex parameters a,c, we consider the Henon mapping H_{a,c}: C^2 -> C^2 given by (x,y) -> (x^2 +c -ay, x), and its Julia set, J. In this paper, we describe a rigorous computer program for attempting to construct a cone field in the tangent bundle over J, which is preserved by DH, and a continuous norm in which DH (and DH^{-1}) uniformly expands the cones (and their complements). We show a consequence of a successful construction is a proof that H is hyperbolic on J. We give several new examples of hyperbolic maps, produced with our computer program, Hypatia, which implements our methods.

2005-12-22math.DS

Dynamics of transcendental Hénon maps

The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In trying to find analogues of these one dimensional results, it is not clear which higher dimensional transcendental maps to consider. In this paper we find inspiration from the extensive work on the dynamics…

2017-05-25math.CVmath.DS

Does the complex susceptibility of the Henon map have a pole in the upper-half plane ? A numerical investigation

It has been rigorously shown in [Ruelle, 2005] that the complex susceptibility of chaotic maps of the interval can have a pole in the upper-half complex plane. We develop a numerical procedure allowing to exhibit this pole from time series. We then apply the same analysis to the Henon map and conjecture that the complex susceptibility has also a pole in the upper-half complex plane.

2007-10-04cond-mat.stat-mechmath-phmath.DS

一种检测和严格验证混合同心的算法

An algorithm to detect and rigorously verify blenders

School of Mathematics, Monash University（莫纳什大学数学学院）

本文提出一种基于曲线映射性质的混合同心检测算法，通过计算机辅助方法验证混合同心的存在，应用于Hénon-like映射的严格验证。

2026-08-26math.DS

A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map

The paper contains a rigorous proof of existence of symbolic dynamics chaos in the generalized Hénon map's 4th iterate $H^4$, which was conjectured in the paper \textit{A 3D Smale Horseshoe in a Hyperchaotic Discrete-Time System} of Li and Yang, 2007. We prove also the uniform hyperbolicity of the invariant set with symbolic dynamics. The proofs are computer-assisted with the use of C++ library \textit{CAPD} for interval arithmetic, differentiation and integration.

2021-01-25math.DS

关于$\boldsymbol{\text{C}^2}$中常雅可比剪切群映射的秩一极限集

On the rank-one limit sets for maps in the constant-Jacobian shear group of $\mathbb{C}^2$

Faculty of Mathematics and Physics, University of Ljubljana（卢布尔雅那大学数学与物理学院）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）

该研究针对$\text{C}^2$中常雅可比剪切群映射，确定无限阶诱导动力学下Hénon映射有限复合的秩一极限集共形类型，排除三类类型并证明其不动点集无整曲线。

2026-10-14math.CVmath.DS

更多相关论文收起更多论文

A rigorous stochastic theory for spike pattern formation in recurrent neural networks with arbitrary connection topologies

Cortical networks exhibit synchronized activity which often occurs in spontaneous events in the form of spike avalanches. Since synchronization has been causally linked to central aspects of brain function such as selective signal processing and integration of stimulus information, participating in an avalanche is a form of a transient synchrony which temporarily creates neural assemblies and hence might especially be useful for implementing flexible information processing. For understanding how assembly formation supports neural computation, it is therefore essential to establish a comprehens…

2022-02-05math.DSq-bio.NC

C^2 上多项式斜积映射动力学的严格数值研究

Rigorous numerical studies of the dynamics of polynomial skew products of C^2

本文提出一种严格计算机算法，用于构建 C^2 上多项式斜积映射在链回归集上的动力学模型并判定其是否满足 Axiom A，并在多个显式情形中验证了该性质。

2005-02-02math.DS

A test for a conjecture on the nature of attractors for smooth dynamical systems

Dynamics arising persistently in smooth dynamical systems ranges from regular dynamics (periodic, quasiperiodic) to strongly chaotic dynamics (Anosov, uniformly hyperbolic, nonuniformly hyperbolic modelled by Young towers). The latter include many classical examples such as Lorenz and Hénon-like attractors and enjoy strong statistical properties. It is natural to conjecture (or at least hope) that most dynamical systems fall into these two extreme situations. We describe a numerical test for such a conjecture/hope and apply this to the logistic map where the conjecture holds by a theorem of Ly…

2014-03-29math.DS

二维离散神经元模型的拓扑-数值分析

Topological-numerical analysis of a two-dimensional discrete neuron model

本文对Chialvo二维神经元模型进行计算机辅助分析，引入新算法分析链回归集返回时间，并开发出确定可能产生混沌动力学参数子集的新方法。

2023-01-16math.DS

KPFlow：循环网络梯度下降训练下动态坍缩的算子视角

KPFlow: An Operator Perspective on Dynamic Collapse Under Gradient Descent Training of Recurrent Networks

University of Washington（华盛顿大学）；Allen Institute（艾伦研究所）

本文提出KPFlow算子分解框架，揭示循环网络梯度下降训练中神经坍缩的结构根源，并提供高效PyTorch工具用于分析循环架构的动力学。

2025-07-08cs.AIcs.LGmath.DS

Biologically Plausible Online Principal Component Analysis Without Recurrent Neural Dynamics

Artificial neural networks that learn to perform Principal Component Analysis (PCA) and related tasks using strictly local learning rules have been previously derived based on the principle of similarity matching: similar pairs of inputs should map to similar pairs of outputs. However, the operation of these networks (and of similar networks) requires a fixed-point iteration to determine the output corresponding to a given input, which means that dynamics must operate on a faster time scale than the variation of the input. Further, during these fast dynamics such networks typically "disable" l…

2018-11-03math.DSq-bio.NCstat.CO

神经网络动力学的计算机验证：一个初步案例研究

Computer Validation of Neural Network Dynamics: A First Case Study

本文提出基于验证数值方法的范式，利用计算机辅助证明在循环神经网络中验证了几百个Hopf分岔点和周期轨道的存在性，为解释机器学习方法的复杂非线性动力学行为提供了初步途径。

2023-09-11cs.NAmath.DSmath.NA

Liverani-Saussol-Vaienti 映射的严格且有效的数值方法

Rigorous and effective numerics for Liverani-Saussol-Vaienti maps

Great Bay University（大湾区大学）；University of Science and Technology of China（中国科学技术大学）；The University of Sydney（悉尼大学）

本文针对 Liverani-Saussol-Vaienti 间歇映射，利用 Abel 函数和渐近展开，实现了对不变测度性质的高精度数值估计，首次覆盖参数远离零及 sigma-有限情形，为间歇动力学数值研究和记忆丧失速率证明奠定基础。

2026-10-02cs.NAmath.DSmath.NA