양자 리틀우드‑리차드슨 지도와 기록표의 직교 전치 대칭

본 논문은 와타나베가 제시한 양자 리틀우드‑리차드슨(LR) 지도에 대한 조합론적 해석을 전개한다. 서론에서는 기존의 G. Thomas bijection과 그에 대한 crystal 동형사상, 그리고 Berenstein‑Gelfand‑Zelevinsky(LR) 규칙을 언급하며, 양자 LR 지도는 $GL_{2n}(\mathbb C)$에서 $Sp_{2n}(\mathbb C)$로의 분기 규칙을 새로운 형태로 제공한다는 점을 강조한다. 특히, 기록표 집합 $\operatorname{Rec}_{2n}(\lambda/\mu)$가 LR‑Sundaram 표와 일대일 대응한다는 사실은 와타나베 논문에서 주입성만 증명하고, 전사성은 양자 대칭쌍의 표현론에 의존해 증명된 점을 지적한다. 제2절에서는 기본 정의와 표기법을 정리한다. 파티션, Young diagram, 반대칭(partition even) 개념을 소개하고, 반대칭 파티션의 전치가 짝수 행을 갖는다는 사실을 강조한다. 또한, Schensted 열 삽입과 그 역연산을 상세히 설명하고, 두 삽입이 서로 역함을 보이는 경로 정리를 제시한다. 이때 “열 삽입”은 $x\to T$ 로, “역 열 삽입”은 $y\leftarrow U$ 로 표기한다. 제3절은 핵심 결과인 전사성 증명을 다룬다. 저자는 $LRS_{2n}(\lambda/\mu)$의 원소 $T$를 수직 스트립 $J_1,\dots,J_{\nu_1}$ 로 분해하고, 각 스트립에 $\nu_i^{\mathrm t}$ 라벨을 부여하는 $\diamondsuit$ 함수를 정의한다. $\diamondsuit$는 $T$를 $e\!\operatorname{Rec}_{2n}(\lambda/\mu)$의 원소 $Q$ 로 변환한다. 이후 $\diamondsuit$가 전단사임을 보이기 위해, 역과정인 라벨을 제거하고 스트립을 원래 위치에 복원하는 절차를 제시한다. 이 역과정은 역 열 삽입과 역 제거를 교대로 적용함으로써 구현되며, 각 단계에서 발생하는 “bumped element” $a_i$와 새로운 스트립 길이 $l_i$를 식 (5)–(8) 로 정확히 계산한다. 결과적으로 $\diamondsuit$는 $LRS_{2n}(\lambda/\mu)\leftrightarrow e\!\operatorname{Rec}_{2n}(\lambda/\mu)$ 사이의 전단사임이 증명된다. 또한, 3.1절에서는 LR‑정리의 직교 전치 대칭 $\diamond$ 가 $\diamondsuit$와 $\pi\circ t$(전치 후 회전)와 결합된 형태와 동일함을 보인다. 즉, $\diamond$는 $LRS_{2n}(\mu,\nu,\lambda)\xrightarrow{\diamondsuit} e\!\operatorname{Rec}_{2n}(\mu,\nu^{\mathrm t},\lambda)\xrightarrow{\pi\circ t} LR(\lambda^{\mathrm t},\nu^{\mathrm t},\mu^{\mathrm t})$ 로 분해된다. 이로써 $\diamond$가 $LRS$에 제한될 때도 동일한 대칭 관계 $c_{\mu,\nu,\lambda}=c_{\lambda^{\mathrm t},\nu^{\mathrm t},\mu^{\mathrm t}}$ 가 유지됨을 확인한다. 제4절에서는 양자 LR 지도 알고리즘의 전체 흐름을 재검토한다. 먼저, $S\in SpT_{2n}(\mu)$ 와 $Q\in e\!\operatorname{Rec}_{2n}(\lambda/\mu)$ 를 입력으로 받아, 연속적인 “성공자(successor)”들을 생성하는 과정을 설명한다. 각 성공자는 역 열 삽입과 역 제거를 통해 “언와인(unwinding)” 단계에서 이전 단계로 되돌아가며, 최종적으로 원래의 $SST_{2n}(\lambda)$ 로 복원된다. Theorem B는 이 언와인 절차가 언제나 가능한지, 즉 $S$가 symplectic 성질을 유지하면서 $Q$의 구조와 일치하도록 $a_i$와 $l_i$를 조정할 수 있음을 보인다. 이때 $l_i$의 짝·홀수 여부에 따라 두 경우로 나뉘어, 식 (7)–(8) 에서 제시된 정확한 길이 계산이 핵심이다. 마지막으로, 논문은 결과를 요약하고 향후 연구 방향을 제시한다. 조합론적 전사성 증명은 양자 대칭쌍의 복잡한 표현론을 회피함으로써, $GL_{2n}\downarrow Sp_{2n}$ 분기 규칙을 순수히 표와 삽입 알고리즘으로 이해할 수 있게 만든다. 또한, $\diamondsuit$와 $\diamond$ 사이의 관계는 다른 유형(AI, AII 등)의 양자 대칭쌍에도 유사한 제한이 존재할 가능성을 시사한다.