9
$\begingroup$

I consider all $k$ element subsets of the set $\{1,\ldots,n\}$ and define a partial order relation $\prec$ as follows: $\{a_1,\ldots,a_k\}\prec\{b_1,\ldots,b_k\}$, if and only if $a_1<\cdots<a_k$, $b_1<\cdots<b_k$ and $a_i\leq b_i$ for all $i=1,\ldots,k$.

What is this partial order commonly called in the literature? Can someone point out references?

Thanks a lot, Torsten

[edit] Here is a Hasse diagram of this partial order for $n=6$ and $k=3$: http://www.freeimagehosting.net/7pmk7

$\endgroup$
1
  • 2
    $\begingroup$ Essentially you are taking strictly increasing maps from {1,...,k} to {1,...,n}. Than, given two strictly increasing maps $f,g:\{1,...,k\}\to \{1,\dots,n\}$ you say that $f\prec g$ if $f(i)\leq g(i)$ for all $i\in\{1,\dots,k\}$. I would call it just a pointwise order... I cannot help you with any reference. $\endgroup$ Commented Feb 14, 2013 at 14:35

3 Answers 3

6
$\begingroup$

This order is sometimes denoted $L(k,n-k)$ and has many interesting properties. See for instance Chapter 6 of http://math.mit.edu/~rstan/algcomb.pdf. For the characteristic polynomial of the Hasse diagram of $L(k,n-k)$ (considered as a graph), see Remark 5.6 of http://math.mit.edu/~rstan/papers/vac.pdf.

$\endgroup$
1
  • $\begingroup$ The first link in the post no longer works - but it can still be found in the Wayback Machine. (Sorry for notifications from my several comments - I did not want to bump several old posts by editing, that's why I posted comments instead.) $\endgroup$ Commented Jun 15, 2022 at 16:30
8
$\begingroup$

This is the Bruhat order on $S_n / (S_k \times S_{n-k})$, which models the inclusion relations of Schubert varieties on the Grassmannian $Gr(k,n)$. The elements of $S_n / (S_k \times S_{n-k})$ are generally modeled by their minimal length representatives, called Grassmann permutations. You can biject your $k$-subset of $[n]$ to a Grassmann permutation by sending a $k$-subset $\lbrace a_1, \dots, a_k \rbrace$ (with $a_1 < a_2 < \dots < a_k$) to the permutation of $[n]$ whose window (one-line) notation is $a_1 a_2 \cdots a_k b_1 b_2 \cdots b_{n-k}$ with $\lbrace b_1, b_2, \dots, b_{n-k} \rbrace$ denoting the complement of your given set, again ordered in increasing order $b_1 < b_2 < \cdots < b_{n-k}$.

$\endgroup$
2
  • 1
    $\begingroup$ it seems like you have to use \lbrace and \rbrace instead. (in comments, \{ and \} work.) $\endgroup$ Commented Feb 15, 2013 at 11:00
  • $\begingroup$ Thanks! I've used \{ and \} successfully in the past, but it must have been in the comments. $\endgroup$ Commented Feb 15, 2013 at 12:37
3
$\begingroup$

I call this the compression order on $[n]^{(r)}$, because it is the order induced by the operation of left-compression (or left-shifting) used in extremal set theory.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.