[논문 리뷰] Hopf algebras of diagrams

Gérard Duchamp, Jean-Gabriel Luque외 3명|ArXiv.org|2007. 10. 30.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 5

한 줄 요약

이 논문은 분할의 양자장 이론에서 유도된 다이어그램 및 압축 행렬의 호프 대수를 소개하고 연구한다. 이는 이중어와 매개변수화된 교환 법칙을 사용하여 ${\bf WSym}$ 및 ${\bf WQSym}$의 호프 대수의 변형을 실현한다. 주요 기여는 레이블된 다이어그램과 압축 행렬을 통한 이러한 대수의 조합론적 실현이며, 그 구조 상수는 변형 매개변수 $q_s$와 $q_c$의 단항식으로 주어지고, 특정 대수들이 이중수형(bidendriform)bialgebra임을 증명함으로써 자가쌍대, 자유, 쌍대자유임을 보인다.

ABSTRACT

We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.

연구 동기 및 목표

• 조합론적 호프 대수와 분할의 양자장 이론 사이의 연결 고리를 강화하고, 특히 비가환 대칭 함수와의 연관성을 명확히 하기 위해.
• 조합론적 이동(shift)이 호프 대수에서 변형 메커니즘으로서 작용하는 명시적 예를 제공하기 위해.
• ${\bf MQSym}$ 압축 행렬의 호프 대수가 정수 집합 분할과 합성에 기반한 대수들의 변형으로 자연스럽게 유도됨을 보여주기 위해.
• 비어 있는 문자가 부분적으로 교환 가능한 이중어를 통해 이러한 대수의 실현을 제공하고, 변형 매개변수 $q_s$와 $q_c$로 매개변수화된 바탕에서 구조 상수를 도출하기 위해.
• 일부 대수가 이중수형 bialgebra임을 증명하여, 이들이 자가쌍대, 자유, 쌍대자유임을 보여주기 위해.

제안 방법

• 저자는 유한 지지 집합을 가진 가중 함수 $\omega: \mathbb{N}^+ \times \mathbb{N}^+ \to \mathbb{N}$로 정의된 레이블된 다이어그램을 정의하며, 이는 정수 간선 가중치를 가진 이분 그래프를 나타낸다.
• 저자들은 부분적으로 교환 가능한 이중어에서 호프 대수 ${\bf LD}$의 실현을 도입하며, 상단 행은 비감소하고 하단 행은 상단 값이 일정할 때 비감소하도록 한다.
• 두 ${\bf LD}$ 원소의 곱에서의 구조 상수는 $q_s$와 $q_c$의 단항식으로 계산되며, 그 지수는 결과 압축 행렬에서의 왼쪽 및 오른쪽 기여의 행별 합으로 유도된다.
• 지수 $x(A,B,C)$와 $y(A,B,C)$는 각각 병합된 다이어그램 $C$의 왼쪽 및 오른쪽 부분에서의 기여를 세는 행과 행 쌍에 대한 합으로 정의된다.
• 곱이 ${\bf LD}$ 기저 위에서 닫혀 있고, 결합법칙과 부분적 교환 법칙과의 호환성이 보장되어, 이는 ${\bf LD}$가 잘 정의된 호프 대수임을 보여준다.
• 특수화 $q_s = q_c = 1$는 표준 ${\bf MQSym}$ 대수를 복원하며, 이는 ${\bf MQSym}$이 변형된 대수의 특수한 경우임을 확인한다.

실험 결과

연구 질문

• RQ1 레이블된 다이어그램의 호프 대수는 부분적으로 교환 가능한 이중어를 통해 어떻게 실현될 수 있는가?
• RQ2 두 레이블된 다이어그램 기저 원소의 곱에서의 구조 상수는 변형 매개변수 $q_s$와 $q_c$에 대해 조합론적으로 어떻게 해석될 수 있는가?
• RQ3 정수 또는 집합 계수를 가진 압축 행렬의 대수들은 ${\bf WSym}$과 ${\bf WQSym}$과 어떻게 관련되어 있는가?
• RQ4 ${\bf MQSym}$ 호프 대수가 이동 원리에 의해 더 기본적인 대수의 변형으로 이해될 수 있는가?
• RQ5 이 대수들이 가지는 구조적 성질(예: 이중수형, 자가쌍대, 자유, 쌍대자유)은 무엇이며, 어떻게 증명되는가?

주요 결과

• ${\bf LD}_A \star {\bf LD}_B$의 곱은 ${\bf LD}_C$의 선형 조합이며, 계수는 $q_s^{x(A,B,C)} q_c^{y(A,B,C)}$의 단항식으로 주어진다. 여기서 $x$와 $y$는 병합된 다이어그램에서 왼쪽 및 오른쪽 기여의 가중 상호작용을 세는 값이다.
• 지수 $x(A,B,C)$와 $y(A,B,C)$는 각각 행과 행 쌍에 대한 명시적 합으로 계산되며, 결과 압축 행렬 $C$의 각 행의 왼쪽 및 오른쪽 부분에서의 인덱스 합을 기반으로 하며, $x$는 행 내 상호작용, $y$는 행 간 상호작용을 세는 데 쓰인다.
• ${\bf LD}$ 대수는 곱에 대해 닫혀 있으며, 이중어 모델에서 유도된 결합법칙과 부분적 교환 법칙과의 호환성 덕분에 잘 정의된 호프 대수임을 상속한다.
• 특수화 $q_s = q_c = 1$는 표준 ${\bf MQSym}$ 대수를 복원하며, 이는 ${\bf MQSym}$이 변형된 대수의 특수한 경우임을 확인한다.
• 이 대수들이 이중수형 bialgebra임이 증명되어, 이는 자가쌍대, 자유, 쌍대자유인 호프 대수임을 의미한다.
• 예시 계산에서는 ${\bf LD}_{(2,0;1,4)} \star {\bf LD}_{(1)}$가 다섯 개의 항을 가지며, 계수는 $1$, $q_s^5$, $q_c^5$, $q_s^2 q_c^5$, $q_c^7$로, 이는 이중어 재배열에 의한 조합론적 수와 일치한다.