[논문 리뷰] Semigroups of matrices with dense orbits

Mohammad Javaheri|arXiv (Cornell University)|2009. 05. 08.

Holomorphic and Operator Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 실수 또는 복소수 체 위의 $n \times n$ 행렬 $A$와 $B$의 명시적 쌍을 구성하여, 거의 모든 초기 벡터 $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} = \mathbb{R}$ 또는 $\mathbb{C}$에 대해 $\mathbb{K}^n$에서 궤도가 밀도를 이루는 행렬 쌍의 명시적 구성 제공.
• 반군 작용 하에서 궤도가 밀도를 이루도록 보장하는 행렬 원소와 고유값에 대한 충분조건 설정.
• 비밀도이지만 어느 정도는 밀도를 이룬 궤도가 존재하는지, 그리고 행렬 반군에서 다중초순환 현상이 존재하는지 탐색하는 것.

제안 방법

• 하삼각행렬 $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}$ 의 첫 번째 열 성분이 모두 0이 아니도록 보장하여 일반 조건을 만족.
• 반군 작용의 밀도를 고차원 선형 시스템에서 원래의 애핀 시스템으로 이전하기 위해 $\Phi$ 라는 사상에 의한 코어지션 기법 사용.
• 반군 준동형 성질을 활용하여 고차원 선형 시스템에서의 궤도 밀도를 원래의 애핀 시스템으로 이 trasfer 하는 것.

실험 결과

연구 질문

• RQ1 유한차원 공간 $\mathbb{K}^n$ 에서 초순환 반군을 생성하기 위해 필요한 최소 행렬 수는 얼마인가?
• RQ2 서로 교환하지 않는 두 행렬이 $\mathbb{K}^n$ 에서 궤도가 밀도를 이루는 반군을 생성할 수 있는가?
• RQ3 두 행렬의 스펙트럼 및 구조 조건이 거의 모든 궤도가 $\mathbb{K}^n$ 에서 밀도를 이루도록 보장하기 위해 어떤 조건이 필요한가?
• RQ4 실수 행렬 쌍 중에서 궤도가 밀도가 아니지만 어느 정도는 밀도를 이루는 경우가 존재하는가? 만약 존재한다면, 복소수 체 위에서도 그러한 쌍이 존재할 수 있는가?
• 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}$ 의 첫 번째 열 성분이 0이 아닌 조건은 일반적이며, 거의 모든 측도를 가진 행렬 집합에서 성립한다.
• $x \mapsto Bx$ 와 $x \mapsto Ax + v$ 로 생성되는 애핀 반군은 고유값이 $|B_n| < \cdots < |B_1| < 1 < |A_1| < \cdots < |A_n|$ 와 $\left(B_k, A_k\right) \prec \cdots \prec (B_1, A_1)$ 를 만족할 경우 $\mathbb{R}^n$ 에서 궤도가 밀도를 이룬다.
• $p_1 \neq 0$ 인 $\mathbb{K}^n$ 의 임의의 벡터 $p$ 는 반군 $\langle A, B \rangle$ 에서 $\mathbb{K}^n$ 에서 궤도가 밀도를 이룬다. 이는 코어지션과 반군 준동형 기법을 통해 입증된다.