부분불변 커널 동역학과 결함 구조

초록

양의 정부호 커널 K를 유한 개 자기지도 ϕ₁,…,ϕₘ에 따라 끌어올린 뒤, 분지 연산자 L이 만족하는 부분불변 부등식 LK≥K를 전제로 한다. 반복 적용으로 커널 타워 K₀,K₁,…가 생성되고, 각 단계의 차이 Dₙ=Kₙ₊₁−Kₙ를 결함 커널이라 한다. 대각선 유계 조건 하에 Kₙ은 점wise 증가하여 최소 L‑불변 상한 K∞에 수렴한다. K∞는 결함 공간들의 직합으로 구현되며, 원래 커널 K는 K∞ 안에서 양자화된 압축 A에 의해 재현된다. 대각선 값 uₙ(s)=Kₙ(s,s)는 트리형 브랜칭 연산자 P에 의해 전파되며, 그 상한 h∞는 최소 P‑조화 상한으로서 유한 영역과 발산 영역을 구분한다. 또한 결함 타워는 가우시안 마팅게일의 예측 이차 변동으로 해석되고, 정규화된 결함은 Doob 변환을 통한 경계 측정 µₛ와 연결된다.

상세 분석

논문은 먼저 양의 정부호 커널 K와 유한 집합 {ϕ₁,…,ϕₘ}가 정의된 임의의 집합 X 위에서, 분지 연산자 L:J↦∑_{i=1}^{m}J∘(ϕ_i,ϕ_i) 를 도입한다. 핵심 가정인 부분불변 부등식 LK≥K는 결함 커널 D:=LK−K가 양의 정부호임을 의미한다. 이때 Kₙ₊₁:=LKₙ 로 정의되는 커널 타워는 단조 증가하고, Dₙ:=Kₙ₊₁−Kₙ= LⁿD 로 전개된다. 대각선 유계 조건 supₙKₙ(s,s)<∞ (∀s∈X) 가 주어지면, 각 유한 부분집합에 대한 Gram 행렬이 단조 증가하면서 유계이므로 강한 연산자 노름에서 수렴한다. 따라서 점wise 한계 K∞(s,t)=limₙKₙ(s,t) 가 존재하고, K∞≥K, LK∞=K∞ 를 만족한다. 최소성은 “L‑불변 상한 중 최소”라는 형태로 증명되며, 이는 임의의 L‑불변 커널 J≥K 가 K∞ 이하임을 뜻한다.

결함 구조는 RKHS Dₙ의 직합 E:=H_K⊕⊕{n≥0}H{Dₙ} 로 구현된다. 각 s∈X에 대해 v(s):=K_s⊕⊕_{n≥0}(Dₙ)_s 를 정의하면, ⟨v(s),v(t)⟩_E=K∞(s,t) 가 된다. 좌표 사영 P₀:E→H_K 로부터 양의 수축 A:=P₀^*P₀ 를 잡으면 K(s,t)=⟨v(s),A v(t)⟩_E 가 되어 K는 K∞ 안에서 RN‑압축 형태로 재현된다. 이는 연산자 대수에서의 완전 양수 지도 사이의 Radon‑Nikodym 파생과 직접적인 유사성을 가진다.

대각선 동역학을 살펴보면 uₙ(s)=Kₙ(s,s) 가 비음함수 공간에서 P u:=∑_{i=1}^{m}u∘ϕ_i 로 전파된다. 따라서 uₙ=Pⁿ u₀이며, h∞(s)=supₙ uₙ(s) 가 최소 P‑조화 상한이 된다. h∞가 유한한 점들의 집합 X_fin 은 K∞가 대각선에서 유한하게 정의되는 영역이며, 그 외에서는 uₙ(s) 가 단조 발산한다. 논문은 Lyapunov‑type 감소 조건과 가지 수 카운팅을 이용한 비감소 기준을 제시해 X_fin 을 판단하는 실용적 기준을 제공한다.

확률론적 해석에서는 가우시안 과정 G_N을 구성해 Cov(G_N)=K_N 로 두고, M_N:=G_N−G_{N−1} 를 차례로 더하면 (M_N) 가 서로 직교인 마팅게일 차분을 이룬다. 이 마팅게일의 예측 이차 변동이 바로 결함 타워 (Dₙ) 이다. Gram 행렬이 유계이면 M_N 은 L²‑수렴하고, 극한 공분산이 K∞ 가 된다. 또한 압축 연산 A 가 두 가우시안 구조 사이의 RN‑도함으로 해석된다.

마지막으로 경계 표현을 위해 심볼릭 경계 Ω={1,…,m}^ℕ 을 도입하고, 최소 조화 상한 h∞ 로부터 Doob 변환된 마코프 측도 μ_s 를 정의한다. 이 측도들은 K∞와 Dₙ 를 L²‑경계 Gram 커널 형태로 나타내는 “경계 특징 맵”을 제공한다. 따라서 부분불변 부등식은 커널 수준에서의 구조적 강직성을 강제하고, 연산자 이론, 트리 위 포텐셜 이론, 가우시안 RKHS 이론과 자연스럽게 연결된다.