[논문 리뷰] Minimax state estimates for abstract Neumann problems

Oleksandr Nakonechnyi, Sergiy Zhuk|arXiv (Cornell University)|2017. 10. 20.

Probabilistic and Robust Engineering Design참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한하지만 알려지지 않은 상관 연산자를 갖는 불확실한 입력, 경계 조건, 그리고 노이즈가 있는 관측값을 가진 힐버트 공간 내 추상적인 뉴먼 문제에 대해 분석적 최악상황(state) 추정치를 개발한다. 주요 기여는 볼록하고 가능하면 유계가 아닌 불확실성 집합에 대해 최악의 상황 추정치에 대한 정확한 해석적 표현을 제공하는 것으로, 약간의 조건 하에서 점점 정확해지는 성질이 증명되고, 컴act 연산자의 강건한 의사역행렬과의 연결 고리가 확립된다.

ABSTRACT

The paper presents analytic expressions of minimax (worst-case) estimates for solutions of linear abstract Neumann problems in Hilbert space with uncertain (not necessarily bounded!) inputs and boundary conditions given incomplete observations with stochastic noise. The latter is assumed to have uncertain but bounded correlation operator. It is demonstrated that the minimax estimate is asymptotically exact under mild assumptions on observations and bounding sets. A relationship between the proposed estimates and a robust pseudo-inversion of compact operators is revealed. This relationship is demonstrated on an academic numerical example: homogeneous Neumann problem for Poisson equation in two spatial dimensions.

연구 동기 및 목표

• 모델 오차(입력 및 경계 조건)가 결정론적이며, 상관 연산자가 알려지지 않은 유한한 노이즈가 있는 관측값을 갖는 추상적 선형 뉴먼 문제에 대해 최악상황 추정 프레임워크를 개발한다.
• 모델 입력의 불확실성 집합이 무한할 경우에도 선형 상태 기능의 최악상황 추정치에 대한 정확한 해석적 표현을 유도한다.
• 관측 시간이 증가함에 따라 최악의 추정 오차가 0으로 수렴하는 조건을 확립하여 추정치의 점점 정확해짐을 보장한다.
• 제안된 최악상황 추정치와 컴 pact 연산자의 강건한 의사역행렬 간의 근본적인 연결 고리를 드러낸다. 특히 장기 관측 시간에 수렴할 때의 특성에 초점을 맞춘다.
• 포isson 방정식을 포함한 수치 예제를 통해 프레임워크의 실용적 관련성을 입증하고, 신호 미분 및 노이즈 제거와의 연결 고리를 제시한다.

제안 방법

• 불확실한 입력 $f_0$, $f_1$ 및 노이즈 상관 연산자 $R_\nu$ 의 모든 가능한 실현값에 대해 최악의 평균 제곱 오차를 최소화하는 방식으로 최악상황 추정 문제를 설정한다. 이는 주어진 경계 집합 $G$ 및 $G_1$ 내에서 이루어진다.
• 힐버트 공간 내의 변분법과 쌍대성 이론을 활용하여, 특히 볼록하고 가능하면 무한한 불확실성 집합에서 최악상황 추정치 $\widehat{V\varphi}$ 의 정확한 해석적 표현을 도출한다.
• 관측값이 불완전하고 상관 연산자가 알려지지 않은 노이즈에 의해 오염된 경우에 이론을 적용한다. 노이즈는 주어진 집합 $G_1$ 내에서 유한한 상관 연산자를 갖는 평균 0의 확률과정으로 모델링된다.
• 관측 시간 $T \to \infty$ 일 때 추정 오차의 행동을 분석함으로써, 관측자와 경계 집합에 대한 약간의 가정 하에 최악상황 추정치의 점점 정확해짐을 확립한다.
• 장기 관측 시간에 수렴할 때, 최악상황 추정치가 최소 노름을 갖는 최소 제곱 문제 $\|Kx - K\varphi_{\text{true}}\| \to \min_x$ 의 해로 수렴함을 보여줌으로써, 최악상황 추정치와 무어-펜로즈 의사역행렬 간의 깊은 연결 고리를 드러낸다.
• 스펙트럼 분해와 연산자 이론을 활용하여, 특히 볼테라 유형의 연산자와 노이즈가 있는 신호의 미분과 관련된 최악상황 추정기의 수렴성을 분석한다.

실험 결과

연구 질문

• RQ1 불확실한 입력과 경계 조건을 갖는 추상적 뉴먼 문제의 해에 대한 선형 기능의 최악상황 추정치에 대한 정확한 해석적 표현은 무엇인가?
• RQ2 관측 시간이 증가함에 따라 최악의 추정 오차가 0으로 수렴하는 조건은 무엇인가?
• RQ3 장기 관측 시간에 수렴할 때 최악상황 추정 프레임워크는 컴 pact 연산자의 강건한 의사역행렬과 어떻게 관련이 있는가?
• RQ4 최악상황 추정기로 노이즈가 있는 신호를 미분자로 해석할 수 있는가? 만약 가능하면, 진짜 도함수로 수렴하는 조건은 무엇인가?
• RQ5 모델 입력의 불확실성 집합이 무한할 경우, 노이즈 상관 연산자는 유한할 때, 제안된 프레임워크는 어떻게 이를 다루는가?

주요 결과

• 논문은 입력과 경계 조건에 대한 불확실성 집합 $G$ 가 볼록하고 가능하면 무한할 때, 노이즈 상관 연산자에 대한 $G_1$ 가 유한할 때 최악상황 추정치 $\widehat{V\varphi}$ 의 정확한 해석적 표현을 제공한다.
• 관측자와 경계 집합에 대한 약간의 가정 하에 관측 시간 $T \to \infty$ 일 때 최악의 추정 오차가 0으로 수렴함을 증명하여 최악상황 추정치의 점점 정확해짐을 확립한다.
• $T \to \infty$ 일 때 최악상황 추정치는 최소 노름을 갖는 최소 제곱 문제 $\|Kx - K\varphi_{\text{true}}\| \to \min_x$ 의 해로 수렴하며, 이는 강건한 의사역행렬과의 직접적인 연결 고리를 확립한다.
• 볼테라 유형의 관측자 $K$ 의 경우, 최악상황 추정기는 효과적으로 노이즈가 있는 신호 $y(t)$ 를 미분하여 $K\varphi_{\text{true}}$ 의 도함수를 근사한다.
• 수치 실험 결과, 노이즈가 있는 관측값을 갖는 2차원 포아송 방정식의 해에 대해 최악상황 추정치가 약 1%의 상대 $L^2$ 오차를 달성한다.
• 모델 입력과 노이즈 통계에 대한 불확실성에도 불구하고, $f_1$ 과 $f_0$ 가 볼록 경계 집합 내에 있을 뿐이더라도 진짜 해로 수렴함을 통해 프레임워크의 강건성을 입증한다.