An improved upper bound for the Zarankiewicz number z(43;2) <= 294 via structural rigidity, including hexary packing number pa(5;6) = 31
The Zarankiewicz number z(n;2) is the largest number of ones in an n x n zero-one matrix with no all-one 2x2 submatrix. At n=43, the Kovari-Sos-Turan bound, sharpened by Reiman, gives z(43;2) <= 301 with no rounding slack; equality would force a projective plane of order six, which Tarry ruled out in 1900. That fact alone says nothing about how far below 301 the truth lies. We prove z(43;2) <= 294. The argument is local and geometric. Writing D = 301 - E for the deficiency of a configuration with E ones, a crossing count paired with its dual forces every line to at most eight points and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.01606
curl -X POST /api/v1/records/arxiv/2608.01606/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.01606/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'