[논문 리뷰] Series of convex functions: subdifferential, conjugate and applications to entropy minimization

S. Schuh, Constantin Zălinescu|arXiv (Cornell University)|2015. 06. 03.

Optimization and Variational Analysis참고 문헌 3인용 수 9

한 줄 요약

이 논문은 국소적으로 볼록인 공간에서 무한 급수의 볼록 함수에 대해 볼록 해석을 확장하여, 이러한 합의 부분미분과 쌍대 함수에 대한 공식을 유도한다. 이러한 결과를 바탕으로 통계역학에서의 엔트로피 최소화 문제를 엄밀히 해결하며, 이산 에너지 준위를 가진 3차원 조화 진동자에 대한 구체적 예시를 제시하고, 부분미분과 쌍대 함수 계산을 통해 최대 엔트로피 분포의 유일성을 증명한다.

ABSTRACT

A formula for the sub\-differential of the sum of a series of convex functions defined on a Banach space was provided by X. Y. Zheng in 1998. In this paper, besides a slight extension to locally convex spaces of Zheng's results, we provide a formula for the conjugate of a countable sum of convex functions. Then we use these results for calculating the sub\-differentials and the conjugates in two situations related to entropy minimization, and we study a concrete example met in Statistical Physics.

연구 동기 및 목표

• 형식적인 라그랑주 승수법에 의존하는 경향이 있는 통계역학에서의 엔트로피 최소화 문제를 엄밀히 다루기 위해.
• 1998년 X. Y. 정의 무한 급수의 볼록 함수 부분미분에 대한 결과를 국소적으로 볼록인 공간으로 일반화하기 위해.
• 가산 합의 볼록 함수에 대한 쌍대 공식을 유도하여, 무어의 정리를 무한 합으로 일반화하기 위해.
• 이론적 결과를 실제 물리 모델에 적용하기 위해: 이산 에너지 준위를 가진 3차원 조화 진동자.
• 표준적인 $ L^p $-공간 방법이 유한 측도 공간이 아닌 경우 실패할 수 있음에도 불구하고, 최대 엔트로피 분포가 어떻게 유일하게 도달되는지 밝히기 위해.

제안 방법

• 국소적으로 볼록인 공간에서 집합의 정상 수렴을 사용하여 볼록 함수 급수의 수렴을 보장한다.
• 펜헬-모레의 정리와 쌍대 함수 계산을 적용하여 가산 합의 볼록 함수의 쌍대 함수를 도출한다.
• 국소적으로 볼록인 공간에서 볼록 함수 급수의 부분미분 공식을 활용하여 정의의 결과를 확장한다.
• 엔트로피 함수수 $ h(x,y) = e^x [f(y)]^3 $ 에서 $ f(y) = 1 + \sum_{n\geq 2} e^{(n^2-1)y} $ 를 분석하고, 쌍대 변수에 대한 상한을 통해 그 쌍대 함수를 계산한다.
• 최소 엔트로피를 확률 분포가 모멘트 제약 조건을 만족하는 조건에서의 최소 볼록 합성으로 표현하기 위해 레지오-펜헬 변환을 사용한다.
• 부분미분 조건 $ \partial h(\text{int}(\text{dom} h)) = \text{int}(\text{dom} h^*) $ 를 통한 해의 검증을 통해 최적성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 국소적으로 볼록인 공간에서 무한 급수의 볼록 함수 부분미분은 어떻게 특징지을 수 있는가?
• RQ2 가산 합의 볼록 함수의 쌍대 함수는 무엇이며, 이는 어떻게 무어의 정리를 일반화하는가?
• RQ3 이산 에너지 준위를 가진 3차원 조화 진동자에 대해 형식적인 라그랑주 승수법에 의존하지 않고도 최대 엔트로피 분포를 엄밀히 유도할 수 있는가?
• RQ4 왜 표준적인 $ L^p $-기반 방법은 이 엔트로피 최소화 문제에서 실패하며, 볼록 해석은 이를 어떻게 극복하는가?
• RQ5 무한 차원의 모멘트 제약 조건 하에서 엔트로피 최소화 문제의 최소화자 존재성과 유일성을 보장하는 조건은 무엇인가?

주요 결과

• 엔트로피 함수수 $ h(x,y) = e^x [f(y)]^3 $ 의 쌍대 함수는 $ v \geq 3u > 0 $ 에서 $ h^*(u,v) = u(\ln u - 1) + 3u(\ln f)^*(v/(3u)) $ 로 주어지며, $ u = 0 \leq v $ 일 경우 $ h^*(u,v) = 0 $ 이고, 그 외의 경우 $ \infty $ 이다.
• 최소 엔트로피는 $ (\overline{u}_{k,l,m}) = \frac{u}{[f(y)]^3} e^{(k^2+l^2+m^2)y} $ 에서 유일하게 도달하며, 여기서 $ y < 0 $ 은 $ v/u = 3f'(y)/f(y) $ 를 만족하는 해이다. $ (u,v) \in \text{int}(\text{dom} h^*) $ 일 때 성립한다.
• 특수한 경우 $ v = 3u \geq 0 $ 에서 최소화자는 유일하며, 이는 $ u_{1,1,1} = u $, 나머지 $ u_{k,l,m} = 0 $ 인 경우에 해당하여, 해 구조에 급격한 전이가 발생함을 보여준다.
• $ v = 3u $ 의 경우 해는 형식적인 라그랑주 승수법로는 도달할 수 없으며, 이는 엄밀한 볼록 해석의 필요성을 강조한다.
• 함수 $ h $ 의 부분미분은 $ \partial h(\text{int}(\text{dom} h)) = \text{int}(\text{dom} h^*) $ 를 만족하여 최적성과 최소화자의 유일성을 확인한다.
• 기본 측도 공간의 총 측도가 무한한 비-$ L^p $-공간 설정에서 작동하므로, 보르벡형 접근법의 한계를 넘어서는 방법을 제공한다.