다변량 삼각함수 다항식의 샘플 기반 경계와 다차원 완전복원 필터뱅크 설계

**1. 서론 및 배경** 다변량 삼각함수 다항식은 다차원 디지털 신호 처리, 제어 이론, 초고해상도 복원 등 다양한 분야에서 핵심 모델로 등장한다. 특히 DTFT를 적용하면 1‑차원 신호는 일변량 삼각함수 다항식이 되고, 다차원 신호는 다변량 형태가 된다. 이러한 다항식의 최대·최소값, 즉 절댓값의 상한과 실수 다항식의 전역 양성성은 OFDM 전력 증폭기 설계, FIR 필터의 이득·감쇠 한계, 그리고 다중률 필터뱅크의 완전복원 조건 등에 직접적인 영향을 미친다. 그러나 계수만으로 극값을 구하는 문제는 NP‑Hard이며, 기존에는 고차원 SDP 계층, 그리드 탐색, 혹은 비선형 최적화에 의존했다. 이러한 방법들은 차원·차수가 커질수록 연산량이 급증하고, 로컬 최적에 빠질 위험이 있다. **2. 문제 정의와 기존 결과** 논문은 실수 다항식 \(p\in\overline{\mathcal{T}}_d^n\) 또는 복소 다항식 \(p\in\mathcal{T}_d^n\) 에 대해, 오직 균등 샘플 \(\{p(\omega_k)\}_{\omega_k\in\Theta_N^d}\) 만을 이용해 상·하한을 찾는 것을 목표로 한다. 기존 일변량 결과로는 Ehlich‑Zeller, Wirtinger, Zimmermann 등이 제시한 \(\|p\|_\infty\le C(N,n)\|p\|_{N,\infty}\) 형식의 부등식이 있다. 다변량으로 확장된 결과는 거의 없으며, 특히 샘플 수가 최소 요구량 \((2n+1)^d\) 보다 많을 때 더 강력한 경계가 필요했다. **3. 주요 기여** 1) 다변량 삼각함수 다항식에 대한 새로운 상한 \(C_{d,N,n}\) 을 제시한다. 이는 두 형태로 제공되는데, (15)에서는 복잡한 다중합을 이용해 거의 최적에 근접한 값을 얻고, (16)에서는 간단히 \((1-\alpha)^{-d/2}\) (\(\alpha=2n/N\)) 로 근사한다. 2) 실수 다항식에 대해 샘플의 최대·최소값 \(A,B\) 를 활용한 강화된 상한 \(\frac{A+B+C_{d,N,n}(A-B)}{2}\) 을 도출한다. 3) 위 상한을 이용해 전역 하한을 구하고, 이를 통해 전역 양성성을 검증하는 충분조건 \(\kappa_N\le\frac{C_{d,N,n}+1}{C_{d,N,n}-1}\) (또는 (20)식) 을 제시한다. 4) 이러한 이론을 다차원 완전복원 필터뱅크 설계에 적용한다. 필터뱅크의 polyphase 행렬 \(H(z)\) 에 대해 \(p_H(\omega)=\det(H^*(e^{j\omega})H(e^{j\omega}))\) 가 양수이면 PR이 보장된다. 제시된 하한을 이용해 샘플 단계에서 양성을 확인하고, 이후 선형/이차 프로그램으로 \(H\) 의 계수를 최적화한다. 실험에서는 2‑차원 PR 필터뱅크를 설계하고, 주파수 응답 및 재구성 정확도를 검증하였다. **4. 이론적 전개** - **Dirichlet 커널** \(D_d^n(\omega)\) 와 **de la Vallée‑Poussin 커널** \(D_{d}^{n,m}(\omega)\) 을 정의하고, 샘플링 정리(Lemma 1, 2)를 통해 다항식이 샘플의 가중합으로 정확히 재구성됨을 보인다. - 커널의 L¹‑노름을 분석해 가중치의 최대값을 구하고, 이를 통해 \(\|p\|_\infty\)와 \(\|p\|_{N,\infty}\) 사이의 비율을 상수 \(C_{d,N,n}\) 으로 한정한다. - 실수 다항식에 대해서는 샘플의 부호와 크기 차이를 이용해 상·하한을 동시에 얻는다. 특히 최소값 \(B\) 가 0에 가깝지 않을 경우 하한이 매우 타이트해진다. - 동적 범위 \(\kappa_N=A/B\) 와 \(C_{d,N,n}\) 의 관계를 정리해 전역 양성 조건을 도출한다. **5. 응용: 다차원 PR 필터뱅크 설계** - 다변량 필터뱅크는 polyphase 행렬 \(H(z)\) 의 각 원소가 다변량 Laurent 다항식이며, PR 조건은 \(p_H(\omega)>0\) 전역성이다. - 제안 알고리즘은 (i) 충분히 높은 오버샘플링 \(N\) 을 선택해 샘플을 얻고, (ii) (19)·(20)식으로 양성을 검증, (iii) 양성 검증이 통과되면 SDP 혹은 QP를 통해 \(H\) 의 계수를 최적화한다. - 2‑차원 실험에서는 8×8 크기의 샘플 격자를 사용해 \(N=2n+1\) 보다 약간 높은 \(N\) 을 선택했고, 설계된 필터는 완전복원 성능을 만족함을 주파수 응답 플롯과 재구성 오류로 확인하였다. **6. 결론 및 향후 과제** 본 연구는 다변량 삼각함수 다항식의 극값을 샘플 기반으로 효율적으로 추정하는 새로운 이론을 제공한다. 특히 전역 양성 검증을 위한 간단한 동적 범위 조건은 실시간 시스템이나 대규모 데이터에서 유용하게 적용될 수 있다. 향후 연구에서는 (a) 비균등 샘플링에 대한 확장, (b) 더 일반적인 비선형 다항식에 대한 유사 경계, (c) 고차원 필터뱅크 설계에 대한 자동 오버샘플링 선택 전략 등을 탐구할 수 있다.