이중계산과 포함배제법을 통한 이진행렬 정리

논문은 먼저 조합론에서 널리 사용되는 두 번 셈 원리를 소개한다. 이는 어떤 유한 집합의 원소 수를 두 가지 다른 방법으로 세어 두 결과를 동일하게 만든다라는 원리이다. 저자들은 이 원리를 변형하여, n행 k열의 이진행렬(0과 1만을 원소로 갖는 행렬) 중에서 각 열에 정확히 p 개의 1이 들어가고, 각 행에는 최소 하나의 1이 존재하는 경우의 수를 구한다. 먼저, 열에만 제약을 두고 모든 가능한 행렬을 고려하면 각 열마다 C(n,p)개의 선택이 가능하므로 전체 경우의 수는 |M|=C(n,p)^k 가 된다. 여기서 행에 0이 전부인 경우를 제거해야 하는데, 이를 위해 포함‑배제 원리를 적용한다. 행 i가 전부 0인 성질 p_i 를 정의하고, s개의 행이 동시에 0이 되는 경우의 수는 C(n,s)·C(n‑s,p)^k 로 계산된다. 포함‑배제 공식에 따라 0이 없는 행만을 갖는 행렬의 수는 R(n×k,p)=∑_{s=0}^{n‑p}(-1)^s C(n,s) C(n‑s,p)^k 가 된다. 이 식은 n과 k, p에 따라 다양한 특수 경우로 축소될 수 있다. 특수 경우 1) n=k, p=1이면 R(n×n,1)=∑_{s=0}^{n‑1}(-1)^s C(n,s) C(n‑s,1)^n = n! 로, 이는 n×n 이진행렬에서 각 행·열에 정확히 하나의 1이 배치되는 경우가 n! 개임을 의미한다(항등식 (1)). 특수 경우 2) n=2p, k=2이면 R(2p×2, p)=∑_{s=0}^{p}(-1)^s C(2p,s) C(2p‑s,p)^2 = (2p)!/(p!)^2 로, 이는 두 열에 각각 p개의 1이 배치되고 각 행에 1과 0이 각각 하나씩 있는 경우의 수와 일치한다(항등식 (2)). 특수 경우 3) n>kp이면 R(n×k,p)=0 이 된다. 이는 n이 k·p보다 크면 최소 하나의 행이 전부 0이 될 수밖에 없으므로 조건을 만족하는 행렬이 존재하지 않음을 나타낸다(항등식 (3)). 특수 경우 4) n=kp이면 R(kp×k,p)= (kp)!/(p!)^k 로, 이는 각 행에 정확히 하나의 1이 배치되고 열마다 p개의 1이 있는 경우를 순열의 관점에서 세는 결과와 동일하다(항등식 (4)). 특수 경우 5) p=1이면 각 열에 하나의 1만 존재한다. 이때 행별 1의 개수를 t_i≥1 (i=1…n) 로 두고 t_1+…+t_n=k 라는 조건을 만족하는 모든 분할에 대해 행렬의 개수는 ∑_{t_1+…+t_n=k, t_i≥1} k!/(t_1!…t_n!) 가 된다. 이는 항등식 (5)와 일치한다. 논문은 위와 같은 특수 경우들을 증명하기 위해 네 개의 명제(프러포지션)를 제시한다. 프러포지션 1은 n×n 이진행렬에서 각 행·열에 정확히 하나의 1이 있는 경우가 n! 개임을 보이고, 프러포지션 2는 2p×2 행렬에서 각 행에 1과 0이 각각 하나씩, 각 열에 p개의 1이 있는 경우가 (2p)!/(p!)^2 개임을 증명한다. 프러포지션 3은 n>kp이면 최소 하나의 행이 전부 0이 되는 것을 보이며, 프러포지션 4는 n=kp인 경우 행렬의 개수가 (kp)!/(p!)^k 임을, 프러포지션 5는 p=1인 경우 위의 분할 합으로 행렬 개수를 구한다. 전체적으로 저자들은 이진행렬의 열합과 행합 제약을 포함‑배제 원리와 두 번 셈 기법을 결합하여 일반적인 조합 항등식 R(n×k,p)를 도출하고, 이를 통해 다섯 개의 기존 항등식을 하나의 통합된 프레임워크 안에서 재해석한다. 이 접근법은 행렬의 구조적 제약을 조합식으로 변환하는 방법을 제공하며, 유사한 제약을 가진 다른 이산 구조에도 적용 가능함을 시사한다.