List and total colorings of multiset permutation graphs
Italo J. Dejter
TL;DR
The article investigates multiset star transposition graphs $ST_k^\ell$ on all $\ell$-set permutations of length $k\ell$, introducing efficient$^\ell$-dominating sets (E$^\ell$-sets) and related partitions (SE$^\ell$-sets, $\Sigma$E-sets) to study colorings. It proves $ST_k^\ell$ is $(\ell-1)$-choosable for $k>1$, $\ell>2$, and admits total colorings; for $\ell=2$ it identifies an efficient coloring via $\Sigma_i^k$ and analyzes intricate 6-cycle color structures. The work extends to pancake permutation graphs $PC_k^\ell$, develops SE-/SigmaE-chains, and frames a cohesive structure generalizing Dejter–Serra results, while highlighting obstructions to segmental E-chains in certain variants. Overall, the paper advances combinatorial coloring theory for multiset permutation graphs, providing explicit constructions, partitions, and chain frameworks that unify list/coloring and total-coloring aspects with graph-theoretic architectures.
Abstract
Let $k$ and $\ell$ be positive integers. The multiset star transposition graph ST$_k^\ell$ has as vertices the $k\ell$-strings $v_0\cdots v_{k\ell-1}$ on $k$ symbols, each symbol repeated $\ell$ times, and edges given by the transpositions $(v_0\;v_i)$ with $v_i\ne v_0$ ($0<i<k\ell$). It is shown for $k>1$ and $\ell>2$ that ST$_k^\ell$ is $(\ell-1)$-choosable and that, as a result, admits total colorings. In order to prove such assertions, the notion of efficient domination set (or E-set) of a graph is generalized for $\ell>1$ to that of an efficient dominating$\,^\ell$-set and applied to the graphs ST$_k^\ell$\,, showing they admit vertex partitions that generalize the Dejter-Serra partitions of ST$_k^1$ into E-sets, but not efficiently in the sense that the distance of each E$^\ell$-set be 3. Efficiently in such sense however, $ST^2_k$ and the related 2-set pancake permutation graph PC$^2_k$, among other intermediate permutation graphs, are shown to admit total colorings with $2k-1$ colors that determine partitions into $2k-1$ E-sets, each with distance 3. Furthermore, associated E-chains are examined.
