For a graph $H$, its homomorphism density in graphs naturally extends to the space of two-variable symmetric functions $W$ in $L^p$, $p\ge e(H)$, denoted by $t_H(W)$. One may then define …