Equivalence of Continuous-Time Markov Chains and Linear Dynamical Systems

Sintesi Tecnica: Equivalenza tra Catene di Markov a Tempo Continuo e Sistemi Dinamici Lineari

Enunciato del Problema
Questa breve nota affronta la relazione strutturale tra i sistemi dinamici lineari a tempo continuo e le catene di Markov a tempo continuo (CTMC). Sebbene sia un risultato noto nell'ambito discreto che la dinamica di una catena di Markov a $d$ stati è governata da un sistema dinamico lineare di dimensione al massimo $d-1$ (e viceversa), l'autore indaga se un'analogia di equivalenza sia valida anche nel dominio del tempo continuo. Nello specifico, il documento mira a stabilire che l'evoluzione di una CTMC a $d$ stati può essere ridotta a un sistema dinamico lineare di dimensione $d-\ell$ (dove $\ell$ è la molteplicità dell'autovalore zero), e viceversa, che un sistema dinamico lineare di dimensione $d-1$ può essere incorporato in una CTMC a $d$ stati.

Metodologia
Il documento impiega tecniche di algebra lineare, nello specifico la decomposizione spettrale e l'esponenziazione di matrici, per derivare l'equivalenza. La metodologia si basa sui seguenti passaggi fondamentali:

1. Analisi Spettrale delle Matrici Generatrici: L'autore stabilisce innanzitutto un lemma riguardante le matrici generatrici stocastiche ($A$). Viene dimostrato che 0 è sempre un autovalore di $A$ con uguale molteplicità algebrica e geometrica ($\ell$), e che tutti gli altri autovalori possiedono parti reali strettamente negative. Ciò viene derivato relazionando $A$ a una matrice stocastica discreta $M = I + aA$ e applicando la teoria di Perron-Frobenius.
2. Decomposizione dello Spazio Sottostante: Lo spazio di stato $\mathbb{C}^d$ viene decomposto in due sottospazi ortogonali, $V_0$, spaziato dagli autovettori corrispondenti all'autovalore 0, e $W$, spaziato dagli autovettori generalizzati di tutti gli autovalori non nulli.
3. Trasformazione della Matrice: Utilizzando una matrice di cambio di base $R = [P \mid Q]$, dove le colonne di $P$ e $Q$ formano basi per $V_0$ e $W$ rispettivamente, la matrice generatrice $A$ viene trasformata in una forma blocco-diagonale. Ciò consente di separare l'esponenziale della matrice $\exp(At)$ in un termine costante (associato allo stato stazionario) e un termine dinamico (associato al comportamento transitorio).
4. Costruzione dell'Embedding: Per la direzione opposta, il documento costruisce una specifica matrice di embedding $Q$ e uno scalare $\rho$ per mappare una matrice generatrice a dimensione inferiore $C$ in una matrice generatrice stocastica a dimensione superiore $A$, garantendo che il sistema risultante soddisfi le proprietà di una CTMC (elementi fuori diagonale non negativi e somme delle colonne pari a zero).

Contributi Chiave e Risultati
Il documento presenta due teoremi primari che formalizzano l'equivalenza:

• Teorema 1 (Riduzione): Data una distribuzione $v$ e una matrice generatrice stocastica $A \in \mathbb{Q}^{d \times d}$ con autovalore 0 di molteplicità $\ell \ge 1$, è possibile calcolare una matrice generatrice ridotta $B \in \mathbb{Q}^{(d-\ell) \times (d-\ell)}$, una matrice di embedding $Q$, una distribuzione stazionaria $s$ e un vettore $u$ tali che per ogni $t \ge 0$:
  $$\exp(At)v = s + Q \exp(Bt)u$$
  Fondamentalmente, la scelta di $Q$ è indipendente dalla distribuzione iniziale $v$. Il termine $Q \exp(Bt)u$ converge a 0 quando $t \to \infty$, lasciando solo lo stato stazionario $s$.

• Teorema 2 (Embedding): Dato un vettore $u \in \mathbb{Q}^{d-1}$ e una matrice generatrice $C \in \mathbb{Q}^{(d-1) \times (d-1)}$, è possibile calcolare i parametri $\rho, \eta$, una distribuzione $v$ e una matrice generatrice stocastica $A \in \mathbb{Q}^{d \times d}$ tali che per ogni $t \ge 0$:
  $$\exp(At)v = s + \eta e^{-\rho t} \cdot Q \exp(Ct)u$$
  In questo caso, $s$ e $Q$ sono scelte fisse ($s = \mathbf{1}_d/d$ e una specifica matrice a blocchi $Q$). Lo scalare $\rho$ è scelto sufficientemente grande da garantire che gli elementi fuori diagonale della matrice generatrice costruita rimangano non negativi.

Significato e Rivendicazioni
L'autore afferma esplicitamente che lo scopo di questa nota è "registrare" che i risultati fondamentali noti per i sistemi dinamici lineari a tempo discreto (facendo riferimento specificamente ai lavori precedenti in [1] e [2]) valgono anche nel contesto del tempo continuo. Il documento non propone nuove applicazioni o validazioni sperimentali. Al contrario, la sua importanza risiede nel fornire una prova matematica rigorosa di questa equivalenza strutturale, dimostrando che la dinamica di una catena di Markov a tempo continuo a $d$ stati è fondamentalmente governata da un sistema dinamico lineare di dimensione al massimo $d-1$, e che qualsiasi tale sistema di dimensione inferiore può essere incorporato in una catena di Markov. Le prove rispecchiano la logica trovata nella letteratura citata del tempo discreto, adattata alle proprietà delle matrici generatrici e degli esponenziali di matrice.