Returns the fixed point free involution whose transpositions are the pairs in the perfect matching.

Return a permutation whose multiset of invisible inversion bottoms is the multiset of descent views of the given permutation.
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that

• the multiset of descent views in $\pi$ is the multiset of invisible inversion bottoms in $\chi(\pi)$,
• the set of left-to-right maxima of $\pi$ is the set of maximal elements in the cycles of $\chi(\pi)$,
• the set of global ascent of $\pi$ is the set of global ascent of $\chi(\pi)$,
• the set of maximal elements in the decreasing runs of $\pi$ is the set of weak deficiency positions of $\chi(\pi)$, and
• the set of minimal elements in the decreasing runs of $\pi$ is the set of weak deficiency values of $\chi(\pi)$.

Sends a permutation to its permutation poset.
For a permutation $\pi$ of length $n$, this poset has vertices
$$\{ (i,\pi(i))\ :\ 1 \leq i \leq n \}$$
and the cover relation is given by $(w, x) \leq (y, z)$ if $w \leq y$ and $x \leq z$.
For example, the permutation $[3,1,5,4,2]$ is mapped to the poset with cover relations
$$\{ (2, 1) \prec (5, 2),\ (2, 1) \prec (4, 4),\ (2, 1) \prec (3, 5),\ (1, 3) \prec (4, 4),\ (1, 3) \prec (3, 5) \}.$$