[논문 리뷰] Pfaffian structures and certain solutions to BKP hierarchies I. Sums over partitions

A. Yu. Orlov, Takahiro Shiota외 1명|arXiv (Cornell University)|2012. 01. 21.

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

한 줄 요약

이 논문은 대규모 BKP(lBKP) 및 2-lBKP 계층에 대한 해를 가진 '쉬운 타우 함수'라는 클래스를 도입한다. 이 함수들은 스슈어 다항식과 프로젝티브 스슈어 다항식의 분할에 대한 합으로 표현되며, 펄라프언( Pfaffians )으로 가중치가 부여된다. 이러한 함수들은 초월함수 유형의 타우 함수를 일반화하며, 직교 및 심플렉틱 랜덤 매트릭스 집단의 분할 함수와, 하드 코어 배제 원칙을 가진 1차원 격자에서의 페르미온 입자계의 통계역학 모델을 기술하는 데 쓰인다.

ABSTRACT

We introduce a useful and rather simple class of BKP tau functions which which we shall call "easy tau functions". We consider two versions of BKP hierarchy, one we will call "small BKP hierarchy" (sBKP) related to $O(\infty)$ introduced in Date et al and "large BKP hierarchy" (lBKP) related to $O(2\infty +1)$ introduced in Kac and van de Leur (which is closely related to the large $O(2\infty)$ DKP hierarchy (lDKP) introduced in Jimbo and Miwa). Actually "easy tau functions" of the sBKP hierarchy were already considered in Harnad et al, here we are more interested in the lBKP case and also the mixed small-large BKP tau functions (Kac and van de Leur). Tau functions under consideration are equal to certain sums over partitions and to certain multi-integrals over cone domains. In this way they may be applicable in models of random partitions and models of random matrices. Here is the first part of the paper where sums of Schur and projective Schur functions over partitions are considered.

연구 동기 및 목표

• 대규모 BKP(lBKP) 및 2-lBKP 계층에 대해 새로운 해를 가진 '쉬운 타우 함수'의 정의와 연구.
• 이 타우 함수와 랜덤 매트릭스 집단, 특히 직교 및 심플렉틱 집단 간의 연결 수립.
• 하드 코어 배제 원칙을 가진 1차원 격자에서의 페르미온 입자계에 대한 물리적 해석 탐색.
• 기존의 초월함수 유형 타우 함수를 일반화하고, 분할에 대한 스슈어 및 프로젝티브 스슈어 다항식과의 관계 설정.
• 페르미온 푸앙크 스페이스 형식을 사용하여 스토케스틱 입자 모델의 분할 함수 및 전이 확률에 대한 명시적 공식 유도.

제안 방법

• 분할에 대한 합으로 lBKP 타우 함수 유도: τ_ll′(t) = ∑_λ∈P s_λ(t) Π_λ(l,l′), 여기서 Π_λ(l,l′)는 펄라프언이다.
• 참고 문헌 [13]과 같이 lBKP 계층의 페르미온 푸앙크 스페이스 표현을 사용하여, 시간 순서 정렬 지수의 진공 기댓값을 통해 타우 함수 표현.
• 시간 진동수 J₁ + J₋₁로 제어되는 1차원 격자 위의 페르미온 시스템 모델링. 여기서 J_±1는 이동 연산자이다.
• 베이커–캠프벨–하우스도르프 공식을 사용하여 지수를 단순화함으로써, 진공에서 구성 상태 λ로의 경로 수를 W_0→λ(T) = ⟨0|(J₁ + J₋₁)^T|λ⟩ 로 표현.
• 분할 함수 Z₀(T) = ⟨0|(J₁ + J₋₁)^T|Ω₀⟩ 를 스슈어 다항식과 연결하고, 안장점 근사법을 통해 점근적 표현 유도.
• 반복된 부분이 있는 짝수 길이 분할인 '두꺼운 분할'(fat partitions) λ ∪ λ의 경우 분석. 이는 1차원 디머를 모델링하며, 짝수 T에 대해 N_FP(T) = 2^T(T−1)/2 임을 보임.

실험 결과

연구 질문

• RQ1 대규모 BKP 계층에 대해 해를 가진 '쉬운 타우 함수'를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 lBKP 타우 함수와 랜덤 매트릭스 집단, 특히 직교 및 심플렉틱 집단 간의 관계는 무엇인가?
• RQ3 분할에 대한 펄라프언 가중치 합은 1차원 격자에서의 페르미온 입자 물리 모델과 어떻게 관련되는가?
• RQ4 프로젝티브 스슈어 다항식과 두꺼운 분할은 lBKP 타우 함수의 구조에서 어떤 역할을 하는가?
• RQ5 스토케스틱 입자 시스템에서의 경로 수 통계의 점근적 행동은 타우 함수 형식으로부터 어떻게 도출될 수 있는가?

주요 결과

• lBKP 타우 함수 τ_ll′(t) 는 모든 분할 λ ∈ P 에 대해 스슈어 다항식 s_λ(t) 를 펄라프언 Π_λ(l,l′) 로 가중치를 두어 합으로 표현되며, 이는 새로운 해를 가진 클래스를 제공한다.
• 1차원 페르미온 입자계의 분할 함수는 Z₀(T) = T! s^(T)(t′₂) 로 주어지며, 여기서 t′₂ = (1,1,0,0,…), s^(T) 는 분할 (T) 에 대한 기본 스슈어 다항식이다.
• 진공에서 상태 λ로의 전이 확률은 p_0→λ(T) = s_λ(t₁)/s^(T)(t′₂) δ(T,|λ|) 로 주어지며, t₁ = (1,0,0,…), δ(T,|λ|) 는 T − |λ| 가 짝수임을 보장한다.
• 큰 T에 대해 분할 함수는 점근적으로 Z₀(T) ∼ exp( T/2 log T + T/2 log 2 + O(√T) ) 로 행동한다.
• 두꺼운 분할 구성 상태 λ ∪ λ 에 도달하는 경로 수는 짝수 T에 대해 N_FP(T) = 2^T(T−1)/2 이며, 홀수 T에선 0이다. 이는 1차원 디머 구성과 대응된다.
• 두꺼운 분할의 생성함수는 ∑_{T even} t^T/T! N_FP(T) = e^t² 로 주어지며, 디머 상태의 조합론적 구조를 확인한다.