Your data matches 4 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000191
St000191: Cores ⟶ ℤResult quality: 100% values known / values provided: 100%distinct values known / distinct values provided: 100%
Values
([2],3)
=> 2
([1,1],3)
=> 2
([3,1],3)
=> 2
([2,1,1],3)
=> 2
([4,2],3)
=> 2
([3,1,1],3)
=> 3
([2,2,1,1],3)
=> 2
([5,3,1],3)
=> 2
([4,2,1,1],3)
=> 2
([3,2,2,1,1],3)
=> 2
([6,4,2],3)
=> 2
([5,3,1,1],3)
=> 3
([4,2,2,1,1],3)
=> 3
([3,3,2,2,1,1],3)
=> 2
([2],4)
=> 2
([1,1],4)
=> 2
([3],4)
=> 2
([2,1],4)
=> 4
([1,1,1],4)
=> 2
([4,1],4)
=> 2
([2,2],4)
=> 3
([3,1,1],4)
=> 3
([2,1,1,1],4)
=> 2
([5,2],4)
=> 2
([4,1,1],4)
=> 3
([3,2,1],4)
=> 4
([3,1,1,1],4)
=> 3
([2,2,1,1,1],4)
=> 2
([6,3],4)
=> 2
([5,2,1],4)
=> 4
([4,1,1,1],4)
=> 4
([4,2,2],4)
=> 3
([3,3,1,1],4)
=> 3
([3,2,1,1,1],4)
=> 4
([2,2,2,1,1,1],4)
=> 2
([2],5)
=> 2
([1,1],5)
=> 2
([3],5)
=> 2
([2,1],5)
=> 3
([1,1,1],5)
=> 2
([4],5)
=> 2
([3,1],5)
=> 4
([2,2],5)
=> 2
([2,1,1],5)
=> 4
([1,1,1,1],5)
=> 2
([5,1],5)
=> 2
([3,2],5)
=> 4
([4,1,1],5)
=> 3
([2,2,1],5)
=> 4
([3,1,1,1],5)
=> 3
Description
The number of strong covers of a core. A strong cover has a length of one more than the core being covered and contains the core that is being covered. The length of a $k$-core is the number of elements in that core which have a hook length of less than $k$. Alternatively the length of a core is the size of it's associated $k-1$-bounded partition.
Mp00021: Cores to bounded partitionInteger partitions
Mp00043: Integer partitions to Dyck pathDyck paths
Mp00146: Dyck paths to tunnel matchingPerfect matchings
St000782: Perfect matchings ⟶ ℤResult quality: 12% values known / values provided: 12%distinct values known / distinct values provided: 25%
Values
([2],3)
=> [2]
=> [1,1,0,0,1,0]
=> [(1,4),(2,3),(5,6)]
=> 1 = 2 - 1
([1,1],3)
=> [1,1]
=> [1,0,1,1,0,0]
=> [(1,2),(3,6),(4,5)]
=> 1 = 2 - 1
([3,1],3)
=> [2,1]
=> [1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6)]
=> 1 = 2 - 1
([2,1,1],3)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [(1,2),(3,8),(4,7),(5,6)]
=> ? = 2 - 1
([4,2],3)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [(1,4),(2,3),(5,8),(6,7)]
=> ? ∊ {2,2,3} - 1
([3,1,1],3)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [(1,2),(3,8),(4,5),(6,7)]
=> ? ∊ {2,2,3} - 1
([2,2,1,1],3)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [(1,2),(3,10),(4,9),(5,8),(6,7)]
=> ? ∊ {2,2,3} - 1
([5,3,1],3)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [(1,2),(3,4),(5,8),(6,7)]
=> ? ∊ {2,2,2} - 1
([4,2,1,1],3)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [(1,2),(3,10),(4,9),(5,6),(7,8)]
=> ? ∊ {2,2,2} - 1
([3,2,2,1,1],3)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,2} - 1
([6,4,2],3)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [(1,4),(2,3),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,3,3} - 1
([5,3,1,1],3)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [(1,2),(3,10),(4,5),(6,9),(7,8)]
=> ? ∊ {2,2,3,3} - 1
([4,2,2,1,1],3)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,7),(8,9)]
=> ? ∊ {2,2,3,3} - 1
([3,3,2,2,1,1],3)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> [(1,2),(3,14),(4,13),(5,12),(6,11),(7,10),(8,9)]
=> ? ∊ {2,2,3,3} - 1
([2],4)
=> [2]
=> [1,1,0,0,1,0]
=> [(1,4),(2,3),(5,6)]
=> 1 = 2 - 1
([1,1],4)
=> [1,1]
=> [1,0,1,1,0,0]
=> [(1,2),(3,6),(4,5)]
=> 1 = 2 - 1
([3],4)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> [(1,6),(2,5),(3,4),(7,8)]
=> ? ∊ {2,4} - 1
([2,1],4)
=> [2,1]
=> [1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6)]
=> 1 = 2 - 1
([1,1,1],4)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [(1,2),(3,8),(4,7),(5,6)]
=> ? ∊ {2,4} - 1
([4,1],4)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> [(1,6),(2,3),(4,5),(7,8)]
=> ? ∊ {2,2,3,3} - 1
([2,2],4)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [(1,4),(2,3),(5,8),(6,7)]
=> ? ∊ {2,2,3,3} - 1
([3,1,1],4)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [(1,2),(3,8),(4,5),(6,7)]
=> ? ∊ {2,2,3,3} - 1
([2,1,1,1],4)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [(1,2),(3,10),(4,9),(5,8),(6,7)]
=> ? ∊ {2,2,3,3} - 1
([5,2],4)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> [(1,4),(2,3),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,4} - 1
([4,1,1],4)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> [(1,2),(3,6),(4,5),(7,8)]
=> ? ∊ {2,2,3,3,4} - 1
([3,2,1],4)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [(1,2),(3,4),(5,8),(6,7)]
=> ? ∊ {2,2,3,3,4} - 1
([3,1,1,1],4)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [(1,2),(3,10),(4,9),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,4} - 1
([2,2,1,1,1],4)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,4} - 1
([6,3],4)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> [(1,6),(2,5),(3,4),(7,10),(8,9)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([5,2,1],4)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([4,1,1,1],4)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> [(1,2),(3,10),(4,7),(5,6),(8,9)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([4,2,2],4)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [(1,4),(2,3),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([3,3,1,1],4)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [(1,2),(3,10),(4,5),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([3,2,1,1,1],4)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,7),(8,9)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([2,2,2,1,1,1],4)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> [(1,2),(3,14),(4,13),(5,12),(6,11),(7,10),(8,9)]
=> ? ∊ {2,2,3,3,4,4,4} - 1
([2],5)
=> [2]
=> [1,1,0,0,1,0]
=> [(1,4),(2,3),(5,6)]
=> 1 = 2 - 1
([1,1],5)
=> [1,1]
=> [1,0,1,1,0,0]
=> [(1,2),(3,6),(4,5)]
=> 1 = 2 - 1
([3],5)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> [(1,6),(2,5),(3,4),(7,8)]
=> ? ∊ {2,3} - 1
([2,1],5)
=> [2,1]
=> [1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6)]
=> 1 = 2 - 1
([1,1,1],5)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [(1,2),(3,8),(4,7),(5,6)]
=> ? ∊ {2,3} - 1
([4],5)
=> [4]
=> [1,1,1,1,0,0,0,0,1,0]
=> [(1,8),(2,7),(3,6),(4,5),(9,10)]
=> ? ∊ {2,2,2,4,4} - 1
([3,1],5)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> [(1,6),(2,3),(4,5),(7,8)]
=> ? ∊ {2,2,2,4,4} - 1
([2,2],5)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [(1,4),(2,3),(5,8),(6,7)]
=> ? ∊ {2,2,2,4,4} - 1
([2,1,1],5)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [(1,2),(3,8),(4,5),(6,7)]
=> ? ∊ {2,2,2,4,4} - 1
([1,1,1,1],5)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [(1,2),(3,10),(4,9),(5,8),(6,7)]
=> ? ∊ {2,2,2,4,4} - 1
([5,1],5)
=> [4,1]
=> [1,1,1,0,1,0,0,0,1,0]
=> [(1,8),(2,7),(3,4),(5,6),(9,10)]
=> ? ∊ {2,2,3,3,4,4} - 1
([3,2],5)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> [(1,4),(2,3),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,4,4} - 1
([4,1,1],5)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> [(1,2),(3,6),(4,5),(7,8)]
=> ? ∊ {2,2,3,3,4,4} - 1
([2,2,1],5)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [(1,2),(3,4),(5,8),(6,7)]
=> ? ∊ {2,2,3,3,4,4} - 1
([3,1,1,1],5)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [(1,2),(3,10),(4,9),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,4,4} - 1
([2,1,1,1,1],5)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,4,4} - 1
([6,2],5)
=> [4,2]
=> [1,1,1,0,0,1,0,0,1,0]
=> [(1,8),(2,5),(3,4),(6,7),(9,10)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([5,1,1],5)
=> [4,1,1]
=> [1,1,0,1,1,0,0,0,1,0]
=> [(1,8),(2,3),(4,7),(5,6),(9,10)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,3],5)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> [(1,6),(2,5),(3,4),(7,10),(8,9)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([4,2,1],5)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6),(7,8)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([4,1,1,1],5)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> [(1,2),(3,10),(4,7),(5,6),(8,9)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([2,2,2],5)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [(1,4),(2,3),(5,10),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,2,1,1],5)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [(1,2),(3,10),(4,5),(6,9),(7,8)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,1,1,1,1],5)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [(1,2),(3,12),(4,11),(5,10),(6,7),(8,9)]
=> ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([2],6)
=> [2]
=> [1,1,0,0,1,0]
=> [(1,4),(2,3),(5,6)]
=> 1 = 2 - 1
([1,1],6)
=> [1,1]
=> [1,0,1,1,0,0]
=> [(1,2),(3,6),(4,5)]
=> 1 = 2 - 1
([2,1],6)
=> [2,1]
=> [1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6)]
=> 1 = 2 - 1
Description
The indicator function of whether a given perfect matching is an L & P matching. An L&P matching is built inductively as follows: starting with either a single edge, or a hairpin $([1,3],[2,4])$, insert a noncrossing matching or inflate an edge by a ladder, that is, a number of nested edges. The number of L&P matchings is (see [thm. 1, 2]) $$\frac{1}{2} \cdot 4^{n} + \frac{1}{n + 1}{2 \, n \choose n} - {2 \, n + 1 \choose n} + {2 \, n - 1 \choose n - 1}$$
Mp00021: Cores to bounded partitionInteger partitions
Mp00043: Integer partitions to Dyck pathDyck paths
Mp00201: Dyck paths RingelPermutations
St001583: Permutations ⟶ ℤResult quality: 12% values known / values provided: 12%distinct values known / distinct values provided: 25%
Values
([2],3)
=> [2]
=> [1,1,0,0,1,0]
=> [2,4,1,3] => 3 = 2 + 1
([1,1],3)
=> [1,1]
=> [1,0,1,1,0,0]
=> [3,1,4,2] => 3 = 2 + 1
([3,1],3)
=> [2,1]
=> [1,0,1,0,1,0]
=> [4,1,2,3] => 3 = 2 + 1
([2,1,1],3)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [3,1,4,5,2] => ? = 2 + 1
([4,2],3)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [2,4,1,5,3] => ? ∊ {2,2,3} + 1
([3,1,1],3)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [5,1,4,2,3] => ? ∊ {2,2,3} + 1
([2,2,1,1],3)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [3,1,4,5,6,2] => ? ∊ {2,2,3} + 1
([5,3,1],3)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [4,1,2,5,3] => ? ∊ {2,2,2} + 1
([4,2,1,1],3)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [6,1,4,5,2,3] => ? ∊ {2,2,2} + 1
([3,2,2,1,1],3)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [3,1,4,5,6,7,2] => ? ∊ {2,2,2} + 1
([6,4,2],3)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,4,1,5,6,3] => ? ∊ {2,2,3,3} + 1
([5,3,1,1],3)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [5,1,4,2,6,3] => ? ∊ {2,2,3,3} + 1
([4,2,2,1,1],3)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [7,1,4,5,6,2,3] => ? ∊ {2,2,3,3} + 1
([3,3,2,2,1,1],3)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> [3,1,4,5,6,7,8,2] => ? ∊ {2,2,3,3} + 1
([2],4)
=> [2]
=> [1,1,0,0,1,0]
=> [2,4,1,3] => 3 = 2 + 1
([1,1],4)
=> [1,1]
=> [1,0,1,1,0,0]
=> [3,1,4,2] => 3 = 2 + 1
([3],4)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> [2,3,5,1,4] => ? ∊ {2,4} + 1
([2,1],4)
=> [2,1]
=> [1,0,1,0,1,0]
=> [4,1,2,3] => 3 = 2 + 1
([1,1,1],4)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [3,1,4,5,2] => ? ∊ {2,4} + 1
([4,1],4)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> [5,3,1,2,4] => ? ∊ {2,2,3,3} + 1
([2,2],4)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [2,4,1,5,3] => ? ∊ {2,2,3,3} + 1
([3,1,1],4)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [5,1,4,2,3] => ? ∊ {2,2,3,3} + 1
([2,1,1,1],4)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [3,1,4,5,6,2] => ? ∊ {2,2,3,3} + 1
([5,2],4)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> [2,5,1,3,4] => ? ∊ {2,2,3,3,4} + 1
([4,1,1],4)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> [3,1,5,2,4] => ? ∊ {2,2,3,3,4} + 1
([3,2,1],4)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [4,1,2,5,3] => ? ∊ {2,2,3,3,4} + 1
([3,1,1,1],4)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [6,1,4,5,2,3] => ? ∊ {2,2,3,3,4} + 1
([2,2,1,1,1],4)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [3,1,4,5,6,7,2] => ? ∊ {2,2,3,3,4} + 1
([6,3],4)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> [2,3,5,1,6,4] => ? ∊ {2,2,3,3,4,4,4} + 1
([5,2,1],4)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> [5,1,2,3,4] => ? ∊ {2,2,3,3,4,4,4} + 1
([4,1,1,1],4)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> [3,1,6,5,2,4] => ? ∊ {2,2,3,3,4,4,4} + 1
([4,2,2],4)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,4,1,5,6,3] => ? ∊ {2,2,3,3,4,4,4} + 1
([3,3,1,1],4)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [5,1,4,2,6,3] => ? ∊ {2,2,3,3,4,4,4} + 1
([3,2,1,1,1],4)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [7,1,4,5,6,2,3] => ? ∊ {2,2,3,3,4,4,4} + 1
([2,2,2,1,1,1],4)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> [3,1,4,5,6,7,8,2] => ? ∊ {2,2,3,3,4,4,4} + 1
([2],5)
=> [2]
=> [1,1,0,0,1,0]
=> [2,4,1,3] => 3 = 2 + 1
([1,1],5)
=> [1,1]
=> [1,0,1,1,0,0]
=> [3,1,4,2] => 3 = 2 + 1
([3],5)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> [2,3,5,1,4] => ? ∊ {2,3} + 1
([2,1],5)
=> [2,1]
=> [1,0,1,0,1,0]
=> [4,1,2,3] => 3 = 2 + 1
([1,1,1],5)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> [3,1,4,5,2] => ? ∊ {2,3} + 1
([4],5)
=> [4]
=> [1,1,1,1,0,0,0,0,1,0]
=> [2,3,4,6,1,5] => ? ∊ {2,2,2,4,4} + 1
([3,1],5)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> [5,3,1,2,4] => ? ∊ {2,2,2,4,4} + 1
([2,2],5)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> [2,4,1,5,3] => ? ∊ {2,2,2,4,4} + 1
([2,1,1],5)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> [5,1,4,2,3] => ? ∊ {2,2,2,4,4} + 1
([1,1,1,1],5)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> [3,1,4,5,6,2] => ? ∊ {2,2,2,4,4} + 1
([5,1],5)
=> [4,1]
=> [1,1,1,0,1,0,0,0,1,0]
=> [6,3,4,1,2,5] => ? ∊ {2,2,3,3,4,4} + 1
([3,2],5)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> [2,5,1,3,4] => ? ∊ {2,2,3,3,4,4} + 1
([4,1,1],5)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> [3,1,5,2,4] => ? ∊ {2,2,3,3,4,4} + 1
([2,2,1],5)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> [4,1,2,5,3] => ? ∊ {2,2,3,3,4,4} + 1
([3,1,1,1],5)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> [6,1,4,5,2,3] => ? ∊ {2,2,3,3,4,4} + 1
([2,1,1,1,1],5)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [3,1,4,5,6,7,2] => ? ∊ {2,2,3,3,4,4} + 1
([6,2],5)
=> [4,2]
=> [1,1,1,0,0,1,0,0,1,0]
=> [2,6,4,1,3,5] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([5,1,1],5)
=> [4,1,1]
=> [1,1,0,1,1,0,0,0,1,0]
=> [4,3,1,6,2,5] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([3,3],5)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> [2,3,5,1,6,4] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([4,2,1],5)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> [5,1,2,3,4] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([4,1,1,1],5)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> [3,1,6,5,2,4] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([2,2,2],5)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,4,1,5,6,3] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([3,2,1,1],5)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> [5,1,4,2,6,3] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([3,1,1,1,1],5)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [7,1,4,5,6,2,3] => ? ∊ {2,2,3,3,3,3,3,4,4} + 1
([2],6)
=> [2]
=> [1,1,0,0,1,0]
=> [2,4,1,3] => 3 = 2 + 1
([1,1],6)
=> [1,1]
=> [1,0,1,1,0,0]
=> [3,1,4,2] => 3 = 2 + 1
([2,1],6)
=> [2,1]
=> [1,0,1,0,1,0]
=> [4,1,2,3] => 3 = 2 + 1
Description
The projective dimension of the simple module corresponding to the point in the poset of the symmetric group under bruhat order.
Mp00021: Cores to bounded partitionInteger partitions
Mp00043: Integer partitions to Dyck pathDyck paths
Mp00093: Dyck paths to binary wordBinary words
St001722: Binary words ⟶ ℤResult quality: 12% values known / values provided: 12%distinct values known / distinct values provided: 25%
Values
([2],3)
=> [2]
=> [1,1,0,0,1,0]
=> 110010 => 1 = 2 - 1
([1,1],3)
=> [1,1]
=> [1,0,1,1,0,0]
=> 101100 => 1 = 2 - 1
([3,1],3)
=> [2,1]
=> [1,0,1,0,1,0]
=> 101010 => 1 = 2 - 1
([2,1,1],3)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> 10111000 => ? = 2 - 1
([4,2],3)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> 11001100 => ? ∊ {2,2,3} - 1
([3,1,1],3)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> 10110100 => ? ∊ {2,2,3} - 1
([2,2,1,1],3)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> 1011110000 => ? ∊ {2,2,3} - 1
([5,3,1],3)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> 10101100 => ? ∊ {2,2,2} - 1
([4,2,1,1],3)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> 1011101000 => ? ∊ {2,2,2} - 1
([3,2,2,1,1],3)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> 101111100000 => ? ∊ {2,2,2} - 1
([6,4,2],3)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> 1100111000 => ? ∊ {2,2,3,3} - 1
([5,3,1,1],3)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> 1011011000 => ? ∊ {2,2,3,3} - 1
([4,2,2,1,1],3)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> 101111010000 => ? ∊ {2,2,3,3} - 1
([3,3,2,2,1,1],3)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> 10111111000000 => ? ∊ {2,2,3,3} - 1
([2],4)
=> [2]
=> [1,1,0,0,1,0]
=> 110010 => 1 = 2 - 1
([1,1],4)
=> [1,1]
=> [1,0,1,1,0,0]
=> 101100 => 1 = 2 - 1
([3],4)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> 11100010 => ? ∊ {2,4} - 1
([2,1],4)
=> [2,1]
=> [1,0,1,0,1,0]
=> 101010 => 1 = 2 - 1
([1,1,1],4)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> 10111000 => ? ∊ {2,4} - 1
([4,1],4)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> 11010010 => ? ∊ {2,2,3,3} - 1
([2,2],4)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> 11001100 => ? ∊ {2,2,3,3} - 1
([3,1,1],4)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> 10110100 => ? ∊ {2,2,3,3} - 1
([2,1,1,1],4)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> 1011110000 => ? ∊ {2,2,3,3} - 1
([5,2],4)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> 11001010 => ? ∊ {2,2,3,3,4} - 1
([4,1,1],4)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> 10110010 => ? ∊ {2,2,3,3,4} - 1
([3,2,1],4)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> 10101100 => ? ∊ {2,2,3,3,4} - 1
([3,1,1,1],4)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> 1011101000 => ? ∊ {2,2,3,3,4} - 1
([2,2,1,1,1],4)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> 101111100000 => ? ∊ {2,2,3,3,4} - 1
([6,3],4)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> 1110001100 => ? ∊ {2,2,3,3,4,4,4} - 1
([5,2,1],4)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> 10101010 => ? ∊ {2,2,3,3,4,4,4} - 1
([4,1,1,1],4)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> 1011100100 => ? ∊ {2,2,3,3,4,4,4} - 1
([4,2,2],4)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> 1100111000 => ? ∊ {2,2,3,3,4,4,4} - 1
([3,3,1,1],4)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> 1011011000 => ? ∊ {2,2,3,3,4,4,4} - 1
([3,2,1,1,1],4)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> 101111010000 => ? ∊ {2,2,3,3,4,4,4} - 1
([2,2,2,1,1,1],4)
=> [1,1,1,1,1,1]
=> [1,0,1,1,1,1,1,1,0,0,0,0,0,0]
=> 10111111000000 => ? ∊ {2,2,3,3,4,4,4} - 1
([2],5)
=> [2]
=> [1,1,0,0,1,0]
=> 110010 => 1 = 2 - 1
([1,1],5)
=> [1,1]
=> [1,0,1,1,0,0]
=> 101100 => 1 = 2 - 1
([3],5)
=> [3]
=> [1,1,1,0,0,0,1,0]
=> 11100010 => ? ∊ {2,3} - 1
([2,1],5)
=> [2,1]
=> [1,0,1,0,1,0]
=> 101010 => 1 = 2 - 1
([1,1,1],5)
=> [1,1,1]
=> [1,0,1,1,1,0,0,0]
=> 10111000 => ? ∊ {2,3} - 1
([4],5)
=> [4]
=> [1,1,1,1,0,0,0,0,1,0]
=> 1111000010 => ? ∊ {2,2,2,4,4} - 1
([3,1],5)
=> [3,1]
=> [1,1,0,1,0,0,1,0]
=> 11010010 => ? ∊ {2,2,2,4,4} - 1
([2,2],5)
=> [2,2]
=> [1,1,0,0,1,1,0,0]
=> 11001100 => ? ∊ {2,2,2,4,4} - 1
([2,1,1],5)
=> [2,1,1]
=> [1,0,1,1,0,1,0,0]
=> 10110100 => ? ∊ {2,2,2,4,4} - 1
([1,1,1,1],5)
=> [1,1,1,1]
=> [1,0,1,1,1,1,0,0,0,0]
=> 1011110000 => ? ∊ {2,2,2,4,4} - 1
([5,1],5)
=> [4,1]
=> [1,1,1,0,1,0,0,0,1,0]
=> 1110100010 => ? ∊ {2,2,3,3,4,4} - 1
([3,2],5)
=> [3,2]
=> [1,1,0,0,1,0,1,0]
=> 11001010 => ? ∊ {2,2,3,3,4,4} - 1
([4,1,1],5)
=> [3,1,1]
=> [1,0,1,1,0,0,1,0]
=> 10110010 => ? ∊ {2,2,3,3,4,4} - 1
([2,2,1],5)
=> [2,2,1]
=> [1,0,1,0,1,1,0,0]
=> 10101100 => ? ∊ {2,2,3,3,4,4} - 1
([3,1,1,1],5)
=> [2,1,1,1]
=> [1,0,1,1,1,0,1,0,0,0]
=> 1011101000 => ? ∊ {2,2,3,3,4,4} - 1
([2,1,1,1,1],5)
=> [1,1,1,1,1]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> 101111100000 => ? ∊ {2,2,3,3,4,4} - 1
([6,2],5)
=> [4,2]
=> [1,1,1,0,0,1,0,0,1,0]
=> 1110010010 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([5,1,1],5)
=> [4,1,1]
=> [1,1,0,1,1,0,0,0,1,0]
=> 1101100010 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,3],5)
=> [3,3]
=> [1,1,1,0,0,0,1,1,0,0]
=> 1110001100 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([4,2,1],5)
=> [3,2,1]
=> [1,0,1,0,1,0,1,0]
=> 10101010 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([4,1,1,1],5)
=> [3,1,1,1]
=> [1,0,1,1,1,0,0,1,0,0]
=> 1011100100 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([2,2,2],5)
=> [2,2,2]
=> [1,1,0,0,1,1,1,0,0,0]
=> 1100111000 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,2,1,1],5)
=> [2,2,1,1]
=> [1,0,1,1,0,1,1,0,0,0]
=> 1011011000 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([3,1,1,1,1],5)
=> [2,1,1,1,1]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> 101111010000 => ? ∊ {2,2,3,3,3,3,3,4,4} - 1
([2],6)
=> [2]
=> [1,1,0,0,1,0]
=> 110010 => 1 = 2 - 1
([1,1],6)
=> [1,1]
=> [1,0,1,1,0,0]
=> 101100 => 1 = 2 - 1
([2,1],6)
=> [2,1]
=> [1,0,1,0,1,0]
=> 101010 => 1 = 2 - 1
Description
The number of minimal chains with small intervals between a binary word and the top element. A valley in a binary word is a subsequence $01$, or a trailing $0$. A peak is a subsequence $10$ or a trailing $1$. Let $P$ be the lattice on binary words of length $n$, where the covering elements of a word are obtained by replacing a valley with a peak. An interval $[w_1, w_2]$ in $P$ is small if $w_2$ is obtained from $w_1$ by replacing some valleys with peaks. This statistic counts the number of chains $w = w_1 < \dots < w_d = 1\dots 1$ to the top element of minimal length. For example, there are two such chains for the word $0110$: $$ 0110 < 1011 < 1101 < 1110 < 1111 $$ and $$ 0110 < 1010 < 1101 < 1110 < 1111. $$