4, in which we marked the spanning tree with edges {e14,e23,e24}: the sum of the two fundamental triangle cycles C1 and C2 (represented by their 0,1 vectors) equals the square cycle C only when d=2. This situation is depicted informally in Fig. 5. However, if d is odd we do ...
\(\sum _{i \le f}\left( {\begin{array}{c}|E_T|\\ i\end{array}}\right) = O(n^{f})\), by the union bound argument, we conclude that \(|\partial _{E_{i+1}}(S)| > 0\) holds for any \(S \in \mathcal {S}_{f, T}\)...