One major area of study in additive combinatorics is that of inverse problems: for instance, given the sumset A+B is small in size, what can we say about the structures of A and B? In the case of integer sumsets, Freiman's theorem provides a partial answer.