[논문 리뷰] Equilibrium Problems and Proximal Algorithms in Hadamard Spaces

Poom Kumam, Parin Chaipunya|arXiv (Cornell University)|2018. 07. 28.

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

한 줄 요약

이 논문은 유한 집합의 볼록결합의 컴팩턴스 조건을 요구하지 않고 하다르드 공간에서 평형 문제의 해가 존재함을 증명하며, 일반 하다르드 공간에서 KKM 원리의 성립을 보장한다. 이는 이분함수의 해석형 연산자 기반의 프록시멀 알고리즘을 제안하며, 미묘한 연속성 및 유계성 조건 하에서 해에 대한 Δ수렴을 보여주며, 스텝 크기 선택을 통해 함수값 수렴 속도를 제어 가능하다.

ABSTRACT

In this paper, we consider the equilibrium problems and also their regularized problems under the setting of Hadamard spaces. The solution to the regularized problem is represented in terms of resolvent operators. As an essential machinery in the existence of an equilibrium, we first prove that the KKM principle is attained in general Hadamard spaces without assuming the compactness of the closed convex hull of a finite set. We construct the proximal algorithm based on this regularization and give convergence analysis adequately.

연구 동기 및 목표

• 유한 볼록결합 성질(CHFP)을 가정하지 않고 일반 하다르드 공간으로 KKM 원리를 확장하기.
• 표준 연속성, 볼록성, 강한 강제성 조건 하에서 평형 문제의 해 존재성을 확립하기.
• 하드르드 공간에서 이분함수와 관련된 해석형 연산자 성질을 연구하기.
• 해석형 반복을 이용한 프록시멀 알고리즘을 구성하고 수렴 행동을 분석하기.
• 수렴 보장을 위한 '기울어진 Δ상향연속성' 개념을 도입하고 활용하기.

제안 방법

• 유한 집합의 볼록결합 컴팩턴스를 요구하지 않고, 지오데식 볼록성과 거리 성질을 이용하여 임의의 하다르드 공간에서 KKM 원리를 증명한다.
• 이분함수 $ F $에 대해 해석형 연산자 $ J_{\mu F} $를 정의하고, 이가 단일값이며 강한 비확장임을 보인다.
• 민티 유형의 표현을 통해 원문 및 이중 평형 문제 간의 관계를 수립한다.
• 스텝 크기 $ \lambda_k $가 0으로부터 멀리 떨어져 있음을 보장하면서, $ J_{\lambda_k F} $의 반복적 적용을 통해 프록시멀 알고리즘을 구성한다.
• 하드르드 공간에서의 Δ수렴 분석을 수행하며, 페이저 모노톤성과 약한 클러스터 포인트 추론을 활용한다.
• 표준 연속성 이외의 일반화된 수렴 조건을 확보하기 위해 '기울어진 Δ상향연속성' 개념을 도입한다.

실험 결과

연구 질문

• RQ1 CHFP를 가정하지 않고 일반 하다르드 공간에서 KKM 원리가 성립할 수 있는가?
• RQ2 이분함수 $ F $에 관련된 해석형 연산자 $ J_{\mu F} $가 하다르드 공간에서 잘 정의되고 비확장성을 유지하는 조건은 무엇인가?
• RQ3 하드르드 공간에서 해석형 반복 기반 프록시멀 알고리즘의 수렴 보장 조건은 무엇인가?
• RQ4 기울어진 Δ상향연속성의 개념은 프록시멀 알고리즘의 수렴에 어떤 영향을 미치는가?
• RQ5 함수값 $ \inf_{y\in K} F(x^k, y) \to 0 $의 수렴 속도는 수렴하는 수열 $ (x^k) $와 독립적으로 제어할 수 있는가?

주요 결과

• 모든 하다르드 공간에서 유한 집합의 볼록결합 컴팩턴스 조건 없이도 KKM 원리가 성립한다.
• 표준 연속성 및 볼록성 조건을 만족하는 임의의 이분함수 $ F $에 대해 해석형 연산자 $ J_{\mu F} $는 단일값이며 강한 비확장성을 갖는다.
• 스텝 크기 $ \lambda_k $가 0으로부터 멀리 떨어져 있을 경우, $ x^k = J_{\lambda_k F}(x^{k-1}) $로 정의된 프록시멀 알고리즘은 평형 문제의 해로 Δ수렴한다.
• 함수 $ F $가 기울어진 Δ상향연속성을 만족할 경우, 강한 연속성 조건 없이도 프록시멀 알고리즘이 해로 수렴한다.
• 적절한 스텝 크기를 선택함으로써 함수값 $ \inf_{y\in K} F(x^k, y) $가 임의로 가속하여 0으로 수렴하도록 만들 수는 있으나, 이는 수열 $ (x^k) $ 자체의 빠른 수렴을 의미하지는 않는다.
• 관련 문제에서 벡터장 $ A $의 전사성 조건은 완화될 수 있으나, 해석형 연산자의 정의도메인을 보장하는 데서 그 역할은 여전히 미해결 문제로 남아 있다.