Table of Contents
Fetching ...

Minimal Inversions in Integer Matrices of Fixed RSK Shape

Nimisha Pahuja

Abstract

The Robinson-Schensted-Knuth (RSK) algorithm maps an integer matrix to a pair of semi-standard Young tableaux (SSYTs) whose underlying shape has the same integer partition. We study the set of matrices associated with a given partition $λ$ vis-a-vis the number of inversions of the matrix. In the case where the integer matrix is a permutation matrix, the resulting tableaux are standard Young tableaux or SYTs. Han (EJC, 2005) combinatorially studied the set of permutations that map to SYTs of shape $λ$ under the RSK algorithm and counted the permutations with the minimum number of inversions in that set, as well as formulated the minimal number of inversions. Han's work can be extended to a case where the matrix is a general integer matrix and the tableaux are semi-standard Young tableaux. We have conjectured a formula for the minimal number of inversions in the set of matrices with a fixed shape $λ$. We further provide a conjecture for the characterisation of the minimal generalised matrices.

Minimal Inversions in Integer Matrices of Fixed RSK Shape

Abstract

The Robinson-Schensted-Knuth (RSK) algorithm maps an integer matrix to a pair of semi-standard Young tableaux (SSYTs) whose underlying shape has the same integer partition. We study the set of matrices associated with a given partition vis-a-vis the number of inversions of the matrix. In the case where the integer matrix is a permutation matrix, the resulting tableaux are standard Young tableaux or SYTs. Han (EJC, 2005) combinatorially studied the set of permutations that map to SYTs of shape under the RSK algorithm and counted the permutations with the minimum number of inversions in that set, as well as formulated the minimal number of inversions. Han's work can be extended to a case where the matrix is a general integer matrix and the tableaux are semi-standard Young tableaux. We have conjectured a formula for the minimal number of inversions in the set of matrices with a fixed shape . We further provide a conjecture for the characterisation of the minimal generalised matrices.
Paper Structure (6 sections, 7 theorems, 34 equations)

This paper contains 6 sections, 7 theorems, 34 equations.

Key Result

Theorem 1.2

Let $\lambda$ be a partition with $n$ parts, and let $r_i = \lambda_i - \lambda_{i+1}$ for $1 \le i < n$, and $r_n = \lambda_n$. Thus $r_i$ denotes the number of columns of height $i$ in $\lambda$. Define or vice versa. Assume Conjecture conj:hankel holds, so that every minimal matrix is Hankel. Let $M=(m_{i,j})$ be a minimal Hankel matrix of shape $\lambda$, and write $m_{i,j}=s_{i+j}$. Then

Theorems & Definitions (19)

  • Conjecture 1.1
  • Theorem 1.2
  • Definition 2.1
  • Example 2.2
  • Theorem 2.3: Schensted 61
  • Definition 2.4
  • Example 2.5
  • Theorem 2.6: Greene's Theorem
  • Remark 2.7
  • Definition 3.1
  • ...and 9 more