[논문 리뷰] Linearizability of flows by embeddings

Matthew D. Kvalheim, Philip Arathoon|ArXiv.org|2023. 05. 29.

Mathematical Biology Tumor Growth인용 수 4

한 줄 요약

이 논문은 연속시간 동역계의 유한차원 유클리드 공간으로의 매끄럽거나 위상적 임bedding을 통한 전역 선형화 가능성에 대한 필수 및 필요조건을 수립한다. 매끄러운 임bedding을 통한 선형화가 일어나는 것은 유한차원 유클리드 공간에서의 흐름이 컴act 불변 다양체 위에서 매끄러운 토르스 작용의 1-파라미터 부분군이 되는 것과 동치임을 보이며, 연속적 임bedding의 경우 조건은 유한한 궤도 유형을 가진 컴 pact 불변 집합으로 확장되어 데이터 기반 쿠퍼만 연산자 방법에 대한 본질적인 위상수학적 및 대칭 제약 조건을 드러낸다.

ABSTRACT

We consider the problem of determining the class of continuous-time dynamical systems that can be globally linearized in the sense of admitting an embedding into a linear system on a higher-dimensional Euclidean space. We solve this problem for dynamical systems on connected state spaces that are either compact or contain at least one nonempty compact attractor, obtaining necessary and sufficient conditions for the existence of linearizing $C^k$ embeddings for $k\in \mathbb{N}_{\geq 0}\cup \{\infty\}$. Corollaries include (i) several checkable necessary conditions for global linearizability and (ii) extensions of the Hartman-Grobman and Floquet normal form theorems beyond the classical settings. Our results open new perspectives on linearizability by establishing relationships to symmetry, topology, and invariant manifold theory.

연구 동기 및 목표

• 연속시간 동역계가 유한차원 유클리드 공간으로의 임bedding을 통해 전역적으로 선형화될 수 있는 조건을 규명하는 것.
• 흡인자 기저와 컴 pact 불변 집합의 맥락에서 선형화 가능성에 대한 위상수학적 및 대칭 기반의 장애 요소를 규명하는 것.
• 유한차원 선형화 임bedding의 존재를 전제로 하는 데이터 기반 쿠퍼만 연산자 방법의 이론적 한계를 명확히 하는 것.
• 컴 pact 다양체 위에서 고립된 평형점이 존재하는 경우의 선형화 가능성에 관해 문헌에서 애매하게 여겨졌던 점들을 해결하는 것.
• 기계학습 기반 쿠퍼만 방법의 타당성을 평가하기 위한 엄밀한 이론적 기초를 제공하는 것.

제안 방법

• 흐름이 R^n 위의 선형 흐름으로의 매끄러운 임bedding을 허용하는지를 특성화하기 위해 미분위상수학과 리군 이론을 사용한다.
• 선형 흐름의 점근적 행동을 분석하고 기저의 위상적 제약 조건을 도출하기 위해 조르당 표준형 정리(Jordan normal form theorem)를 적용한다.
• 로컬 선형화 지도를 글로벌 매끄러운 임bedding으로 조합하기 위해 리아프노프 유형 함수를 사용한 파artition-of-unity 구성 기법을 활용한다.
• 삽입의 단사성과 적절성( properness)을 보장하기 위해 복합함수 F = (F₁∘P, F₀)를 통한 적절성 추론을 도입한다.
• 암시함수 정리와 흐름의 불변성을 활용하여 전진 동역학을 이용해 글로벌 임bedding의 단사성을 증명한다.
• 글로벌 흡인자와 재구성 맵의 존재를 활용하여 상태공간을 안정 영역과 일시적 영역으로 분해하고, 임bedding 구축을 위한 기반을 마련한다.

실험 결과

연구 질문

• RQ1 컴 pact 불변 다양체 X 위의 매끄러운 동역계가 R^n으로의 매끄러운 선형화 임bedding을 가질 수 있는 조건은 무엇인가?
• RQ2 컴 pact 불변 집합 위의 연속적 흐름이 위상적 임bedding을 통해 선형화될 수 있는 조건은 무엇이며, 어떤 위상적 또는 대칭 제약 조건이 발생하는가?
• RQ3 특히 전체 다양체가 아닌 기저가 불변인 집합 위에서 흐름의 선형화 가능성에 대한 필수 및 충분 조건은 무엇인가?
• RQ4 고립된 평형점은 매끄러운 선형화 가능성에 어떤 영향을 미치며, 어떤 차원적 또는 위상적 제약 조건이 발생하는가?
• RQ5 이 논문의 이론적 결과는 선형화 임bedding이 유한차원임을 전제로 하는 데이터 기반 쿠퍼만 연산자 방법의 적용 범위에 얼마나 제한을 가하는가?

주요 결과

• 컴 pact 불변 다각형 X 위의 매끄러운 흐름은 X 위에서 매끄러운 토르스 작용의 1-파라미터 부분군이 되는 것과 동치로 매끄러운 임bedding을 통한 선형화가 가능하다.
• X가 홀수차원이고 최소한 하나의 고립된 평형점이 존재하는 경우, 매끄러운 선형화 임bedding은 존재하지 않는다.
• 2차원 X에서 고립된 평형점만 존재하는 경우, 매끄러운 임bedding을 통한 선형화는 X가 2-토르스, 2-구면, 클라인 병, 또는 실수 사영 평면과 미분동형일 때에만 가능하다.
• 연속적 경우, 컴 pact 불변 집합 위의 흐름은 위상적 임bedding을 통한 선형화가 가능할 조건은 그것이 궤도 유형이 유한한 연속적 토르스 작용의 1-파라미터 부분군이 되는 것과 동치이다.
• F∘Φ^t = exp(Bt)∘F를 만족하는 R^n으로의 적절하고 단사적이며 임베딩인 매끄러운 사상 F: X → R^n이 존재하는 것은 매끄러운 흡인자 기저의 선형화 가능성에 대해 필수적이고 충분한 조건이다.
• 이 조건들을 만족하지 못하는 시스템은 데이터 기반 쿠퍼만 방법에 근본적인 제약을 가진다. 왜냐하면 매끄러움, 연속성 또는 단사성을 완화하지 않는 한 이러한 임bedding은 존재할 수 없기 때문이다.