IMO 2013 Shortlist C3
A crazy physicist discovered a new kind of particle which he called an imon, after some of them mysteriously appeared in...
Category: Combinatorics
Problem
A crazy physicist discovered a new kind of particle which he called an imon, after some of them mysteriously appeared in his lab. Some pairs of imons in the lab can be entangled, and each imon can participate in many entanglement relations. The physicist has found a way to perform the following two kinds of operations with these particles, one operation at a time. piq If some imon is entangled with an odd number of other imons in the lab, then the physicist can destroy it. piiq At any moment, he may double the whole family of imons in his lab by creating a copy I1 of each imon I. During this procedure, the two copies I1 and J1 become entangled if and only if the original imons I and J are entangled, and each copy I1 becomes entangled with its original imon I; no other entanglements occur or disappear at this moment. Prove that the physicist may apply a sequence of such operations resulting in a family of imons, no two of which are entangled. (Japan)