matroid #7 (HSW finite-field spike M_7^5) — Matroid Correlation Constants

matroid #7 — HSW finite-field spike M_7^5

n: 30
rank: 5
bases: 46,991
α(M): 8/7 ≈ 1.1429

status: current record for this ground-set size
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 17:26:47 UTC

Description (matrix) GF(7)

[[1,0,1,2,3,4,5,6,0,1,2,3,4,5,6,0,1,2,3,4,5,6,0,1,2,3,4,5,6,0],
 [0,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
 [0,1,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
 [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0],
 [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,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`	1,372	2,401
`i` ∉ `B`	14,406	28,812

Notes

The finite-field spike M_7^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(7): 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; completes the four spikes M_p^5 for p in {2,3,5,7}.

Commentary

No commentary yet.