Un tempo di arresto è un tempo casuale la cui occorrenza può essere decisa usando solo l’informazione disponibile fino a quel momento. È una nozione centrale nei processi stocastici perché formalizza regole come “fermarsi quando si supera una soglia” senza guardare il futuro.
Se (\mathcal F_t) è una filtrazione, cioè una famiglia crescente di informazioni disponibili nel tempo, una variabile aleatoria \tau è un tempo di arresto se:
In tempo discreto, una formulazione equivalente è che l’evento \{\tau=n\} sia determinabile conoscendo solo ciò che è accaduto fino al tempo n.
Esempi tipici sono il primo tempo in cui un processo supera una soglia, raggiunge uno stato assorbente o esce da un intervallo. Non sono tempi di arresto le regole che dipendono da ciò che accadrà dopo.
Esempi
Se (X_n) è una sequenza osservata nel tempo, il primo istante in cui supera una soglia a:
è un tempo di arresto. Al tempo n si può sapere se il superamento è già avvenuto guardando solo X_0,\ldots,X_n.
Anche il primo tempo di guasto di un componente monitorato, il primo allarme di una carta di controllo, il primo arrivo in una coda o il primo istante in cui un processo esce da un intervallo sono tempi di arresto, se la decisione usa solo dati osservati fino a quel momento.
Non esempi
Non è un tempo di arresto la regola “fermarsi al massimo valore osservato nell’intero esperimento”, se l’orizzonte futuro non è ancora noto. Per sapere che il valore corrente sarà il massimo finale bisogna conoscere ciò che accadrà dopo.
Analogamente, “fermarsi un istante prima del primo guasto” non è un tempo di arresto rispetto all’informazione ordinaria: al tempo corrente non si può sapere che il guasto avverrà esattamente al passo successivo, a meno di avere informazione anticipata. La distinzione serve proprio a evitare strategie che usano il futuro mascherandolo da decisioni presenti.
Tempi di primo passaggio
Molti tempi di arresto sono tempi di primo passaggio. Dato un processo (X_t) e un insieme B, si definisce:
Se il processo è adattato alla filtrazione e le condizioni tecniche sono adeguate, \tau_B è un tempo di arresto. In affidabilità, B può essere la regione di guasto; in controllo, la regione di allarme; in finanza, una barriera; in fisica, una soglia di energia o spostamento.
Collegamento con martingale
Il concetto è essenziale per applicare risultati su martingale. I teoremi di arresto opzionale studiano quando il valore atteso di una martingala fermata a un tempo di arresto conserva proprietà analoghe alla martingala originale:
deve però essere trattata con cautela. Non basta che \tau sia un tempo di arresto: servono condizioni su limitatezza, integrabilità o comportamento della martingala. Senza queste condizioni, conclusioni intuitive possono fallire.
Arresto ottimo e controllo sequenziale
Nei problemi di arresto ottimo si cerca un tempo di arresto che massimizzi o minimizzi un criterio atteso. Esempi sono decidere quando sostituire un componente, quando fermare una prova, quando lanciare un allarme, quando accettare una stima o quando interrompere un processo costoso.
Nel controllo sequenziale e nelle carte di controllo, la regola di segnalazione deve essere un tempo di arresto: l’allarme deve dipendere solo dalle osservazioni acquisite. Questo rende il modello coerente con una decisione realizzabile in tempo reale.
Interpretazione ingegneristica
Un tempo di arresto rappresenta una regola implementabile. Se un sistema di monitoraggio decide di spegnere una macchina quando vibrazioni, temperatura o corrente superano una soglia, la decisione è basata sul presente e sul passato. Se invece la regola richiede di sapere che il superamento sarà seguito da un guasto entro dieci minuti, non è una regola osservabile senza un modello predittivo separato.
La nozione aiuta quindi a distinguere tra decisioni online e analisi retrospettive. In un report si può identificare a posteriori il punto migliore in cui fermarsi, ma questo punto non era necessariamente disponibile al decisore in tempo reale.
Errori comuni
Il primo errore è confondere un tempo casuale qualunque con un tempo di arresto. Tutti i tempi di arresto sono casuali, ma non tutti i tempi casuali rispettano il vincolo informativo. Il secondo errore è ignorare la filtrazione: una stessa variabile può essere tempo di arresto rispetto a un’informazione più ricca e non esserlo rispetto a un’informazione più povera.
Il terzo errore è applicare teoremi di arresto opzionale senza controllare le ipotesi. La proprietà di arresto è necessaria, ma non sempre sufficiente. Il tempo di arresto è quindi una nozione di causalità informativa: ciò che si decide al tempo presente non deve dipendere da dati futuri.