[论文解读] An extension of Maclaurin's inequalities

Vladimir Nikiforov|arXiv (Cornell University)|Aug 8, 2006

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文通过在团上引入加权对称和，将Maclaurin不等式推广至一般图，证明了对于任意图 $G$ 和所有非负顶点权向量 $\mathbf{x}$，序列 $ ho_s(G,\mathbf{x})^{1/s}$ 关于 $s$ 非增，其中 $ ho_s$ 通过 $\binom{\omega}{s}$ 对 $s$-团和进行归一化。核心贡献在于提出了一种统一的解析证明，推广了Motzkin–Straus与Khadzhiivanov的经典结果，并通过均衡 $\omega$-部结构精确刻画了等式成立的条件。

ABSTRACT

We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense equaivalent. These results complete and extend earlier results of Motzkin and Straus, Khadzhiivanov, Sos and Straus, Fisher and Ryan, and Petingi and Rodriguez.

研究动机与目标

• 通过加权团和将Maclaurin不等式从完全图推广至任意图。
• 在统一的解析框架下，统一并扩展Motzkin–Straus、Khadzhiivanov、Sf3s–Straus与Fisher–Ryan的先前结果。
• 确定归一化 $s$-团均值相等的确切条件，解决长期存在的等式刻画空白。

提出的方法

• 定义 $f_s(G,\mathbf{x})$ 为图 $G$ 中所有 $s$-团上顶点权乘积之和，且 $\rho_s(G,\mathbf{x}) = f_s(G,\mathbf{x}) \binom{\omega}{s}^{-1}$，其中 $\omega$ 为团数。
• 利用齐次性与约束优化，证明对所有 $\mathbf{x} \geq 0$，有不等式 $\rho_1(G,\mathbf{x}) \geq \rho_2(G,\mathbf{x})^{1/2} \geq \cdots \geq \rho_\omega(G,\mathbf{x})^{1/\omega}$。
• 使用拉格朗日乘子法，并通过引理2的迭代扰动，证明在 $f_s = 1$ 约束下，$f_{s+1}$ 的最大值在支撑集诱导出完全图时取得。
• 对支撑集上的诱导子图应用Maclaurin不等式，推导出不等式链。
• 通过证明 $s$-团的顶点集必须诱导出一个各部分总权重相等的完全 $\omega$-部图，刻画 $\rho_s^{1/s} = \rho_{s+1}^{1/(s+1)}$ 的等式成立条件。
• 建立加权不等式与组合不等式 $\frac{k_1(G)}{\binom{\omega}{1}} \geq \left(\frac{k_2(G)}{\binom{\omega}{2}}\right)^{1/2} \geq \cdots \geq \left(\frac{k_\omega(G)}{\binom{\omega}{\omega}}\right)^{1/\omega}$ 之间的等价性，其中 $k_s(G)$ 表示 $s$-团的数量。

实验结果

研究问题

• RQ1 对于图 $G$ 和非负权向量 $\mathbf{x}$，归一化 $s$-团和 $\rho_s(G,\mathbf{x})^{1/s}$ 在何种条件下对所有 $s$ 保持恒定？
• RQ2 如何将Maclaurin的经典对称均值不等式从完全图推广至任意图？
• RQ3 在何种图结构与权分配下，可实现广义Maclaurin不等式的等式？
• RQ4 加权不等式与组合团计数不等式之间的等价性如何产生？
• RQ5 广义Maclaurin不等式的等式情形是否能通过图的划分与权分布完全刻画？

主要发现

• 对所有图 $G$ 和所有 $\mathbf{x} \geq 0$，不等式 $\rho_1(G,\mathbf{x}) \geq \rho_2(G,\mathbf{x})^{1/2} \geq \cdots \geq \rho_\omega(G,\mathbf{x})^{1/\omega}$ 成立，将Maclaurin不等式从 $K_n$ 推广至任意图。
• 等式 $\rho_s^{1/s}(G,\mathbf{x}) = \rho_{s+1}^{1/(s+1)}(G,\mathbf{x})$ 成立当且仅当 $s$-团的顶点集所诱导的子图是各部分总权重相等的完全 $\omega$-部图。
• 该不等式等价于组合不等式链 $\frac{k_1(G)}{\binom{\omega}{1}} \geq \left(\frac{k_2(G)}{\binom{\omega}{2}}\right)^{1/2} \geq \cdots \geq \left(\frac{k_\omega(G)}{\binom{\omega}{\omega}}\right)^{1/\omega}$，其中 $k_s(G)$ 表示 $s$-团的数量。
• 该结果在 $\mathbf{x}$ 为全1向量时，蕴含Turán定理与Zykov定理作为特例。
• 证明表明，在 $f_s(G,\mathbf{x}) = 1$ 约束下，$f_{s+1}(G,\mathbf{x})$ 的最大值在非零权值支持于大小不超过 $\omega$ 的团上时取得，且最优结构为支撑集上的完全图。
• 等式情形解决了Khadzhiivanov早期工作中存在的缺陷：其错误地陈述了等式条件，本文证明等式要求同时具备完全 $\omega$-部结构与各部分权重均衡。