무한 차원 힐베르트 공간에서 완화 투영 궤도 유계성 확장

초록

본 논문은 유한 개의 아핀 부분공간 집합에 대해, 해당 평행 선형 부분공간이 ‘선천적 정규성(innate regularity)’을 만족하면, 임의의 완화 투영 연쇄에 의해 생성되는 궤도가 힐베르트 공간(유한·무한 차원 모두)에서 유계임을 증명한다. 기존 Meshulam의 유한 차원 결과를 차원 대신 부분공간 개수에 대한 귀납법으로 일반화하고, 이를 무작위 블록 카자즈(Kaczmarz) 방법과 연결한다.

상세 분석

Meshulam(1996)은 유한 차원 유클리드 공간에서, 유한 개의 아핀 부분공간을 무작위로 선택해 완화 투영을 반복하면 생성되는 점열이 교집합이 비어 있더라도 유계임을 보였다. 그의 증명은 공간 차원에 대한 귀납에 의존해 무한 차원으로는 확장되지 않는다. 본 논문은 이 한계를 극복하기 위해 ‘선천적 정규성(innate regularity)’이라는 가정을 도입한다. 선천적 정규성은 모든 부분집합이 정규(regular)함을 의미하며, 이는 유한 차원에서는 자동으로 만족한다. 핵심 아이디어는 차원이 아니라 아핀 부분공간의 개수 ℓ에 대해 귀납을 수행하는 것이다.

먼저, 선형 부분공간 L에 대한 기본적인 투영 성질(Fact 2.1~2.5)과 각도·사인·코사인 관계를 정리하고, 정규성 정의(Def 2.6)와 선천적 정규성(Def 2.9)을 소개한다. 정규성은 ∑ L⊥가 닫힌다는 등 등가조건을 갖는다. Proposition 3.1에서는 ‘사이클(cycle)’이라는 개념을 도입해, 하나의 사이클이 포함된 연쇄 Q에 대해 ‖Q P_{L⊥}‖<1인 상수가 존재함을 보인다. 이는 완화 투영 연쇄가 각 단계마다 일정 비율로 거리 감소함을 의미한다.

주요 정리인 Theorem 4.2는 고정된 완화 파라미터 λ∈(0,2)와 선천적 정규성을 가정하면, 임의의 아핀 부분공간 선택열 (A_n)과 초기점 x₀에 대해 생성된 점열 (x_n)이 ‖∑{j=0}^{n}R_n…R{j+1}a_j‖를 일정 상수 C_{A,λ} 이하로 억제한다는 것을 보인다. 증명은 ℓ=1인 경우는 직접 계산으로, ℓ≥2인 경우는 ℓ보다 작은 부분집합에 대한 귀납 가정과 사이클 분해를 이용한다. 사이클이 없는 구간은 정규성에 의해 유계가 되고, 사이클이 포함된 구간은 Proposition 3.1의 수축 계수를 이용해 전체 합이 유계임을 확보한다. 결과적으로 ‖x_n‖≤‖x₀‖+λ C_{A,λ}가 성립한다.

마지막으로, 섹션 5에서는 이 결과를 무작위 블록 Kaczmarz 방법과 연결한다. 각 아핀 부분공간이 하나의 방정식(또는 방정식 집합)이라면, 완화 투영은 Kaczmarz 업데이트와 동일하며, 선천적 정규성은 방정식 행렬의 행공간이 충분히 ‘일반 위치’에 있음을 의미한다. 또한, 정규성 없이도 수렴이 실패하는 예시(예 5.3)를 제시해 가정의 필요성을 강조한다. 전체적으로, 본 논문은 Meshulam의 유한 차원 결과를 무한 차원 힐베르트 공간으로 확장하면서, 정규성이라는 자연스러운 기하학적 조건을 통해 수렴·유계성을 보장한다는 점에서 이론적·실용적 의미가 크다.