Asymptotically optimal approximate Hadamard matricesIn this paper, we study approximate Hadamard matrices, that is, well-conditioned \(n\times n\) matrices with all entries in \(\{\pm 1\}\). We show that the smallest-possible condition number goes to \(1\) as \(n\to\infty\), and we identify some explicit infinite families of approximate Hadamard matrices.
Boris Alexeev, John Jasper, and Dustin G. Mixon
Asymptotically optimal approximate Hadamard matrices
![]() | Direct PDF link |
![]() | arXiv online preprint server version |
![]() | Ancillary file: formal Lean proof |