[논문 리뷰] Poisson summation formula and Box splines

Michèle Vergne|arXiv (Cornell University)|2013. 02. 26.

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

한 줄 요약

이 논문은 푸아송 합성 공식을 사용하여 복소 매개변수를 가진 박스 스플라인에 대한 일반화된 역디컨볼루션 공식을 수립하며, 다멘-마이클리의 역공식을 이동 및 매개변수화된 박스 스플라인으로 확장한다. 주요 기여는 격자 상의 일반적인 칸에서, 매개변수화된 박스 스플라인과의 컨볼루션으로부터 이산 함수를 통일적으로 복원하는 토드 연산자를 통한 방법으로, 이는 모든 일반적인 칸에서 유효하며 하미르톤 기하학에서 코스타ント 분할 함수와 두이스터마트-헤크만 측도에의 응용을 수반한다.

ABSTRACT

We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes.

연구 동기 및 목표

• 다멘-마이클리의 역디컨볼루션 공식을 복소 매개변수를 가진 박스 스플라인과 이동에 대해 일반화하기.
• 격자 상의 이산 함수를 매개변수화된 박스 스플라인과의 컨볼루션으로부터 복원하는 통일된 공식 수립.
• 역디컨볼루션 공식을 하미르톤 기하학에서의 코스타ント 분할 함수와 두이스터마트-헤크만 측도에 적용하기.
• 잔여 이론과 콘 분해 기법을 이용하여 분할 함수의 생성함수 항등식에 대한 새로운 증명 제공하기.

제안 방법

• 격자 위에서의 박스 스플라인의 푸리에 변환과 이산 합 간의 관계를 밝혀내기 위해 푸아송 합성 공식 사용.
• 지수 함수 $ e^{i t_k y_k} $ 를 포함한 단위 초입에서의 가중 적분을 통해 매개변수화된 박스 스플라인 $ B(\nabla, \mathbf{y}) $ 도입.
• 원래의 이산 함수를 컨볼루션으로부터 복원하기 위해 무한 급수로 정의된 토드 연산자 $ \mathrm{Todd}(\nabla, \partial) $ 적용.
• 매개변수 $ \lambda + t\epsilon $ 를 사용한 해석적 계속성과 일반 벡터 $ \epsilon $ 가 양의 콘 내에 있을 때 $ t \to 0^+ $ 로의 근사 방법 사용.
• 칸 분해와 해석적 계속성을 활용하여 확대된 칸 $ \tau - Z(\Phi) $ 상에서 조각별 해석 함수 $ T^\tau(\Phi, \mathbf{y}) $ 정의.
• 잔여 이론과 콘 분해 기법을 통한 증명으로, 기존의 분할 함수 생성함수에 대한 결과와의 동치성을 입증함.

실험 결과

연구 질문

• RQ1 다멘-마이클리의 역디컨볼루션 공식은 어떻게 복소 매개변수 $ \mathbf{y} $ 를 가진 박스 스플라인으로 일반화될 수 있는가?
• RQ2 격자 상의 이산 함수에 대해, 이동 및 매개변수화된 박스 스플라인과의 컨볼루션으로부터 통일된 복원 공식을 유도할 수 있는가?
• RQ3 코스타ント 분할 함수의 생성함수와 매개변수화된 박스 스플라인의 푸리에 변환 간의 관계는 무엇인가?
• RQ4 역디컨볼루션 공식은 격자 상의 이동된 조노토프와 확대된 칸의 경우로 어떻게 확장되는가?
• RQ5 다멘-마이클리의 준다항식 공간의 구조는 매개변수화된 박스 스플라인 컨볼루션으로부터 복원될 수 있는가?

주요 결과

• 모든 $ \lambda \in \Lambda \cap \Delta $ 에 대해 $ m(\lambda) = \lim_{t \to 0^+} \mathrm{Todd}(\nabla, \partial) b(\mathbf{y}, m)(\lambda + t\epsilon) $ 의 역디컨볼루션 공식이 성립하며, 여기서 $ \Delta $ 는 조노토프의 일반적인 이동이다.
• 매개변수 $ \mathbf{y} = 0 $ 일 때, 함수 $ b(0, m) $ 가 도메인 $ \Omega $ 에서 다항식이 되는 것은 $ m $ 가 $ \Omega - Z(\nabla) $ 에서 다항식일 때이고, 다항성의 도메인 간 이중성 관계 수립.
• 코스타ント 분할 함수 $ \mathrm{Trace}_{S_\nu}(e^{i\mathbf{y}}) $ 는 각각의 확대된 칸 $ \tau - Z(\nabla) $ 에서 해석 함수로 표현되며, 이는 다항 스플라인 $ T^\tau(\Phi, \mathbf{y}) $ 의 해석적 계속성에 토드 연산자를 적용하여 얻는다.
• 공식 $ \mathrm{Trace}_{S\nu}(e^{i\mathbf{y}}) = \sum_{s \in \mathcal{V}} s^{-\nu} \left( \mathrm{Todd}([q], \mathbf{y}, s)(\partial) T^\tau(\Phi, \mathbf{y}) \right)|_{q=1} $ 은 분할 함수의 생성함수 항등식에 대한 새로운 증명 제공.
• 다멘-마이클리 준다항식 공간 $ DM(\nabla) $ 는 함수 $ Q(\mathfrak{c}) $ 에 의해 생성되며, 이는 $ Q(\mathfrak{c})(\nu) = 1 $ 이면 $ \nu = 0 $ 이고, $ \nu \in (\mathfrak{c} - Z(\nabla)) \cap \Lambda $ 이면 $ 0 $ 이 되는 성질을 만족하여 알코브 내에서 유일성 확인.