{"id":"arxiv/2603.29127","url":"https://arxiv.org/abs/2603.29127","tags":["math.CO"],"score":0,"title":"C4-Free Subgraphs of the Hypercubes Q6, Q7, and Q8: Odd Squares, Fully Frustrated Models, and Computational Structure","domain":"math.CO","source":"arxiv","authors":["Minamo Minamoto"],"reviews":0,"subject":"math.CO","summary":"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;…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}