[논문 리뷰] Wavelet filters and infinite-dimensional unitary groups

Ola Bratteli, Palle E. T. Jørgensen|ArXiv.org|2000. 01. 28.

Mathematical Analysis and Transform Methods참고 문헌 22인용 수 26

한 줄 요약

이 논문은 웨이브릿 필터, Cuntz 대수 $\mathcal{O}_N$의 표현, 그리고 무한차원 유니터리 루프군 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 사이의 전단사 대응 관계를 수립한다. 이는 정사각형 미러 필터가 $\mathcal{O}_N$의 유니터리 표현에서 유래됨을 보이며, 루프군 작용을 이용해 저역통과 필터를 다중해상도 시스템으로 분류하고 확장한다. 표현의 기약성은 스케일링 인자 $N$의 최소성과 연결된다. 주요 기여는 $\mathcal{O}_N$-표현과 루프군 구조를 통해 웨이브릿 이론, 연산자 대수학, 조화 분석을 통합하는 프레임워크를 제공하는 데 있다.

ABSTRACT

In this paper, we study wavelet filters and their dependence on two numbers, the scale N and the genus g. We show that the wavelet filters, in the quadrature mirror case, have a harmonic analysis which is based on representations of the C^*-algebra O_N. A main tool in our analysis is the infinite-dimensional group of all maps T -> U(N) (where U(N) is the group of all unitary N-by-N matrices), and we study the extension problem from low-pass filter to multiresolution filter using this group.

연구 동기 및 목표

• 웨이브릿 필터, Cuntz 대수 $\mathcal{O}_N$의 표현, 루프군 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 사이의 일대일 대응를 수립하기.
• 유니터리 루프군 작용을 이용해 저역통과 필터를 다중해상도 웨이브릿 시스템으로 체계적으로 확장하는 방법 제공.
• $\mathcal{O}_N$의 웨이브릿 표현을 기약성과 유니터리 동치를 통해 분류하여 구조적 성질을 스케일링 인자 $N$과 연결하기.
• 종수 $g$와 스케일링 인자 $N$이 웨이브릿 표현의 분해 구조를 결정하는 데 미치는 영향을 명확히 하기.

제안 방법

• $\mathcal{O}_N$의 표현을 $L^2(\mathbb{T})$ 위에서 정의하기 위해 Cuntz 관계를 사용하며, 행렬 값 함수 $A(z) \in \mathrm{U}(N)^\mathbb{T}$로 매개변수화한다.
• 루프군 기법을 적용하여 $A(z)$ 를 무한차원 유니터리 군 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$의 원소로 간주함으로써 필터 확장을 분석한다.
• $\mathcal{B}(\mathcal{K})^\sigma$ 위에서 작용하는 연산자 $\sigma^{(A)}$ 의 스펙트럼 분석을 통해 표현의 기약성과 분해를 연구한다.
• 다항식 루프의 인수분해(보조정리 5.2)를 활용해 저역통과 필터로부터 고역통과 필터를 구성한다.
• $\sigma^{(B,A)}(E_{0,0})$ 를 통한 상호연결 연산자를 사용하여 표현 $T^{(A)}$ 와 $T^{(B)}$ 사이의 유니터리 동치를 결정한다.
• $\mathcal{B}(\mathcal{K})^\sigma$ 내의 최소 원소를 분석하여 웨이브릿 표현의 기약 성분을 식별한다.

실험 결과

연구 질문

• RQ1 무한차원 유니터리 군을 이용해 저역통과 웨이브릿 필터를 다중해상도 시스템으로 체계적으로 확장하는 방법은 무엇인가?
• RQ2 웨이브릿 필터, $\mathcal{O}_N$-표현, 루프군 원소 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 사이의 정확한 대응 관계는 무엇인가?
• RQ3 $\mathcal{O}_N$의 표현 $T^{(A)}$ 가 기약적이거나 분해 가능해지는 조건은 무엇인가?
• RQ4 스케일링 인자 $N$ 과 종수 $g$ 는 웨이브릿 표현의 분해 구조에 어떻게 영향을 미치는가?
• RQ5 다른 필터로부터 유도된 두 $\mathcal{O}_N$-표현 사이의 유니터리 동치는 무엇으로 특징지어지는가?

주요 결과

• $\mathcal{O}_N$의 표현 $T^{(A)}$ 는 $\mathcal{B}(\mathcal{K})^\sigma$ 에서 관련된 프로젝션의 차원이 1일 때이고, 그때에만 기약적이다.
• $N=2$ 인 경우, 행렬 $A(z) = \begin{pmatrix}1&0\\0&z\end{pmatrix}$ 는 2차원 최소 프로젝션 $e = E_{-1,-1} + E_{-2,-2}$ 를 유도하며, $T^{(A)}$ 를 $[\mathcal{O}_2 e \mathcal{K}]$ 에 제한한 표현은 기약적이다.
• 행렬 $A(z) = \begin{pmatrix}0&1\\z&0\end{pmatrix}$ 는 $L^2(\mathbb{T}) = [\mathcal{O}_2 e \mathcal{K}] \oplus [\mathcal{O}_2 f \mathcal{K}]$ 의 분해를 유도하며, 두 개의 동치가 아닌 기약 부분표현을 포함한다.
• $T^{(A)}$ 와 $T^{(B)}$ 사이의 상호연결 연산자가 존재하는 것은 $A^{(0)*}B^{(0)}$ 의 $(0,0)$-성분이 1일 때이고, 이는 $A_{i,0}^{(0)} = B_{i,0}^{(0)}$ 를 모든 $i$ 에 대해 보장함으로써 유니터리 동치를 의미한다.
• $\lambda_0(A) = 1$ 인 경우 Cuntz 상태가 실현되며, $\mathcal{B}(\mathcal{K})^\sigma$ 내의 모든 일차원 프로젝션은 표준 기저에서 대각형이다.
• $g > 2$ 인 경우 분해 구조는 더욱 풍부해지지만, 아직 $g=3$ 의 명시적 예시는 $g=2$ 의 경우와 동일한 구조를 초월하지 못하고 있다.