---
title: Fractional Biclique Partition Number
url: https://www.emergentmind.com/topics/fractional-biclique-partition-number
type: topic
---

# Fractional Biclique Partition Number

Searching arXiv for the cited paper and closely related work on biclique partitions, fractional binary rank, and Kronecker products.
The fractional biclique partition number is the linear-programming relaxation of the biclique partition number of a bipartite graph. For a bipartite graph $G=(U,V,E)$ with biclique family $\mathcal{B}$, it assigns nonnegative weights to bicliques so that every edge is covered with total weight exactly $1$, and it minimizes the total biclique weight. In the matrix formulation, it coincides with the fractional binary rank of the bipartite adjacency matrix. The treatment in "Engineering Insights into Biclique Partitions and Fractional Binary Ranks of Matrices" [2502.06730] places the notion in the setting of Kronecker powers, establishes its equivalence to fractional binary matrix factorization, develops a column-generation framework for computing it, and shows by explicit counterexample that it is not multiplicative under the Kronecker product.

## 1. Definition and basic LP formulation

Let $G=(U,V,E)$ be a bipartite graph with $E\subseteq U\times V$. A biclique is a complete bipartite subgraph $B=K_{S,T}$ induced by $S\subseteq U$ and $T\subseteq V$, with edge set $S\times T$ [2502.06730]. The biclique partition number $bp(G)$ is the smallest number of bicliques whose edge sets form a partition of $E$: every edge must belong to exactly one selected biclique, and no edge may be used twice.

The fractional biclique partition number, denoted here by $bp_f(G)$, is the LP relaxation of $bp(G)$:
$$
\text{Minimize } \sum_{B\in\mathcal{B}} w_B
$$
subject to
$$
\sum_{B\ni e} w_B = 1 \quad \text{for all } e\in E,
$$
$$
w_B \ge 0 \quad \text{for all } B\in\mathcal{B}.
$$
The equality constraints are essential: fractional partitions require exact edge coverage, not merely sufficient coverage [2502.06730].

A closely related quantity is the fractional biclique cover number $bc_f(G)$, defined by the LP
$$
\text{Minimize } \sum_{B\in\mathcal{B}} w_B
$$
subject to
$$
\sum_{B\ni e} w_B \ge 1 \quad \text{for all } e\in E,
$$
$$
w_B \ge 0 \quad \text{for all } B\in\mathcal{B}.
$$
Since the feasible region of $bc_f(G)$ contains that of $bp_f(G)$, one has
$$
bc_f(G)\le bp_f(G).
$$

This distinction between partition and cover is structurally important. A recurring misconception is that the fractional partition and fractional cover numbers should behave similarly because both are LP relaxations over the same biclique family. The data in [2502.06730] shows that they can differ substantially, both numerically and in their behavior under Kronecker products.

## 2. Matrix-theoretic equivalences

Let $A\in\{0,1\}^{m\times n}$ be the bipartite adjacency matrix of $G$, with $A_{ij}=1$ if and only if $(i,j)\in E$. The paper recalls the classical equivalence
$$
\operatorname{rank}_{01}(A)=bp(G),
$$
where $\operatorname{rank}_{01}(A)$ is the binary rank: the smallest $r$ such that there exist binary matrices $U\in\{0,1\}^{m\times r}$ and $V\in\{0,1\}^{r\times n}$ with $UV=A$ under ordinary arithmetic [2502.06730].

The fractional binary rank, denoted $\operatorname{rank}_{f01}(A)$ in the paper, is obtained by allowing a nonnegative diagonal matrix $\Lambda\in\operatorname{diag}([0,1]^r)$:
$$
\text{Minimize } \operatorname{tr}(\Lambda)
$$
subject to
$$
U\Lambda V=A,
$$
with $U\in\{0,1\}^{m\times r}$, $V\in\{0,1\}^{r\times n}$, and diagonal entries $\Lambda_{tt}\in[0,1]$. The paper establishes the equivalence
$$
\operatorname{rank}_{f01}(A)=bp_f(G).
$$

The cover analogue is also identified. The Boolean rank $\operatorname{rank}_{01\updownarrow}(A)$ equals the biclique cover number $bc(G)$, and its fractional relaxation $\operatorname{rank}_{f01\updownarrow}(A)$ equals $bc_f(G)$ [2502.06730]. These correspondences make the fractional biclique partition number simultaneously a graph covering parameter, a matrix factorization parameter, and an LP relaxation of an exact combinatorial decomposition problem.

The paper also recalls the fooling-set, or isolating-set, lower bound. A fooling set in $A$ is a set of ones such that no two lie in a common all-ones submatrix; equivalently, it is a maximum induced matching in $G$. If $i(A)$ denotes the size of a maximum fooling set, then
$$
i(A)\le bc_f(G)\le bp_f(G).
$$
Thus the fractional biclique cover number is at least as strong as the widely used fooling-set bound [2502.06730].

## 3. Kronecker products and asymptotic behavior

For binary matrices $A\in\{0,1\}^{m\times n}$ and $B\in\{0,1\}^{p\times q}$, the Kronecker product $A\otimes B$ is the $(mp)\times(nq)$ block matrix whose $(i,j)$-block is $A_{ij}B$. If $G_A$ and $G_B$ are the corresponding bipartite graphs, then the product graph $G_A\times G_B$ has bipartition $(U_A\times U_B,\,V_A\times V_B)$ and an edge $((u,u'),(v,v'))$ whenever $(u,v)\in E(G_A)$ and $(u',v')\in E(G_B)$; its adjacency matrix is $A\otimes B$ [2502.06730].

Writing
$$
fbr(A):=\operatorname{rank}_{f01}(A)=bp_f(G_A),
$$
the asymptotic fractional binary rank is defined as
$$
fbr^*(A):=\lim_{k\to\infty}\bigl(fbr(A^{\otimes k})\bigr)^{1/k}.
$$
The paper uses geometric normalization via the $k$th root, not normalization by $k$. Existence of the limit follows from submultiplicativity and Fekete’s lemma [2502.06730].

The central structural result is non-multiplicativity:
$$
fbr(A\otimes B)<fbr(A)\,fbr(B)
$$
for some binary matrices $A,B$. The explicit counterexample in the paper is the Domino matrix $D$, for which
$$
fbr(D\otimes D)=6
\quad\text{while}\quad
fbr(D)^2=(2.5)^2=6.25.
$$
Hence the fractional binary rank is not multiplicative with respect to $\otimes$ [2502.06730].

This has an immediate asymptotic consequence. Since strict submultiplicativity occurs already at the second Kronecker power, the asymptotic quantity $fbr^*(A)$ can be strictly smaller than the one-shot value $fbr(A)$. The paper exhibits this separation explicitly for the Domino.

## 4. The Domino graph as the canonical case study

The Domino graph $D$ is the bipartite graph with bipartition sizes $m=n=3$ and adjacency matrix
$$
D=
\begin{bmatrix}
1&1&0\\
1&1&1\\
0&1&1
\end{bmatrix}.
$$
Equivalently, with $U=\{1,2,3\}$ and $V=\{4,5,6\}$, its edges are
$(1,4)$, $(1,5)$, $(2,4)$, $(2,5)$, $(2,6)$, $(3,5)$, $(3,6)$ [2502.06730].

For the base graph, the paper gives an explicit fractional biclique partition showing
$$
fbr(D)=bp_f(D)=2.5,
$$
and also shows
$$
bc_f(D)=2.
$$
Optimality of $bp_f(D)=2.5$ is certified by a dual witness $y^*$ satisfying $M^T y^*\le 1$ and $\sum_e y_e^*=2.5$ [2502.06730].

For the second Kronecker power, the paper constructs an explicit fractional biclique partition of $D\otimes D$ using $12$ bicliques of weight $0.5$ each, yielding
$$
fbr(D\otimes D)=6<6.25=fbr(D)^2.
$$
A matching dual certificate shows optimality at $6$ [2502.06730]. This is the explicit obstruction to multiplicativity.

The paper further computes $fbr(D^{\otimes k})$ for $k=1,2,3,4,5$ and reports the corresponding $k$th roots:

| $k$ | $fbr(D^{\otimes k})$ | $\bigl(fbr(D^{\otimes k})\bigr)^{1/k}$ |
|---|---:|---:|
| 1 | 2.5 | 2.5 |
| 2 | 6 | 2.449490 |
| 3 | 13.818792 | 2.399699 |
| 4 | 32.040389 | 2.379164 |
| 5 | 75.201302 | 2.372712 |

Combining these computations with the analytical lower bound described below, the paper reports
$$
fbr^*(D)\in[2,\,2.372713].
$$
This yields a strict gap
$$
fbr^*(D)<fbr(D),
$$
demonstrating that asymptotic fractional binary rank can improve over the base fractional rank [2502.06730].

## 5. Column generation and computational engineering

Direct enumeration of all bicliques is infeasible for Kronecker powers. For $D^{\otimes k}$, the number of edges is $|E|=7^k$, the number of maximal bicliques grows as $4^k$, and the total number of bicliques is $\Omega(4^{2^k})$ because one maximal biclique has size $2^k\times 2^k$, yielding $(2^{2^k}-1)^2$ sub-bicliques [2502.06730]. The paper therefore formulates the computation of $bp_f(G)$ through column generation.

The restricted master LP is the partition LP over a current subset $\mathcal{B}_R\subseteq\mathcal{B}$:
$$
\text{Minimize } \sum_{B\in\mathcal{B}_R} w_B
$$
subject to
$$
\sum_{B\ni e} w_B = 1 \quad \text{for all } e\in E,
\qquad
w_B\ge 0 \quad \text{for all } B\in\mathcal{B}_R.
$$
Its dual is
$$
\text{Maximize } \sum_{e\in E} y_e
$$
subject to
$$
\sum_{e\in B} y_e \le 1 \quad \text{for all } B\in\mathcal{B}_R.
$$
For a biclique $B\notin\mathcal{B}_R$, the reduced cost is
$$
rc(B)=1-\sum_{e\in B} y_e^*.
$$
Any biclique with $\sum_{e\in B} y_e^*>1+\varepsilon$, with $\varepsilon\approx 10^{-6}$ in the experiments, has negative reduced cost and can improve the primal objective [2502.06730].

Pricing is handled in two stages. First, the inclusion-wise maximal bicliques of the current graph are computed using MBEA [Zhang 2014]. Then, for each maximal biclique $\mathcal{B}_t$, the paper solves an ILP for the maximum-sum sub-biclique under the dual weights:
$$
\text{Maximize } \sum_{i,j} y_{ij}^* s_{ij}
$$
subject to
$$
s_{ij}\le r_i,\qquad
s_{ij}\le c_j,\qquad
s_{ij}\ge r_i+c_j-1,
$$
with $r_i,c_j\in\{0,1\}$ and $s_{ij}\in\{0,1\}$. Here $r_i$ selects left vertices, $c_j$ selects right vertices, and $s_{ij}$ indicates whether edge $(i,j)$ is included, ensuring that the selected edges form a biclique [2502.06730]. These pricing problems are solved independently per maximal biclique and in parallel using Gurobi 10.0.

The paper emphasizes engineering choices for initialization and memory control. Initial biclique sets include trivial feasible sets such as star bicliques, all bicliques for small base graphs, and an inductive construction for Kronecker powers:
if $\mathcal{B}_1$ and $\mathcal{B}_k$ are feasible sets for $A$ and $A^{\otimes k}$, then
$$
\mathcal{B}_{k+1}:=\{B\otimes B' : B\in\mathcal{B}_1,\ B'\in\mathcal{B}_k\}
$$
is feasible for $A^{\otimes(k+1)}$ [2502.06730]. Using only bicliques with positive weight in the optimal solutions for $A$ and $A^{\otimes k}$ gives a strong warm start for $k+1$.

To control memory and runtime, the paper prunes biclique columns whose dual constraints are slack in more than $3$ successive iterations. Pruned columns may later reappear through pricing. With this heuristic, iteration time for $bp_f(D^{\otimes 5})$ decreased from approximately $1.5$ hours to approximately $50$ minutes; the full computation required $1456$ column-generation iterations. The reported hardware was $24$ physical cores ($48$ logical threads), an Intel Xeon E5-2680 v3 @2.50 GHz, and $256$ GB RAM. Gurobi 10.0 was used with the concurrent optimizer, and barrier plus crossover was fastest. In the final iterations, barrier took approximately $5$ minutes, while crossover could take up to approximately $8$ hours [2502.06730].

The paper notes that $k=6$ was out of reach with the available computational resources because of memory limits in building the initial master problem. This indicates that the current bottleneck is not merely pricing difficulty but also the size of the warm-start column pool.

## 6. Bounds, comparisons, and unresolved questions

The lower-bound structure begins with
$$
bc_f(G)\le bp_f(G),
$$
or in matrix form,
$$
\operatorname{rank}_{f01\updownarrow}(A)\le \operatorname{rank}_{f01}(A).
$$
The fooling-set bound refines this to
$$
i(A)\le bc_f(G)\le bp_f(G),
$$
so the fractional biclique cover number is at least as strong as the isolating-set bound and can improve it strictly. The paper gives the example of the Crown graph $\overline{I}_5$, for which
$$
i(\overline{I}_5)=3
\quad\text{while}\quad
bc_f(\overline{I}_5)=10/3
$$
[2502.06730].

For Kronecker products, the paper proves a stronger inequality:
$$
bp_f(A\otimes A')\ge \max\{bc_f(A)\,bp_f(A'),\ bp_f(A)\,bc_f(A')\}.
$$
The proof sketch is a projection argument: from an optimal fractional partition of $A\otimes A'$, one groups bicliques by projection onto $A$; the total weight in each block $a_{ij}A'$ is at least $bp_f(A')$; after normalization by $bp_f(A')$, one obtains a feasible fractional cover of $A$ [2502.06730]. Applying the same argument symmetrically yields the maximum bound.

Taking $A'=A^{\otimes(k-1)}$ gives
$$
bp_f(A^{\otimes k})\ge bp_f(A)\,bc_f(A)^{k-1},
$$
hence
$$
\bigl(bp_f(A^{\otimes k})\bigr)^{1/k}\ge bc_f(A)\Bigl(\frac{bp_f(A)}{bc_f(A)}\Bigr)^{1/k},
$$
and therefore
$$
fbr^*(A)\ge bc_f(A).
$$
Together with submultiplicativity and the integral inequality, the paper records the chain
$$
i(A)\le bc_f(A)\le fbr^*(A)\le fbr(A)\le bp(G).
$$

A crucial contrast is that $bc_f$ is multiplicative under $\otimes$:
$$
bc_f(A\otimes B)=bc_f(A)\,bc_f(B),
$$
whereas $fbr$ is not [2502.06730]. This separates the fractional partition problem from the fractional cover problem at a structural level.

The broader unresolved issue concerns the integral, not fractional, setting. The paper cites the longstanding open problem of whether
$$
\operatorname{rank}_{01}(A\otimes B)=\operatorname{rank}_{01}(A)\operatorname{rank}_{01}(B)
$$
for all binary matrices $A,B$, equivalently whether
$$
bp(G_A\otimes G_B)=bp(G_A)\,bp(G_B).
$$
The results in [2502.06730] do not settle this question, but they show that the fractional relaxation behaves differently from fractional Boolean rank and can exhibit strict asymptotic improvement. The paper further states that biclique covers and partitions are connected to nondeterministic and deterministic communication complexity, and that the asymptotic fractional rank informs rates and limits in product constructions. A plausible implication is that sharper understanding of $bp_f$ may affect both matrix factorization theory and product-based complexity bounds.

The Domino case summarizes the present state of knowledge in concrete form:
$$
fbr(D)=2.5,\qquad bc_f(D)=2,\qquad fbr(D\otimes D)=6<6.25,
$$
and
$$
fbr^*(D)\in[2,\,2.372713].
$$
Within the scope of [2502.06730], these facts establish that the fractional biclique partition number is not multiplicative under Kronecker products, that its asymptotic counterpart can be strictly smaller than its base value, and that progress on tighter asymptotic bounds is currently constrained by both combinatorial explosion and large-scale LP engineering.

Source: https://www.emergentmind.com/topics/fractional-biclique-partition-number