Lean Ridgelet Blueprint

1. L2 theory🔗

The depth-2 fully-connected ridgelet theory in Hilbert space. The overview follows the publication order of arXiv:2106.04770v2; the remaining sections follow the Lean dependency order.

  1. 1.1. L2 theory: arXiv:2106.04770v2 implementation map
  2. 1.2. Fourier conventions and Hilbert spaces
  3. 1.3. Unitary coordinates and their Fourier construction
  4. 1.4. Synthesis, ridgelets, and reconstruction
  5. 1.5. Null space and the general solution
  6. 1.6. Standard activation functions
  7. 1.7. Further results from the source manuscript