복합 포아송 분포의 엔트로피와 로그 볼록성 연구

본 연구는 복합 포아송(Compound Poisson) 및 복합 이항(Compound Binomial) 분포의 엔트로피 특성을 로그‑볼록성(log‑concavity)이라는 수학적 조건과 연결시켜 분석한다. 서론에서는 중앙극한정리와 포아송 근사정리에서 엔트로피가 최대가 되는 분포를 식별하는 정보이론적 동기를 제시하고, 기존의 포아송 최대 엔트로피 결과(Shepp‑Olkin, Harremoës 등)를 복합 구조로 확장하고자 하는 목표를 명확히 한다. 핵심 정의로는 임의의 비음이 아닌 정수값 분포 P와 양의 정수값을 갖는 복합 분포 Q에 대해 C_Q P라는 복합 연산을 도입한다. 이는 P가 나타내는 사건 수 Y와 Q가 나타내는 개별 사건 크기 X_j를 독립적으로 결합해 Y개의 합을 취하는 형태이며, 식(5)로 명시된 혼합 표현을 가진다. 이 정의를 바탕으로 복합 베르누이 합(C_Q b_p), 복합 이항(CBin), 복합 포아송(CPo) 등을 구체화한다. 첫 번째 주요 결과인 정리 1.4는 Q와 CBin(n,λ/n,Q)가 로그‑볼록일 경우, 평균 λ를 갖는 모든 복합 베르누이 합 C_Q b_p 중에서 CBin이 엔트로피를 최대로 만든다는 것을 증명한다. 여기서 로그‑볼록성은 P(x)²≥P(x‑1)P(x+1) 형태의 불등식으로 정의되며, Q의 꼬리가 유한하거나 Q(x)≥ρ x^β 형태의 하한을 만족하면 증명이 성립한다. 정리의 증명은 복합 연산이 로그‑볼록성을 보존한다는 사실과, 엔트로피 감소를 유도하는 반정수 반연산(U_α)과 그 복합 버전(U_Q^α)의 반군 구조를 활용한다. 두 번째 주요 결과인 정리 1.5는 Q와 복합 포아송 CPo(λ,Q)가 로그‑볼록일 경우, 평균 λ를 갖는 모든 초로그‑볼록(ultra log‑concave) 분포 P에 대해 CPo가 엔트로피 최댓값을 가진다는 것을 보여준다. 초로그‑볼록성은 P(x)/Π_λ(x)가 로그‑볼록인 조건이며, 포아송 자체가 초로그‑볼록임을 이용한다. 증명 과정에서는 점수함수 r₁,_{C_Q P}(x)의 단조감소성을 입증하는 보조정리 2.5가 핵심 역할을 한다. 이 점수함수는 복합 연산에 의해 정의되며, Q가 로그‑볼록이고 P가 초로그‑볼록이면 r₁가 감소함을 Keilson‑Sumita의 합성곱 불등식(15)을 통해 증명한다. 논문은 또한 로그‑볼록성을 확보하기 위한 구체적 조건을 제시한다. Lemma 4.1은 Q가 유한 지원이면 CBin과 CPo가 로그‑볼록임을 보이고, Lemma 4.2는 Q가 충분히 무거운 꼬리를 가질 때(예: Q(x)≥ρ x^β) 역시 로그‑볼록성을 유지함을 증명한다. 예시로는 Q가 {1,2}에서 균등하게 선택되는 경우, Q가 기하분포인 경우 등을 들어 λ가 충분히 크면 정리의 가정이 만족됨을 확인한다. 특히, Example 1.6에서는 Q가 로그‑볼록이면 λ≥n·Q(2)/