From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT

Markus Kirchweger, Tomáš Peitl, Bernardo Subercaseaux +1

Norin (2008) conjectured that any $2$-edge-coloring of the hypercube $Q_n$ in which antipodal edges receive different colors must contain a monochromatic path between some pair of…