I have a friend working on lidar for a military contractor. He uses these exact theorems to design beam pulses for measuring distances of asteroids and stuff. T

I have a friend working on lidar for a military contractor. He uses these exact theorems to design beam pulses for measuring distances of asteroids and stuff. The idea is to construct beams so that you can tell by the autocorrelation function the exact distance away an object is. It turns out that these weird kinds of integer sequences can help you design beams that give the autocorrelation function this property.