Operation counts for Walsh–Hadamard circuits

The Walsh–Hadamard transform combines inputs using fixed patterns of plus and minus signs. Circuit complexity asks how many arithmetic steps are needed, with the permitted operation and its cost stated explicitly.

Why it matters and what counts as progress

Why it matters: Exact circuit counts separate algebraic savings from measured program speed.

What counts as progress: A new construction or justified bound with the transform, coefficient domain, input lengths and operation costs specified.

AI contribution

Explicit circuits for the Walsh–Hadamard transform below the textbook operation count

Jacob Sussman

For every commutative ring R and every k≥0, the exact, unscaled Walsh–Hadamard transform on N=2^k inputs has a straight-line circuit with at most (3/4) N log₂ N + N/4 lines. Each line creates u+c·v or c·v−u from available values, with a fixed ring constant c, and costs one. Reuse, output selection and permutations are free.

AI involvementAI-centered
ImportanceModest
Technical verificationFormal (Lean)
Human understandingFew
Paper date:

Sources

  1. Sussman: explicit circuit construction and models
  2. Circuit models, AI role and revision history
  3. Exact multiply-add circuit statement
  4. Reported Lean checks and statement comparison
  5. Coppersmith, Feig and Linzer: multiply-add baseline
  6. Alman and Rao: arithmetic-operation baseline
Website timeline

Publication dates and editorial changes.