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.
- 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
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.
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∈\Λ,∃j≤k:d(fj(x),y)<r}
ovvero il tempo minimo necessario affinché l'orbita {f^j(x)} visiti l'r-intorno di tutti i punti in Λ.
- 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
- Valore applicativo: Ha importanti applicazioni nel gioco del caos, nei sistemi di funzioni iterate, nel moto browniano e in altri campi
- Teoria della dimensione: Stabilisce profonde connessioni tra il tempo di copertura e le proprietà geometriche delle misure (dimensioni)
- I risultati esistenti si concentrano principalmente sul tempo di copertura atteso Eτ_r, con ricerca insufficiente sulla convergenza quasi certa
- La dimensione di Minkowski tradizionale è infinita in alcuni casi, incapace di caratterizzare il comportamento asintotico del tempo di copertura
- Mancanza di analisi approfondita di sistemi non-mixing (come le rotazioni irrazionali)
- Introduzione della dimensione di Minkowski dilatata: Definisce un nuovo concetto di dimensione per affrontare i casi in cui la dimensione di Minkowski tradizionale è infinita
- Stabilimento di teoremi di convergenza quasi certa: Sotto condizioni di ψ-mixing, caratterizza precisamente il comportamento asintotico del tempo di copertura
- Fornitura di esempi di applicazione concreti: Prova il comportamento asintotico del tempo di copertura per mappe affini con infiniti rami
- Analisi di casi non-mixing: Attraverso l'esempio delle rotazioni irrazionali, dimostra la necessità delle condizioni di mixing
- Estensione a sistemi di flussi: Generalizza i risultati a sistemi di flussi che soddisfano condizioni specifiche
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 μ.
Per una misura μ, si definisce:
Mμ(r):=minx∈supp(μ)μ(B(x,r))
Le dimensioni di Minkowski superiore e inferiore sono rispettivamente:
dimM(μ):=limsupr→0logrlogMμ(r),dimM(μ):=liminfr→0logrlogMμ(r)
Quando la dimensione di Minkowski tradizionale è infinita, si definisce:
dimMs(μ):=limsupr→0−logrlog∣logMμ(r)∣,dimMs(μ):=liminfr→0−logrlog∣logMμ(r)∣
Questa definizione possiede invarianza rispetto alla moltiplicazione scalare e può caratterizzare il tasso di decadimento esponenziale dilatato di M_μ(r).
Sia (f,μ) un sistema che preserva la probabilità, con f topologicamente transitiva, di Markov e segmentata espandente. Se dimM(μ)<∞, allora per μ-quasi ogni punto x nell'insieme repellente:
limsupr→0−logrlogτr(x)≥dimM(μ),liminfr→0−logrlogτr(x)≥dimM(μ)
Se (f,μ) è esponenzialmente ψ-mixing, allora valgono le uguaglianze.
Se dimM(μ)=∞ ma 0<dimMs(μ),dimMs(μ)<∞, allora:
- Per μ-quasi ogni x∈Λ:
liminfr→0−logrloglogτr(x)≥dimMs(μ),limsupr→0−logrloglogτr(x)≥dimMs(μ)
- Se (f,μ) è esponenzialmente ψ-mixing, allora valgono le uguaglianze.
- Estensione del concetto di dimensione: La dimensione di Minkowski dilatata colma le lacune della teoria della dimensione tradizionale
- Applicazione delle condizioni di mixing: Utilizza abilmente le proprietà di ψ-mixing esponenziale per stabilire uguaglianze asintotiche precise
- Metodo della dinamica simbolica: Trasforma il problema in analisi sullo spazio simbolico attraverso una semiconiugazione π: Σ → Λ
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:
limr→0−logrlogτr(x)=dimM(μ)
Costruire una mappa con parametro κ > 1:
f(x)=cnκ(x−an−1),x∈[an−1,an)=Pn
dove c=ζ(κ)=∑n∈Nnκ1.
Proposizione 3.1: dimM(μ)=∞, ma dimMs(μ)=κ−11.
Questo dimostra che la dimensione tradizionale fallisce mentre la dimensione dilatata fornisce risultati significativi.
Per sistemi Gibbs-Markov, si ottiene il comportamento asintotico preciso del tempo di copertura:
limr→0−logrlogτr(x)=dimM(μ)
Per mappe affini con infiniti rami, si prova che:
limr→0−logrloglogτr(x)=κ−11
Questo rappresenta il primo risultato che ottiene un limite asintotico finito nel caso in cui la dimensione tradizionale è infinita.
Per rotazioni irrazionali di tipo η(θ) > 1:
liminfr→0−logrlogτr(x)=dimM(μ)=1<η=limsupr→0−logrlogτr(x)
Questo risultato dimostra che:
- L'assenza di mixing causa la disuguaglianza tra i limiti superiore e inferiore
- La necessità delle condizioni di mixing per ottenere il comportamento asintotico preciso
Per flussi che preservano la probabilità {f_t} soddisfacenti le condizioni (H1)-(H5):
liminfr→0−logrlogτr(x)≥dimM(ν)−1
Se dimM(ν)=dimM(μ)+1, allora:
limsupr→0−logrlogτr(x)≤dimM(μ)
- Matthews (1988): Primo studio del tempo di copertura atteso per il moto browniano
- Bárány-Jurga-Kolossváry (2023): Tempo di copertura del gioco del caos per sistemi di funzioni iterate
- Jurga-Todd (2024): Tempi di copertura in sistemi dinamici unidimensionali
- Primo risultato di convergenza quasi certa precisa
- Introduzione della dimensione dilatata per affrontare i casi di dimensione infinita
- Analisi sistematica del ruolo delle condizioni di mixing
- Sotto condizioni di ψ-mixing, il comportamento asintotico del tempo di copertura è completamente determinato dalla dimensione corrispondente
- La dimensione di Minkowski dilatata è uno strumento efficace per affrontare i casi in cui la dimensione tradizionale è infinita
- La proprietà di mixing è necessaria per ottenere il comportamento asintotico preciso
- I risultati si limitano principalmente a sistemi unidimensionali e specifici sistemi di flussi
- La condizione di ψ-mixing è piuttosto forte, limitando l'ambito di applicazione
- Il significato geometrico della dimensione dilatata richiede ulteriore ricerca
- Generalizzazione a sistemi di dimensione superiore e sistemi dinamici più generali
- Studio del comportamento del tempo di copertura sotto condizioni di mixing più deboli
- Esplorazione delle applicazioni della dimensione dilatata in altri problemi
- Innovazione teorica: L'introduzione della dimensione di Minkowski dilatata colma una lacuna teorica
- Rigore tecnico: I metodi di prova combinano teoria della misura, teoria ergodica e dinamica simbolica
- Completezza dei risultati: Presenta sia risultati positivi che controesenpi, formando un quadro teorico completo
- Valore applicativo: Fornisce nuovi strumenti per comprendere le proprietà ergodiche di sistemi dinamici complessi
- Ambito di applicazione: I risultati principali si limitano a mappe segmentate espandenti unidimensionali
- Condizioni di mixing: La condizione di ψ-mixing esponenziale potrebbe essere troppo forte nelle applicazioni pratiche
- Intuizione geometrica: Il significato geometrico della dimensione dilatata non è sufficientemente intuitivo
- Contributo teorico: Fornisce importanti contributi alla teoria della dimensione e alla teoria dei sistemi dinamici
- Valore metodologico: Il concetto di dimensione dilatata potrebbe avere applicazioni in altri campi
- Praticità: Fornisce strumenti pratici per analizzare le proprietà di copertura di sistemi complessi
- Analisi delle proprietà ergodiche di mappe lineari a tratti
- Studio dei problemi di copertura in sistemi di funzioni iterate
- Comprensione della struttura geometrica di sistemi caotici
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.