[논문 리뷰] Schur partition theorems via perfect crystal

Shunsuke Tsuchioka, Masaki Watanabe|arXiv (Cornell University)|2016. 09. 07.

Algebraic structures and combinatorial models참고 문헌 30인용 수 3

한 줄 요약

이 논문은 1926년 슈어의 정수 분할 정리의 일반화로, 홀수 $ p \geq 3 $ 에 대해 두 가지 새로운 분할 클래스인 $ S_p $ 와 $ \mathsf{Schur}_p $ 를 도입한다. 아핀 리 대수의 표현 이론과 $ A^{(2)}_{p-1} $-크리스탈 구조를 이용하여, $ S_p $ 가 홀수 및 엄격한 $ p $-클래스 정규 분할 집합과 분할 이론적으로 동치임을 증명한다. 이는 $ p=5 $ 에서 앤드류스의 3매개변수 로저스-라마누잔 항등식 일반화에 대해 컴퓨터를 사용하지 않은 증명을 제공하며, $ p=3 $ 에서는 슈어의 원래 정리를 재증명한다.

ABSTRACT

Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.

연구 동기 및 목표

• 분할 이론적 도구를 사용하여, 홀수 $ p \geq 3 $ 에 대해 슈어의 1926년 분할 정리를 크리스탈 격자 구조를 통해 일반화한다.
• 두 가지 새로운 분할 집합인 $ S_p $ (각각 $ p $-엄격 분할 내에서 정의됨) 와 $ \mathsf{Schur}_p $ (엄격 분할 내에서 정의됨) 를 정의하며, 둘 다 $ p $-슈어 부등식을 만족하고 금지된 부분패턴을 피한다.
• $ S_p $ 가 홀수 및 엄격한 $ p $-클래스 정규 분할 집합과 분할 이론적으로 동치임을 확립한다.
• 이 크리스탈 이론적 프레임워크를 사용하여, 이전에 앤드류스–베센로트–올슨에 의해 증명된 바 있는, $ p=5 $ 에서의 앤드류스의 3매개변수 로저스-라마누잔 항등식 일반화에 대해 컴퓨터를 사용하지 않은 증명을 제공한다.
• 분할 이론 결과를 대칭군의 스핀 모듈라 표현 이론과 양자군 이론으로 연결하기 위해 아핀 리 대수의 크리스탈을 활용한다.

제안 방법

• $ p $-슈어 부등식 정의: $ \lambda_i - \lambda_{i+h} \geq p $, 여기서 $ \lambda_i \in p\mathbb{Z} $ 이면 엄격한 부등식이 성립하며, $ p = 2h+1 $ 이다.
• 금지된 부분패턴 집합 $ \mathsf{Forb}_p $ (와일드카드 $ \ast $ 를 포함) 를 도입하여, $ S_p $ 를 $ p $-엄격 분할 중에서 이러한 패턴을 피하는 것으로 정의한다.
• $ A^{(2)}_{p-1} $-크리스탈 프레임워크를 사용하여 $ S_p $ 에 크리스탈 구조를 구성하며, 이가 수준 1의 완전한 크리스탈임을 보인다.
• 분할을 $ \mathsf{Str}^{[p+1,p+h]} $, $ \mathsf{Str}^{[p-h,p-1]} $ 등으로 분해하기 위해, 잔여도 기반 연산을 사용하는 사상 $ \Psi^{\mathsf{str}}_1 $ 과 $ \Psi^{\mathsf{str}}_2 $ 를 정의한다.
• 크리스탈 연산자 $ \tilde{f}_i $ 를 사용하여 잔여도 $ i \mod p $ 를 가진 상자를 추가하는 올리기 연산자를 정의하며, 이는 $ p $-슈어 부등식과 호환됨을 보장한다.
• 컴ponent를 $ S_p $ 로 매핑하는 사상 $ \beta_p $ 가 양호한 크리스탈 준동형사상임을 증명하며, 이는 크리스탈 구조를 유지하고 재귀적 구성이 가능하게 한다.

실험 결과

연구 질문

• RQ1 표현 이론적 도구를 사용하여, 홀수 $ p \geq 3 $ 에 대해 슈어의 1926년 분할 정리를 일반화할 수 있는가?
• RQ2 $ A^{(2)}_{p-1} $-크리스탈 구조를 사용하여, 일반화된 $ p $-슈어 부등식을 만족하는 새로운 분할 집합의 가족을 정의하고 특성화할 수 있는가?
• RQ3 $ p $-엄격 분할 중에서 $ p $-슈어 부등식을 만족하고 $ \mathsf{Forb}_p $ 부분패턴을 피하는 분할 집합 $ S_p $ 는, 홀수 또는 엄격한 $ p $-클래스 정규 분할 집합과 같은 기수를 가질까?
• RQ4 이 크리스탈 이론적 프레임워크를 사용하여, 앤드류스의 3매개변수 로저스-라마누잔 항등식 일반화를 컴퓨터 보조 없이 증명할 수 있는가?
• RQ5 슈어의 원래 정리와 앤드류스의 3매개변수 확장 사이를 통합하는, 균일한 크리스탈 이론적 메커니즘이 존재하는가?

주요 결과

• $ p=3 $ 인 경우, 집합 $ S_3 $ 는 홀수 및 엄격한 3-클래스 정규 분할 집합과 분할 이론적으로 동치이며, 이는 슈어의 1926년 분할 정리를 재증명한다.
• $ p=5 $ 인 경우, 이 구성은 앤드류스의 3매개변수 로저스-라마누잔 항등식 일반화에 대해 컴퓨터를 사용하지 않은 증명을 제공하며, 이는 이전에 앤드류스–베센로트–올슨에 의해 증명된 추측을 확인한다.
• $ S_p $ 는 수준 1의 완전한 $ A^{(2)}_{p-1} $-크리스탈을 이룬다. 정의된 경우, 잘 정의된 크리스탈 연산자 $ \tilde{f}_i $ 는 잔여도 $ i \mod p $ 를 가진 상자를 추가한다.
• $ \mathsf{Schur}_p $ 의 모든 분할은 $ p $-슈어 부등식을 만족하며, 집합 $ \mathsf{Schur}_p $ 는 크리스탈 연산자 $ \tilde{f}_i $ 에 대해 닫혀 있어, 그 크리스탈 구조가 일관됨을 보장한다.
• $ \beta_p $ 는 양호한 크리스탈 준동형사상이며, 크리스탈 구조를 유지하고 $ S_p $ 를 구성요소로 분해할 수 있게 하며, 각 구성요소가 자체적으로 $ A^{(2)}_{p-1} $-크리스탈임을 보장한다.
• $ \Psi^{\mathsf{str}}_1 $ 과 $ \Psi^{\mathsf{str}}_2 $ 의 이중 사상은 $ S_p $ 의 분할을 재귀적으로 분해하며, 구성요소별 분석과 패턴 회피를 통해 동치성의 증명을 가능하게 한다.