quantum-information-computing / Complex Hadamard matrices of order six

The Matolcsi-Ruzsa-Weiner Fourier-vanishing conjecture for complex Hadamard matrices of order six

Theorem 1.1: every complex Hadamard matrix of order six not equivalent to Tao's cubic matrix has gH(πα)=0g_H(\pi\alpha)=0 for every permutation π\pi of α=(1,1,1,−1,−1,−1)\alpha=(1,1,1,-1,-1,-1). Theorem 1.2, by a second exact certificate and Weiner's completion theorem, excludes seven mutually unbiased bases in C6\mathbb C^6, giving N(6)≤5N(6)\le5. It does not prove the further Matolcsi-Matszangosz-Varga-Weiner conditions for MUB triplets or the bound N(6)=3N(6)=3, which is the companion's computer-assisted claim.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

quantum-information-computingSep 24, 2026Significance 12/100Registry: lean checked

The Matolcsi-Ruzsa-Weiner Fourier-vanishing conjecture for complex Hadamard matrices of order six

Prior state unknown→proved

Theorem 1.1: every complex Hadamard matrix of order six not equivalent to Tao's cubic matrix has gH(πα)=0g_H(\pi\alpha)=0 for every permutation π\pi of α=(1,1,1,−1,−1,−1)\alpha=(1,1,1,-1,-1,-1). Theorem 1.2, by a second exact certificate and Weiner's completion theorem, excludes seven mutually unbiased bases in C6\mathbb C^6, giving N(6)≤5N(6)\le5. It does not prove the further Matolcsi-Matszangosz-Varga-Weiner conditions for MUB triplets o…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: every complex Hadamard matrix of order six not equivalent to Tao's cubic matrix has gH(πα)=0g_H(\pi\alpha)=0 for every permutation π\pi of α=(1,1,1,−1,−1,−1)\alpha=(1,1,1,-1,-1,-1). Theorem 1.2, by a second exact certificate and Weiner's completion theorem, excludes seven mutually unbiased bases in C6\mathbb C^6, giving N(6)≤5N(6)\le5. It does not prove the further Matolcsi-Matszangosz-Varga-Weiner conditions for MUB triplets or the bound N(6)=3N(6)=3, which is the companion's computer-assisted claim.

Theorem 1.1: every complex Hadamard matrix of order six not equivalent to Tao's cubic matrix has gH(πα)=0g_H(\pi\alpha)=0 for every permutation π\pi of α=(1,1,1,−1,−1,−1)\alpha=(1,1,1,-1,-1,-1). Theorem 1.2, by a second exact certificate and Weiner's completion theorem, excludes seven mutually unbiased bases in C6\mathbb C^6, giving N(6)≤5N(6)\le5. It does not prove the further Matolcsi-Matszangosz-Varga-Weiner conditions for MUB triplets or the bound N(6)=3N(6)=3, which is the companion's computer-assisted claim.

Recorded attempts

Evidence graph

Connected research record

The Matolcsi-Ruzsa-Weiner Fourier-vanishing conjecture for complex Hadamard matrices of order six — Mathematical Frontier Network