10 dimensional jump

Given a set of points in space, a jump consists of taking two points in the set, P P and Q Q , removing P P from the set, and replacing it with the reflection of P P over Q Q . Find the smallest number n n such that for any set of n n lattice points in 10 10 -dimensional-space, it is possible to perform a finite number of jumps so that some two points coincide.

This problem is from the OMO.


The answer is 1025.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Zi Song Yeoh
Sep 17, 2014

Notice that the parity of a point’s coordinates does not change when it undergoes a jump, so if we take the unit 10 10 dimensional cube (all coordinates at 0 0 or 1 1 ), we have 2 10 = 1024 2^{10} = 1024 points, and no two will ever coincide because that would imply their parities are the same. Thus the answer is at least 1025 1025 .

To show that 1025 1025 works, we use induction on the number of dimensions.

Base Case : Any 3 3 points in 1 1 -dimensional space can be moved so that some two coincide.

Proof : Jump an outer point over the middle point, maximum distance decreases. So, eventually some two will coincide.

Inductive step : Consider any 2 n + 1 + 1 2^{n+1} + 1 points in ( n + 1 ) (n+ 1) -dimensional space. We’re going to show that we can make some 2 n + 1 2^{n} + 1 of them lie in an n n -dimensional “plane,” so that we can apply the inductive step.

Let’s project the points down onto 1 1 -dimensional space; say, by looking only at the first coordinate.

Then any jump in ( n + 1 ) (n+1) -space corresponds directly to a jump of the projected points (feet) in 1 1 -space.

Now divide up the points into two sets A A and B B based on the parity of the first coordinate. We can assume WLOG that both A A and B B are non-empty, else we can either divide by 2 2 , or shift over and divide by 2 2 , and the sequence of moves remains the same. By pigeonhole, we know that one of the sets has at least 2 n + 1 2^n + 1 elements, let that be A A . Now, choose any element P P of B B . By manipulating the feet of any two elements a 1 , a 2 A a_1, a_2 \in A and P P , we can get the feet of a 1 a_1 and a 2 a_2 to coincide (by the base case, and parity) and thus a 1 a_1 and a 2 a_2 lie in the same n n -dimensional plane. Now we repeat this algorithm, subsequently always treating a 1 a_1 and a 2 a_2 as a unit (so that they remain in the same plane whenever they jump over another point).

Thus, by repeatedly manipulating the feet of P P and two elements from A A , we can accumulate all the points in A A into n n -space, and we are done. Thus, the answer is 1025 \boxed{1025} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...