[논문 리뷰] Kernels of discrete convolutions and subdivision operators

Tomas Sauer|arXiv (Cornell University)|2014. 03. 30.

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

한 줄 요약

이 논문은 다변수 이산 컨볼루션 및 정적 서브디비전 연산자의 핵을 정확히 지수 다항식으로 규명하며, 이러한 핵의 구조는 다변수 라우렌트 다항식의 공통 영점의 중복도에 의해 결정된다—그로브너의 영차원 아이디얼에 대한 중복도 이론을 활용하여 1차원 고전 결과를 고차원으로 확장한다.

ABSTRACT

We consider kernels of discrete convolution operators or, equivalently, homogeneous solutions of partial difference operators and show that these solutions always have to be exponential polynomials. The respective polynomial space in connected directly though somewhat intricately to the multiplicity of the common zeros of certain multivariate polynomials, a concept introduced by Gröbner in the description of kernels of partial differential operators with constant coefficients. These results can are then used to determine the kernels of stationary subdivision operators as well.

연구 동기 및 목표

• ℤ^s 위의 이산 컨볼루션 연산자 핵을 지수 다항식 공간으로 특성화하기.
• 기존 1차원 컨볼루션 핵의 구조에 관한 고전 결과를 다차원으로 확장하기.
• 영차원 아이디얼에 대한 그로브너의 중복도 이론을 활용하여 고차원에서 핵의 구조를 기술하기.
• 서브디비전 연산자의 기호의 대칭 영점들을 이용하여 정적 서브디비전 연산자의 핵을 특성화하기.
• 서브디비전 기호의 대칭 영점과 결과적으로 얻어지는 핵의 구조 사이의 대응관계 수립하기.

제안 방법

• 컨볼루션 연산자의 기호인 라우렌트 다항식 h*(z)를 사용하여 연산자를 h*(τ⁻¹)로 표현하며, τ는 이동 연산자이다.
• h*(τ⁻¹)c = 0의 해와 h*(z)의 영점 사이의 이중성을 적용하여, 지수 수열 e_θ가 핵에 속해 있음이 h*(θ⁻¹) = 0일 조건임을 보여준다.
• 영점의 중복도가 있을 경우 해의 구조를 기술하기 위해 영차원 아이디얼에 대한 그로브너의 중복도 이론을 도입한다.
• D-불변 다항식 부분공간과 그의 영인자 분석을 위해 내적 (f,g) = (f(D)g)(0)을 정의한다.
• 주기성과 대칭성을 통해 서브디비전 연산자를 컨볼루션 연산자로 연결하기 위해 변환 z ↦ z^Ξ를 사용한다.
• 서브디비전 기호 a*의 대칭 영점 θ^−Ξ⁻¹이 관련된 a_ξ* 다항식들의 공통 영점과 일대일 대응됨을 보여주며, 핵의 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한 지지 마스크를 가진 ℤ^s 위의 이산 컨볼루션 연산자 핵의 정확한 구조는 무엇인가?
• RQ2 다변수 라우렌트 다항식의 공통 영점의 중복도는 동차 편미분 방정식의 해 형태에 어떻게 영향을 주는가?
• RQ3 다차원에서 정적 서브디비전 연산자의 핵은 그 기호를 통해 어떻게 특성화할 수 있는가?
• RQ4 서브디비전 연산자의 기호에서 대칭 영점의 역할은 핵의 구조를 결정하는 데 어떤 영향을 미치는가?
• RQ5 대칭 영점의 중복도는 핵 수열의 다항식 성장 정도와 어떻게 관련되는가?

주요 결과

• ℤ^s 위의 어떤 이산 컨볼루션 연산자 핵도 정확히 지수 다항식으로 이루어져 있으며, 다항식의 차수는 기호의 해당 영점의 중복도에 의해 결정된다.
• 기호 h*(z)를 가진 컨볼루션 연산자에 대해 핵은 θ ∈ Θ에 대한 e_θ · Π_{k_θ−1}의 직합과 동형임을 보여준다. 여기서 k_θ는 θ⁻¹에서의 영점의 중복도이다.
• 정적 서브디비전 연산자 S_a의 핵은 ⨁_{θ∈Θ} P_θ e_θ로 주어지며, 여기서 P_θ는 차수 k_θ의 다항식 공간이다. 이는 θ^−Ξ⁻¹이 순서 k_θ의 대칭 영점일 조건을 만족할 때 성립한다.
• 서브디비전 기호 a*의 대칭 영점은 ξ ∈ Ξ에 대해 관련된 a_ξ* 다항식들의 공통 영점과 일대일 대응된다.
• 기호 a*에서 대칭 영점 θ^−Ξ⁻¹의 중복도는 그 점에서의 모든 차수 k_θ 이하의 도함수들이 0이 되는 것으로 동치이다.
• 변환 z ↦ z^Ξ를 통해 주기성에 기반하여 서브디비전 핵 문제를 컨볼루션 핵 문제로 환원할 수 있으며, 이는 그로브너의 중복도 이론의 적용을 가능하게 한다.