비샤논형 정보 부등식 체계적 유도 방법

본 논문은 정보 이론에서 엔트로피 함수가 정의하는 집합 \(H_{ent}^N\) 의 구조적 한계를 극복하고, 비샤논형 정보 부등식을 체계적으로 도출하기 위한 새로운 방법론을 제시한다. 먼저, 엔트로피 함수가 만족하는 세 가지 기본 성질(정규화, 단조성, 서브모듈러)을 기반으로 정의된 다항형 원뿔 \(H_N\) 을 소개한다. \(H_N\)은 샤논형 부등식만을 포함하는 외부 경계이며, \(H_{ent}^N\)의 폐포는 \(n\ge4\)에서 \(H_N\)보다 엄격히 작다(즉, 비샤논형 부등식이 존재한다). 이러한 비샤논형 부등식을 찾기 위해 저자는 두 단계의 전략을 채택한다. 첫 번째 단계는 기존의 \(n\)-차원 확장 변수 \(\zeta\)를 구성하는 것으로, 이는 원래의 \(m\)-차원 랜덤 벡터 \(\xi\)에 추가적인 복사 변수 \(\xi_{m+1},\dots,\xi_n\)를 도입한다. 복사 변수는 Lemma 3(복사 변수 존재성)에서 정의된 마코프 체인 구조를 만족하도록 선택되며, 이 과정에서 새로운 선형 등식 집합 \(C_N\)가 생성된다. 두 번째 단계는 \(H_N\)와 \(C_N\)의 교집합인 다항형 원뿔 \(H_N\cap C_N\)을 구성하고, 이를 \(m\)개의 원래 변수에 대해 투영한다(\(\pi_{X_M}\)). 투영 결과는 \(\pi_{X_M}(H_N\cap C_N)\)이며, 이는 \(H_{ent}^M\)의 새로운 외부 경계를 제공한다. 투영 연산은 원뿔의 H‑표현(불평등 집합)에서 수행되며, 차원 수가 급격히 증가함에 따라 전통적인 Fourier‑Motzkin 소거법은 계산량이 폭발한다. 이를 해결하기 위해 저자는 Convex Hull Method(CHM)를 도입한다. CHM은 현재의 이중 기술(극점·극선)을 유지하면서, 새로운 불평등을 하나씩 검사하고 필요시 극선을 추가하는 방식으로 투영 원뿔을 점진적으로 구축한다. 특히, 이미 알려진 \(H_{ent}^4\)의 내부 경계와 외부 경계 \(H_{outer}^{(1)}\)를 초기화에 활용함으로써 연산량을 크게 절감한다. 실험에서는 4변수 경우에 두 가지 접근법을 적용한다. 첫 번째는 5·6번째 복사 변수를 추가해 총 6차원 원뿔을 만든 뒤 투영한다. 이 경우 Zhang‑Yeu​ng 부등식과 Dougherty‑Freiling‑Zeger 부등식 중 일부를 재현한다. 두 번째는 7번째 복사 변수를 더해 7차원 원뿔을 구성하고 투영함으로써, 기존에 알려지지 않았던 13개의 새로운 비샤논형 부등식을 발견한다. 각 부등식은 다음과 같은 형태를 가진다. \