The Network Of Knowledge

                Science   Technology   Engineering   Mathematics   History   Thought   Belief   The Modern World
                

                        Omnia Exeunt In Mysterium

Conjugate and Self-conjugate Partitions

If the Ferrers graph of a partition \(\lambda\) of a positive integer \(n\) is reflected across the main diagonal, a new partition of \(n\), denoted by \(\lambda'\) and called the conjugate of \(\lambda\), is obtained.
  For example, the conjugate of the partition \(5+ 4+ 4+ 2+ 1\) is the partition \(5+4+ 3+ 3+ 1\)- see Figure 2.

Figure 2: The conjugate of the partition \(5+ 4+ 4+ 2+ 1\) is the partition \(5+4+ 3+ 3+ 1\).
Figure 1: The conjugate of the partition \(5+ 4+ 4+ 2+ 1\) is the partition \(5+4+ 3+ 3+ 1\).

If the Ferrers graph of the conjugate of a partition is the same as the Ferrers graph of the original partition, then the partition is said to be a self-conjugate partition.
For example, it can be easily seen from the Ferrers graph that the partition \(6+ 5+ 3+ 2+ 2+ 1 \) is a self-conjugate partitio n of 19.

Figure 2: self-conjugate
Figure 2: The partition \(6+ 5+ 3+ 2+ 2+ 1 \) is a self-conjugate partition of 19.

The number of self-conjugate partitions of any positive integer \(n\) are equinumerous with the number of partitions of \(n\) into distinct odd parts (see the Combinatorial Proofs of Partition Identities page for a proof of this).

Conjugate partitions may also be used to prove that, for integers \(a,b\) and \(c\) with \(a>b>1, a>c>1\), the number of partitions of \(a−c \) into exactly \(b−1\) parts, none exceeding \(c\), equals the number of partitions of \(a − b\) into exactly \(c − 1\) parts, none exceeding \(b\) (the reader may try to prove this using Ferrers graphs).

Back to the main Partitions page

Page created by Oideachas, LLC