[논문 리뷰] Most Convex Functions Have Unique Minimizers

Chayne Planiden, Xianfu Wang|arXiv (Cornell University)|2014. 10. 04.

Optimization and Variational Analysis참고 문헌 8인용 수 6

한 줄 요약

이 논문은 Baire 범주 이론의 의미에서, R^n 상에서의 대부분의 적절하고 볼록이며 하부연속 함수들은 유일한 최소화자를 가진다. 완비 거리공간으로서의 근접 사상의 집합을 구성하고, 고유한 고정점을 가진 초등규칙적 사상—즉, 고유한 고정점을 가진 사상—이 일반적임을 증명함으로써, 유일한 최소화자를 가진 볼록 함수들의 집합이 일반적임을 보이며, 이는 비유일성이 위상적으로 드문 것으로 나타난다.

ABSTRACT

Finding the minimum and the minimizers of convex functions has been of primary concern in convex analysis since its conception. It is well-known that if a convex function has a minimum, then that minimum is global. The minimizers, however, may not be unique. There are certain subclasses, such as strictly convex functions, that do have unique minimizers when the minimum exists, but other subclasses, such as constant functions, that do not. This paper addresses the question of how many convex functions have unique minimizers. We show, using Baire category theory, that the set of proximal mappings of convex functions that have a unique fixed point is generic. Consequently, the set of classes of convex functions that have unique minimizers is generic.

연구 동기 및 목표

• 모든 적절하고 볼록하며 하부연속 함수들의 공간에서 유일한 최소화자를 가진 볼록 함수들의 집합이 일반적인가를 판단하는 것.
• 측도론적 개념에서의 '대부분' 개념을 Baire 범주 이론을 사용하여 위상론적 개념으로 확장하는 것.
• 근접 사상으로 구성된 완비 거리공간 $(\mathcal{P}, \rho)$를 구축하고, 고유한 고정점을 가진 사상들의 일반성 분석하는 것.
• 근접 사상의 일반성과 고유한 영점이 존재하는 서브미분의 일반성, 그리고 유일한 최소화자를 가진 볼록 함수들의 일반성 간의 연결 고리 설정.
• 결과를 무한차원 공간과 다른 함수론적 접근법으로 확장하기 위한 기초 마련.

제안 방법

• 근접 사상을 기본 대상으로 사용하여 완비 거리공간 $(\mathcal{P}, \rho)$를 구성하는 것.
• 근접 사상 $P_\lambda f(x) = \arg\min_y \left\{ f(y) + \frac{1}{2\lambda}\|y - x\|^2 \right\}$를 중심 연산자로 정의하는 것.
• Moreau 적분 $e_\lambda f(x) = \inf_y \left\{ f(y) + \frac{1}{2\lambda}\|y - x\|^2 \right\}$를 사용하여 함수와 그 근접 사상 간의 연결 고리 설정.
• 수축 사상이 초등규칙적임을 이용하여, 수축 근접 사상들의 집합이 $\mathcal{P}$에서 밀도가 있음을 증명하는 것.
• 수축 사상의 근접을 통해, 고유한 고정점을 가진 초등규칙적 사상들의 집합이 $\mathcal{P}$에서 일반적임을 보이며, 이는 열린 밀집 집합들의 가산 교차임을 증명하는 것.
• 서브미분 공간 $(J,d)$와 $(\mathcal{P}, \rho)$ 사이의等장성(isometry)을 이용하여, 일반성 결과를 서브미분으로 이전하고, 궁극적으로 볼록 함수의 동치류로 이전하는 것.

실험 결과

연구 질문

• RQ1 R^n 상의 모든 적절하고 볼록하며 하부연속 함수들의 공간에서 유일한 최소화자를 가진 볼록 함수들의 집합은 일반적인가?
• RQ2 측도론적 개념 외에도 '대부분'이라는 개념을 위상론적으로 의미 있게 적용할 수 있는가, 즉 Baire 범주 이론을 통해?
• RQ3 모든 근접 사상들의 공간에서 고유한 고정점을 가진 근접 사상들은 일반적인가?
• RQ4 유일한 최소화자를 가진다는 일반성 결과가 근접 사상에서 서브미분과 볼록 함수의 동치류로까지 확장되는가?
• RQ5 결과는 무한차원 힐버트 공간이나 다른 함수 공간으로 확장될 수 있는가?

주요 결과

• 완비 거리공간 $(\mathcal{P}, \rho)$에서 고유한 고정점을 가진 근접 사상들의 집합은 일반적이다. 즉, 열린 밀집 집합들의 가산 교차이다.
• 고유한 고정점을 가진 초등규칙적 사상들의 집합은 $\mathcal{P}$에서 일반적임이 입증되었으며, 이는 수축 사상에 의한 근사화를 통해 확보되었다.
• 적절하고 볼록하며 하부연속 함수들의 서브미분 중 고유한 영점을 가진 집합은 공간 $(J,d)$에서 일반적이다. 이는 $\mathcal{P}$와의 등장성 덕분이다.
• 유일한 최소화자를 가진 볼록 함수의 동치류들의 집합은 공간 $(\mathcal{F}, \tilde{d})$에서 일반적이다. 이는 유일한 최소화자가 위상적으로 일반적임을 확인한다.
• 결과는 등장성에 의해 강건하며, 근접 사상에서 서브미분과 함수 클래스로의 일반성 전이가 가능하다.
• 논문은 최소화자의 비유일성이 위상적으로 무시할 수 있음을 입증하였으며, 비유일한 최소화자를 가진 함수들의 집합은 제1 범주에 속한다.