베이지안 D 최적 설계 계산을 위한 곱셈 알고리즘의 단조성 증명

초록

본 논문은 베이지안 D-최적 설계 문제를 해결하기 위한 곱셈 알고리즘에 대해, 마이너라이제이션‑맥시마이제이션(MM) 원리를 적용하여 알고리즘의 단조성(목표 함수값이 매 반복마다 비감소함)을 엄밀히 증명한다. 이를 통해 2008년 Dette·Pepelyshev·Zhigljavsky가 제시한 단조성 추측을 해결하고, 수렴성 보장을 강화한다.

상세 분석

베이지안 D-최적 설계는 파라미터 사전분포를 고려한 정보 행렬의 기대값(det M(ξ))을 최대화하는 설계 ξ를 찾는 문제이다. 기존의 비베이지안 D-최적 설계에서는 Kiefer‑Wolfowitz 곱셈 알고리즘이 단조성을 보이며 널리 사용되었지만, 베이지안 경우에는 사전분포에 대한 적분이 포함돼 복잡도가 크게 증가한다. Dette·Pepelyshev·Zhigljavsky(2008)는 베이지안 D-최적 설계에 대한 곱셈 업데이트 식을 제안했으며, 실험적으로는 단조성을 관찰했지만 일반적인 증명은 제시하지 못했다.

본 논문은 Lange, Hunter, Yang(2000)의 MM 프레임워크를 도입한다. MM 방법은 현재 설계 ξ⁽ᵏ⁾에 대해 목표 함수 φ(ξ)=log det Eπ