[논문 리뷰] A Generalized Block-Iterative Projection Method for the Common Fixed Point Problem Induced by Cutters

Yair Censor, Daniel Reem외 1명|arXiv (Cornell University)|2022. 04. 20.

Optimization and Variational Analysis참고 문헌 43인용 수 5

한 줄 요약

이 논문은 연속 커퍼(continuous cutter)의 가족에 대해 일반 고정점 문제(common fixed point problem, CFPP)를 해결하기 위해 블록 반복 사영(BIP) 방법을 일반화한다. 이는 수직 사영과 하향 기울기 사영을 포함한 연속 커퍼의 가족에 대해 적용 가능하다. 제안된 알고리즘은 가중치 함수에 대한 약한 조건 하에서 일반적인 수렴(global convergence)을 보장하며, 순차적, 동시적, 또는 블록 반복 방식의 유연성을 유지한다. 또한 새로운 편향 Fejér 단조성 보조정리에 의해 적응형 편향에 대해 강건함을 입증한다.

ABSTRACT

The block-iterative projections (BIP) method of Aharoni and Censor [Block-iterative projection methods for parallel computation of solutions to convex feasibility problems, Linear Algebra and its Applications 120, (1989), 165--175] is an iterative process for finding asymptotically a point in the nonempty intersection of a family of closed convex subsets. It employs orthogonal projections onto the individual subsets in an algorithmic regime that uses "blocks" of operators and has great flexibility in constructing specific algorithms from it. We extend this algorithmic scheme to handle a family of continuous cutter operators and to find a common fixed point of them. Since the family of continuous cutters includes several important specific operators, our generalized scheme, which ensures global convergence and retains the flexibility of BIP, can handle, in particular, metric (orthogonal) projectors and continuous subgradient projections, which are very important in applications. We also allow a certain kind of adaptive perturbations to be included, and along the way we derive a perturbed Fej\'er monotonicity lemma which is of independent interest.

연구 동기 및 목표

• 블록 반복 사영(BIP) 방법을 수직 사영을 초월하여 넓은 범위의 연속 커퍼 연산자에 적용할 수 있도록 확장한다.
• 연속 커퍼의 가족에 대해 일반 고정점 문제(CFPP)를 해결하며, 이는 볼록 가능성 문제를 일반화한다.
• 가중치 함수에 대한 약한 조건 하에서 반복적 절차가 공통 고정점으로 전역 수렴함을 보장한다.
• 반복 과정에 적응형 편향을 통합하면서도 수렴성을 유지하여 노이즈와 계산 오차에 대한 내성을 입증한다.
• 커퍼 및 그 완화된 변형에 적용 가능한 새로운 편향 Fejér 단조성 보조정리를 수립한다.

제안 방법

• 알고리즘은 각 반복 단계에서 현재 반복값에 대해 연속 커퍼 연산자의 완화된 볼록 조합을 적용하는 블록 반복 체계를 사용한다.
• 각 블록의 연산자는 순환적 또는 적응적으로 적용되며, 반복 횟수에 따라 변화하는 동적 가중치를 사용한다.
• 수직 사영을 연속 커퍼로 대체함으로써 BIP를 일반화하며, 이는 하향 기울기 사영 및 단조 연산자의 해석기를 포함한다.
• 적응형 편향 하에서 수렴성을 분석하기 위해 편향 Fejér 단조성 보조정리를 유도한다.
• 수렴 분석은 일반화된 Fejér 단조성 프레임워크에 기반하며, 수렴점의 국소화를 위해 닫힌 구를 사용한다.
• 각 색인에 대해 반복 횟수에 따른 가중치 합이 발산하면, 알고리즘이 공통 고정점 집합으로 전역 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 BIP 방법은 수직 사영을 초월하여 연속 커퍼 연산자까지 일반화될 수 있는가?
• RQ2 반복 과정에 편향이 도입될 경우, 일반화된 알고리즘이 여전히 전역 수렴성을 유지하는가?
• RQ3 반복 수열이 일반 해 집합이 아닌 공통 고정점 집합으로 수렴하는 조건은 무엇인가?
• RQ4 커퍼의 편향 Fejér 단조성을 공식적으로 어떻게 확립할 수 있는가?
• RQ5 수렴을 보장하는 데 필요한 최소한의 가중치 함수 및 제어 전략의 가정은 무엇인가?

주요 결과

• 제안된 알고리즘은 CFPP의 일반 해로 반복 수열이 전역 수렴함을 보장하며, 약한 조건 하에서는 이 해가 공통 고정점 집합과 일치한다.
• 각 색인에 대해 반복 횟수에 따른 가중치 합이 발산하면, 공통 고정점 집합으로의 전역 수렴이 보장되며, 이 조건은 반복적, 균일적, 주기적 제어와 같은 많은 실용적 경우에서 성립한다.
• 알고리즘은 노이즈나 계산 오차에서 기인하는 적응형 편향, 심지어 슈퍼리어레이션 방법에 의해 의도적으로 도입된 편향에도 강건하다.
• 새로운 편향 Fejér 단조성 보조정리를 확립하여, 커퍼의 준비수축성(quasi-nonexpansivity)이 특정한 편향 하에서도 유지됨을 보였다.
• 이전에는 수렴에 필수적이라 여겨졌던 가중치 수열의 '공정성(fairness)' 조건은 증명 과정에서 사용되지 않아 불필요함이 밝혀졌다.
• 무한차원 공간과 비연속 커퍼로의 확장에 대해 논의하였으며, 주요 과제로는 순차적 컴팩트성의 부재와 유계성 조건의 필요성이 지적되었다.