[논문 리뷰] Asymptotics of coefficients of multivariate generating functions: improvements for smooth points

Alexander Raichev, Mark C. Wilson|arXiv (Cornell University)|2008. 03. 20.

Polynomial and algebraic computation참고 문헌 14인용 수 23

한 줄 요약

이 논문은 다변수 생성함수 F = G/H^p에서 계수의 전체 점근 전개에 대한 균일하고 명시적인 공식을 개발한다. 여기서 H는 해석적이고 p는 양의 정수이다. 다변수 특이점 분석과 푸리에-라플라스 적분을 사용하여, 이전 연구에서 제공한 바와 같이 주로 첫 번째 항만을 다루는 데서 벗어나, 전 항을 포함한 전개를 제공함으로써, 격자 경로, 양자 랜덤 워크, 겹치지 않는 패턴과 같은 조합적 수열의 더 정확한 수치 근사치를 가능하게 한다.

ABSTRACT

Let $\sum_{\beta\in ats^d} F_\beta x^\beta$ be a multivariate power series. For example $\sum F_\beta x^\beta$ could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function $F=G/H^p$ where $G$ and $H$ are holomorphic and $p$ is a positive integer. Given a direction $\alpha\in\pnats^d$ for which the asymptotics are controlled by a smooth point of the singular variety $H = 0$, we compute the asymptotics of $F_{n \alpha}$ as $n o\infty$. We do this via multivariate singularity analysis and give an explicit formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our examples.

연구 동기 및 목표

• 이전의 다변수 특이점 분석 연구를 확장하여, 주로 첫 번째 항만이 아닌 전체 점근 전개를 유도하는 것.
• n → ∞일 때 F_{nα}의 점근 전개에 대해 모든 방향 α ∈ ℕ₊^d에서 유효한 균일한 공식을 제공하는 것.
• 비교적 높은 순서의 항들을 포함시킴으로써 조합적 응용에서 수치 정확도를 향상시키는 것.
• 점근 전개가 α에 대해 균일하게 유효하고 성립하는 비퇴화성 및 임계점 조건을 규명하는 것.
• 실제 계산을 위해 원래의 데이터 G와 H로 표현된 점근 공식을 제공하는 것.

제안 방법

• F = G/H^p에 다변수 특이점 분석을 적용하여, H = 0의 다양체에서의 매끄럽고 엄격히 최소이며 임계적이고 고립된 점에 집중한다.
• 음함수정리(implicit function theorem)를 사용하여, 매끄러운 점 근처에서 한 변수를 나머지 변수들로 표현함으로써 문제를 낮은 차원의 적분으로 축소시킨다.
• 임계점 근처에서 F의 국소적 행동을 코딩하기 위해 보조 함수 u_j, e_g, e_u_j를 정의한다.
• 계수 추출을 푸리에-라플라스 적분으로 변환하고, Hörmander 및 Elst의 조화적 적분의 점근 전개에 관한 정리를 적용한다.
• 위상 함수와 진폭 함수의 도함수를 포함하는 미분 연산자 L_k(e_u_j, e_g)를 사용하여 전개의 모든 계수에 대한 명시적 공식을 도출한다.
• g와 u의 도함수에 따라 big-oh 상수를 유계화함으로써 α에 대해 전개의 균일성을 증명한다.

실험 결과

연구 질문

• RQ1 매끄러운 특이점을 가진 다변수 생성함수 F = G/H^p에 대해, 주로 첫 번째 항을 넘는 전체 점근 전개를 도출할 수 있는가?
• RQ2 방향 α ∈ ℕ₊^d에 대해 F_{nα}의 점근 전개를 어떻게 균일하게 만들 수 있는가?
• RQ3 임계점이 비퇴화적일 경우, 전개의 모든 고차항에 대한 명시적 공식은 무엇인가?
• RQ4 전개에 여러 항을 포함시키면, 단일 항 근사치에 비해 수치 정확도가 어떻게 향상되는가?
• RQ5 매개변수 p는 계수의 점근적 구조에 어떤 역할을 하는가?

주요 결과

• 논문은 p ≥ 1 및 d ≥ 2인 모든 경우에 대해, n → ∞일 때 F_{nα}의 전체 점근 전개에 대한 균일하고 명시적인 공식을 제공한다. 이는 이전 연구가 p = 1과 첫 번째 항에 국한된 바를 확장한다.
• d = 2 이고 임계점이 비퇴화적일 경우, 전개는 정리 3.3에 의해 주어지며, 위상 함수의 첫 번째로 영이 아닌 도함수의 차수인 v에 대해 (nα_d)^{-2k/v} 형태의 항을 포함한다.
• 생성함수 W = A(x)/(1 - yB(x))를 가진 격자 경로의 예에서, 스냅 수의 기대값 E(ψ_n)는 점근적으로 3/4 n − 15/32 + O(n^{-1})이며, 이는 n = 8일 때 이원항 근사치로 상대 오차를 50%에서 1% 미만으로 줄인다.
• 양자 랜덤 워크와 겹치지 않는 패턴의 경우, 고차항(예: n^{-5/3} 항)을 포함시킴으로써, 단일 항 근사치에 비해 상대 오차가 최대 두 자리 수준 감소한다.
• 점근 전개는 α에 대해 균일하게 유효하며, big-oh 상수는 위상 함수와 진폭 함수의 유한 차수까지의 도함수의 상한에 의해 유계화되어 있다.
• 이 방법은 Maple 11에 구현되었으며, 예제들은 다항 전개가 단일 항 전개에 비해 훨씬 더 정확한 수치 근사치를 제공한다는 것을 보여준다.