The inversion sum of a permutation.
A pair $a < b$ is an inversion of a permutation $\pi$ if $\pi(a) > \pi(b)$. The inversion sum is given by $\sum(b-a)$ over all inversions of $\pi$.
This is also half of the metric associated with Spearmans coefficient of association $\rho$, $\sum_i (\pi_i - i)^2$, see [5].
This is also equal to the total number of occurrences of the classical permutation patterns $[2,1], [2, 3, 1], [3, 1, 2]$, and $[3, 2, 1]$, see [2].
This is also equal to the rank of the permutation inside the alternating sign matrix lattice, see references [2] and [3].
This lattice is the MacNeille completion of the strong Bruhat order on the symmetric group [1], which means it is the smallest lattice containing the Bruhat order as a subposet. This is a distributive lattice, so the rank of each element is given by the cardinality of the associated order ideal. The rank is calculated by summing the entries of the corresponding monotone triangle and subtracting $\binom{n+2}{3}$, which is the sum of the entries of the monotone triangle corresponding to the identity permutation of $n$.
This is also the number of bigrassmannian permutations (that is, permutations with exactly one left descent and one right descent) below a given permutation $\pi$ in Bruhat order, see Theorem 1 of [6].

Sends a permutation to its image under the Foata bijection.
The Foata bijection $\phi$ is a bijection on the set of words with no two equal letters. It can be defined by induction on the size of the word:
Given a word $w_1 w_2 ... w_n$, compute the image inductively by starting with $\phi(w_1) = w_1$.
At the $i$-th step, if $\phi(w_1 w_2 ... w_i) = v_1 v_2 ... v_i$, define $\phi(w_1 w_2 ... w_i w_{i+1})$ by placing $w_{i+1}$ on the end of the word $v_1 v_2 ... v_i$ and breaking the word up into blocks as follows.

• If $w_{i+1} \geq v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} \geq v_k$.
• If $w_{i+1} < v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} < v_k$.

In either case, place a vertical line at the start of the word as well. Now, within each block between vertical lines, cyclically shift the entries one place to the right.
To compute $\phi([1,4,2,5,3])$, the sequence of words is

• $1$
• $|1|4 \to 14$
• $|14|2 \to 412$
• $|4|1|2|5 \to 4125$
• $|4|125|3 \to 45123.$

In total, this gives $\phi([1,4,2,5,3]) = [4,5,1,2,3]$.
This bijection sends the major index (St000004The major index of a permutation.) to the number of inversions (St000018The number of inversions of a permutation.).

Return the permutation obtained by reading the entries of the tableau row by row, starting with the bottom-most row in English notation.

Return a standard tableau of shape $(n,n)$ where $n$ is the semilength of the Dyck path.
Given a Dyck path $D$, its image is given by recording the positions of the up-steps in the first row and the positions of the down-steps in the second row.