[논문 리뷰] Is affine invariance well defined on SPD matrices? A principled continuum of metrics

Yann Thanwerdas, Xavier Pennec|arXiv (Cornell University)|2019. 06. 04.

Advanced Neuroimaging Techniques and Applications참고 문헌 19인용 수 11

한 줄 요약

이 논문은 대칭 양의 정부호(SPD) 행렬 위에서 리만 기하학의 기초적인 모호함을 해결하며, 애फ인 불변성(affine invariance)이 거리계를 유일하게 정의하지 못함을 보이고, 파워-애फ인 및 변형-애फ인(metrics)이라는 원칙적인 연속체를 제안함으로써 애फ인 불변성과 펄라-애फ인 거리계를 통합함. 핵심 기여는 스펙트럼, 단변량, 로그선형 변형을 통한 이러한 거리계의 일반화를 가능하게 하는 이론적 프레임워크로, 로그선형 스펙트럼 거리계를 유도하는 데 필요한 조건을 증명하는 특성 정리가 포함됨.

ABSTRACT

Symmetric Positive Definite (SPD) matrices have been widely used in medical data analysis and a number of different Riemannian met-rics were proposed to compute with them. However, there are very few methodological principles guiding the choice of one particular metric for a given application. Invariance under the action of the affine transformations was suggested as a principle. Another concept is based on symmetries. However, the affine-invariant metric and the recently proposed polar-affine metric are both invariant and symmetric. Comparing these two cousin metrics leads us to introduce much wider families: power-affine and deformed-affine metrics. Within this continuum, we investigate other principles to restrict the family size.

연구 동기 및 목표

• 애फ인 불변성이 대칭 양의 정부호(SPD) 행렬 위의 리만 기하학에서 거리계를 유일하게 정의하는지 여부에 대한 모호함을 해결하기 위해.
• 기본적인 미분동형사상의 변형을 통해 애फ인 불변성과 펄라-애फ인 거리계를 더 넓은 거리계의 가족으로 통합하기 위해.
• 가능한 모든 거리계의 광범위한 공간을 이론적으로 기반한, 관리 가능한 가족으로 줄이기 위해 필요한 원칙적인 기준(예: 스펙트럼, 단변량, 로그선형 성질)을 규명하기 위해.
• 의료 영상 및 신호 처리 분야에서 SPD 기반 통계 분석에 적절한 리만 기하학적 거리계를 선택하기 위한 이론적 기초를 제공하기 위해.
• f-변형-애फ인 거리계와 같은 새로운 종류의 거리계를 포함하도록 프레임워크를 확장하고, 그 기하학적 및 대수적 성질을 특성화하기 위해.

제안 방법

• GL_n가 SPD_n 위에 작용하고, 몫 GL_n / O_n를 통해 애फ인 불변성 거리계를 구성함으로써, SPD_n와의 미분동형사상(diffeomorphism)을 수립함.
• GL_n / O_n와 SPD_n 사이의 다른 미분동형사상에 기반해, 펄라-애फ인 거리계를 애फ인 불변성 거리계의 제곱 변형으로 재해석함.
• 임의의 거듭제곱 함수로 일반화된 일차 매개변수 가중치 가중 거리계(family of power-affine metrics)를 도입함으로써, 애फ인 불변성 및 펄라-애फ인 사례를 포함하는 일련의 거리계를 구성함.
• SPD_n 위의 임의의 매끄러운 미분동형사상 f를 사용하여 변형-애फ인 거리계로 프레임워크를 확장함으로써, 군 작용과 대칭성 구조를 유지함.
• 리 군 표현 이론을 적용하여 스펙트럼과 로그선형 변형의 교차를 특성화함으로써, 오직 f_{λ,μ} 함수만이 두 성질을 동시에 만족함을 증명함.
• 로그-스타 변환(log∘f∘exp)을 정의하고 분석함으로써 로그선형 변형을 정의하고, 결과로 얻어지는 거리계의 대수적 특성화를 가능하게 함.

실험 결과

연구 질문

• RQ1 애फ인 불변성이 대칭 양의 정부호 행렬의 다양체 위에서 리만 거리계를 유일하게 정의하는 데 충분한가?
• RQ2 양자 모두가 불변성과 대칭성을 만족하는 애फ인 불변성과 펄라-애फ인 거리계를 어떻게 동일한 기하학적 프레임워크 아래 통합할 수 있는가?
• RQ3 SPD 다양체의 변형 f에 대해 대칭성과 불변성과 같은 핵심 기하학적 성질을 유지하기 위한 필요 및 충분조건은 무엇인가?
• RQ4 스펙트럼, 단변량, 대각선 안정성, 로그선형 등과 같은 변형의 어떤 유형이 이론적 및 계산적으로 바람직한 성질을 지닌 거리계를 생성하는가?
• RQ5 스펙트럼과 로그선형 변형의 교차는 어떻게 특성화할 수 있으며, 이는 결과로 얻어지는 리만 거리계의 구조에 어떤 함의를 갖는가?

주요 결과

• 펄라-애फ인 거리계는 애फ인 불변성 거리계의 제곱 변형이며, 이 관계는 일차 매개변수 가중 거리계의 가족으로 일반화됨.
• 애फ인 불변성 거리계와 펄라-애फ인 거리계는 모두 f-변형-애फ인 거리계의 특수한 경우이며, 이는 SPD_n 위의 미분동형사상에 의해 구성됨.
• SPD_n 위에서 유일한 스펙트럼 및 로그선형 변형은 f_{λ,μ}(Σ) = (det Σ)^{(λ−μ)/n} Σ^μ 형태이며, 이는 이중 매개변수 가중 가족을 이룸.
• f_{λ,μ}-변형-애फ인 거리계는 μ-거듭제곱-애फ인 가족에 속하며, 잘 정의되기 위한 곡률 조건 β = (λ² − μ²)/(nμ²) > −1/n 를 만족함.
• 스펙트럼과 로그선형 변형의 교차는 리 군 표현 이론의 슈어의 보조정리(Schur’s lemma)를 통해 정확히 이중 매개변수 가족 f_{λ,μ}임을 증명함.
• 이론적 기반의 제약 조건인 단변량, 대각선 안정성, 로그선형 성질 등을 식별함으로써, 무한한 가능한 거리계 공간을 제한하는 원칙적인 방법을 제공함.