쿼러 세미불변량으로 보는 3차원 표계수

본 연구는 $m\times n\times p$ 형태의 3‑way 컨틴전시 테이블을 두 개의 평면 마진 $\mathbf a\in\mathbb N^m$, $\mathbf b\in\mathbb N^n$ 로 고정했을 때 가능한 배열의 총 개수 $\mathbf T_{\mathbf a,\mathbf b}$ 를 구하는 문제에 접근한다. 전통적으로 $p=1$ 일 때는 행·열 합이 주어진 $m\times n$ 비음수 행렬의 개수를 세는 것으로 알려져 있으며, 이는 로빈슨‑스쳔들‑코넥스(RSK) 대응을 통해 파라볼릭 코스티카 계수와 연결된다. 저자들은 이를 일반 $p\ge1$ 로 확장하고, 쿼러 세미불변량 이론을 매개로 새로운 해석을 제시한다. 1. **쿼러 설정**: $p$‑완전 이분 그래프 $\mathcal Q^p_{m,n}$ 은 $m$개의 소스 정점 $x_i$, $n$개의 싱크 정점 $y_j$, 그리고 각 $(x_i,y_j)$ 사이에 $p$개의 화살표를 가진다. 차원 벡터 $\mathbf1$ 은 모든 정점을 $1$ 로 채우고, 가중치 $θ_{\mathbf a,\mathbf b}$ 은 소스에 $a_i$, 싱크에 $-b_j$ 를 할당한다. 2. **세미불변량과 네트워크 흐름**: Lemma 2.3에 따르면 $\dim \operatorname{SI}(\mathcal Q^p_{m,n},\mathbf1)_{θ_{\mathbf a,\mathbf b}}$ 은 네트워크 흐름 다각형 $P_{θ_{\mathbf a,\mathbf b}}$ 의 정수 격자점 개수와 일치한다. 이 다각형은 정확히 (1), (2) 식으로 정의된 마진 조건을 만족하는 $x_{ijk}$ 들의 실수 해집합이며, 따라서 $\mathbf T_{\mathbf a,\mathbf b}= \dim \operatorname{SI}(\mathcal Q^p_{m,n},\mathbf1)_{θ_{\mathbf a,\mathbf b}}$ 가 된다. 3. **예외 시퀀스와 Embedding Theorem**: 복잡한 $\mathcal Q^p_{m,n}$ 를 다루기 위해, 저자들은 쿼러 $T$ 와 예외 시퀀스 $E=(\delta_1,\dots,\delta_m,e_{y_1},\dots,e_{y_n})$ 를 구성한다. 이 시퀀스는 $T(E)=\mathcal Q^p_{m,n}$ 를 만족한다. Derksen‑Weyman의 Embedding Theorem(정리 2.6)을 적용하면, $\operatorname{SI}(\mathcal Q^p_{m,n},\mathbf1)_{θ_{\mathbf a,\mathbf b}}$ 은 $T$ 위의 세미불변량 공간과 동형이다. 4. **정점 제거와 별형 쿼러**: $T$ 에서는 가중치가 $0$ 인 정점 $x_0$ 를 Lemma 2.1을 이용해 제거할 수 있다. 결과적으로 얻어지는 별형 쿼러 $S$ 는 중심 정점 $z_0$ 와 $m+p$개의 소스 정점, $n$개의 싱크 정점으로 구성된다. 차원 벡터 $\beta$ 와 가중치 $\sigma_{\mathbf a,\mathbf b}$ 를 적절히 정의하면, $\mathbf T_{\mathbf a,\mathbf b}= \dim \operatorname{SI}(S,\beta)_{\sigma_{\mathbf a,\mathbf b}}$ 가 된다(명제 3.1). 5. **Schur 함수 전개와 파라볼릭 코스티카**: 별형 $S$ 에서는 표현 공간 $\operatorname{rep}(S,\beta)$ 를 $GL(\beta)$ 의 표준 표현으로 분해한다. Cauchy 공식에 의해 이 공간은 Schur 함수 $S_\lambda$ 의 텐서곱으로 전개되며, 세미불변량은 $SL(\beta)$‑불변 부분을 취함으로써 얻어진다. 가중치 조건을 만족하도록 $\lambda$ 와 $\mu$ 를 선택하면, 최종적으로 얻어지는 차원은 파라볼릭 코스티카 계수 $K_{\lambda,R}$ 로 식별된다. 여기서 $\lambda=((pN)^m)$, $R$ 은 $p$ 번 반복되는 직사각형 $(N(p-1)m)$ 와 $\{a_i p-1\}_{i=1}^m$, $\{b_j\}_{j=1}^n$ 로 구성된다(정리 1.1). 6. **특수 경우와 기존 결과와의 연결**: $p=1$ 일 때 $R$ 은 단순히 $(a_i)$ 와 $(b_j)$ 로 축소되고, $K_{\lambda,R}$ 은 전통적인 $2$‑way 컨틴전시 테이블 수와 동일함을 보인다(Corollary 3.2). 이는 RSK 대응을 통한 기존 증명과 일치하지만, 여기서는 전적으로 쿼러 세미불변량 이론을 이용한 새로운 증명을 제공한다. 7. **의의와 전망**: 이 연구는 고차원 마진 제약을 가진 정수 배열 문제를 쿼러 이론과 고전적 대칭 함수 이론 사이의 다리로 연결한다. 파라볼릭 코스티카 계수와 세미불변량 차원을 동일시함으로써, 복잡한 조합적 수를 계산하는 새로운 알고리즘적 접근법을 제시한다. 또한, 예외 시퀀스와 Embedding Theorem을 활용한 차원 축소 기법은 다른 유형의 다중 마진 문제에도 적용 가능성을 시사한다.