[논문 리뷰] On Log-concavity of the Generalized Marcum Q Function

Yaming Yu|arXiv (Cornell University)|2011. 05. 29.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 8

한 줄 요약

이 논문은 일반화된 Marcum Q 함수 $ Q_{\nu}(a,b) $ 가 $ b \in [0,\infty) $ 에서 로그볼록성임을 보이며, 이는 Sun, Baricz, 그리고 Zhou (2010)의 추측을 확인한다. 증명은 수정 Bessel 함수를 포함하는 피적분함수의 로그볼록성 분석에 기반하며, 비율 $ r_{\nu}(t) = I_{\nu}(t)/I_{\nu-1}(t) $ 를 바탕으로 한 새로운 충분조건을 사용하며, 임계 매개변수 값에 대한 수치적 검증을 수행한다.

ABSTRACT

It is shown that, if nu >= 1/2 then the generalized Marcum Q function Q_nu(a, b) is log-concave in 0<=b

연구 동기 및 목표

• Sun, Baricz, 그리고 Zhou (2010)의 일반화된 Marcum Q 함수 $ Q_{\nu}(a,b) $ 가 $ b $ 에 대해 로그볼록성임을 증명하는 것.
• 적분의 피적분함수가 $ t $ 에 대해 로그볼록성이 되는 충분조건을 설정하여 적분 로그볼록성 정리의 적용을 가능하게 하는 것.
• 모든 $ a \geq 0 $ 에 대해 피적분함수가 $ t $ 에 대해 로그볼록성이 되는 최소 $ \nu $ 값을 식별하는 것, 즉 $ \nu_0 \approx 0.7845 $.
• 결과를 비중앙 $ \chi^2 $ 분포 및 신뢰성 이론과 통계 이론에서의 생존함수에 알려진 성질과 연결하는 것.

제안 방법

• 수정 Bessel 함수의 성질과 그 비율을 사용하여, $ Q_{\nu}(a,b) $ 의 피적분함수 $ f(t) $ 의 $ \log f(t) $ 의 두 번째 도함수를 유도한다.
• Lemma 1을 적용하여 생존함수의 로그볼록성에 대한 충분조건을 적용한다. 이는 모드에서의 단조성, 연속성 및 감소 단계에서의 로그볼록성에 기반한다.
• 함수 $ h_{\nu}(t) = 1 - \frac{2\nu-1}{t^2} - \frac{2\nu-1}{t}r_{\nu}(t) - r_{\nu}^2(t) $ 를 도입하며, $ f(t) $ 가 $ t $ 에 대해 로그볼록임은 $ h_{\nu}(t) \leq 0 $ 이 모든 $ t > 0 $ 에 대해 성립함과 동치임을 보인다.
• 수치적 검증을 통해 $ \nu_0 \approx 0.78449776 $ 의 존재와 값을 확립한다. 이는 $ \frac{I_{\nu}(\sqrt{5-2\nu})}{I_{\nu-1}(\sqrt{5-2\nu})} = \frac{3-2\nu}{\sqrt{5-2\nu}} $ 의 식을 만족하는 $ (1/2, 3/2) $ 내의 유일한 해이다.
• 보조 함수 $ l_{\nu}(t) $ 와 $ h_{\nu}(t) $ 의 부호 변화 및 단조성 분석을 통해 $ \nu \geq \nu_0 $ 인 경우 $ h_{\nu}(t) $ 가 양의 값을 가지지 않음을 제거함으로써 전역적인 로그볼록성을 보장한다.

실험 결과

연구 질문

• RQ1 모든 $ \nu \geq 1/2 $ 에 대해 일반화된 Marcum Q 함수 $ Q_{\nu}(a,b) $ 는 $ b \in [0,\infty) $ 에서 로그볼록성인가?
• RQ2 피적분함수가 $ t \in (0,\infty) $ 에 대해 로그볼록성이 되는 조건은 $ \nu $ 와 $ a $ 에 대해 어떤가?
• RQ3 모든 $ a \geq 0 $ 에 대해 피적분함수가 $ t $ 에 대해 로그볼록성이 되는 최소 $ \nu $ 는 얼마인가?
• RQ4 피적분함수의 로그볼록성에 의해 $ Q_{\nu}(a,b) $ 의 로그볼록성을 확립할 수 있으며, 이 방법의 제약 조건은 무엇인가?
• RQ5 결과는 비중앙 $ \chi^2 $ 분포 및 그 생존함수의 알려진 로그볼록성 성질과 어떻게 관련이 있는가?

주요 결과

• 일반화된 Marcum Q 함수 $ Q_{\nu}(a,b) $ 는 $ b \in [0,\infty) $ 에서 로그볼록성임이 $ \nu \geq 1/2 $ 인 것과 동치이며, Sun, Baricz, 그리고 Zhou (2010)의 추측 1을 확인한다.
• $ \nu \geq 1/2 $ 인 경우, $ Q_{\nu}(a,b) $ 의 피적분함수는 $ t \in (0,\infty) $ 에 대해 로그볼록성임이 $ 0 \leq a \leq 1 $ 일 때에만 성립함을 Proposition 1에서 보여준다.
• 모든 $ a \geq 0 $ 에 대해 피적분함수가 $ t $ 에 대해 로그볼록성이 되는 것은 $ \nu \geq \nu_0 $ 인 경우에만 성립하며, 이때 $ \nu_0 \approx 0.78449776 $ 는 수정 Bessel 함수 비율을 포함하는 식의 $ (1/2, 3/2) $ 내의 유일한 해이다.
• Corollary 1은 $ 1 - Q_{\nu}(a,b) $ 가 $ b $ 에 대해 로그볼록성임을 보이며, 두 조건을 만족할 경우에 성립한다: (i) $ \nu \geq 1/2 $ 이고 $ 0 \leq a \leq 1 $ 이며, 또는 (ii) $ \nu \geq \nu_0 $.
• Corollary 2는 $ \nu = 1 $ 인 경우 라이스 분포의 확률밀도함수, 누적분포함수, 생존함수가 모두 로그볼록성임을 보여주며, 이는 $ Q_1(a,b) $ 가 라이스 분포의 생존함수와 대응하기 때문이다.
• Finner와 Roters (2001)의 정리 3은 현재의 결과와 일치하며, 특히 비중앙 $ \chi^2 $ 분포의 누적분포함수의 로그볼록성에 대해 부분적으로 포함됨을 보여준다.