Lý thuyết phổ