2×(k+1)×k 비퇴화 초행렬의 계수 공식과 3차 루크 배치

본 논문은 유한체 F_q 위에서 형식 2 × (k+1) × k인 초초행렬(3‑차원 배열)의 비퇴화(Det≠0) 개수를, 특정 평면 분할(plane partition)으로 지정된 영(0) 위치를 제외하고 셈하는 문제를 다룬다. 연구 동기는 고전적인 q‑루크 이론을 2‑차원 행렬에서 3‑차원 초행렬로 일반화하려는 시도이며, 이를 위해 다음과 같은 흐름으로 전개된다. 1. **배경 및 기존 이론 정리** - Kaplansky‑Riordan의 루크 배치, Garsia‑Remmel의 q‑루크 수, Haglund의 행렬‑루크 정리 등을 소개한다. - 하이퍼디터미넌트(Det)의 정의와 주요 성질을 요약한다. 특히, GLₙ(F_q) 군 작용에 대해 Det가 det(A₁)^{n₁}·…·det(A_r)^{n_r} 배로 변하는 동차성(정리 2.2, 명제 2.3, 정리 2.4)을 강조한다. 2. **경계 형식 초행렬과 비퇴화 판정** - 경계 형식(boundary format)인 (k₁+1)×(k₁+k₂+1)×(k₂+1) 초행렬을 고려하고, 특히 k₁=1, k₂=k인 2×(k+1)×k 경우에 집중한다. - Aitken의 Lemma 2.5에 따라, 초행렬이 비퇴화가 되려면 첫 번째 방향(2개의 슬라이스)에서 모든 비영 선형 결합이 전치 행렬을 완전한 랭크로 만들어야 함을 보인다. 이는 영 위치가 강제된 경우에도 동일하게 적용된다. 3. **평면 분할과 지원 제한** - 평면 분할 P=⟨λ, μ⟩을 정의한다. 여기서 λ, μ는 각각 길이 k인 정수 분할이며, λ_i ≥ λ_{i+1}, μ_i ≥ μ_{i+1}를 만족한다. - 초행렬 M이 P를 “피한다(avoid)”는 것은 M의 (k+1)×k 슬라이스 중 λ와 μ에 해당하는 좌표를 모두 0으로 만든다는 의미이다. 4. **주요 추측과 증명** - **Conjecture 3.1**: 2×(k+1)×k 초행렬이 평면 분할 P를 피하면서 비퇴화인 경우의 수는 \