[논문 리뷰] A real algebra perspective on multivariate tight wavelet frames

Maria Charina, Mihai Putinar외 2명|arXiv (Cornell University)|2012. 02. 16.

Advanced Numerical Analysis Techniques참고 문헌 17인용 수 4

한 줄 요약

이 논문은 다변량 타이트 웨이블릿 프레임 구축과 실대수기하학 사이의 새로운 연결고리를 확립하며, 헤르미트 제곱합과 준정부호계획법을 사용하여 차원 d=2에서 최소한 하나의 영치면을 가진 타이트 웨이블릿 프레임의 존재성을 증명한다. 이는 오랫동안 남아있던 열린 문제를 긍정적으로 해결하고, 수치적으로 효율적이며 해석적으로 구성 가능한 프레임 생성자를 제공한다. 또한 d=3에서의 반례를 규명하고 고차원에 대한 더 강력한 충분조건을 제안한다.

ABSTRACT

Recent results from real algebraic geometry and the theory of polynomial optimization are related in a new framework to the existence question of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely, several equivalent formulations of the so-called Unitary Extension Principle by Ron and Shen are interpreted in terms of hermitian sums of squares of certain nonnegative trigonometric polynomials and in terms of semi-definite programming. The latter together with the recent results in algebraic geometry and semi-definite programming allow us to answer affirmatively the long standing open question of the existence of such tight wavelet frames in dimension $d=2$; we also provide numerically efficient methods for checking their existence and actual construction in any dimension. We exhibit a class of counterexamples in dimension $d=3$ showing that, in general, the UEP property is not sufficient for the existence of tight wavelet frames. On the other hand we provide stronger sufficient conditions for the existence of tight wavelet frames in dimension $d > 3$ and illustrate our results by several examples.

연구 동기 및 목표

• 차원 d=2에서 최소한 하나의 영치면을 가진 다변량 타이트 웨이블릿 프레임의 존재성에 대한 오랫동안 남아있던 열린 문제를 해결하기 위해.
• 유니터리 확장원리(UEP)를 복소수 삼각다항식의 헤르미트 제곱합에 기반한 새로운 대수적 프레임워크로 연결하기 위해.
• 준정부호계획법을 사용하여 수치적으로 효율적이고 구축 가능한 방법으로 타이트 웨이블릿 프레임 생성자를 도출하기 위해.
• d≥3에서 UEP가 프레임 존재성을 보장하지 못하는 경우를 규명하고, 더 강력한 충분조건을 제안하기 위해.
• 최소한의 지지집합 제약 조건을 가진 타이트 웨이블릿 프레임의 해석적 구성법을 제공하여 기존의 수치적 방법을 향상시키기 위해.

제안 방법

• 헤르미트 삼각다항식의 제곱합을 사용하여 유니터리 확장원리(UEP)를 재구성함으로써, 타이트 프레임 존재성의 대수적 특성화를 가능하게 한다.
• UEP 조건을 준정부호계획법(SDP) 문제로 변환하여, 프레임 생성자의 효율적인 수치적 계산을 가능하게 한다.
• 실대수기하학의 결과—특히, 음이 아닌 삼각다항식과 제곱합 이론—을 활용하여 프레임 존재성을 분석한다.
• 삼각다항식의 동형분해를 활용하여 지지집합과 대칭성을 제어하는 프레임 생성자를 구성한다.
• 모멘트 문제 이론과 다항식 최적화 이론을 적용하여 음이 아닌 성질과 SOS 표현의 존재성을 검증한다.
• SOS 분해의 이소형성 성분을 올리기(lifting)하여 해석적으로 명시적인 프레임 생성자를 구성함으로써, 타이트성과 영치면을 보장한다.

실험 결과

연구 질문

• RQ1 유니터리 확장원리(UEP)는 차원 d=2에서 최소한 하나의 영치면을 가진 다변량 타이트 웨이블릿 프레임의 존재성을 보장하는가?
• RQ2 실대수기하학과 다항식 최적화 도구를 사용하여 d=2에서 이러한 타이트 웨이블릿 프레임의 존재성을 확립할 수 있는가?
• RQ3 d≥3에서 UEP가 프레임 존재성을 보장하지 못하는 경우가 있으며, 만약 그렇다면 어떤 더 강력한 조건이 존재를 보장하는가?
• RQ4 프레임 구축 과정을 수치적으로 효율적이고 해석적으로 명시적으로 만들 수 있는가? 기존 방법에서 흔히 발생하는 지지집합의 두 배 증가 문제를 피할 수 있는가?
• RQ5 삼각다항식의 구조와 그 SOS 표현을 어떻게 활용하여 타이트 프레임 생성자를 도출할 수 있는가?

주요 결과

• 논문은 실대수기하학의 결과를 활용하여 d=2에서 최소한 하나의 영치면을 가진 다변량 타이트 웨이블릿 프레임의 존재성에 대한 열린 문제를 긍정적으로 해결한다.
• 헤르미트 제곱합에 기반한 UEP의 새로운 대수적 공식화는 준정부호계획법을 통한 구축 방법을 가능하게 하여 효율적인 프레임 생성을 가능하게 한다.
• 저자들은 2차원 부채꽃 스킴을 위한 13개의 생성자를 가진 타이트 웨이블릿 프레임을 구성하였으며, 생성자는 해석적으로 유도되었고, 지지집합은 다듬어진 함수의 약 두 배였다.
• 차원 d=3에서 UEP 조건은 만족되지만 타이트 프레임이 존재하지 않는 반례를 제시함으로써, UEP가 고차원에서는 충분하지 않음을 입증한다.
• d≥3에 대해서는 프레임 존재성을 보장하는 더 강력한 충분조건을 제시하여, 이론의 적용 범위를 d=2의 경우를 초월하도록 확장한다.
• 수치적 실험을 통해 인터폴라토리 √3-분할 스킴과 관련된 음이 아닌 삼각다항식이 실제로 음이 아닌 것으로 확인되었으며, 유효한 프레임의 존재를 뒷받침한다.