[논문 리뷰] Central measures on multiplicative graphs, representations of Lie algebras and weight polytopes

Cédric Lecouvey, Pierre Tarrago|arXiv (Cornell University)|2016. 09. 01.

Random Matrices and Applications참고 문헌 11인용 수 3

한 줄 요약

이 논문은 단순 리 대수의 유한차원 표현과 관련된 곱셈 그래프 위의 중심 측도와 표현의 가중치 다면체 사이의 위상동형사를 리틀만의 경로 모델을 사용하여 명시적으로 구성한다. 이는 랜덤 리틀만 경로의 드리프트를 통한 중심 측도의 매개변수화를 제공하며, 조화 함수 및 c-조화 함수의 완전한 특성화와 조건부 랜덤 워크에 대한 대수법칙을 이끌어낸다.

ABSTRACT

To each finite-dimensional representation of a simple Lie algebra is associated a multiplicative graph in the sense of Kerov and Vershik definedfrom the decomposition of its tensor powers into irreducible components. The conditioning of naturalrandom Littelmann paths to stay in their corresponding Weyl chamber is thencontrolled by central measures on this type of graphs. Using the K-theory of associated C*-algebras, Handelman established a homeomorphism between the set of central measures on these multiplicative graphs and the weight polytope of theunderlying representation. In the present paper, we make explicit this homeomorphism independently of Handelman's results by using Littelmann's path model. As a by-product we also get an explicit parametrization of theweight polytope in terms of drifts of random Littelmann paths. This explicit parametrization yields a complete description of harmonic and c-harmonic functions for this Littelmann paths model.

연구 동기 및 목표

• 중심 측도와 가중치 다면체 사이의 위상동형사를 K-이론 및 C*-대수 방법에 의존하지 않고 표현 이론적 방법으로 명시적으로 구성하는 것.
• 리틀만 경로의 드리프트 매개변수를 통해 와일 침실 내 및 전체 공간에서의 무한 경로 위 중심 측도의 최소 경계를 특성화하는 것.
• 곱셈 그래프 위의 리틀만 경로 모델에 대해 조화 함수 및 c-조화 함수의 완전한 묘사를 제공하는 것.
• 중심 측도 하에서의 랜덤 워크에 대해 대수법칙을 확립하고, 경로 드리프트를 다면체 기하학과 연결하는 것.
• sl_n의 정의 표현을 초월하여 임의의 단순 리 대수의 주로 가중치에 대해 킬로프-버시크의 프레임워크를 일반화하는 것.

제안 방법

• 리틀만의 경로 모델을 사용하여 표현의 가중치 집합 내 경로의 연결을 통해 가중치 격자 위의 랜덤 워크를 정의하는 것.
• 간단한 루트 각각에 실수 드리프트를 할당하여 중심 측도를 매개변수화하고, δ-허용 가능한 단순 루트 부분집합에 의해 정의된 부분집합 [0,1]_δ^d 내에서 제한하는 것.
• 성장 그래프 위의 극단적 조화 함수와 특성 대수에서 R로의 대수 준동형사상 간의 이분법을 확립하며, 기저에 대해 음이 아닌 값을 가짐.
• 웨이의 특성 다항식과 생성함수를 적용하여 경로의 총 무게를 표현하고 드리프트 매개변수화를 유도하는 것.
• 생성함수 S_{x,nδ}(t)를 사용하고 s_δ(t)에 의한 정규화를 통해 측도와 그 드리프트 의존성을 정의하는 것.
• s_δ(t)가 엄밀히 볼록이고 t=1에서 최솟값을 가지며, s_δ(1) = Z = dim V(δ)임을 이용하여 경로 끝 위치의 수렴을 통해 대수법칙을 증명하는 것.

실험 결과

연구 질문

• RQ1 중심 측도와 가중치 다면체 사이의 위상동형사를 C*-대수 K-이론에 의존하지 않고 어떻게 명시적으로 구성할 수 있는가?
• RQ2 랜덤 리틀만 경로의 드리프트에 대해 중심 측도의 정확한 매개변수화는 무엇인가?
• RQ3 리틀만 경로 모델 상의 조화 함수 및 c-조화 함수는 드리프트 매개변수로 어떻게 특성화되는가?
• RQ4 조건부 랜덤 워크의 점근적 행동은 중심 측도 하에서 어떻게 나타나며, 가중치 다면체와 어떤 관련이 있는가?
• RQ5 이러한 워크에 대한 대수법칙은 경로 모델과 특성 이론으로부터 유도될 수 있는가?

주요 결과

• 와일 침실 Δ 내에서의 무한 경로 위 중심 측도의 최소 경계는 δ-허용 가능한 단순 루트 부분집합에 대응하는 집합 [0,1]_δ^d로 명시적으로 매개변수화된다.
• 전체 공간 위 중심 측도와 가중치 다면체 K(δ) 사이의 위상동형사는 드리프트 벡터 t ∈ [0,1]_δ^d를 사용하여 명시적으로 구성된다.
• c-조화 측도의 집합은 함수 s_δ(t) = cZ의 등치수준에서 정의되며, 이 집합은 c ≥ 1일 때에만 비어 있지 않다.
• 대수법칙이 성립한다: 거의 확실히, 중심 측도 하에서의 랜덤 경로의 끝 위치는 경로 길이에 드리프트 벡터 t를 스케일링한 값으로 수렴한다.
• 함수 s_δ(t)는 R^d 위에서 엄밀히 볼록이며, t=1에서 유일한 최솟값을 가지며, s_δ(1) = Z = dim V(δ)이다. 이는 드리프트 함수의 최소값이 균일 드리프트에서 도달됨을 의미한다.
• 모든 c-조화 측도의 지지집합은 집합 {t ∈ [0,1]_δ^d | s_δ(t) = cZ} 내에 포함되며, 이 집합은 정확히 c-조화 측도의 최소 경계이다.