[논문 리뷰] On the Properties of Convex Functions over Open Sets

Yoel Drori|arXiv (Cornell University)|2018. 12. 06.

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

한 줄 요약

이 논문은 열린 볼록 집합 위에서 정의된 $L$-스무쓰한 볼록 함수를 연구하며, 비제약 최적화에서 고전적인 부등식 (2)가 이러한 함수에 대해 일반적으로 성립하지 않음을 보여준다. 이는 1-스무쓰한 볼록 함수가 열린 정역에서도 부등식 (2)를 위반할 수 있음을 보여주는 반례를 구성함으로써 입증된다. 또한 열린 집합에 대해 더 강력한 내림의 보조정리(Descent Lemma)를 도출하고, 제약 최적화 문제의 날카운 수치적 경계를 근사하는 데 사용 가능한 실현 가능한 부등식 시스템을 제안한다.

ABSTRACT

We consider the class of smooth convex functions defined over an open convex set. We show that this class is essentially different than the class of smooth convex functions defined over the entire linear space by exhibiting a function that belongs to the former class but cannot be extended to the entire linear space while keeping its properties. We proceed by deriving new properties of the class under consideration, including an inequality that is strictly stronger than the classical Descent Lemma.

연구 동기 및 목표

• 열린 볼록 집합 위에서 정의된 $L$-스무쓰한 볼록 함수와 전체 공간 $\mathbb{R}^d$ 위에서 정의된 함수 사이의 구조적 차이를 조사하는 것.
• 도메인이 $\mathbb{R}^d$일 때 성립하는 것으로 알려진 고전적 부등식 (2)가 열린 집합 위의 함수에 대해서도 성립하는지 여부에 대한 열린 질문을 다루는 것.
• 열린 볼록 정역을 가정할 때, 내림의 보조정리의 엄밀히 더 강력한 형태를 도출하는 것.
• 제약 최적화 문제에 대해 날카운 수치적 경계를 근사할 수 있도록, 선분 위에서 $L$-스무쓰한 볼록 함수에 의해 실현 가능한 부등식 시스템을 개발하는 것.

제안 방법

• 네 개의 이차 함수 성분 $F_1, F_2, F_3, F_4$를 사용하여 열린 반평면 위에 정의된 조각별 이차 함수 $F$를 구성하고, $C^1$ 연속성과 볼록성을 확보하는 것.
• 구성된 함수 $F$가 정의역 전체에서 1-스무쓰하고 볼록하지만, 특정 점 $x = (0,0)^T$와 $y = (2,0)^T$에서 부등식 (2)를 위반함을 증명함으로써 반례로 기능하는 것.
• 정의역의 열린 성질과 국소적 스무쓰함 성질을 활용하여, 고전적 내림의 보조정리보다 엄밀히 더 강력한 새로운 부등식을 도출하는 것.
• 선분 위에서 $L$-스무쓰한 볼록 함수의 필요 조건을 포괄하는 수치 최적화 프로그램 $U_N$을 구성함. 이는 이산적인 점들과 기울기 값들을 사용한다.
• 볼록 보간과 윌리엄슨의 확장 정리를 이용하여, $U_N$의 타당한 해로부터 전역적으로 $L$-스무쓰하고 볼록한 함수를 구성함으로써 실현 가능성의 보장을 확보하는 것.
• 결과로 도출된 $U_N$의 수치적 경계를 기존의 분석적 경계와 비교하여, 수치 근사에 의한 더 날카운 경계가 도출됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 고전적 부등식 (2)가 $\mathbb{R}^d$ 위에서 $L$-스무쓰한 볼록 함수에 대해 성립하는 것과 마찬가지로, 열린 볼록 집합 위에서 정의된 함수에 대해서도 성립하는가?
• RQ2 전역적으로 $C^1$이면서 스무쓰한 함수가 열린 집합 위에서 정의된 경우, 부등식 (2)를 위반할 수 있는가?
• RQ3 열린 볼록 집합 위에서 정의된 $L$-스무쓰한 볼록 함수에 대해, 내림의 보조정리의 엄밀히 더 강력한 형태가 존재하는가?
• RQ4 선분 위에서 $L$-스무쓰한 볼록 함수에 의해 실현 가능한 부등식 시스템을 구성할 수 있는가? 이는 제약 최적화 문제에 대해 날카운 수치적 경계를 도출하는 데 기여한다.
• RQ5 제안된 시스템에서 도출된 수치적 경계는 기존의 분석적 경계와 비교해 보았을 때, 날카움과 근사 품질 측면에서 어떻게 다른가?

주요 결과

• 논문은 $\mathbb{R}^2$로의 연장이 $L$-스무쓰함과 볼록성을 유지하지 못하는 열린 반평면 위에 정의된 1-스무쓰하고 볼록한 함수 $F$를 구성함으로써, 열린 집합과 전체 공간 설정 간의 근본적인 차이를 입증한다.
• 함수 $F$는 $x = (0,0)^T$와 $y = (2,0)^T$에서 부등식 (2)를 위반함을 보여, 고전적 부등식이 열린 집합 위의 함수에 대해 일반적으로 성립하지 않음을 입증한다.
• 고전적 내림의 보조정리보다 엄밀히 더 강력한 새로운 부등식이 도출되었으며, 이는 열린 볼록 집합 위에서 정의된 $L$-스무쓰한 볼록 함수에 대해 유효하다.
• 제안된 부등식 시스템 $U_N$은 선분 위에서 정의된 $L$-스무쓰하고 볼록한 함수에 의해 실현 가능하며, 타당한 해가 실제 함수에 대응됨을 보장한다.
• $U_N$의 최적값에 대한 수치 근사를 통해 도출된 경계는 비교를 통해 기존의 분석적 경계보다 더 날카로움을 입증하였다.
• 윌리엄슨의 확장 정리를 통한 구성은, $U_N$의 임의의 타당한 해가 $\mathbb{R}^d$ 전체에서 전역적으로 $L$-스무쓰하고 볼록한 함수로 확장될 수 있음을 보장하므로, 시스템의 실현 가능성에 대한 확실한 근거를 제공한다.