[논문 리뷰] Local and Global Phaseless Sampling in Real Spline Spaces

Wenchang Sun|arXiv (Cornell University)|2017. 05. 02.

Medical Imaging Techniques and Applications참고 문헌 27인용 수 6

한 줄 요약

이 논문은 실 스퍼인 공간에서 위상 없는 샘플링을 위한 필수 및 필요조건을 설정하여, 부호 없이도 분리 불가능한 함수를 복원할 수 있도록 한다. 국소적 및 전역적 위상 없는 샘플링 수열을 점의 밀도와 분포에 따라 특성화하며, 이러한 수열이 함수를 부호를 제외하고 유일하게 결정함을 증명한다. 유한 구간과 전체 실수선에 대해 필요한 샘플링 점의 명시적 상한을 제공한다.

ABSTRACT

We study the recovery of functions in real spline spaces from unsigned sampled values. We consider two types of recovery. The one is to recover functions locally from finitely many unsigned samples. And the other is to recover functions on the whole line from infinitely many unsigned samples. In both cases, we give characterizations for a sequence of distinct points to be a phaseless sampling sequence, at which any nonseparable function is determined up to a sign on an interval or on the whole line by its unsigned sampled values. Moreover, for the case of local recovery, we also study the almost phaseless sampling and give a necessary and sufficient condition for a sequence of points to admit local recovery for almost all functions.

연구 동기 및 목표

• 실 스퍼인 공간에서 부호 없는 샘플링을 통해 유한 구간에서 분리 불가능한 함수를 국소적으로 복원할 수 있는 샘플링 점 수열의 조건을 규명하는 것.
• 전체 실수선에 있는 함수에 대해 전역적 위상 없는 샘플링 수열이 되기 위한 필요 및 충분조건을 설정하는 것.
• 위상 없는 샘플링의 맥락에서 복원 가능한(분리 불가능한) 함수와 복원 불가능한(분리 가능한) 함수 사이의 차이를 분석하는 것.
• 유한 차원 부분공간에 속한 거의 모든 함수가 강도 측정값으로부터 복원 가능한 '거의 위상 없는 샘플링'의 특성화를 제공하는 것.
• 일반적으로 제1차 스퍼인(m=1)과 고차 스퍼인(m≥2)의 위상 없는 샘플링 행동을 비교하는 것, 특히 주기적 샘플링 설정에서의 특성.

제안 방법

• 서브구간 [N₁, N₂] 내의 점 집합에 대한 기수 제약 조건을 사용하여 국소적 위상 없는 샘플링을 위한 필요 및 충분조건을 유도하며, 경계 및 내부 구간을 포함한다.
• 이동 불변 공간 내에서 B-스플라인 함수의 구조와 선형 조합을 활용하여 강도 측정값만으로부터 함수 복원을 분석한다.
• 서로 다른 지지 집합을 가진 함수 f = f₁ + f₂의 형태를 가진 분리 가능한 함수 개념을 도입하여, 강도 측정값으로부터 부호를 제외하고도 복원할 수 없는 함수를 식별한다.
• 겹치는 구간에서 충분한 샘플링 밀도를 확보하고 스퍼인 기저 함수의 성질을 활용하여 국소 샘플링 수열을 전역 복원으로 확장하는 기법을 제시한다.
• |f₁(x)| = |f₂(x)|가 샘플링 집합 E에서 성립할 경우 f₁과 f₂의 지지 구조에 기반한 케이스 분석을 수행하며, 이러한 조건을 만족할 경우 반드시 분리 가능해야 한다는 것을 보여준다.
• 프레임 이론과 무한 차원 공간에서의 위상 복원 이론의 결과를 응용하여 전역적 샘플링 조건을 도출하며, 특히 {nα + β} 형태의 주기적 수열에 대해 적용한다.

실험 결과

연구 질문

• RQ1 서로 다른 점의 수열이 실 스퍼인 공간의 분리 불가능한 함수를 유한 구간에서 부호를 제외하고 유일하게 복원할 수 있도록 보장하기 위한 조건은 무엇인가?
• RQ2 실 스퍼인 공간의 함수가 전체 실수선에서 무한히 많은 부호 없는 샘플로부터 전역적으로 복원될 수 있는 조건은 무엇인가?
• RQ3 B-스플라인 기저 함수의 차수 m이 위상 없는 샘플링 수열의 구조와 밀도 요구 조건에 어떻게 영향을 미치는가?
• RQ4 {nα + β} 형태의 주기적 수열이 Vₘ에 대해 전역적 위상 없는 샘플링 수열이 되기 위한 필요 및 충분조건은 무엇인가?
• RQ5 위상 없는 샘플링이 '거의' 가능하다는 의미는 무엇이며, 어떤 조건이 유한 차원 부분공간에 속한 거의 모든 함수가 강도 측정값으로부터 복원될 수 있도록 보장하는가?

주요 결과

• 수열 E ⊂ [N₁, N₂]가 Vₘ|_[N₁,N₂]에 대해 국소적 위상 없는 샘플링 수열이 되기 위한 필요 및 충분조건은 다음 네 가지 기수 조건을 만족해야 한다: (1) |E| ≥ 2(N₂−N₁+m)−1, (2) |E ∩ [N₁, N₁+k)| ≥ 2k + m − 1 (1 ≤ k ≤ N₂−N₁), (3) |E ∩ (N₂−k, N₂]| ≥ 2k + m − 1 (1 ≤ k ≤ N₂−N₁), (4) |E ∩ (n₁,n₂)| ≥ 2(n₂−n₁)−1 (모든 N₁ ≤ n₁ < n₂ ≤ N₂에 대해).
• E가 위 조건을 만족하고 모든 x ∈ E에서 |f₁(x)| = |f₂(x)|이면, 모든 x ∈ [N₁, N₂]에서 |f₁(x)| = |f₂(x)|가 성립하며, 이는 부호를 제외한 유일성 보장에 기여한다.
• 전역적 위상 없는 샘플링의 경우, 수열 {nα + β}가 Vₘ에 대해 위상 없는 샘플링 수열이 되기 위한 필요 및 충분조건은 m ≥ 2일 때 0 < α < 1/2이다.
• m = 1일 경우, 수열 {nα + β}가 위상 없는 샘플링 수열이 되기 위한 필요 및 충분조건은 0 < α < 1/2 또는 α = 1/2 및 β = 0이다.
• 논문은 [N₁, N₂]에 균일하게 분포한 K ≥ N₂−N₁+m+1개의 샘플링 점이 Vₘ|_[N₁,N₂]에 대해 '거의 위상 없는 샘플링 수열'임을 보여주는 예를 제시한다.
• 국소 샘플링의 경우, 내부에 K ≥ 2(N₂−N₁)−3개의 점과 양 끝점 근처에 2(m+1)개의 점을 배치하면 내부 점과 함께 위상 없는 샘플링이 보장된다.