[论文解读] On some lower bounds on the number of bicliques needed to cover a bipartite graph

Dirk Oliver Theis|arXiv (Cornell University)|Aug 8, 2007

graph theory and CDMA systems参考文献 34被引用 4

一句话总结

本文建立了一个二分图双团覆盖数的下界层级，证明了 Jukna-Kulikov 的下界（jk）始终小于或等于反证集下界（fool），后者又小于或等于无穷张量幂反证集下界（fool^∞），最终小于或等于具有相同支撑的所有矩阵中最小秩的平方。关键贡献在于构造了一类新图，其反证集下界超过布尔秩的 log₄6 ≈ 1.2924 次方，优于以往的构造。

ABSTRACT

The biclique covering number of a bipartite graph G is the minimum number of complete bipartite subgraphs (bicliques) whose union contains every edge of G. In this little note we compare three lower bounds on the biclique covering number: A bound jk(G) proposed by Jukna & Kulikov (Discrete Math. 2009); the well-known fooling set bound fool(G); the "tensor-power" fooling set bound fool^\infty(G). We show jk \le fool le fool^\infty \le min_Q (rk Q)^2, where the minimum is taken over all matrices with a certain zero/nonzero-pattern. Only the first inequality is really novel, the third one generalizes a result of Dietzfelbinger, Hromkovič, Schnitger (1994). We also give examples for which fool \ge (rk)^{log_4 6} improving on Dietzfelbinger et al.

研究动机与目标

• 比较并关联三个已知的双团覆盖数下界：jk(G)、fool(G) 和 fool^∞(G)。
• 证明 Jukna-Kulikov 下界（jk）始终小于或等于反证集下界（fool），这是本文的新贡献。
• 通过构造一个无穷图族，使反证集下界的增长速度超过秩的平方，具体指数为 log₄6，从而改进现有下界。
• 推广 Dietzfelbinger 等人的结果，证明 fool^∞(G) ≤ min_Q (rk Q)²，其中 Q 与 G 具有相同的支撑。
• 提出猜想：双团覆盖数受 (max_Q rk Q)² × log|G| 限制，暗示基于秩的下界可能仅差一个对数因子。

提出的方法

• 定义 X(G) 为一个图，其顶点为 G 的边，若一对边不构成完全二分图子图，则在它们之间连边。
• 证明图 X(G) 的色数 χ(X(G)) 等于双团覆盖数 bc(G)，且其团数 ω(X(G)) 等于反证集下界 fool(G)。
• 利用 Turán 定理，证明在 G 的边数较少的诱导子图 H 中，若存在完美匹配，则可在 X(G) 中诱导出一个大团，从而得到 fool(G) 关于 |H| 和 ||H|| 的下界。
• 应用张量幂技巧：对矩阵 M，考虑 M^⊗j，并利用 fool(M^⊗j)^(1/j) → fool^∞(M) 当 j → ∞ 时的性质。
• 利用秩分解 Q = XY，通过张量 x_i ⊗ y_i 的正交性，证明反证集的边数至多为 (rk Q)²。
• 构造一个 6×6 矩阵 M，满足其秩 ≤ 4 且反证集大小为 6；再利用张量幂 M^⊗k，证明 fool(M^⊗k) ≥ (rk(M^⊗k))^{log₄6}。

实验结果

研究问题

• RQ1 Jukna-Kulikov 下界（jk）是否始终是双团覆盖数的有效下界？其与反证集下界（fool）相比如何？
• RQ2 反证集下界（fool）是否可严格大于布尔秩的平方？若是，其超出程度为何？
• RQ3 张量幂反证集下界（fool^∞）是否为双团覆盖数提供了比支持等价矩阵中最小秩平方更紧的上界？
• RQ4 能否构造一个无穷图族，使反证集下界超过布尔秩的更高次方，且该指数高于以往已知结果？
• RQ5 如猜想所示，双团覆盖数是否对所有二分图均满足 bc(G) ≤ (max_Q rk Q)² × log|G|？

主要发现

• 本文证明了 jk(G) ≤ fool(G) ≤ fool^∞(G) ≤ min_Q (rk Q)²，建立了双团覆盖数下界的一个层级结构。
• 证明了 jk(G) 始终小于或等于反证集下界，这是此前文献中未被建立的新结果。
• 本文构造了一个无穷图族 (G_k)，使得 fool(G_k) ≥ rk(M(G_k))^{log₄6}，其中 log₄6 ≈ 1.2924，优于此前的指数 log₃4 ≈ 1.262。
• 通过张量幂技巧，证明了 fool^∞(G) ≤ min_Q (rk Q)²，推广了 Dietzfelbinger 等人 1994 年的结果。
• 通过构造一个满足 fool(M) = 6 且 rk(M) ≤ 4 的矩阵 M，得到 M^⊗k 满足 fool(M^⊗k) ≥ 6^k 且 rk(M^⊗k) ≤ 4^k，从而得出改进后的指数 log₄6。
• 作者提出猜想：bc(G) ≤ (max_Q rk Q)² × log|G|，暗示基于秩的下界仅差一个对数因子，可能近乎紧致。