Quasisymmetric robustness of the Collet-Eckmann condition in the quadratic family

Artur Avila,Carlos Gustavo Moreira

DOI: https://doi.org/10.48550/arXiv.math/0105222

2001-05-28

Abstract:We consider quasisymmetric reparametrizations of the parameter space of the quadratic family. We prove that the set of quadratic maps which are either regular or Collet-Eckmann with polynomial recurrence of the critical orbit has full Lebesgue measure. (The intent of this work is just to be a rigorous reference for the companion preprint Statistical properties of unimodal maps: smooth families with negative Schwarzian derivative. It is based on the LaTeX file of the paper Statistical properties of unimodal maps: the quadratic family. The proofs are very similar and in many places differ just by change of constants.)

Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the robustness of the parameter space of the quadratic polynomial family under quasisymmetric re - parameterization. Specifically, the author studied the dynamical behavior of the quadratic map \(f_a = a - x^2\) under the parameter \(a\in[-\frac{1}{4}, 2]\) and proved that under quasisymmetric re - parameterization, the set of parameters with certain good dynamical properties is of full measure in the sense of Lebesgue measure.

### Main problems
The core problems of the paper are to verify the following two theorems:

1. **Theorem A**: Consider any quasisymmetric re - parameterization of the parameter space of the quadratic polynomial family. For the set of parameters satisfying the following condition:
\[
\liminf_{n\rightarrow\infty}\frac{\ln(|Df^n(f(0))|)}{n}> 0,
\]
that is, the set of parameters that are either regular (having a periodic attractor) or satisfy the Collet - Eckmann condition (the Lyapunov exponent of the critical value is positive and the critical orbit has polynomial recurrence) is of full measure in the sense of Lebesgue measure.

2. **Theorem B**: Consider any quasisymmetric re - parameterization of the parameter space of the quadratic polynomial family. For the set of parameters satisfying the following condition:
\[
0 < \limsup_{n\rightarrow\infty}\frac{-\ln(f^n(0))}{\ln(n)}<\infty,
\]
that is, the set of parameters that are either regular or the critical orbit has polynomial recurrence is of full measure in the sense of Lebesgue measure.

### Background and motivation
- **Regular mapping**: Having a periodic attractor, belonging to a hyperbolic system.
- **Collet - Eckmann mapping**: The Lyapunov exponent of the critical value is positive, belonging to a non - uniformly hyperbolic chaotic dynamical system, exhibiting many properties similar to hyperbolic systems, such as stochastic stability, exponential decay of correlations, etc.
- **Quasisymmetric re - parameterization**: Changing the parameter space through a quasisymmetric mapping while maintaining the robustness of dynamical properties.

### Significance
By proving the above theorems, the author shows that the good dynamical properties of the quadratic polynomial family are stable under quasisymmetric re - parameterization, thus providing a theoretical basis for further research on other unimodal maps (especially analytic unimodal maps with negative Schwarz derivatives). This result is also used to prove the validity of the Palis conjecture in these maps.

In summary, this paper aims to explore the dynamical robustness of the quadratic polynomial family under quasisymmetric re - parameterization and shows its full - measure property in the sense of Lebesgue measure through strict mathematical proofs.