[논문 리뷰] How distant is the ideal filter of being a causal one?

J. M. Almira, Alfonso E. Romero|arXiv (Cornell University)|2015. 02. 26.

Mathematical Analysis and Transform Methods참고 문헌 13인용 수 3

한 줄 요약

이 논문은 아날로그 및 디지털 신호 처리 맥락에서 이상적인 대역통과 필터와 물리적으로 실현 가능한 인과적 필터의 공간 사이의 거리와 각도를 정량화한다. 푸리에 분석과 힐버트 공간 사영을 이용하여 L²-거리와 각도에 대한 폐형 공식을 유도하며, 이는 중심 주파수에 관계없이 대역폭 (b−a)에만 의존함을 보여준다. 각도는 항상 π/4 이하이며, 대역폭이 증가하거나 지연 N이 커질수록 0에 수렴한다.

ABSTRACT

In this paper the characterization as convolution operators of filters sending finite energy signals to bounded signals is used to prove several theoretical results concerning the distance between the ideal filter and the spaces of physically realizable filters. Both the analog and the digital cases are studied and the formulas for the distance and the angle between the filters in each case are also given.

연구 동기 및 목표

• 아날로그 및 디지털 신호 처리 맥락에서 이상적인 대역통과 필터와 물리적으로 실현 가능한 인과적 필터의 공간 사이의 기하학적 거리를 기술하는 것.
• 푸리에 분석과 함수해석학의 수학적 도구를 이용해 이상적 필터가 얼마나 인과적인지 측정하는 것.
• 중심 주파수에 독립적인 거리와 각도에 대한 명시적 공식을 유도하는 것.
• 디지털 필터의 대역폭과 지연에 따라 이러한 측정치가 어떻게 영향을 받는지 분석하는 것.

제안 방법

• 필터를 L² 공간 내의 컨볼루션 연산자로 표현하고, 주파수 도메인 행동을 분석하기 위해 푸리에 변환을 활용한다.
• 힐버트 공간 사영 이론을 사용하여 이상적 필터에서 인과적 필터의 닫힌 부분공간까지의 L²-거리를 계산한다.
• 디지털 필터의 경우, 비음수 인덱스에 대한 푸리에 급수를 갖는 L²(0,2π) 내의 함수로 인과적 필터를 모델링하여 최적 근사의 계산을 가능하게 한다.
• 물리적으로 실현 가능한 필터가 log|H(ξ)|에 대한 적분 가능성 조건을 만족함을 보장하기 위해 페일리-위너 특성화를 적용한다.
• 특성 함수 χ_[a,b]의 푸리에 계수에 초점을 맞춰 거리와 각도에 대한 폐형 표현식을 유도하며, 이는 대역폭 (b−a)에 국한된다.
• 대역폭이 0 또는 2π에 수렴할 때와 지연 N이 증가할 때의 거리와 각도의 점근적 행동을 분석한다.

실험 결과

연구 질문

• RQ1 디지털 도메인에서 이상적 대역통과 필터와 인과적 필터 공간 사이의 L²-거리는 얼마인가?
• RQ2 이상적 필터와 인과적 필터 공간 사이의 각도는 통과대역의 대역폭에 어떻게 의존하는가?
• RQ3 물리적으로 실현 가능한 필터의 지연 N이 증가할수록 거리와 각도는 어떻게 변화하는가?
• RQ4 왜 이상적 필터는 물리적으로 실현 불가능한가, 그리고 이는 페일리-위너 조건과 어떻게 관련이 있는가?
• RQ5 거리와 각도는 대역통과 필터의 중심 주파수에 의존하는가, 아니면 오직 대역폭에만 의존하는가?

주요 결과

• 이상적 필터 L_[a,b]와 디지털 인과적 필터 공간 CF_d 사이의 거리는 d(L_[a,b], CF_d) = √[(b−a)/(2π)] × √[1/2 − (b−a)/(4π)] 로 주어지며, 이는 오직 대역폭 (b−a)에만 의존한다.
• 이상적 필터와 CF_d 사이의 각도 θ는 θ = arcsin(√[1/2 − (b−a)/(4π)]) 를 만족하며, 항상 π/4 이하이며, (b−a)→0 일 때 π/4에 수렴하고 (b−a)→2π 일 때 0에 수렴한다.
• 지연 N을 갖는 필터의 경우 거리는 d(L_[a,b], DF_N) = √[(b−a)/(2π)] × √{1/2 − (b−a)/(4π) − Σ_{k=1}^N [1−cos(k(b−a))]/(k²π(b−a))} 로 주어지며, N이 증가함에 따라 감소함을 보여준다.
• 각도의 수열 θ(N)은 엄격히 감소하며 N→∞ 일 때 0으로 수렴하므로, 지연이 클수록 이상적 필터에 더 잘 근사됨을 나타낸다.
• 거리와 각도는 대역통과 간격 [a,b]의 중심 주파수에 독립적이며, 오직 그 길이 (b−a)에만 의존한다.
• 전달 함수 H(w)가 홀함수일 경우, 이상적 필터와 CF_d 사이의 각도는 최대값 π/4에 도달하며, 이는 (b−a)→0 일 때의 극한에서 발생한다.