[論文レビュー] Some variants of the exponential formula, with application to the multivariate Tutte polynomial (alias Potts model)

Alex Scott, Alan D. Sokal|ArXiv.org|Mar 10, 2008

Theoretical and Computational Physics参考文献 59被引用数 8

ひとこと要約

本稿は組合せ論における指数関数の新規な変種を導入し、多変数 Tutte 多項式（Potts モデルの分配関数）へ一般化する。新たな畳み込み恒等式と、分割格子上の一般化 Möbius 反転を確立し、再帰的関係および母関数を用いた Tutte 多項式係数の体系的計算を可能にする。

ABSTRACT

We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice.

研究の動機と目的

• 古典的指数関数の公式を、多変数 Tutte 多項式および Potts モデルに適用可能な新規な変種へ拡張すること。
• 二項型列およびパラメータ q₁, q₂ を含む母関数に関する新たな畳み込み恒等式を導出すること。
• 二パラメータ族関数 μq₁,q₂ を用いた分割格子上の Möbius 反転を一般化すること。
• Riordan や Kreweras、Mallows–Riordan–Kreweras の既知の組合せ的恒等式を統一・拡張すること。
• 再帰的関係および母関数を用いた Tutte 多項式係数の計算のための整合的フレームワークを提供すること。

提案手法

• C(x) を列 {cn} の指数母関数とする一般化指数母関数 Aq(x) = exp[qC(x)] を導出。これにより、an(q) は q に関する多項式となる。
• 重要な恒等式を確立：an(q₁ + q₂) = ∑ₖ₌₀ⁿ (n choose k) ak(q₁) an−k(q₂) および n·ân(q₁ + q₂) = ∑ₖ₌₁ⁿ (n choose k)k·ân(q₁)an−k(q₂)。これらは畳み込み構造と微分構造を結びつける。
• 分割格子 Π(S) 上に二パラメータ Möbius 関数 μq₁,q₂ を導入。母関数 Fq₁,q₂(x) = q₂⁻¹[(1 + q₁x)^{q₂/q₁} - 1] を持つ。これにより一般化反転が可能になる。
• μq₁,q₂ と μq₂,q₃ の合成が μq₁,q₃ を与えることを証明。これにより、q 依存の再帰的計算のための整合的構造が確立される。
• 多変数 Tutte 多項式への応用として、Fq(π) = ∑σ f(σ)μq₀,q(σ,π) の恒等式を用い、初期条件 Fq₀ = f を満たす。これにより再帰的評価が可能になる。
• 母関数の合成および型理論を用いて、恒等式の組合せ的解釈を提供。特に連結成分およびグラフ構造の観点から解釈する。

実験結果

リサーチクエスチョン

• RQ1 古典的指数関数の公式を、畳み込みおよび微分恒等式を保ちつつ、q₁ と q₂ のパラメータを含む形に一般化することは可能か？
• RQ2 分割格子上の Möbius 反転を二パラメータ族 μq₁,q₂ に一般化することは可能か？ その代数的および組合せ的性質は何か？
• RQ3 一般化指数関数の公式と多変数 Tutte 多項式（Potts モデルの分配関数）との関係は何か？
• RQ4 新しい恒等式は、Riordan–Nijenhuis–Wilf–Kreweras の連結グラフ数え上げ恒等式や、Mallows–Riordan–Kreweras の木の反転数え上げ恒等式を拡張するか？
• RQ5 再帰的構造 an(q) = q∑ₖ₌₁ⁿ (n−1 choose k−1)ck an−k(q) を q ≠ 0 の場合に一般化し、より広いクラスの解ける再帰的関係を得ることは可能か？

主な発見

• 本稿は、Aq(x) = exp[qC(x)] が畳み込み恒等式 an(q₁ + q₂) = ∑ₖ₌₀ⁿ (n choose k) ak(q₁) an−k(q₂) を満たすことを証明。これは古典的指数関数の公式を一般化する。
• 微分に基づく恒等式 n·ân(q₁ + q₂) = ∑ₖ₌₁ⁿ (n choose k)k·ân(q₁)an−k(q₂) を確立。q₁ = 0 のとき標準的再帰式に還元される。
• 二パラメータ Möbius 関数 μq₁,q₂ を分割格子上に定義。指数母関数は Fq₁,q₂(x) = q₂⁻¹[(1 + q₁x)^{q₂/q₁} - 1] であり、合成性質 Fq₂,q₃(Fq₁,q₂(x)) = Fq₁,q₃(x) を満たす。
• 母関数の合成を用いて一般化 Möbius 反転を証明。恒等式 Fq₁·μq₁,q₂ = Fq₂ が成り立ち、q 依存計算の整合性が保証される。
• フレームワークは多変数 Tutte 多項式に直接適用可能。Fq(π) = ∏B∈π ŽG[B](q, v) と定め、最大分割 π = 1̂ で評価すると、Fq(1̂) = ∑π μq₀,q(π,1̂) ∏B∈π ŽG[B](q₀, v) により全 Tutte 多項式が得られる。
• 結果は既知の恒等式を統一・拡張する。Riordan–Kreweras の連結グラフに関する恒等式および Mallows–Riordan–Kreweras の木の反転数え上げ恒等式は、一般化フレームワークの特別な場合として示される。