Row-insertion bumping-path monotonicity

ID: row-insertion-bumping-path-monotonicity

During row insertion into a near Young tableau, the successive carried entries strictly increase while the columns in which they are bumped weakly decrease. Every old cell keeps its entry or receives a smaller one. These facts follow from increasing rows and strictly increasing columns.

New to topics? Read the docs here!