
Conjecture For any bipartite graph
and graph
, the number of homomorphisms from
to
is at least
.





A homomorphism from a graph to a graph
is a mapping
which preserves edges. Given graphs
and
, the homomorphism density of
in
, denoted
, is the probability that a random function
is a homomorphism. That is,
In this language, Sidorenko's Conjecture says that, if is bipartite, then every graph
satisfies
There are lots of results on Sidorenko's Conjecture; rather than listing them all here, we encourage the reader to see the references of the recent paper [CL].
Bibliography
[CL] David Conlon and Joonkyung Lee: Sidorenko's conjecture for blow-ups, submitted.
* indicates original appearance(s) of problem.