Counting Partial Hadamard Matrices in the Cubic Regime

A precise asymptotic formula for the number of $n \times 4t$ partial Hadamard matrices in the regimes $t/n^3 \to \infty$ and $t/n^3 \to \Theta$, reaching the cubic regime that previous approaches (de Launey-Levin and successors) could not.

Result

Proved

Status

Resolved

AI contribution

AI co-developed

Method

Argument

Field

Random matrices; enumeration

Posed by

—

Year posed

—

Years open

—

Solved

2026-03-31

Model

GPT 5.4 Pro

Vendor

OpenAI

Collaborators

Damek Davis

Verification

Unreviewed

Publication

Preprint

Significance

12 / 100*

Disclosed cost

—

Wikipedia

No dedicated article