[논문 리뷰] Using Grassmann calculus in combinatorics: Lindström-Gessel-Viennot lemma and Schur functions

Sylvain Carrozza, Thomas Krajewski외 1명|arXiv (Cornell University)|2016. 04. 21.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 29

한 줄 요약

이 논문은 조합론에 그라스만 미적분을 새로운 응용으로 도입하여 리인스트롬-게셀-비에노의 정리와 자코비-트루디 항등식에 대한 새로운 증명을 제공한다. 반면에, 반대칭 변수와 그라스만 적분 표현을 통해, 곱셈 항등식을 만족하는 일파rameter 확장된 슈어 다항식을 정의한다. 이는 고전적 대칭 함수 이론을 일반화한다.

ABSTRACT

Grassmann (or anti-commuting) variables are extensively used in theoretical physics. In this paper we use Grassmann variable calculus to give new proofs of celebrated combinatorial identities such as the Lindström-Gessel-Viennot formula for graphs with cycles and the Jacobi-Trudi identity. Moreover, we define a one parameter extension of Schur polynomials that obey a natural convolution identity.

연구 동기 및 목표

• 그라스만 미적분을 적용하여 리인스트롬-게셀-비에노의 정리와 자코비-트루디 항등식과 같은 기본 조합 항등식에 대한 새로운 증명을 도출하는 것.
• 그라스만 적분 표현을 바탕으로 한 일파arameter 확장에 의해 슈어 다항식을 일반화하는 것.
• 확장된 슈어 다항식에 대해 곱셈 항등식을 수립하여 고전적 슈어 함수의 곱셈 법칙을 일반화하는 것.
• 경로 수세기 해석이 매개수화된 경우로 자연스럽게 확장됨을 보여주며, 경로 교차로 인한 부호 기여를 설명하는 것.

제안 방법

• 반대칭 관계 $\chi_i\chi_j = -\chi_j\chi_i$ 및 $\chi_i^2 = 0$ 를 만족하는 그라스만 변수를 사용하여 조합적 경로 수세기에서 페르미 통계를 모델링하는 것.
• 행렬식과 소수를 표현하기 위해 그라스만 가우시안 적분을 활용하며, $\det M = \int d\bar{\chi}d\chi \, \exp\left(-\sum_{i,j} \bar{\chi}_i M_{ij} \chi_j\right)$ 를 포함한다.
• 확장된 슈어 다항식 $S_k(a,x)$ 를 $T$ 에 대한 전개를 통해 생성하기 위해 생성함수 $U^a(x) = \prod_{m=1}^n (1 - x_m T)^{-a}$ 를 정의하는 것.
• 수평 간선에 $a(a-1)\cdots(a-k+1)/k!$ 의 가중치를 포함하는 격자 위의 가중 경로 모델을 구성하는 것.
• Cauchy-Binet 공식을 적용하여 $s_{\lambda/\mu}(a,x)$ 의 행렬식 표현을 전개하고, 곱셈 항등식 유도를 가능하게 하는 것.
• 항등식 $U^a(x)U^b(x) = U^{a+b}(x)$ 를 사용하여 곱셈 규칙 $s_{\lambda/\mu}(a+b,x) = \sum_{\nu} s_{\lambda/\nu}(a,x)s_{\nu/\mu}(b,x)$ 를 유도하는 것.

실험 결과

연구 질문

• RQ1 그라스만 미적분이 역치환 또는 역부호를 갖는 역치환을 요구하지 않고 리인스트롬-게셀-비에노의 정리를 통합적이고 간단한 방식으로 증명할 수 있는가?
• RQ2 그라스만 적분 기법과 반대칭 변수를 사용하여 자코비-트루디 항등식을 어떻게 재유도할 수 있는가?
• RQ3 조합적 구조를 유지하면서 곱셈 항등식을 만족하는 자연스러운 일파arameter 확장된 슈어 다항식은 무엇인가?
• RQ4 일반화된 슈어 함수 전개에서 경로 기여는 비교접 경로와 종점 순열을 어떻게 반영하는가?

주요 결과

• 그라스만 미적분을 사용하여 리인스트롬-게셀-비에노의 정리를 재증명하였으며, 반대칭성에 의해 교차 경로의 기여가 자연스럽게 소멸된다.
• 기본 대칭 함수의 그라스만 적분 표현을 통해 자코비-트루디 항등식을 유도하였으며, 이는 매개수화된 경우로 일반화된다.
• 확장된 슈어 다항식 $s_{\lambda/\mu}(a,x)$ 는 $\det\big(S_{\lambda_j - \mu_i + i - j}(a,x)\big)$ 를 통해 정의되며, $S_k(a,x)$ 는 $U^a(x) = \prod_m (1 - x_m T)^{-a}$ 에 의해 생성된다.
• 확장된 슈어 다항식은 곱셈 항등식 $s_{\lambda/\mu}(a+b,x) = \sum_{\nu} s_{\lambda/\nu}(a,x)s_{\nu/\mu}(b,x)$ 를 만족하며, 고전적 곱셈 법칙을 일반화한다.
• 일반화된 슈어 다항식은 $a=1$ 일 때 표준 슈어 함수를 회복하며, $a \neq 1$ 일 경우 종점 순서에 따라 부호가 붙은 새로운 경로 기여가 나타난다. 예를 들어 $s_{(2,1)}(a,x)$ 에서 $-\frac{a(a-1)(a-2)}{6}\sum_m x_m^3$ 이 존재한다.
• 쌍대 항등식 $s_{\lambda^*/\mu^*}(a,x) = (-1)^{| \lambda| - | \mu|} s_{\lambda/\mu}(-a,x)$ 가 성립하며, 이는 매개수화된 경우로의 쌍대성 일반화를 제공한다.