Conjecture Fieldbook

Hadamard matrix conjecture

Canonical problem dossier

A Hadamard matrix is conjectured to exist in every positive order divisible by 4.

Status
Open
Field
Algebra
Verification
Reviewed dossier
Source grade
secondary
Reviewed
2026-07-27T18:04:33.834Z
Reviewer
Conjecture Fieldbook maintainers

Formal expression

H{1,1}4k×4k,HHT=4kIH\in\{-1,1\}^{4k\times4k},\qquad HH^\mathsf{T}=4kI

Why it matters

Hadamard matrices connect combinatorial design, coding theory, signal processing, and extremal determinant problems.

Context and known approaches

Many infinite construction families and verified orders are known, but no construction covers every multiple of four.

Formal boundary

For every k∈N, there exists H∈{−1,1}^(4k×4k) with HHᵀ=4kI.

Known partial results

Pending review. No structured partial-result note has been added to this dossier.

Source trail

  1. Wikipedia — Definitions, constructions, and conjecture status.
  2. Wikipedia open-problems list — Composite index by mathematical field.