Search arXivSearch

arXiv · 2609.17493

Twisted Bracelets for Sorting by Transpositions: the Transposition Diameter of $S_{16}$

Abstract

Sorting By Transpositions (SBT) seeks the minimum number of transpositions required to sort a permutation $π$ on $n$ symbols into the identity $ι$. Let $N=n+1$. A cyclic-target pair $(ω,β)$ consists of an even permutation $ω$ and an $N$-cycle $β$ for which $ρ=ωβ$ is an $N$-cycle. An SBT instance is the special case $(\barι {\barπ}^{-1},\barπ)$, where $\barπ$ and $\barι$ encode $π$ and $ι$, and $\barι {\barπ}^{-1}\barπ=\barι$. For a prescribed fixed-point-free cycle type, fixed-content words encode $ω$, with colors distinguishing cycles and ranks recording their orientations relative to $β$. A word is realizable exactly when $ρ=ωβ$ is an $N$-cycle. Permutations of equal-part colors and shifts of rank origins form auxiliary symmetries that, together with word rotation and position reflection coupled to rank inversion, define a twisted dihedral action. Its orbits are twisted bracelets, and its realizable orbits correspond bijectively to extended-toric equivalence classes of cyclic-target pairs, where reflection is adjoined to classical toric equivalence. This correspondence yields exact orbit counts and directly generates one representative per realizable class. The transposition diameter $TD(n)$ is the largest transposition distance in $S_n$. Combining fixed-point contraction and structural reductions with exhaustive verification of the remaining twisted bracelets, we prove $TD(16)=9$, closing a twenty-five-year gap. This result also yields $TD(19)=11$ and, for every $n\equiv1\pmod{3}$ with $n\geq16$, $TD(n)\leq\left\lfloor(2n-2)/3\right\rfloor-1$, improving the previous general upper bound by one for these $n$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luiz A. G. Silva, Luis A. B. Kowada, Noraí R. Rocco, Maria E. M. T. Walter. 2026-09-16. Twisted Bracelets for Sorting by Transpositions: the Transposition Diameter of $S_{16}$. https://arxiv.org/abs/2609.17493

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO