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 статьи : 2511.07228Название : Extrapolation Problem for Multidimensional Stationary Sequences with Missing ObservationsАвторы : Олександр Масютка, Михаил Моклячук, Мария СидейУчреждение : Национальный университет имени Тараса Шевченко в КиевеКлассификация : math.ST (Теория статистики), stat.THЖурнал публикации : Statistics, Optimization and Information Computing, Vol. 7, март 2019, стр. 97-117Ссылка на статью : https://arxiv.org/abs/2511.07228 В статье исследуется задача среднеквадратической оптимальной экстраполяции многомерных стационарных случайных последовательностей при наличии пропущенных наблюдений. Оценки основаны на наблюдениях последовательности с аддитивным стационарным шумом. Исследование проводится в двух случаях: при спектральной определённости и спектральной неопределённости. В случае спектральной определённости выведены формулы для вычисления среднеквадратической ошибки оптимальной линейной оценки и спектральных характеристик; в случае спектральной неопределённости применён минимаксно-робастный метод и предложены формулы для определения наименее благоприятной спектральной плотности и минимаксных спектральных характеристик.
Основная задача, решаемая в статье, заключается в следующем: как оптимально оценить линейные функционалы многомерной стационарной случайной последовательности при наличии пропущенных наблюдений? Конкретно:
Модель наблюдений : Наблюдаемая последовательность имеет вид ξ ( j ) + η ( j ) \xi(j) + \eta(j) ξ ( j ) + η ( j ) , где ξ ( j ) \xi(j) ξ ( j ) — последовательность сигнала, η ( j ) \eta(j) η ( j ) — последовательность шумаПаттерн пропусков : Точки наблюдения — это j ∈ Z − ∖ S j \in \mathbb{Z}^- \setminus S j ∈ Z − ∖ S , где 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 } обозначает пропущенные интервалы наблюденийЦель оценивания : Линейный функционал A ξ = ∑ j = 0 ∞ a ( j ) ⊤ ξ ( j ) A\xi = \sum_{j=0}^{\infty} a(j)^\top \xi(j) A ξ = ∑ j = 0 ∞ a ( j ) ⊤ ξ ( j ) Теоретическая ценность : Расширение классической теории предсказания Колмогорова-Винера на случай пропущенных наблюденийПрактическое значение : В реальных приложениях отказы датчиков, прерывания передачи данных и другие факторы часто приводят к пропускам наблюденийТребование робастности : На практике спектральная плотность часто неизвестна или известна неточно, что требует методов робастного оцениванияПредположение о полноте наблюдений : Традиционные методы (Винер, Ягломм, Розанов и др.) предполагают полноту наблюденийПредположение о спектральной определённости : Большинство методов требуют точного знания спектральной плотности, что на практике редко выполняетсяОграничение одномерностью : Теория и методы для многомерного случая развиты недостаточноИнновационность работы заключается в:
Расширении метода проекции в гильбертовом пространстве на случай пропущенных наблюдений Развитии теории минимаксного робастного оценивания при спектральной неопределённости Предоставлении полной теоретической базы для многомерного случая и вычислительных формул Теоретическая база : Установлена полная система теории экстраполяции многомерных стационарных последовательностей с пропущенными наблюдениямиСлучай спектральной определённости :
Выведены явные формулы спектральных характеристик оптимальной линейной оценки (формула 10) Получены точные формулы вычисления среднеквадратической ошибки (формула 11) Случай спектральной неопределённости :
Развит метод минимаксного робастного оценивания Предложены уравнения характеризации наименее благоприятной спектральной плотности Даны конкретные решения для нескольких специальных допустимых классов спектральных плотностей Частные случаи : Предоставлены следствия для наблюдений без шума, некоррелированного шума и других специальных случаевВычислительные методы : Установлена вычислимая база через операторные уравнения и коэффициенты ФурьеВходные данные :
Наблюдаемая последовательность: { ξ ( j ) + η ( j ) , j ∈ Z − ∖ S } \{\xi(j) + \eta(j), j \in \mathbb{Z}^- \setminus S\} { ξ ( j ) + η ( j ) , j ∈ Z − ∖ S } Множество пропусков: 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 } Коэффициенты функционала: { a ( j ) , j = 0 , 1 , … } \{a(j), j=0,1,\ldots\} { a ( j ) , j = 0 , 1 , … } такие, что ∑ 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 ) ∣ < ∞ Выходные данные :
Оптимальная оценка: 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 λ )) Среднеквадратическая ошибка: Δ ( 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 Ограничения :
Условие минимальности: ∫ − π π Tr ( F ( λ ) + G ( λ ) ) − 1 d λ < ∞ \int_{-\pi}^{\pi} \text{Tr}(F(\lambda) + G(\lambda))^{-1}d\lambda < \infty ∫ − π π Tr ( F ( λ ) + G ( λ ) ) − 1 d λ < ∞ Основной метод работы основан на теории проекции Колмогорова в гильбертовом пространстве:
Конструкция гильбертова пространства :H = L 2 ( Ω , F , P ) H = L_2(\Omega, \mathcal{F}, P) H = L 2 ( Ω , F , P ) : пространство, порождённое случайными величинами с нулевым средним и конечной дисперсиейH s ( ξ + η ) H_s(\xi + \eta) H s ( ξ + η ) : замкнутое линейное подпространство, порождённое наблюдаемыми значениями { ξ 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 } Характеризация оптимальной оценки : Оптимальная оценка A ^ ξ \hat{A}\xi A ^ ξ является ортогональной проекцией A ξ A\xi A ξ на H s ( ξ + η ) H_s(\xi+\eta) H s ( ξ + η ) , удовлетворяющей: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 ( ξ + η ) Используя спектральное разложение:
ξ ( 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 λ )
где 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λ
Через условие ортогональности получаем, что спектральная характеристика h ( e i λ ) h(e^{i\lambda}) h ( e iλ ) удовлетворяет:
( 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λ ) ) ⊤
где 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 , … }
Введём коэффициенты Фурье:
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 λ
Неизвестные коэффициенты c ( k ) , k ∈ U c(k), k \in U c ( k ) , k ∈ U определяются операторным уравнением:
R a = B c Ra = Bc R a = B c
где операторы B , R B, R B , R определены соответствующими блочными матрицами, учитывающими структуру пропущенных наблюдений.
( 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 ⟩
где Q Q Q — линейный оператор, определённый коэффициентами Фурье Q ( k − j ) Q(k-j) Q ( k − j ) .
Наименее благоприятная спектральная плотность (Определение 3.1): ( F 0 , G 0 ) ∈ D (F^0, G^0) \in \mathcal{D} ( F 0 , G 0 ) ∈ D называется наименее благоприятной, если
Δ ( 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 )
Минимаксная спектральная характеристика (Определение 3.2): h 0 ∈ H D h^0 \in H_{\mathcal{D}} h 0 ∈ H D называется минимаксной, если
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 )
Минимаксная задача эквивалентна задаче условной оптимизации:
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 ⟩)
Преобразуется в задачу безусловной оптимизации:
Δ 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
где δ \delta δ — индикаторная функция.
Наименее благоприятная спектральная плотность определяется условием субдифференциала:
0 ∈ ∂ Δ D ( F 0 , G 0 ) 0 \in \partial \Delta_{\mathcal{D}}(F^0, G^0) 0 ∈ ∂ Δ D ( F 0 , G 0 )
Используя метод множителей Лагранжа и форму субдифференциала, можно вывести конкретные уравнения характеризации.
В статье рассматриваются несколько специальных классов, например:
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 }
Уравнение наименее благоприятной спектральной плотности (Теорема 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
где α 2 , β 2 \alpha^2, \beta^2 α 2 , β 2 — множители Лагранжа, γ 1 ( λ ) ≤ 0 \gamma_1(\lambda) \leq 0 γ 1 ( λ ) ≤ 0 (равно 0 при 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 (равно 0 при Tr G 0 ( λ ) < Tr U ( λ ) \text{Tr}G^0(\lambda) < \text{Tr}U(\lambda) Tr G 0 ( λ ) < Tr U ( λ ) ).
В статье также рассматриваются:
D 0 2 × D 2 U V \mathcal{D}^2_0 \times \mathcal{D}^{UV}_2 D 0 2 × D 2 U V : ограничения на диагональные элементыD 0 3 × D 3 U V \mathcal{D}^3_0 \times \mathcal{D}^{UV}_3 D 0 3 × D 3 U V : взвешенные ограничения на следD 0 4 × D 4 U V \mathcal{D}^4_0 \times \mathcal{D}^{UV}_4 D 0 4 × D 4 U V : матричные неравенстваD ϵ × D δ 1 \mathcal{D}_\epsilon \times \mathcal{D}^1_\delta D ϵ × D δ 1 : модели ϵ \epsilon ϵ -загрязнения и δ \delta δ -окрестностиДля каждого класса даны соответствующие уравнения характеризации.
Статья содержит конкретный пример экстраполяции двумерной последовательности:
Постановка задачи :
Функционал: 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 ) , где a ( 0 ) = a ( 1 ) = ( 1 , 1 ) ⊤ a(0) = a(1) = (1,1)^\top a ( 0 ) = a ( 1 ) = ( 1 , 1 ) ⊤ Последовательность: ξ 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 ) Множество пропусков: S = { − 3 , − 2 } S = \{-3, -2\} S = { − 3 , − 2 } Спектральная плотность:
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 Матрица спектральной плотности:
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 ( λ ) ) Обратная матрица спектральной плотности :
( 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λ Коэффициенты Фурье :
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 ) Матрицы операторов : Конструирование блочных матриц B B B , учитывающих позиции пропусков { − 3 , − 2 } \{-3, -2\} { − 3 , − 2 } и будущих позиций { 0 , 1 , 2 , … } \{0, 1, 2, \ldots\} { 0 , 1 , 2 , … } Спектральное разложение : Использование факторизации
( 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λ ) ∗ где ψ ( 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 ) Вычисление обратного оператора : 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 ) Спектральная характеристика :
( 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λ
Среднеквадратическая ошибка :
Δ ( 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
Этот пример демонстрирует:
Как обрабатывать блочную структуру пропущенных наблюдений Как использовать спектральное разложение для упрощения вычислений Явную форму оптимальной спектральной характеристики Статья проверяет применимость теоретической базы через Example 2.1:
Простота спектральной характеристики : Оптимальная спектральная характеристика имеет конечный носитель (ненулевая только в членах λ − 1 \lambda^{-1} λ − 1 ), отражая локальное влияние пропущенных наблюденийВычислимость ошибки : Выражение для среднеквадратической ошибки представляет собой простой полином от параметров b 1 , b 2 b_1, b_2 b 1 , b 2 , удобный для анализа и оптимизацииВлияние параметров :Чем больше b 1 , b 2 b_1, b_2 b 1 , b 2 , тем больше ошибка (усиление автокорреляции сигнала и шума) Ошибка более чувствительна к b 1 b_1 b 1 (влияние автокорреляции сигнала более значительно) По сравнению с существующими методами:
Полнота : Предоставляет полную базу от постановки задачи до конкретных вычисленийОбщность : Применим к многомерным последовательностям, произвольным паттернам пропусковРобастность : Минимаксный метод обрабатывает спектральную неопределённостьВычислимость : Реализуется через операторные уравнения и коэффициенты ФурьеСтатья предоставляет несколько теорем, гарантирующих:
Теорема 2.1 : Существование и единственность оптимального решения при спектральной определённостиТеоремы 4.1, 5.1 : Характеризация наименее благоприятной спектральной плотности для различных допустимых классовСледствия 2.1-2.4, 4.1-4.2, 5.1-5.2 : Упрощённые результаты для частных случаевКолмогоров (1941) : Первое предложение спектрального метода для задачи предсказания стационарных последовательностейВинер (1949) : Развитие теории фильтрации для непрерывного времениЯгломм (1955, 1987) : Систематическое исследование соответствующей теории для стационарных процессовРозанов (1967) : Теория многомерных стационарных процессовХаннан (1970) : Анализ многомерных временных рядовБондон (2002, 2005) : Задача предсказания с неполным прошлымЧэн и Пурахмади (1996, 1998) : Экстремальные задачи и интерполяция в пространствах L p ( w ) L^p(w) L p ( w ) Касахара, Пурахмади и Иноэ (2009) : Двойственный метод предсказания с пропущенными значениямиПелагатти (2015) : Моделирование временных рядов с ненаблюдаемыми компонентамиГренандер (1957) : Первое предложение минимаксного метода для экстраполяции стационарных процессовКассам и Пур (1985) : Обзор робастных методов в обработке сигналовФранке (1984, 1985) : Робастное предсказание и интерполяция временных рядовФранке и Пур (1984) : Минимаксная робастная фильтрацияВасто́ла и Пур (1983) : Анализ влияния спектральной неопределённости на фильтрацию ВинераМоклячук (2008, 2015) : Робастное оценивание функционалов стационарных последовательностейМоклячук и Масютка (2008-2012) : Минимаксное предсказание многомерных стационарных процессовМоклячук и Сидей (2015-2017) : Интерполяция, экстраполяция и фильтрация при пропущенных наблюденияхЛуц и Моклячук (2015-2016) : Оценивание стационарных процессов с приращениямиПо сравнению с существующими работами:
Систематичность : Первое систематическое исследование задачи экстраполяции многомерных последовательностей при пропущенных наблюденияхПолнота : Одновременное рассмотрение случаев спектральной определённости и неопределённостиОбщность : Рассмотрение различных паттернов пропусков и допустимых классов спектральных плотностейОперационность : Предоставление явных вычислительных формул и операторных уравненийТеоретическая база : Успешно установлена полная система теории экстраполяции многомерных стационарных последовательностей при пропущенных наблюденияхРезультаты при спектральной определённости :Оптимальная спектральная характеристика определяется операторным уравнением R a = B c Ra = Bc R a = B c и формулой (10) Среднеквадратическая ошибка может быть точно вычислена по формуле (11) Метод применим к коррелированному и некоррелированному шуму Результаты при спектральной неопределённости :Наименее благоприятная спектральная плотность характеризуется условием субдифференциала 0 ∈ ∂ Δ D ( F 0 , G 0 ) 0 \in \partial\Delta_{\mathcal{D}}(F^0, G^0) 0 ∈ ∂ Δ D ( F 0 , G 0 ) Для нескольких специальных допустимых классов даны явные уравнения Лагранжа Минимаксная оценка обладает свойством седловой точки Вычислительные методы : Через коэффициенты Фурье и матрицы операторов установлена вычислимая базаВычислительная сложность :Требуется решение бесконечномерных операторных уравнений (на практике требуется усечение) Вычисление обратного оператора B − 1 B^{-1} B − 1 может быть затруднено С увеличением числа пропущенных интервалов размерность матриц растёт Теоретические предположения :Требуется выполнение условия минимальности (1) или (12) Предполагается обратимость оператора B B B (см. Салехи 1979) Коэффициенты функционала должны удовлетворять условию абсолютной суммируемости (3) Спектральная неопределённость :Рассмотрены только специфические допустимые классы спектральных плотностей Численное решение задачи нахождения наименее благоприятной спектральной плотности может быть сложным Не обсуждается, как оценить допустимый класс из данных Практическое применение :Отсутствуют крупномасштабные численные эксперименты Не проведено объединение с приложениями на реальных данных Отсутствуют численные сравнения с другими методами Статья намекает на следующие направления исследований:
Разработка алгоритмов :Эффективные численные алгоритмы решения операторных уравнений Приближённые методы для крупномасштабных задач Адаптивный выбор размера усечения Расширение теории :Обобщение на нестационарные последовательности Периодически коррелированные последовательности (уже имеются некоторые работы) Стационарные процессы с приращениями (уже имеются некоторые работы) Прикладные исследования :Реальные задачи в обработке сигналов Анализ финансовых временных рядов Слияние данных в сетях датчиков Статистический вывод :Оценивание спектральной плотности по данным Методы выбора допустимого класса Доверительные интервалы и проверка гипотез Прочная математическая основа : Основана на теории гильбертовых пространств и выпуклой оптимизацииПолные доказательства : Логика теорем и следствий ясна, условия явно указаныСтандартная нотация : Математические символы используются правильно и легко понимаютсяОбработка пропущенных наблюдений : Искусно встраивает структуру пропусков в матрицы операторовМинимаксная база : Систематически развивает робастное оценивание при спектральной неопределённостиОбобщение на многомерный случай : Успешно справляется со сложностью многомерного случаяРазличные случаи : Охватывает коррелированный/некоррелированный шум, наблюдения с/без шумаМножество классов спектральных плотностей : Рассматривает 8 различных допустимых классовЯвные формулы : Предоставляет вычислимые явные выраженияЯсная историческая перспектива : От Колмогорова до последних работПолные ссылки : Содержит 41 ссылку на литературуТочное позиционирование : Ясно объясняет отношение к существующим работамТолько один пример : Example 2.1 слишком простой (двумерный, простой паттерн пропусков)Отсутствие численных сравнений : Не проводится сравнение с другими методамиНет реальных данных : Не проверено на реальных наборах данныхТяжёлая нотация : Большое количество матриц и символов операторов, высокий порог входаСложная структура : Описание блочной структуры матриц операторов недостаточно интуитивноОтсутствие иллюстраций : Нет диаграмм для помощи в пониманииВычислительные затраты : Не обсуждается сложность алгоритма и вычислительная эффективностьВыбор параметров : Отсутствуют практические рекомендации по выбору параметров допустимого классаПрограммная реализация : Нет кода или пакета программного обеспеченияУсловие обратимости : Условие обратимости оператора B B B недостаточно ясноАнализ сходимости : Отсутствует анализ ошибки усечения для бесконечномерных задачЧисловая устойчивость : Не обсуждается числовая устойчивостьТеоретический вклад : ★★★★☆Заполняет пробел в теории экстраполяции при пропущенных наблюдениях Предоставляет систематическую базу для будущих исследований Инновационность методов : ★★★★☆Метод операторных уравнений для обработки пропусков инновационен Систематическое развитие минимаксной базы имеет ценность Потенциал применения : ★★★☆☆Теория совершенна, но практическое применение требует проверки Нужны дополнительные примеры реальных приложений Воспроизводимость : ★★☆☆☆Теоретические формулы полны, но деталей алгоритма недостаточно Отсутствует код и численные эксперименты Анализ временных рядов : Предоставляет теоретические инструменты для обработки пропущенных данныхОбработка сигналов : Применимо к слиянию данных сенсорных сетейФинансовая инженерия : Обработка пропусков в данных высокочастотной торговлиСтатистика : Развитие теории робастного оцениванияСенсорные сети : Пропуски данных из-за отказа датчиковСистемы связи : Восстановление сигнала при потере пакетовФинансовые временные ряды : Предсказание при нерегулярных временах торговлиМониторинг окружающей среды : Восполнение пропусков в данных метеостанцийНестационарные процессы : Метод предполагает стационарностьНелинейные системы : Рассматривает только линейные функционалыВысокомерные крупномасштабные задачи : Вычислительная сложность может быть чрезмернойПолностью неизвестный спектр : Требуется некоторая априорная информацияИсследователи теории временных рядов : ★★★★★Предоставляет систематическую теоретическую базу Инженеры по обработке сигналов : ★★★☆☆Теория сильна, требует математического фона Исследователи статистики : ★★★★☆Методы робастного оценивания имеют справочную ценность Прикладные специалисты по данным : ★★☆☆☆Отсутствуют практические алгоритмы и код Статья цитирует классические и передовые работы в этой области:
Фундаментальные работы :Колмогоров (1992): Теория предсказания случайных процессов Винер (1966): Теория фильтрации и предсказания Ягломм (1987): Теория корреляции Методология :Гренандер (1957): Минимаксный метод Франке (1984, 1985): Робастное предсказание Пшеничный (1971): Выпуклая оптимизация Пропущенные наблюдения :Бондон (2002, 2005) Пурахмади и др. (2007, 2009) Серия работ авторов : Демонстрирует непрерывность и глубину исследованийЭто высококачественная научная статья с строгой теорией и систематическими методами. Основные преимущества:
Установлена полная теоретическая база для задачи экстраполяции при пропущенных наблюдениях Одновременно рассмотрены случаи спектральной определённости и неопределённости Предоставлены явные решения для различных специальных случаев Основные недостатки:
Слабая экспериментальная проверка, только один простой пример Недостаточное внимание к практическому применению, отсутствие алгоритмов и кода Проблемы с читаемостью, тяжёлая нотация Рекомендуемый рейтинг : ★★★★☆ (для исследователей теории) / ★★★☆☆ (для прикладных исследователей)
Статья вносит важный теоретический вклад в анализ временных рядов и теорию робастного оценивания, но требует дополнительной работы в области реализации алгоритмов и практического применения.