2025-11-21T17:37:15.843541

Almost sure convergence of cover times for $ψ$-mixing systems

Zhao
Given a topologically transitive system on the unit interval, one can investigate the cover time, i.e. time for an orbit to reach certain level of resolution in the repeller. We introduce a new notion of dimension, namely the stretched Minkowski dimension, and show that under mixing conditions, the asymptotics of typical cover times are determined by Minkowski dimensions when they are finite, or by stretched Minkowski dimensions otherwise. For application, we show that for countably full-branched affine maps, results using the usual Minkowski dimensions fail to produce a finite log limit of cover times whilst the stretched version gives an finite limit. In addition, cover times of irrational rotations are explicitly calculated as counterexamples, due to the absence of mixing.
academic

Convergenza quasi certa dei tempi di copertura per sistemi ψ-mixing

Informazioni di base

  • ID articolo: 2412.17425
  • Titolo: Almost sure convergence of cover times for ψ-mixing systems
  • Autore: Boyuan Zhao
  • Classificazione: math.DS (Sistemi Dinamici)
  • Data di pubblicazione: Dicembre 2024 (preprint arXiv)
  • Link articolo: https://arxiv.org/abs/2412.17425

Riassunto

Questo articolo studia il problema dei tempi di copertura per sistemi topologicamente transitivi sull'intervallo unitario, ovvero il tempo necessario affinché un'orbita raggiunga un certo livello di risoluzione in un insieme repellente. L'autore introduce un nuovo concetto di dimensione—la dimensione di Minkowski dilatata—e dimostra che sotto condizioni di mixing, il comportamento asintotico del tempo di copertura tipico è determinato dalla dimensione di Minkowski (quando finita), altrimenti dalla dimensione di Minkowski dilatata. Come applicazione, l'autore prova che per mappe affini con infiniti rami, i risultati che utilizzano la dimensione di Minkowski usuale non producono un limite logaritmico finito per i tempi di copertura, mentre la versione dilatata fornisce un limite finito. Inoltre, a causa della mancanza di mixing, i tempi di copertura per rotazioni irrazionali sono calcolati esplicitamente come controesenpio.

Contesto di ricerca e motivazione

Definizione del problema

Il problema centrale studiato in questo articolo riguarda il tempo di copertura (cover time) nei sistemi dinamici. Dato un sistema di mappe di Markov segmentate espandenti topologicamente transitive sull'intervallo unitario, per un punto x in un insieme repellente Λ, il tempo di copertura è definito come:

τr(x):=inf{k:y,jk:d(fj(x),y)<r}\tau_r(x) := \inf\{k : \forall y \in \Λ, \exists j \leq k : d(f^j(x), y) < r\}

ovvero il tempo minimo necessario affinché l'orbita {f^j(x)} visiti l'r-intorno di tutti i punti in Λ.

Importanza della ricerca

  1. Significato teorico: Il tempo di copertura è uno strumento importante per comprendere le proprietà ergodiche delle orbite nei sistemi dinamici, strettamente correlato alle proprietà dimensionali del sistema
  2. Valore applicativo: Ha importanti applicazioni nel gioco del caos, nei sistemi di funzioni iterate, nel moto browniano e in altri campi
  3. Teoria della dimensione: Stabilisce profonde connessioni tra il tempo di copertura e le proprietà geometriche delle misure (dimensioni)

Limitazioni della ricerca esistente

  1. I risultati esistenti si concentrano principalmente sul tempo di copertura atteso Eτ_r, con ricerca insufficiente sulla convergenza quasi certa
  2. La dimensione di Minkowski tradizionale è infinita in alcuni casi, incapace di caratterizzare il comportamento asintotico del tempo di copertura
  3. Mancanza di analisi approfondita di sistemi non-mixing (come le rotazioni irrazionali)

Contributi principali

  1. Introduzione della dimensione di Minkowski dilatata: Definisce un nuovo concetto di dimensione per affrontare i casi in cui la dimensione di Minkowski tradizionale è infinita
  2. Stabilimento di teoremi di convergenza quasi certa: Sotto condizioni di ψ-mixing, caratterizza precisamente il comportamento asintotico del tempo di copertura
  3. Fornitura di esempi di applicazione concreti: Prova il comportamento asintotico del tempo di copertura per mappe affini con infiniti rami
  4. Analisi di casi non-mixing: Attraverso l'esempio delle rotazioni irrazionali, dimostra la necessità delle condizioni di mixing
  5. Estensione a sistemi di flussi: Generalizza i risultati a sistemi di flussi che soddisfano condizioni specifiche

Spiegazione dei metodi

Definizione del compito

Studiare il comportamento asintotico del tempo di copertura di punti tipici in un insieme repellente per mappe di Markov segmentate espandenti topologicamente transitive f: X → 0,1 e relative misure di probabilità ergodiche invarianti μ.

Concetti fondamentali

Dimensione di Minkowski tradizionale

Per una misura μ, si definisce: Mμ(r):=minxsupp(μ)μ(B(x,r))M_μ(r) := \min_{x∈\text{supp}(μ)} μ(B(x,r))

Le dimensioni di Minkowski superiore e inferiore sono rispettivamente: dimM(μ):=lim supr0logMμ(r)logr,dimM(μ):=lim infr0logMμ(r)logr\overline{\dim}_M(μ) := \limsup_{r→0} \frac{\log M_μ(r)}{\log r}, \quad \underline{\dim}_M(μ) := \liminf_{r→0} \frac{\log M_μ(r)}{\log r}

Dimensione di Minkowski dilatata (punto di innovazione tecnica)

Quando la dimensione di Minkowski tradizionale è infinita, si definisce: dimMs(μ):=lim supr0loglogMμ(r)logr,dimMs(μ):=lim infr0loglogMμ(r)logr\overline{\dim}^s_M(μ) := \limsup_{r→0} \frac{\log|\log M_μ(r)|}{-\log r}, \quad \underline{\dim}^s_M(μ) := \liminf_{r→0} \frac{\log|\log M_μ(r)|}{-\log r}

Questa definizione possiede invarianza rispetto alla moltiplicazione scalare e può caratterizzare il tasso di decadimento esponenziale dilatato di M_μ(r).

Teoremi principali

Teorema 1.1 (Caso di dimensione di Minkowski finita)

Sia (f,μ) un sistema che preserva la probabilità, con f topologicamente transitiva, di Markov e segmentata espandente. Se dimM(μ)<\overline{\dim}_M(μ) < ∞, allora per μ-quasi ogni punto x nell'insieme repellente:

lim supr0logτr(x)logrdimM(μ),lim infr0logτr(x)logrdimM(μ)\limsup_{r→0} \frac{\log τ_r(x)}{-\log r} ≥ \overline{\dim}_M(μ), \quad \liminf_{r→0} \frac{\log τ_r(x)}{-\log r} ≥ \underline{\dim}_M(μ)

Se (f,μ) è esponenzialmente ψ-mixing, allora valgono le uguaglianze.

Teorema 1.4 (Caso di dimensione di Minkowski infinita)

Se dimM(μ)=\overline{\dim}_M(μ) = ∞ ma 0<dimMs(μ),dimMs(μ)<0 < \underline{\dim}^s_M(μ), \overline{\dim}^s_M(μ) < ∞, allora:

  1. Per μ-quasi ogni x∈Λ: lim infr0loglogτr(x)logrdimMs(μ),lim supr0loglogτr(x)logrdimMs(μ)\liminf_{r→0} \frac{\log\log τ_r(x)}{-\log r} ≥ \underline{\dim}^s_M(μ), \quad \limsup_{r→0} \frac{\log\log τ_r(x)}{-\log r} ≥ \overline{\dim}^s_M(μ)
  2. Se (f,μ) è esponenzialmente ψ-mixing, allora valgono le uguaglianze.

Punti di innovazione tecnica

  1. Estensione del concetto di dimensione: La dimensione di Minkowski dilatata colma le lacune della teoria della dimensione tradizionale
  2. Applicazione delle condizioni di mixing: Utilizza abilmente le proprietà di ψ-mixing esponenziale per stabilire uguaglianze asintotiche precise
  3. Metodo della dinamica simbolica: Trasforma il problema in analisi sullo spazio simbolico attraverso una semiconiugazione π: Σ → Λ

Configurazione sperimentale

Esempi di verifica teorica

Esempio 3.1: Mappe Gibbs-Markov con rami finiti

Per mappe Gibbs-Markov con funzioni potenziale localmente Hölder, poiché |Df| è uniformemente limitato e la misura di Gibbs è esponenzialmente ψ-mixing, si può applicare il Teorema 1.1 per ottenere: limr0logτr(x)logr=dimM(μ)\lim_{r→0} \frac{\log τ_r(x)}{-\log r} = \dim_M(μ)

Esempio 3.2: Mappe affini con infiniti rami

Costruire una mappa con parametro κ > 1: f(x)=cnκ(xan1),x[an1,an)=Pnf(x) = cn^κ(x - a_{n-1}), \quad x ∈ [a_{n-1}, a_n) = P_n

dove c=ζ(κ)=nN1nκc = ζ(κ) = \sum_{n∈ℕ} \frac{1}{n^κ}.

Proposizione 3.1: dimM(μ)=\dim_M(μ) = ∞, ma dimMs(μ)=1κ1\dim^s_M(μ) = \frac{1}{κ-1}.

Questo dimostra che la dimensione tradizionale fallisce mentre la dimensione dilatata fornisce risultati significativi.

Risultati sperimentali

Risultati principali

Caratterizzazione precisa nel caso di dimensione finita

Per sistemi Gibbs-Markov, si ottiene il comportamento asintotico preciso del tempo di copertura: limr0logτr(x)logr=dimM(μ)\lim_{r→0} \frac{\log τ_r(x)}{-\log r} = \dim_M(μ)

Avanzamento nel caso di dimensione infinita

Per mappe affini con infiniti rami, si prova che: limr0loglogτr(x)logr=1κ1\lim_{r→0} \frac{\log\log τ_r(x)}{-\log r} = \frac{1}{κ-1}

Questo rappresenta il primo risultato che ottiene un limite asintotico finito nel caso in cui la dimensione tradizionale è infinita.

Analisi del controesenpio: Rotazioni irrazionali

Teorema 5.4 (Tempo di copertura per rotazioni irrazionali)

Per rotazioni irrazionali di tipo η(θ) > 1: lim infr0logτr(x)logr=dimM(μ)=1<η=lim supr0logτr(x)logr\liminf_{r→0} \frac{\log τ_r(x)}{-\log r} = \dim_M(μ) = 1 < η = \limsup_{r→0} \frac{\log τ_r(x)}{-\log r}

Questo risultato dimostra che:

  1. L'assenza di mixing causa la disuguaglianza tra i limiti superiore e inferiore
  2. La necessità delle condizioni di mixing per ottenere il comportamento asintotico preciso

Estensione a sistemi di flussi

Teorema 6.2

Per flussi che preservano la probabilità {f_t} soddisfacenti le condizioni (H1)-(H5): lim infr0logτr(x)logrdimM(ν)1\liminf_{r→0} \frac{\log τ_r(x)}{-\log r} ≥ \dim_M(ν) - 1

Se dimM(ν)=dimM(μ)+1\dim_M(ν) = \dim_M(μ) + 1, allora: lim supr0logτr(x)logrdimM(μ)\limsup_{r→0} \frac{\log τ_r(x)}{-\log r} ≤ \dim_M(μ)

Lavori correlati

Sviluppo storico

  1. Matthews (1988): Primo studio del tempo di copertura atteso per il moto browniano
  2. Bárány-Jurga-Kolossváry (2023): Tempo di copertura del gioco del caos per sistemi di funzioni iterate
  3. Jurga-Todd (2024): Tempi di copertura in sistemi dinamici unidimensionali

Unicità del contributo di questo articolo

  1. Primo risultato di convergenza quasi certa precisa
  2. Introduzione della dimensione dilatata per affrontare i casi di dimensione infinita
  3. Analisi sistematica del ruolo delle condizioni di mixing

Conclusioni e discussione

Conclusioni principali

  1. Sotto condizioni di ψ-mixing, il comportamento asintotico del tempo di copertura è completamente determinato dalla dimensione corrispondente
  2. La dimensione di Minkowski dilatata è uno strumento efficace per affrontare i casi in cui la dimensione tradizionale è infinita
  3. La proprietà di mixing è necessaria per ottenere il comportamento asintotico preciso

Limitazioni

  1. I risultati si limitano principalmente a sistemi unidimensionali e specifici sistemi di flussi
  2. La condizione di ψ-mixing è piuttosto forte, limitando l'ambito di applicazione
  3. Il significato geometrico della dimensione dilatata richiede ulteriore ricerca

Direzioni future

  1. Generalizzazione a sistemi di dimensione superiore e sistemi dinamici più generali
  2. Studio del comportamento del tempo di copertura sotto condizioni di mixing più deboli
  3. Esplorazione delle applicazioni della dimensione dilatata in altri problemi

Valutazione approfondita

Punti di forza

  1. Innovazione teorica: L'introduzione della dimensione di Minkowski dilatata colma una lacuna teorica
  2. Rigore tecnico: I metodi di prova combinano teoria della misura, teoria ergodica e dinamica simbolica
  3. Completezza dei risultati: Presenta sia risultati positivi che controesenpi, formando un quadro teorico completo
  4. Valore applicativo: Fornisce nuovi strumenti per comprendere le proprietà ergodiche di sistemi dinamici complessi

Insufficienze

  1. Ambito di applicazione: I risultati principali si limitano a mappe segmentate espandenti unidimensionali
  2. Condizioni di mixing: La condizione di ψ-mixing esponenziale potrebbe essere troppo forte nelle applicazioni pratiche
  3. Intuizione geometrica: Il significato geometrico della dimensione dilatata non è sufficientemente intuitivo

Impatto

  1. Contributo teorico: Fornisce importanti contributi alla teoria della dimensione e alla teoria dei sistemi dinamici
  2. Valore metodologico: Il concetto di dimensione dilatata potrebbe avere applicazioni in altri campi
  3. Praticità: Fornisce strumenti pratici per analizzare le proprietà di copertura di sistemi complessi

Scenari di applicazione

  1. Analisi delle proprietà ergodiche di mappe lineari a tratti
  2. Studio dei problemi di copertura in sistemi di funzioni iterate
  3. Comprensione della struttura geometrica di sistemi caotici

Bibliografia

Le principali referenze includono:

  • Bárány, B., Jurga, N. and Kolossváry, I. (2023). On the Convergence Rate of the Chaos Game
  • Jurga, N., Todd, M. (2024). Cover times in dynamical systems
  • Matthews, P. (1988). Covering problems for Brownian motion on spheres
  • Bowen, R. (1975). Equilibrium States and The Ergodic Theory of Anosov Diffeomorphisms

Questo articolo fornisce importanti contributi alla teoria dei sistemi dinamici, in particolare nell'area di intersezione tra tempi di copertura e teoria della dimensione. L'introduzione della dimensione di Minkowski dilatata non solo risolve le limitazioni dei metodi tradizionali, ma apre anche nuove direzioni per ricerche future.