So the problem I'm working on is as follows:

Let $\lambda$ and $\mu$ be integer partitions, and let $\lambda^*$ and $\mu^*$ be their conjugates. By counting a set in two ways, prove $\sum_{i,j}\min\{\lambda_i,\mu_j\}=\sum_k\lambda_k^* \mu_k^*$, where $\lambda_k$ is the $k$th part of the partition $\lambda$ and $\lambda_k^*$ is the $k$th part of the conjugate $\lambda^*$.

I've got many drawings of Ferrers diagrams of some $\gamma^*$ where $\gamma^*_k=\lambda_k^*\mu_k^*$ which easily counts the right-hand side and I can see how it counts the minimum values on the left-hand side of the identity, but I can seem to justify why it works. Any thoughts?


Let $\lambda=\langle\lambda_1,\ldots,\lambda_r\rangle$. Let $F$ be the Ferrers diagram for $\mu$. For $k\in[r]$ let $F_k$ be what remains of $F$ when each row longer than $\lambda_k$ has been shortened to length $\lambda_k$.

  • Verify that $\sum_{i,j}\min\{\lambda_i,\mu_j\}=\sum_{k=1}^r|F_k|$.

We now determine how many times each column of $F$ is counted in $\sum_{k=1}^r|F_k|$. Let $G$ be the Ferrers diagram of $\lambda$.

Let $\mu=\langle\mu_1,\ldots,\mu_s\rangle$. For $\ell\in[s]$, column $\ell$ of $F$ is present in $F_k$ precisely for those $k\in[r]$ such that $\lambda_k\ge\ell$. Clearly $\lambda_k\ge\ell$ if and only if $G$ has an element in row $k$ and column $\ell$, so column $\ell$ of $F$ is counted in $\sum_{k=1}^r|F_k|$ once for each element of column $\ell$ of $G$. Column $\ell$ of $F$ has $\mu_\ell^*$ elements, and column $\ell$ of $G$ has $\lambda_\ell^*$ elements, so column $\ell$ of $F$ contributes $\lambda_\ell^*\mu_\ell^*$ to $\sum_{k=1}^r|F_k|$, which is therefore equal to $\sum_k\lambda_k^*\mu_k^*$.


Suppose two finite integer non negative sequences 𝑑 and 𝑠; let min(𝑑,s) be the sequence [min(𝑑𝑖,𝑠𝑗)], reordered anyway. It is immediate that min(𝑑𝑖,𝑠𝑗)=>π‘˜ is equivalent to 𝑑i=>π‘˜ and 𝑠j=>π‘˜; hence the conjugate dual sequence is the following: π‘ βˆ—.π‘‘βˆ—. The result follows since we know that the sum of a finite, integer non negative sequence and the sum of its conjugate are equal. And since min is associative it is possible to extend by induction the identity and get βˆ‘π‘–1,i2,..,ip min{πœ†π‘–1,...,πœ†ip}=βˆ‘π‘˜πœ†i1βˆ—π‘˜...πœ†ipβˆ—π‘˜

(I beg your pardon for the poor use of TeX).


Your Answer

By clicking β€œPost Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.