Identifier
- St001464: Permutations ⟶ ℤ
Values
[1] => 1
[1,2] => 1
[2,1] => 2
[1,2,3] => 1
[1,3,2] => 2
[2,1,3] => 2
[2,3,1] => 3
[3,1,2] => 3
[3,2,1] => 2
[1,2,3,4] => 1
[1,2,4,3] => 2
[1,3,2,4] => 2
[1,3,4,2] => 3
[1,4,2,3] => 3
[1,4,3,2] => 2
[2,1,3,4] => 2
[2,1,4,3] => 4
[2,3,1,4] => 3
[2,3,4,1] => 4
[2,4,1,3] => 5
[2,4,3,1] => 3
[3,1,2,4] => 3
[3,1,4,2] => 5
[3,2,1,4] => 2
[3,2,4,1] => 3
[3,4,1,2] => 6
[3,4,2,1] => 5
[4,1,2,3] => 4
[4,1,3,2] => 3
[4,2,1,3] => 3
[4,2,3,1] => 2
[4,3,1,2] => 5
[4,3,2,1] => 4
[1,2,3,4,5] => 1
[1,2,3,5,4] => 2
[1,2,4,3,5] => 2
[1,2,4,5,3] => 3
[1,2,5,3,4] => 3
[1,2,5,4,3] => 2
[1,3,2,4,5] => 2
[1,3,2,5,4] => 4
[1,3,4,2,5] => 3
[1,3,4,5,2] => 4
[1,3,5,2,4] => 5
[1,3,5,4,2] => 3
[1,4,2,3,5] => 3
[1,4,2,5,3] => 5
[1,4,3,2,5] => 2
[1,4,3,5,2] => 3
[1,4,5,2,3] => 6
[1,4,5,3,2] => 5
[1,5,2,3,4] => 4
[1,5,2,4,3] => 3
[1,5,3,2,4] => 3
[1,5,3,4,2] => 2
[1,5,4,2,3] => 5
[1,5,4,3,2] => 4
[2,1,3,4,5] => 2
[2,1,3,5,4] => 4
[2,1,4,3,5] => 4
[2,1,4,5,3] => 6
[2,1,5,3,4] => 6
[2,1,5,4,3] => 4
[2,3,1,4,5] => 3
[2,3,1,5,4] => 6
[2,3,4,1,5] => 4
[2,3,4,5,1] => 5
[2,3,5,1,4] => 7
[2,3,5,4,1] => 4
[2,4,1,3,5] => 5
[2,4,1,5,3] => 8
[2,4,3,1,5] => 3
[2,4,3,5,1] => 4
[2,4,5,1,3] => 9
[2,4,5,3,1] => 7
[2,5,1,3,4] => 7
[2,5,1,4,3] => 5
[2,5,3,1,4] => 5
[2,5,3,4,1] => 3
[2,5,4,1,3] => 8
[2,5,4,3,1] => 6
[3,1,2,4,5] => 3
[3,1,2,5,4] => 6
[3,1,4,2,5] => 5
[3,1,4,5,2] => 7
[3,1,5,2,4] => 8
[3,1,5,4,2] => 5
[3,2,1,4,5] => 2
[3,2,1,5,4] => 4
[3,2,4,1,5] => 3
[3,2,4,5,1] => 4
[3,2,5,1,4] => 5
[3,2,5,4,1] => 3
[3,4,1,2,5] => 6
[3,4,1,5,2] => 9
[3,4,2,1,5] => 5
[3,4,2,5,1] => 7
[3,4,5,1,2] => 10
[3,4,5,2,1] => 9
[3,5,1,2,4] => 9
[3,5,1,4,2] => 6
>>> Load all 1200 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The number of bases of the positroid corresponding to the permutation, with all fixed points counterclockwise.
References
[1] Ardila, F., Rincón, F., Williams, L. Positroids and non-crossing partitions arXiv:1308.2698
Code
def i_less(a, b, i):
"""
Return whether a < b for i < i+1 < ... < n < 1 < ... < i-1.
"""
if min(a, b) >= i or max(a, b) < i:
return a < b
return a >= i > b
def Grassmann_necklace(pi):
"""
Return the Grassmann necklace corresponding to pi.
sage: pi = Permutation([3,4,2,1])
sage: Grassmann_necklace(pi)
[{1, 2}, {2, 4}, {3, 4}, {1, 4}]
"""
pi = Permutation(pi)
N = []
n = len(pi)
for i in range(1,n+1):
iWEX = [j for j in range(1,n+1) if j == pi(j) or i_less(j, pi(j), i)]
N.append(set(iWEX))
return N
def Gale_less(S, T, i):
from functools import cmp_to_key
key = cmp_to_key(lambda a,b: 0 if a == b else int(-1) if i_less(a,b,i) else int(1))
S_sorted = sorted(S, key=key)
T_sorted = sorted(T, key=key)
return all(s == t or i_less(s, t, i) for s,t in zip(S_sorted, T_sorted))
def positroid(N):
"""
Return the positroid corresponding to the Grassmann necklace.
sage: pi = Permutation([3,4,2,1])
sage: N = Grassmann_necklace(pi)
sage: positroid(N)
[{1, 2}, {1, 3}, {1, 4}, {2, 4}, {3, 4}]
sage: [set([len(positroid(Grassmann_necklace(p))) for p in orbit(pi)]) for pi in Permutations(4)]
"""
n = len(N)
d = len(N[0])
result = []
for B in Subsets(range(1,n+1), d):
if all(B == N[j] or Gale_less(N[j], B, j+1) for j in range(n)):
result.append(B)
return result
def statistic(pi):
return len(positroid(Grassmann_necklace(pi)))
Created
Aug 12, 2019 at 16:34 by Martin Rubey
Updated
Mar 09, 2023 at 15:54 by Tilman Möller
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!