Four-cycle counting by common neighbours
ID: four-cycle-counting-by-common-neighbours
For a simple graph, let count the common neighbours of vertices . Choosing two such neighbours makes a four-cycle, and each cycle is counted twice through its opposite pairs. The displayed identity follows even when extra edges are present, since cycles are counted as subgraphs rather than induced subgraphs. Also . Applying Cauchy-Schwarz inequality to degrees and Jensen inequality to common-neighbour counts gives extremal edge and cycle bounds.
New to topics? Read the docs here!