[논문 리뷰] Schützenberger's factorization on the (completed) Hopf algebra of $q-$stuffle product

Chen Bui, Gérard Duchamp외 1명|arXiv (Cornell University)|2013. 05. 20.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 6

한 줄 요약

이 논문은 $q$-스태플 제품의 완비화된 호프 대수로의 셸츠너거 인수분해를 확장한다. 이는 셸프 제품($q=0$)과 스타플 제품($q=1$) 사이를 연결하는 교환적 변형이다. 오일러형 프로젝터와 그 쌍대를 적응시켜 대각선 시리즈의 로그를 통해 리 대수 원소의 명시적 쌍대 기저를 구성함으로써 루텐아우어의 프레임워크를 일반화하고, 행렬 역행렬이 필요 없는 효과적인 비가역 알고리즘을 제공한다. 이는 코코ercitive $q$-변형 호프 대수에서의 쌍대 기저 생성에 유용하다.

ABSTRACT

In order to extend the Schützenberger's factorization, the combinatorial Hopf algebra of the $q$-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality.

연구 동기 및 목표

• 셸츠너거의 인수분해를 셸프 제품에서 $q$-스태플 제품으로 일반화함으로써, 셸프($q=0$)와 스타플($q=1$) 제품 사이를 연결하는 변형 제품으로 확장한다.
• 셸프 경우와 평행하게 $q$-스태플 제품을 위한 체계적인 조합적 호프 대수 프레임워크를 개발한다.
• 리 대수 원소와 오일러형 프로젝터를 사용하여 $q$-스태플 호프 대수에서 효과적이고 명시적인 쌍대 기저를 구성함으로써 그람 행렬의 역행렬을 피한다.
• 루텐아우어의 리 대수 원소와 린든 단어 이론을 $q$-변형 환경으로 확장하여 이중성과 초월 기저의 구조를 유지한다.

제안 방법

• $q$-스태플 제품을 재귀적 공식과 그 쌍대 코곱 $\Delta_{\square_q}$로 정의하여 셸프와 스타플 대수를 일반화한다.
• $q$-스태플 호프 대수에서 원시 원소를 계산하기 위해 대각선 시리즈 $\log_*(I)$의 로그를 사용한다.
• 오일러형 프로젝터와 그 쌍대를 적응시켜 리 대수 원소에 투영하고 쌍대 기저를 구성한다.
• 린든 단어의 표준 수열을 이용한 재귀적 유도 트리 구조를 통해 쌍대 기저 $\{\Sigma_w\}$와 $\{\Pi_w\}$를 구성한다.
• Maple에서 구현하여 $\Pi_{y_2}, \Pi_{y_2y_1}, \Sigma_{y_3y_1y_2}$와 같은 저차원 단어의 결과를 검증한다.
• $\Sigma_w$와 $\Pi_w$ 사이의 이중성은 쌍대 $\langle \Sigma_w | \Pi_{w'} \rangle = \delta_{w,w'}$로 표현되며, 이는 $q$-거듭제곱을 포함한 명시적 계수를 가진다.

실험 결과

연구 질문

• RQ1 셸츠너거의 인수분해를 셸프 제품의 변형인 $q$-스태플 제품으로 어떻게 확장할 수 있는가?
• RQ2 $q$-스태플 호프 대수의 리 대수 원소의 구조는 어떠한가? 그리고 린든 단어와의 관계는 무엇인가?
• RQ3 셸프 대수에서 루텐아우어의 방법과 유사하게, 행렬 역행렬이 필요 없는 효과적인 비가역 알고리즘을 통해 $q$-스태플 호프 대수에서 쌍대 기저를 생성할 수 있는가?
• RQ4 $q$-변형은 $\Sigma_w$와 $\Pi_w$ 기저 간의 이중성에 어떤 영향을 미치며, 계수에 $q$-거듭제곱은 어떤 역할을 하는가?
• RQ5 $q=0$과 $q=1$의 극한에서 $q$-스태플 대수는 셸프 및 스타플 대수의 성질를 어느 정도 유지하는가?

주요 결과

• $q$-스태플 호프 대수에서 쌍대 기저 $\{\Sigma_w\}$와 $\{\Pi_w\}$의 구성은 효과적이며 행렬 역행렬을 피함으로써 루텐아우어의 방법을 일반화한다.
• $q=0$일 경우, 이 방법은 고전적인 셸츠너거 인수분해로 축소되며, 기존의 알려진 결과를 회복한다.
• 쌍대 $\langle \Sigma_{y_{s_1}\ldots y_{s_k}} | \Pi_{y_{s'_1}\ldots y_{s'_i} w} \rangle = \delta_{s_1+\cdots+s_i,s} \delta_{y_{s_{i+1}}\ldots y_{s_k}, w} \cdot \frac{q^{i-1}}{i!}$는 이중성에 대한 정확한 조합적 규칙을 제공한다.
• $\Pi_w$와 $\Sigma_w$에 대한 명시적 공식이 유도되었으며, 예를 들어 $\Pi_{y_2} = y_2 - \frac{q}{2}y_1^2$ 및 $\Sigma_{y_2y_1} = y_2y_1 + \frac{q}{2}y_3$와 같이 계수에 $q$-의존성이 나타난다.
• 유도 트리의 구조는 각 린든 단어 $w$가 트리의 유일한 리프에 대응함을 보장하여, 단어의 구조가 정확히 일치할 때에만 비영인 이중성 쌍대가 발생함을 보장한다.
• 알고리즘이 Maple으로 구현되었으며, 저차원 단어에서의 정확성을 검증하고 $q$-변형 리 대수 원소의 추가 탐색을 가능하게 한다.