Identifier
- St001081: Permutations ⟶ ℤ
Values
[1,2] => 1
[2,1] => 1
[1,2,3] => 1
[1,3,2] => 2
[2,1,3] => 1
[2,3,1] => 1
[3,1,2] => 1
[3,2,1] => 1
[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] => 1
[2,1,4,3] => 4
[2,3,1,4] => 1
[2,3,4,1] => 1
[2,4,1,3] => 1
[2,4,3,1] => 1
[3,1,2,4] => 1
[3,1,4,2] => 1
[3,2,1,4] => 1
[3,2,4,1] => 1
[3,4,1,2] => 4
[3,4,2,1] => 1
[4,1,2,3] => 1
[4,1,3,2] => 1
[4,2,1,3] => 1
[4,2,3,1] => 1
[4,3,1,2] => 1
[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] => 24
[1,3,4,2,5] => 3
[1,3,4,5,2] => 4
[1,3,5,2,4] => 4
[1,3,5,4,2] => 3
[1,4,2,3,5] => 3
[1,4,2,5,3] => 4
[1,4,3,2,5] => 2
[1,4,3,5,2] => 3
[1,4,5,2,3] => 24
[1,4,5,3,2] => 4
[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] => 4
[1,5,4,3,2] => 24
[2,1,3,4,5] => 1
[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] => 1
[2,3,1,5,4] => 6
[2,3,4,1,5] => 1
[2,3,4,5,1] => 1
[2,3,5,1,4] => 1
[2,3,5,4,1] => 1
[2,4,1,3,5] => 1
[2,4,1,5,3] => 1
[2,4,3,1,5] => 1
[2,4,3,5,1] => 1
[2,4,5,1,3] => 6
[2,4,5,3,1] => 1
[2,5,1,3,4] => 1
[2,5,1,4,3] => 1
[2,5,3,1,4] => 1
[2,5,3,4,1] => 1
[2,5,4,1,3] => 1
[2,5,4,3,1] => 6
[3,1,2,4,5] => 1
[3,1,2,5,4] => 6
[3,1,4,2,5] => 1
[3,1,4,5,2] => 1
[3,1,5,2,4] => 1
[3,1,5,4,2] => 1
[3,2,1,4,5] => 1
[3,2,1,5,4] => 4
[3,2,4,1,5] => 1
[3,2,4,5,1] => 1
[3,2,5,1,4] => 1
[3,2,5,4,1] => 1
[3,4,1,2,5] => 4
[3,4,1,5,2] => 6
[3,4,2,1,5] => 1
[3,4,2,5,1] => 1
[3,4,5,1,2] => 1
[3,4,5,2,1] => 6
[3,5,1,2,4] => 6
[3,5,1,4,2] => 4
[3,5,2,1,4] => 1
>>> 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 minimal length factorizations of a permutation into star transpositions.
For a permutation $\pi\in\mathfrak S_n$ a minimal length factorization into star transpositions is a factorization of the form
$$\pi = \tau_{i_1} \cdots \tau_{i_k}, 2 \leq i_1,\ldots,i_k \leq n,$$
where $\tau_a = (1,a)$ for $2 \leq a \leq n$ and $k$ is minimal.
[1, lem.2.1] shows that the minimal length of such a factorization is $n+m-a-1$, where $m$ is the number of non-trival cycles not containing the element $1$, and $a$ is the number of fixed points different from $1$, see St001077The prefix exchange distance of a permutation..
[2, cor.2] shows that the number of such minimal factorizations is
$$ \frac{(n+m-2(k+1))!}{(n-k)!}\ell_1\cdots\ell_m, $$
where $\ell_1,\dots,\ell_m$ is the cycle type of $\pi$ and $k$ is the number of fixed point different from $1$.
For a permutation $\pi\in\mathfrak S_n$ a minimal length factorization into star transpositions is a factorization of the form
$$\pi = \tau_{i_1} \cdots \tau_{i_k}, 2 \leq i_1,\ldots,i_k \leq n,$$
where $\tau_a = (1,a)$ for $2 \leq a \leq n$ and $k$ is minimal.
[1, lem.2.1] shows that the minimal length of such a factorization is $n+m-a-1$, where $m$ is the number of non-trival cycles not containing the element $1$, and $a$ is the number of fixed points different from $1$, see St001077The prefix exchange distance of a permutation..
[2, cor.2] shows that the number of such minimal factorizations is
$$ \frac{(n+m-2(k+1))!}{(n-k)!}\ell_1\cdots\ell_m, $$
where $\ell_1,\dots,\ell_m$ is the cycle type of $\pi$ and $k$ is the number of fixed point different from $1$.
References
[1] Irving, J., Rattan, A. Minimal factorizations of permutations into star transpositions MathSciNet:2721480
Code
def statistic(pi):
L = pi.cycle_type()
k = pi.number_of_fixed_points()
if pi(1) == 1:
k -= 1
m = len(L)
n = len(pi)
return factorial(n+m-2*(k+1))/factorial(n-k)*prod(L)
# alternative code for checking
@cached_function
def number_of_minimal_star_factorizations_dict(n):
S = Permutations(n)
g = [S(Permutation((1, i))) for i in range(2, n+1)]
result = dict()
result[S(Permutation([]))] = 1
l = 1 # the length of the minimal factorization
while len(result) < factorial(n):
result_l = dict()
for w in cartesian_product([g]*l):
pi = prod(w)
if pi not in result:
result_l[pi] = result_l.get(pi, 0) + 1
for pi, v in result_l.items():
result[pi] = v
l += 1
return result
def statistic(pi):
d = number_of_minimal_star_factorizations_dict(len(pi))
return d[pi]
Created
Jan 09, 2018 at 21:52 by Martin Rubey
Updated
Jan 09, 2018 at 21:52 by Martin Rubey
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!