English

Flips in symmetric separated set-systems

Combinatorics 2022-06-15 v3

Abstract

For a positive integer nn, a collection SS of subsets of [n]={1,,n}[n]=\{1,\ldots,n\} is called symmetric if XSX\in S implies XSX^\ast\in S, where X:={i[n] ⁣:ni+1X}X^\ast:=\{i\in [n]\colon n-i+1\notin X\} (the involution \ast was introduced by Karpman). Leclerc and Zelevinsky showed that the set of maximal strongly (resp. weakly) separated collections in 2[n]2^{[n]} is connected via flips, or mutations, ``in the presence of six (resp. four) witnesses''. We give a symmetric analog of those results, by showing that each maximal symmetric strongly (weakly) separated collection in 2[n]2^{[n]} can be obtained from any other one by a series of special symmetric local transformations, so-called symmetric flips. Also we establish the connectedness via symmetric flips for the class of maximal symmetric rr-separated collections in 2[n]2^{[n]} when n,rn,r are even (where sets A,B[n]A,B\subseteq [n] are called rr-separated if there are no elements i0<i1<<ir+1i_0<i_1< \cdots <i_{r+1} in [n][n] which alternate in ABA\setminus B and BAB\setminus A). This is related to a symmetric version of higher Bruhat orders. These results are obtained as consequences of our study of related geometric objects: symmetric rhombus and combined tilings and symmetric cubillages.

Keywords

Cite

@article{arxiv.2102.08974,
  title  = {Flips in symmetric separated set-systems},
  author = {Vladimir I. Danilov and Alexander V. Karzanov and Gleb A. Koshevoy},
  journal= {arXiv preprint arXiv:2102.08974},
  year   = {2022}
}

Comments

39 pages, 8 figures

R2 v1 2026-06-23T23:15:47.350Z