The optimal rate of convergence in mean field control via recoupled shadow flows

Sintesi Tecnica: Il Tasso di Convergenza Ottimale nel Controllo di Campo Medio tramite Flussi Ombra Ricoppiati

Enunciato del Problema
Il documento affronta il problema della convergenza quantitativa nel controllo di campo medio (MFC). Nello specifico, mira a determinare il tasso netto con cui la funzione valore di un problema di controllo stocastico a $N$ particelle, denotata $V^N(t, x)$, converge alla funzione valore del corrispondente problema di controllo di campo medio, $U(t, m)$, per $N \to \infty$. L'ambiente coinvolge particelle che evolvono su un toro $\mathbb{T}^d$ sotto moti browniani indipendenti, con costi che sono meramente Lipschitz continui rispetto alla distanza 1-Wasserstein ($d_1$).

La sfida centrale, identificata nel lavoro precedente di Daudin, Delarue e Jackson [DDJ24], è la "disuguaglianza difficile" (hard inequality): dimostrare che $U(t, m^N_x) \leq V^N(t, x) + C r_{N,d}$. Mentre la "disuguaglianza facile" ($V^N \leq U + \dots$) è stata stabilita utilizzando copie indipendenti di controlli di campo medio, la disuguaglianza difficile è ostacolata dal fatto che i controlli delle particelle possono essere arbitrariamente correlati, impedendo una legge dei grandi numeri di disaccoppiare la misura empirica dal flusso deterministico di campo medio. I tentativi precedenti hanno prodotto tassi non netti (ad esempio, $N^{-2/(3d+6)}$) a causa della necessità di regolarizzazione nei confronti di confronto, che falliva sotto la mera continuità Lipschitz delle funzioni di costo.

Metodologia: Flussi Ombra Ricoppiati
L'autore introduce una strategia di prova basata sulla teoria del controllo che evita di regolarizzare la funzione valore a dimensione infinita o di risolvere l'equazione di Hamilton-Jacobi-Bellman nello spazio di Wasserstein. Invece, la prova costruisce un "flusso ombra" $\nu_t$ per ogni realizzazione di un controllo a $N$ particelle.

1. Costruzione del Flusso Ombra:

   • Partendo dalla misura empirica iniziale, il flusso ombra è definito ricorsivamente su una griglia temporale con passo $h$.
   • Tra i punti della griglia, il flusso evolve tramite un'equazione di Fokker-Planck dove il drift è una combinazione convessa dei controlli delle particelle realizzate. Fondamentalmente, gli incrementi browniani delle particelle vengono scartati e sostituiti da uno smoothing diffusivo (diffusione).
   • Ad ogni tempo di griglia $s_k$, le componenti del flusso ombra sono "ricoppiate" alle particelle tramite trasporto ottimo. La massa del flusso ombra è decomposta in $N$ pezzi di massa $1/N$ per minimizzare il costo di trasporto verso le posizioni correnti delle particelle. Questo ricoppiamento è gratuito (non incorre in alcun costo) e resetta l'errore di accoppiamento.

2. Seguire la Misura Empirica (Shadowing):

   • Il risultato quantitativo centrale è che il flusso ombra segue la misura empirica $\mu^N_t$ al tasso della misura empirica $r_{N,d}$.
   • L'analisi dell'errore decompone la differenza tra i flussi in un disallineamento del flusso e un termine di rumore scartato (martingala).
   • Lo smoothing termico converte il disallineamento del flusso in una singolarità integrabile (guadagno parabolico) e limita il termine martingala. Un argomento di Grönwall debolmente singolare chiude la stima, mostrando che l'errore è limitato da $C(r_{N,d} + \sqrt{h})$. Ottimizzando la dimensione della griglia $h$, si ottiene il tasso netto.

3. Trasferimento del Costo:

   • Per la disuguaglianza di Jensen, il costo corrente del flusso ombra è limitato dal costo medio delle particelle più un errore di accoppiamento.
   • Poiché il flusso ombra è un competitore ammissibile per il problema di campo medio (risolvendo l'equazione di Fokker-Planck con drift limitato), la funzione valore di campo medio $U$ è limitata superiormente dal costo atteso di questo competitore, stabilendo la disuguaglianza difficile.

Contributi Chiave e Risultati

1. Tassi Ottimi per $d \geq 2$:
   Il documento dimostra che per costi Lipschitz in $d_1$ (senza richiedere la semiconcavità), il tasso di convergenza è esattamente il tasso della misura empirica:
   $$|U(t, m^N_x) - V^N(t, x)| \leq C r_{N,d}$$
   dove $r_{N,d} = N^{-1/2}$ per $d=1$, $N^{-1/2}\sqrt{\log N}$ per $d=2$, e $N^{-1/d}$ per $d \geq 3$.

   • Questo conferma la congettura di [DDJ24] e rimuove la loro ipotesi di semiconcavità.
   • Per $d \geq 2$, il tasso è dimostrato essere ottimale; non può essere migliorato anche se gli ottimi di campo medio sono non unici o instabili.

2. Il Caso Eccezionale in Una Dimensione ($d=1$):
   In una dimensione, il benchmark della misura empirica $N^{-1/2}$ non è ottimale. Particelle che cooperano possono raggiungere un tasso più veloce.

   • Limite Superiore: Il documento costruisce un "flusso ombra corretto" che utilizza un filtro anticipante (basato sul rumore futuro) per smorzare le modalità a bassa frequenza dell'errore, raggiungendo un tasso di $N^{-4/7} \log^{1/7}(1+N)$.
   • Limite Inferiore: Viene costruito un sistema di particelle competitore utilizzando una legge di Gibbs con una temperatura inversa calibrata per bilanciare il costo del mantenimento della correlazione rispetto alla riduzione della fluttuazione empirica. Ciò produce un limite superiore corrispondente.
   • Ottimalità: Una stima dello stato fondamentale di Schrödinger dimostra che l'esponente polinomiale $4/7$ è netto. Le particelle che cooperano superano il tasso di campionamento indipendente ($N^{-1/2}$) ma non possono raggiungere il pieno tasso di quantizzazione ($N^{-1}$) perché devono combattere il proprio diffusione.

3. Estensione al Rumore Comune:
   I risultati sono estesi a sistemi con rumore comune additivo ($\sigma_0 dW^0_t$). La costruzione del flusso ombra è adattata congelando i percorsi idiosincratici e condizionando sul rumore comune. Gli stessi tassi netti valgono, con costanti indipendenti dall'intensità del rumore $\sigma_0$.

Significato e Rivendicazioni
Il documento rivendica di aver risolto il problema aperto del tasso di convergenza netto nel controllo di campo medio sotto assunzioni di regolarità minime (costi Lipschitz).

• Spostamento Metodologico: Si allontana dagli argomenti di confronto basati su PDE nello spazio di Wasserstein (che richiedevano semiconcavità e producevano tassi subottimali) verso una costruzione diretta della teoria del controllo. Il "flusso ombra" funge da analogo diffusivo quantitativo del sollevamento (lift) privo di rumore, gestendo efficacementamente l'ostruzione causata dai moti browniani indipendenti.
• Intuizione Dimensionale: Il lavoro evidenzia una differenza fondamentale in una dimensione, dove l'interazione tra l'energia di controllo e la diffusione permette un tasso strettamente compreso tra il campionamento indipendente e la piena quantizzazione.
• Robustezza: I risultati sono globali, anche quando il problema di campo medio manca di ottimi unici o stabili, coprendo una classe più ampia di problemi rispetto ai precedenti risultati di regolarità locale (ad esempio, [CJMSS26]).

Il documento conclude che il tasso della misura empirica è il benchmark corretto per $d \geq 2$ nella classe Lipschitz, mentre $d=1$ presenta un unico fenomeno di "cooperazione" che migliora tale benchmark.