[논문 리뷰] Duplicial algebras and Lagrange inversion

Jean-Christophe Novelli, Jean‐Yves Thibon|arXiv (Cornell University)|2012. 09. 26.

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

한 줄 요약

이 논문은 주차 함수의 호프 대수에 대한 작용적 구조를 수립하여, 카탈란 부분대수를 하나의 생성자에 대한 자유 이중화 대수로 식별하고, 슈뢰더 부분대수를 위한 삼중화 작용적 구조를 도입한다. 비가환 라그랑주 역행렬 공식은 이중화 연산을 통해 해석되며, 일반해로써 모든 주차 함수의 합이 존재함을 보이며, 이는 대수의 특성에 의해 조합 다항식, 예를 들어 슈퍼-나라야나 다항식을 생성한다.

ABSTRACT

We provide operadic interpretations for two Hopf subalgebras of the algebra of parking functions. The Catalan subalgebra is identified with the free duplicial algebra on one generator, and the Schröder subalgebra is interpreted by means of a new operad, which we call triduplicial. The noncommutative Lagrange inversion formula is then interpreted in terms of duplicial structures. The generic solution of the noncommutative inversion problem appears as the formal sum of all parking functions. This suggests that combinatorial generating functions derived by functional inversion should be obtainable by evaluating a suitable character on this generic solution. This idea is illustrated by means of the Narayana polynomials, of which we obtain bivariate "super-analogues" by lifting to parking functions a classical character of the algebra of symmetric functions. Other characters, such as evaluation of symmetric functions on a binomial element, are also discussed.

연구 동기 및 목표

• 주차 함수 대수의 두 호프 부분대수인 카탈란 부분대수와 슈뢰더 부분대수에 대한 작용적 해석을 제공한다.
• 비가환 라그랑주 역행렬 공식을 이중화 대수적 구조를 통해 해석한다.
• 형식적 합으로서의 모든 주차 함수가 비가환 역행렬 문제의 일반해로 작용함을 보인다.
• 주차 함수의 특성에 의해 고전적인 조합 다항식, 예를 들어 나라야나 다항식을 이원변수 슈퍼-일반화로 일반화한다.
• 대칭 함수의 특성, 예를 들어 이항 원소에 대한 평가를 주차 함수 대수로 올리고 조합적 의미를 제공한다.

제안 방법

• 이중화 작용적 구조를 사용하여 주차 함수의 카탈란 부분대수를 하나의 생성자에 대한 자유 이중화 대수로 식별한다.
• 슈뢰더 부분대수를 자유 대수로 표현하기 위해 새로운 작용적 구조인 삼중화 작용적 구조를 도입한다.
• 모든 주차 함수의 합이 만족하는 이차 함수 방정식을 이용하여 이중 트리와의 연결을 맺고, 치환을 통한 대칭성을 확립한다.
• 주차 함수 대수의 특성을 적용하여 조합 생성 함수를 생성하며, 슈퍼-나라야나 다항식을 포함한다.
• 패킹 평가로 정의된 준동형을 통해 대칭 함수의 특성(예: 이항 원소에 대한 평가)을 주차 함수 대수로 올린다.
• 다양한 특성에 대해 모든 주차 함수의 합의 상(image)에 대한 명시적 공식을 유도하며, 조합적 의미를 가진 다항식 수열을 도출한다.

실험 결과

연구 질문

• RQ1 주차 함수의 호프 대수는 어떻게 작용적 하위구조로 분해될 수 있으며, 그 부분대수를 지배하는 작용적 구조는 무엇인가?
• RQ2 모든 주차 함수의 합이 비가환 라그랑주 역행렬 문제의 해를 어떻게 포함하고 있는가?
• RQ3 클래식한 조합 다항식, 예를 들어 나라야나 다항식은 주차 함수의 특성을 통해 이원변수 슈퍼-일반화로 일반화될 수 있는가?
• RQ4 이항 특성을 주차 함수로 올렸을 때 나타나는 다항식 $ P_n(\alpha) = \alpha \prod_{k=1}^{n-1} ((n+1)\alpha + k) $ 의 계수는 어떤 조합적 의미를 지니는가?
• RQ5 역다항식 $ Q_n(q) = (q-1)^{n-1} P_n(1/(q-1)) $ 의 계수는 대칭군 $ \mathfrak{S}_n $ 의 브라우하트 순서에서 조합적 의미를 지닐까?

주요 결과

• 비감소 주차 함수의 대수(카탈란 부분대수)는 하나의 생성자에 대한 자유 이중화 대수와 동형이며, 이중화 작용적 구조가 그 기초가 된다.
• 슈뢰더 부분대수는 새로운 작용적 구조인 삼중화 작용적 구조를 통해 자유 대수로 표현되며, 이는 이중화를 일반화한 것이다.
• 모든 주차 함수의 합 $ G = \sum_{{\bf a} \in {\rm PF}} {\bf F}_{\bf a} $ 는 이차 함수 방정식을 만족하며, 비가환 라그랑주 역행렬 문제의 일반해로 기능한다.
• 슈퍼-나라야나 다항식 $ P_n(t,q) $ 는 $ {\bf SQSym} $ 에서의 특성의 올림을 통해 얻어지며, $ P_n(t,0) = (1+t)c_n(1+t) $ 를 만족하며, 슈뢰더 경로에서의 수평 이동과 관련된 통계에 따라 부호가 있는 주차 함수를 세는 데 쓰인다.
• 길이 $ n $ 의 모든 주차 함수의 합이 이항 특성에 의해 대응하는 이미지는 $ g_n(\alpha) = \frac{1}{n+1} \binom{(n+1)\alpha + n - 1}{n} $ 이며, 이 계수는 $ {\bf a} \in {\rm PF}_n $, $ \sigma \in \mathfrak{S}_n $, 그리고 $ {\bf a}\sigma = {\bf a} $ 를 만족하는 쌍 $ ({\bf a}, \sigma) $ 를 세는 데 쓰인다.
• 역다항식 $ Q_n(q) = (q-1)^{n-1} P_n(1/(q-1)) $ 는 $ (n+1)^{n-1} $ 의 $ q $-일반화를 제공하며, 계수는 알려진 수열과 일치하며, $ \mathfrak{S}_n $ 의 브라우하트 순서의 하세 다이어그램에서의 간선 수를 포함한다.