We consider the problem of amplifying the “lossiness” of functions. We say that an oracle circuit C∗ : {0, 1} → {0, 1}∗ amplifies relative lossiness from `/n to L/m if for every function f : {0, 1} → {0, 1} it holds that 1. If f is injective then so is C . 2. If f has image size of at most 2n−`, then C has image size at most 2m−L. The question is whether such C∗ exists for L/m `/n. This problem...