[논문 리뷰] Upper triangular matrices and Billiard Arrays

Yang Yang|arXiv (Cornell University)|2015. 08. 18.

Cellular Automata and Applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 체 F 위의 (d+1)-차원 벡터 공간에서의 빌리어드 배열의 동형류와 매우 양호한 상삼각행렬 사이의 대응을 수립한다. 이러한 행렬들이 세 개의 완전히 서로 반대되는 플래그를 유도하며, 이는 빌리어드 배열을 생성하며, 그 B-값(스칼라 매개변수)은 행렬의 성분들로 명시적으로 계산된다. 핵심 기여는 대각 스케일링에 대한 동치류로 나누어진 매우 양호한 상삼각행렬의 동치류와 빌리어드 배열의 동형류 사이의 전단사 대응을 확립한 것이다.

ABSTRACT

Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${ m Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on $V$. We find a necessary and sufficient condition on $T$ for these three flags to be totally opposite. In this case, we use these three totally opposite flags to construct a Billiard Array $B$ on $V$. It is known that $B$ is determined up to isomorphism by a certain triangular array of scalar parameters called the $B$-values. We compute these $B$-values in terms of the entries of $T$. We describe the set of isomorphism classes of Billiard Arrays in terms of upper triangular matrices.

연구 동기 및 목표

• 역행렬을 가진 상삼각행렬이 (d+1)-차원 벡터 공간에서 세 개의 완전히 서로 반대되는 플래그를 유도할 조건을 규명하는 것.
• 그러한 플래그에서 유도된 빌리어드 배열의 B-값을 행렬 성분들로 표현하는 것.
• 대각 스케일링에 대한 동치류로 나누어진 매우 양호한 상삼각행렬의 동치류와 빌리어드 배열의 동형류 사이의 전단사 대응을 수립하는 것.
• q-이항계수를 사용하여 모든 B-값이 q⁻¹이 되는 명시적 예를 제시하는 것.

제안 방법

• 역행렬을 가진 상삼각행렬 T로부터 (d+1)차원 벡터 공간 V에 대해 세 개의 플래그를 구성한다: 표준 기저에서의 하나, 역순 기저에서의 하나, 그리고 T에 의한 이미지 기저에서의 하나.
• 모든 주어진 주위행렬들이 역행렬을 가진다면 그 행렬 T를 '매우 양호'하다고 정의하며, 이 조건은 세 플래그가 완전히 서로 반대가 되도록 보장한다.
• 완전히 서로 반대되는 플래그 이론을 활용하여 V 위에 빌리어드 배열 B를 구성하며, 이는 B-값에 의해 유일하게 결정되며, 동형류에 대해 유일하다.
• 행렬 T의 부분행렬의 행렬식, 특히 0 ≤ i ≤ j ≤ d 에 대해 det(T[i,j])를 포함하는 공식을 사용하여 B-값을 명시적으로 계산한다.
• 역행렬을 가진 대각행렬에 의한 좌우 곱셈을 통해 매우 양호한 상삼각행렬의 집합에 동치관계 ∼를 정의한다.
• 행렬의 동치류에서 빌리어드 배열의 동형류로 가는 사상이 전단사임을 보여주는 가환다이어그램을 수립한다.

실험 결과

연구 질문

• RQ1 역행렬을 가진 상삼각행렬 T가 V 위에서 유도하는 세 플래그가 완전히 서로 반대가 되기 위한 조건은 무엇인가?
• RQ2 그러한 플래그에서 유도된 빌리어드 배열의 B-값은 T의 성분들로 어떻게 표현할 수 있는가?
• RQ3 대각 스케일링에 대한 동치류로 나누어진 매우 양호한 상삼각행렬의 동치류와 빌리어드 배열의 동형류 사이의 관계는 무엇인가?
• RQ4 각 빌리어드 배열의 동형류에 대해 표준 행렬 표현이 존재하는가? 만약 존재한다면, 어떻게 구성되는가?
• RQ5 행렬 성분들이 q-이항계수일 경우 B-값은 어떻게 되는가?

주요 결과

• 역행렬을 가진 상삼각행렬 T가 유도하는 세 플래그가 완전히 서로 반대가 되기 위한 필요충분조건은 T가 '매우 양호'하다는 것인데, 이는 T의 모든 주위행렬들이 역행렬을 가진다는 것을 의미한다.
• 그러한 플래그에서 유도된 빌리어드 배열의 B-값은 T의 부분행렬의 행렬식을 포함하는 공식으로 주어지며, 특히 B-값은 0 ≤ i ≤ j ≤ d 에 대해 det(T[i,j])로 결정된다.
• 행렬 T의 성분이 T_{ij} = {j rack i}_q (q-이항계수)인 경우, 해당 빌리어드 배열의 모든 B-값은 q⁻¹과 같다.
• V 위의 빌리어드 배열의 동형류 집합은 대각 스케일링에 대한 동치관계 T ∼ T' ⟺ T' = H T K (H, K는 역행렬을 가진 대각행렬)에 의한 매우 양호한 상삼각행렬의 동치류 집합과 전단사 대응 관계에 있다.
• 부분행렬 T[i,j]의 행렬식(행 i에서 j까지, 열 i에서 j까지)은 det(T[i,j]) = q^{i(j-i)(j-i+1)/2} 로 주어진다.
• q = 1일 경우, 행렬 성분은 이항계수가 되며, 이에 대응하는 빌리어드 배열의 모든 B-값은 1과 같다.