[論文レビュー] Forcing and anti-forcing polynomials of perfect matchings of a pyrene system

Kai Deng, Saihua Liu+1 more|arXiv (Cornell University)|Apr 10, 2020

Graph theory and applications参考文献 36被引用数 11

ひとこと要約

本稿では、ヘキサゴナル・システムの一種であるピレン系における完全マッチングの強制多項式および反強制多項式の明示的公式を導出する。ピレン系に $ n $ 個の断片がある場合、反強制スペクトルが $[n, 3n]$ であることが確立され、すべての完全マッチングにおける反強制数の和についての正確な母関数および漸近的表現が提供される。

ABSTRACT

The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.

研究の動機と目的

• ピレン系における完全マッチングの強制および反強制多項式の明示的表現を構築すること。
• すべての完全マッチングにわたる強制および反強制数の分布を特徴付ける、ピレン系の強制および反強制スペクトルを特定すること。
• すべての完全マッチングにわたる反強制数の和を分析し、その漸近的挙動を導出すること。
• 反強制多項式およびその $ x=1 $ における微分の再帰的関係と閉形式母関数を確立すること。

提案手法

• ピレン系 $ H_n $ の構造的分解に基づき、反強制多項式 $ Af(H_n, x) $ の再帰的関係を導出し、係数が変化する線形再帰に帰着する。
• 母関数を用いて再帰を、$ (3 - 2\bar{2}) $ および $ (3 + 2\bar{2}) $ の累乗を含む閉形式表現に変換し、係数の正確な計算を可能にする。
• 反強制多項式の微分を適用して、すべての完全マッチングにわたる反強制数の和を $ x = 1 $ で評価する。
• 特徴方程式の根 $ 3 \pm 2\sqrt{2} $ を用いて、反強制数の和の4階線形再帰を解き、漸近的公式を導出する。
• 組合せ的恒等式および多項係数展開を用いて、反強制多項式の係数を二項係数および多項係数の和として表現する。
• 初期条件の確認と $ n \geq 5 $ における一貫性の確認により、漸近的公式の妥当性を検証し、小さい $ n $ に対しても検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 ピレン系における完全マッチングの強制および反強制多項式の明示的形は何か？
• RQ2 $ n $ 個の断片を持つピレン系における強制および反強制数のスペクトルは何か？
• RQ3 すべての完全マッチングにわたる反強制数の和は、$ n $ に対してどのように漸近的に増加するか？
• RQ4 ピレン系における反強制数の最小値および最大値は正確に何であるか？
• RQ5 ピレン系における反強制多項式の母関数は閉形式で表現可能か？

主な発見

• ピレン系 $ H_n $ の反強制多項式は、$ Af(H_n, x) = x^n \sum_{l=0}^{2n} \sum_{i=\lceil (l+2n)/4 \rceil}^{n} \sum_{j=\lceil l/2 \rceil}^{l} (-1)^{n-i} 2^{2i-n} \binom{i}{2i-n} \binom{2i-n}{j} \binom{j}{l-j} x^l $ で与えられる。
• $ H_n $ の最小反強制数は $ af(H_n) = n $、最大は $ Af(H_n) = 3n $ であり、反強制スペクトルは $ [n, 3n] $ である。
• すべての完全マッチングにわたる反強制数の和 $ AF_n $ は、$ n \to \infty $ のとき漸近的に $ AF_n \sim \left( \frac{17+12\sqrt{2}}{16} \right) n (3+2\sqrt{2})^n $ を満たす。
• すべての完全マッチングの数を $ \Phi_n $ とするとき、正規化された和 $ \frac{AF_n}{n \Phi_n} $ は $ n \to \infty $ のとき $ 1 + \frac{3\sqrt{2}}{4} \approx 1.673 $ に収束する。
• 反強制数の和の再帰的関係は $ AF_n = 12AF_{n-1} - 38AF_{n-2} + 12AF_{n-3} - AF_{n-4} $ であり、初期値は $ AF_5 = 70956 $、$ AF_6 = 496794 $、$ AF_7 = 3380640 $、$ AF_8 = 22531256 $ である。
• 反強制多項式の母関数は $ G(t) = \sum_{n=0}^\infty Af(H_n, x) t^n = \frac{1}{1 - ((2x^3 + 2x^2 + 2x)t - x^2 t^2)} $ で与えられる。