[논문 리뷰] Planar Shuffle Product, Co-Addition and the non-associative Exponential

Lothar Gerritzen|ArXiv.org|2005. 02. 17.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 3

한 줄 요약

이 논문은 유한 평면 감소 근을 가진 루트 트리에 대한 평면 셔플 곱을 도입하고, 비결합 호프 대수에서의 공덧셈 코프로덕트와의 이중성을 확립한다. 일반적인 비결합 지수 급수 $\mathrm{EXP}$ 가 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$ 를 만족함을 증명하며, 이는 계수들 사이의 이차 관계를 이끌어내고, 고전적 지수 구조의 비결합 해석을 확장한다.

ABSTRACT

In this note we introduce the concept of a shuffle product $\sq$ for planar tree polynomials and give a formula to compute the planar shuffle product $S \ \sq T$ of two finite planar reduced rooted trees $S, T.$ It is shown that $\sq$ is dual to the co-addition $Δ$ which leads to a formula for the coefficients of $Δ(f).$ It is also proved that $Δ(EXP) = EXP {\hat \otimes} EXP$ where $EXP$ is the generic planar tree exponential series, see [G]. Systems of quadratic relations for the coefficients of EXP are derived.

연구 동기 및 목표

• 유한 평면 감소 근을 가진 트리에 대한 평면 셔플 곱 $\sqcup\!\sqcup$ 를 정의하고, 공덧셈 코프로덕트 $\Delta$ 와의 이중성을 확립한다.
• 계획된 셔플 곱 $V \sqcup\!\sqcup W$ 의 계수에 따라 $\Delta(f)$ 의 계수를 표현하는 공식을 도출한다.
• 형식적 거듭제곱 급수 완비화 하에서, 일반적인 비결합 지수 급수 $\mathrm{EXP}$ 가 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$ 를 만족함을 증명한다.
• 평면 셔플 곱을 사용하여 $\mathrm{EXP}$ 의 계수에 대한 이차 관계 시스템을 도출한다.
• 유도된 대수적 구조를 사용하여, 결합에서 비결합 설정으로의 표준 사영을 확장한다.

제안 방법

• 계획된 트리의 잎 집합 위로의 압축을 통해, 공덧셈 $\Delta$ 와의 이중 연산으로서 평면 셔플 곱 $\sqcup\!\sqcup$ 를 정의한다.
• 계획된 루트 트리의 축소를 통해 감소된 트리 $\mathrm{Red}(T)$ 를 정의하여, 모든 정점 $a$ 에 대해 $ar_T(a) \neq 1$ 이 되도록 하여 대수적 일관성을 유지한다.
• 형식적 거듭제곱 급수 완비화 $K\{\{x\}\}_{\infty}$ 에서 공덧셈 $\Delta$ 가 연속적인 $K$-대수 준동형사상임을 확립하며, 다항식 대수에서 확장한다.
• $K$-자기동형사상 $\varphi_k$ 와 $\mathbb{Q}$ 로의 평가 사상 $\pi_k$ 를 사용한 함수방정식적 접근을 통해 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$ 를 증명한다.
• 계수 $a(T)$ 의 이차 관계를 유도하기 위해, $a(V) \cdot a(W)$ 를 $c_T(V \sqcup\!\sqcup W) \cdot a(T)$ 의 합으로 표현함으로써 계수와 셔플 곱을 연결한다.
• 계수의 재귀 공식을 사용: $T = T_1 \cdot \cdots \cdot T_m$ 이고 $m = \mathrm{ar}(T)$, $n = \deg(T)$ 라면 $a(T) = \frac{{q \choose m}}{q^n - q} \cdot a(T_1) \cdots a(T_m)$.

실험 결과

연구 질문

• RQ1 유한 평면 감소 근을 가진 트리에 대해 평면 셔플 곱을 어떻게 정의할 수 있으며, 그 대수적 성질은 무엇인가?
• RQ2 평면 셔플 곱과 공덧셈 코프로덕트 $\Delta$ 사이의 정확한 이중성 관계는 무엇인가?
• RQ3 형식적 거듭제곱 급수 완비화 하에서 일반적인 비결합 지수 급수 $\mathrm{EXP}$ 가 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$ 를 만족하는가?
• RQ4 계수에 대해 어떤 이차 관계 시스템이 유도되며, 이는 어떻게 평면 셔플 곱을 통해 표현되는가?
• RQ5 유도된 대수적 구조를 사용하여, 결합에서 비결합 설정으로의 표준 사영을 확장할 수 있는가?

주요 결과

• 평면 셔플 곱 $\sqcup\!\sqcup$ 는 교환법칙과 결합법칙을 만족하며, 임의의 $f$ 에 대해 $\Delta(f)$ 의 계수를 계산하는 데 사용되는 계수를 제공한다.
• 공덧셈 $\Delta$ 는 형식적 거듭제곱 급수 완비화 $K\{\{x\}\}_{\infty}$ 에서 연속적인 코프로덕트 $\hat{\Delta}$ 로 확장되며, $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$ 를 만족한다.
• 비결합 지수 급수 $\mathrm{EXP}$ 의 계수 $a(T)$ 는 이차 관계 $a(V) \cdot a(W) = \sum_T c_T(V \sqcup\!\sqcup W) \cdot a(T)$ 를 만족하며, 여기서 $c_T(V \sqcup\!\sqcup W)$ 는 셔플 곱의 계수이다.
• $m \geq 3$ 인 경우, 셔플 곱 $x \sqcup\!\sqcup x^m$ 는 명시적으로 $ (m+1)x^{m+1} + 2\sum_{i=1}^m x^{2} \cdot x^{m-1} \text{ (여기서 }x\text{ 는 }i\text{-번째 위치에 있음)} + x \cdot x^m + x^m \cdot x $ 로 계산되며, 계수 관계가 성립하는 것이 확인된다.
• 재귀 공식 $a(T) = \frac{{q \choose m}}{q^n - q} \cdot a(T_1) \cdots a(T_m)$ 는 특정 계수를 계산하는 데 사용되며, 이는 유도된 이차 항등식을 만족함이 입증된다.
• 예제 5.3 의 검증은 이차 관계의 우변이 $a(x) \cdot a(x^m) = a(x^m)$ 와 일치함을 확인하여 일반 공식의 타당성을 검증한다.