The matching problem has no small symmetric SDP

Gábor Braun, Jonah Brown-Cohen, Arefin Huq +5

Yannakakis showed that the matching problem does not have a small symmetric linear program. Rothvoß recently proved that any, not necessarily symmetric, linear program also has exp…