Dear Daniel, thank you for the very nice proof! Theorem 11 from the lecture notes you refer to suggests some answers to other general questions related to the conjecture (let us now refer to it as Theorem 0). In particular I have the following 2 questions in mind.
1. I wonder how the generalization of Theorem 0 to higher dimensional matrices looks like. More specifically, given integers , what is the smallest value, denoted , of among all -matrices with distinct integer entries? Theorem 0 states that . Theorem 11 implies that where and . My feeling is that . What do you think? Note that is the number of all ordered partitions of into exactly parts not exceeding .
Related questions
Dear Daniel, thank you for the very nice proof! Theorem 11 from the lecture notes you refer to suggests some answers to other general questions related to the conjecture (let us now refer to it as Theorem 0). In particular I have the following 2 questions in mind.
1. I wonder how the generalization of Theorem 0 to higher dimensional matrices looks like. More specifically, given integers , what is the smallest value, denoted , of among all -matrices with distinct integer entries? Theorem 0 states that . Theorem 11 implies that where and . My feeling is that . What do you think? Note that is the number of all ordered partitions of into exactly parts not exceeding .