Lower energy bounds for antipodal spherical codes and for codes in infinite projective spaces

We apply linear programming (polynomial) techniques for obtaining lower bounds for the potential energy of antipodal spherical codes. For codes attaining our bounds we prove Lloyd type theorems. We also provide general formulations of our recent universal lower bound on energy of codes in infinite projective spaces.