Let be a positive integer. Find the smallest positive integer with the property that for any colouring of the squares of a chessboard with colours, there are 2 columns and 2 rows such that the 4 squares in their intersections have the same colour.
Solution
The answer is .
Consider an -colouring of the chessboard. A vertical-pair is a pair of squares in the same column that are coloured the same. In every column there are at least vertical-pairs. Let be the total number of vertical-pairs and be the number of vertical-pairs with colour . Then . Thus there is colour with . There are pairs of rows. Thus if , there is a pair of rows that contains two vertical-pairs with colour .
Next for , exhibit an -colouring where no such sets of 4 squares exists. Note that it suffices to find such an -colouring for the board. We can then rotate the colours to obtain of these boards which can then be put together to obtain the requiring -colouring of the board. For each , let , where , is taken to be . Note that the pairs in each give a partition of . Moreover, each pair of elements appears in exactly one . Now colour the squares of column using colours so that the two squares in each pair of receive the same colour and the colours the pairs are mutually distinct. This gives an -colouring of the board with the required property and we are done.