[论文解读] Semigroups of matrices with dense orbits

Mohammad Javaheri|arXiv (Cornell University)|May 8, 2009

Holomorphic and Operator Theory参考文献 8被引用 5

一句话总结

本文构造了 $n \times n$ 矩阵 $A$ 和 $B$ 的显式对，其定义在 $\mathbb{R}$ 或 $\mathbb{C}$ 上，使得对于几乎所有初始向量 $x \in \mathbb{K}^n$，由 $A$ 和 $B$ 生成的半群作用下的轨道在 $\mathbb{K}^n$ 中稠密。关键结果表明，当两个矩阵——$A$ 为下三角矩阵，$B$ 为对角矩阵——的特征值满足特定的谱条件与比值条件，且由一个导出矩阵的首列元素非零时，可生成一个超循环半群。

ABSTRACT

We give examples of $n imes n$ matrices $A$ and $B$ over the filed $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ such that for almost every column vector $x \in \mathbb{K}^n$, the orbit of $x$ under the action of the semigroup generated by $A$ and $B$ is dense in $\mathbb{K}^n$.

研究动机与目标

• 确定在有限维空间中生成超循环半群所需的最少矩阵数量。
• 将超循环性概念从单个算子推广至有限生成的线性算子半群。
• 提供显式构造矩阵对，使其在 $\mathbb{K}^n$ 中产生稠密轨道，其中 $\mathbb{K} = \mathbb{R}$ 或 $\mathbb{C}$。
• 建立确保半群作用下轨道稠密的矩阵元素与特征值的充分条件。
• 探讨矩阵半群中非稠密但某处稠密的轨道的存在性，以及多超循环现象。

提出的方法

• 定义由两个矩阵 $A$ 和 $B$ 生成的半群，其中 $A$ 为下三角矩阵，$B$ 为对角矩阵。
• 施加谱条件：$|B_n| < \cdots < |B_1| < 1 < |A_1| < \cdots < |A_n|$，并引入比值序关系 $\left(\frac{B_k}{B_1}, \frac{A_k}{A_1}\right) \prec \cdots \prec (B_1, A_1)$。
• 引入生成对条件：若 $(a,b) \in \mathbb{K}^2$ 满足 $|a| < |b|$ 且 $\{a^m b^n : m,n \in \mathbb{N}\}$ 在 $\mathbb{K}$ 中稠密，则称其为生成对。
• 确保逆矩阵 $(A_1^{-1}A - I + \Delta)^{-1}$ 的首列元素非零，以满足一般性条件。
• 通过映射 $\Phi$ 的共轭论证，将 $\mathbb{K}^{n+1}$ 中的轨道与 $\mathbb{K}^n$ 中的轨道关联，从而将仿射情形约化为线性情形。
• 利用半群同态性质，将高维线性系统中轨道的稠密性传递至原始仿射系统。

实验结果

研究问题

• RQ1 在 $\mathbb{K}^n$ 中，生成超循环半群所需的最少矩阵数量是多少？
• RQ2 两个非交换矩阵能否在 $\mathbb{K}^n$ 中生成具有稠密轨道的半群？
• RQ3 哪类谱条件与结构条件可确保两个矩阵的几乎所有轨道在 $\mathbb{K}^n$ 中稠密？
• RQ4 是否存在实矩阵对，其轨道某处稠密但不完全稠密？若存在，此类矩阵对在 $\mathbb{C}$ 上是否可能？
• RQ5 有限个向量的轨道并集能否在 $\mathbb{K}^n$ 中稠密，而其中任一单个轨道均不稠密？

主要发现

• 本文证明，当满足特定谱条件与比值条件时，两个矩阵——$A$ 为下三角矩阵，$B$ 为对角矩阵——可在 $\mathbb{K}^n$ 中生成超循环半群。
• 对于 $n \geq 1$，存在显式的实矩阵与复矩阵 $n \times n$ 矩阵对 $A$ 和 $B$，使得任意满足 $x_1 \neq 0$ 的 $x \in \mathbb{K}^n$ 的轨道在 $\mathbb{K}^n$ 中稠密。
• 该构造满足生成对条件：$\left(\frac{B_k}{B_1}, \frac{A_k}{A_1}\right) \prec \cdots \prec (B_1, A_1)$，从而确保半群作用的稠密性。
• $(A_1^{-1}A - I + \Delta)^{-1}$ 的首列非零条件为一般性条件，且在矩阵的满测度集合上成立。
• 当特征值满足 $|B_n| < \cdots < |B_1| < 1 < |A_1| < \cdots < |A_n|$ 且 $\left(B_k, A_k\right) \prec \cdots \prec (B_1, A_1)$ 时，由映射 $x \mapsto Bx$ 和 $x \mapsto Ax + v$ 生成的仿射半群在 $\mathbb{R}^n$ 中具有稠密轨道。
• 通过共轭与半群同态技术可证明，任意满足 $p_1 \neq 0$ 的向量 $p \in \mathbb{K}^n$ 在半群 $\langle A, B \rangle$ 作用下的轨道在 $\mathbb{K}^n$ 中稠密。