[논문 리뷰] Time-Limited Toeplitz Operators on Abelian Groups: Applications in Information Theory and Subspace Approximation

Zhihui Zhu, Michael B. Wakin|arXiv (Cornell University)|2017. 11. 21.

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

한 줄 요약

이 논문은 푸리에 분석을 이용하여 국소적으로 컴acts한 아벨 군 위의 시간 제한된 토플리츠 연산자에 대한 통합 프레임워크를 제시하며, 시간 제한된 연산자와 무한 지속 시간 연산자의 스펙트럼 간의 관계를 설정한다. 시간-주파수 제한 연산자의 고유값 수렴 결과를 유도하고 이를 정보 이론 및 부분공간 근사에 적용하여, 유한 차원 근사의 고유값이 크기가 증가함에 따라 주파수 응답으로 수렴함을 보여준다.

ABSTRACT

Toeplitz operators are fundamental and ubiquitous in signal processing and information theory as models for linear, time-invariant (LTI) systems. Due to the fact that any practical system can access only signals of finite duration, time-limited restrictions of Toeplitz operators are naturally of interest. To provide a unifying treatment of such systems working on different signal domains, we consider time-limited Toeplitz operators on locally compact abelian groups with the aid of the Fourier transform on these groups. In particular, we survey existing results concerning the relationship between the spectrum of a time-limited Toeplitz operator and the spectrum of the corresponding non-time-limited Toeplitz operator. We also develop new results specifically concerning the eigenvalues of time-frequency limiting operators on locally compact abelian groups. Applications of our unifying treatment are discussed in relation to channel capacity and in relation to representation and approximation of signals.

연구 동기 및 목표

• 지정된 국소적으로 컴acts한 아벨 군 위의 시간 제한된 토플리츠 연산자에 대해 조화 분석을 이용한 통합 수학적 프레임워크를 개발하는 것.
• 시간 제한된 토플리츠 연산자와 비시간 제한된 토플리츠 연산자의 스펙트럼 간의 관계, 특히 고유값 수렴을 조사하는 것.
• 이 프레임워크를 정보 이론의 실용적 문제, 예를 들어 채널 용량에 적용하고, 신호 표현 및 근사에 활용하는 것.
• 아벨 군 위의 시간-주파수 제한 연산자의 고유값 분포를 분석하고 주파수 응답으로의 수렴을 확립하는 것.

제안 방법

• 국소적으로 컴acts한 아벨 군 위의 푸리에 변환을 사용하여 시간 제한된 토플리츠 연산자를 분석한다.
• 시간 제한된 연산자의 이산 스펙트럼을 연구하기 위해 컴팩트 연산자의 스펙트럼 정리를 적용한다.
• 시간 제한된 연산자를 커널 $ K_{\mathbb{B}}(h^{-1} \circ g) $ 를 가진 컴팩트 적분 연산자와 연결함으로써 고유값 수렴 결과를 도출한다.
• 랜덤 단위 신호를 분석하고 부분공간 근사의 평균 제곱 오차 한계를 유도하기 위해 카르누엔-로셰 변환을 사용한다.
• 근사 오차를 최소화하기 위해 $ n $-차원 부분공간에 대한 직교 프로젝터 $ \mathrm{P}_{\mathbb{M}_n} $ 를 활용한다.
• 최적의 $ n $-차원 부분공간이 시간-주파수 제한 연산자의 첫 번째 $ n $개 고유함수로 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 아벨 군 위의 시간 제한된 토플리츠 연산자의 고유값은 어떻게 해당 무한 지속 시간 시스템의 주파수 응답으로 수렴하는가?
• RQ2 시간 제한된 토플리츠 연산자의 스펙트럼과 원래의 비시간 제한된 연산자의 스펙트럼 간의 관계는 무엇인가?
• RQ3 아벨 군 위의 시간-주파수 제한 연산자의 고유값 분포는 어떻게 특징지어지고, 이를 신호 근사에 어떻게 활용할 수 있는가?
• RQ4 시간-주파수 제한 설정에서 신호를 근사하기 위한 최적의 $ n $-차원 부분공간은 무엇이며, 관련된 근사 오차는 무엇인가?
• RQ5 랜덤 단위 신호를 카르누엔-로셰 변환을 통해 사용하면 부분공간 근사 오차의 한계를 유도하는 데 어떻게 기여하는가?

주요 결과

• 시간 제한된 토플리츠 연산자 $ \mathcal{H}_T $ 의 고유값은 $ T \to \infty $ 일 때 주파수 응답 $ \widehat{h}(F) $ 로 수렴하며, 이는 스펙트럼 근사의 의미에서 성립한다.
• 이산 시간 시스템의 경우, $ N \times N $ 토플리츠 행렬 $ \boldsymbol{H}_N $ 의 고유값은 $ N \to \infty $ 일 때 주파수 응답 $ \widehat{h}(f) $ 로 수렴한다.
• 시간-주파수 제한에서 근사 오차를 최소화하기 위한 최적의 $ n $-차원 부분공간은 연산자 $ \mathcal{O}_{\mathbb{A}_\tau,\mathbb{B}} $ 의 첫 번째 $ n $개 고유함수로 생성되며, 이는 가장 큰 고유값에 해당한다.
• 최적 부분공간의 평균 제곱 근사 오차는 $ \sum_{\ell \geq n} \lambda_\ell = |\mathbb{A}_\tau||\mathbb{B}| - \sum_{\ell=0}^{n-1} \lambda_\ell $ 이며, 여기서 $ \lambda_\ell $ 는 시간-주파수 제한 연산자의 고유값이다.
• 랜덤 단위 신호를 사용한 카르누엔-로셰 근사의 기대 제곱 오차는 $ \frac{1}{|\mathbb{B}|} \sum_{\ell \geq n} \lambda_\ell(\mathcal{O}_{\mathbb{A}_\tau,\mathbb{B}}) = |\mathbb{B}| - \sum_{\ell=0}^{n-1} \lambda_\ell(\mathcal{O}_{\mathbb{A}_\tau,\mathbb{B}}) $ 이며, 이는 이론적 한계와 일치한다.
• 랜덤 신호 $ r(g) = \chi_\xi(g)e^{j\nu} $ 의 총 에너지는 $ \mathbb{E}[\|r\|_{L_2}^2] = |\mathbb{A}_\tau| $ 이며, 이는 근사 프레임워크 내의 신호 에너지와 일관성을 확인한다.