[논문 리뷰] Hopf Algebras and Markov Chains

C. Y. Amy Pang|arXiv (Cornell University)|2014. 12. 28.

Advanced Combinatorial Mathematics참고 문헌 110인용 수 39

한 줄 요약

이 논문은 조합적 호프 대수에서 코곱-곱 연산자에 기반한 마르코프 체인인 호프-파wr 마르코프 체인을 소개한다. 이 체계는 조합적 대상의 분해와 재결합을 모델링하는 전이를 갖는다. 주요 기여는 Poincaré-Birkhoff-Witt, Cartier-Milnor-Moore, 그리고 Patras의 오일러 idempotent 이론을 활용한 일반적 알고리즘으로, 왼쪽 및 오른쪽 고유기저를 계산함으로써 명시적 대각화와 정적 분포 계산이 가능해진다.

ABSTRACT

This thesis introduces a way to build Markov chains out of Hopf algebras. The transition matrix of a "Hopf-power Markov chain" is (the transpose of) the matrix of the coproduct-then-product operator on a combinatorial Hopf algebra with respect to a suitable basis. These chains describe the breaking-then-recombining of the combinatorial objects in the Hopf algebra. The motivating example is the famous Gilbert-Shannon-Reeds model of riffle-shuffling of a deck of cards, which arises in this manner from the shuffle algebra. The primary reason for constructing Hopf-power Markov chains, or for rephrasing familiar chains through this lens, is that much information about them comes simply from translating well-known facts on the underlying Hopf algebra. For example, there is an explicit formula for the stationary distribution (Theorem 4.5.1), and constructing quotient algebras show that certain statistics on a Hopf-power Markov chain are themselves Markov chains (Theorem 4.7.1). Perhaps the pinnacle is Theorem 2.5.1, a collection of algorithms for a full left and right eigenbasis in many common cases where the underlying Hopf algebra is commutative or cocommutative. This arises from a cocktail of the Poincare-Birkhoff-Witt theorem, the Cartier-Milnor-Moore theorem, Reutenauer's structure theory of the free Lie algebra, and Patras's Eulerian idempotent theory. Since Hopf-power Markov chains can exhibit very different behaviour depending on the structure of the underlying Hopf algebra and its distinguished basis, one must restrict attention to certain styles of Hopf algebras in order to obtain stronger results. This thesis will focus respectively on a free-commutative basis, which produces "independent breaking" chains, and a cofree basis; there will be both general statements and in-depth examples.

연구 동기 및 목표

• 호프-파워 사상에 기반해 호프 대수에서 마르코프 체인을 체계적으로 구성하는 프레임워크를 수립하기 위해.
• 호프 대수 내에서 알려진 대수적 구조를 활용하여, 특수한 분석 없이도 유도된 마르코프 체인의 성질를 도출하기 위해.
• 교환법 또는 코준화된 경우에 대해 전체 고유기저를 계산하는 명시적 알고리즘을 제공함으로써 대각화를 가능하게 하기 위해.
• 이러한 체인의 통계(예: 내림막대 집합)가 몫 대수 구조를 통해 마르코프 성질을 유지함을 보여주기 위해.
• 기존의 래프릴 샤플링 모델(예: GSR 래프릴 샤플링)을 호프-파워 체인의 특수한 경우로 복원하고 일반화하기 위해.

제안 방법

• 기저에 대해 호프-파워 마르코프 체인을 조합적 호프 대수에서 코곱-곱 연산자의 전치에 의해 정의한다.
• 오일러 idempotent과 Patras의 이론을 활용해 호프-파워 사상을 스펙트럴 성분으로 분해한다.
• Poincaré-Birkhoff-Witt 정리와 Cartier-Milnor-Moore 정리를 적용하여 자유 또는 코자료 구조에서 고유기저를 구성한다.
• Reutenauer의 자유 리 대수의 구조 이론을 활용해 고유함수의 대수적 기초를 분석한다.
• 쌍대성에 의해 왼쪽 및 오른쪽 고유함수를 구성하고, 전이 행렬 및 정적 분포 계산에 적용한다.
• 구체적 예시에 적용: 암석 파손 체인(자유-교환 기저), 나무 자르기(Connes-Kreimer), 래프릴 샤플링(코자료-교환 경우).

실험 결과

연구 질문

• RQ1 어떻게 호프 대수의 대수적 구조에서 마르코프 체인을 체계적으로 유도할 수 있는가?
• RQ2 이러한 체인의 고유값과 고유함수를 명시적으로 계산하는 데 어떤 대수적 도구가 유용한가?
• RQ3 어떤 조건에서 호프-파워 체인의 통계(예: 내림막대 집합)가 여전히 마르코프 성질을 유지하는가?
• RQ4 기저 호프 대수의 구조(예: 자유-교환 대비 코자료)가 체인의 행동에 어떤 영향을 미치는가?
• RQ5 기존의 샤플링 모델(예: GSR 래프릴 샤플링)은 이 대수적 프레임워크를 통해 복원되고 일반화될 수 있는가?

주요 결과

• 정리 4.5.1에 따르면, 호프-파워 마르코프 체인의 정적 분포에 대한 명시적 공식이 제시되며, 이는 호프 대수의 대수적 구조에서 유도된다.
• 몫 대수의 구성은 체인의 특정 통계(예: 래프릴 샤플링에서의 내림막대 집합)가 자체적으로 마르코프 체인이 됨을 보여준다(정리 4.7.1).
• 네 장의 카드에 대한 래프릴 샤플링 체인의 경우, 전이 행렬이 16×16 행렬로 1/16 배율로 명시적으로 계산되었으며, 고유함수는 준대칭 함수로부터 유도되었다.
• n=4인 래프릴 샤플링 체인의 오른쪽 고유함수는 열이 기본 준대칭 함수에 대응하는 행렬로 주어지며, 순환 유형과 대칭 함수 계수를 포함한다.
• 왼쪽 고유함수는 오른쪽 고유함수의 쌍대이며, 특성과 리본 함수를 사용해 명시적으로 계산되었으며, 가장 큰 고유값에 해당하는 고유공간 기저는 정규 표현으로 주어진다.
• n=4인 래프릴 샤플링 체인의 전체 고유기저는 계산되었으며, 왼쪽 고유함수에는 부호 특성, 표준 특성, 대칭 함수가 포함되어 있으며, 4의 모든 분할에 대해 명시적인 값이 제공된다.