[논문 리뷰] Tight bounds on the mutual coherence of sensing matrices for Wigner D-functions on regular grids

Arya Bangun, Arash Behboodi외 1명|arXiv (Cornell University)|2020. 10. 05.

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

한 줄 요약

이 논문은 양자역학에서의 각운동량 결합을 활용하여 정규 격자상의 Wigner D함수로부터 구성된 측정 행렬의 상호코herence에 대해 분석적으로 날카로운 하한을 도출한다. Wigner 3j 기호와 조합 항등식을 사용하여, 0차 항의 열들(해당 행렬은 레지오드 다항식과 동치임)의 내적값이 지배적임을 증명하고, 이는 계산 가능한 하한을 이룩하며, Welch bound보다 더 날카롭고, 최적화된 방위각 샘플링을 통해 달성 가능한 것으로 나타났다.

ABSTRACT

Many practical sampling patterns for function approximation on the rotation group utilizes regular samples on the parameter axes. In this paper, we relate the mutual coherence analysis for sensing matrices that correspond to a class of regular patterns to angular momentum analysis in quantum mechanics and provide simple lower bounds for it. The products of Wigner d-functions, which appear in coherence analysis, arise in angular momentum analysis in quantum mechanics. We first represent the product as a linear combination of a single Wigner d-function and angular momentum coefficients, otherwise known as the Wigner 3j symbols. Using combinatorial identities, we show that under certain conditions on the bandwidth and number of samples, the inner product of the columns of the sensing matrix at zero orders, which is equal to the inner product of two Legendre polynomials, dominates the mutual coherence term and fixes a lower bound for it. In other words, for a class of regular sampling patterns, we provide a lower bound for the inner product of the columns of the sensing matrix that can be analytically computed. We verify numerically our theoretical results and show that the lower bound for the mutual coherence is larger than Welch bound. Besides, we provide algorithms that can achieve the lower bound for spherical harmonics.

연구 동기 및 목표

• 정규 격자상의 Wigner D함수를 기반으로 한 결정론적 측정 행렬의 상호코herence에 대해 엄밀한 분석적 하한을 제공하는 것.
• 신호 복원에서의 코herence 분석과 양자역학에서의 각운동량 결합 간의 연결 고리를 설정하는 것.
• 특정 대역폭 및 샘플링 조건 하에서, 0차 Wigner D함수(레지오드 다항식)의 내적값이 상호코herence를 지배함을 보여주는 것.
• 유도된 하한이 Welch bound를 초월함을 확인하여, 그 날카로움과 실용적 관련성을 입증하는 것.
• 구구적 최적화를 통해 이론적 하한을 달성할 수 있는 알고리즘 개발을 통해, 구구적 최적의 샘플링 패턴을 가능하게 하는 것.

제안 방법

• Wigner d함수의 곱을 Wigner 3j 기호(클레브시-고르단 계수)를 사용하여 단일 Wigner d함수의 선형 조합으로 표현하는 것.
• Wigner 3j 기호의 조합 항등식과 성질을 적용하여 상호코herence 표현식을 단순화하는 것.
• 대역폭 및 샘플링 제약 조건 하에서, 0차 항의 열 내적값이 코herence 항을 지배함을 귀납법으로 증명하는 것.
• 삼각형 법칙과 리만 합 오차 분석을 사용하여 샘플링된 Wigner d함수의 ℓ2노름에 대한 근사식을 도출하는 것.
• 경계값(θ=0 및 θ=π에서의 값)에 따라 순서 k와 n에 따라 달라지는 정규화 상수 D₁(k,n)을 특성화하는 것.
• 큰 m에 대해 차수 간에 열 노름이 거의 일정함을 보여주어, 0차 내적값의 코herence에서의 지배성이 유지됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 정규 Wigner D함수 격자 기반 측정 행렬의 상호코herence를 양자역학적 도구를 사용해 하한으로 제한할 수 있는가?
• RQ2 정규 샘플링 조건 하에서 0차 Wigner D함수(레지오드 다항식)의 내적값이 상호코herence를 지배하는가?
• RQ3 유도된 하한이 Welch bound보다 날카로운가? 그리고 분석적으로 계산 가능한가?
• RQ4 방위각 φ ∈ [0, 2π)의 최적화를 통해 하한을 달성할 수 있는가?
• RQ5 샘플링된 Wigner d함수의 ℓ2노름은 어떻게 행동하는가? 그리고 이는 0차 항의 코herence 지배성에 영향을 미치는가?

주요 결과

• 정규 격자상의 Wigner D함수에 대한 측정 행렬의 상호코herence는 0차 항의 열 내적값에 의해 하한이 제시되며, 이는 레지오드 다항식의 L2 내적값과 동일하다.
• 이 하한은 분석적으로 계산 가능하며, Welch bound보다 엄밀히 날카로우므로 비자명성과 실용적 관련성이 입증된다.
• Wigner 3j 기호 항등식과 조합 관계를 활용한 귀납법을 통해 0차 내적값의 지배성이 증명된다.
• 샘플링된 Wigner d함수의 ℓ2노름은 ||d_{l}^{k,n}||² ≈ (m−1)/(2l+1) + D₁(k,n) + O(m⁻¹)로 근사되며, D₁(k,n)은 순서의 기수성과 경계값에 따라 달라진다.
• k=n=0일 경우 노름은 약 1 + (m−1)/(2l+1)이며, k≠n일 경우 (m−1)/(2l+1) + O(m⁻¹)로 근사되며, 이는 코herence 순서에 미미한 영향을 미친다.
• 방위각 φ ∈ [0, 2π)의 최적화를 통해 이 하한을 달성할 수 있으며, 이는 구구적 최적의 샘플링 패턴을 통해 구면 신호 복원이 가능하게 한다.