matroid #4 (HSW finite-field spike M_5^5) — Matroid Correlation Constants

matroid #4 — HSW finite-field spike M_5^5

n: 22
rank: 5
bases: 9,625
α(M): 8/7 ≈ 1.1429

status: superseded — held the GF(5) record until beaten
discovered by: June Huh, Benjamin Schröter, Botong Wang
discovery date: 2018-06
AI use: no
citation: arXiv:1806.02675, Definition 19 (JEMS 24 (2022), 1335–1351)
submitted by: David Renshaw
submitted at: 2026-08-05 15:39:09 UTC

Description (matrix) GF(5)

[[1,0,1,2,3,4,0,1,2,3,4,0,1,2,3,4,0,1,2,3,4,0],
 [0,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
 [0,1,0,0,0,0,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0],
 [0,1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,0],
 [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1]]

The full basis list is too large to store; recompute it from the description above.

Maximizing pair

(0, 1); basis counts at (i, j) = (0, 1):

	`j` ∈ `B`	`j` ∉ `B`
`i` ∈ `B`	500	625
`i` ∉ `B`	3,500	5,000

Notes

The finite-field spike M_5^5 of Huh, Schroter, and Wang (Correlation bounds for fields and matroids, arXiv:1806.02675, Definition 19; discovered June 2018, no AI use reported in that record). Columns over GF(5): the tip e1, the vector e2+e3+e4+e5, and k*e1+e_m for m=2..5, k=1..p. Submitted from the literature.