[논문 리뷰] Weak and Strong Convergence of Algorithms for the Split Common Null Point Problem

Charles L. Byrne, Yair Censor외 2명|arXiv (Cornell University)|2011. 08. 30.

Optimization and Variational Analysis참고 문헌 37인용 수 111

한 줄 요약

이 논문은 힐버트 공간 내 다가치 최대단조사상에 대해 분할 공통 영점 문제(Split Common Null Point Problem, SCNPP)를 도입하며, 이를 통해 분할 변동부등식 문제(Split Variational Inequality Problem)를 일반화한다. 적절한 조건 하에서 해로 향하는 약한 수렴과 강한 수렴을 달성하는 세 가지 반복 알고리즘을 제안하며, 선형 변환을 동반한 단조 포함 문제의 수렴 이론을 확장한다.

ABSTRACT

We introduce and study the Split Common Null Point Problem (SCNPP) for set-valued maximal monotone mappings in Hilbert space. This problem generalizes our Split Variational Inequality Problem (SVIP) [Y. Censor, A. Gibali and S. Reich, Algorithms for the split variational inequality problem, Numerical Algorithms, accepted for publication, DOI 10.1007/s11075-011-9490-5]. The SCNPP with only two set-valued mappings entails finding a zero of a maximal monotone mapping in one space, the image of which under a given bounded linear transformation is a zero of another maximal monotone mapping. We present three iterative algorithms that solve such problems in Hilbert

연구 동기 및 목표

• 다가치 최대단조사상에 대해 분할 변동부등식 문제(Split Variational Inequality Problem, SVIP)를 일반화하기 위해 분할 공통 영점 문제(Split Common Null Point Problem, SCNPP)를 도입한다.
• 한 힐버트 공간 내에서 최대단조사상의 영점을 찾는 문제에 도전하며, 그 영상이 다른 공간 내 다른 최대단조사상의 영점이 되도록 하는 문제를 다룬다.
• 힐버트 공간 내에서 SCNPP의 해로 수렴하는 반복 알고리즘을 개발한다.
• 적절한 조건 하에서 제안된 알고리즘에 대해 약한 수렴과 강한 수렴 결과를 확립한다.

제안 방법

• 두 개의 최대단조사상과 두 힐버트 공간 사이의 유계 선형 연산자를 포함하는 단조 포함 문제로 SCNPP를 수식화한다.
• 다가치 연산자에 대한 크라스노셀스키-만 반복법과 전진-뒤로 스플리팅 방법을 기반으로 세 가지 반복 알고리즘을 제안한다.
• 최대단조사상과 관련된 해석자 연산자를 활용하여 알고리즘 단계에서 포함 조건을 처리한다.
• 수렴 성질과 안정성을 향상시키기 위해 반복 체계에 유연성 조절 파라미터를 통합한다.
• 해결 공간의 첫 번째 단조 포함 문제의 해를 두 번째 공간으로 매핑하기 위해 유계 선형 연산자를 활용하여 분할 구조와의 일致성을 확보한다.
• 비확장 사상의 성질과 알고리즘에 의해 생성된 수열의 반분산수렴 성질을 이용하여 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 분할 변동부등식 문제는 힐버트 공간 내 다가치 최대단조사상으로 일반화될 수 있는가?
• RQ2 해결된 분할 공통 영점 문제를 해결하기 위해 어떤 반복 알고리즘이 설계될 수 있는가?
• RQ3 이러한 알고리즘이 약한 수렴 또는 강한 수렴을 달성하기 위한 조건은 무엇인가?
• RQ4 유계 선형 연산자의 포함이 반복 체계의 수렴 행동에 어떤 영향을 미치는가?
• RQ5 제안된 알고리즘은 다수 또는 더 복잡한 단조 포함 구조를 다룰 수 있도록 확장될 수 있는가?

주요 결과

• 제안된 알고리즘은 최대단조사상과 유계 선형 연산자에 대한 표준 가정 하에서 SCNPP의 해로 향해 약한 수렴을 달성한다.
• 추가 조건, 예를 들어 유계 수열의 존재 또는 특정 유연성 조절 파라미터의 사용이 있을 경우 강한 수렴이 확립된다.
• 기존의 분할 변동부등식 문제를 위한 방법을 다가치 연산자로 확장함으로써 알고리즘을 일반화한다.
• 수렴 결과는 힐버트 공간에서 유효하므로, 광범위한 단조 포함 문제에 적용 가능하다.
• 해석자 연산자와 전진-뒤로 스플리팅 프레임워크의 활용은 다가치 성격을 가진 단조사상의 효과적 처리를 가능하게 한다.
• 이론적 프레임워크는 공간 간 선형 결합이 있는 복잡한 단조 탐색 문제를 해결하기 위한 기초를 제공한다.