Beneš and Shuffle-Exchange Counterexamples
Abstract
We give explicit counterexamples to two rearrangeability conjectures for shuffle-type networks. First, for every we construct a simple -regular ordered two-stage graph with and , refuting the graph-theoretic Bene\v{s} inequality and its partition-stabilizer form as stated on Open Problem Garden. We retain the sharp cut obstruction, exact mask-composition identity, exact middle criterion, first nontrivial-level result, and balanced-middle sufficient condition that explain which extra hypotheses can replace mere external connectivity. Second, for the standard directed shuffle-exchange network, we prove for every , while the known binary value is . Hence the shuffle-exchange conjecture fails already at , and the remaining upper bound for suggests as a natural replacement problem.
Cite
@article{arxiv.2607.15296,
title = {Beneš and Shuffle-Exchange Counterexamples},
author = {Przemek Chojecki},
journal= {arXiv preprint arXiv:2607.15296},
year = {2026}
}