[논문 리뷰] Semigroups, rings, and Markov chains

Kenneth S. Brown|ArXiv.org|2000. 06. 20.

Advanced Combinatorial Mathematics참고 문헌 30인용 수 48

한 줄 요약

이 논문은 x² = x 및 xyx = xy를 만족하는 유한 반군의 일종인 왼쪽 정규 반군(LRB)에서의 무작위 보행을 분석하기 위해 링 이론적 프레임워크를 개발한다. 저자들은 1차원 기약 표현을 활용하여 전이 행렬이 실수 고유값을 가지며 대각화 가능하다는 것을 증명하고, 고유값과 고유부공간 투영의 명시적 공식을 유도하며, 고유값의 중복도가 일반화된 데란지먼 수임을 보여준다. 이 방법은 분배적 격자와 매트로이드에서의 새로운 무작위 보행을 도출하며, Tsetlin 라이브러리의 q-해석을 포함한다.

ABSTRACT

We analyze random walks on a class of semigroups called ``left-regular bands''. These walks include the hyperplane chamber walks of Bidigare, Hanlon, and Rockmore. Using methods of ring theory, we show that the transition matrices are diagonalizable and we calculate the eigenvalues and multiplicities. The methods lead to explicit formulas for the projections onto the eigenspaces. As examples of these semigroup walks, we construct a random walk on the maximal chains of any distributive lattice, as well as two random walks associated with any matroid. The examples include a q-analogue of the Tsetlin library. The multiplicities of the eigenvalues in the matroid walks are ``generalized derangement numbers'', which may be of independent interest.

연구 동기 및 목표

• 유한 반군에서의 마코프 체인을 분석하기 위한 표현 이론적 접근법을 개발하는 것. 특히 전통적인 군 표현 이론이 적용되지 않는 왼쪽 정규 반군(LRB)에 초점을 맞춘다.
• LRB에서의 무작위 보행 전이 행렬이 실수 고유값을 가지며 대각화 가능하다는 것을 입증함으로써 일반 반군 표현 이론의 부재를 보완하는 것.
• 반군 이론 및 순서집합 이론 도구를 활용하여 고유값, 그들의 중복도, 고유부공간에 대한 투영의 명시적 공식을 도출하는 것.
• 분배적 격자와 매트로이드에서의 최신 무작위 보행 예시를 구성하며, Tsetlin 라이브러리와 q-데란지먼 수와의 연결 고리를 포함하는 것.
• 매트로이드 보행에서의 중복도가 일반화된 데란지먼 수임을 보여주어 결과를 대수적 조합론에서 중요한 조합적 불변량과 연결하는 것.

제안 방법

• x² = x 및 xyx = xy를 만족하는 왼쪽 정규 반군(LRB)을 사용하여, 곱을 단순화하는 삭제 성질을 가진 반군을 모델링하는 것.
• 모든 기약 표현이 1차원이라는 사실을 활용하여, LRB에서의 무작위 보행 전이 행렬을 링 이론 기법으로 분석하는 것.
• 고유값을 교차 레이스터 내의 교차점 위에서의 가중치 부분합으로 표현하며, 중복도는 멜리우스 함수 값의 절댓값으로 주어진다.
• 특히 분배적 격자의 최대 체인을 중심으로, 반군의 구조와 그 이상수를 활용하여 고유부공간에 대한 투영을 명시적으로 구성하는 것.
• 플래그 h-벡터와 멜리우스 역전개를 사용하여, 매트로이드의 플랫 레이스터에서의 중복도를 조합적 자료로 표현하는 것.
• 등급 순서집합에서 같은 랭크를 가진 플랫 간의 중복도를 일치시키기 위해, 함수 γ(J)를 통한 랭크 기반의 뭉치기 절차를 도입하는 것.

실험 결과

연구 질문

• RQ1 기본 군 표현 이론이 적용되지 않는 경우, 유한 반군에서의 무작위 보행은 어떻게 분석할 수 있는가?
• RQ2 무작위 보행의 전이 행렬이 실수 고유값을 가지며 대각화 가능한 데 필요한 조건은 무엇인가?
• RQ3 매트로이드와 분배적 격자에서의 무작위 보행에서 고유값의 중복도는 어떤 조합론적 해석을 가질 수 있는가?
• RQ4 표현 이론적 방법을 통해 Tsetlin 라이브러리와 그 q-해석은 다른 반군 구조로 일반화될 수 있는가?
• RQ5 플래그 h-벡터와 멜리우스 함수는 매트로이드의 플랫 레이스터에서의 무작위 보행 스펙트럼 성질과 어떻게 관련이 있는가?

주요 결과

• 왼쪽 정규 반군에서의 무작위 보행 전이 행렬은 일반 반군 표현 이론이 존재하지 않음에도 불구하고 실수 고유값을 가지며 대각화 가능하다는 것이 비록 비직관적이지만 중요한 결과이다.
• 모든 X ∈ L에 대해 λ_X = ∑_{F⊆X} w_F 로 주어지며, 중복도 m_X = |μ(X,V)| 이다. 여기서 μ는 멜리우스 함수이다.
• n개의 생성자를 가진 자유 LRB에서의 고유값은 각 부분집합 X⊆[n]에 대해 λ_X = ∑_{i∈X} w_i 이며, 중복도는 데란지먼 수와 같다.
• 매트로이드 보행에서의 중복도는 일반화된 데란지먼 수이며, 이는 특정 인덱스 집합 J에 대해 플래그 h-벡터의 성분을 합한 것이다.
• 랭크 r을 가진 모든 플랫의 총 중복도는 γ(J) = r 인 모든 J에 대해 h_J(L)의 합과 같다. 여기서 γ(J)는 J의 연속 정수의 초기 연속 조합으로 정의된다.
• Tsetlin 라이브러리의 q-해석이 구성되며, q-데란지먼 수 d_n(q) 는 S_n 내의 모든 데란지먼 π에 대해 q^{inv(π)}의 합과 같다.