[논문 리뷰] The Ehrhart Function for Symbols

Victor Guillemin, Shlomo Sternberg외 1명|arXiv (Cornell University)|2006. 01. 29.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 7

한 줄 요약

이 논문은 잔여항이 있는 오일러-매클로린 공식을 사용하여 다항형homogeneous 기호에 대해 에르하르트 다항식 정리의 일반화를 수행하며, 확대된 다면체 내 격자점 위에서 기호의 합에 대한 점근 전개를 도출한다. 핵심 결과는 합과 적분의 차이를 다항식의 차수를 초월하는 미분 연산자로 적용한 결과에, 다면체에 의존하지 않는 상수 정규화 항이 보정된 공식이다.

ABSTRACT

We derive an Ehrhart function for symbols from the Euler-MacLaurin formula with remainder.

연구 동기 및 목표

• 정규 단순 다면체 위에서 다항식에서 다항형homogeneous 기호로 에르하르트 정리의 일반화를 이루는 것.
• 확대된 다면체 내 격자점 위에서 기호의 합에 대한 점근 전개를 도출하는 것.
• 기호에 적용된 오일러-매클로린 공식에서 필요로 하는 정규화 상수 C를 특정하고 특성화하는 것.
• 정규화 상수 C가 다면체에 독립적이며, 합과 적분의 차이에서 유래된다는 것을 보여주는 것.

제안 방법

• 확대된 다면체 내 격자점 위에서 다항형homogeneous 기호의 합에 잔여항이 있는 오일러-매클로린 공식을 적용하는 것.
• 카호브스키-푸크리코프 공식을 기초로 삼아, 점근 전개를 통해 다항식에서 기호로의 일반화를 수행하는 것.
• 잔여항을 해석적으로 계속시키기 위해 게이지된 기호 $ f(x,s) $ 를 도입하고, 정규화 상수 $ C(s) $ 를 해석적 함수로 정의하는 것.
• 재정의된 조건 $ \operatorname{Re} s < -r - n $ 에서 $ C = \lim_{N \to \infty} \left( \sum_{\ell \in N\Delta \cap \mathbb{Z}^n} f(\ell) - \int_{N\Delta} f(x) dx \right) $ 를 통해 상수 $ C $ 를 계산하는 것.
• 기호 $ f \sim \sum_{\ell} f_\ell $ 의 점근 전개를 사용하여 합과 적분을 동차 성분으로 분해하는 것.
• 합과 적분의 차이 $ p_w(N,f) - \tilde{p}(N,0,f) $ 가 토드 연산자를 적분에 적용한 결과에 상수 $ C $ 가 더해진 점근 전개를 갖는다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 정규 단순 다면체 위에서 다항식에서 다항형homogeneous 기호로 에르하르트 다항식 정리의 일반화는 어떻게 수행할 수 있는가?
• RQ2 함수가 다항식이 아니라 기호일 경우 카호브스키-푸크리코프 공식의 올바른 일반화 형태는 무엇인가?
• RQ3 왜 기호에 대한 오일러-매클로린 공식은 다항식의 경우에 존재하지 않는 정규화 상수가 필요로 하는가?
• RQ4 정규화 상수 $ C $ 는 어떻게 정의되며, 그 해석적 및 기하학적 성질은 무엇인가?
• RQ5 정규화 상수 $ C $ 는 다면체 $ \Delta $ 에 독립적인가, 그리고 만약 그렇다면 그 이유는 무엇인가?

주요 결과

• 확대된 다면체 $ N\Delta $ 내 격자점 위에서 다항형homogeneous 기호 $ f $ 의 합과 그 적분 사이의 차이는 $ N $ 의 거듭제곱으로 표현되는 점근 전개를 갖는다.
• 이 점근 전개는 $ \left( \mathop{\bf M}\left(\frac{\partial}{\partial h}\right) - \mathrm{Id} \right) \tilde{p}(N,h,f) \big|_{h=0} + C $ 로 주어지며, 여기서 $ \mathop{\bf M} $ 은 토드 연산자이고 $ C $ 는 상수이다.
• 상수 $ C $ 는 다면체 $ \Delta $ 에 독립적이며, 오직 기호 $ f $ 에만 의존하며, $ \operatorname{Re} s < -r - n $ 에서 $ C = \sum_{\ell \in \mathbb{Z}^n} f(\ell) - \int_{\mathbb{R}^n} f(x) dx $ 로 주어진다.
• 정규화 상수 $ C(s) $ 는 $ s $ 에 대해 해석적이며 전체 함수로 확장되며, $ C = C(0) $ 를 만족한다.
• 점근 전개는 모든 $ N \in \mathbb{Z}_+ $ 에 대해 유효하며, 전개의 각 항은 기호의 유한한 수의 동차 성분만 포함한다.
• 이 방법은 게이지된 기호 $ f(x,s) $ 로 일반화 가능하여, 정규화 상수 $ C(s) $ 가 해석적 계속을 통해 정의되고 무한대에서의 극한을 통해 정의될 수 있다.