[논문 리뷰] Invertible and nilpotent matrices over antirings

David Dolžan, Polona Oblak|ArXiv.org|2008. 06. 18.

Finite Group Theory Research참고 문헌 7인용 수 5

한 줄 요약

이 논문은 가환 반환에서의 가역 행렬과 영행렬 행렬을 특성화하며, 전체 반환에서의 모든 영행렬 $ n \times n $ 행렬이 정확히 $ \lceil \log_2 n \rceil $ 개의 제곱이 영인 행렬의 합으로 표현될 수 있음을 증명한다. 또한, 추적값이 0인 임의의 행렬을 표현하는 데 필요한 최소 제곱이 영인 행렬의 수를 결정하여, 매트릭스 방향그래프의 조합적 색칠 기법을 통해 정확한 경계를 도출한다.

ABSTRACT

In this paper we characterize invertible matrices over an arbitrary commutative antiring S and find the structure of GL_n (S). We find the number of nilpotent matrices over an entire commutative finite antiring. We prove that every nilpotent $n imes n$ matrix over an entire antiring can be written as a sum of $\lceil \log_2 n ceil$ square-zero matrices and also find the necessary number of square-zero summands for an arbitrary trace-zero matrix to be expressible as their sum.

연구 동기 및 목표

• 가환 반환에서의 가역 행렬에 대한 Tan의 특성화를 항등원을 가진 임의의 가환 반환으로 일반화한다.
• 유한하고 가환적이며 전체적인 반환에서의 영행렬 행렬의 정확한 수를 결정한다.
• 반환에서 임의의 영행렬 또는 추적값이 0인 행렬을 표현하는 데 필요한 제곱이 영인 행렬의 최소 수를 확립한다.
• 가환 반환이 $ S $에 대한 일반선형군 $ GL_n(S) $의 구조를 특성화한다.

제안 방법

• 반환 내에서 1의 직교 분해를 활용하여 가역 행렬을 스케일된 순열 행렬의 합으로 분해한다.
• 매트릭스의 방향그래프에 그래프 색칠 기법을 적용하며, $ \chi(\Gamma) $ 를 정점이 동시에 같은 색의 두 간선의 출발점과 도착점이 되지 않는 최소 색 수로 정의한다.
• Harner와 Entringer(1972) 및 Zwonek(2015)의 전이 토너먼트와 완전 방향그래프의 간선 색칠 결과를 활용하여 제곱이 영인 행렬의 수를 경계한다.
• $ N(n) $ 을 $ n \leq \binom{N(n)}{\lceil N(n)/2 \rceil} $ 를 만족하는 최소 정수로 정의하며, 이는 추적값이 0인 행렬을 표현하는 데 필요한 최소 제곱이 영인 행렬의 수를 제공한다.
• 행렬 합의 방향그래프와 그 합성원의 방향그래프의 합집합을 연결하기 위해 식 $ D(A) = D(A_1) \uplus \cdots \uplus D(A_k) $ 를 사용한다.
• 반환 $ S $ 에서 1의 최대 길이의 직교 분해 길이 $ k $ 를 이용하여 $ GL_n(S) \simeq U(S)^n \rtimes (S_n)^k $ 임을 증명한다.

실험 결과

연구 질문

• RQ1 가환 반환이 $ S $ 에서의 일반선형군 $ GL_n(S) $ 의 구조는 무엇인가?
• RQ2 유한하고 가환적이며 전체적인 반환이나에서 $ n \times n $ 영행렬 행렬은 몇 개인가?
• RQ3 전체 반환이나에서 임의의 영행렬 $ n \times n $ 행렬을 표현하는 데 필요한 제곱이 영인 행렬의 최소 수는 무엇인가?
• RQ4 비영인 영행렬을 갖지 않는 반환이나에서 임의의 추적값이 0인 $ n \times n $ 행렬을 표현하는 데 필요한 제곱이 영인 행렬의 최소 수는 무엇인가?

주요 결과

• 모든 영행렬 $ n \times n $ 행렬은 전체 반환이나에서 정확히 $ \lceil \log_2 n \rceil $ 개의 제곱이 영인 행렬의 합으로 표현될 수 있으며, 이 경계는 날카롭다.
• 모든 $ n $ 에 대해 $ \lceil \log_2 n \rceil $ 개 이하의 제곱이 영인 행렬의 합으로 표현될 수 없는 영행렬 행렬이 존재한다.
• 유한하고 가환적이며 전체적인 반환이나에서의 영행렬 $ n \times n $ 행렬의 수는 상삼각행렬에서 상삼각부분의 비영원소들이 반환이나의 구조에 따라 정의된, 엄격하게 상삼각행렬의 수와 같다.
• 비영인 영행렬을 갖지 않는 반환이나에서의 모든 추적값이 0인 $ n \times n $ 행렬은 $ N(n) $ 개 이하의 제곱이 영인 행렬의 합으로 표현될 수 있으며, 여기서 $ N(n) $ 은 $ n \leq \binom{N(n)}{\lceil N(n)/2 \rceil} $ 를 만족하는 최소 정수이다.
• 모든 $ N(n) $ 개 이하의 제곱이 영인 행렬의 합으로 표현될 수 없는 추적값이 0인 행렬이 존재하여, 이 경계가 날카롭다는 것을 보여준다.
• $ S $ 에서의 가환 반환이나에서의 $ n \times n $ 가역 행렬의 군 $ GL_n(S) $ 는 $ U(S)^n \rtimes (S_n)^k $ 와 동형이며, 여기서 $ k $ 는 $ S $ 내에서 1의 최대 길이의 직교 분해 길이이다.