[논문 리뷰] 2D Toda au-functions as combinatorial generating functions

Mathieu Guay-Paquet, J. Harnad|arXiv (Cornell University)|2014. 05. 24.

Algebraic structures and combinatorial models참고 문헌 38인용 수 10

한 줄 요약

이 논문은 대칭군 $S_n$ 의 카일리 그래프에서의 경로 수를 생성함수로 하는 2차원 Toda tau-함수의 조합적 해석을 제시한다. 이는 두 가지 등가의 프레임워크를 사용한다: Jucys-Murphy 원소를 통한 군 대수 작용과 페르미온적 Fock 공간의 정점 연산자 구성이다. 핵심 결과는 이중 슈어 함수 전개의 계수들이 다중단조 경로를 세는 것으로 해석되며, 특성 지ap(map)과 페르미온화 동형사상에 기반한 통합적인 대수기하적 프레임워크를 통해 히르츠 수와 단조 경로 수를 일반화한다.

ABSTRACT

Two methods of constructing 2D Toda $\ au$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_\\lambda \\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $\ au$-functions of hypergeometric type. The second method is the standard construction of $\ au$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.

연구 동기 및 목표

• 2D Toda tau-함수의 두 개별 구성 방법을 연결한다: 하나는 $\mathbf{C}[S_n]$ 의 공轭류 위에서의 군 대수 작용을 통한 것이고, 다른 하나는 페르미온적 Fock 공간에서 정점 연산자 행렬 원소를 통한 것이다.
• 이 tau-함수의 이중 슈어 함수 전개에서의 계수들이 $S_n$ 의 전치로 생성된 카일리 그래프에서의 조합적 경로 수로 해석되도록 한다.
• 기존의 히르츠 수와 단조 경로 수에 관한 결과를 혼합 및 다중단조 경로 수를 포함하는 더 넓은 생성함수의 범주로 확장한다.
• Fock 공간의 컨volution 대칭군과 $\mathbf{C}[S_n]$ 의 중심 원소의 아벨 군 사이에 호모모르피즘을 수립하며, 이는 특성 지ap과 페르미온화 동형사상에 의해 연결된다.
• 초기함수 유형의 2D Toda tau-함수를 통합적인 대수기하적 해석으로 제공하여, 기하학적 의미를 지닌 조합적 불변량의 생성함수로 해석한다.

제안 방법

• 군 대수 작용을 대칭 함수 전개로 변환하기 위해 $\mathbf{C}[S_n] \otimes \mathbf{C}[S_n]$ 으로 확장된 프로비니우스 특성 지압(map)을 사용한다.
• $\mathcal{A}_P$ 에서 Fock 공간의 컨volution 대칭군 $\hat{C}$ 로의 호모모르피즘 $\mathcal{I}: \mathcal{A}_P \to \hat{C}$ 를 정의한다. 이는 Jucys-Murphy의 원소의 거듭제곱 합의 지수함수로 생성된 중심 원소를 대상으로 한다.
• 페르미온적 Fock 공간 $\mathcal{F}$ 에서 정점 연산자와 컨볼루션 대칭 연산자의 진공 행렬 원소로 tau-함수를 구성한다. 이는 표준 기저 $|\lambda;N\rangle$ 에서 대각선 형태로 표현된다.
• 결과로 얻어진 tau-함수를 이중 슈어 함수 전개 $\sum_{\lambda} r_\lambda^{(s,u_1,\dots,u_m)} S_\lambda(\mathbf{p}^{(1)}) S_\lambda(\mathbf{p}^{(2)})$ 로 표현하며, 계수 $r_\lambda$ 는 경로 수를 코딩한다.
• 프로비니우스 특성 공식을 통해 전개를 거듭제곱 합 대칭 함수로 재표현하여, $p$ 와 $w_\alpha$ 변수에 대한 다변수 테일러 급수를 도출한다.
• 계수 $E^{(n,d_1,\dots,d_m)}(\lambda,\mu)$ 는 $m$ 개의 세그먼트로 나누어진 $d_\alpha$ 개의 전치를, 각 세그먼트 내에서 더 큰 인덱스가 стрictly 증가하는 순서로 사용한 카일리 그래프에서의 경로를 세는 것으로 해석된다.

실험 결과

연구 질문

• RQ1 2D Toda tau-함수는 어떻게 $S_n$ 의 카일리 그래프에서의 경로 수와 같은 조합적 불변량의 생성함수로 해석될 수 있는가?
• RQ2 Jucys-Murphy 원소를 통한 군 대수 작용과 페르미온적 Fock 공간에서의 정점 연산자 구성 간의 정확한 대수적 관계는 무엇인가?
• RQ3 2D Toda tau-함수의 이중 슈어 함수 전개에서의 계수들은 어떤 방식으로 단조성 조건이 있는 경로 수를 나타내는가?
• RQ4 HCIZ 적분과 그 변종은 어떻게 대칭군에서의 다중단조 경로 수를 세는 생성함수로 이해할 수 있는가?
• RQ5 특성 지압과 페르미온화 동형사상은 군 대수와 Fock 공간 접근법 간의 통합을 위해 어떤 역할을 하는가?

주요 결과

• tau-함수 $\tilde{Z}_{(2,m)}$ 의 거듭제곱 합 전개에서의 계수 $E^{(n,d_1,\dots,d_m)}(\lambda,\mu)$ 는 공轭류 $C_\lambda$ 에서 시작하여 $C_\mu$ 에서 끝나는, $m$ 개의 세그먼트로 나누어 각 세그먼트 내에서 더 큰 인덱스가 엄격히 증가하는 순서로 전치를 사용한 카일리 그래프에서의 경로 수를 세는 것으로 해석된다.
• 이중 슈어 함수 전개의 대각선 형태인 $\tilde{Z}_{(2,m)}(q,w_1,\dots,w_m|\mathbf{p}^{(1)},{\mathbf{p}}^{(2)}) = \sum_{\lambda} \tilde{r}_\lambda^{(q,w_1,\dots,w_m)} S_\lambda(\mathbf{p}^{(1)}) S_\lambda(\mathbf{p}^{(2)})$ 는 고유값 $\tilde{r}_\lambda^{(q,w_1,\dots,w_m)} = q^{|λ|} \prod_{\alpha=1}^m \prod_{(ij)\in\lambda} (1 + w_\alpha(j-i))$ 를 가지며, 이는 다중단조 경로의 생성함수를 코딩한다.
• $\mathcal{I}: \mathcal{A}_P \to \hat{C}$ 는 군 대수의 중심 원소 $e^{\sum t_i P_i}$ 를 Fock 공간의 컨볼루션 대칭으로 매핑하며, 특성 지압과 페르미온화를 조합한 것으로 연결된다.
• $Z_{(2,m)}$ 의 $k=2$ 경우는 이중 히르츠 수와 단조 이중 히르츠 수를 모두 일반화하는 초기함수 유형의 2D Toda tau-함수로 해석된다.
• $k=1$ 경우는 특수한 값에서 HCIZ 적분으로 줄어들며, $w_\alpha \to 0$ 극한을 통해 약한 단조 경로 수를 세는 것으로 밝혀진다.
• 전체 구성은 동일한 tau-함수가 군 대수(경로 수 계산을 통해)와 Fock 공간(정점 연산자 행렬 원소를 통해)에서 모두 유도될 수 있는 통합 프레임워크를 제공한다. 특성 지압과 페르미온화가 두 접근법 사이의 다리를 놓는다.