[논문 리뷰] On some lower bounds on the number of bicliques needed to cover a bipartite graph

Dirk Oliver Theis|arXiv (Cornell University)|2007. 08. 08.

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에 대해 성립함을 보임.
• 모든 이분 그래프에 대해 bc(G) ≤ (max_Q rk Q)² × log|G|라는 추측을 제기함으로써, 랭크 기반 하한이 로그 인자까지 거의 날것 그대로의 tightness를 가지는지 제안함.

제안 방법

• G의 간선들을 정점으로 하는 그래프 X(G)를 정의하며, 이는 두 간선이 완전 이분부분그래프를 이루지 않을 경우 간선으로 연결된다.
• 색수 χ(X(G))가 이분 클리크 커버링 수 bc(G)와 같고, 클리크 수 ω(X(G))가 피루잉 세트 하한 fool(G)와 같음을 증명한다.
• Turán 정리를 사용하여, 간선 수가 적은 G의 유도 부분그래프 H에서의 완전 매칭이 X(G)에서 큰 클리크를 유도함으로써, |H|와 ||H||에 따라 fool(G)의 하한을 도출한다.
• 테이저 거듭제곱 기법을 적용: 행렬 M에 대해 M^⊗j를 고려하고, j → ∞ 일 때 fool(M^⊗j)^(1/j) → fool^∞(M) 임을 이용한다.
• 랭크 분해 Q = XY를 사용하여, 피루잉 세트의 갯수는 정규직교성에 기반한 텐서 x_i ⊗ y_i에 의해 최대 (rk Q)² 이하임을 보인다.
• 랭크 ≤ 4이고 피루잉 세트 크기가 6인 6×6 행렬 M을 구성한 후, 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|로 bound되는가?

주요 결과

• 논문은 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)²를 증명함으로써, 1994년 Dietzfelbinger 등이 얻은 결과를 일반화하였다.
• 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| 라는 추측을 제기하며, 이는 랭크 기반 하한이 로그 인자까지 거의 tight하다는 가능성을 시사한다.