[论文解读] Transversality in Dynamical Systems with Generalized Symmetry

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

Topological and Geometric Data Analysis参考文献 5被引用 4

一句话总结

该论文通过引入广义核与中心子空间类型，在具有幺半群对称性的动力系统中建立了通用分支条件。证明了沿子表示 U 的 k 参数分支仅在 k ≥ K_U（广义核）或 k ≥ 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。
• 证明通用单参数稳态分支仅沿绝对不可约子表示发生。
• 证明通用单参数 Hopf 分支仅沿复数型或四元数型不可约子表示，或两个同构的实数型不可约子表示发生。

提出的方法

• 定义广义核与中心子空间为具有特定谱性质与对称性质的不变子空间。
• 引入 K_U 与 C_U 作为沿子表示 U 发生分支的最小参数数量。
• 利用表示论将 U 分解为不可约分量，并根据其类型（实数、复数、四元数）计算 K_U 与 C_U。
• 证明与 U 同构的广义核或中心子空间的自同态集合构成一个余维至少为 K_U 或 C_U 的共轭不变子流形的不交并。
• 应用横截性论证，表明通用分支仅在 k ≥ K_U 或 k ≥ C_U 时发生。
• 利用共轭与指数映射分析轨道空间中序列的收敛性，并在假设被违反时导出矛盾。

实验结果

研究问题

• RQ1 在幺半群对称系统中，沿给定子表示 U 发生通用分支所需的最少参数数量是多少？
• RQ2 K_U 与 C_U 如何依赖于 U 沿不可约子表示的分解？
• RQ3 为何通用单参数稳态分支仅沿绝对不可约子表示发生？
• RQ4 何种类型的子表示支持通用单参数 Hopf 分支？
• RQ5 对称幺半群的结构如何影响分支流形的余维？

主要发现

• 通用 k 参数分支仅在广义核同构于 U 时发生，且要求 k ≥ K_U，其中 K_U 仅取决于 U 的不可约分解。
• 通用 k 参数分支仅在中心子空间同构于 U 时发生，且要求 k ≥ C_U，其中 C_U 同样由 U 的不可约分量类型决定。
• 对于单参数稳态分支，通用情形仅沿一个绝对不可约子表示发生。
• 对于单参数 Hopf 分支，通用情形仅沿一个复数型或四元数型不可约子表示，或两个同构的绝对不可约子表示发生。
• 与 U 同构的广义核（或中心子空间）的自同态集合是一个余维至少为 K_U（或 C_U）的共轭不变子流形的不交并。
• 上述结果适用于任意幺半群，包括非紧致群，将经典紧致李群结果推广至更广泛的对称结构。