Lemma 22.3: for H_{i,j} = |C_j|^{−1/2} 𝟙[i ∈ C_j], the columns of H are orthonormal and RatioCut(C₁,…,C_k) = trace(HᵀLH)

Initializing...

Lemma 22.3: for H_{i,j} = |C_j|^{−1/2} 𝟙[i ∈ C_j], the columns of H are orthonormal and RatioCut(C₁,…,C_k) = trace(HᵀLH) · Prove2Me