\(K\)-Knuth equivalence for increasing tableaux (Q259166)

Summary: A \(K\)-theoretic analogue of RSK insertion and the Knuth equivalence relations were introduced by \textit{A. S. Buch} et al. [Math. Ann. 340, No. 2, 359--382 (2008; Zbl 1157.14036)] and \textit{A. S. Buch} and \textit{M. J. Samuel} [``K-theory of minuscule varieties'', J. Reine Angew. Math (to appear)], respectively. The resulting \(K\)-Knuth equivalence relations on words and increasing tableaux on \([n]\) has prompted investigation into the equivalence classes of tableaux arising from these relations. Of particular interest are the tableaux that are unique in their class, which we refer to as unique rectification targets (URTs). In this paper, we give several new families of URTs and a bound on the length of intermediate words connecting two \(K\)-Knuth equivalent words. In addition, we describe an algorithm to determine if two words are \(K\)-Knuth equivalent and to compute all \(K\)-Knuth equivalence classes of tableaux on \([n]\).