[論文レビュー] The Asymptotic Number of Simple Singular Vector Tuples of a Cubical Tensor

Jay Pantone|arXiv (Cornell University)|May 19, 2016

Tensor decomposition and applications参考文献 12被引用数 5

ひとこと要約

この論文は、$d$-次元立方テンソル内の単純な特異ベクトルタプルの漸近的成長に関するEkhadとZeilbergerの予想を確認し、多変数漸近解析を用いて支配的漸近的項の正確な公式を、明確な乗法的定数を伴って導出する。さらに、再帰方程式の一般解において、既知の接続定数$(d-1)^d$が、より大きな接続定数$(2d-3)^{d-1}$に比べて支配的でない可能性がある証拠を提示する。

ABSTRACT

S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic $m_1 imes \cdots imes m_d$ tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case $m_1 = \cdots = m_d$. We prove this conjecture and further identify completely the dominant asymptotic term, including the multiplicative constant. Finally, we use the method of differential approximants to conjecture that the subdominant connective constant effect observed by Ekhad and Zeilberger for a particular case in fact occurs more generally.

研究の動機と目的

• EkhadとZeilbergerが提示した、$d$-次元立方テンソル内の単純な特異ベクトルタプルの数に関する漸近的予想を厳密に証明すること。
• 列$C_d(n)$の正確な支配的漸近的項、すなわち乗法的定数を含めたものを特定すること。
• $C_3(n)$および$C_4(n)$で観察された下位支配的接続定数現象が、より高い次元へ一般化されるかどうかを調査すること。
• 生成関数$F_d(x)$の正確な対角計算が計算的に困難であることを探索し、微分近似法を用いて下位支配的特異点を検出すること。

提案手法

• RaichevとWilson（2011, 2012）およびPemantleとWilson（2013）の多変数漸近手法を用い、有理生成関数$A_d(\mathbf{x})$の対角を分析する。
• 多様体$H(\mathbf{x}) = 0$上の最小臨界点の理論を適用し、$C_d(n)$への支配的漸近的寄与を抽出する。
• 最小臨界点における留数を計算し、関連する多変数留数積分を評価することで、正確な漸近的公式を導出する。
• 有限な初期項から成る単変数生成関数$F_d(x)$の特異点を推定するために、微分近似法を用いる。
• 列$C_3(n)$、$C_4(n)$、$C_5(n)$の最初の100項の数値解析を用いて、下位支配的特異点と関連する接続定数を検出する。
• 推定された特異点の位置を既知の接続定数$(d-1)^d$と比較し、より大きな下位支配的定数$(2d-3)^{d-1}$を同定する。

実験結果

リサーチクエスチョン

• RQ1 $d$-次元$n \times \cdots \times n$テンソル内の単純な特異ベクトルタプルの数$C_d(n)$の正確な漸近的挙動は何か？
• RQ2 $C_3(n)$および$C_4(n)$で観察された下位支配的接続定数現象は、すべての$d \geq 3$に対して成立するか？
• RQ3 多変数漸近的手法を用いて、$C_d(n)$の支配的漸近的項（乗法的定数を含む）を厳密に導出できるか？
• RQ4 既知の接続定数$(d-1)^d$は真に支配的であるのか、それとも再帰方程式の一般解においてより大きな下位支配的指数的成長率が存在するか？

主な発見

• 列$C_d(n)$の漸近的公式は、$d \geq 3$に対して、$$C_d(n) = \frac{(d-1)^{d-1}}{(2\pi)^{(d-1)/2}d^{(d-2)/2}(d-2)^{(3d-1)/2}} \cdot ((d-1)^d)^n \cdot n^{(1-d)/2} \left(1 + O\left(\frac{1}{n}\right)\right)$$ と証明された。
• 支配的指数的成長率、すなわち接続定数は$(d-1)^d$であり、これはEkhadとZeilbergerの予想と一致する。
• $C_3(n)$の下位支配的接続定数は9と推定され、支配的定数8より大きい。このパターンは$C_4(n)$と$C_5(n)$に対しても同様に観察され、それぞれ下位支配的定数は125および2401である。
• 微分近似法により、$C_3(n)$では$x \approx 1/8$、$1/9$、$C_4(n)$では$x \approx 1/81$、$1/125$、$C_5(n)$では$x \approx 1/1024$、$1/2401$に特異点が検出され、下位支配的接続定数を示唆する。
• 証拠は、すべての$d \geq 3$に対して、接続定数$(d-1)^d$が$(2d-3)^{d-1}$に下位支配的であるという予想を支持する。
• 微分近似法は、$d \geq 5$では正確な再帰計算が不可能であっても、下位支配的特異点を効果的に検出できた。