[논문 리뷰] Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

S. P. Glasby|arXiv (Cornell University)|2014. 10. 19.

graph theory and CDMA systems참고 문헌 3인용 수 3

한 줄 요약

이 논문은 체 $\bbF$ 위의 상삼각 유니포텐트 행렬군 $U_n(\bbF)$의 2- 및 3-생성 부분군을 명시적으로 구성하여 유한한 유니포텐트 군에서 달성 가능한 최대의 유도 길이 $d = \lceil \log_2 n \rceil$를 달성한다. 이는 $\frac{21}{32}2^d < n \leq 2^d$일 때에만 2-생성 부분군이 존재하며, 이를 위해 이중 트리 구조와 자유군 내 다항식 항등식을 기반으로 하는 재귀적 교환자 구성법을 사용하여 유도 길이 $d$에서 비자명성을 보장한다. 결과는 구조적이며, 재귀 공식을 통해 명시적인 생성 행렬을 제공한다.

ABSTRACT

The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} &lt; n &lt;= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d &lt; n &lt;= 2^d.

연구 동기 및 목표

• 최대 유도 길이 $d = \lceil \log_2 n \rceil$를 갖는 $U_n(\bbF)$의 부분군에 필요한 최소 생성자 수를 결정하는 것.
• 군 $U_n(\bbF)$가 유도 길이 $d$인 2-생성 부분군을 갖는 $n$이 정확히 어떤 경우인지 규명하는 것.
• 교환자 항등식과 자유군 단어 구성법을 이용하여 이러한 생성 행렬을 명시적이고 재귀적으로 구성하는 것.
• 유도 길이가 최대인 2-생성 부분군을 갖는 $n$의 점근 밀도를 규명하여 $\liminf \pi(N) = \frac{11}{21}$ 및 $\limsup \pi(N) = \frac{11}{16}$임을 보이는 것.

제안 방법

• 서표준 준동형사상 $\pi: U_{2n-1} \to U_n \times U_n$를 통한 재귀적 업링크를 사용하여 더 작은 부분군으로부터 3-생성 부분군을 구성하는 것.
• 층수 $d$의 이중 트리 구조를 활용하여 각 층이 유도 급수의 원소에 대응하고, 층 $k$의 행렬의 교환자를 사용해 층 $k+1$의 원소를 생성하는 것.
• 층 간에 생성자를 순환적으로 재사용하여 생성자 수를 $n-1$에서 3으로 줄이며, 순서수 3인 자유군 $F = \langle x_1,x_2,x_3 \rangle$의 단어를 정의하는 것.
• 2-생성 부분군의 경우, 중첩된 교환자와 다항식 항등식을 사용하여 자유군 순서수 2에서 단어를 구성하고, 승법 레미마를 적용하여 행렬 원소의 계수가 $\pm 1$이 되도록 보장하는 것.
• 행렬 대각선 상단의 교환자 비자명성을 보장하기 위해 군 대수 내 단항식 합성항의 분석을 수행하여 서로 다른 생성자 유형 간에 합성항이 서로 나누어지지 않도록 보장하는 것.
• 유도 길이 $d$에 대해 귀납법을 사용하며, 기저 사례로 $d=1$부터 $d=5$까지를 다루고, $d \geq 5$일 때 $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$임을 증명하여 군 단어 길이와 행렬 크기 제약 조건 간의 연결 고리를 설정하는 것.

실험 결과

연구 질문

• RQ1 어느 $n$ 에 대해 $U_n(\bbF)$가 유도 길이 $d = \lceil \log_2 n \rceil$인 2-생성 부분군을 갖는가?
• RQ2 유도 길이를 최대화하는 $U_n(\bbF)$의 부분군에 필요한 최소 생성자 수는 얼마인가?
• RQ3 교환자 항등식에 기반한 재귀 공식을 사용하여 이러한 부분군을 명시적으로 구성할 수 있는가?
• RQ4 유도 길이가 최대인 2-생성 부분군을 갖는 $n$의 점근 밀도는 얼마인가?
• RQ5 유도 급수의 구조는 자유군 단어의 단항식 합성항의 조합론과 어떻게 관련되는가?

주요 결과

• 모든 $n$ 에 대해 $2^{d-1} < n \leq 2^d$를 만족할 경우, $U_n(\bbF)$는 유도 길이 $d = \lceil \log_2 n \rceil$인 3-생성 부분군을 갖는다.
• 유도 길이 $d$인 2-생성 부분군이 $U_n(\bbF)$에 존재하는 것은 $\frac{21}{32}2^d < n \leq 2^d$일 때에만 성립한다.
• 최대 유도 길이를 갖는 2-생성 부분군을 갖는 $n \leq N$의 비율 $\pi(N)$는 $\frac{11}{21} < \pi(N) \leq 1$을 만족하며, $\liminf \pi(N) = \frac{11}{21}$ 및 $\limsup \pi(N) = \frac{11}{16}$이다.
• $d \geq 5$일 때, $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$이므로, $n > 21 \cdot 2^{d-5}$여야만 유도 길이 $d$ 부분군이 존재한다.
• 구성은 재귀적이고 명시적이다: 생성 행렬은 $\pi: U_{2n-1} \to U_n \times U_n$에 의한 업링크를 통해 정의되며, 자유군 내 단어는 재귀적으로 정의된다.
• 상단 레벨의 교환자 비자명성은 승법 레미마와 단항식 내 $\alpha$의 개수에 대한 합동 조건을 활용하여 행렬 원소의 단항식 합성항 계수가 $\pm 1$임을 보여줌으로써 검증된다.