[論文レビュー] The combinatorics of the leading root of the partial theta function

Thomas Prellberg|arXiv (Cornell University)|Sep 29, 2012

Advanced Combinatorial Mathematics参考文献 9被引用数 4

ひとこと要約

この論文は、部分トータル関数 $\Theta_0(x,q) = \sum_{n=0}^\infty x^n q^{\binom{n}{2}}$ の主根 $-x_0(q) = 1 + q + 2q^2 + 4q^3 + 9q^4 + \cdots$ の形式的冪級数展開における係数の組合せ的解釈を提供する。これらの係数は、総面積で重み付けされたスタック・ポリオミノまたはフェルファーズ図形で豊かにされた根付き木を数えるものであり、木の各段階における異なる豊かさのパターンを通じて、非可算個の同値な組合せ的モデルの族を確立する。

ABSTRACT

Recently Alan Sokal studied the leading root $x_0(q)$ of the partial theta function $Θ_0(x,q)=\sum\limits_{n=0}^\infty x^nq^{\binom n2}$, considered as a formal power series. He proved that all the coefficients of $$-x_0(q)=1+q+2q^2+4q^3+9q^4+...$$ are positive integers. I give here an explicit combinatorial interpretation of these coefficients. More precisely, I show that $-x_0(q)$ enumerates rooted trees that are enriched by certain polyominoes, weighted according to their total area.

研究の動機と目的

• 部分トータル関数 $\Theta_0(x,q)$ の主根 $-x_0(q)$ の形式的冪級数展開における正の整数係数の組合せ的解釈を提供すること。
• $\xi_0(q)$ が満たす関数方程式と、スタック・ポリオミノやフェルファーズ図形のような組合せ的構造との間の関係を確立すること。
• 異なる木の段階における豊かさルールに基づく複数の異なる組合せ的モデルが、$\xi_0(q)$ の同一の母関数を生成することを示すこと。
• スプライト理論と木の豊かさ構成を用いた $\xi_0(q)$ の反復的構成を一般化し、異なる豊かさ列にわたる同数性を示すこと。

提案手法

• ソカラの部分トータル関数および $q$-ポッホハマー記号に関する恒等式を用いて、$\xi_0(q)$ に対する2つの関数方程式 (5) と (6) を導出する。
• スタック・ポリオミノ ($S_q$) とフェルファーズ図形 ($F_q$) のスプライトを定義し、空の対象を追加し、面積 ($q$) で重み付けする。サイズは $S_q$ では上昇量、$F_q$ では幅で定義される。
• 各段階で $S_q$ と $F_q$ を交互に用いたシーケンスで豊かにされた根付き木を構成し、$\sigma \in \{0,1\}^\mathbb{N}$ でパrameter化する。頂点数（$t$）と面積（$q$）で数える生成関数 $A_\sigma(t,q)$ を定義する。
• スタック・ポリオミノとフェルファーズ図形の再帰的構造を用いて、組合せ的構成を関数方程式で記述する生成関数 $G(x,y,a,q)$ と $H(x,y,a,q)$ を導出する。
• 組合せ的スプライト理論と再帰的木構成の理論を適用し、すべてのこのような豊かにされた木モデルが同じ総面積生成関数 $A_\sigma(1,q) = \xi_0(q)$ をもつことを示す。
• $[q^n]\xi_0(q)$ の漸近的成長を分析し、$[q^n]\xi_0(q) \sim A \mu^n n^{-3/2}$ の形の平方根特異性を示唆する。これは組合せ的母関数における既知の特異挙動と整合する。

実験結果

リサーチクエスチョン

• RQ1 部分トータル関数の主根 $-x_0(q)$ の冪級数展開における正の整数係数の背後にある組合せ的構造は何か？
• RQ2 関数方程式 (5) と (6) は、ポリオミノと木構造の観点からどのように組み合わせ的に解釈できるか？
• RQ3 同一の母関数 $\xi_0(q)$ を生成する複数の異なる組合せ的モデルが存在するか？もしそうなら、それらはどのように関係しているか？
• RQ4 ソカラの研究における $\xi_0(q)$ の反復的構成は、スタック・ポリオミノまたはフェルファーズ図形で豊かにされた根付き木を構築するプロセスとして解釈可能か？
• RQ5 係数 $[q^n]\xi_0(q)$ の漸近的挙動は何か？また、解析的組合せ論における特異性解析の予測と一致するか？

主な発見

• $\xi_0(q) = 1 + q + 2q^2 + 4q^3 + 9q^4 + 21q^5 + \cdots$ の係数は、総面積で重み付けされたスタック・ポリオミノまたはフェルファーズ図形で豊かにされた根付き木を数える。
• 非可算個の組合せ的モデルの族が存在し、各モデルはシーケンス $\sigma \in \{0,1\}^\mathbb{N}$ でインデックス付けされる。段階 $i$ において $\sigma_i = 0$ ならスタック・ポリオミノで、$\sigma_i = 1$ ならフェルファーズ図形で豊かにされ、すべてのモデルが同じ母関数 $\xi_0(q)$ をもつ。
• 総面積が 3 の場合、各 $\sigma$ の選択に対して正確に4つの異なる豊かにされた木が得られ、異なる豊かさパターン間での同数性が確認される。
• シーケンス $\sigma$ に従って豊かにされた木の生成関数 $A_\sigma(t,q)$ は $A_\sigma(1,q) = \xi_0(q)$ を満たす。これは、固定された面積に対してすべてのモデルが同数であることを証明する。
• $[q^n]\xi_0(q)$ の漸近的成長は、平方根特異性と整合し、$[q^n]\xi_0(q) \sim A \mu^n n^{-3/2}$ となる。ここで $\mu \approx 3.2336$ である。
• 関数方程式 (5) と (6) は、木の豊かさ構造の再帰的構成として解釈され、$\xi_0(q)$ は反復的スプライト構成の固定点として現れる。