[Verse 1]
In two thousand six, Donoho showed the way
Compressed sensing breaks the Nyquist display
Sparse signals hide in lower dimensions
Mathematics reveals their true intentions
With random matrices we can decode
What seemed impossible in sampling mode
The cortex learns this ancient art
Taking fragments, building the whole from parts
[Chorus]
Sparse and clean, the neural scene
Compressed sensing in between
Linear programming finds the truth
Olshausen's method, Field's proof
Columns dancing, information prancing
Through the cortical enhancement
[Verse 2]
Candès and Tao in zero-five
Made linear programming come alive
Decoding signals from the noise
Mathematics gave neurons their voice
L-one minimization is the key
Finds the sparsest solution naturally
Just like columns in your brain
Process signals, break the chain
[Chorus]
Sparse and clean, the neural scene
Compressed sensing in between
Linear programming finds the truth
Olshausen's method, Field's proof
Columns dancing, information prancing
Through the cortical enhancement
[Bridge]
Visual cortex learns to see
Sparse representations set it free
Overcomplete dictionaries grow
Teaching neurons what they need to know
From retina to deeper layers
Compressed sensing never wavers
Biology meets mathematics pure
In cortical architectures
[Verse 3]
Olshausen and Field broke new ground
Sparse coding principles they found
Natural images decompose
Into features that the cortex knows
Independent components arise
Through the statistical surprise
Competitive algorithms fight
To represent the visual sight
[Verse 4]
Edge detectors, Gabor waves
Simple cells in cortex caves
Each neuron fires when it should
Population codes understood
Mutual inhibition rules the day
Winner-take-all shows the way
Sparse activity patterns flow
Teaching neural networks how to grow
[Chorus]
Sparse and clean, the neural scene
Compressed sensing in between
Linear programming finds the truth
Olshausen's method, Field's proof
Columns dancing, information prancing
Through the cortical enhancement
[Outro]
Three papers changed the neural game
Compressed sensing stakes its claim
In cortical computation's hall
Mathematics connects them all
[Final Chorus]
Sparse and clean, the neural scene
Compressed sensing in between
Linear programming finds the truth
Olshausen's method, Field's proof
Columns dancing, information prancing
Through the cortical enhancement