두 표 독립성 완화 모델의 대수적 분석과 응용

본 논문은 두 변수 X와 Y가 각각 I와 J개의 범주를 갖는 2‑차원 교차표에서, 전통적인 독립성 모델이 모든 2×2 소행렬식(마이너)이 0이라는 다항식 집합 C에 의해 정의된다는 점을 출발점으로 삼는다. 저자들은 C의 부분집합 B만을 선택해 p_{i,j} p_{i+1,j+1} − p_{i+1,j} p_{i,j+1}=0 형태의 방정식을 유지함으로써 “B‑약화된 독립성 모델” V_B를 정의한다. 이는 독립성이 전체 표가 아니라 B에 포함된 셀들의 국소적 구조에 대해서만 강제된다는 의미이며, 실제 데이터에서 특정 시간 구간, 특정 범주군, 혹은 특정 블록에만 독립성을 가정하고 싶을 때 유용하다. 수학적 전개는 다음과 같다. 먼저, 독립성 모델의 로그‑선형 표현을 복습하고, 인접 마이너들의 로그‑벡터 Λ(m) 를 정의한다. Lemma 3.2 에서 B에 포함된 서로 다른 d개의 인접 마이너에 대한 로그‑벡터는 선형 독립임을 증명한다. 따라서 Z_B = span{Λ(m): m∈B} 의 차원은 d이며, 그 직교보완은 충분통계량 행렬 A_B의 열공간이 된다. A_B는 행합, 열합, 그리고 B에 의해 연결된 셀 블록(최대 연결 행/열 컴포넌트, MCR/MCC)의 합계로 구성된다. 자유 셀(free cell)은 B에 전혀 등장하지 않는 셀이며, 그 지시함수 역시 충분통계량에 포함된다. Proposition 3.8 은 이러한 지시함수들이 Z_B와 직교함을 보이며, 충분통계량이 직관적으로 “행·열 합계 + 블록 합계” 형태임을 확인한다. 다음으로, 저자들은 이 모델이 토릭(즉, 로그‑선형) 모델임을 증명한다. 즉, V_B는 다항식 이데얼 I_B = ⟨B⟩ 로 정의되는 토릭 다양체와 동일하며, 이는 파라미터화 p_{i,j}=exp(λ+λ_i^X+λ_j^Y) 형태에 제약을 추가한 형태로 나타낼 수 있다. 이를 통해 최대우도추정(MLE) 문제를 표준 로그‑선형 모델과 동일한 방법으로 해결할 수 있다. 정확한 검정과 샘플링을 위해서는 마코프 기저가 필요하다. 저자들은 B‑약화된 모델의 마코프 기저를 인접 마이너에 대응하는 4‑사이클 이동(즉, 네 개 셀의 카운트를 교환하는 2‑차 이동)으로 구성한다. 이는 4‑변수 다항식 p_{i,j}p_{i+1,j+1}−p_{i+1,j}p_{i,j+1}의 표준 마코프 기저와 동일하지만, B에 포함되지 않은 마이너는 제외되므로 전체 기저보다 훨씬 작다. 따라서 Diaconis‑Sturmfels 알고리즘을 적용해 조건부 분포를 정확히 샘플링하고, 정확 검정(p‑값)과 신뢰구간을 얻을 수 있다. 논문은 세 가지 실증 예시를 제시한다. 첫 번째 예시는 2×J 표에서 특정 시점 j′ 까지는 독립성이 유지되고 이후에는 위배되는 “변화점” 모델로, 로지스틱 회귀의 변화점 탐지와 직접 연결된다. 두 번째 예시는 I×I 평점표에서 몇몇 범주가 구분되지 않는 경우를 모델링하며, “범주 구분 불가능” 모델로서 기존 합의 분석에 새로운 시각을 제공한다. 세 번째 예시는 “100 스위스 프랑 문제”와의 연계로, 복잡한 구조를 가진 다변량 확률 모델을 B‑약화된 독립성 모델로 단순화함으로써 마코프 기저의 효율성을 강조한다. 마지막 섹션에서는 연구의 기여를 정리하고, 향후 연구 방향을 제시한다. 주요 기여는 (1) 독립성 모델을 부분집합으로 약화시키는 새로운 모델 클래스 정의, (2) 충분통계량과 마코프 기저를 명시적으로 구성하여 정확 추론 가능하게 함, (3) 실제 데이터와 복잡한 이론 문제에 적용 가능함을 실증적으로 보여줌이다. 향후 연구로는 구조적 영(0) 셀을 허용한 확장, 다변량(>2) 범주형 데이터에 대한 일반화, 베이즈 사전분포와의 결합, 그리고 효율적인 소프트웨어 구현이 제안된다.