[논문 리뷰] Manifold interpolation and model reduction

Ralf Zimmermann|arXiv (Cornell University)|2019. 02. 18.

Model Reduction and Neural Networks참고 문헌 89인용 수 11

한 줄 요약

이 논문은 다각도의 매니폴드인 그라스만, 스티펠, 대칭 양의 정부호(정의된, SPD) 매니폴드 위에서의 보간을 사용한 매개변수 모델 축소를 위한 종합적인 프레임워크를 제시한다. 리만 기하학적 기법—예를 들어 지측선 보간과 타일러 유사 외삽—을 도입하여 구조를 유지하면서 매개변수화된 저차원 모델을 구성하며, 모델 차수 축소 응용 분야에서의 수치 구현을 위한 효율적인 알고리즘과 이론적 기초를 제공한다.

ABSTRACT

One approach to parametric and adaptive model reduction is via the interpolation of orthogonal bases, subspaces or positive definite system matrices. In all these cases, the sampled inputs stem from matrix sets that feature a geometric structure and thus form so-called matrix manifolds. This work will be featured as a chapter in the upcoming Handbook on Model Order Reduction (P. Benner, S. Grivet-Talocia, A. Quarteroni, G. Rozza, W.H.A. Schilders, L.M. Silveira, eds, to appear on DE GRUYTER) and reviews the numerical treatment of the most important matrix manifolds that arise in the context of model reduction. Moreover, the principal approaches to data interpolation and Taylor-like extrapolation on matrix manifolds are outlined and complemented by algorithms in pseudo-code.

연구 동기 및 목표

• 매개변수 모델 축소에서 나타나는 주요 행렬 매니폴드에 대한 체계적인 수치적 처리를 제공하기 위해.
• 매개변수 간에 부분공간, 정규직교 기저, 양의 정부호 시스템 행렬을 구조를 유지하면서 보간 가능하게 하기 위해.
• 매트릭스 매니폴드 기반 모델 축소 분야에 익숙하지 않은 연구자 및 실무자들을 위한 참조 가이드로 알고리즘과 이론적 배경을 제공하기 위해.
• 기초 도구와 정밀한 수학적 공식을 제공하여 맞춤형 매개변수 모델 축소 방법의 개발을 지원하기 위해.

제안 방법

• 그라스만, 스티펠, SPD 매니폴드와 같은 행렬 매니폴드 위에서의 보간 및 외삽을 정의하기 위해 리만 기하학을 사용한다.
• 행렬 지수와 로그를 통해 지측선 보간을 수행하여 매니폴드 위의 부분공간 또는 행렬 간의 경로를 계산한다.
• 주요 각도와 부분공간 간의 거리를 계산하기 위해 특이값 분해(SVD)와 극분해를 적용한다.
• 주어진 부분공간 간의 주요 각도를 사용하여 그라스만 매니폴드 위의 리만 거리를 유도하며, 이는 $ \|\Theta\|_2 $ 로 표현되며, $ \Theta $ 는 행렬 $ U^T \tilde{U} $ 의 특이값을 포함한다.
• 비가환 생성자에 대해 행렬 지수의 복합성을 다루기 위해 베커–캠프벨–하우스도르프 공식을 활용한다.
• 기저 정렬을 위한 최적의 정규직교 변환을 계산하기 위해 SVD를 사용하여 프로크루스테스 문제를 해결한다.

실험 결과

연구 질문

• RQ1 어떻게 매개변수 간에 정규직교 부분공간 또는 기저를 유지하면서 매트릭스 매니폴드 상의 기하학적 구조를 보존하는 보간을 수행할 수 있는가?
• RQ2 그라스만 매니폴드에서 부분공간을 보간하기 위한 적절한 리만 계량과 지측선 경로는 무엇인가?
• RQ3 어떻게 리만 기하학을 사용하여 SPD 매니폴드 상에서 양의 정부호 시스템 행렬의 구조 보존 보간을 달성할 수 있는가?
• RQ4 매개변수 모델 축소에서 행렬 매니폴드 상의 효율적이고 안정적인 보간 및 외삽을 가능하게 하는 수치 알고리즘은 무엇인가?
• RQ5 주어진 부분공간 간의 주요 각도는 그라스만 매니폴드 상에서 의미 있는 거리 측정법을 정의하는 데 어떻게 활용될 수 있는가?

주요 결과

• 그라스만 매니폴드 상의 리만 거리는 $ \|\Theta\|_2 $ 로 주어지며, 여기서 $ \Theta $ 는 행렬 $ U^T \tilde{U} $ 의 특이값을 포함한다.
• 지측선 보간은 전이 행렬의 로그의 지수를 통해 수행되며, 이는 최소 경로 길이와 직교성 유지 보장을 보장한다.
• 스티펠 매니폴드의 경우, 극분해와 행렬 로그를 사용하여 보간을 수행하며, 지측선 경로는 반대칭 행렬의 탄성공간 위의 지수 사상으로 정의된다.
• SPD 매니폴드 상의 거리는 행렬 로그를 통해 정의되며, 지측선 경로는 $ \exp(\log(P_1)^{1/2} \exp(t \cdot \log(P_1)^{-1/2} \log(P_2) \log(P_1)^{-1/2}) \log(P_1)^{1/2}) $ 로 주어지며, 양의 정부호성을 보장한다.
• 프로크루스테스 문제의 해는 SVD를 통해 얻어지며, 최적의 회전 $ R^* = UV^T $ 는 $ \|A - BR\|_F $ 를 최소화하며, 이는 보간에서 최적의 기저 정렬을 가능하게 한다.
• 논문은 그라스만 매니폴드 상의 임의의 두 점이 최대 $ \frac{\sqrt{r}}{2}\pi $ 의 길이를 갖는 지측선으로 연결될 수 있음을 증명하며, 보간 경로 길이에 대한 이론적 상한을 제공한다.