Maths Olympiad Prep

Library / /503 of 520

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it

The cells of a square 2011×20112011 \times 2011 array are labelled with the integers 1,2,,201121,2, \ldots, 2011^{2}, in such a way that every label is used exactly once. We then identify the lefthand and right-hand edges, and then the top and bottom, in the normal way to form a torus (the surface of a doughnut).

Determine the largest positive integer MM such that, no matter which labelling we choose, there exist two neighbouring cells with the difference of their labels at least M.[4]
(ROMANIA) DAN SchwarZ
Preamble. For a planar N×NN \times N array, it is folklore that this value is M=NM=N, with some easy models shown below. As such, the problem is mentioned in [Béla Bollobás - The Art of Mathematics], 21. Neighbours in a Matrix.

This is not necessarily a flaw on the actual problem, which is presented in a brand novel setting; on the contrary, some general previous knowledge on such type of problems (which we think must be encouraged) is beneficial in searching for the right ideas of a proof.

The idea for a proof goes along the lines of finding a moment in the consecutive filling with numbers of the array, when there are at least NN pairs of adjacent filled/yet-unfilled cells (with either distinct filled cells or distinct yet-unfilled cells). Then, when the cell next to that bearing the least label is filled, the difference between its label and the one being filled will be at least NN.

12\ldotsN
 N+1\mathrm{~N}+1 N+2\mathrm{~N}+2\ldots2 N
\vdots\vdots\ddots\vdots
( N1)N+1(\mathrm{~N}-1) \mathrm{N}+1( N1)N+2(\mathrm{~N}-1) \mathrm{N}+2\ldots N2\mathrm{~N}^{2}

A planar parallel N×NN \times N model array.
124\ldots N( N1)/2+1\mathrm{~N}(\mathrm{~N}-1) / 2+1
35\ldots N( N1)/2+2\mathrm{~N}(\mathrm{~N}-1) / 2+2
6\ldots
\vdots\vdots\vdots\ddots\vdots\vdots
 N( N+1)/21\mathrm{~N}(\mathrm{~N}+1) / 2-1\ldots N22\mathrm{~N}^{2}-2
 N( N+1)/2\mathrm{~N}(\mathrm{~N}+1) / 2\ldots N21\mathrm{~N}^{2}-1 N2\mathrm{~N}^{2}

A planar diagonal N×NN \times N model array.

Solution

For the toroidal case, it is clear the statement of the problem is referring to the cells of a ZN×ZN\mathbb{Z}_{N} \times \mathbb{Z}_{N} lattice on the surface of the torus, labeled with the numbers 1,2,,N21,2, \ldots, N^{2}, where one has to determine the least possible maximal absolute value MM of the difference of labels assigned to orthogonally adjacent cells.

The toroidal N=2N=2 case is trivially seen to be M=2M=2 (thus coinciding with the planar case).
!

The unique 2×22 \times 2 toroidal array.

For N3N \geq 3 we will prove that value to be at least MM \geq 2N12 N-1. Consider such a configuration, and color all cells of the square in white. Go along the cells labeled 1, 2, etc. coloring them in black, stopping just on the cell bearing the least label kk which, after assigned and colored in black, makes that all lines of a same orientation (rows, or columns, or both) contain at least two black cells (that is, before coloring in black the cell labeled kk, at least one row and at least one column contained at most one black cell). Wlog assume this happens for rows. Then at most one row is all black, since if two were then the stopping condition would have been fulfilled before cell labeled kk (if the cell labeled kk were to be on one of these rows, then all rows would have contained at least two black cells before, while if not, then all columns would have contained at least two black cells before).

Now color in red all those black cells adjacent to a white cell. Since each row, except the potential all black one, contained at least two black and one white cell, it will now contain at least two red cells. For the potential all black row, any of the neighboring rows contains at least one white cell, and so the cell adjacent to it has been colored red. In total we have therefore colored red at least 2(N1)+1=2N12(N-1)+1=2 N-1 cells.

The least label of the red cells has therefore at most the value k+1(2N1)k+1-(2 N-1). When the white cell adjacent to it will eventually be labeled, its label will be at least k+1k+1, therefore their difference is at least (k+1)(k+1(2N1))=2N1(k+1)-(k+1-(2 N-1))=2 N-1.
!

Example of coloring the array.
The models are kind of hard to find, due to the fact that the direct proof offers little as to their structure (it is difficult to determine the equality case during the argument involving the inequality with the bound, and then, even this is not sure to be prone to being prolonged to a full labeling of the array).

The weaker fact the value MM is not larger than 2N2 N is proved by the general model exhibited below (presented so that partial credits may be awarded).

N+1\mathrm{N}+1 N+2\mathrm{~N}+2\ldots2 N
3 N+13 \mathrm{~N}+13 N+23 \mathrm{~N}+2\cdots4 N
\vdots\vdots\ddots\vdots
(21)N+1(2 \ell-1) \mathrm{N}+1(21)N+2(2 \ell-1) \mathrm{N}+2\ldots2 N2 \ell \mathrm{~N}
\vdots\vdots\ddots\vdots
2k N+12 k \mathrm{~N}+12k N+22 k \mathrm{~N}+2\ldots(2k+1)N(2 k+1) \mathrm{N}
\vdots\vdots\ddots\vdots
2 N+12 \mathrm{~N}+12 N+22 \mathrm{~N}+2\ldots3 N
12\ldotsN

A general model for M=2NM=2 N in a N×NN \times N array.
By examining some small N>2N>2 cases, one comes up with the idea of spiral models for the true value M=2N1M=2 N-1. The models presented are for odd NN (since 2011 is odd); similar models exist for even NN (but are less symmetric). The color red (preceded by green) marks the moment where the largest difference M=2N1M=2 N-1 first appears.
[1] Also see Sloane's Online Encyclopædia of Integer Sequences (OEIS), sequence A001222 for Ω\Omega and sequence A008836 for λ\lambda, which is called Liouville's function. Its summatory function dnλ(d)\sum_{d \mid n} \lambda(d) is equal to 1 for a perfect square nn, and 0 otherwise.
Pólya conjectured that L(n):=k=1nλ(k)0L(n):=\sum_{k=1}^{n} \lambda(k) \leq 0 for all nn, but this has been proven false by Minoru Tanaka, who in 1980 computed that for n=906,151,257n=906,151,257 its value was positive. Turán showed that if T(n):=k=1nλ(k)k0T(n):=\sum_{k=1}^{n} \frac{\lambda(k)}{k} \geq 0 for all large enough nn, that
726
315
849

TABLE I: The spiral 3×33 \times 3 array.
161471316
1282612
93159
151041115
1614713

TABLE II: The spiral 4×44 \times 4 array.
231671522
1782614
931513
181041221
2419112025

TABLE III: The spiral 5×55 \times 5 array.
47402916283946
4130177152738
31188261426
1993151325
3220104122437
42332111233645
48433422354449

TABLE IV: The spiral 7×77 \times 7 array.
(2n+1)22(2 \mathrm{n}+1)^{2}-2(2n+1)29(2 \mathrm{n}+1)^{2}-9\ldotsn(2n1)+1\mathrm{n}(2 \mathrm{n}-1)+1\ldots(2n+1)210(2 \mathrm{n}+1)^{2}-10(2n+1)23(2 \mathrm{n}+1)^{2}-3
(2n+1)28(2 \mathrm{n}+1)^{2}-8\ldotsn(2n1)+2\mathrm{n}(2 \mathrm{n}-1)+2n(2n1)\mathrm{n}(2 \mathrm{n}-1)\ldots(2n+1)211(2 \mathrm{n}+1)^{2}-11
\vdots\vdots\ddots\vdots\vdots\vdots\ddots2n(n+1)+32 \mathrm{n}(\mathrm{n}+1)+3\vdots
2n22 \mathrm{n}^{2}\ldots8

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.