\documentclass[12pt]{article}

\textwidth= 6.5in

\textheight= 9.0in

\topmargin = -20pt

\evensidemargin=0pt

\oddsidemargin=0pt

\headsep=25pt

\parskip=10pt

\font\smallit=cmti10

\font\smalltt=cmtt10

\font\smallrm=cmr9


\usepackage{amsmath, amssymb, amsthm}
\usepackage{color} 

\newtheorem{Theorem}{Theorem}
\newtheorem{Definition}{Definition}
\newtheorem{Lemma}{Lemma}
\newtheorem{Type}{Type}
\newtheorem{case}{Case}

\begin{document}
\vspace*{-40pt}
\centerline{\smalltt INTEGERS: \smallrm
ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY \smalltt 7
(2007), \#A06}
\vskip 40pt

\begin{center}

{\bf MULTI-ORDERED POSETS}   
\vskip 20pt

{\bf Lisa Bishop}\\

{\smallit Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States}\\

{\tt lbishop@oxy.edu}\\

\vskip 10pt

{\bf Kendra Killpatrick}\\
{\smallit Department of Mathematics, Pepperdine University, Malibu, CA 
90263, United Stated}\\

{\tt Kendra.Killpatrick@pepperdine.edu}

\end{center}

\vskip 30pt

\centerline{\smallit Received: 6/6/06, Accepted:  1/29/07,
Published: 2/3/07}

\vskip 30pt



\centerline{\bf Abstract}



\noindent
Richard Stanley first introduced the idea of an $r$-differential poset
 in 1988.  There are two well known types of differential posets:  The
first is the 1-differential poset of partitions called Young's lattice
and its generalization to the $k$-differential $k$-ribbon poset, and the
second is the 1-differential Fibonacci lattice $Z(1)$ and its
generalization to the $r$-differential Fibonacci lattice $Z(r)$.  In this
paper we define a new type of poset, called a doubly-ordered poset, for
which the binary operation is a combination of two binary relations on a
set.  This result can be extended to a set with multiple relations,
called a multi-ordered poset.  This paper introduces the idea of an
$r$-differential multi-ordered poset and provides an example of such a
poset that is the analogue of Young's lattice.  This analogue
%, denoted
%$Y_{\leq_1, \leq_{k_1}, 
%\dots, \leq_{k_n}}$, 
satisfies virtually all of the properties of
Stanley's $r$-differential poset.

\pagestyle{myheadings}



\markright{\smalltt INTEGERS: \smallrm ELECTRONIC JOURNAL OF
 COMBINATORIAL NUMBER THEORY \smalltt 7 (2007), \#A06\hfill}



\thispagestyle{empty}

\baselineskip=15pt

\vskip 30pt





\section*{\normalsize 1. Introduction}

In a 1988 paper Stanley \cite{Stanley} introduced the concept of a {\it differential poset}, a class of partially ordered sets.  The prime example of a $1$-differential poset is Young's lattice, the poset of partitions of $n$ ordered by inclusion of the Ferrers diagram.  White and Shimozono discuss the generalization of Young's lattice and Young tableaux to the domino poset and the corresponding domino tableaux \cite{Shimozono} and to the $k$-ribbon poset and corresponding $k$-ribbon tableaux \cite{White}.  The domino poset is known to be $2$-differential and the $k$-ribbon poset is known to be $k$-differential.  At this time, there are only two known classes of differential posets.  The first are the $k$-ribbon generalizations of Young's lattice and the second are the generalizations of the Fibonacci lattice.  In his initial paper on differential posets, Stanley poses the problem to find ``interesting" examples of $r$-differential posets and asks if there are any irreducible differential lattices besides the generalizations of Young's lattice and the Fibonacci lattice.

  In this paper we define both a doubly-ordered poset and a more general multi-ordered poset, which are ``almost" differential according to Stanley's definition and that we think are ``interesting".  We define a differential doubly-ordered poset and a differential multi-ordered poset and prove which of Stanley's conditions on differential posets apply to this new hybrid poset.  As with the two standard classes of differential posets, the multi-ordered poset gives rise to many interesting questions about the number of chains in this poset and the tableau representations of these chains.  We discuss these open problems in Section 6.  

\vskip 30pt


\section*{\normalsize 2. Background and Definitions}
In this section we present some necessary definitions related to tableaux and posets.  For a more complete exposition, the reader is referred to Stanley's excellent book on Enumerative Combinatorics \cite{Sta}.

Let $\lambda = (\lambda_{1}, \lambda_{2}, \dots, \lambda_{k})$ be a $k$-tuple of non-negative integers.  We say that $\lambda$ is a {\it partition of n} if $\lambda_{1}+\lambda_{2}+\dots+\lambda_{k}=n$ and $\lambda_{1}\geq\lambda_{2}\geq\dots\geq\lambda_{k} >0.$

A {\it Ferrers diagram} describes a partition $\lambda$ pictorially through an array of $n$ dots in $k$ left-justified rows with row $i$ containing $\lambda_{i}$ dots for $1\leq i \leq k$.  For example, the Ferrers diagram for the partition $\lambda$ = (7, 5, 3, 3, 1) is:
\[
T = \begin{array}{ccccccc} 
\bullet&\bullet&\bullet&\bullet&\bullet&\bullet&\bullet\\
\bullet&\bullet&\bullet&\bullet&\bullet\\
\bullet&\bullet&\bullet\\
\bullet&\bullet&\bullet\\
\bullet
\end{array}
\]


If $\lambda$ is a partition and $\mu$ is a partition whose Ferrers diagram is contained in the Ferrers diagram of $\lambda$, then the {\it skew shape} $\lambda/\mu$ is the set of cells obtained by deleting the cells of $\mu$ from $\lambda$.  For example, for $\lambda = (5,3,3,1)$ and $\mu = (4, 2, 1)$ then the skew shape $(5, 3, 3, 1)/(4, 2, 1)$ looks like the following, where $\mu$ is shown by X's:
 \[
 \lambda/\mu = \begin{array}{ccccc}
 X&X&X&X&\bullet\\
 X&X&\bullet\\
 X&\bullet&\bullet\\
 \bullet
 \end{array}
 \]


A {\it diagonal} for a tableau is any line with slope of $-1$ through the Ferrers diagram of that tableau.



\begin{Definition}
A partially ordered set, or poset, is a set $A$ together with a binary relation, $\leq$, such that for every $a$, $b$, $c$ $\in A$:
\end{Definition}
\begin{enumerate}
\item $a \leq a$,
\item $a \leq b$ and $b \leq a$ implies $a=b$, and
\item $a \leq b$ and $b \leq c$ implies $a \leq c$
\end{enumerate}

An element $a$ in a poset $P$ {\it covers} an element $b \in P$ if $b \leq a$ and there is no $c$ such that $b < c < a$.  We will write $b \lessdot a$ to indicate that $a$ covers $b$.

We say that the poset $P$ has a $\hat{0}$ if there exists an element $\hat{0}\in P$ such that $\hat{0} \leq x$ for all $x\in P$.  If every interval of $P$ is finite, then the poset $P$ is said to be {\it locally finite}.  A $chain$ is a poset in which any two elements are comparable.  The chain $C$ in poset $P$ is $saturated$ if there does not exist a $z\in P-C$ such that $x<z<y$ for some $x, y\in C$.  In a locally finite poset, the chain $x_0< x_1<...< x_n$ is saturated if and only if $x_i$ covers $x_{i-1}$ for $1\leq i\leq n$. We say that the chain $x_0< x_1<...< x_n$ is a {\it chain of length n}.  A poset $P$ is called $graded$ if it has a minimum element $\hat{0}$ and if for each $a\in A$ all maximal chains from $\hat{0}$ to $a$ have the same length.  We say $a,b \in P$ have a {\it greatest lower bound}, or $meet$, if there is a $c\in P$ such that $c\leq a$, $c\leq b$ and for any $d$ such that $d\leq a$, $d\leq b $, then $d\leq c$.  The {\it least upper bound}, or $join$, of $a$ and $b$ is defined similarly by reversing the inequalities.  A poset where every pair of elements have a meet and a join is called a $lattice$.




In 1988 R. Stanley \cite{Stanley} gave the following definition of an $r$-differential poset.

\begin{Definition} An r-differential poset, P, is a poset which satisfies the following three conditions:
\end{Definition}

\begin{enumerate}
\item $P$ has a $\hat{0}$, is graded and is locally finite.
\item If $x$ $\ne$ $y$ for $x, y \in P$ and there are exactly $k$ elements in $P$ which are covered by both $x$ and $y$, then there are exactly $k$ elements in $P$ which cover both $x$ and $y$.
\item For $x$ $\in$ $P$, if $x$ covers exactly $k$ elements of $P$, then $x$ is covered by exactly $k + r$ elements of $P$.
\end{enumerate}

The classic example of a 1-differential poset is {\it Young's lattice}, the poset of the set of partitions together with the binary relation $\lambda \leq \mu$ if and only if $\lambda_{i} \leq \mu_{i}$ for all $i$.  

The first seven rows of Young's lattice are shown below, with lines drawn to indicate cover relations.



\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(13,11)(-6,-5)

%3,2,1
\put(.6, 6.3){$\bullet$}
\put(.4, 6.3){$\bullet$}
\put(.8,6.3){$\bullet$}
\put(.4,6.1){$\bullet$}
\put(.6,6.1){$\bullet$}
\put(.4,5.9){$\bullet$}

%3,1,1,1
\put(1.8,6.4){$\bullet$}
\put(2,6.4){$\bullet$}
\put(2.2,6.4){$\bullet$}
\put(1.8,6.2){$\bullet$}
\put(1.8,6){$\bullet$}
\put(1.8,5.8){$\bullet$}

%4,1,1
\put(-.2,6.3){$\bullet$}
\put(-.4,6.3){$\bullet$}
\put(-.6,6.3){$\bullet$}
\put(-.8,6.3){$\bullet$}
\put(-.8,6.1){$\bullet$}
\put(-.8,5.9){$\bullet$}

%2,2,2
\put(2.9,6.3){$\bullet$}
\put(3.1,6.3){$\bullet$}
\put(2.9,6.1){$\bullet$}
\put(3.1,6.1){$\bullet$}
\put(2.9,5.9){$\bullet$}
\put(3.1,5.9){$\bullet$}

%3,3
\put(-1.5,6.2){$\bullet$}
\put(-1.7,6.2){$\bullet$}
\put(-1.9,6,2){$\bullet$}
\put(-1.5,6){$\bullet$}
\put(-1.7,6){$\bullet$}
\put(-1.9,6){$\bullet$}

%2,2,1,1
\put(4,6.4){$\bullet$}
\put(4.2,6.4){$\bullet$}
\put(4,6.2){$\bullet$}
\put(4.2,6.2){$\bullet$}
\put(4,6){$\bullet$}
\put(4,5.8){$\bullet$}

%4,2
\put(-2.5,6.2){$\bullet$}
\put(-2.7,6.2){$\bullet$}
\put(-2.9,6.2){$\bullet$}
\put(-3.1,6.2){$\bullet$}
\put(-3.1,6){$\bullet$}
\put(-2.9,6){$\bullet$}

%2,1,1,1,1
\put(5.1,6.5){$\bullet$}
\put(5.3,6.5){$\bullet$}
\put(5.1,6.3){$\bullet$}
\put(5.1,6.1){$\bullet$}
\put(5.1,5.9){$\bullet$}
\put(5.1,5.7){$\bullet$}

%5,1
\put(-3.7,6.2){$\bullet$}
\put(-3.9,6.2){$\bullet$}
\put(-4.1,6.2){$\bullet$}
\put(-4.3,6.2){$\bullet$}
\put(-4.5,6.2){$\bullet$}
\put(-4.5,6){$\bullet$}

%1,1,1,1,1,1
\put(6.2,6.6){$\bullet$}
\put(6.2,6.4){$\bullet$}
\put(6.2,6.2){$\bullet$}
\put(6.2,6){$\bullet$}
\put(6.2,5.8){$\bullet$}
\put(6.2,5.6){$\bullet$}

%6
\put(-5.2,6.1){$\bullet$}
\put(-5.4,6.1){$\bullet$}
\put(-5.6,6.1){$\bullet$}
\put(-5.8,6.1){$\bullet$}
\put(-6,6.1){$\bullet$}
\put(-6.2,6.1){$\bullet$}
%END OF 6-shapes

%lines 5-6
\put(5.2,4.6){\line(0,1){.9}}
\put(5.5,4.6){\line(3,4){.65}}

\put(4,4.6){\line(0,1){1}}
\put(3.8, 4.6){\line(-4,3){1.4}}
\put(4.2,4.6){\line(4,5){.73}}

\put(2.5,4.4){\line(1,3){.41}}
\put(2.3, 4.4){\line(-6,5){1.4}}
\put(2.7,4.4){\line(4,5){.95}}

\put(.67,4.4){\line(0,1){1.2}}
\put(.4, 4.4){\line(-3,4){.95}}
\put(1, 4.4){\line(3,4){.95}}

\put(-1,4.4){\line(-1,3){.45}}
\put(-1.2, 4.4){\line(-5,6){1.1}}
\put(-.8,4.4){\line(4,5){.95}}

\put(-2.7,4.4){\line(0,1){1.3}}
\put(-2.9, 4.4){\line(-6,5){1.52}}
\put(-2.3,4.4){\line(5,4){1.6}}

\put(-4.5,4.4){\line(0,1){1.2}}
\put(-4.7,4.4){\line(-3,4){.9}}

%!!!5Shapes!!!
%3,1,1
\put(.6, 4){$\bullet$}
\put(.4, 4){$\bullet$}
\put(.8,4){$\bullet$}
\put(.4,3.8){$\bullet$}
\put(.4,3.6){$\bullet$}

%2,2,1
\put(2.3,4){$\bullet$}
\put(2.5,4){$\bullet$}
\put(2.3,3.8){$\bullet$}
\put(2.5,3.8){$\bullet$}
\put(2.3,3.6){$\bullet$}

%2,1,1,1
\put(3.7,4.1){$\bullet$}
\put(3.9,4.1){$\bullet$}
\put(3.7,3.9){$\bullet$}
\put(3.7,3.7){$\bullet$}
\put(3.7,3.5){$\bullet$}

%1,1,1,1,1
\put(5.1,4.2){$\bullet$}
\put(5.1,4){$\bullet$}
\put(5.1,3.8){$\bullet$}
\put(5.1,3.6){$\bullet$}
\put(5.1,3.4){$\bullet$}

%3,2
\put(-.9,3.9){$\bullet$}
\put(-1.1,3.9){$\bullet$}
\put(-1.3,3.9){$\bullet$}
\put(-1.3,3.7){$\bullet$}
\put(-1.1,3.7){$\bullet$}

%4,1
\put(-2.4,3.9){$\bullet$}
\put(-2.6,3.9){$\bullet$}
\put(-2.8,3.9){$\bullet$}
\put(-3,3.9){$\bullet$}
\put(-3,3.7){$\bullet$}

%5
\put(-4.1,3.8){$\bullet$}
\put(-4.3,3.8){$\bullet$}
\put(-4.5,3.8){$\bullet$}
\put(-4.7,3.8){$\bullet$}
\put(-4.9,3.8){$\bullet$}
%END OF 5--SHAPES

%lines 4-5
\put(4,2.4){\line(-1,3){.3}}
\put(4.3, 2.4){\line(3,4){.65}}

\put(2.5,2.35){\line(0,1){1}}
\put(2.3, 2.35){\line(-4,3){1.3}}
\put(2.7, 2.35){\line(4,5){.78}}

\put(.5,2.3){\line(-6,5){1.3}}
\put(.9, 2.3){\line(6,5){1.3}}

\put(-1.25,2.35){\line(0,1){1}}
\put(-1.05, 2.35){\line(4,3){1.3}}
\put(-1.45, 2.35){\line(-4,5){.78}}

\put(-3.1,2.2){\line(1,4){.3}}
\put(-3.3, 2.2){\line(-3,4){.9}}

%!!!4-SHAPES!!!!
%2,2
\put(.5,1.9){$\bullet$}
\put(.7,1.9){$\bullet$}
\put(.5,1.7){$\bullet$}
\put(.7,1.7){$\bullet$}

%2,1,1
\put(2.3,2){$\bullet$}
\put(2.5,2){$\bullet$}
\put(2.3,1.8){$\bullet$}
\put(2.3,1.6){$\bullet$}

%1,1,1,1
\put(4,2.1){$\bullet$}
\put(4,1.9){$\bullet$}
\put(4,1.7){$\bullet$}
\put(4,1.5){$\bullet$}

%3,1
\put(-.9,1.9){$\bullet$}
\put(-1.1,1.9){$\bullet$}
\put(-1.3,1.9){$\bullet$}
\put(-1.3,1.7){$\bullet$}

%4
\put(-2.8,1.8){$\bullet$}
\put(-3,1.8){$\bullet$}
\put(-3.2,1.8){$\bullet$}
\put(-3.4,1.8){$\bullet$}
%END OF 4-Shapes



%Lines 3-4
\put(-1.9,.5){\line(-4,5){.8}}
\put(-1.6, .5){\line(1,2){.5}}

\put(.67,.6){\line(0,1){.9}}
\put(.5, .6){\line(-4,3){1.15}}
\put(.9, .6){\line(4,3){1.15}}

\put(2.8,.6){\line(-1,3){.27}}
\put(3.2, .6){\line(3,4){.62}}




%!!!3SHAPES!!!
%2,1
\put(.5,.2){$\bullet$}
\put(.7,.2){$\bullet$}
\put(.5,0){$\bullet$}

%1,1,1
\put(2.8,.3){$\bullet$}
\put(2.8,.1){$\bullet$}
\put(2.8,-.1){$\bullet$}

%3
\put(-1.5,.1){$\bullet$}
\put(-1.7,.1){$\bullet$}
\put(-1.9,.1){$\bullet$}
%end of 3-shapes





%LINE2-3
\put(-.7,-1.1){\line(-3,4){.7}}
\put(-.3, -1.1){\line(3,4){.7}}


\put(1.7,-1.1){\line(-3,4){.7}}
\put(1.9, -1.1){\line(3,4){.7}}




%!!!2 Shapes!!!
%1,1
\put(1.7,-1.4){$\bullet$}
\put(1.7,-1.6){$\bullet$}


%2
\put(-.4,-1.5){$\bullet$}
\put(-.6,-1.5){$\bullet$}
%END of 2-Shapes




%!!!1 SHAPES!!!
%1
\put(.6,-2.8){$\bullet$}
%LINE 1-2
\put(.5,-2.5){\line(-6,5){.85}}
\put(.9, -2.5){\line(6,5){.85}}


\put(.6,-4.2){$\emptyset$}

\put(.68,-3.8){\line(0,1){.8}}


\end{picture}
\end{center}

\vskip 30pt

\section*{\normalsize 3. Domino Tableaux}
A {\it domino} is a pair of adjacent dots in a Ferrers diagram.  If the dots lie in the same row, we will call them a {\it horizontal domino} and if they lie in the same column, we will call them a {\it vertical domino}.

A {\it domino shape} is a Ferrers diagram that can be completely divided into dominos, which we will call a {\it tiling} of the shape.  For example, the partition $\lambda=(4, 3, 3, 1, 1)$ can be represented by the following Ferrers diagram:


\[
\begin{array}{cccc}
\bullet&\bullet&\bullet&\bullet\\
\bullet&\bullet&\bullet& \\
\bullet&\bullet&\bullet& \\
\bullet& & & \\
\bullet& & & \\
\end{array}
\]
This partition is a domino shape since it can be tiled by dominos as follows:
\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(2,3)(0,0)

\put(0,3){\line(1,0){2}}
\put(0,.5){\line(0,1){2.5}}
\put(0,.5){\line(1,0){.5}}
\put(0,2.5){\line(1,0){2}}
\put(2,2.5){\line(0,1){.5}}
\put(1,2.5){\line(0,1){.5}}
\put(.5,.5){\line(0,1){2}}
\put(0,1.5){\line(1,0){1.5}}
\put(1,1.5){\line(0,1){1}}
\put(1.5,1.5){\line(0,1){1}}
\put(.18,.65){$\bullet$}
\put(.18,1.15){$\bullet$}
\put(.18,1.65){$\bullet$}
\put(.18,2.15){$\bullet$}
\put(.68,1.65){$\bullet$}
\put(.68,2.15){$\bullet$}
\put(1.18,1.65){$\bullet$}
\put(1.18,2.15){$\bullet$}
\put(.18,2.65){$\bullet$}
\put(.68,2.65){$\bullet$}
\put(1.18,2.65){$\bullet$}
\put(1.68,2.65){$\bullet$}

\end{picture}
\end{center}
Note that no partitions of odd numbers are domino shapes although not all partitions of even numbers are domino shapes.  In addition, the tiling of a domino shape is not necessarily unique.  The $\lambda$ from our previous example can also be tiled as follows:

\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(2,3)(0,0)

\put(0,3){\line(1,0){2}}
\put(0,.5){\line(0,1){2.5}}
\put(0,.5){\line(1,0){.5}}
\put(2,2.5){\line(0,1){.5}}
\put(.5,.5){\line(0,1){1}}
\put(0,1.5){\line(1,0){1.5}}
\put(1.5,1.5){\line(0,1){1}}
\put(.5,2){\line(0,1){1}}
\put(1,1.5){\line(0,1){1.5}}
\put(0,2){\line(1,0){1}}
\put(1,2.5){\line(1,0){1}}
\put(.18,.65){$\bullet$}
\put(.18,1.15){$\bullet$}
\put(.18,1.65){$\bullet$}
\put(.18,2.15){$\bullet$}
\put(.68,1.65){$\bullet$}
\put(.68,2.15){$\bullet$}
\put(1.18,1.65){$\bullet$}
\put(1.18,2.15){$\bullet$}
\put(.18,2.65){$\bullet$}
\put(.68,2.65){$\bullet$}
\put(1.18,2.65){$\bullet$}
\put(1.68,2.65){$\bullet$}

\end{picture}
\end{center}

To create a {\it domino tableau}, first tile a domino shape with dominos.  Then fill the dominos with the numbers $1, 2, \dots, n$ such that the numbers in each domino are identical, each number appears in exactly one domino, and rows and columns weakly increase.  For example: 


\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(2,3)(0,0)

\put(0,3){\line(1,0){2}}
\put(0,.5){\line(0,1){2.5}}
\put(0,.5){\line(1,0){.5}}
\put(0,2.5){\line(1,0){2}}
\put(2,2.5){\line(0,1){.5}}
\put(1,2.5){\line(0,1){.5}}
\put(.5,.5){\line(0,1){2}}
\put(0,1.5){\line(1,0){1.5}}
\put(1,1.5){\line(0,1){1}}
\put(1.5,1.5){\line(0,1){1}}
\put(.18,.65){5}
\put(.18,1.15){5}
\put(.18,1.65){3}
\put(.18,2.15){3}
\put(.68,1.65){4}
\put(.68,2.15){4}
\put(1.18,1.65){6}
\put(1.18,2.15){6}
\put(.18,2.65){1}
\put(.68,2.65){1}
\put(1.18,2.65){2}
\put(1.68,2.65){2}


\end{picture}
\end{center}

Again, there may be more than one domino tableau for a given domino shape and tiling.

The {\it domino poset}, $D$, is the set of domino shapes together with the following binary relation.
For two domino shapes $\lambda$ and $\mu$ with $\mu \subseteq \lambda$, we say that $\lambda$ {\it covers} $\mu$, $\mu \lessdot\lambda$, if $\lambda/\mu$ is a domino.  In general, for $\mu \subseteq \lambda$, $\mu \leq \lambda$ in the domino poset if $\lambda/\mu$ can be tiled by dominos, i.e., we can obtain $\mu$ by successively removing dominos from $\lambda$, or we can obtain $\lambda$ by successively adding dominos to $\mu$.  


The first four rows of the domino poset are shown below:


\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(12,6)(-6,0)

\put(.3,5.1){$\bullet$}
\put(.5,5.1){$\bullet$}
\put(.7,5.1){$\bullet$}
\put(.3,4.9){$\bullet$}
\put(.5,4.9){$\bullet$}
\put(.7,4.9){$\bullet$}

\put(-.4,5.2){$\bullet$}
\put(-.6,5.2){$\bullet$}
\put(-.4,5){$\bullet$}
\put(-.6,5){$\bullet$}
\put(-.4,4.8){$\bullet$}
\put(-.6,4.8){$\bullet$}

\put(1.4,5.3){$\bullet$}
\put(1.6,5.3){$\bullet$}
\put(1.4,5.1){$\bullet$}
\put(1.6,5.1){$\bullet$}
\put(1.4,4.9){$\bullet$}
\put(1.4,4.7){$\bullet$}

\put(-1.8,5){$\bullet$}
\put(-1.6,5){$\bullet$}
\put(-1.4,5){$\bullet$}
\put(-1.2,5){$\bullet$}
\put(-1.8,4.8){$\bullet$}
\put(-1.6,4.8){$\bullet$}

\put(2.2,5){$\bullet$}
\put(2.4,5){$\bullet$}
\put(2.6,5){$\bullet$}
\put(2.8,5){$\bullet$}
\put(3,5){$\bullet$}
\put(2.2,4.8){$\bullet$}

\put(-2.6,5.4){$\bullet$}
\put(-2.4,5.4){$\bullet$}
\put(-2.6,5.2){$\bullet$}
\put(-2.6,5){$\bullet$}
\put(-2.6,4.8){$\bullet$}
\put(-2.6,4.6){$\bullet$}

\put(3.7,5.3){$\bullet$}
\put(3.9,5.3){$\bullet$}
\put(4.1,5.3){$\bullet$}
\put(3.7,5.1){$\bullet$}
\put(3.7,4.9){$\bullet$}
\put(3.7,4.7){$\bullet$}

\put(-3.8,5.2){$\bullet$}
\put(-3.6,5.2){$\bullet$}
\put(-3.4,5.2){$\bullet$}
\put(-3.2,5.2){$\bullet$}
\put(-3.8,5){$\bullet$}
\put(-3.8,4.8){$\bullet$}

\put(5,5.5){$\bullet$}
\put(5,5.3){$\bullet$}
\put(5,5.1){$\bullet$}
\put(5,4.9){$\bullet$}
\put(5,4.7){$\bullet$}
\put(5,4.5){$\bullet$}

\put(-5.4,5){$\bullet$}
\put(-5.2,5){$\bullet$}
\put(-5,5){$\bullet$}
\put(-4.8,5){$\bullet$}
\put(-4.6,5){$\bullet$}
\put(-4.4,5){$\bullet$}

\put(.1,2.9){$\bullet$}
\put(.1,2.7){$\bullet$}
\put(-.1,2.7){$\bullet$}
\put(-.1,2.9){$\bullet$}

\put(2,2.9){$\bullet$}
\put(2.2,2.9){$\bullet$}
\put(2.4,2.9){$\bullet$}
\put(2,2.7){$\bullet$}

\put(-2.3,3){$\bullet$}
\put(-2.1,3){$\bullet$}
\put(-2.3,2.8){$\bullet$}
\put(-2.3,2.6){$\bullet$}

\put(4.2,3.1){$\bullet$}
\put(4.2,2.9){$\bullet$}
\put(4.2,2.7){$\bullet$}
\put(4.2,2.5){$\bullet$}

\put(-4.5,2.7){$\bullet$}
\put(-4.3,2.7){$\bullet$}
\put(-4.1,2.7){$\bullet$}
\put(-3.9,2.7){$\bullet$}

\put(-2.2,1.2){$\bullet$}
\put(-2,1.2){$\bullet$}

\put(2.1,1.3){$\bullet$}
\put(2.1,1.1){$\bullet$}

\put(0,0){$\emptyset$}

\put(.3,.3){\line(3,1){1.6}}
\put(-.3,.3){\line(-3,1){1.6}}

\put(2.2,1.6){\line(0,1){.7}}
\put(-2,1.6){\line(0,1){.7}}

\put(2.4,1.6){\line(3,1){1.8}}
\put(-2.2,1.6){\line(-3,1){1.8}}

\put(2,1.6){\line(-3,1){1.8}}
\put(-1.8,1.6){\line(3,1){1.8}}

\put(.2,3.3){\line(1,3){.45}}
\put(0,3.3){\line(-1,3){.45}}
\put(.25,3.3){\line(1,1){1.24}}
\put(-.05,3.3){\line(-1,1){1.25}}

\put(2.2,3.3){\line(-1,1){1.32}}
\put(2.4,3.3){\line(1,6){.22}}
\put(2.6,3.3){\line(5,6){1.05}}

\put(-2.2,3.3){\line(-1,1){1.32}}
\put(-2.1,3.3){\line(-1,3){.38}}
\put(-2,3.3){\line(1,1){1.35}}

\put(4.2,3.4){\line(-2,1){2.4}}
\put(4.3,3.4){\line(-1,6){.21}}
\put(4.4,3.4){\line(2,3){.65}}

\put(-4,3.3){\line(5,3){2.2}}
\put(-4.1,3.3){\line(1,5){.26}}
\put(-4.2,3.3){\line(-1,3){.45}}

\end{picture}
\end{center}


If we let $Y$ denote Young's lattice, then the domino poset is isomorphic to $Y^2$ (see \cite{Shimozono} for a nice description) and thus is 2-differential.  


We will call a {\it{2-core}} a shape from which no domino can be removed.  The only 2-cores are ''stair-step" shapes in which $\lambda=(n,n-1,n-2,...,1)$.  


We can use the 2-cores as a base upon which to build a poset.  For instance we can take the partition $\lambda$= (2, 1) as our 2-core and define our set as the set of all partitions containing $(2,1)$ which can be formed by successively adding either horizontal or vertical dominos to $(2,1)$.  Here are the first three rows of a domino poset built on the 2-core $\lambda$=(2, 1):
\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(12,4)(-6,0)


%4,1,1,1
\put(.4,3.4){X}
\put(.1,3.1){X}
\put(.1,3.4){X}
\put(.7,3.4){$\bullet$}
\put(.9,3.4){$\bullet$}
\put(.1,2.8){$\bullet$}
\put(.1,2.6){$\bullet$}

%4,2,2,1
\put(2.5,3.4){X}
\put(2.2,3.1){X}
\put(2.2,3.4){X}
\put(2.5,3.05){$\bullet$}
\put(2.5,2.85){$\bullet$}
\put(2.2,2.8){$\bullet$}
\put(2.2,2.6){$\bullet$}

%2,1,1,1,1,1
\put(4.5,3.5){X}
\put(4.2,3.5){X}
\put(4.2,3.2){X}
\put(4.2,2.9){$\bullet$}
\put(4.2,2.7){$\bullet$}
\put(4.2,2.5){$\bullet$}
\put(4.2,2.3){$\bullet$}

%6,1
\put(-2,2.9){X}
\put(-2,3.2){X}
\put(-1.7,3.2){X}
\put(-1.4,3.2){$\bullet$}
\put(-1.2,3.2){$\bullet$}
\put(-1.45,2.9){$\bullet$}
\put(-1.65,2.9){$\bullet$}

%6,1
\put(-4,2.9){X}
\put(-4,3.2){X}
\put(-3.7,3.2){X}
\put(-3.4,3.2){$\bullet$}
\put(-3.2,3.2){$\bullet$}
\put(-3,3.2){$\bullet$}
\put(-2.8,3.2){$\bullet$}

\put(-1.3,1.9){\line(4,3){1.1}}
\put(-2.3,1.9){\line(-4,3){1.2}}
\put(-1.8,1.9){\line(0,1){.7}}

%4,1
\put(-2.3,1.4){X}
\put(-2,1.4){X}
\put(-2.3,1.1){X}
\put(-1.7,1.4){$\bullet$}
\put(-1.5,1.4){$\bullet$}

\put(2.9,2.1){\line(4,3){1}}
\put(2.0,2.1){\line(-4,3){1}}
\put(2.45,2.1){\line(0,1){.4}}

%2,1,1,1
\put(2.4,1.6){X}
\put(2.1,1.6){X}
\put(2.1,1.3){X}
\put(2.1,1){$\bullet$}
\put(2.1,.8){$\bullet$}

\put(-.1,-.1){X}
\put(.2,-.1){X}
\put(-.1,-.4){X}

\put(.3,.3){\line(3,1){1.6}}
\put(-.2,.3){\line(-3,1){1.6}}


\end{picture}
\end{center}




A domino poset constructed on a 2-core is easily shown to be isomorphic to the standard domino poset and thus is also 2-differential.  The domino poset can be generalized to the $k$-ribbon poset.  A $k$-ribbon is defined as $k$ adjacent dots in the Ferrers diagram none of which lie on the same diagonal.  For the binary relation $\leq$ in the $k$-ribbon poset, we say  $\mu \leq \lambda$ if $\mu \subseteq \lambda$ and $\lambda$ can be formed by adding some number of $k$-ribbons to $\mu$.  Note that a 2-ribbon is simply a domino.  Below is an example of a 5-ribbon shape:

\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(2,2.8)(0,.4)

\put(0,3){\line(1,0){2}}
\put(0,.5){\line(0,1){2.5}}
\put(0,.5){\line(1,0){.5}}
\put(0,2){\line(1,0){.5}}
\put(.5,2.5){\line(1,0){1.5}}
\put(2,2.5){\line(0,1){.5}}
\put(.5,.5){\line(0,1){1}}
\put(.5,1.5){\line(1,0){.5}}
\put(1,1.5){\line(1,0){.5}}
\put(1.5,2){\line(1,0){1}}
\put(2,3){\line(1,0){.5}}
\put(.5,2){\line(0,1){.5}}
\put(2.5,2){\line(0,1){1}}
\put(1,1.5){\line(0,1){1}}
\put(1.5,1.5){\line(0,1){.5}}
\put(.18,.65){$\bullet$}
\put(.18,1.15){$\bullet$}
\put(.18,1.65){$\bullet$}
\put(.18,2.15){$\bullet$}
\put(.68,1.65){$\bullet$}
\put(.68,2.15){$\bullet$}
\put(1.18,1.65){$\bullet$}
\put(1.18,2.15){$\bullet$}
\put(1.68,2.15){$\bullet$}
\put(2.18,2.15){$\bullet$}
\put(.18,2.65){$\bullet$}
\put(.68,2.65){$\bullet$}
\put(1.18,2.65){$\bullet$}
\put(1.68,2.65){$\bullet$}
\put(2.18,2.65){$\bullet$}

\end{picture}
\end{center}

A $k$-core is a shape from which no $k$-ribbon can be removed and it is well known that both the $k$-ribbon poset and any $k$-ribbon poset built on a $k$-core are $k$-differential.  As with domino tableaux, a $k$-ribbon tableaux can be created by filling each ribbon with the numbers $1,2,\dots,n$ such that the numbers in each ribbon are identical, each number appears in exactly one ribbon, and rows and columns weakly increase.  Below is an example of a 5-ribbon tableau:
\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(2,2.8)(0,.4)

\put(0,3){\line(1,0){2}}
\put(0,.5){\line(0,1){2.5}}
\put(0,.5){\line(1,0){.5}}
\put(0,2){\line(1,0){.5}}
\put(.5,2.5){\line(1,0){1.5}}
\put(2,2.5){\line(0,1){.5}}
\put(.5,.5){\line(0,1){1}}
\put(.5,1.5){\line(1,0){.5}}
\put(1,1.5){\line(1,0){.5}}
\put(1.5,2){\line(1,0){1}}
\put(2,3){\line(1,0){.5}}
\put(.5,2){\line(0,1){.5}}
\put(2.5,2){\line(0,1){1}}
\put(1,1.5){\line(0,1){1}}
\put(1.5,1.5){\line(0,1){.5}}
\put(.18,.65){$2$}
\put(.18,1.15){$2$}
\put(.18,1.65){$2$}
\put(.18,2.15){$1$}
\put(.68,1.65){$2$}
\put(.68,2.15){$2$}
\put(1.18,1.65){$3$}
\put(1.18,2.15){$3$}
\put(1.68,2.15){$3$}
\put(2.18,2.15){$3$}
\put(.18,2.65){$1$}
\put(.68,2.65){$1$}
\put(1.18,2.65){$1$}
\put(1.68,2.65){$1$}
\put(2.18,2.65){$3$}

\end{picture}
\end{center}

\vskip 30pt

\section*{\normalsize 4. Doubly-Ordered Posets}

We now use the standard idea of a poset to create a new object called a doubly-ordered poset.

\begin{Definition} A doubly-ordered poset A is a set together with a binary relation $\leq$ that is composed of two binary relations ${\leq_1},{\leq_2}$.  For $x$, $y \in A$, $x \leq y$ if there exists a set of elements {$x_1,x_2,...,x_{k-1}$} such that $x=x_0\leq x_1\leq x_2 \leq ...\leq x_{k-1}\leq x_k=y$ where, for each $i$ between $1$ and $k$, $x_i \leq_1 x_{i+1}$ or $x_i \leq_2 x_{i+1}$.  We will say that $x$ covers $y$, denoted by $x\lessdot y$, if $x$ is covered by $y$ in either the $\leq_1$ relation or the $\leq_2$ relation, i.e. if $x \lessdot_1 y$ or $x\lessdot_2 y$.  We will denote this poset by $A_{\leq_1, \leq_2}$.
\end{Definition}

This is a poset since the binary relation $\leq$ satisfies the three properties of reflexive, anti-symmetric and transitive.  The idea of a cover relation for this poset is slightly different than the usual definition of a cover relation since it is possible for $x \lessdot_2 y$ and for there to exist a $z$ such that $x <_1 z <_1 y$.


\begin{Definition}  If Y is the set of all partitions, then $Y_{{\leq_1},{\leq_{k}}}$, $k>1$,  is the doubly-ordered poset where ${\leq_1}$ is the usual relation in Young's lattice and $\leq_{k}$ is given by $\mu \leq_{k}\lambda$ if $\lambda$ is obtained from $\mu$ by adding some number of $k$-ribbons.
\end{Definition}


The basic example of a doubly-ordered poset is $Y_{{\leq_1},{\leq_2}}$.  Note that $Y_{\leq_1}$ is Young's lattice. The doubly-ordered poset combines the two relations ${\leq_1},{\leq_2}$.  However $Y_{\leq_2}$ is not the domino poset because we allow for domino relations to exist between non-domino shapes and $Y_{\leq_2}$ does not by itself have a zero element.   Here are the first five rows of $Y_{\leq_2}$:


\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(13,7)(-6,-5)



%!!!4-SHAPES!!!!
%2,2
\put(.6,1.9){$\bullet$}
\put(.8,1.9){$\bullet$}
\put(.6,1.7){$\bullet$}
\put(.8,1.7){$\bullet$}

%2,1,1
\put(2.3,2){$\bullet$}
\put(2.5,2){$\bullet$}
\put(2.3,1.8){$\bullet$}
\put(2.3,1.6){$\bullet$}

%1,1,1,1
\put(4,2.1){$\bullet$}
\put(4,1.9){$\bullet$}
\put(4,1.7){$\bullet$}
\put(4,1.5){$\bullet$}

%3,1
\put(-.9,1.9){$\bullet$}
\put(-1.1,1.9){$\bullet$}
\put(-1.3,1.9){$\bullet$}
\put(-1.3,1.7){$\bullet$}

%4
\put(-2.8,1.8){$\bullet$}
\put(-3,1.8){$\bullet$}
\put(-3.2,1.8){$\bullet$}
\put(-3.4,1.8){$\bullet$}
%END OF 4-Shapes



%Lines 2-4

%outer
{\color{red}
\qbezier(2.1,-1.4)(3.8,-.9)(4.1,1.3)
\qbezier(-.8,-1.4)(-2.5,-.9)(-2.8,1.3)}

{\color{red}%outer/inner
\qbezier(1.5,-1.4)(-.5,-.9)(-1,1.4)
\qbezier(-.1,-1.4)(1.9,-.9)(2.4,1.4)

%inner
\qbezier(1.8,-1.1)(1.6,1)(1,1.4)
\qbezier(-.3,-1.1)(-.2,1)(.4,1.4)}

%!!!3SHAPES!!!
%2,1
\put(.5,.2){$\bullet$}
\put(.7,.2){$\bullet$}
\put(.5,0){$\bullet$}

%1,1,1
\put(2.8,.3){$\bullet$}
\put(2.8,.1){$\bullet$}
\put(2.8,-.1){$\bullet$}

%3
\put(-1.5,.1){$\bullet$}
\put(-1.7,.1){$\bullet$}
\put(-1.9,.1){$\bullet$}
%end of 3-shapes





%LINE1-3
{\color{red}
\qbezier(.9,-2.7)(2.8,-2.3)(2.9,-.3)
\qbezier(.4,-2.7)(-1.7,-2.3)(-1.6,-.3)}



%!!!2 Shapes!!!
%1,1
\put(1.7,-1.4){$\bullet$}
\put(1.7,-1.6){$\bullet$}


%2
\put(-.4,-1.5){$\bullet$}
\put(-.6,-1.5){$\bullet$}
%END of 2-Shapes




%!!!1 SHAPES!!!
%1
\put(.6,-2.8){$\bullet$}

%LINE 0-2
{\color{red}\qbezier(1,-3.8)(2,-3.2)(1.9,-1.8)
\qbezier(.4,-3.8)(-.6,-3.2)(-.5,-1.8)}

\put(.6,-4.2){$\emptyset$}
\end{picture}
\end{center}

\vskip -30pt
The first seven rows of $Y_{{\leq_1},{\leq_2}}$ are shown below,
 where straight lines indicate a relation in Young's lattice, the
$\leq_1$ relation, and curved lines indicate a relation in $Y_{\leq_2}$:

\vspace*{10pt}


\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(13,11)(-6,-5)

%3,2,1
\put(.6, 6.3){$\bullet$}
\put(.4, 6.3){$\bullet$}
\put(.8,6.3){$\bullet$}
\put(.4,6.1){$\bullet$}
\put(.6,6.1){$\bullet$}
\put(.4,5.9){$\bullet$}

%3,1,1,1
\put(1.7,6.4){$\bullet$}
\put(1.9,6.4){$\bullet$}
\put(2.1,6.4){$\bullet$}
\put(1.7,6.2){$\bullet$}
\put(1.7,6){$\bullet$}
\put(1.7,5.8){$\bullet$}

%4,1,1
\put(-.3,6.3){$\bullet$}
\put(-.5,6.3){$\bullet$}
\put(-.7,6.3){$\bullet$}
\put(-.9,6.3){$\bullet$}
\put(-.9,6.1){$\bullet$}
\put(-.9,5.9){$\bullet$}

%2,2,2
\put(2.9,6.3){$\bullet$}
\put(3.1,6.3){$\bullet$}
\put(2.9,6.1){$\bullet$}
\put(3.1,6.1){$\bullet$}
\put(2.9,5.9){$\bullet$}
\put(3.1,5.9){$\bullet$}

%3,3
\put(-1.5,6.2){$\bullet$}
\put(-1.7,6.2){$\bullet$}
\put(-1.9,6,2){$\bullet$}
\put(-1.5,6){$\bullet$}
\put(-1.7,6){$\bullet$}
\put(-1.9,6){$\bullet$}

%2,2,1,1
\put(4,6.4){$\bullet$}
\put(4.2,6.4){$\bullet$}
\put(4,6.2){$\bullet$}
\put(4.2,6.2){$\bullet$}
\put(4,6){$\bullet$}
\put(4,5.8){$\bullet$}

%4,2
\put(-2.5,6.2){$\bullet$}
\put(-2.7,6.2){$\bullet$}
\put(-2.9,6.2){$\bullet$}
\put(-3.1,6.2){$\bullet$}
\put(-3.1,6){$\bullet$}
\put(-2.9,6){$\bullet$}

%2,1,1,1,1
\put(5.1,6.5){$\bullet$}
\put(5.3,6.5){$\bullet$}
\put(5.1,6.3){$\bullet$}
\put(5.1,6.1){$\bullet$}
\put(5.1,5.9){$\bullet$}
\put(5.1,5.7){$\bullet$}

%5,1
\put(-3.7,6.2){$\bullet$}
\put(-3.9,6.2){$\bullet$}
\put(-4.1,6.2){$\bullet$}
\put(-4.3,6.2){$\bullet$}
\put(-4.5,6.2){$\bullet$}
\put(-4.5,6){$\bullet$}

%1,1,1,1,1,1
\put(6.2,6.6){$\bullet$}
\put(6.2,6.4){$\bullet$}
\put(6.2,6.2){$\bullet$}
\put(6.2,6){$\bullet$}
\put(6.2,5.8){$\bullet$}
\put(6.2,5.6){$\bullet$}

%6
\put(-5.2,6.1){$\bullet$}
\put(-5.4,6.1){$\bullet$}
\put(-5.6,6.1){$\bullet$}
\put(-5.8,6.1){$\bullet$}
\put(-6,6.1){$\bullet$}
\put(-6.2,6.1){$\bullet$}
%END OF 6-shapes

%LINES 4-6
{\color{red}

%outer
\qbezier(4.3,1.9)(6,2.6)(6.3,5.4)
\qbezier(-3.6,1.9)(-5.4,2.6)(-5.7,5.6)

\qbezier(4.2,2.4)(4.5,5)(4.1,5.6)
\qbezier(-3.2,2.2)(-3.4,5)(-3,5.7)

\qbezier(-2.5,1.9)(-2,2)(-.8,5.7)
\qbezier(3.9,1.9)(3.5,2)(2.2,5.7)

%lines on inner/outer shapes
\qbezier(-1.4,1.9)(-3,2)(-4.4,5.6)
\qbezier(2.8,1.9)(4.2,1.9)(5.2,5.5)

\qbezier(2.6,2.3)(3.1,2.7)(3.1,5.6)
\qbezier(-1.1,2.2)(-1.7,2.7)(-1.7,5.7)

\qbezier(-.6,1.9)(1.4,2.2)(1.8,5.5)
\qbezier(2.2,1.9)(0,2.1)(-.5,5.7)

%lines on (2,2)
\qbezier(1.1,1.9)(2.5,1.9)(3.9,5.6)
\qbezier(.4,1.9)(-1.3,1.9)(-2.5,5.6)

\qbezier(1,2.2)(1.5,4)(2.9,5.6)
\qbezier(.5,2.2)(-.2,4)(-1.5,5.7)

}


%lines 5-6
\put(5.2,4.6){\line(0,1){.9}}
\put(5.5,4.6){\line(3,4){.65}}

\put(4,4.6){\line(0,1){1}}
\put(3.8, 4.6){\line(-4,3){1.4}}
\put(4.2,4.6){\line(4,5){.73}}

\put(2.5,4.4){\line(1,3){.41}}
\put(2.3, 4.4){\line(-6,5){1.4}}
\put(2.7,4.4){\line(4,5){.95}}

\put(.67,4.4){\line(0,1){1.2}}
\put(.4, 4.4){\line(-3,4){.95}}
\put(1, 4.4){\line(3,4){.95}}

\put(-1,4.4){\line(-1,3){.45}}
\put(-1.2, 4.4){\line(-5,6){1.1}}
\put(-.8,4.4){\line(4,5){.95}}

\put(-2.7,4.4){\line(0,1){1.3}}
\put(-2.9, 4.4){\line(-6,5){1.52}}
\put(-2.3,4.4){\line(5,4){1.6}}

\put(-4.5,4.4){\line(0,1){1.2}}
\put(-4.7,4.4){\line(-3,4){.9}}

%!!!5Shapes!!!
%3,1,1
\put(.6, 4){$\bullet$}
\put(.4, 4){$\bullet$}
\put(.8,4){$\bullet$}
\put(.4,3.8){$\bullet$}
\put(.4,3.6){$\bullet$}

%2,2,1
\put(2.3,4){$\bullet$}
\put(2.5,4){$\bullet$}
\put(2.3,3.8){$\bullet$}
\put(2.5,3.8){$\bullet$}
\put(2.3,3.6){$\bullet$}

%2,1,1,1
\put(3.7,4.1){$\bullet$}
\put(3.9,4.1){$\bullet$}
\put(3.7,3.9){$\bullet$}
\put(3.7,3.7){$\bullet$}
\put(3.7,3.5){$\bullet$}

%1,1,1,1,1
\put(5.1,4.2){$\bullet$}
\put(5.1,4){$\bullet$}
\put(5.1,3.8){$\bullet$}
\put(5.1,3.6){$\bullet$}
\put(5.1,3.4){$\bullet$}

%3,2
\put(-.9,3.9){$\bullet$}
\put(-1.1,3.9){$\bullet$}
\put(-1.3,3.9){$\bullet$}
\put(-1.3,3.7){$\bullet$}
\put(-1.1,3.7){$\bullet$}

%4,1
\put(-2.4,3.9){$\bullet$}
\put(-2.6,3.9){$\bullet$}
\put(-2.8,3.9){$\bullet$}
\put(-3,3.9){$\bullet$}
\put(-3,3.7){$\bullet$}

%5
\put(-4.1,3.8){$\bullet$}
\put(-4.3,3.8){$\bullet$}
\put(-4.5,3.8){$\bullet$}
\put(-4.7,3.8){$\bullet$}
\put(-4.9,3.8){$\bullet$}
%END OF 5--SHAPES



%LINES 3-5
{\color{red}
%outer
\qbezier(3.2,.2)(4.9,.9)(5.2,3.2)
\qbezier(-2,.2)(-3.8,.8)(-4.4,3.3)

\qbezier(3,.6)(2.9,3.1)(2.5,3.4)
\qbezier(-1.7,.5)(-1.7,3.1)(-1.2,3.4)

\qbezier(2.8,.2)(1.4,.7)(1,3.4)
\qbezier(-1.1,.2)(.3,.8)(.3,3.4)

%lines starting on (2,1)
\qbezier(1.1,.1)(3,.4)(3.8,3.3)
\qbezier(.3,.1)(-1.8,.4)(-2.7,3.4)}


%lines 4-5
\put(4,2.4){\line(-1,3){.3}}
\put(4.3, 2.4){\line(3,4){.65}}

\put(2.5,2.35){\line(0,1){1}}
\put(2.3, 2.35){\line(-4,3){1.3}}
\put(2.7, 2.35){\line(4,5){.78}}

\put(.5,2.3){\line(-6,5){1.3}}
\put(.9, 2.3){\line(6,5){1.3}}

\put(-1.25,2.35){\line(0,1){1}}
\put(-1.05, 2.35){\line(4,3){1.3}}
\put(-1.45, 2.35){\line(-4,5){.78}}

\put(-3.1,2.2){\line(1,4){.3}}
\put(-3.3, 2.2){\line(-3,4){.9}}

%!!!4-SHAPES!!!!
%2,2
\put(.6,1.9){$\bullet$}
\put(.8,1.9){$\bullet$}
\put(.6,1.7){$\bullet$}
\put(.8,1.7){$\bullet$}

%2,1,1
\put(2.3,2){$\bullet$}
\put(2.5,2){$\bullet$}
\put(2.3,1.8){$\bullet$}
\put(2.3,1.6){$\bullet$}

%1,1,1,1
\put(4,2.1){$\bullet$}
\put(4,1.9){$\bullet$}
\put(4,1.7){$\bullet$}
\put(4,1.5){$\bullet$}

%3,1
\put(-.9,1.9){$\bullet$}
\put(-1.1,1.9){$\bullet$}
\put(-1.3,1.9){$\bullet$}
\put(-1.3,1.7){$\bullet$}

%4
\put(-2.8,1.8){$\bullet$}
\put(-3,1.8){$\bullet$}
\put(-3.2,1.8){$\bullet$}
\put(-3.4,1.8){$\bullet$}
%END OF 4-Shapes


%LINES 2-4
%outer
{\color{red}
\qbezier(2.1,-1.4)(3.8,-.9)(4.1,1.3)
\qbezier(-.8,-1.4)(-2.5,-.9)(-2.8,1.3)}

{\color{red}%outer/inner
\qbezier(1.5,-1.4)(-.5,-.9)(-1,1.4)
\qbezier(-.1,-1.4)(1.9,-.9)(2.4,1.4)

%inner
\qbezier(1.8,-1.1)(1.6,1)(1,1.4)
\qbezier(-.3,-1.1)(-.2,1)(.4,1.4)}
%Lines 3-4
\put(-1.9,.5){\line(-4,5){.8}}
\put(-1.6, .5){\line(1,2){.5}}

\put(.67,.6){\line(0,1){.9}}
\put(.5, .6){\line(-4,3){1.15}}
\put(.9, .6){\line(4,3){1.15}}

\put(2.8,.6){\line(-1,3){.27}}
\put(3.2, .6){\line(3,4){.62}}




%!!!3SHAPES!!!
%2,1
\put(.5,.2){$\bullet$}
\put(.7,.2){$\bullet$}
\put(.5,0){$\bullet$}

%1,1,1
\put(2.8,.3){$\bullet$}
\put(2.8,.1){$\bullet$}
\put(2.8,-.1){$\bullet$}

%3
\put(-1.5,.1){$\bullet$}
\put(-1.7,.1){$\bullet$}
\put(-1.9,.1){$\bullet$}
%end of 3-shapes



%LINE1-3
{\color{red}
\qbezier(.9,-2.7)(2.8,-2.3)(2.9,-.3)
\qbezier(.4,-2.7)(-1.7,-2.3)(-1.6,-.3)}
%LINE2-3
\put(-.7,-1.1){\line(-3,4){.7}}
\put(-.3, -1.1){\line(3,4){.7}}


\put(1.7,-1.1){\line(-3,4){.7}}
\put(1.9, -1.1){\line(3,4){.7}}




%!!!2 Shapes!!!
%1,1
\put(1.7,-1.4){$\bullet$}
\put(1.7,-1.6){$\bullet$}


%2
\put(-.4,-1.5){$\bullet$}
\put(-.6,-1.5){$\bullet$}
%END of 2-Shapes




%!!!1 SHAPES!!!
%1
\put(.6,-2.8){$\bullet$}
%LINE 1-2
\put(.5,-2.5){\line(-6,5){.85}}
\put(.9, -2.5){\line(6,5){.85}}


\put(.6,-4.2){$\emptyset$}

%LINE 0-2
{\color{red}\qbezier(1,-3.8)(2,-3.2)(1.9,-1.8)
\qbezier(.4,-3.8)(-.6,-3.2)(-.5,-1.8)}

\put(.68,-3.8){\line(0,1){.8}}


\end{picture}
\end{center}


The doubly-ordered poset $Y_{{\leq_1},{\leq_k}}$ forms a lattice since $Y_{{\leq_1},{\leq_k}}$ contains the $\leq_1$ relation and thus any two elements have a meet and a join.
 
We now present the definition of a differential doubly-ordered poset which is similar to a differential poset.
 
 \begin{Definition}  An r-differential doubly-ordered poset $A_{{\leq_1},{\leq_k}}$, where $r=1+k$, is a doubly-ordered poset that satisfies the following three conditions:
 \end{Definition}
 \begin{enumerate}
 \item $A_{{\leq_1},{\leq_k}}$ has a $\hat{0}$ and is locally finite.
 \item If $x \ne y$ for $x, y \in A_{{\leq_1},{\leq_k}}$, and $x$ and $y$ jointly cover $m$ elements, then for each element jointly covered by $x$ and $y$ either:

\begin{enumerate}
\item  There exists a $\lambda$, $\lambda\neq x$ and $\lambda\neq y$,  which jointly covers $x$ and $y$, or 
\item  One of $x$ or $y$ is the join of $x$ and $y$.
\end{enumerate}

\item For $x \in$ $A_{{\leq_1},{\leq_k}}$, if $x$ covers exactly $m$ elements of $A_{{\leq_1},{\leq_k}}$, then $x$ is covered by exactly $m+r$ elements of $A_{{\leq_1},{\leq_k}}$ where $r=1+k$.
 \end{enumerate}
 
\begin{Theorem}  The doubly-ordered poset $Y_{{\leq_1},{\leq_k}}$ is a k+1-differential doubly-ordered poset.
\end{Theorem}

\begin{proof}

By construction $Y_{\leq_1, \leq_2}$ has a $\hat{0}$ and is locally finite.  The standard definition of an $r$-differential poset also imposes the condition of being graded.  However, the doubly-ordered posets $Y_{\leq_1, \leq_2}$ are not graded by the definition, although a grading can be imposed.  For $a\in Y_{{\leq_1},{\leq_k}}$ not all maximal chains from $\hat{0}$ to $a$ have the same length.  For example, the following two chains are saturated in $Y_{\leq_1 \leq_2}$ since each edge represents a cover relation, but one has length 3, and one has length 2.

\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(12,4.5)(-6,0)

%(2,1) left
\put(-2,4){$\bullet$}
\put(-1.8,4){$\bullet$}
\put(-2,3.8){$\bullet$}

\put(-1.8,2.8){\line(0,1){.9}}
\put(-1.5,3.3){$\leq_1$}

%(2) left
\put(-2,2.5){$\bullet$}
\put(-1.8,2.5){$\bullet$}

\put(-1.8,1.6){\line(0,1){.7}}
\put(-1.5,2){$\leq_1$}

%(1)left
\put(-1.9,1.3){$\bullet$}

\put(-1.8,.7){\line(0,1){.5}}

%0left
\put(-1.9,.3){$\hat{0}$}

\put(-1.5,.9){$\leq_1$}


%(2,1)right
\put(2,4){$\bullet$}
\put(1.8,4){$\bullet$}
\put(1.8,3.8){$\bullet$}

\put(2,2.8){\line(0,1){.9}}
\put(2.3,3.3){$\leq_1$}

%(2)right
\put(1.8,2.5){$\bullet$}
\put(2,2.5){$\bullet$}

\put(2,.7){\line(0,1){1.7}}
\put(2.3,1.3){$\leq_2$}

\put(1.9,.3){$\hat{0}$}

\end{picture}
\end{center} 


Since this poset is not graded, we will impose a grading by defining the rank of any element $\lambda$ in $Y_{\leq_1, \leq_2}$ to be $n$ where $\lambda$ is a partition of $n$.
 
The second criteria claims that if $x$ and $y \in Y_{\leq_1, \leq_k}$ jointly cover $m$ elements, then there exists a unique $\lambda$, for each element, which jointly covers $x$ and $y$, or one of $x$ or $y$ is the join of $x$ and $y$.  It is important to note that for $Y_{\leq_1, \leq_k}$ the only possible values for $m$ are 0, 1, or 2.  There are three cases.


Case 1:  If $x$ and $y$ do not jointly cover any shapes then there is no shape $\lambda$ which covers them.

This is clear by inspection.


Case 2:  If $\mu \lessdot_1x$ and $\mu \lessdot_1y$, or $\mu \lessdot_kx$ and $\mu \lessdot_ky$ then we can appeal to the underlying relations to show that there exists a $\lambda_1$ where $x\lessdot_1\lambda_1$ and $y\lessdot_1\lambda_1$, or there exists a $\lambda_2$ where $x\lessdot_k\lambda_2$ and  $y\lessdot_k\lambda_2$.   Since every $\leq_k$ relation is $k$-differential this condition holds in each individual relation.
It is possible in this case that $\lambda \lessdot_1x$, $\lambda \lessdot_1y$ and $\mu \lessdot_kx$ and $\mu \lessdot_ky$ so that $x$ and $y$ jointly cover two elements.  In this case there is a unique $\lambda$ which covers $x$ and $y$ in each relation yielding the two distinct elements which cover $x$ and $y$.



Case 3: Without loss of generality let $x$ be a partition of $n$ and $y$ be a partition of $p$ with $n<p$ and $\mu \lessdot_1x$ and $\mu \lessdot_ky$.  In this case $x$ differs from $\mu$ by a single dot $r_1$ and $y$ differs from $\mu$ by an $k$-ribbon, $r_k$. If $r_1$ and $r_k$ overlap, then $x\leq_1y$.  If $x$ and $y$ are related in the $\leq_1$ relation then there exists some path $P_{k-1}$ of length $k-1$ in Young's lattice which connect $x$ and $y$.  Thus $y$ is the smallest shape which covers both $x$ and $y$, and is therefore the join of $x$ and $y$.  See the Figure below on the left for an example with $k$=6.

If $r_1$ doesn't overlap with $r_k$ then the unique shape which covers both $x$ and $y$ is the union of $x$ and $y$.  See the figure below on the right for an 
example with $k$=6.

\vspace*{40pt}

\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(12,6)(-6,-5)



%(4,1,1) left
\put(-3.8,-3.4){$\bullet$}
\put(-4.1,-3.4){$\bullet$}
\put(-4.4,-3.4){$\bullet$}
\put(-4.7,-3.4){$\bullet$}
\put(-4.7,-3.7){$\bullet$}
\put(-4.7,-4){$\bullet$}

\put(-3.8,-3.1){\line(1,2){1.4}}
\put(-4.7,-3.1){\line(-1,1){1}}

%(6,5,1)left
\put(-2.6,.5){$\bullet$}
\put(-2.3,.5){$\bullet$}
\put(-2,.5){$\bullet$}
\put(-1.7,.5){$\bullet$}
\put(-1.4,.5){$\bullet$}
\put(-2.9,.5){$\bullet$}
\put(-2.9,.2){$\bullet$}
\put(-2.6,.2){$\bullet$}
\put(-2.3,.2){$\bullet$}
\put(-2,.2){$\bullet$}
\put(-1.7,.2){$\bullet$}
\put(-2.9,-.1){$\bullet$}
\put(-2.65,.15){\line(0,1){.3}}
\put(-2.65,.15){\line(1,0){1.2}}
\put(-2.65,.45){\line(1,0){.9}}
\put(-1.75,.45){\line(0,1){.3}}
\put(-1.45,.15){\line(0,1){.3}}
\put(-1.45,.45){\line(1,0){.3}}
\put(-1.15,.45){\line(0,1){.3}}
\put(-1.75,.75){\line(1,0){.6}}

%(4,2,1)left
\put(-6.4,-1.7){$\bullet$}
\put(-6.1,-1.7){$\bullet$}
\put(-5.8,-1.7){$\bullet$}
\put(-5.5,-1.7){$\bullet$}
\put(-6.4,-2){$\bullet$}
\put(-6.1,-2){$\bullet$}
\put(-6.4,-2.3){$\bullet$}
\put(-6.15,-2.05){\line(0,1){.3}}
\put(-6.15,-2.05){\line(1,0){.3}}
\put(-5.85,-2.05){\line(0,1){.3}}
\put(-6.15,-1.75){\line(1,0){.3}}

\put(-5.5,-1.4){\line(2,1){2.3}}

\put(-2.8,-2){$\leq_6$}
\put(-5.8,-3){$\leq_1$}

\put(-4.9,-.6){$P_5$}



%(4,1,1) right
\put(4.5,-3.4){$\bullet$}
\put(4.2,-3.4){$\bullet$}
\put(3.9,-3.4){$\bullet$}
\put(3.6,-3.4){$\bullet$}
\put(3.6,-3.7){$\bullet$}
\put(3.6,-4){$\bullet$}

\put(4.5,-3.1){\line(1,2){1.4}}
\put(3.6,-3.1){\line(-1,1){1}}



%(6,5,1)right
\put(5.6,.5){$\bullet$}
\put(5.9,.5){$\bullet$}
\put(6.2,.5){$\bullet$}
\put(6.5,.5){$\bullet$}
\put(6.8,.5){$\bullet$}
\put(7.1,.5){$\bullet$}
\put(5.6,.2){$\bullet$}
\put(5.9,.2){$\bullet$}
\put(6.2,.2){$\bullet$}
\put(6.5,.2){$\bullet$}
\put(6.8,.2){$\bullet$}
\put(5.6,-.1){$\bullet$}
\put(5.85,.15){\line(0,1){.3}}
\put(5.85,.15){\line(1,0){1.2}}
\put(7.05,.15){\line(0,1){.3}}
\put(7.05,.45){\line(1,0){.3}}
\put(7.35,.45){\line(0,1){.3}}
\put(6.75,.75){\line(1,0){.6}}
\put(6.75,.45){\line(0,1){.3}}
\put(5.85,.45){\line(1,0){.9}}

\put(5.9,.8){\line(-1,1){1}}

%(4,1,1,1)right
\put(2.7,-1.7){$\bullet$}
\put(2.4,-1.7){$\bullet$}
\put(2.1,-1.7){$\bullet$}
\put(1.8,-1.7){$\bullet$}
\put(1.8,-2){$\bullet$}
\put(1.8,-2.3){$\bullet$}
\put(1.8,-2.6){$\bullet$}
\put(1.73,-2.67){\line(0,1){.3}}
\put(1.73,-2.67){\line(1,0){.3}}
\put(2.03,-2.67){\line(0,1){.3}}
\put(1.73,-2.37){\line(1,0){.3}}

\put(2.7,-1.4){\line(1,2){1.4}}

%(6,5,1,1)
\put(5.1,2.4){$\bullet$}
\put(4.8,2,4){$\bullet$}
\put(4.5,2.4){$\bullet$}
\put(4.2,2.4){$\bullet$}
\put(3.9,2.4){$\bullet$}
\put(3.6,2.4){$\bullet$}
\put(3.6,2.1){$\bullet$}
\put(3.9,2.1){$\bullet$}
\put(4.2,2.1){$\bullet$}
\put(4.5,2.1){$\bullet$}
\put(4.8,2.1){$\bullet$}
\put(3.6,1.8){$\bullet$}
\put(3.6,1.5){$\bullet$}
\put(3.85,2.05){\line(0,1){.3}}
\put(3.85,2.05){\line(1,0){1.2}}
\put(5.05,2.05){\line(0,1){.3}}
\put(5.05,2.35){\line(1,0){.3}}
\put(5.35,2.35){\line(0,1){.3}}
\put(4.75,2.65){\line(1,0){.6}}
\put(4.75,2.35){\line(0,1){.3}}
\put(3.85,2.35){\line(1,0){.9}}

\put(3.53,1.43){\line(0,1){.3}}
\put(3.53,1.43){\line(1,0){.3}}
\put(3.83,1.43){\line(0,1){.3}}
\put(3.53,1.73){\line(1,0){.3}}

\put(5.7,1.4){$\leq_1$}
\put(5.7,-2){$\leq_6$}
\put(2.5,0){$\leq_6$}
\put(2.5,-3){$\leq_1$}

\end{picture}
\end{center}


\vskip -20pt
 The third criteria is clear by looking at each relation separately.  Let $\lambda$ be an element of $Y_{{\leq_1},{\leq_k}}$, where $\lambda$ covers $m=n+p$ elements, $n$ elements through relation ${\leq}_1$ and $p$ elements through relation ${\leq}_k$.  Since we know that ${\leq}_1$ is 1-differential we can say that $\lambda$ is covered by $n+1$ elements through the ${\leq}_1$ relation.  Since we know that the $k$-ribbon poset built on any shape is $k$-differential we can say that $\lambda$ is covered by  $p+k$ elements through the ${\leq}_k$ relation.  Thus, if $\lambda$ covers $n+p$ elements, it covers $n+1+p+k$ elements and thus is $k+1$-differential.
\end{proof}

\vskip 30pt


\section*{\normalsize 5. Multi-Ordered Poset}

We can now extend the idea of a doubly-ordered poset to that of a multi-ordered poset.

\begin{Definition} A multi-ordered poset is a set A, together with $n>1$
binary relations ${\leq_1},{\leq_2},$ ${\leq_3},\dots,{\leq_n}$. For
$x, y \in A$, we will say $x \leq y$ if there exists a set of elements
{$x_1,x_2,...,x_{m-1}$} such that $x=x_0\leq x_1\leq x_2 \leq \cdots\leq
x_{m-1}\leq x_m=y$ where for each $i$ between $1$ and $m$, $x_i \leq_k
x_{i+1}$ for some $1\leq k \leq n$.  We will say that $x\lessdot y$ if
$x\lessdot_k y$ for some $1\leq k\leq n$.  We will denote the
multi-ordered poset by $A_{\leq_1, \leq_2, \dots, \leq_n}$.
\end{Definition}

For a specific example of a multi-ordered poset, we have the following definition:

\begin{Definition}  If Y is the set of all partitions, then $Y_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$, $1< k_1 < k_2 < ...< k_n$,  is the multi-ordered poset where $\leq_{k_j}$ is the relation given by $\mu \leq_{k_j} \lambda$ if $\lambda$ is obtained from $\mu$ by adding $k_j$-ribbons.
\end{Definition}

Note, again, that the usual $\leq_1$ relation of Young's lattice is required for the multi-ordered poset $Y_{\leq_1, \leq_{k_1}, \leq_{k_2}, \dots, \leq_{k_n}}$.




 \begin{Definition}  An r-differential multi-ordered poset $A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$, $1< k_1 < k_2 < ...< k_n$, where $r=1+ k_1 + k_2 +...+k_n$, is a multi-ordered poset that satisfies the following three conditions:
 \end{Definition}
 \begin{enumerate}
 \item $A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$ has a $\hat{0}$ and is locally finite.

 \item If $x \ne y$ for $x, y \in A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$ and $x$ and $y$ jointly cover $m$ elements, then for each element jointly covered by $x$ and $y$ either:

\begin{enumerate}
\item  There exists a $\lambda$, $\lambda\neq x$ and $\lambda\neq y$,  which jointly covers $x$ and $y$, or 
\item  One of $x$ or $y$ is the join of $x$ and $y$.
\end{enumerate}

 \item For $x \in A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$, if $x$ covers exactly $k$ elements of $A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$, then $x$ is covered by exactly $k+r$ elements of $A_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$ where $r=1+{k_1}+{k_2}+...+{k_n}$.
 \end{enumerate}

\begin{Theorem}  The multi-ordered poset $Y_{{\leq_1},{\leq_{k_1}},{\leq_{k_2}},...,{\leq_{k_n}}}$ is an $r$-differential multi-ordered poset where $r=1+{k_1}+{k_2}+...+{k_n}$.
\end{Theorem}

\begin{proof}

The poset $Y_{\leq_1, \leq_{k_1}, \leq_{k_2}, \dots, \leq_{k_n}}$ has a zero element by construction and is clearly locally finite.  

To prove the second condition, there are two cases:


Case 1:  If $\mu \lessdot_1 x$ and $\mu \lessdot_1 y$ or $\mu \lessdot_{k_i} x$ and $\mu \lessdot_{k_i} y$, for $1 \leq i \leq n$, then we can appeal to the underlying $\leq_1$ or $\leq_{k_i}$ relations to show that there exists a $\lambda$, where $x\lessdot_1 \lambda$ and $y\lessdot_1 \lambda$ or $x \lessdot_{k_i} \lambda$ and $y \lessdot_{k_i} \lambda$, which covers both $x$ and $y$.   Since the underlying $\leq_1$ and $\leq_{k_i}$ relations are $1$-differential and $k_i$-differential respectively, this condition holds for each case where $x$ and $y$ cover an element $\mu$ through the same relation.


Case 2:  Suppose $\mu \lessdot_j x$ and $\mu \lessdot_l y$, for $1 \leq j<l \leq {k_n}$.  We know that $x$ differs from $\mu$ by a $j$-ribbon, $r_j$, and $y$ differs from $\mu$ by an $l$-ribbon, $r_l$.  If $r_j$ and $r_l$ do not overlap, then $\lambda$, the union of $x$ and $y$, will jointly cover $x$ and $y$.

Suppose $r_j$ and $r_l$ overlap in $m$ cells. If $m=j$, then $r_j$ is contained in $r_l$.  Then there is a path, $P_{l-j}$, in Young's lattice of length $l-j$ from $x$ to $y$, and $y$ is the join of $x$ and $y$.  If $m<j$ we will let $o_m$ denote these $m$ overlapping cells.  Let $b$ denote the cell in $o_m$ that is the leftmost cell in the lowest row of $o_m$ and let $t$ denote the cell in $o_m$ that is the rightmost cell in the uppermost row of $o_m$.  Since $b$ is the end of the $r_l$ ribbon, then the cell immediately below if must belong to $r_j$, otherwise $r_l$ would not be a valid ribbon to add to $\mu$.  Similarly, since $t$ is the end of the $r_j$ ribbon, the cell immediately to the right of $t$ must belong to $r_l$, otherwise $r_j$ would not be a valid ribbon to add to $\mu$.  By definition, each cell in the ribbon $o_m$ has no cell below and to the right of it along its diagonal in the partition.  We create $\lambda$ by taking the union of $x$ and $y$ plus the $m$ cells which lie immediately below and to the right of each of the overlapping cells along the diagonal.  Each of these cells are available and since we have determined that when moving $b$ there will be a cell in the partition to the left of it and when we move $t$ there will be a cell in the partition above it then we have created a valid partition shape.  Below is an example of this overlapping case.  Thus given any $x,y$ which jointly cover a shape $\mu$, we can find a shape $\lambda$ which jointly covers $x,y$.  


\begin{center}
\setlength{\unitlength}{1cm}
\begin{picture}(12,7)(-2,-4)


%(4,1,1) right
\put(4.5,-3.4){$\bullet$}
\put(4.2,-3.4){$\bullet$}
\put(3.9,-3.4){$\bullet$}
\put(3.6,-3.4){$\bullet$}
\put(3.6,-3.7){$\bullet$}
\put(3.6,-4){$\bullet$}

\put(4.5,-3.1){\line(1,2){1.4}}
\put(3.6,-3.1){\line(-1,1){1}}



%(6,5,1)right
\put(5.6,.5){$\bullet$}
\put(5.9,.5){$\bullet$}
\put(6.2,.5){$\bullet$}
\put(6.5,.5){$\bullet$}
\put(6.8,.5){$\bullet$}
\put(7.1,.5){$\bullet$}
\put(7.4,.5){$\bullet$}
\put(5.6,.2){$\bullet$}
\put(5.9,.2){$\bullet$}
\put(6.2,.2){$\bullet$}
\put(6.5,.2){$\bullet$}
\put(6.8,.2){$\bullet$}
\put(5.6,-.1){$\bullet$}
\put(5.85,.15){\line(0,1){.3}}
\put(5.85,.15){\line(1,0){1.2}} 
\put(7.05,.15){\line(0,1){.3}}
\put(7.05,.45){\line(1,0){.6}}
\put(7.65,.45){\line(0,1){.3}}
\put(6.75,.75){\line(1,0){.9}}
\put(6.75,.45){\line(0,1){.3}}
\put(5.85,.45){\line(1,0){.9}}

\put(5.9,.8){\line(-1,1){1}}

%(4,1,1,1)right
\put(2.7,-1.7){$\bullet$}
\put(2.4,-1.7){$\bullet$}
\put(2.1,-1.7){$\bullet$}
\put(1.8,-1.7){$\bullet$}
\put(1.8,-2){$\bullet$}
\put(2.4,-2){$\bullet$}
\put(2.1,-2){$\bullet$}
\put(2.7,-2){$\bullet$}
\put(1.8,-2.3){$\bullet$}
\put(2.1,-2.3){$\bullet$}
\put(1.8,-2.6){$\bullet$}
\put(2.1,-2.6){$\bullet$}

\put(1.73,-2.67){\line(0,1){.3}}
\put(1.73,-2.67){\line(1,0){.3}}
\put(2.03,-2.67){\line(1,0){.3}}
\put(1.73,-2.37){\line(1,0){.3}}

\put(2.03,-2.37){\line(0,1){.6}}
\put(2.33,-2.67){\line(0,1){.6}}
\put(2.33,-2.07){\line(1,0){.6}}
\put(2.03,-1.77){\line(1,0){.9}}
\put(2.93,-2.07){\line(0,1){.3}}

\put(2.7,-1.4){\line(1,2){1.4}}

%(6,5,5,2,1)
\put(5.4,2.4){$\bullet$}
\put(5.1,2.4){$\bullet$}
\put(4.8,2,4){$\bullet$}
\put(4.5,2.4){$\bullet$}
\put(4.2,2.4){$\bullet$}
\put(3.9,2.4){$\bullet$}
\put(3.6,2.4){$\bullet$}

\put(3.6,2.1){$\bullet$}
\put(3.9,2.1){$\bullet$}
\put(4.2,2.1){$\bullet$}
\put(4.5,2.1){$\bullet$}
\put(4.8,2.1){$\bullet$}
\put(3.6,1.8){$\bullet$}
\put(3.9,1.8){$\bullet$}
\put(4.2,1.8){$\bullet$}
\put(4.5,1.8){$\bullet$}
\put(4.8,1.8){$\bullet$}
\put(3.6,1.5){$\bullet$}
\put(3.9,1.5){$\bullet$}

\put(3.85,2.05){\line(0,1){.3}}
\put(3.85,2.05){\line(1,0){.9}}
\put(4.75,2.05){\line(0,1){.3}}
\put(3.85,2.35){\line(1,0){.9}}



\put(5.7,1.4){$\leq_6$}
\put(5.7,-2){$\leq_7$}
\put(2.5,0){$\leq_7$}
\put(2.5,-3){$\leq_6$}

\end{picture}
\end{center}


For the third condition, we can again appeal to the fact that the $\leq_1$ relation is $1$-differential and each of the individual $\leq_{k_i}$ relations is $k_i$-differential.  Let $\lambda$ be an element of $Y_{\leq_1, \leq_{k_1}, \leq_{k_2}, \dots, \leq_{k_n}}$ and suppose $\lambda$ covers $n + p_1 + p_2 + \cdots + p_n$ elements, $n$ elements through the $\leq_1$ relation and $p_i$ elements through the $\leq_{k_i}$ relation.  Then $\lambda$ is covered by $n+1$ elements through the $\leq_1$ relation and $p_i + k_i$ elements through the $\leq_{k_i}$ relation.  Thus $\lambda$ is covered by $n + p_1 + p_2 + \cdots + p_n + 1 + k_1 + k_2 + \cdots + k_n$ elements.  
\end{proof}


\vskip 30pt


\section*{\normalsize 6. Further Research}
There are several interesting combinatorial results of $r$-differential posets which could potentially be extended to multi-ordered posets.  These extensions are a source of numerous further research opportunities.

Stanley proved that for any $r$-differential poset  $r^{n}n!=\sum_{\lambda\in P} e(\lambda)^2$, where $e(\lambda)$ is the number of chains in $P$ from $\hat{0}$ to $\lambda$.  We can interpret this equation combinatorially as a bijection between $r$-colored permutations of the numbers 1 through $n$ and pairs of chains $(P,Q)$ in the $r$-differential poset from $\hat{0}$ to $\lambda$ for $\lambda$ an element at height $n$.  For $r=1$ we have the well-known Schensted correspondence which outlines this bijection.  For $r=2$ we have the domino insertion of Barbasch and Vogan \cite{Barbasch} and Garfinkle \cite{Garfinkle}.  For $r>2$ we have the $k$-ribbon insertion of Shimozono and White \cite{White}.  We conjecture that there is a similar formula and bijection for $Y_{{\leq_1},{\leq_{2}}}$ and for doubly-ordered posets in general and are working towards the formulation of such a statement.

For $r$-differential posets, a chain in the poset from $\hat{0}$ to $n$ can be represented as a tableau.  Thus, the number of chains from $\hat{0}$ to $\lambda$ for a specific $\lambda$ is the same as the number of tableaux of shape $\lambda$.  A chain in $Y_{{\leq_1},{\leq_{2}}}$ from $\hat{0}$ to $\lambda$ can be represented by a tableau with some number of dominos in it.   For Young's lattice, the well-known Hook Formula of Frame-Robinson-Thrall gives the number of standard young tableaux of shape $\lambda$.  A related problem for doubly-ordered posets would be to develop a method of counting the number of standard tableaux of a given shape $\lambda$ containing a specified number of dominos.  More generally, one could ask whether there is a hook formula of some sort for counting the number of standard tableaux containing $k_1$ single cells, $k_2$ dominos, $k_3$ $3$-ribbons, $\dots$, and $k_n$ $n$-ribbons.


\section*{\normalsize Acknowledgements}



The authors wish to thank Naiomi Cameron for her helpful comments during the development of the ideas for this paper and for her thoughtful editing throughout the process.


\newpage

\renewcommand{\refname}{\normalsize References}
\begin{thebibliography}{AA} \footnotesize

\bibitem{Barbasch} D. Barbasch and D. Vogan, Primitive Ideals and Orbital Integrals on Complex Classical Groups, {\it{Math. Ann.}} 259 (1982) 153-199.

\bibitem{Garfinkle} D. Garfinkle, On the Classification of Primitive Ideals of Complex Classical Lie Algebras, I, {\it{Compositio Mathematica}} 75 (1990) 135-169.

\bibitem{Littlewood} D. E. Littlewood, Modular representations of symmetric groups, {\it Proc. Royal Soc. London Ser. A,} 209 (1951), pp. 333-353.

\bibitem{Sagan} B. Sagan, {\it The Symmetric Group}, $2^{nd}$ Edition, Springer-Verlag, New York, NY, 2001.

\bibitem{Shimozono} M. Shimozono and D. White, A Color-to-Spin Domino Schensted Algorithm, {\em The Electronic Journal of Combinatorics}, Volume 8, 2001.

\bibitem{White} M. Shimozono and D. White, Color-to-Spin Ribbon Schensted Algorithms, {\em Discrete Mathematics} 246 (2002) 295-316.

\bibitem{Sta} R. Stanley, {\it Enumerative Combinatorics, Vol. 2}, Cambridge, 1999.

\bibitem{Stanley} R. Stanley, Differential Posets, {\em Journal of the American Mathematical Society}, Volume 1, Number 4, October 1988, 919--961.



\end{thebibliography}





\end{document}