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.
