보판나 엔트로피 부등식 일반화

초록

이 논문은 Boppana의 엔트로피 부등식 (h(x^2)\ge \varphi x h(x)) 를 실수 지수 (k>1) 에 대해 확장한 결과를 제시한다. 핵심은 ( \alpha_k h(x^k) \ge x^{k-1} h(x) ) 를 증명하는 것으로, 여기서 (\alpha_k)는 방정식 (x(1+x)^{k-1}=1) 의 유일한 양해근이다. 또한 이 부등식이 근사 (k)-합집합 폐쇄 집합계에 대한 유니온-클로즈드 집합 추측의 아날로그를 제공함을 보인다. 증명은 미분과 단조성 분석을 이용하며, Lean 4 로 형식화되었다.

상세 분석

논문은 먼저 이진 엔트로피 함수 (h(x)=-x\log x-(1-x)\log(1-x)) 의 기본 성질을 상기한다. 기존의 Boppana 부등식은 (k=2) 일 때 (\alpha_2=\varphi^{-1}) 로 나타나며, 이는 (\varphi=(1+\sqrt5)/2) 와 직접 연결된다. 저자는 실수 (k>1) 에 대해 (\alpha_k) 를 정의하고, 목표 부등식 (\alpha_k h(x^k)\ge x^{k-1}h(x)) 를 증명한다. 핵심 아이디어는 비율 함수 \