***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St001542 ----------------------------------------------------------------------------- Collection: Decorated permutations ----------------------------------------------------------------------------- Description: The dimension of the subspace of the complex vector space for the associated Grassmannian. Given an affine permutation, this is $$\frac{1}{n} \sum^n_{i=1} (f(i)-i)$$ This value is seen as $k$ in the notation Gr($k,n$), ($k,n$)-bounded affine permutations, ($k,n$)-Grassmann necklaces, and ($k,n$)-Le diagrams. ----------------------------------------------------------------------------- References: [1] Lam, T. Totally nonnegative Grassmannian and Grassmann polytopes [[MathSciNet:3468251]] [[arXiv:1506.00603]] ----------------------------------------------------------------------------- Code: ----------------------------------------------------------------------------- Statistic values: [+,+] => 0 [-,+] => 1 [+,-] => 1 [-,-] => 2 [2,1] => 1 [+,+,+] => 0 [-,+,+] => 1 [+,-,+] => 1 [+,+,-] => 1 [-,-,+] => 2 [-,+,-] => 2 [+,-,-] => 2 [-,-,-] => 3 [+,3,2] => 1 [-,3,2] => 2 [2,1,+] => 1 [2,1,-] => 2 [2,3,1] => 2 [3,1,2] => 1 [3,+,1] => 1 [3,-,1] => 2 [+,+,+,+] => 0 [-,+,+,+] => 1 [+,-,+,+] => 1 [+,+,-,+] => 1 [+,+,+,-] => 1 [-,-,+,+] => 2 [-,+,-,+] => 2 [-,+,+,-] => 2 [+,-,-,+] => 2 [+,-,+,-] => 2 [+,+,-,-] => 2 [-,-,-,+] => 3 [-,-,+,-] => 3 [-,+,-,-] => 3 [+,-,-,-] => 3 [-,-,-,-] => 4 [+,+,4,3] => 1 [-,+,4,3] => 2 [+,-,4,3] => 2 [-,-,4,3] => 3 [+,3,2,+] => 1 [-,3,2,+] => 2 [+,3,2,-] => 2 [-,3,2,-] => 3 [+,3,4,2] => 2 [-,3,4,2] => 3 [+,4,2,3] => 1 [-,4,2,3] => 2 [+,4,+,2] => 1 [-,4,+,2] => 2 [+,4,-,2] => 2 [-,4,-,2] => 3 [2,1,+,+] => 1 [2,1,-,+] => 2 [2,1,+,-] => 2 [2,1,-,-] => 3 [2,1,4,3] => 2 [2,3,1,+] => 2 [2,3,1,-] => 3 [2,3,4,1] => 3 [2,4,1,3] => 2 [2,4,+,1] => 2 [2,4,-,1] => 3 [3,1,2,+] => 1 [3,1,2,-] => 2 [3,1,4,2] => 2 [3,+,1,+] => 1 [3,-,1,+] => 2 [3,+,1,-] => 2 [3,-,1,-] => 3 [3,+,4,1] => 2 [3,-,4,1] => 3 [3,4,1,2] => 2 [3,4,2,1] => 2 [4,1,2,3] => 1 [4,1,+,2] => 1 [4,1,-,2] => 2 [4,+,1,3] => 1 [4,-,1,3] => 2 [4,+,+,1] => 1 [4,-,+,1] => 2 [4,+,-,1] => 2 [4,-,-,1] => 3 [4,3,1,2] => 2 [4,3,2,1] => 2 [+,+,+,+,+] => 0 [-,+,+,+,+] => 1 [+,-,+,+,+] => 1 [+,+,-,+,+] => 1 [+,+,+,-,+] => 1 [+,+,+,+,-] => 1 [-,-,+,+,+] => 2 [-,+,-,+,+] => 2 [-,+,+,-,+] => 2 [-,+,+,+,-] => 2 [+,-,-,+,+] => 2 [+,-,+,-,+] => 2 [+,-,+,+,-] => 2 [+,+,-,-,+] => 2 [+,+,-,+,-] => 2 [+,+,+,-,-] => 2 [-,-,-,+,+] => 3 [-,-,+,-,+] => 3 [-,-,+,+,-] => 3 [-,+,-,-,+] => 3 [-,+,-,+,-] => 3 [-,+,+,-,-] => 3 [+,-,-,-,+] => 3 [+,-,-,+,-] => 3 [+,-,+,-,-] => 3 [+,+,-,-,-] => 3 [-,-,-,-,+] => 4 [-,-,-,+,-] => 4 [-,-,+,-,-] => 4 [-,+,-,-,-] => 4 [+,-,-,-,-] => 4 [-,-,-,-,-] => 5 [+,+,+,5,4] => 1 [-,+,+,5,4] => 2 [+,-,+,5,4] => 2 [+,+,-,5,4] => 2 [-,-,+,5,4] => 3 [-,+,-,5,4] => 3 [+,-,-,5,4] => 3 [-,-,-,5,4] => 4 [+,+,4,3,+] => 1 [-,+,4,3,+] => 2 [+,-,4,3,+] => 2 [+,+,4,3,-] => 2 [-,-,4,3,+] => 3 [-,+,4,3,-] => 3 [+,-,4,3,-] => 3 [-,-,4,3,-] => 4 [+,+,4,5,3] => 2 [-,+,4,5,3] => 3 [+,-,4,5,3] => 3 [-,-,4,5,3] => 4 [+,+,5,3,4] => 1 [-,+,5,3,4] => 2 [+,-,5,3,4] => 2 [-,-,5,3,4] => 3 [+,+,5,+,3] => 1 [-,+,5,+,3] => 2 [+,-,5,+,3] => 2 [+,+,5,-,3] => 2 [-,-,5,+,3] => 3 [-,+,5,-,3] => 3 [+,-,5,-,3] => 3 [-,-,5,-,3] => 4 [+,3,2,+,+] => 1 [-,3,2,+,+] => 2 [+,3,2,-,+] => 2 [+,3,2,+,-] => 2 [-,3,2,-,+] => 3 [-,3,2,+,-] => 3 [+,3,2,-,-] => 3 [-,3,2,-,-] => 4 [+,3,2,5,4] => 2 [-,3,2,5,4] => 3 [+,3,4,2,+] => 2 [-,3,4,2,+] => 3 [+,3,4,2,-] => 3 [-,3,4,2,-] => 4 [+,3,4,5,2] => 3 [-,3,4,5,2] => 4 [+,3,5,2,4] => 2 [-,3,5,2,4] => 3 [+,3,5,+,2] => 2 [-,3,5,+,2] => 3 [+,3,5,-,2] => 3 [-,3,5,-,2] => 4 [+,4,2,3,+] => 1 [-,4,2,3,+] => 2 [+,4,2,3,-] => 2 [-,4,2,3,-] => 3 [+,4,2,5,3] => 2 [-,4,2,5,3] => 3 [+,4,+,2,+] => 1 [-,4,+,2,+] => 2 [+,4,-,2,+] => 2 [+,4,+,2,-] => 2 [-,4,-,2,+] => 3 [-,4,+,2,-] => 3 [+,4,-,2,-] => 3 [-,4,-,2,-] => 4 [+,4,+,5,2] => 2 [-,4,+,5,2] => 3 [+,4,-,5,2] => 3 [-,4,-,5,2] => 4 [+,4,5,2,3] => 2 [-,4,5,2,3] => 3 [+,4,5,3,2] => 2 [-,4,5,3,2] => 3 [+,5,2,3,4] => 1 [-,5,2,3,4] => 2 [+,5,2,+,3] => 1 [-,5,2,+,3] => 2 [+,5,2,-,3] => 2 [-,5,2,-,3] => 3 [+,5,+,2,4] => 1 [-,5,+,2,4] => 2 [+,5,-,2,4] => 2 [-,5,-,2,4] => 3 [+,5,+,+,2] => 1 [-,5,+,+,2] => 2 [+,5,-,+,2] => 2 [+,5,+,-,2] => 2 [-,5,-,+,2] => 3 [-,5,+,-,2] => 3 [+,5,-,-,2] => 3 [-,5,-,-,2] => 4 [+,5,4,2,3] => 2 [-,5,4,2,3] => 3 [+,5,4,3,2] => 2 [-,5,4,3,2] => 3 [2,1,+,+,+] => 1 [2,1,-,+,+] => 2 [2,1,+,-,+] => 2 [2,1,+,+,-] => 2 [2,1,-,-,+] => 3 [2,1,-,+,-] => 3 [2,1,+,-,-] => 3 [2,1,-,-,-] => 4 [2,1,+,5,4] => 2 [2,1,-,5,4] => 3 [2,1,4,3,+] => 2 [2,1,4,3,-] => 3 [2,1,4,5,3] => 3 [2,1,5,3,4] => 2 [2,1,5,+,3] => 2 [2,1,5,-,3] => 3 [2,3,1,+,+] => 2 [2,3,1,-,+] => 3 [2,3,1,+,-] => 3 [2,3,1,-,-] => 4 [2,3,1,5,4] => 3 [2,3,4,1,+] => 3 [2,3,4,1,-] => 4 [2,3,4,5,1] => 4 [2,3,5,1,4] => 3 [2,3,5,+,1] => 3 [2,3,5,-,1] => 4 [2,4,1,3,+] => 2 [2,4,1,3,-] => 3 [2,4,1,5,3] => 3 [2,4,+,1,+] => 2 [2,4,-,1,+] => 3 [2,4,+,1,-] => 3 [2,4,-,1,-] => 4 [2,4,+,5,1] => 3 [2,4,-,5,1] => 4 [2,4,5,1,3] => 3 [2,4,5,3,1] => 3 [2,5,1,3,4] => 2 [2,5,1,+,3] => 2 [2,5,1,-,3] => 3 [2,5,+,1,4] => 2 [2,5,-,1,4] => 3 [2,5,+,+,1] => 2 [2,5,-,+,1] => 3 [2,5,+,-,1] => 3 [2,5,-,-,1] => 4 [2,5,4,1,3] => 3 [2,5,4,3,1] => 3 [3,1,2,+,+] => 1 [3,1,2,-,+] => 2 [3,1,2,+,-] => 2 [3,1,2,-,-] => 3 [3,1,2,5,4] => 2 [3,1,4,2,+] => 2 [3,1,4,2,-] => 3 [3,1,4,5,2] => 3 [3,1,5,2,4] => 2 [3,1,5,+,2] => 2 [3,1,5,-,2] => 3 [3,+,1,+,+] => 1 [3,-,1,+,+] => 2 [3,+,1,-,+] => 2 [3,+,1,+,-] => 2 [3,-,1,-,+] => 3 [3,-,1,+,-] => 3 [3,+,1,-,-] => 3 [3,-,1,-,-] => 4 [3,+,1,5,4] => 2 [3,-,1,5,4] => 3 [3,+,4,1,+] => 2 [3,-,4,1,+] => 3 [3,+,4,1,-] => 3 [3,-,4,1,-] => 4 [3,+,4,5,1] => 3 [3,-,4,5,1] => 4 [3,+,5,1,4] => 2 [3,-,5,1,4] => 3 [3,+,5,+,1] => 2 [3,-,5,+,1] => 3 [3,+,5,-,1] => 3 [3,-,5,-,1] => 4 [3,4,1,2,+] => 2 [3,4,1,2,-] => 3 [3,4,1,5,2] => 3 [3,4,2,1,+] => 2 [3,4,2,1,-] => 3 [3,4,2,5,1] => 3 [3,4,5,1,2] => 3 [3,4,5,2,1] => 3 [3,5,1,2,4] => 2 [3,5,1,+,2] => 2 [3,5,1,-,2] => 3 [3,5,2,1,4] => 2 [3,5,2,+,1] => 2 [3,5,2,-,1] => 3 [3,5,4,1,2] => 3 [3,5,4,2,1] => 3 [4,1,2,3,+] => 1 [4,1,2,3,-] => 2 [4,1,2,5,3] => 2 [4,1,+,2,+] => 1 [4,1,-,2,+] => 2 [4,1,+,2,-] => 2 [4,1,-,2,-] => 3 [4,1,+,5,2] => 2 [4,1,-,5,2] => 3 [4,1,5,2,3] => 2 [4,1,5,3,2] => 2 [4,+,1,3,+] => 1 [4,-,1,3,+] => 2 [4,+,1,3,-] => 2 [4,-,1,3,-] => 3 [4,+,1,5,3] => 2 [4,-,1,5,3] => 3 [4,+,+,1,+] => 1 [4,-,+,1,+] => 2 [4,+,-,1,+] => 2 [4,+,+,1,-] => 2 [4,-,-,1,+] => 3 [4,-,+,1,-] => 3 [4,+,-,1,-] => 3 [4,-,-,1,-] => 4 [4,+,+,5,1] => 2 [4,-,+,5,1] => 3 [4,+,-,5,1] => 3 [4,-,-,5,1] => 4 [4,+,5,1,3] => 2 [4,-,5,1,3] => 3 [4,+,5,3,1] => 2 [4,-,5,3,1] => 3 [4,3,1,2,+] => 2 [4,3,1,2,-] => 3 [4,3,1,5,2] => 3 [4,3,2,1,+] => 2 [4,3,2,1,-] => 3 [4,3,2,5,1] => 3 [4,3,5,1,2] => 3 [4,3,5,2,1] => 3 [4,5,1,2,3] => 2 [4,5,1,3,2] => 2 [4,5,2,1,3] => 2 [4,5,2,3,1] => 2 [4,5,+,1,2] => 2 [4,5,-,1,2] => 3 [4,5,+,2,1] => 2 [4,5,-,2,1] => 3 [5,1,2,3,4] => 1 [5,1,2,+,3] => 1 [5,1,2,-,3] => 2 [5,1,+,2,4] => 1 [5,1,-,2,4] => 2 [5,1,+,+,2] => 1 [5,1,-,+,2] => 2 [5,1,+,-,2] => 2 [5,1,-,-,2] => 3 [5,1,4,2,3] => 2 [5,1,4,3,2] => 2 [5,+,1,3,4] => 1 [5,-,1,3,4] => 2 [5,+,1,+,3] => 1 [5,-,1,+,3] => 2 [5,+,1,-,3] => 2 [5,-,1,-,3] => 3 [5,+,+,1,4] => 1 [5,-,+,1,4] => 2 [5,+,-,1,4] => 2 [5,-,-,1,4] => 3 [5,+,+,+,1] => 1 [5,-,+,+,1] => 2 [5,+,-,+,1] => 2 [5,+,+,-,1] => 2 [5,-,-,+,1] => 3 [5,-,+,-,1] => 3 [5,+,-,-,1] => 3 [5,-,-,-,1] => 4 [5,+,4,1,3] => 2 [5,-,4,1,3] => 3 [5,+,4,3,1] => 2 [5,-,4,3,1] => 3 [5,3,1,2,4] => 2 [5,3,1,+,2] => 2 [5,3,1,-,2] => 3 [5,3,2,1,4] => 2 [5,3,2,+,1] => 2 [5,3,2,-,1] => 3 [5,3,4,1,2] => 3 [5,3,4,2,1] => 3 [5,4,1,2,3] => 2 [5,4,1,3,2] => 2 [5,4,2,1,3] => 2 [5,4,2,3,1] => 2 [5,4,+,1,2] => 2 [5,4,-,1,2] => 3 [5,4,+,2,1] => 2 [5,4,-,2,1] => 3 ----------------------------------------------------------------------------- Created: May 12, 2020 at 22:30 by Danny Luecke ----------------------------------------------------------------------------- Last Updated: May 15, 2020 at 08:26 by Danny Luecke