--- title: 'Bipartiteness Ratio: Spectral & Algorithmic Analysis' url: https://www.emergentmind.com/topics/bipartiteness-ratio type: topic --- # Bipartiteness Ratio: Spectral & Algorithmic Analysis Searching arXiv for relevant papers on bipartiteness ratio and closely related formulations. arXiv search query: "bipartiteness ratio Trevisan graphons cut matching games bipartiteness". Bipartiteness ratio is a cut-based quantitative measure of how closely a graph, or a selected region of a graph, behaves like a bipartite object. In its standard graph-theoretic form, it penalizes edges internal to the two sides of a proposed bipartition and edges leaving the active region, and normalizes these penalties by incident volume. It is the dual counterpart of conductance: conductance is controlled by the bottom of the normalized Laplacian spectrum, whereas bipartiteness ratio is controlled by the top of that spectrum. The notion has been developed in finite graphs, extended to graphons, and used algorithmically for local subgraph extraction, spectral characterization, and flow-based approximation [1209.5045][2507.12847][2502.15213]. ## 1. Definitions and combinatorial meaning In the formulation for an undirected weighted graph \(G=(V,E)\) with weighted degree \(d(v)\), volume \[ vol(S):=\sum_{v\in S} d(v), \] and disjoint sets \(L,R\subseteq V\), the bipartiteness ratio is \[ \beta(L,R)=\frac{2e(L)+2e(R)+e(U,\bar{U})}{vol(U)}, \qquad U:=L\cup R. \] The induced set version is \[ \beta(S):=\min_{(L,R)\,\textrm{partition of }S}\beta(L,R), \] the whole-graph version is \[ \beta(G):=\min_{S\subseteq V}\beta(S), \] and the dense bipartite profile is \[ \beta(k):=\min_{\substack{L,R: L\cap R=\emptyset\\ vol(L\cup R)\leq k}}\beta(L,R). \] These are the definitions used to detect “small dense bipartite-like subgraphs” [1209.5045]. A closely related weighted-vector formulation uses a positive vertex-weight function \(b:V\to \mathbb{Z}_{++}\) and a nonzero vector \(\mathbf{x}\in \{0,\pm 1\}^V\): \[ \beta_b(\mathbf{x}) := \frac{\sum_{e=(i,j)\in E} w(e)\cdot |x_i+x_j|}{\sum_{i\in V} b(i)\cdot |x_i|}, \] with \[ \beta_b(G):=\inf_{\mathbf{x}\in \{-1,0,1\}^V\setminus \{0\}} \beta_b(\mathbf{x}). \] Trevisan’s original bipartiteness ratio is recovered by taking \[ b(i)=\deg(i)\qquad (i\in V), \] so that \[ \beta(G)=\min_{\mathbf{x}\in \{0,\pm1\}^V\setminus\{0\} } \beta(\mathbf{x}). \] If \(\mathbf{x}\) induces the tripartition \[ L=\{i:x_i=1\},\qquad R=\{i:x_i=-1\},\qquad Z=\{i:x_i=0\}, \] then \[ \beta(G)= \min_{\text{$(L,R,Z)$: tripartition of $V$}} \frac{2w(E(L))+2w(E(R))+w(E(L\cup R,Z))}{\operatorname{vol}(L\cup R)}. \] The same paper also records \[ \beta(\mathbf{x}) = 1-2\cdot \frac{w(E(L,R))}{\operatorname{vol}(L\cup R)}, \] so low bipartiteness ratio means that, on the active induced subgraph \(G[L\cup R]\), there is a cut \((L,R)\) that cuts almost all incident edge volume [2507.12847]. | Setting | Quantity | Normalization | |---|---|---| | Finite graph, pair form | \(\beta(L,R)=\frac{2e(L)+2e(R)+e(U,\bar U)}{vol(U)}\) | \(vol(U)\) | | Finite graph, vector form | \(\beta_b(\mathbf{x})=\frac{\sum_{e=(i,j)} w(e)|x_i+x_j|}{\sum_i b(i)|x_i|}\) | \(b(L\cup R)\) | | Graphon | \(B_W(L,R)=\frac{2\eta(L\times L)+2\eta(R\times R)+\eta((L\cup R)\times (L\cup R)^c)}{2\eta((L\cup R)\times I)}\) | \(2\eta((L\cup R)\times I)\) | The numerator has a direct combinatorial interpretation. The terms \(2e(L)\) and \(2e(R)\) count edge mass that stays inside the two sides and therefore fails to be cut by the candidate bipartition, while \(e(U,\bar U)\) counts edge mass that leaves the active region. Since \[ vol(U)=2e(L)+2e(R)+2e(L,R)+e(U,\bar U), \] the only term not penalized is \(2e(L,R)\), the cross-edge mass. This makes bipartiteness ratio the fraction of incident edge volume that does not support a bipartite-like structure [1209.5045]. ## 2. Spectral theory and dual Cheeger structure Bipartiteness ratio is the “dual Cheeger” quantity associated with the top of the normalized Laplacian spectrum. In Trevisan’s inequality, as used for small dense bipartite-like subgraphs, \[ \beta(G)\leq \sqrt{2(2-\lambda_{n-1})}, \] where \(\lambda_{n-1}\) is the largest normalized Laplacian eigenvalue under the paper’s indexing. The same work gives a profile statement: \[ \beta(vol(G)/k^{1-\epsilon})\leq O\!\left(\sqrt{(2-\lambda_{n-k})\log_k n}\right). \] Accordingly, a large \(k\)-th largest Laplacian eigenvalue forces existence of a low-volume set with good bipartite structure [1209.5045]. The weighted-vector formulation makes the dual-Cheeger connection explicit. For the largest eigenvalue \(\lambda_n\) of the normalized Laplacian, the recalled inequality is \[ \frac{2-\lambda_n}{2}\le \beta(G)\le \sqrt{2(2-\lambda_n)}. \] This is the finite-graph analogue of ordinary Cheeger inequalities, but with the top rather than the bottom of the spectrum [2507.12847]. A complementary adjacency-matrix statement is classical for \(d\)-regular graphs: if \(A(G)\) is the normalized adjacency matrix, then \[ \lambda_n(A)=-1 \] if and only if \(G\) is bipartite. In the Cayley-graph setting, non-bipartite expansion forces quantitative separation from \(-1\): if \(G\) is a non-bipartite Cayley graph constructed using a group and a symmetric generating set of size \(d\), then \[ \lambda_n \ge -1 + ch_{out}^2/d^2, \] for \(c\) an absolute constant. The same abstract emphasizes that such a result could not be true for general non-bipartite graphs [2008.05911]. This spectral viewpoint explains why bipartiteness ratio is a dual notion to conductance. Conductance is organized by eigenvalues near \(0\), sparse cuts, and low-expansion communities. Bipartiteness ratio is organized by eigenvalues near \(2\), signed structure, and regions whose incident volume is concentrated on cross edges rather than internal edges [1209.5045][2502.15213]. ## 3. Small dense bipartite-like subgraphs and local extraction One of the main algorithmic uses of bipartiteness ratio is the detection of small dense bipartite-like subgraphs. The central global guarantee is bicriteria. If there exists a subset \(U=(L,R)\) with \[ vol(U)\leq k,\qquad \beta(L,R)\leq \theta, \] where \(\theta<1/4\) and \(k>4\), then for any \(0<\epsilon<1/2\), algorithm \(\verb|SwpDB|\) finds \((X,Y)\) with \[ vol(X\cup Y)\leq 2k^{1+\epsilon}, \] and \[ \beta(X,Y)\leq 4\sqrt{\theta/\epsilon}. \] The corresponding local guarantee states that if \[ vol(U)\leq k,\qquad \beta(L,R)\leq \theta, \] where \(\theta<1/12\) and \(k>2560000\), then there exists \(U_\theta\subseteq U\) such that \[ vol(U_\theta)\geq vol(U)/2, \] and for any \(v\in U_\theta\), \(\verb|LocDB|(G,v,k,\theta,\epsilon)\) finds a subgraph \((X,Y)\) of \[ vol(X\cup Y)=O(k^{1+\epsilon}), \] with \[ \beta(X,Y)=O(\sqrt{\theta/\epsilon}), \] in time \[ O(\epsilon^2\theta^{-2}k^{1+\epsilon}\ln^3 k), \] independent of the size of the graph [1209.5045]. The sweep procedure is a signed analogue of threshold sweeps for conductance. Given a vector \(p\), vertices are ordered by \[ \frac{|p(v_1)|}{d(v_1)}\geq \frac{|p(v_2)|}{d(v_2)}\geq \cdots\geq \frac{|p(v_n)|}{d(v_n)}, \] and the sweep sets are \[ L_i(p):=\{v_j:\ p(v_j)>0 \text{ and } j\leq i\}, \] \[ R_i(p):=\{v_j:\ p(v_j)\leq 0 \text{ and } j\leq i\}, \] \[ S_i(p):=(L_i(p),R_i(p)). \] The algorithm sweeps vectors of the form \[ \chi_v M^t, \] where \[ M:=I-D^{-1}A \] is the quasi-Laplacian. This is coupled with the potential \[ J({\bf p},x):=\max_{\substack{w\in [0,1]^n\\ \sum_{v\in V}w(v)d(v)=x}}\sum_{v\in V}|{\bf p}(v)|w(v), \] which plays the role of a Lovász–Simonovits curve. The convergence lemma states that if \(\beta(L_i(p),R_i(p))\geq \Theta\), then for \(x=vol(S_i(p))\), \[ J(pM,x)\leq J(p, x+\Theta x)+J(p, x-\Theta x). \] This yields upper bounds on propagated indicator vectors unless a good low-volume sweep set appears, while a matching lower bound is produced by any planted low-\(\beta\) region [1209.5045]. The same paper also gives a spectral characterization of the dense bipartite profile by the \(k\)-th largest eigenvalue. If \[ \lambda_{n-k}\geq 2-2\eta, \] then there is a polynomial-time algorithm that, for any \(0<\epsilon<1\), finds \((X,Y)\) of volume at most \[ O(vol(G)/k^{1-\epsilon}) \] and bipartiteness ratio \[ O\!\left(\sqrt{16(\eta/\epsilon)\log_k n}\right). \] This places small-set bipartite structure in direct analogy with higher-order small-set expansion, but at the top of the spectrum rather than the bottom [1209.5045]. ## 4. Flow-based approximation and cut-matching games A later development gives a flow-based \(O(\log n)\)-approximation algorithm for bipartiteness ratio in undirected graphs. The key idea is to pass to a doubled auxiliary graph \[ V'=V^+\cup V^-, \] where each original edge \((i,j)\) becomes the two cross-edges \[ (i^+,j^-)\quad \text{and}\quad (i^-,j^+). \] In this graph, if \(\mathbf{x}\in\{-1,0,1\}^V\setminus\{0\}\) induces \(L,R,Z\) and one defines \[ S:=L^+\cup R^-, \] then \[ \beta_b(\mathbf{x})=\frac{w(E'(S,\overline{S}))}{b(S)}. \] Hence \[ \beta_b(G)= \min_{S=L^+\cup R^-,\ \text{disjoint }L,R\subseteq V} \frac{w(E'(S,\overline{S}))}{b(S)}. \] The optimization becomes a constrained cut problem over cuts with skew-symmetric structure [2507.12847]. The same work introduces a corresponding notion of well-linkedness for skew-symmetric graphs. For a symmetric pair \[ A=L^+\cup R^-, \qquad B=L^-\cup R^+, \] one builds a network \(N_{A,B,r}\) by attaching a super-source and super-sink and giving each edge in \(E'\) capacity \(w(e)/r\). The central flow-cut theorem is \[ \beta_b(G)\ge r \quad \text{if and only if}\quad G' \text{ is } r\text{-well-linked}. \] This is the structural basis for the cut-matching game. The algorithmic theorem is a decision-plus-certificate statement: given \(r\in (0,1]\) with \(1/r\) an integer, Algorithm 1 finds either \(\mathbf{x}\in \{0,\pm1\}^V\setminus\{0\}\) with \(\beta_b(\mathbf{x})0\), the graphon bipartiteness ratio is \[ B_W(L,R) = \frac{ 2\eta(L\times L)+2\eta(R\times R)+\eta\big((L\cup R)\times (L\cup R)^c\big) }{ 2\eta\big((L\cup R)\times I\big) }, \] and \[ B_W := \inf_{\substack{L,R\subseteq I\text{ measurable}\\ L\cap R=\varnothing,\ \mu_L(L\cup R)>0}} B_W(L,R). \] This is presented as the exact graphon analogue of Trevisan’s graph bipartiteness ratio [2502.15213]. The graphon paper also gives a variational characterization through \(\{-1,0,1\}\)-valued functions: \[ B_W = \inf_{\substack{f:I\to\{-1,0,1\}\\ f\in L^2(I,\nu)\setminus\{0\}}} \frac{ \int_I\int_I (f(x)+f(y))^2W(x,y)\,dx\,dy }{ 4\int_I\int_I f(x)^2W(x,y)\,dx\,dy }. \] For the graphon Laplacian \(\Delta_W\), the top of the spectrum is \[ \lambda_{\max} := \sup_{f\in L^2(I,\nu)\setminus\{0\} } \frac{(\Delta_W f,f)_\nu}{(f,f)_\nu}, \] and one has the identity \[ 2-\lambda_{\max} = \inf_{f\in L^2(I,\nu)\setminus\{0\} } \frac{ \int_I\int_I (f(x)+f(y))^2W(x,y)\,dx\,dy }{ 2\int_I\int_I f(x)^2W(x,y)\,dx\,dy }. \] From these formulas comes the dual Cheeger–Buser inequality for graphons: \[ B_W^2 \le 2-\lambda_{\max}\le 2B_W. \] Thus \(2-\lambda_{\max}\) and \(B_W\) are quantitatively equivalent up to constants [2502.15213]. The extremal theory matches the finite-graph picture. The paper proves the easy bound \[ B_W\le \frac12, \] and shows the bound is sharp by the example of a nonzero constant graphon, for which \[ B_W=\frac12. \] Under the additional assumption \[ d_W(x)\ge c>0 \quad \text{a.e.}, \] it proves \[ B_W=0,\qquad \lambda_{\max}=2,\qquad W \text{ is bipartite} \] are equivalent. This transfers the usual correspondence “zero bipartiteness ratio \(\leftrightarrow\) exact bipartiteness \(\leftrightarrow\) top eigenvalue \(2\)” to the graphon setting [2502.15213]. ## 6. Alternative notions and neighboring frameworks A recurring source of confusion is that not every quantitative notion of non-bipartiteness is a bipartiteness ratio. Several recent lines of work use different normalizations and different objectives. In bounded-degree property testing, one paper states plainly that it does not explicitly use the term bipartiteness ratio. Its primary global quantity is instead \[ 1-\mathrm{val}_{\mathrm{MC}(G)}, \] where \[ \mathrm{val}_{\mathrm{MC}(G)} = \max_{f:[n]\to\{0,1\}} \frac{1}{|E|} \sum_{\{u,v\}\in E}\mathbf 1\{f(u)\neq f(v)\}. \] Its most local surrogate is the parity-separation quantity \[ 2-\|Q_r\delta_v-R_r\delta_v\|_1, \] which measures overlap between even- and odd-parity lazy-walk endpoint distributions. The analysis converts small average parity collapse into a high-value Goemans–Williamson SDP certificate and then into Max-Cut value close to \(1\) [2606.13583]. In the dense-graph model, the dominant quantity is often normalized edit distance to bipartiteness rather than a conductance-style ratio. One definition is \[ d_{bip}(G,f) := \sum_{v:f(v)=L} |N(v)\cap f^{-1}(L)| + \sum_{v:f(v)=R} |N(v)\cap f^{-1}(R)|, \] with \[ d_{bip}(G)=\min_f d_{bip}(G,f), \] and \[ d_{bip}(G)=2\bigl(|E(G)|-\mathrm{MaxCut}(G)\bigr). \] This is a normalized edge-deletion or cut-deficiency measure, not the standard sparse-graph bipartiteness ratio [2204.12397]. An earlier dense-graph testing framework likewise measures \(\varepsilon\)-farness by the minimum number of edge deletions needed to make the graph bipartite, normalized by \(\binom{n}{2}\), and studies preservation of that quantity under random induced subgraphs [1011.0531]. In planar and minor-free property testing, \(\varepsilon\)-farness is again deletion-based: \[ \text{one has to delete more than } \varepsilon |V| \text{ edges from } G \text{ to obtain a bipartite graph.} \] That theory proceeds through odd-cycle detection by constant-length random walks and does not invoke the standard spectral bipartiteness ratio [1407.2109]. Beyond graphs, one higher-dimensional analogue does not define a formal bipartiteness ratio at all. For simplicial complexes, the relevant spectral-combinatorial notion is disorientability. Under the no-twisting assumption, the closest analogues of a bipartiteness defect are the gap \[ (N+1)-\lambda_{\max}, \] the number of simplex splittings needed to make the complex disorientable, and the number of non-branching simple odd cycles in the down dual graph; the paper is explicit that it does not provide a classical higher-order bipartiteness ratio [2409.00682]. These neighboring frameworks are mathematically close to bipartiteness ratio because they all quantify failure of a perfect two-coloring, but they differ in normalization, in whether inactive vertices are allowed, and in whether the objective is local, global, spectral, or edit-distance based. A precise use of the term “bipartiteness ratio” therefore refers most naturally to the Trevisan-style quantity and its graphon analogue, together with the dual-Cheeger spectral theory and the algorithmic frameworks built around them [1209.5045][2502.15213][2507.12847]. Source: https://www.emergentmind.com/topics/bipartiteness-ratio