[논문 리뷰] Some remarks on the staircasing phenomenon in total-variation based image denoising

Khalid Jalalzai|arXiv (Cornell University)|2014. 02. 01.

Medical Image Segmentation Techniques참고 문헌 18인용 수 4

한 줄 요약

이 논문은 총변동(TV)-기반 영상 노이즈 제거에서 인위적으로 생성된 조각별로 일정한 영역인 계단현상(staircasing phenomenon)이 노이즈가 있는 입력 데이터와 노이즈 제거된 영상의 최소화자(minimizer)의 국소 및 전역 극값에서 필수적으로 발생함을 입증한다. 또한 원형 영상의 경우, 계단현상은 극값과 영상 경계에서 발생하며, ROF 노이즈 제거 모델과 원형 케이스에서의 TV 플로우 사이의 등가성(equivalence)을 보여주어 정규화 파rameter λ에 따라 계단 영역과 불연속성의 변화를 분석할 수 있도록 한다.

ABSTRACT

This paper deals with the so-called staircasing phenomenon, which frequently arises in total variation based denoising models in image analysis. We prove in particular that staircasing always occurs at global extrema of the datum and at all extrema of the minimizer. It is also shown that, for radial images, the staircasing always appears at the extrema and at the boundary of the image. We also prove the equivalence between the denoising model and the total variation flow, in the radial case, thus extending a previous result in dimension one. This equivalence cannot hold in the nonradial case, as it is shown with a counterexample. This connection allows us to understand how the staircase zones and the discontinuities of the denoising problem evolve with the regularization parameter.

연구 동기 및 목표

• 연속적인 총변동 기반 영상 노이즈 제거에서 계단현상의 근본 원인과 필연성을 분석하기 위해.
• ROF 노이즈 제거 모델과 총변동 플로우 사이의 등가성이 고차원에서 성립하는지 조사하기 위해.
• 연속적인 설정에서 정규화 파rameter λ에 따라 계단 영역과 불연속성의 변화 양상을 이해하기 위해.
• 기존의 일차원 결과를 고차원 연속 케이스, 특히 원형 데이터에 대해 확장하기 위해.

제안 방법

• Euler-Lagrange 방정식과 BV 함수의 성질을 이용하여, 자료와 최소화자의 국소 및 전역 극값에서 항상 계단현상이 발생함을 증명한다.
• 공역식(coarea formula)과 원형 최소화자의 구조를 통해 원형 케이스에서 ROF 노이즈 제거 모델과 TV 플로우 사이의 연결 고리를 설정한다.
• 등가성을 활용하여 단조성 성질을 도출한다: 불연속성은 감소하는 수열을 이루고, 계단 영역은 λ이 증가함에 따라 커진다.
• Allard의 반례를 제시하여 비원형 함수에 대해서는 ROF–TV 플로우 등가성이 일반적으로 성립하지 않음을 보여준다.
• TV 플로우 이론에서 알려진 결과(예: 불연속성 집합의 포함 원리)를 원형 설정에서 ROF 모델에 적용한다.
• 변분 분석과 총변동 함수의 초미분 이론을 활용하여 최소화자의 구조를 특성화한다.

실험 결과

연구 질문

• RQ1 연속적인 TV 기반 노이즈 제거 모델에서 입력 데이터와 노이즈 제거된 영상의 극값에서 항상 계단현상이 발생하는가?
• RQ2 특히 원형 함수에 대해서는 ROF 노이즈 제거 모델과 총변동 플로우 사이에 등가성이 존재하는가?
• RQ3 정규화 파arameter λ가 증가함에 따라 계단 영역의 크기와 불연속성의 위치는 어떻게 변화하는가?
• RQ4 일차원에서 관찰된 불연속성 집합과 계단 영역의 단조성은 고차원의 원형 영상으로까지 확장 가능한가?
• RQ5 원형 대칭은 ROF 노이즈 제거와 TV 플로우 사이의 등가성을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 연속적인 ROF 모델에서 노이즈가 있는 입력 데이터의 국소 및 전역 극값과 최소화자의 모든 극값에서 항상 계단현상이 발생한다.
• 원형 영상의 경우, 원형 대칭성과 최소화자의 구조로 인해 극값과 영상 경계에서 계단현상이 발생한다.
• 원형 케이스에서 ROF 노이즈 제거 모델과 총변동 플로우 사이의 등가성이 입증되었으며, 이는 일차원에서 알려진 결과를 확장한 것이다.
• 정규화 파arameter λ가 증가함에 따라 최소화자에서의 불연속성 집합은 감소하는 수열을 이룬다. 반면 계단 영역의 크기는 커진다.
• 포함 원리(inclusion principle)가 성립한다: μ > λ ≥ 0일 때, |zλ| < λ 인 집합은 μ에 대한 해당 집합에 포함되며, 이는 더 큰 λ에서 더 큰 평탄한 영역이 생김을 의미한다.
• Allard의 반례는 비원형 함수에 대해서는 ROF–TV 플로우 등가성이 일반적으로 성립하지 않음을 보여주며, 이 등가성의 성립을 위해 원형 대칭이 필수적임을 강조한다.