[論文レビュー] The inducibility of oriented stars

Ping Hu, Jie Ma+2 more|arXiv (Cornell University)|Aug 12, 2020

Limits and Structures in Graph Theory参考文献 14被引用数 4

ひとこと要約

本稿は、中心の出次数が $k$ で、入次数が $\ell$ である向き付けられた星 $S_{k,\ell}$ が7頂点以上の場合の誘導可能性を決定する。問題をパラメータ $\alpha$ と $d$ に関する多項式最適化に還元することで、$\alpha$, $d$, 二項係数を含む最大化された式を用いた漸近的公式が得られる。極値構成は向き付けられた完全二部グラフに基づく。

ABSTRACT

We consider the problem of maximizing the number of induced copies of an oriented star $S_{k,\ell}$ in digraphs of given size, where the center of the star has out-degree $k$ and in-degree $\ell$. The case $k\ell=0$ was solved by Huang. Here, we asymptotically solve it for all other oriented stars with at least seven vertices.

研究の動機と目的

• $k+\ell \geq 6$ かつ $k \geq \ell \geq 1$ を満たす向き付けられた星 $S_{k,\ell}$ の誘導可能性を決定すること。これにより、既存の結果（$\ell = 0$ または $k = \ell = 1$ の場合に限る）を拡張する。
• このような向き付けられた星の誘導可能性が、特定の辺密度と分割比を持つ完全二部グラフの向き付けによって漸近的に達成されることを確立すること。
• 誘導可能性の計算をパラメータ $\alpha$ と $d$ に関する多項式最適化問題に還元し、最大密度を明示的な式で与えること。
• 導出された公式が、$k+\ell \geq 6$ かつ $k \geq \ell \geq 1$ を満たすすべてのケースに拡張可能であると予想すること。ただし、小さなケースでは新たな技術を要する可能性がある。
• 極値構成の安定性を証明し、誘導可能性が最大値に近い任意の有向グラフは、最適な二部グラフの向き付けと構造的に近いものでなければならないことを示すこと。

提案手法

• 本稿は確率的技法を用い、分割比が $\alpha$ と $1-\alpha$ の比例に従う完全二部グラフのランダムな向き付けにおける $S_{k,\ell}$ の誘導部分グラフの期待数を分析する。辺密度は $X$ から $Y$ へ $d$ で与えられる。
• 下界を、$\alpha \in [0,\frac{1}{2}]$ および $d \in [0,\frac{k}{k+\ell}]$ の範囲で、次式の最適化により得る： $$ \alpha(1-\alpha)^{k+\ell}d^k(1-d)^\ell + \frac{(k-1)^{k-1}\ell^\ell}{(k+\ell-1)^{k+\ell-1}}(1-\alpha)\alpha^{k+\ell}(1-d) $$
• 上界は安定性の議論により確立され、誘導可能性が高水準にある任意の有向グラフは、最適な二部グラフ構成と構造的に近いものでなければならない。
• 証明は、特に最適点 $(\alpha, d) \approx \left(\frac{1}{k+\ell+1}, \frac{k}{k+\ell}\right)$ の周囲でのテイラー展開を用いた不等式と漸近的推定に依存する。
• 特に $k = \ell$ の場合、誘導可能性は $$ \frac{(2k+1)!}{2^{2k}(k!)^2} \cdot \max_\alpha \left\{ \alpha(1-\alpha)^{2k} + (1-\alpha)\alpha^{2k} \right\} $$ で与えられる。一方、$k > \ell$ の場合は、$d$ と $1-d$ の $k$ 乗および $\ell$ 乗を含むより複雑な式が用いられる。
• 技術的推定は付録Aにおける詳細な計算により支持され、$(k,\ell) = (2,1)$ のような小さなケースについてはフラグ代数を用いた数値近似が提供されている。

実験結果

リサーチクエスチョン

• RQ1 $k+\ell \geq 6$ かつ $k \geq \ell \geq 1$ を満たす向き付けられた星 $S_{k,\ell}$ の誘導可能性は、$\ell = 0$ または $k = \ell = 1$ の場合に既知の結果が得られているが、それ以外のケースではどのように定まるか？
• RQ2 このような向き付けられた星の誘導可能性は、パラメータ $\alpha$ と $d$ に関する多項式最適化問題の解として表現可能か？
• RQ3 $S_{k,\ell}$ の誘導可能性の極値構成は、特定の分割比と辺密度比を持つ向き付けられた完全二部グラフによって漸近的に実現可能か？
• RQ4 最適な有向グラフ構造は安定性を示すか？ つまり、誘導可能性が最大値に近い任意の有向グラフは、最適な二部グラフの向き付けと構造的に近いものでなければならないか？
• RQ5 本稿で導出された最適化の公式は、$(k,\ell) = (2,1), (3,1), (4,1)$ のような小さなケースに拡張可能か？ それとも、新たな技術を要するか？

主な発見

• $k \geq \ell \geq 1$ かつ $k+\ell \geq 6$ を満たす $S_{k,\ell}$ の誘導可能性は、$\alpha \in [0,\frac{1}{2}]$ および $d \in [0,\frac{k}{k+\ell}]$ の範囲で最大化された $\alpha$ と $d$ の多項式の閉形式式で与えられる。
• $k = \ell$ の場合、誘導可能性は $$ \frac{(2k+1)!}{2^{2k}(k!)^2} \cdot \max_\alpha \left\{ \alpha(1-\alpha)^{2k} + (1-\alpha)\alpha^{2k} \right\} $$ で与えられ、星の両方向に対して対称的である。
• $k > \ell$ の場合、誘導可能性は $$ \frac{(k+\ell+1)!}{k!\ell!} \cdot \max_{\alpha,d} \left\{ \alpha(1-\alpha)^{k+\ell}d^k(1-d)^\ell + \frac{(k-1)^{k-1}\ell^\ell}{(k+\ell-1)^{k+\ell-1}}(1-\alpha)\alpha^{k+\ell}(1-d) \right\} $$ で与えられ、出次数と入次数の非対称性を反映している。
• 最適パラメータは漸近的に $\alpha \approx \frac{1}{k+\ell+1}$ および $d \approx \frac{k}{k+\ell}$ であり、高次の補正項はテイラー展開により与えられる。
• $k=4, \ell=2$ の場合、最初の数桁の有効数字において近似誤差が $10^{-8}$ 未満であるため、公式の数値的精度が極めて高いことが示された。
• 安定性の結果により、誘導可能性が最大値に近い任意の有向グラフは、最適な向き付けられた完全二部グラフと構造的に近いものでなければならないことが示され、分割サイズおよび辺分布のずれが制御可能である。