Saxl's conjecture asserts that the tensor square of the complex Specht module indexed by the staircase partition
 |
contains every irreducible representation of 
, where 
. It is equivalently
the requirement 
for every partition 
of 
. The staircase is self-conjugate,
as required for the sign representation to occur in the square.
