Semidefinite approximations for bicliques and biindependent pairs

Monique Laurent,Sven Polak,Luis Felipe Vargas
2024-01-09
Abstract:We investigate some graph parameters dealing with biindependent pairs $(A,B)$ in a bipartite graph $G=(V_1\cup V_2,E)$, i.e., pairs $(A,B)$ where $A\subseteq V_1$, $B\subseteq V_2$ and $A\cup B$ is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality $|A\cup B|$ one finds the stability number $\alpha(G)$, well-known to be polynomial-time computable. When maximizing the product $|A|\cdot |B|$ one finds the parameter $g(G)$, shown to be NP-hard by Peeters (2003), and when maximizing the ratio $|A|\cdot |B|/|A\cup B|$ one finds $h(G)$, introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that $h(G)$ is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph $G$ has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for $g(G)$, $h(G)$, and $\alpha_{\text{bal}}(G)$ (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász $\vartheta$-number, a well-known semidefinite bound on $\alpha(G)$. In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).
Combinatorics,Optimization and Control
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on several parameters in graph theory and their complexity analysis. Specifically, the authors studied the properties of bi - independent pairs in bipartite graphs and explored how these properties can be applied to the bicliques problem in general graphs. The following are the main problems and goals of the paper: 1. **Define and study parameters**: - **Stability number \(\alpha(G)\)**: This refers to the size of the largest independent set in the bipartite graph \(G\), that is, the size \(|A|+|B|\) of the largest bi - independent pair \((A, B)\). - **Parameter \(g(G)\)**: This refers to maximizing the product \(|A|\cdot|B|\) of the bi - independent pair \((A, B)\). - **Parameter \(h(G)\)**: This refers to maximizing the ratio \(\frac{|A|\cdot|B|}{|A| + |B|}\) of the bi - independent pair \((A, B)\). - **Balanced parameter \(\alpha_{\text{bal}}(G)\)**: This refers to the size of the largest balanced bi - independent pair \((A, B)\), where \(|A|=|B|\). - **Balanced parameters \(g_{\text{bal}}(G)\) and \(h_{\text{bal}}(G)\)**: These parameters correspond to \(g(G)\) and \(h(G)\) respectively, but are restricted to balanced bi - independent pairs. 2. **Complexity analysis**: - The authors proved that determining whether a bipartite graph has a balanced maximum independent set (i.e., \(\alpha(G)=\alpha_{\text{bal}}(G)\)) is an NP - complete problem. - It is thus deduced that computing \(h(G)\) is an NP - hard problem. - Further, the authors also proved that determining whether the following equations hold is also NP - hard: - \(g(G)=g_{\text{bal}}(G)\) - \(h(G)=h_{\text{bal}}(G)\) - \(h(G)=\frac{1}{4}\alpha(G)\) - \(\frac{1}{2}\sqrt{g(G)}=\frac{1}{4}\alpha(G)\) - \(h(G)=\frac{1}{2}\sqrt{g(G)}\) 3. **Semidefinite programming bounds**: - The authors introduced semidefinite programming (SDP) bounds to approximate \(g(G)\) and \(h(G)\), and showed that these bounds can be regarded as natural variants of the well - known Lovász \(\vartheta\) number. - Specifically, they defined \(g_1(G)\) and \(h_1(G)\) as the first - order SDP bounds and proved the relationships between these bounds and \(\vartheta(G)\). 4. **Eigenvalue bounds**: - For an \(r\)-regular bipartite graph \(G\), the authors gave closed - form bounds based on eigenvalues, which can further improve the existing bounds. - For example, for an \(r\)-regular bipartite graph \(G\), they obtained eigenvalue bounds for \(g_1(G)\) and \(h_1(G)\) and proved that these bounds are strict in some cases. 5. **Applications**: - The paper also discussed the applications of these parameters in practical problems, such as in cross - intersecting set families, the nonnegative rank of a matrix, and product - free subsets in groups.