searching the database
Your data matches 15 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000006
(load all 7 compositions to match this statistic)
(load all 7 compositions to match this statistic)
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
St000006: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
St000006: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> 6
Description
The dinv of a Dyck path.
Let a=(a1,…,an) be the area sequence of a Dyck path D (see [[St000012]]).
The dinv statistic of D is
dinv(D)=#{i<j:ai−aj∈{0,1}}.
Equivalently, dinv(D) is also equal to the number of boxes in the partition above D whose ''arm length'' is one larger or equal to its ''leg length''.
There is a recursive definition of the (area,dinv) pair of statistics, see [2].
Let a=(0,a2,…,ar,0,ar+2,…,an) be the area sequence of the Dyck path D with ai>0 for 2≤i≤r (so that the path touches the diagonal for the first time after r steps). Assume that D has v entries where ai=0. Let D′ be the path with the area sequence (0,ar+2,…,an,a2−1,a3−1,…,ar−1), then the statistics are related by
(area(D),dinv(D))=(area(D′)+r−1,dinv(D′)+v−1).
Matching statistic: St000012
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St000012: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St000012: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> 6
Description
The area of a Dyck path.
This is the number of complete squares in the integer lattice which are below the path and above the x-axis. The 'half-squares' directly above the axis do not contribute to this statistic.
1. Dyck paths are bijection with '''area sequences''' (a1,…,an) such that a1=0,ak+1≤ak+1.
2. The generating function Dn(q)=∑D∈Dnqarea(D) satisfy the recurrence Dn+1(q)=∑qkDk(q)Dn−k(q).
3. The area is equidistributed with [[St000005]] and [[St000006]]. Pairs of these statistics play an important role in the theory of q,t-Catalan numbers.
Matching statistic: St000378
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00027: Dyck paths —to partition⟶ Integer partitions
St000378: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00027: Dyck paths —to partition⟶ Integer partitions
St000378: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> []
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> []
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> []
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,1]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [2]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [2,1]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> []
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,1]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [2]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [2,1]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,1,1]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [2,1,1]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [2,2]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [2,2,1]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [3]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [3,1]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [3,1,1]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [3,2]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [3,2,1]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> []
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,1]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [2]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [2,1]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,1,1]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [2,1,1]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [2,2]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [2,2,1]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [3]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [3,1]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [3,1,1]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [3,2]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [3,2,1]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,1,1,1]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [2,1,1,1]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [2,2,1,1]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [3,1,1,1]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [3,2,1,1]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,2,2]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [3,2,2]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [2,2,2,1]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [3,2,2,1]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [3,3]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [3,3,1]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [3,3,1,1]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [3,3,2]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [3,3,2,1]
=> 6
Description
The diagonal inversion number of an integer partition.
The dinv of a partition is the number of cells c in the diagram of an integer partition λ for which arm(c)−leg(c)∈{0,1}.
See also exercise 3.19 of [2].
This statistic is equidistributed with the length of the partition, see [3].
Matching statistic: St001295
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St001295: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St001295: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> 6
Description
Gives the vector space dimension of the homomorphism space between J^2 and J^2.
Matching statistic: St000005
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St000005: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
St000005: Dyck paths ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [1,0]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [1,1,0,0]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [1,0,1,0]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [1,1,1,1,1,0,0,0,0,0]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [1,1,1,1,0,1,0,0,0,0]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,1,0,0,0,0]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [1,1,1,1,0,0,1,0,0,0]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [1,0,1,1,1,0,1,0,0,0]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,1,0,0,0,0]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [1,1,1,0,1,0,1,0,0,0]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [1,1,1,1,0,0,0,1,0,0]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,1,0,0,0]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,1,0,0,0]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [1,1,0,1,1,0,0,1,0,0]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [1,0,1,1,1,0,0,1,0,0]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [1,1,0,0,1,1,0,1,0,0]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [1,0,1,0,1,1,0,1,0,0]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> 6
Description
The bounce statistic of a Dyck path.
The '''bounce path''' D′ of a Dyck path D is the Dyck path obtained from D by starting at the end point (2n,0), traveling north-west until hitting D, then bouncing back south-west to the x-axis, and repeating this procedure until finally reaching the point (0,0).
The points where D′ touches the x-axis are called '''bounce points''', and a bounce path is uniquely determined by its bounce points.
This statistic is given by the sum of all i for which the bounce path D′ of D touches the x-axis at (2i,0).
In particular, the bounce statistics of D and D′ coincide.
Matching statistic: St000018
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00031: Dyck paths —to 312-avoiding permutation⟶ Permutations
St000018: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00031: Dyck paths —to 312-avoiding permutation⟶ Permutations
St000018: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [1] => 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [1,2] => 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [2,1] => 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [1,2,3] => 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [2,1,3] => 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [1,3,2] => 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [2,3,1] => 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [3,2,1] => 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [1,2,3,4] => 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [2,1,3,4] => 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [1,3,2,4] => 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [2,3,1,4] => 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [3,2,1,4] => 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [1,2,4,3] => 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [2,1,4,3] => 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [2,3,4,1] => 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [1,4,3,2] => 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [1,3,4,2] => 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [3,2,4,1] => 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [2,4,3,1] => 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [3,4,2,1] => 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [4,3,2,1] => 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [1,2,3,4,5] => 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [2,1,3,4,5] => 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [1,3,2,4,5] => 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [2,3,1,4,5] => 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [3,2,1,4,5] => 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [1,2,4,3,5] => 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [2,1,4,3,5] => 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [2,3,4,1,5] => 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [1,4,3,2,5] => 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [1,3,4,2,5] => 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [3,2,4,1,5] => 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [2,4,3,1,5] => 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [3,4,2,1,5] => 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [4,3,2,1,5] => 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,2,3,5,4] => 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [2,1,3,5,4] => 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,3,2,5,4] => 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [2,3,1,5,4] => 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [3,2,1,5,4] => 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,3,4,5,2] => 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [3,2,4,5,1] => 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,2,5,4,3] => 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,1,5,4,3] => 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [2,3,4,5,1] => 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [3,4,2,5,1] => 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [2,3,5,4,1] => 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [2,4,5,3,1] => 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,5,4,3,2] => 6
Description
The number of inversions of a permutation.
This equals the minimal number of simple transpositions (i,i+1) needed to write π. Thus, it is also the Coxeter length of π.
Matching statistic: St000041
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00146: Dyck paths —to tunnel matching⟶ Perfect matchings
St000041: Perfect matchings ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00146: Dyck paths —to tunnel matching⟶ Perfect matchings
St000041: Perfect matchings ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [(1,2)]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [(1,2),(3,4)]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [(1,4),(2,3)]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6)]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [(1,4),(2,3),(5,6)]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [(1,2),(3,6),(4,5)]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [(1,6),(2,3),(4,5)]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [(1,6),(2,5),(3,4)]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6),(7,8)]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [(1,4),(2,3),(5,6),(7,8)]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [(1,2),(3,6),(4,5),(7,8)]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [(1,6),(2,3),(4,5),(7,8)]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [(1,6),(2,5),(3,4),(7,8)]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [(1,2),(3,4),(5,8),(6,7)]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [(1,4),(2,3),(5,8),(6,7)]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [(1,8),(2,3),(4,5),(6,7)]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [(1,2),(3,8),(4,7),(5,6)]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [(1,2),(3,8),(4,5),(6,7)]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [(1,8),(2,5),(3,4),(6,7)]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [(1,8),(2,3),(4,7),(5,6)]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [(1,8),(2,7),(3,4),(5,6)]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [(1,8),(2,7),(3,6),(4,5)]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [(1,2),(3,4),(5,6),(7,8),(9,10)]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [(1,4),(2,3),(5,6),(7,8),(9,10)]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [(1,2),(3,6),(4,5),(7,8),(9,10)]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [(1,6),(2,3),(4,5),(7,8),(9,10)]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [(1,6),(2,5),(3,4),(7,8),(9,10)]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [(1,2),(3,4),(5,8),(6,7),(9,10)]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [(1,4),(2,3),(5,8),(6,7),(9,10)]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [(1,8),(2,3),(4,5),(6,7),(9,10)]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [(1,2),(3,8),(4,7),(5,6),(9,10)]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [(1,2),(3,8),(4,5),(6,7),(9,10)]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [(1,8),(2,5),(3,4),(6,7),(9,10)]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [(1,8),(2,3),(4,7),(5,6),(9,10)]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [(1,8),(2,7),(3,4),(5,6),(9,10)]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [(1,8),(2,7),(3,6),(4,5),(9,10)]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [(1,2),(3,4),(5,6),(7,10),(8,9)]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [(1,4),(2,3),(5,6),(7,10),(8,9)]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [(1,2),(3,6),(4,5),(7,10),(8,9)]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [(1,6),(2,3),(4,5),(7,10),(8,9)]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [(1,6),(2,5),(3,4),(7,10),(8,9)]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [(1,2),(3,10),(4,5),(6,7),(8,9)]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [(1,10),(2,5),(3,4),(6,7),(8,9)]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [(1,2),(3,4),(5,10),(6,9),(7,8)]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [(1,4),(2,3),(5,10),(6,9),(7,8)]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [(1,10),(2,3),(4,5),(6,7),(8,9)]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [(1,10),(2,7),(3,4),(5,6),(8,9)]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [(1,10),(2,3),(4,5),(6,9),(7,8)]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [(1,10),(2,3),(4,9),(5,6),(7,8)]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [(1,2),(3,10),(4,9),(5,8),(6,7)]
=> 6
Description
The number of nestings of a perfect matching.
This is the number of pairs of edges ((a,b),(c,d)) such that a≤c≤d≤b. i.e., the edge (c,d) is nested inside (a,b).
Matching statistic: St000057
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00033: Dyck paths —to two-row standard tableau⟶ Standard tableaux
St000057: Standard tableaux ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00033: Dyck paths —to two-row standard tableau⟶ Standard tableaux
St000057: Standard tableaux ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [[1],[2]]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [[1,3],[2,4]]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [[1,2],[3,4]]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [[1,3,5],[2,4,6]]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [[1,2,5],[3,4,6]]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [[1,3,4],[2,5,6]]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [[1,2,4],[3,5,6]]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [[1,2,3],[4,5,6]]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [[1,3,5,7],[2,4,6,8]]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [[1,2,5,7],[3,4,6,8]]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [[1,3,4,7],[2,5,6,8]]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [[1,2,4,7],[3,5,6,8]]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [[1,2,3,7],[4,5,6,8]]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [[1,3,5,6],[2,4,7,8]]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [[1,2,5,6],[3,4,7,8]]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [[1,2,4,6],[3,5,7,8]]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [[1,3,4,5],[2,6,7,8]]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [[1,3,4,6],[2,5,7,8]]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [[1,2,3,6],[4,5,7,8]]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [[1,2,4,5],[3,6,7,8]]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [[1,2,3,5],[4,6,7,8]]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [[1,2,3,4],[5,6,7,8]]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [[1,3,5,7,9],[2,4,6,8,10]]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [[1,2,5,7,9],[3,4,6,8,10]]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [[1,3,4,7,9],[2,5,6,8,10]]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [[1,2,4,7,9],[3,5,6,8,10]]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [[1,2,3,7,9],[4,5,6,8,10]]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [[1,3,5,6,9],[2,4,7,8,10]]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [[1,2,5,6,9],[3,4,7,8,10]]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [[1,2,4,6,9],[3,5,7,8,10]]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [[1,3,4,5,9],[2,6,7,8,10]]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [[1,3,4,6,9],[2,5,7,8,10]]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [[1,2,3,6,9],[4,5,7,8,10]]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [[1,2,4,5,9],[3,6,7,8,10]]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [[1,2,3,5,9],[4,6,7,8,10]]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [[1,2,3,4,9],[5,6,7,8,10]]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [[1,3,5,7,8],[2,4,6,9,10]]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [[1,2,5,7,8],[3,4,6,9,10]]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [[1,3,4,7,8],[2,5,6,9,10]]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [[1,2,4,7,8],[3,5,6,9,10]]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [[1,2,3,7,8],[4,5,6,9,10]]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [[1,3,4,6,8],[2,5,7,9,10]]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [[1,2,3,6,8],[4,5,7,9,10]]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [[1,3,5,6,7],[2,4,8,9,10]]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [[1,2,5,6,7],[3,4,8,9,10]]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [[1,2,4,6,8],[3,5,7,9,10]]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [[1,2,3,5,8],[4,6,7,9,10]]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [[1,2,4,6,7],[3,5,8,9,10]]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [[1,2,4,5,7],[3,6,8,9,10]]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [[1,3,4,5,6],[2,7,8,9,10]]
=> 6
Description
The Shynar inversion number of a standard tableau.
Shynar's inversion number is the number of inversion pairs in a standard Young tableau, where an inversion pair is defined as a pair of integers (x,y) such that y > x and y appears strictly southwest of x in the tableau.
Matching statistic: St000067
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00137: Dyck paths —to symmetric ASM⟶ Alternating sign matrices
St000067: Alternating sign matrices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00137: Dyck paths —to symmetric ASM⟶ Alternating sign matrices
St000067: Alternating sign matrices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [[1]]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [[1,0],[0,1]]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [[0,1],[1,0]]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [[1,0,0],[0,1,0],[0,0,1]]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [[0,1,0],[1,0,0],[0,0,1]]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [[1,0,0],[0,0,1],[0,1,0]]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [[0,1,0],[1,-1,1],[0,1,0]]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [[0,0,1],[0,1,0],[1,0,0]]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [[0,1,0,0],[1,0,0,0],[0,0,1,0],[0,0,0,1]]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [[1,0,0,0],[0,0,1,0],[0,1,0,0],[0,0,0,1]]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [[0,1,0,0],[1,-1,1,0],[0,1,0,0],[0,0,0,1]]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [[0,0,1,0],[0,1,0,0],[1,0,0,0],[0,0,0,1]]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [[0,1,0,0],[1,0,0,0],[0,0,0,1],[0,0,1,0]]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [[0,1,0,0],[1,-1,1,0],[0,1,-1,1],[0,0,1,0]]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [[1,0,0,0],[0,0,0,1],[0,0,1,0],[0,1,0,0]]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [[1,0,0,0],[0,0,1,0],[0,1,-1,1],[0,0,1,0]]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [[0,0,1,0],[0,1,0,0],[1,0,-1,1],[0,0,1,0]]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [[0,1,0,0],[1,-1,0,1],[0,0,1,0],[0,1,0,0]]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [[0,0,1,0],[0,1,-1,1],[1,-1,1,0],[0,1,0,0]]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [[0,0,0,1],[0,0,1,0],[0,1,0,0],[1,0,0,0]]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [[0,0,1,0,0],[0,1,0,0,0],[1,0,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,0,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [[1,0,0,0,0],[0,0,0,1,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,0,1]]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [[0,0,1,0,0],[0,1,0,0,0],[1,0,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [[0,1,0,0,0],[1,-1,0,1,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,0,1]]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [[0,0,1,0,0],[0,1,-1,1,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1]]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [[0,0,0,1,0],[0,0,1,0,0],[0,1,0,0,0],[1,0,0,0,0],[0,0,0,0,1]]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,1,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [[0,0,1,0,0],[0,1,0,0,0],[1,0,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [[0,0,1,0,0],[0,1,0,0,0],[1,0,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0],[0,0,1,0,0]]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,0,0,1],[0,0,0,1,0],[0,0,1,0,0]]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [[0,0,1,0,0],[0,1,-1,1,0],[1,-1,1,0,0],[0,1,0,-1,1],[0,0,0,1,0]]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,0,1],[0,0,0,1,0],[0,0,1,0,0]]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [[0,1,0,0,0],[1,-1,0,1,0],[0,0,1,-1,1],[0,1,-1,1,0],[0,0,1,0,0]]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [[1,0,0,0,0],[0,0,0,0,1],[0,0,0,1,0],[0,0,1,0,0],[0,1,0,0,0]]
=> 6
Description
The inversion number of the alternating sign matrix.
If we denote the entries of the alternating sign matrix as ai,j, the inversion number is defined as
∑i>k∑j<ℓai,jak,ℓ.
When restricted to permutation matrices, this gives the usual inversion number of the permutation.
Matching statistic: St000076
Mp00020: Binary trees —to Tamari-corresponding Dyck path⟶ Dyck paths
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00035: Dyck paths —to alternating sign matrix⟶ Alternating sign matrices
St000076: Alternating sign matrices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00030: Dyck paths —zeta map⟶ Dyck paths
Mp00035: Dyck paths —to alternating sign matrix⟶ Alternating sign matrices
St000076: Alternating sign matrices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1,0]
=> [[1]]
=> 0
[.,[.,.]]
=> [1,1,0,0]
=> [1,0,1,0]
=> [[1,0],[0,1]]
=> 0
[[.,.],.]
=> [1,0,1,0]
=> [1,1,0,0]
=> [[0,1],[1,0]]
=> 1
[.,[.,[.,.]]]
=> [1,1,1,0,0,0]
=> [1,0,1,0,1,0]
=> [[1,0,0],[0,1,0],[0,0,1]]
=> 0
[.,[[.,.],.]]
=> [1,1,0,1,0,0]
=> [1,1,0,0,1,0]
=> [[0,1,0],[1,0,0],[0,0,1]]
=> 1
[[.,.],[.,.]]
=> [1,0,1,1,0,0]
=> [1,0,1,1,0,0]
=> [[1,0,0],[0,0,1],[0,1,0]]
=> 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [1,1,0,1,0,0]
=> [[0,1,0],[1,-1,1],[0,1,0]]
=> 2
[[[.,.],.],.]
=> [1,0,1,0,1,0]
=> [1,1,1,0,0,0]
=> [[0,0,1],[1,0,0],[0,1,0]]
=> 3
[.,[.,[.,[.,.]]]]
=> [1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,0]
=> [[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]]
=> 0
[.,[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,0]
=> [[0,1,0,0],[1,0,0,0],[0,0,1,0],[0,0,0,1]]
=> 1
[.,[[.,.],[.,.]]]
=> [1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,0]
=> [[1,0,0,0],[0,0,1,0],[0,1,0,0],[0,0,0,1]]
=> 1
[.,[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,0]
=> [[0,1,0,0],[1,-1,1,0],[0,1,0,0],[0,0,0,1]]
=> 2
[.,[[[.,.],.],.]]
=> [1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,0]
=> [[0,0,1,0],[1,0,0,0],[0,1,0,0],[0,0,0,1]]
=> 3
[[.,.],[.,[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,0,0]
=> [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]
=> 1
[[.,.],[[.,.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,0,0]
=> [[0,1,0,0],[1,0,0,0],[0,0,0,1],[0,0,1,0]]
=> 2
[[.,[.,.]],[.,.]]
=> [1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,0]
=> [[0,1,0,0],[1,-1,1,0],[0,1,-1,1],[0,0,1,0]]
=> 3
[[[.,.],.],[.,.]]
=> [1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,0,0,0]
=> [[1,0,0,0],[0,0,0,1],[0,1,0,0],[0,0,1,0]]
=> 3
[[.,[.,[.,.]]],.]
=> [1,1,1,0,0,0,1,0]
=> [1,0,1,1,0,1,0,0]
=> [[1,0,0,0],[0,0,1,0],[0,1,-1,1],[0,0,1,0]]
=> 2
[[.,[[.,.],.]],.]
=> [1,1,0,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> [[0,0,1,0],[1,0,0,0],[0,1,-1,1],[0,0,1,0]]
=> 4
[[[.,.],[.,.]],.]
=> [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,0]
=> [[0,1,0,0],[1,-1,0,1],[0,1,0,0],[0,0,1,0]]
=> 4
[[[.,[.,.]],.],.]
=> [1,1,0,0,1,0,1,0]
=> [1,1,1,0,1,0,0,0]
=> [[0,0,1,0],[1,0,-1,1],[0,1,0,0],[0,0,1,0]]
=> 5
[[[[.,.],.],.],.]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1,0,0,0,0]
=> [[0,0,0,1],[1,0,0,0],[0,1,0,0],[0,0,1,0]]
=> 6
[.,[.,[.,[.,[.,.]]]]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [1,0,1,0,1,0,1,0,1,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 0
[.,[.,[.,[[.,.],.]]]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [1,1,0,0,1,0,1,0,1,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 1
[.,[.,[[.,.],[.,.]]]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [1,0,1,1,0,0,1,0,1,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 1
[.,[.,[[.,[.,.]],.]]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [1,1,0,1,0,0,1,0,1,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 2
[.,[.,[[[.,.],.],.]]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [1,1,1,0,0,0,1,0,1,0]
=> [[0,0,1,0,0],[1,0,0,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]]
=> 3
[.,[[.,.],[.,[.,.]]]]
=> [1,1,0,1,1,1,0,0,0,0]
=> [1,0,1,0,1,1,0,0,1,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 1
[.,[[.,.],[[.,.],.]]]
=> [1,1,0,1,1,0,1,0,0,0]
=> [1,1,0,0,1,1,0,0,1,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,0,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 2
[.,[[.,[.,.]],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [1,1,0,1,0,1,0,0,1,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 3
[.,[[[.,.],.],[.,.]]]
=> [1,1,0,1,0,1,1,0,0,0]
=> [1,0,1,1,1,0,0,0,1,0]
=> [[1,0,0,0,0],[0,0,0,1,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 3
[.,[[.,[.,[.,.]]],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [1,0,1,1,0,1,0,0,1,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 2
[.,[[.,[[.,.],.]],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [1,1,1,0,0,1,0,0,1,0]
=> [[0,0,1,0,0],[1,0,0,0,0],[0,1,-1,1,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 4
[.,[[[.,.],[.,.]],.]]
=> [1,1,0,1,1,0,0,1,0,0]
=> [1,1,0,1,1,0,0,0,1,0]
=> [[0,1,0,0,0],[1,-1,0,1,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 4
[.,[[[.,[.,.]],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [1,1,1,0,1,0,0,0,1,0]
=> [[0,0,1,0,0],[1,0,-1,1,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 5
[.,[[[[.,.],.],.],.]]
=> [1,1,0,1,0,1,0,1,0,0]
=> [1,1,1,1,0,0,0,0,1,0]
=> [[0,0,0,1,0],[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1]]
=> 6
[[.,.],[.,[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,0,1,0,1,0,1,1,0,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 1
[[.,.],[.,[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,1,0,0,1,0,1,1,0,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,1,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 2
[[.,.],[[.,.],[.,.]]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,0,1,1,0,0,1,1,0,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 2
[[.,.],[[.,[.,.]],.]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,1,0,1,0,0,1,1,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 3
[[.,.],[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,1,0,0]
=> [1,1,1,0,0,0,1,1,0,0]
=> [[0,0,1,0,0],[1,0,0,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,0,1,0]]
=> 4
[[.,[.,.]],[.,[.,.]]]
=> [1,1,0,0,1,1,1,0,0,0]
=> [1,0,1,1,0,1,0,1,0,0]
=> [[1,0,0,0,0],[0,0,1,0,0],[0,1,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 3
[[.,[.,.]],[[.,.],.]]
=> [1,1,0,0,1,1,0,1,0,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> [[0,0,1,0,0],[1,0,0,0,0],[0,1,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 5
[[[.,.],.],[.,[.,.]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,0,1,0,1,1,1,0,0,0]
=> [[1,0,0,0,0],[0,1,0,0,0],[0,0,0,0,1],[0,0,1,0,0],[0,0,0,1,0]]
=> 3
[[[.,.],.],[[.,.],.]]
=> [1,0,1,0,1,1,0,1,0,0]
=> [1,1,0,0,1,1,1,0,0,0]
=> [[0,1,0,0,0],[1,0,0,0,0],[0,0,0,0,1],[0,0,1,0,0],[0,0,0,1,0]]
=> 4
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,1,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 4
[[.,[[.,.],.]],[.,.]]
=> [1,1,0,1,0,0,1,1,0,0]
=> [1,1,1,0,1,0,0,1,0,0]
=> [[0,0,1,0,0],[1,0,-1,1,0],[0,1,0,0,0],[0,0,1,-1,1],[0,0,0,1,0]]
=> 6
[[[.,.],[.,.]],[.,.]]
=> [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> [[0,1,0,0,0],[1,-1,1,0,0],[0,1,-1,0,1],[0,0,1,0,0],[0,0,0,1,0]]
=> 5
[[[.,[.,.]],.],[.,.]]
=> [1,1,0,0,1,0,1,1,0,0]
=> [1,1,0,1,1,0,1,0,0,0]
=> [[0,1,0,0,0],[1,-1,0,1,0],[0,1,0,-1,1],[0,0,1,0,0],[0,0,0,1,0]]
=> 6
[[[[.,.],.],.],[.,.]]
=> [1,0,1,0,1,0,1,1,0,0]
=> [1,0,1,1,1,1,0,0,0,0]
=> [[1,0,0,0,0],[0,0,0,0,1],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0]]
=> 6
Description
The rank of the alternating sign matrix in the alternating sign matrix poset.
This rank is the sum of the entries of the monotone triangle minus \binom{n+2}{3}, which is the smallest sum of the entries in the set of all monotone triangles with bottom row 1\dots n.
Alternatively, rank(A)=\frac{1}{2} \sum_{i,j=1}^n (i-j)^2 a_{ij}, see [3, thm.5.1].
The following 5 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St000161The sum of the sizes of the right subtrees of a binary tree. St000246The number of non-inversions of a permutation. St001397Number of pairs of incomparable elements in a finite poset. St001558The number of transpositions that are smaller or equal to a permutation in Bruhat order. St001583The projective dimension of the simple module corresponding to the point in the poset of the symmetric group under bruhat order.
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!