[논문 리뷰] Dense Random Finitely Generated Subgroups of Lie Groups

J. Winkelmann|ArXiv.org|2003. 09. 07.

Geometry and complex manifolds참고 문헌 5인용 수 3

한 줄 요약

이 논문은 임의의 연결 실 Lie 군 $G$에 대해 차원이 $n$일 때, 항등원의 충분히 작은 상대적으로 컴acts한 열린 근방 $W$에서 무작위로 $n+1$개의 원소를 선택하면, 그들이 $G$에 대해 밀도를 이루는 부분군을 이룬다는 것을 증명한다. 확률은 1이다. 증명은 Zassenhaus 근방의 성질, 정규 원소의 성질, 그리고 정규부분군에 대한 몫의 구조에 기반하며, 미묘한 위상 조건 하에서 밀도 생성이 일반적으로 일어남을 보여준다.

ABSTRACT

Let G be a connected real Lie group of dimension n. Then there exists a relatively compact open neighbourhood W of e in G such that for n+1 randomly chosen elements g_0,..,g_n the generated subgroup will be dense in G with probability one.

연구 동기 및 목표

• 연결 실 Lie 군에서 무작위로 선택된 원소들이 밀도 부분군을 생성할 수 있는 조건을 설정하는 것.
• 연결 실 Lie 군에서 밀도 부분군을 생성하기 위해 필요한 최소 생성자 수를 결정하는 것.
• Zassenhaus 근방과 정규 원소가 밀도 생성을 보장하는 데 기여하는 역할을 분석하는 것.
• 아벨, 완전, 일반적인 Lie 군에 대한 결과를 비교하여 무작위 생성에서의 구조적 차이를 부각하는 것.

제안 방법

• 반복된 교환자들이 항등원으로 수렴하는, 열려 있고 상대적으로 컴acts한 부분집합인 Zassenhaus 근방을 사용하여 국소 군의 행동을 보장함으로써 확률적 분석에 적합한 조건을 확보한다.
• Lie 군 내 정규 원소의 개념을 적용한다. 정규 원소의 여집합은 Haar 측도가 0이므로, 무작위 생성에서 병리적인 경우를 피할 수 있다.
• 정규부분군 $N$에 대한 몫을 통한 감소 추론 기법을 사용한다. 만약 부분군의 $N$에 대한 상(image)이 $G/N$에서 밀도를 이룬다면, $N$이 그 부분군에 포함되어 있으면 전체 군 $G$에서의 밀도가 보장된다.
• 연결 Lie 군 $G$의 정규 원소 $g$가 어떤 연결 닫힌 정규부분군 $H$를 포함하면, $G/H$는 노름화 가능하다는 사실을 활용한다.
• 측도론적 추론을 $\mathbb{R}^n$에 적용하여, 계수들이 $\mathbb{Q}$-선형독립인 경우 $n+1$개의 무작위로 선택된 벡터가 밀도 부분군을 생성함을 보여준다.
• Breuillard와 Gelander의 결과를 활용하여 완전 Lie 군의 특수한 경우에서 더 적은 생성자가 충분함을 보여준다. 예를 들어, 반단순 군의 경우 2개의 원소로도 충분하다.

실험 결과

연구 질문

• RQ1 연결 실 Lie 군에서 무작위로 선택된 원소들이 밀도 부분군을 생성하기 위해 필요한 최소 수는 얼마인가?
• RQ2 항등원의 근방 $W$에 대해 어떤 조건이 성립할 경우, $W$에서 무작위로 선택한 $n+1$개의 원소가 확률 1로 밀도 부분군을 생성하는가?
• RQ3 정규 원소와 Zassenhaus 근방의 성질이 밀도 부분군의 일반성에 어떻게 기여하는가?
• RQ4 왜 일반적인 Lie 군의 경우 $n+1$이 최적의 생성자 수이며, 아벨군이나 완전 군과 같은 특수 클래스에서는 이를 향상시킬 수 있는가?
• RQ5 특정 Lie 군에서는 $n+1$개 이하의 원소로도 밀도 부분군을 생성할 수 있는가? 만약 가능하다면 어떤 구조적 조건이 필요한가?

주요 결과

• 임의의 차원이 $n$인 연결 실 Lie 군 $G$에 대해, 항등원의 상대적으로 컴acts한 열린 근방 $W$가 존재하여, $W$에서 무작위로 선택한 $n+1$개의 원소가 $G$에서 밀도 부분군을 생성할 확률이 1이다.
• 결과는 최적임을 보여주며, $({\mathbb{R}}^n, +)$의 경우 $n+1$개의 생성자가 필수적임을 보여준다. 이보다 적은 수의 원소로는 밀도 부분군을 생성할 수 없다.
• 근방 $W$는 Zassenhaus 근방으로 취할 수 있지만, 모든 상대적으로 컴acts한 열린 근방이 충분하지는 않다. 일부 경우에서는 $n$개의 무작위 원소로도 밀도 부분군을 생성하지 못할 확률이 양수일 수 있다.
• 아벨 Lie 군의 경우, 밀도 생성을 위해 필요한 생성자 수는 $\dim G + 1$ 이하일 수 있으며, 일부 경우에서는 $k < \dim G + 1$인 $k$-생성 부분군이 밀도도 아니고 이산성도 아닐 확률이 1이다.
• 완전 Lie 군, 특히 반단순 군의 경우 더 적은 생성자가 충분하다. Breuillard와 Gelander의 결과에 따르면, 두 개의 원소로도 충분하므로 $n+1$의 경계는 이 경우로선 날카롭지 않다.
• 밀도 부분군을 생성하지 못하는 튜플의 집합은 $G^{n+1}$에서 Haar 측도가 0이므로, 주어진 조건 하에서 밀도 생성은 일반적인 현상임을 확인한다.