[論文レビュー] Diagonal asymptotics for symmetric rational functions via ACSV

Yuliy Baryshnikov, Stephen Melczer+2 more|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|Apr 29, 2018

Advanced Combinatorial Mathematics参考文献 3被引用数 5

ひとこと要約

本稿は、対称的多変数線形多項式 $Q$ の形の $1/Q$ である対称的有理関数の対角漸近展開を導出するために、複数変数における解析的組合せ論（ACSV）を適用する。Gillis-Reznick-Zeilberger（GRZ）クラス $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）クラス $1 - e_1 + c e_d$ において $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}_*$ におけるヘッセ行列の行列式と位相関数の最適化を用いて、支配的漸近項を計算する。
• $Q$ のアモーバの補集合における留数理論とチェーン構成を用いて、特異点 $\mathbf{z}_*$ の高さ以下の積分サイクルを変形する。
• $Q$、$G$、および臨界点 $\mathbf{pt}$ から支配的滑らか漸近展開を計算する Maple 手続き `smoothASM` の実装。

実験結果

リサーチクエスチョン

• RQ1 対称的有理関数 $1/Q$（$Q$ は多変数線形）の対角係数 $\delta_n = a_{n,\dots,n}$ の漸近的挙動は何か？
• RQ2 Gillis-Reznick-Zeilberger（GRZ）族 $1 - e_1 + c e_d$ において、なぜ係数の指数的成長率が $c = (d-1)^{d-1}$ で不連続に低下するのか？
• RQ3 対称的多変数線形有理関数に対してACSV手法をどのように簡素化・自動化できるか？
• RQ4 アモーバの補集合の構造は何か？ そして、係数漸近展開にどのように影響するか？
• RQ5 GRZの場合におけるラクナ現象を、ACSVとサイクル変形を用いて厳密に説明できるか？

主な発見

• ACSVにより、$c = (d-1)^{d-1}$ におけるGRZ族の対角係数の指数的成長率の不連続な低下が、すべての $d \geq 4$ で確認された。
• $d \geq 4$ で偶数であり、$c = c_*$ のGRZケースにおいて、$\mathbf{z}_* = (1/d, \dots, 1/d)$ における特異点は重複度2であり、最小モジュラスの根として一意である。
• ACSVフレームワークにより、相転移は根の配置における位相的変化として説明される：$c$ が $c_*$ を超えると、二重根が2つの共役根に分裂する。
• 対称的有理関数の対角母関数 $\textsf{diag}_F(z)$ はD-有限であり、多項式係数の線形微分方程式を満たす。
• $c < c_*$ の場合、対角係数の漸近展開は単一の滑らかな臨界点に支配され、$c = c_*$ で特異点構造が変化し、成長率が異なるものに変わる。
• ACSVアルゴリズムの Maple 実装が提供され、ヘッセ行列と勾配データを用いて支配的滑らか漸近展開の計算を自動化している。