A graph blow-up of a graph with vertices
,
,
...,
is a graph obtained by replacing each vertex
by a nonempty independent
vertex set
and replacing each graph edge
by all the edges of the complete
bipartite graph with parts
and
(Illingworth 2022). There are no other edges. Thus all vertices
in a given set
have the same neighbors outside that set.
If , the resulting graph is often
denoted
.
Its graph order and edge
count are
and
When all ,
the blow-up is called uniform and is denoted
by some authors. This exact-equality case is also called
a balanced blow-up (Hatami et al. 2014). It is the graph
lexicographic product
, where
is the empty graph on
vertices. When the total order is fixed
but is not necessarily divisible by
, "balanced" is also used when the fiber sizes differ
by at most one (Avigad and Goldreich 2011).
Blow-ups of complete graphs are precisely the complete multipartite graphs. In particular, balanced blow-ups of complete graphs are Turán graphs.
This graph operation is distinct from algebraic blow-up and finite-time blow-up, and from the blow-up lemma, which concerns embedding graphs into regular pairs that approximate the complete bipartite pairs of a graph blow-up.