The transition between synchronization and chaos for random Blaschke products

Resumen Técnico: La Transición entre la Sincronización y el Caos para Productos de Blaschke Aleatorios

Planteamiento del Problema
El artículo aborda la pregunta fundamental de cómo los sistemas dinámicos aleatorios transitan entre el orden (sincronización) y el caos. Mientras que las rutas hacia el caos en sistemas deterministas de tiempo discreto están bien caracterizadas (por ejemplo, duplicación de periodo, intermitencia, escenarios de Ruelle-Takens), el entorno aleatorio sigue siendo menos comprendido debido a la complejidad añadida de la estocasticidad ambiental. Los autores se centran específicamente en una clase de aplicaciones aleatorias del círculo conocidas como productos de Blaschke aleatorios. Estos son aplicaciones holomorfas de automapeo del disco unidad $\mathbb{D}$ que preservan el círculo unidad $\mathbb{T}$. El problema central es establecer condiciones suficientes y necesarias bajo las cuales un cociclo exhibe dinámica caótica (con una medida invariante aleatoria absolutamente continua única) o sincronización (convergencia a un punto fijo aleatorio único, a menudo en la frontera).

Metodología
Los autores analizan el comportamiento asintótico de los ciclos de productos de Blaschke admisibles $(T, \sigma, P)$, donde $T = (T_\omega)_{\omega \in \Omega}$ es una secuencia de productos de Blaschke finitos impulsada por una transformación ergódica que preserva la medida $\sigma$. La metodología se basa en:

1. Geometría Hiperbólica: Utilizando la métrica hiperbólica $d_\mathbb{D}$ en el disco unidad y la Lema de Schwarz-Pick para analizar las propiedades de contracción.
2. Teoría Eródica: Aplicación del teorema ergódico subaditivo de Kingman y el teorema ergódico de Birkhoff para estudiar el crecimiento asintótico de las derivadas y la convergencia de las órbitas de retroceso (pullback) $T^{(n)}_{\sigma^{-n}\omega}(z)$.
3. Convergencia en la Frontera: Investigación de los puntos límite de las órbitas que parten del interior del disco. Los autores distinguen entre los casos donde las órbitas se acumulan en el interior del disco $\mathbb{D}$ frente a la frontera $\mathbb{T}$.
4. Formalismo Termodinámico: Construcción de medidas invariantes aleatorias (específicamente absolutamente continuas y medidas de Dirac) y cálculo de la entropía de medida de fibra.
5. Cíclos de 2 Mapas Específicos: Para ilustrar la teoría general, los autores construyen una familia específica de ciclos de dos mapas ($T_0$ y $T_1$) y varían la probabilidad $p$ de seleccionar $T_0$ para identificar transiciones críticas.

Contribuciones Clave y Resultados

1. Dicotomía de la Dinámica (Teorema 1.1)
El artículo establece una dicotomía nítida para los ciclos de productos de Blaschke admisibles. Exactamente uno de los dos siguientes escenarios ocurre:

• Caso 1: Eventualmente Expansivo en Promedio (EOA, por sus siglas en inglés). Si el ciclo es eventualmente expansivo en promedio (definido por el límite de la derivada logarítmica promedio siendo positivo), el sistema exhibe un comportamiento caótico. Específicamente:
  • Existe un único punto fijo atractor aleatorio $x_\omega \in \mathbb{D}$.
  • Existe una única medida invariante aleatoria absolutamente continua $\mu = \{\mu_\omega\}$ con margen $P$, donde la densidad está dada por el núcleo de Poisson $P_{x_\omega}$.
  • Esta medida es la única medida física aleatoria, y su cuenca de atracción tiene medida de Lebesgue completa.
  • El sistema posee entropía de medida positiva.
• Caso 2: No Eventualmente Expansivo en Promedio. Si el sistema no es eventualmente EOA, exhibe sincronización.
  • Para casi todo $\omega$, las órbitas de retroceso $T^{(n)}_{\sigma^{-n}\omega}(z)$ se acumulan en el círculo unidad $\mathbb{T}$.
  • Bajo condiciones de integrabilidad específicas (relacionadas con la caída de $1 - |T^{(n)}(0)|$), existe un punto fijo aleatorio medible $x_\omega \in \mathbb{T}$ tal que todas las trayectorias hacia adelante en $\mathbb{D}$ y casi todas las trayectorias en $\mathbb{T}$ convergen a $x_\omega$.
  • La única medida física aleatoria es la medida de Dirac $\delta_{x_\omega}$ soportada en este punto de la frontera.

2. Caracterización de la Transición (Teorema 3.2)
Para una familia específica de ciclos de 2 mapas $T_{a,b}$, los autores identifican un valor de probabilidad crítica $p_{a,b}$ que separa los dos regímenes:

• $p > p_{a,b}$: El sistema es EOA. Las trayectorias convergen a un punto fijo aleatorio dentro del disco, y la medida física es absolutamente continua.
• $p < p_{a,b}$: El sistema no es EOA. Las trayectorias se sincronizan al punto de la frontera $1$ (un punto fijo común de los mapas). La medida física es la masa de Dirac en $1$.
• $p = p_{a,b}$ (Caso Crítico): Este caso revela un fenómeno distinto de la dinámica determinista.
  • Retroceso (Pullback): Las órbitas de retroceso aún convergen al punto de la frontera $1$.
  • Hacia adelante (Forward): En un entorno i.i.d., las trayectorias hacia adelante no convergen a $1$. En su lugar, exhiben intermitencia: las trayectorias escapan de y regresan a vecindades arbitrariamente pequeñas del punto fijo infinitas veces. Esto contrasta con el caso parabólico determinista, donde las trayectorias típicamente convergerían al punto fijo.
  • La entropía de medida transiciona de positiva a cero en este valor crítico.

3. Entropía y Medidas Físicas
El artículo demuestra que para los ciclos eventualmente EOA, la entropía de medida de fibra es estrictamente positiva. Por el contrario, en el régimen de sincronización (incluyendo el caso crítico), la entropia es cero. Los autores también establecen la equivalencia entre las tasas de convergencia de las trayectorias de retroceso y de avance en el régimen de sincronización.

Significancia y Reivindicaciones
Los autores afirman proporcionar una clasificación completa del comportamiento asintótico para esta clase de aplicaciones holomorfas aleatorias. La significancia radica en:

• Puente entre la Dinámica Determinista y la Aleatoria: El artículo destaca cómo el forzamiento aleatorio altera la transición al caos. Específicamente, el caso crítico ($p = p_{a,b}$) demuestra que, mientras que las aplicaciones parabólicas deterministas a menudo conducen a la convergencia (sincronización), la composición i.i.d. aleatoria puede mantener un comportamiento intermitente donde las trayectorias no convergen al punto fijo, a pesar de que el retroceso sí converge.
• Medidas Físicas: El trabajo identifica rigurosamente las medidas físicas aleatorias (tanto absolutamente continuas como singulares/Dirac) y sus cuencas de atracción, proporcionando un formalismo termodinámico para estos sistemas.
• Generalizabilidad: Los resultados extienden el trabajo previo sobre transformaciones de Möbius aleatorias y sistemas de funciones iteradas a la clase más amplia de productos de Blaschke, ofreciendo condiciones necesarias y suficientes para la existencia de puntos fijos aleatorios únicos y medidas físicas únicas.

El artículo concluye que la transición entre el orden y el caos en los productos de Blaschke aleatorios está gobernada por la tasa de expansión promedio, siendo el límite crítico un escenario de dinámica intermitente única que no está presente en los análogos deterministas.