Browse · MathNet
PrintIRL_ABooklet_2023
Ireland 2023 counting and probability
Problem
We have 1000 small cubes of sidelength cm. All have magnetised faces, with three faces being north poles and the three opposite faces being south poles. We assemble them into a “megacube” of sidelength cm, using magnetism to connect them: two faces that touch must have opposite polarity. Your task is to determine how many configurations the megacube can have. Two configurations are different if they give different magnetic sensor readings, according to the following rules: 1. We can sense the polarity of faces of small cubes that lie on the outside of the megacube, except that we cannot test the bottom face of the megacube because it is too heavy to lift or even move. 2. If two configurations give different readings, but we could move (e.g. rotate) one to get the other, treat them as distinct, again because the megacube is too heavy to move.
Solution
We claim that the answer for small cubes, for any , is . In particular, for cubes, the answer is .
First note that, up to rotation, the polarisations of all small cubes are identical: three faces with polarisation N meet at one corner of the cube. Therefore, instead of rotating an already polarised small cube, we may simply repolarise its faces, making sure that opposite faces have opposite polarisations. Hence, there are possible ways to polarise a non-moving small cube, i.e. there are different rotational positions of a polarised small cube.
Below, we will build the megacube by placing the small cubes one after the other. If a small cube is placed adjacent to one or two small cubes that were placed before, its rotational position is constrained along one or two axes. There is only one way to place a small cube adjacent to three small cubes that were placed before.
If a small cube is constrained along one axis, i.e. if the polarisation of one pair of opposite faces is fixed, it has possible configurations. For example, if the Left-Right polarities are set, we can freely choose the Top-Bottom polarities in two ways and, independently, the Front-Back polarities in two ways.
If a small cube is constrained along two axes, it has possible configurations. To see this, suppose for instance that the Left-Right and Top-Bottom polarities are set. The Front-Back polarities can then be set in two ways.
Let us now give coordinates to the cubes in the megacube with cubes on each side: for , indicates the cube that is in the -th layer from left to right, the -th layer from top to bottom, and the -th layer from front to back. For instance, indicates the cube in the left-top-front corner of the megacube.
We now build the megacube in stages. We first place . This is unconstrained so we get possible configurations. Next, we add all other cubes on the three edges of the megacube that are incident on , i.e. cubes with coordinates , , or for . We do so in increasing order of , , and . This constrains them along one axis, so each of these gives a factor to the number of configurations.
Next, we fill in the three primary faces, meaning the faces that are each incident on two of the three edges that we filled in above. We fill in these faces in a similar fashion, row by row, in bibliographic order of the coordinates. For instance, for the front face, i.e. the one with cubes , we have already added these cubes for , so we add in increasing order of , then in increasing order of , etc. Doing so, we note that the polarities are fixed along two coordinate directions, so each cube contributes a factor to the number of configurations.
We finally fill in all remaining cubes in bibliographic order, noting that each cube is constrained along all three axes, so these contribute nothing to the number of configurations. So choosing the polarity for the three faces of the megacube that include a face of fixes the configuration. In particular, the rule stating that we cannot sense the bottom face is irrelevant.
It remains to add up the number of factors of above. This is made easier once we realise that the number of factors for each cube equals the number of faces of that cube that are contained in a primary face of the megacube. Each such face has cubes, so our claim follows.
First note that, up to rotation, the polarisations of all small cubes are identical: three faces with polarisation N meet at one corner of the cube. Therefore, instead of rotating an already polarised small cube, we may simply repolarise its faces, making sure that opposite faces have opposite polarisations. Hence, there are possible ways to polarise a non-moving small cube, i.e. there are different rotational positions of a polarised small cube.
Below, we will build the megacube by placing the small cubes one after the other. If a small cube is placed adjacent to one or two small cubes that were placed before, its rotational position is constrained along one or two axes. There is only one way to place a small cube adjacent to three small cubes that were placed before.
If a small cube is constrained along one axis, i.e. if the polarisation of one pair of opposite faces is fixed, it has possible configurations. For example, if the Left-Right polarities are set, we can freely choose the Top-Bottom polarities in two ways and, independently, the Front-Back polarities in two ways.
If a small cube is constrained along two axes, it has possible configurations. To see this, suppose for instance that the Left-Right and Top-Bottom polarities are set. The Front-Back polarities can then be set in two ways.
Let us now give coordinates to the cubes in the megacube with cubes on each side: for , indicates the cube that is in the -th layer from left to right, the -th layer from top to bottom, and the -th layer from front to back. For instance, indicates the cube in the left-top-front corner of the megacube.
We now build the megacube in stages. We first place . This is unconstrained so we get possible configurations. Next, we add all other cubes on the three edges of the megacube that are incident on , i.e. cubes with coordinates , , or for . We do so in increasing order of , , and . This constrains them along one axis, so each of these gives a factor to the number of configurations.
Next, we fill in the three primary faces, meaning the faces that are each incident on two of the three edges that we filled in above. We fill in these faces in a similar fashion, row by row, in bibliographic order of the coordinates. For instance, for the front face, i.e. the one with cubes , we have already added these cubes for , so we add in increasing order of , then in increasing order of , etc. Doing so, we note that the polarities are fixed along two coordinate directions, so each cube contributes a factor to the number of configurations.
We finally fill in all remaining cubes in bibliographic order, noting that each cube is constrained along all three axes, so these contribute nothing to the number of configurations. So choosing the polarity for the three faces of the megacube that include a face of fixes the configuration. In particular, the rule stating that we cannot sense the bottom face is irrelevant.
It remains to add up the number of factors of above. This is made easier once we realise that the number of factors for each cube equals the number of faces of that cube that are contained in a primary face of the megacube. Each such face has cubes, so our claim follows.
Final answer
2^{300}
Techniques
Enumeration with symmetryCounting two ways