The most powerful technique known at present for bounding the size of quant
um codes of prescribed minimum distance is the quantum linear programming b
ound. Unlike the classical linear programming bound, it is not immediately
obvious that if the quantum linear programming constraints are satisfiable
for dimension Ii, then the constraints can be satisfied for all lower dimen
sions. We show that the quantum linear programming bound is monotonic in th
is sense, and give an explicitly monotonic reformulation.