C4-Free Subgraphs of the Hypercubes Q6, Q7, and Q8: Odd Squares, Fully Frustrated Models, and Computational Structure
We study C_4-free subgraphs of the hypercubes Q_6, Q_7 and Q_8. Writing g(n) for the maximum size of an odd-square edge set -- meeting every 4-cycle of Q_n in exactly one or three edges -- we prove g(6)=132, g(7)=304, g(8)=682, with explicit machine-verifiable certificates, giving ex(Q_7,C_4)>=304 and ex(Q_8,C_4)>=682. Under the standard fully-frustrated-hypercube correspondence, these values are already implicit in the statistical-physics literature: the field identity and its optimal values go back to Derrida, Pomeau, Toulouse and Vannimenus (1979), who construct ground states for D<=7;…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.29127
curl -X POST /api/v1/records/arxiv/2603.29127/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.29127/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'