English

Beneš and Shuffle-Exchange Counterexamples

Combinatorics 2026-07-02 v1 Networking and Internet Architecture

Abstract

We give explicit counterexamples to two rearrangeability conjectures for shuffle-type networks. First, for every N2N\ge2 we construct a simple NN-regular ordered two-stage graph LNL_N with F(LN)=2F(L_N)=2 and R(LN)NR(L_N)\ge N, refuting the graph-theoretic Bene\v{s} inequality R(L)2F(L)R(L)\le2F(L) 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 d(k,3)=6d(k,3)=6 for every k3k\ge3, while the known binary value is d(2,3)=5d(2,3)=5. Hence the shuffle-exchange conjecture d(k,n)=2n1d(k,n)=2n-1 fails already at (k,n)=(3,3)(k,n)=(3,3), and the remaining upper bound d(k,n)3n3d(k,n)\le3n-3 for k3k\ge3 suggests d(k,n)=3n3d(k,n)=3n-3 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}
}