[논문 리뷰] Diagonal asymptotics for symmetric rational functions via ACSV

Yuliy Baryshnikov, Stephen Melczer외 2명|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2018. 04. 29.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 5

한 줄 요약

이 논문은 다변수 해석적 조합론(ACSV)을 적용하여 대칭 유리함수 $1/Q$의 대각선 점근적 성질을 유도한다. 여기서 $Q$는 대칭 다항식이다. Gillis-Reznick-Zeilberger 계열인 $1 - e_1 + c e_d$의 경우, $c = (d-1)^{d-1}$에서 지수 성장률의 불연속적인 감소를 설명하며, 이는 ACSV 기하학과 특이점 분석을 통해 이전에 관측된 상전이를 해명한다.

ABSTRACT

We consider asymptotics of power series coefficients of rational functions of the form $1/Q$ where $Q$ is a symmetric multilinear polynomial. We review a number of such cases from the literature, chiefly concerned either with positivity of coefficients or diagonal asymptotics. We then analyze coefficient asymptotics using ACSV (Analytic Combinatorics in Several Variables) methods. While ACSV sometimes requires considerable overhead and geometric computation, in the case of symmetric multilinear rational functions there are some reductions that streamline the analysis. Our results include diagonal asymptotics across entire classes of functions, for example the general 3-variable case and the Gillis-Reznick-Zeilberger (GRZ) case, where the denominator in terms of elementary symmetric functions is $1 - e_1 + c e_d$ in any number $d$ of variables. The ACSV analysis also explains a discontinuous drop in exponential growth rate for the GRZ class at the parameter value $c = (d-1)^{d-1}$, previously observed for $d=4$ only by separately computing diagonal recurrences for critical and noncritical values of $c$.

연구 동기 및 목표

• ACSV 방법을 사용하여 대칭 유리 생성함수의 점근적 분석을 확장한다.
• Gillis-Reznick-Zeilberger(그리스-레즈닉-자일버거, GRZ) 계열에서 $c = (d-1)^{d-1}$에서 관측된 지수 성장률의 불연속적인 감소를 설명한다.
• 대칭성과 기하학적 단순화를 활용하여 대칭 다중선형 유리함수에 대한 ACSV 계산을 단순화하고 자동화한다.
• 일반 3변수 케이스와 $d$변수 GRZ 가족을 포함한 전체 계열에 대해 대각선 점근적 성질을 제공한다.
• 체계적인 분석적 프레임워크를 통해 이전의 양성 및 계수 점근적 성질 결과들을 통합하고 일반화한다.

제안 방법

• 다항식 $Q$가 $d$변수에서 대칭적이고 다중선형인 $F = 1/Q$ 유리함수에 ACSV를 적용한다.
• 다항식의 영점곡선 $\mathcal{V}(Q)$ 상에서 임계점 분석을 통해 매끄럽고 다重점 기여를 식별한다.
• 특이점 분석과 적분 경로의 변형을 위해 $z_d^2 - \sum_{j=1}^{d-1} z_j^2$ 형태의 탄젠트 원뿔 변환을 사용한다.
• 최대화점 $\mathbf{x}_*$에서 헤시안 행렬식과 위상 함수 최적화를 통해 주요 점근적 항을 계산한다.
• 특이점 $\mathbf{z}_*$의 높이 이하로 적분 경로를 변형하기 위해 잔여론 이론과 $Q$의 아모바의 여집합 내에서의 체인 구성 기법을 활용한다.
• Hessian와 기울기 데이터를 사용하여 주요 매끄러운 점근적 성질을 자동 계산하는 Maple 절차 `smoothASM`을 구현한다.

실험 결과

연구 질문

• RQ1 다항식 $Q$가 다중선형인 대칭 유리함수 $1/Q$의 대각선 계수 $\delta_n = a_{n,\dots,n}$의 점근적 행동은 어떠한가?
• RQ2 Gillis-Reznick-Zeilberger 계열 $1 - e_1 + c e_d$에서 계수의 지수 성장률이 왜 $c = (d-1)^{d-1}$에서 불연속적으로 감소하는가?
• RQ3 대칭 다중선형 유리함수에 대해 ACSV 방법을 어떻게 단순화하고 자동화할 수 있는가?
• RQ4 아모바의 여집합의 구조는 어떠하며, 이는 계수 점근적 성질에 어떤 영향을 미치는가?
• RQ5 GRZ 케이스에서의 라쿠나 현상은 ACSV와 경로 변형을 통해 엄밀하게 설명할 수 있는가?

주요 결과

• Gillis-Reznick-Zeilberger 계열에서 대각선 계수의 지수 성장률은 $c = (d-1)^{d-1}$에서 불연속적으로 감소하며, 이는 $d \geq 4$에 대해 ACSV를 통해 확인되었다.
• GRZ 케이스에서 $d \geq 4$이면서 짝수이고 $c = c_*$일 경우, 점 $\mathbf{z}_* = (1/d, \dots, 1/d)$에서 특이점의 중복도가 2이며, 이는 최소 모듈러스 근으로 유일하게 존재한다.
• ACSV 프레임워크는 상전이를 루트의 위치에서의 위상적 변화로 설명한다: 이중근이 $c$가 $c_*$를 초과함에 따라 두 개의 켤레 근으로 분리된다.
• 대칭 유리함수의 대각선 생성함수 $\textsf{diag}_F(z)$는 D-유한하며, 다항계수를 가진 선형 미분방정식을 만족한다.
• 지수 성장률이 $c < c_*$일 경우 주로 하나의 매끄러운 임계점 기여에 의해 결정되며, $c = c_*$에서 특이점의 구조가 변화하여 다른 성장률이 발생한다.
• Hessian와 기울기 데이터를 사용하여 주요 매끄러운 점근적 성질을 자동 계산하는 ACSV 알고리즘의 Maple 구현체가 제공된다.