Fact 3.1 ([1]} – existence of an optimal valid signaling scheme under ex ante constraints with a linear-sized support) 

Fix \(m\)  ex ante constraints. Then either there exists an optimal valid signaling scheme with support size at most \(k+m\)  or the set of valid signaling schemes is empty.

