This paper focuses on the problem of the mean square optimal estimation of linear functionals which depend on the unknown values of a multidimensional stationary stochastic sequence.
Estimates are based on observations of the sequence with an additive stationary noise sequence.
The aim of the paper is to develop methods of finding the optimal estimates of the functionals in the case of missing observations.
The problem is investigated in the case of spectral certainty where the spectral densities of the sequences are exactly known.
Formulas for calculating the mean-square errors and the spectral characteristics of the optimal linear estimates of functionals are derived under the condition of spectral certainty.
The minimax (robust) method of estimation is applied in the case of spectral uncertainty, where spectral densities of the sequences are not known exactly while sets of admissible spectral densities are given. Formulas that determine the least favorable spectral densities and the minimax spectral characteristics of the optimal estimates of functionals are proposed for some special sets of admissible densities.
ID Articolo : 2511.07228Titolo : Extrapolation Problem for Multidimensional Stationary Sequences with Missing ObservationsAutori : Oleksandr Masyutka, Mikhail Moklyachuk, Maria SideiIstituzione : Taras Shevchenko National University of KyivClassificazione : math.ST (Teoria della Statistica), stat.THRivista di Pubblicazione : Statistics, Optimization and Information Computing, Vol. 7, Marzo 2019, pp 97-117Link Articolo : https://arxiv.org/abs/2511.07228 Questo articolo affronta il problema dell'estrapolazione ottimale in media quadratica per sequenze casuali stazionarie multidimensionali in presenza di osservazioni mancanti. La stima si basa su osservazioni della sequenza con rumore additivo stazionario. Lo studio si sviluppa in due scenari: certezza spettrale e incertezza spettrale. Nel caso di certezza spettrale, vengono derivate formule per il calcolo dell'errore quadratico medio della stima lineare ottimale e delle caratteristiche spettrali; nel caso di incertezza spettrale, viene applicato il metodo minimax-robusto, proponendo formule per determinare la densità spettrale più sfavorevole e le caratteristiche spettrali minimax.
Il problema centrale affrontato è: come ottenere una stima ottimale di funzionali lineari di sequenze casuali stazionarie multidimensionali in presenza di osservazioni mancanti? Specificamente:
Modello di Osservazione : La sequenza osservata è ξ ( j ) + η ( j ) \xi(j) + \eta(j) ξ ( j ) + η ( j ) , dove ξ ( j ) \xi(j) ξ ( j ) è la sequenza del segnale e η ( j ) \eta(j) η ( j ) è la sequenza di rumoreSchema di Mancanza : I punti di osservazione sono j ∈ Z − ∖ S j \in \mathbb{Z}^- \setminus S j ∈ Z − ∖ S , dove S = ⋃ l = 1 s { − M l − N l , … , − M l } S = \bigcup_{l=1}^{s}\{-M_l-N_l, \ldots, -M_l\} S = ⋃ l = 1 s { − M l − N l , … , − M l } rappresenta i segmenti di osservazioni mancantiObiettivo di Stima : Il funzionale lineare A ξ = ∑ j = 0 ∞ a ( j ) ⊤ ξ ( j ) A\xi = \sum_{j=0}^{\infty} a(j)^\top \xi(j) A ξ = ∑ j = 0 ∞ a ( j ) ⊤ ξ ( j ) Valore Teorico : Estende la teoria classica di predizione di Kolmogorov-Wiener allo scenario con osservazioni mancantiSignificato Pratico : Nelle applicazioni reali, guasti ai sensori e interruzioni nella trasmissione dati causano frequentemente osservazioni mancantiNecessità di Robustezza : In pratica, la densità spettrale è spesso sconosciuta o imprecisa, richiedendo metodi di stima robustiIpotesi di Osservazioni Complete : I metodi tradizionali (Wiener, Yaglom, Rozanov, ecc.) assumono osservazioni completeIpotesi di Certezza Spettrale : La maggior parte dei metodi richiede la conoscenza precisa della densità spettrale, difficile da soddisfare in praticaLimitazioni Univariate : La teoria e i metodi per il caso multidimensionale sono relativamente carentiL'innovazione di questo articolo consiste in:
Estensione del metodo di proiezione nello spazio di Hilbert allo scenario con osservazioni mancanti Sviluppo della teoria di stima minimax robusta sotto incertezza spettrale Fornitura di un quadro teorico completo per il caso multidimensionale con formule computazionali Quadro Teorico : Stabilisce un sistema teorico completo per il problema di estrapolazione di sequenze stazionarie multidimensionali con osservazioni mancantiCaso di Certezza Spettrale :
Derivazione di formule esplicite per le caratteristiche spettrali della stima lineare ottimale (Formula 10) Fornitura di formule precise per il calcolo dell'errore quadratico medio (Formula 11) Caso di Incertezza Spettrale :
Sviluppo del metodo di stima minimax robusta Proposizione di equazioni caratterizzanti la densità spettrale più sfavorevole Soluzioni esplicite per molteplici classi di densità spettrale ammissibili speciali Casi Speciali : Fornisce corollari per osservazioni senza rumore, rumore non correlato e altri casi particolariMetodi Computazionali : Stabilisce un quadro computabile attraverso equazioni di operatori e coefficienti di FourierInput :
Sequenza osservata: { ξ ( j ) + η ( j ) , j ∈ Z − ∖ S } \{\xi(j) + \eta(j), j \in \mathbb{Z}^- \setminus S\} { ξ ( j ) + η ( j ) , j ∈ Z − ∖ S } Insieme di mancanza: S = ⋃ l = 1 s { − M l − N l , … , − M l } S = \bigcup_{l=1}^{s}\{-M_l-N_l, \ldots, -M_l\} S = ⋃ l = 1 s { − M l − N l , … , − M l } Coefficienti del funzionale: { a ( j ) , j = 0 , 1 , … } \{a(j), j=0,1,\ldots\} { a ( j ) , j = 0 , 1 , … } soddisfacenti ∑ j = 0 ∞ ∑ k = 1 T ∣ a k ( j ) ∣ < ∞ \sum_{j=0}^{\infty}\sum_{k=1}^{T}|a_k(j)| < \infty ∑ j = 0 ∞ ∑ k = 1 T ∣ a k ( j ) ∣ < ∞ Output :
Stima ottimale: A ^ ξ = ∫ − π π h ( e i λ ) ⊤ ( Z ξ ( d λ ) + Z η ( d λ ) ) \hat{A}\xi = \int_{-\pi}^{\pi} h(e^{i\lambda})^\top (Z_\xi(d\lambda) + Z_\eta(d\lambda)) A ^ ξ = ∫ − π π h ( e iλ ) ⊤ ( Z ξ ( d λ ) + Z η ( d λ )) Errore quadratico medio: Δ ( h ; F , G ) = E ∣ A ξ − A ^ ξ ∣ 2 \Delta(h; F, G) = E|A\xi - \hat{A}\xi|^2 Δ ( h ; F , G ) = E ∣ A ξ − A ^ ξ ∣ 2 Condizioni di Vincolo :
Condizione di minimalità: ∫ − π π Tr ( F ( λ ) + G ( λ ) ) − 1 d λ < ∞ \int_{-\pi}^{\pi} \text{Tr}(F(\lambda) + G(\lambda))^{-1}d\lambda < \infty ∫ − π π Tr ( F ( λ ) + G ( λ ) ) − 1 d λ < ∞ Il metodo principale dell'articolo si basa sulla teoria di proiezione di Kolmogorov nello spazio di Hilbert:
Costruzione dello Spazio di Hilbert :H = L 2 ( Ω , F , P ) H = L_2(\Omega, \mathcal{F}, P) H = L 2 ( Ω , F , P ) : generato da variabili casuali a media zero e varianza finitaH s ( ξ + η ) H_s(\xi + \eta) H s ( ξ + η ) : sottospazio lineare chiuso generato dai valori osservati { ξ k ( j ) + η k ( j ) : j ∈ Z − ∖ S , k = 1 , … , T } \{\xi_k(j) + \eta_k(j): j \in \mathbb{Z}^- \setminus S, k=1,\ldots,T\} { ξ k ( j ) + η k ( j ) : j ∈ Z − ∖ S , k = 1 , … , T } Caratterizzazione della Stima Ottimale : La stima ottimale A ^ ξ \hat{A}\xi A ^ ξ è la proiezione ortogonale di A ξ A\xi A ξ su H s ( ξ + η ) H_s(\xi+\eta) H s ( ξ + η ) , soddisfacendo:A ^ ξ ∈ H s ( ξ + η ) \hat{A}\xi \in H_s(\xi + \eta) A ^ ξ ∈ H s ( ξ + η ) A ξ − A ^ ξ ⊥ H s ( ξ + η ) A\xi - \hat{A}\xi \perp H_s(\xi + \eta) A ξ − A ^ ξ ⊥ H s ( ξ + η ) Utilizzando la decomposizione spettrale:
ξ ( j ) = ∫ − π π e i j λ Z ξ ( d λ ) , A ξ = ∫ − π π A ( e i λ ) ⊤ Z ξ ( d λ ) \xi(j) = \int_{-\pi}^{\pi} e^{ij\lambda} Z_\xi(d\lambda), \quad A\xi = \int_{-\pi}^{\pi} A(e^{i\lambda})^\top Z_\xi(d\lambda) ξ ( j ) = ∫ − π π e ijλ Z ξ ( d λ ) , A ξ = ∫ − π π A ( e iλ ) ⊤ Z ξ ( d λ )
dove A ( e i λ ) = ∑ j = 0 ∞ a ( j ) e i j λ A(e^{i\lambda}) = \sum_{j=0}^{\infty} a(j)e^{ij\lambda} A ( e iλ ) = ∑ j = 0 ∞ a ( j ) e ijλ
Attraverso la condizione di ortogonalità, la caratteristica spettrale h ( e i λ ) h(e^{i\lambda}) h ( e iλ ) soddisfa:
( A ( e i λ ) ) ⊤ ( F ( λ ) + F ξ η ( λ ) ) − ( h ( e i λ ) ) ⊤ F ζ ( λ ) = ( C ( e i λ ) ) ⊤ (A(e^{i\lambda}))^\top(F(\lambda) + F_{\xi\eta}(\lambda)) - (h(e^{i\lambda}))^\top F_\zeta(\lambda) = (C(e^{i\lambda}))^\top ( A ( e iλ ) ) ⊤ ( F ( λ ) + F ξ η ( λ )) − ( h ( e iλ ) ) ⊤ F ζ ( λ ) = ( C ( e iλ ) ) ⊤
dove F ζ ( λ ) = F ( λ ) + F ξ η ( λ ) + F η ξ ( λ ) + G ( λ ) F_\zeta(\lambda) = F(\lambda) + F_{\xi\eta}(\lambda) + F_{\eta\xi}(\lambda) + G(\lambda) F ζ ( λ ) = F ( λ ) + F ξ η ( λ ) + F η ξ ( λ ) + G ( λ ) , C ( e i λ ) = ∑ j ∈ U c ( j ) e i j λ C(e^{i\lambda}) = \sum_{j \in U} c(j)e^{ij\lambda} C ( e iλ ) = ∑ j ∈ U c ( j ) e ijλ , U = S ∪ { 0 , 1 , … } U = S \cup \{0,1,\ldots\} U = S ∪ { 0 , 1 , … }
Introducendo i coefficienti di Fourier:
B ( k − j ) = 1 2 π ∫ − π π ( F ζ ( λ ) ) − 1 e − i ( k − j ) λ d λ B(k-j) = \frac{1}{2\pi}\int_{-\pi}^{\pi} (F_\zeta(\lambda))^{-1}e^{-i(k-j)\lambda}d\lambda B ( k − j ) = 2 π 1 ∫ − π π ( F ζ ( λ ) ) − 1 e − i ( k − j ) λ d λ
R ( k − j ) = 1 2 π ∫ − π π ( F ( λ ) + F ξ η ( λ ) ) ( F ζ ( λ ) ) − 1 e − i ( k − j ) λ d λ R(k-j) = \frac{1}{2\pi}\int_{-\pi}^{\pi} (F(\lambda) + F_{\xi\eta}(\lambda))(F_\zeta(\lambda))^{-1}e^{-i(k-j)\lambda}d\lambda R ( k − j ) = 2 π 1 ∫ − π π ( F ( λ ) + F ξ η ( λ )) ( F ζ ( λ ) ) − 1 e − i ( k − j ) λ d λ
I coefficienti incogniti c ( k ) , k ∈ U c(k), k \in U c ( k ) , k ∈ U sono determinati dall'equazione di operatore:
R a = B c Ra = Bc R a = B c
dove gli operatori B , R B, R B , R sono definiti dalle corrispondenti matrici a blocchi, considerando la struttura delle osservazioni mancanti.
( h ( e i λ ) ) ⊤ = ( A ( e i λ ) ) ⊤ ( F ( λ ) + F ξ η ( λ ) ) ( F ζ ( λ ) ) − 1 − ( ∑ k ∈ U ( B − 1 R a ) ( k ) e i k λ ) ⊤ ( F ζ ( λ ) ) − 1 (h(e^{i\lambda}))^\top = (A(e^{i\lambda}))^\top(F(\lambda) + F_{\xi\eta}(\lambda))(F_\zeta(\lambda))^{-1} - \left(\sum_{k \in U}(B^{-1}Ra)(k)e^{ik\lambda}\right)^\top(F_\zeta(\lambda))^{-1} ( h ( e iλ ) ) ⊤ = ( A ( e iλ ) ) ⊤ ( F ( λ ) + F ξ η ( λ )) ( F ζ ( λ ) ) − 1 − ( ∑ k ∈ U ( B − 1 R a ) ( k ) e ikλ ) ⊤ ( F ζ ( λ ) ) − 1
Δ ( h ; F , G ) = ⟨ R a , B − 1 R a ⟩ + ⟨ Q a , a ⟩ \Delta(h; F, G) = \langle Ra, B^{-1}Ra \rangle + \langle Qa, a \rangle Δ ( h ; F , G ) = ⟨ R a , B − 1 R a ⟩ + ⟨ Q a , a ⟩
dove Q Q Q è l'operatore lineare definito dai coefficienti di Fourier Q ( k − j ) Q(k-j) Q ( k − j ) .
Densità Spettrale Più Sfavorevole (Definizione 3.1): ( F 0 , G 0 ) ∈ D (F^0, G^0) \in \mathcal{D} ( F 0 , G 0 ) ∈ D è detta più sfavorevole se
Δ ( h ( F 0 , G 0 ) ; F 0 , G 0 ) = max ( F , G ) ∈ D Δ ( h ( F , G ) ; F , G ) \Delta(h(F^0, G^0); F^0, G^0) = \max_{(F,G) \in \mathcal{D}} \Delta(h(F,G); F, G) Δ ( h ( F 0 , G 0 ) ; F 0 , G 0 ) = max ( F , G ) ∈ D Δ ( h ( F , G ) ; F , G )
Caratteristica Spettrale Minimax (Definizione 3.2): h 0 ∈ H D h^0 \in H_{\mathcal{D}} h 0 ∈ H D è detta minimax se
min h ∈ H D max ( F , G ) ∈ D Δ ( h ; F , G ) = max ( F , G ) ∈ D Δ ( h 0 ; F , G ) \min_{h \in H_{\mathcal{D}}} \max_{(F,G) \in \mathcal{D}} \Delta(h; F, G) = \max_{(F,G) \in \mathcal{D}} \Delta(h^0; F, G) min h ∈ H D max ( F , G ) ∈ D Δ ( h ; F , G ) = max ( F , G ) ∈ D Δ ( h 0 ; F , G )
Il problema minimax è equivalente all'ottimizzazione vincolata:
max ( F , G ) ∈ D ( ⟨ R a , B − 1 R a ⟩ + ⟨ Q a , a ⟩ ) \max_{(F,G) \in \mathcal{D}} (\langle Ra, B^{-1}Ra \rangle + \langle Qa, a \rangle) max ( F , G ) ∈ D (⟨ R a , B − 1 R a ⟩ + ⟨ Q a , a ⟩)
Trasformato in ottimizzazione non vincolata:
Δ D ( F , G ) = − Δ ( h ( F 0 , G 0 ) ; F , G ) + δ ( ( F , G ) ∣ D ) → inf \Delta_{\mathcal{D}}(F,G) = -\Delta(h(F^0, G^0); F, G) + \delta((F,G)|\mathcal{D}) \to \inf Δ D ( F , G ) = − Δ ( h ( F 0 , G 0 ) ; F , G ) + δ (( F , G ) ∣ D ) → inf
dove δ \delta δ è la funzione indicatrice.
La densità spettrale più sfavorevole è determinata dalla condizione di subdifferenziale:
0 ∈ ∂ Δ D ( F 0 , G 0 ) 0 \in \partial \Delta_{\mathcal{D}}(F^0, G^0) 0 ∈ ∂ Δ D ( F 0 , G 0 )
Utilizzando il metodo dei moltiplicatori di Lagrange e la forma del subdifferenziale, si possono derivare le equazioni caratterizzanti specifiche.
L'articolo considera molteplici categorie speciali, ad esempio:
D 0 1 = { F ( λ ) ∣ 1 2 π ∫ − π π Tr F ( λ ) d λ = p } \mathcal{D}^1_0 = \left\{F(\lambda) \left| \frac{1}{2\pi}\int_{-\pi}^{\pi} \text{Tr}F(\lambda)d\lambda = p\right.\right\} D 0 1 = { F ( λ ) 2 π 1 ∫ − π π Tr F ( λ ) d λ = p }
D 1 U V = { G ( λ ) ∣ Tr V ( λ ) ≤ Tr G ( λ ) ≤ Tr U ( λ ) , 1 2 π ∫ − π π Tr G ( λ ) d λ = q } \mathcal{D}^{UV}_1 = \left\{G(\lambda) \left| \text{Tr}V(\lambda) \leq \text{Tr}G(\lambda) \leq \text{Tr}U(\lambda), \frac{1}{2\pi}\int_{-\pi}^{\pi}\text{Tr}G(\lambda)d\lambda = q\right.\right\} D 1 U V = { G ( λ ) Tr V ( λ ) ≤ Tr G ( λ ) ≤ Tr U ( λ ) , 2 π 1 ∫ − π π Tr G ( λ ) d λ = q }
Equazione della Densità Spettrale Più Sfavorevole (Teorema 4.1):
( r G 0 ( λ ) ) ∗ ( r G 0 ( λ ) ) ⊤ = α 2 ( F 0 ( λ ) + G 0 ( λ ) ) 2 (r^0_G(\lambda))^*(r^0_G(\lambda))^\top = \alpha^2(F^0(\lambda) + G^0(\lambda))^2 ( r G 0 ( λ ) ) ∗ ( r G 0 ( λ ) ) ⊤ = α 2 ( F 0 ( λ ) + G 0 ( λ ) ) 2
( r F 0 ( λ ) ) ∗ ( r F 0 ( λ ) ) ⊤ = ( β 2 + γ 1 ( λ ) + γ 2 ( λ ) ) ( F 0 ( λ ) + G 0 ( λ ) ) 2 (r^0_F(\lambda))^*(r^0_F(\lambda))^\top = (\beta^2 + \gamma_1(\lambda) + \gamma_2(\lambda))(F^0(\lambda) + G^0(\lambda))^2 ( r F 0 ( λ ) ) ∗ ( r F 0 ( λ ) ) ⊤ = ( β 2 + γ 1 ( λ ) + γ 2 ( λ )) ( F 0 ( λ ) + G 0 ( λ ) ) 2
dove α 2 , β 2 \alpha^2, \beta^2 α 2 , β 2 sono i moltiplicatori di Lagrange, γ 1 ( λ ) ≤ 0 \gamma_1(\lambda) \leq 0 γ 1 ( λ ) ≤ 0 (uguale a 0 quando Tr G 0 ( λ ) > Tr V ( λ ) \text{Tr}G^0(\lambda) > \text{Tr}V(\lambda) Tr G 0 ( λ ) > Tr V ( λ ) ), γ 2 ( λ ) ≥ 0 \gamma_2(\lambda) \geq 0 γ 2 ( λ ) ≥ 0 (uguale a 0 quando Tr G 0 ( λ ) < Tr U ( λ ) \text{Tr}G^0(\lambda) < \text{Tr}U(\lambda) Tr G 0 ( λ ) < Tr U ( λ ) ).
L'articolo considera inoltre:
D 0 2 × D 2 U V \mathcal{D}^2_0 \times \mathcal{D}^{UV}_2 D 0 2 × D 2 U V : vincoli su elementi diagonaliD 0 3 × D 3 U V \mathcal{D}^3_0 \times \mathcal{D}^{UV}_3 D 0 3 × D 3 U V : vincoli di traccia ponderataD 0 4 × D 4 U V \mathcal{D}^4_0 \times \mathcal{D}^{UV}_4 D 0 4 × D 4 U V : vincoli di disuguaglianza matricialeD ϵ × D δ 1 \mathcal{D}_\epsilon \times \mathcal{D}^1_\delta D ϵ × D δ 1 : modelli di contaminazione ϵ \epsilon ϵ e intorno δ \delta δ Ogni classe fornisce le corrispondenti equazioni caratterizzanti.
L'articolo fornisce un esempio concreto di estrapolazione di sequenza bidimensionale:
Impostazione del Problema :
Funzionale: A 1 ξ = a ( 0 ) ⊤ ξ ( 0 ) + a ( 1 ) ⊤ ξ ( 1 ) A_1\xi = a(0)^\top\xi(0) + a(1)^\top\xi(1) A 1 ξ = a ( 0 ) ⊤ ξ ( 0 ) + a ( 1 ) ⊤ ξ ( 1 ) , dove a ( 0 ) = a ( 1 ) = ( 1 , 1 ) ⊤ a(0) = a(1) = (1,1)^\top a ( 0 ) = a ( 1 ) = ( 1 , 1 ) ⊤ Sequenza: ξ 1 ( n ) = ξ ( n ) \xi_1(n) = \xi(n) ξ 1 ( n ) = ξ ( n ) , ξ 2 ( n ) = ξ ( n ) + η ( n ) \xi_2(n) = \xi(n) + \eta(n) ξ 2 ( n ) = ξ ( n ) + η ( n ) Insieme di mancanza: S = { − 3 , − 2 } S = \{-3, -2\} S = { − 3 , − 2 } Densità spettrale:
f ( λ ) = 1 ∣ 1 − b 1 e i λ ∣ 2 , g ( λ ) = 1 ∣ 1 − b 2 e i λ ∣ 2 f(\lambda) = \frac{1}{|1-b_1e^{i\lambda}|^2}, \quad g(\lambda) = \frac{1}{|1-b_2e^{i\lambda}|^2} f ( λ ) = ∣1 − b 1 e iλ ∣ 2 1 , g ( λ ) = ∣1 − b 2 e iλ ∣ 2 1 Matrice di densità spettrale:
F ( λ ) = ( f ( λ ) f ( λ ) f ( λ ) f ( λ ) + g ( λ ) ) F(\lambda) = \begin{pmatrix} f(\lambda) & f(\lambda) \\ f(\lambda) & f(\lambda) + g(\lambda) \end{pmatrix} F ( λ ) = ( f ( λ ) f ( λ ) f ( λ ) f ( λ ) + g ( λ ) ) Matrice di Densità Spettrale Inversa :
( F ( λ ) ) − 1 = ( 1 f ( λ ) + 1 g ( λ ) − 1 g ( λ ) − 1 g ( λ ) 1 g ( λ ) ) = B ( − 1 ) e − i λ + B ( 0 ) + B ( 1 ) e i λ (F(\lambda))^{-1} = \begin{pmatrix} \frac{1}{f(\lambda)} + \frac{1}{g(\lambda)} & -\frac{1}{g(\lambda)} \\ -\frac{1}{g(\lambda)} & \frac{1}{g(\lambda)} \end{pmatrix} = B(-1)e^{-i\lambda} + B(0) + B(1)e^{i\lambda} ( F ( λ ) ) − 1 = ( f ( λ ) 1 + g ( λ ) 1 − g ( λ ) 1 − g ( λ ) 1 g ( λ ) 1 ) = B ( − 1 ) e − iλ + B ( 0 ) + B ( 1 ) e iλ Coefficienti di Fourier :
B ( 0 ) = ( 2 + b 1 2 + b 2 2 − 1 − b 2 2 − 1 − b 2 2 1 + b 2 2 ) , B ( 1 ) = B ( − 1 ) = ( − b 1 − b 2 b 2 b 2 − b 2 ) B(0) = \begin{pmatrix} 2+b_1^2+b_2^2 & -1-b_2^2 \\ -1-b_2^2 & 1+b_2^2 \end{pmatrix}, \quad B(1) = B(-1) = \begin{pmatrix} -b_1-b_2 & b_2 \\ b_2 & -b_2 \end{pmatrix} B ( 0 ) = ( 2 + b 1 2 + b 2 2 − 1 − b 2 2 − 1 − b 2 2 1 + b 2 2 ) , B ( 1 ) = B ( − 1 ) = ( − b 1 − b 2 b 2 b 2 − b 2 ) Matrice di Operatore : Costruzione della matrice a blocchi B B B , considerando le posizioni di mancanza { − 3 , − 2 } \{-3, -2\} { − 3 , − 2 } e le posizioni future { 0 , 1 , 2 , … } \{0, 1, 2, \ldots\} { 0 , 1 , 2 , … } Decomposizione Spettrale : Utilizzo della fattorizzazione
( F ( λ ) ) − 1 = ( ∑ j = 0 ∞ ψ ( j ) e − i j λ ) ⋅ ( ∑ j = 0 ∞ ψ ( j ) e − i j λ ) ∗ (F(\lambda))^{-1} = \left(\sum_{j=0}^{\infty}\psi(j)e^{-ij\lambda}\right) \cdot \left(\sum_{j=0}^{\infty}\psi(j)e^{-ij\lambda}\right)^* ( F ( λ ) ) − 1 = ( ∑ j = 0 ∞ ψ ( j ) e − ijλ ) ⋅ ( ∑ j = 0 ∞ ψ ( j ) e − ijλ ) ∗ dove ψ ( 0 ) = ( 1 1 0 − 1 ) \psi(0) = \begin{pmatrix} 1 & 1 \\ 0 & -1 \end{pmatrix} ψ ( 0 ) = ( 1 0 1 − 1 ) , ψ ( 1 ) = ( − b 1 − b 2 0 b 2 ) \psi(1) = \begin{pmatrix} -b_1 & -b_2 \\ 0 & b_2 \end{pmatrix} ψ ( 1 ) = ( − b 1 0 − b 2 b 2 ) Calcolo dell'Operatore Inverso : B 11 − 1 ( i , j ) = ( Θ ∗ Θ ) ( i , j ) = ∑ l = 0 min ( i , j ) ( θ ( i − l ) ) ∗ θ ( j − l ) B^{-1}_{11}(i,j) = (\Theta^*\Theta)(i,j) = \sum_{l=0}^{\min(i,j)}(\theta(i-l))^*\theta(j-l) B 11 − 1 ( i , j ) = ( Θ ∗ Θ ) ( i , j ) = ∑ l = 0 m i n ( i , j ) ( θ ( i − l ) ) ∗ θ ( j − l ) Caratteristica Spettrale :
( h 1 ( e i λ ) ) ⊤ = − ( b 2 + b 2 2 − 2 ( b 1 + b 1 2 ) , − b 2 − b 2 2 ) e − i λ (h_1(e^{i\lambda}))^\top = -(b_2 + b_2^2 - 2(b_1 + b_1^2), -b_2 - b_2^2)e^{-i\lambda} ( h 1 ( e iλ ) ) ⊤ = − ( b 2 + b 2 2 − 2 ( b 1 + b 1 2 ) , − b 2 − b 2 2 ) e − iλ
Errore Quadratico Medio :
Δ ( h 1 ; F ) = 10 + 8 b 1 + 4 b 1 2 + 2 b 2 + b 2 2 \Delta(h_1; F) = 10 + 8b_1 + 4b_1^2 + 2b_2 + b_2^2 Δ ( h 1 ; F ) = 10 + 8 b 1 + 4 b 1 2 + 2 b 2 + b 2 2
Questo esempio dimostra:
Come gestire la struttura a blocchi delle osservazioni mancanti Come utilizzare la decomposizione spettrale per semplificare i calcoli La forma esplicita della caratteristica spettrale ottimale L'articolo verifica la fattibilità del quadro teorico attraverso l'Esempio 2.1:
Semplicità della Caratteristica Spettrale : La caratteristica spettrale ottimale ha supporto finito (non nulla solo nel termine λ − 1 \lambda^{-1} λ − 1 ), riflettendo che l'effetto delle osservazioni mancanti è solo localeCalcolabilità dell'Errore : L'espressione dell'errore quadratico medio è un semplice polinomio nei parametri b 1 , b 2 b_1, b_2 b 1 , b 2 , facilitando l'analisi e l'ottimizzazioneInfluenza dei Parametri :Maggiori b 1 , b 2 b_1, b_2 b 1 , b 2 comportano errore maggiore (l'autocorrelazione del segnale e del rumore si intensifica) L'errore è più sensibile a b 1 b_1 b 1 (l'effetto dell'autocorrelazione del segnale è più significativo) Rispetto ai metodi esistenti:
Completezza : Fornisce un quadro completo dalla modellazione del problema al calcolo concretoGeneralità : Applicabile a sequenze multidimensionali e schemi di mancanza arbitrariRobustezza : Il metodo minimax gestisce l'incertezza spettraleCalcolabilità : Implementabile attraverso equazioni di operatori e coefficienti di FourierL'articolo fornisce molteplici teoremi che garantiscono:
Teorema 2.1 : Esistenza e unicità della soluzione ottimale nel caso di certezza spettraleTeoremi 4.1, 5.1 : Caratterizzazione della densità spettrale più sfavorevole sotto diverse classi ammissibiliCorollari 2.1-2.4, 4.1-4.2, 5.1-5.2 : Risultati semplificati per casi specialiKolmogorov (1941) : Primo a proporre il metodo spettrale per il problema di predizione di sequenze stazionarieWiener (1949) : Sviluppo della teoria di filtraggio per il tempo continuoYaglom (1955, 1987) : Studio sistematico della teoria correlata di processi stazionariRozanov (1967) : Teoria di processi stazionari multidimensionaliHannan (1970) : Analisi di serie temporali multivariateBondon (2002, 2005) : Problema di predizione con passato incompletoCheng & Pourahmadi (1996, 1998) : Problemi di estremizzazione e interpolazione nello spazio L p ( w ) L^p(w) L p ( w ) Kasahara, Pourahmadi & Inoue (2009) : Metodo duale per la predizione con valori mancantiPelagatti (2015) : Modellazione di serie temporali con componenti non osservabiliGrenander (1957) : Primo a proporre il metodo minimax per l'estrapolazione di processi stazionariKassam & Poor (1985) : Rassegna delle tecniche robuste nell'elaborazione dei segnaliFranke (1984, 1985) : Predizione e interpolazione robusta di serie temporaliFranke & Poor (1984) : Filtraggio minimax robustoVastola & Poor (1983) : Analisi dell'impatto dell'incertezza spettrale sul filtraggio di WienerMoklyachuk (2008, 2015) : Stima robusta di funzionali di sequenze stazionarieMoklyachuk & Masyutka (2008-2012) : Predizione minimax di processi stazionari multidimensionaliMoklyachuk & Sidei (2015-2017) : Interpolazione, estrapolazione e filtraggio con osservazioni mancantiLuz & Moklyachuk (2015-2016) : Stima di processi stazionari incrementaliRispetto ai lavori esistenti:
Sistematicità : Studio sistematico per la prima volta del problema di estrapolazione di sequenze multidimensionali con osservazioni mancantiCompletezza : Gestione simultanea di certezza e incertezza spettraleGeneralità : Considerazione di molteplici schemi di mancanza e classi di densità spettrale ammissibileOperabilità : Fornitura di formule di calcolo esplicite ed equazioni di operatoriQuadro Teorico : Stabilimento con successo di un sistema teorico completo per l'estrapolazione di sequenze stazionarie multidimensionali con osservazioni mancantiRisultati di Certezza Spettrale :La caratteristica spettrale ottimale è determinata dall'equazione di operatore R a = B c Ra = Bc R a = B c e dalla formula (10) L'errore quadratico medio può essere calcolato precisamente mediante la formula (11) Il metodo è applicabile a rumore correlato e non correlato Risultati di Incertezza Spettrale :La densità spettrale più sfavorevole è caratterizzata dalla condizione di subdifferenziale 0 ∈ ∂ Δ D ( F 0 , G 0 ) 0 \in \partial\Delta_{\mathcal{D}}(F^0, G^0) 0 ∈ ∂ Δ D ( F 0 , G 0 ) Sono fornite equazioni di Lagrange esplicite per molteplici classi ammissibili speciali La stima minimax possiede proprietà di punto di sella Metodo Computazionale : Realizzazione di un quadro computabile attraverso coefficienti di Fourier e matrici di operatoriComplessità Computazionale :Richiede la soluzione di equazioni di operatori a dimensione infinita (in pratica necessita di troncamento) Il calcolo dell'operatore inverso B − 1 B^{-1} B − 1 può essere difficile Più segmenti di mancanza comportano dimensioni matriciali più elevate Ipotesi Teoriche :Richiede che la condizione di minimalità (1) o (12) sia soddisfatta Assume l'invertibilità dell'operatore B B B (si veda Salehi 1979) I coefficienti del funzionale devono soddisfare la condizione di sommabilità assoluta (3) Incertezza Spettrale :Considera solo classi specifiche di densità spettrale ammissibile La soluzione numerica della densità spettrale più sfavorevole può essere complessa Non discute come stimare le classi ammissibili dai dati Praticità :Mancano esperimenti numerici su larga scala Non è combinato con applicazioni su dati reali Manca il confronto numerico con altri metodi Le direzioni di ricerca suggerite dall'articolo:
Sviluppo di Algoritmi :Algoritmi numerici efficienti per la soluzione di equazioni di operatori Metodi di approssimazione per problemi su larga scala Selezione adattiva della dimensione di troncamento Estensione Teorica :Generalizzazione a sequenze non stazionarie Sequenze correlate periodicamente (con lavori parziali esistenti) Sequenze stazionarie incrementali (con lavori parziali esistenti) Ricerca Applicativa :Problemi pratici nell'elaborazione dei segnali Analisi di serie temporali finanziarie Fusione di dati in reti di sensori Inferenza Statistica :Stima della densità spettrale dai dati Metodi per la selezione delle classi ammissibili Intervalli di confidenza e test di ipotesi Fondamenti Matematici Solidi : Basati sulla teoria dello spazio di Hilbert e sulla teoria dell'ottimizzazione convessaProve Complete : Teoremi e corollari con logica chiara e condizioni espliciteNotazione Regolamentata : Uso regolamentato della notazione matematica, facile da comprendereGestione delle Osservazioni Mancanti : Incorporamento ingegnoso della struttura di mancanza nella matrice di operatoriQuadro Minimax : Sviluppo sistematico della stima robusta sotto incertezza spettraleGeneralizzazione Multidimensionale : Gestione con successo della complessità del caso multidimensionaleMolteplici Scenari : Copertura di rumore correlato/non correlato, osservazioni con/senza rumoreMolteplici Classi Spettrali : Considerazione di 8 diverse classi di densità spettrale ammissibileFormule Esplicite : Fornitura di espressioni esplicite computabiliContesto Storico Chiaro : Dalla teoria di Kolmogorov ai lavori più recentiCitazioni Comprehensive : Inclusione di 41 riferimenti bibliograficiPosizionamento Accurato : Chiara indicazione della relazione con i lavori esistentiUn Solo Esempio : L'Esempio 2.1 è troppo semplice (bidimensionale, schema di mancanza semplice)Mancanza di Confronto Numerico : Nessun confronto numerico con altri metodiNessun Dato Reale : Nessuna verifica su dataset realiNotazione Pesante : Numerosi simboli di matrici e operatori, soglia di lettura elevataStruttura Complessa : La descrizione della struttura a blocchi della matrice di operatori non è sufficientemente intuitivaMancanza di Illustrazioni : Nessun diagramma per facilitare la comprensioneCosto Computazionale : Non discute la complessità algoritmica e l'efficienza computazionaleSelezione dei Parametri : Nessuna guida pratica per la selezione dei parametri delle classi ammissibiliImplementazione Software : Nessun codice o pacchetto softwareIpotesi di Invertibilità : La condizione di invertibilità dell'operatore B B B non è sufficientemente esplicitaAnalisi di Convergenza : Manca l'analisi dell'errore di troncamento per problemi a dimensione infinitaStabilità Numerica : La stabilità numerica non è discussaContributo Teorico : ★★★★☆Colma il vuoto nella teoria dell'estrapolazione con osservazioni mancanti Fornisce un quadro sistematico per ricerche successive Innovazione Metodologica : ★★★★☆Il metodo dell'equazione di operatori per gestire le osservazioni mancanti è innovativo Lo sviluppo sistematico del quadro minimax ha valore Potenziale Applicativo : ★★★☆☆La teoria è completa ma la praticità richiede verifica Necessitano più casi di applicazione pratica Riproducibilità : ★★☆☆☆Le formule teoriche sono complete ma i dettagli algoritmici sono insufficienti Manca il codice e gli esperimenti numerici Analisi di Serie Temporali : Fornisce strumenti teorici per la gestione di dati mancantiElaborazione dei Segnali : Applicabile alla fusione di dati di sensoriIngegneria Finanziaria : Gestione di dati di trading ad alta frequenza con mancanzeStatistica : Sviluppo della teoria di stima robustaReti di Sensori : Dati mancanti causati da guasti ai sensoriSistemi di Comunicazione : Ricostruzione di segnali da perdita di pacchettiSerie Temporali Finanziarie : Predizione con tempi di transazione irregolariMonitoraggio Ambientale : Imputazione di dati mancanti da stazioni meteorologicheProcessi Non Stazionari : Il metodo assume stazionaritàSistemi Non Lineari : Considera solo funzionali lineariProblemi ad Alta Dimensionalità su Larga Scala : La complessità computazionale potrebbe essere eccessivaSpettro Completamente Sconosciuto : Richiede informazioni a prioriRicercatori di Teoria delle Serie Temporali : ★★★★★Fornisce un quadro teorico sistematico Ingegneri di Elaborazione dei Segnali : ★★★☆☆Teoria forte, richiede background matematico Ricercatori di Statistica : ★★★★☆I metodi di stima robusta hanno valore di riferimento Data Scientist Applicati : ★★☆☆☆Mancano algoritmi pratici e codice L'articolo cita lavori classici e all'avanguardia nel campo:
Lavori Fondativi :Kolmogorov (1992): Teoria di predizione di processi casuali Wiener (1966): Teoria di filtraggio e predizione Yaglom (1987): Teoria correlata Metodologia :Grenander (1957): Metodo minimax Franke (1984, 1985): Predizione robusta Pshenichnyj (1971): Ottimizzazione convessa Osservazioni Mancanti :Bondon (2002, 2005) Pourahmadi et al. (2007, 2009) Serie di Lavori degli Autori : Dimostra la continuità e la profondità della ricercaQuesto è un articolo accademico di alta qualità con rigore teorico e sistematicità metodologica. I principali vantaggi sono:
Stabilimento di un quadro teorico completo per il problema di estrapolazione con osservazioni mancanti Gestione simultanea di certezza e incertezza spettrale Fornitura di soluzioni esplicite per molteplici casi speciali Le principali carenze sono:
Verifica sperimentale debole, con un solo esempio semplice Considerazioni pratiche insufficienti, mancanza di algoritmi e codice Leggibilità compromessa, notazione pesante Indice di Raccomandazione : ★★★★☆ (per ricercatori teorici) / ★★★☆☆ (per ricercatori applicati)
L'articolo fornisce importanti contributi teorici ai campi dell'analisi di serie temporali e della stima robusta, ma richiede lavori successivi nell'implementazione algoritmica e nella verifica pratica.