[논문 리뷰] Bell polynomials in combinatorial Hopf algebras

Ammar Aboud, Jean-Paul Bultel외 3명|arXiv (Cornell University)|2014. 02. 12.

Advanced Combinatorial Mathematics인용 수 4

한 줄 요약

이 논문은 색이 칠해진 집합 분할을 통합적 프레임워크로 도입함으로써, 부분 벨 다항식과 완전 벨 다항식, 그리고 조합학적 호프 대수 사이의 깊은 연결 고리를 설정한다. 이들 분할 기반으로 가족을 이루는 호프 대수를 구축하고, 대칭 함수, 단어 대칭 함수(WSym), 그리고 분할 쿼asi대칭 함수의 쌍대(ΠQSym)와 같은 대수 내에서 벨 다항식이 자연스럽게 정의될 수 있음을 보여주며, 덴드리포름 및 진비엘 연산과 같은 대수적 구조를 통해 고전적 항등식을 복원한다.

ABSTRACT

Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algebras with bases indexed by these objects. The algebra of symmetric functions is the most famous example of a combinatorial Hopf algebra. In a first time, we show that most of the results on Bell polynomials can be written in terms of symmetric functions and transformations of alphabets. Then, we show that these results are clearer when stated in other Hopf algebras (this means that the combinatorial objects appear explicitly in the formulae). We investigate also the connexion with the Fa{à} di Bruno Hopf algebra and the Lagrange-B{ü}rmann formula.

연구 동기 및 목표

• 조합적 객체(예: 집합 분할)로 색인되는 기저를 가진 조합학적 호프 대수의 맥락에서 고전적 벨 다항식 항등식을 일반화하는 것.
• 비음수 정수의 수열로 매개변수화된 색이 칠해진 집합 분할을 기반으로 하는 새로운 조합학적 호프 대수의 가족을 정의하고 연구하는 것.
• 단어 대칭 함수(WSym)가 비가환 맥락에서 벨 다항식의 유사체를 실현하는 데 중심적인 역할을 한다는 것을 입증하는 것.
• 호프 대수 내의 대수적 구조를 통해 고전적 항등식(예: 라그랑주 역함수의 역과 스틸링 수와 관련된 것들)을 복원하는 것.
• 특히 ΠQSym와 자유 대수 ℂ⟨A⟩에서 진비엘 및 덴드리포름 구조를 통해 벨 다항식의 비가환 유사체를 탐색하는 것.

제안 방법

• 집합 분할의 일반화로, 각 블록에 크기 m인 블록에 대해 a_m개의 가용 색상이 할당되는 수열 a = (a_m)을 사용하는 색이 칠해진 집합 분할을 도입한다.
• 색이 칠해진 집합 분할로 색인되는 기저를 가진 조합학적 호프 대수 H_a의 가족을 구축하고, 조합론적 구조와 호환되는 곱과 코프로덕트를 부여한다.
• 표준화 사상과 생성함수를 사용하여 WSym, ΠQSym = WSym*, 그리고 ℂ⟨A⟩ 대수에서 완전 및 부분 벨 다항식의 유사체를 정의한다.
• ΠQSym에서 정의된 두 개의 비결합적 곱 ≺와 ≻를 만족하는 특정 공리에 따라 정의되는 진비엘 대수적 구조를 활용하여, 벨 유형 다항식의 생성함수를 표현한다.
• 대수의 상삼각행렬을 사용하여 진비엘 곱과 함께 부분 벨 다항식의 생성급수에 대해 쿼아시행렬식 유형의 공식을 유도한다.
• 기저 원소로 이루어진 행렬 M_n에 대한 반복 ≺-곱으로 정의된 다항식 P(M_n; t)와 벨 다항식의 생성급수 사이의 연결 고리를 설정하며, [t^k]P(M_n; t) = ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...)임을 보여준다. 여기서 M_n은 기저 원소의 행렬이다.

실험 결과

연구 질문

• RQ1 고전적 벨 다항식 항등식은 조합학적 호프 대수의 프레임워크 내에서 어떻게 일반화될 수 있는가?
• RQ2 색이 칠해진 집합 분할은 대칭 함수, 단어 대칭 함수, Faà di Bruno 대수의 기초가 되는 대수적 구조를 통합하는 데 어떤 역할을 하는가?
• RQ3 ΠQSym에서의 진비엘 및 덴드리포름 구조는 비가환 벨 다항식의 유사체를 어떻게 가능하게 하는가?
• RQ4 행렬 이론의 쿼아시행렬식 공식은 비가환 호프 대수에서의 벨 다항식 생성함수로 어떻게 해석될 수 있는가?
• RQ5 WSym와 ΠQSym에서의 호프 대수 항등식으로부터 조합론적 항등식(예: 스틸링 수나 라흐 수를 포함)을 회복하는 정확한 대수적 메커니즘은 무엇인가?

주요 결과

• 크기 n인 블록 k개를 가진 색이 칠해진 집합 분할의 수는 부분 벨 다항식 B_{n,k}(a_1, a_2, ...)로 주어지고, 총 수는 완전 벨 다항식 A_n(a_1, a_2, ...)로 주어진다.
• ΠQSym 대수에서 부분 벨 다항식의 생성급수는 ∑_{n} ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...) t^n = (∑_i Φ_{‗{1,...,i}‗} t^i )^{≺→k}로 주어지며, 지수는 반복 ≺-곱을 의미한다.
• ΠQSym의 기저 원소로 이루어진 행렬 M_n에 대해 반복 진비엘 곱으로 정의된 다항식 P(M_n; t)는 [t^k]P(M_n; t) = ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...)를 만족하며, 이는 비가환 맥락에서의 벨 다항식 생성의 비가환 유사체를 제공한다.
• 입력이 Φ_{‗{1,...,j-i+1}‗}인 행렬 M_n에 대한 쿼아시행렬식 공식은 벨 다항식의 생성함수를 유도하며, Ebrahimi 등과 Gelfand 등이 이끌어낸 고전 결과를 일반화한다.
• 호프 대수 WSym는 비가환 맥락에서 벨 다항식의 대수적 구조를 실현하는 데 중심적인 역할을 하며, 그 쌍대 ΠQSym는 생성함수를 정의하는 데 사용되는 진비엘 구조를 지원한다.
• 이 구성은 라그랑주 역함수와 확률론에서 모멘트와 촐레인트 간의 관계를 연결하는 고전적 항등식을 복원하며, 이제는 호프 대수 내의 대수적 항등식으로 해석된다.