[논문 리뷰] Transversality in Dynamical Systems with Generalized Symmetry

Eddie Nijholt, Bob Rink|arXiv (Cornell University)|2017. 10. 19.

Topological and Geometric Data Analysis참고 문헌 5인용 수 4

한 줄 요약

이 논문은 모노이드 대칭을 가진 동역학계에서 일반화된 핵과 중심 부분공간 유형을 도입함으로써 일반적인 분기 조건을 수립한다. 이는 k-매개변수 분기가 부분표현 U를 따라 발생하기 위해 k가 반드시 K_U(일반화된 핵에 해당) 또는 C_U(중심 부분공간에 해당) 이상이어야 한다고 증명한다. 이 임계값들은 U의 분해가 불가분성의 형태에만 의존한다. 본 결과는 기존의 등변 분기 이론을 군이 아닌 대칭, 즉 모노이드와 반군으로 일반화한다.

ABSTRACT

We prove that a generic $k$-parameter bifurcation of a dynamical system with a monoid symmetry occurs along a generalized kernel or center subspace of a particular type. More precisely, any (complementable) subrepresentation $U$ is given a number $K_U$ and a number $C_U$. A $k$-parameter bifurcation can generically only occur along a generalized kernel isomorphic to $U$ if $k \geq K_U$. It can generically only occur along a center subspace isomorphic to $U$ if $k \geq C_U$. The numbers $K_U$ and $C_U$ depend only on the decomposition of $U$ into indecomposable subrepresentations. In particular, we prove that a generic one-parameter steady-state bifurcation occurs along one absolutely indecomposable subrepresentation. Likewise, it follows that a generic one-parameter Hopf bifurcation occurs along one indecomposable subrepresentation of complex or quaternionic type, or along two isomorphic absolutely indecomposable subrepresentations. In order to prove these results, we show that the set of endomorphisms with generalized kernel (or center subspace) isomorphic to $U$ is the disjoint union of a finite set of conjugacy invariant submanifolds of codimension $K_U$ and higher (or $C_U$ and higher). The results in this article hold for any monoid, including non-compact groups.

연구 동기 및 목표

• 고전적 분기 이론을 컴팩트 리 군을 초월해 모노이드 대칭으로 확장하기 위해.
• 일반화된 대칭을 가진 시스템에서 일반적인 k-매개변수 분기의 필요 조건을 규명하기 위해.
• 부분표현 U에 대해 임계 매개변수 K_U와 C_U를 정의하고 계산하기 위해.
• 일반적인 한 매개변수 정상상태 분기가 절대적으로 분해 불가능한 부분표현을 따라 발생함을 증명하기 위해.
• 일반적인 한 매개변수 허프 분기가 복소수 또는 허수형 분해 불가능한 부분표현, 또는 두 개의 동형인 실수형 부분표현을 따라 발생함을 보여주기 위해.

제안 방법

• 특정 스펙트럼 및 대칭 성질을 갖는 불변 부분공간으로서 일반화된 핵과 중심 부분공간을 정의하기 위해.
• 부분표현 U를 따라 분기가 발생하기 위한 최소 매개변수 수인 K_U와 C_U를 도입하기 위해.
• 표현 이론을 사용하여 U를 분해 불가능 성분으로 분해하고, 그 유형(실수형, 복소수형, 허수형)으로부터 K_U와 C_U를 계산하기 위해.
• 일반화된 핵 또는 중심 부분공간이 U와 동형인 임의의 자기형사상들의 집합이 K_U 또는 C_U 이상의 여부차수를 갖는 콘jugacy-불변 부분다양체의 disjoint union이 됨을 증명하기 위해.
• 일반적인 분기가 k ≥ K_U 또는 k ≥ C_U일 때에만 발생함을 보이기 위해 전이성 원리(Transversality)를 적용하기 위해.
• 공액과 지수 함수를 사용하여 궤도 공간 내 수열의 수렴성을 분석하고, 조건이 위반되었을 경우 모순을 도출하기 위해.

실험 결과

연구 질문

• RQ1 모노이드 대칭 시스템에서 주어진 부분표현 U를 따라 일반적인 분기가 발생하기 위해 필요한 최소 매개변수 수는 얼마인가요?
• RQ2 K_U와 C_U는 U를 분해 불가능한 부분표현으로 분해할 때 어떻게 달라지나요?
• RQ3 왜 일반적인 한 매개변수 정상상태 분기는 절대적으로 분해 불가능한 부분표현을 따라만 발생하나요?
• RQ4 어떤 유형의 부분표현이 일반적인 한 매개변수 허프 분기를 지지할 수 있나요?
• RQ5 대칭 모노이드의 구조는 분기 다양체의 여부차수에 어떻게 영향을 미치나요?

주요 결과

• 일반적인 k-매개변수 분기는 일반화된 핵이 U와 동형이 되는 경우에만 k ≥ K_U일 때 발생할 수 있으며, 이때 K_U는 U의 분해 불가능한 분해에만 의존한다.
• 일반적인 k-매개변수 분기는 중심 부분공간이 U와 동형이 되는 경우에만 k ≥ C_U일 때 발생할 수 있으며, 이때 C_U 역시 U의 분해 불가능한 성분에 의해 결정된다.
• 한 매개변수 정상상태 분기의 경우, 일반적인 경우는 단일한 절대적으로 분해 불가능한 부분표현을 따라 발생한다.
• 한 매개변수 허프 분기의 경우, 일반적인 경우는 복소수 또는 허수형 분해 불가능한 부분표현 하나 또는 두 개의 동형인 절대적으로 분해 불가능한 실수형 부분표현을 따라 발생한다.
• 일반화된 핵(또는 중심 부분공간)이 U와 동형인 자기형사상들의 집합은 K_U(또는 C_U) 이상의 여부차수를 갖는 콘jugacy-불변 부분다양체의 disjoint union이다.
• 본 결과는 모든 모노이드에 대해 성립하며, 비콤팩트 군을 포함하여 기존의 컴팩트 리 군 기반 결과를 더 넓은 대칭 구조로 일반화한다.