Discrete Hairy Ball Theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:52:10Z http://mathoverflow.net/feeds/question/34811 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34811/discrete-hairy-ball-theorem Discrete Hairy Ball Theorem Yakov Shlapentokh-Rothman 2010-08-07T02:58:12Z 2010-08-07T12:34:07Z <p>This question is inspired by </p> <p><a href="http://mathoverflow.net/questions/29323/math-puzzles-for-dinner/29399#29399" rel="nofollow">http://mathoverflow.net/questions/29323/math-puzzles-for-dinner/29399#29399</a></p> <p>The arrow compatibility conditions in that problem can be considered an attempt to discretize the notion of a continuous vector field. </p> <p>The Hairy Ball Theorem states that there is no continuous nowhere vanishing vector field on the sphere, <a href="http://en.wikipedia.org/wiki/Hairy_ball_theorem" rel="nofollow">http://en.wikipedia.org/wiki/Hairy_ball_theorem</a>.</p> <p>We are led to the following formulation of a discrete Hairy Ball Theorem:</p> <p>Instead of a sphere we will consider the squares lying on the surface of a 3 x 3 x 3 cube (Rubik's cube). Instead of searching for a continuous nowhere vanishing vector field, we ask if there exists a "legal configuration" of arrows on the squares of the cube? </p> <p>A "legal configuration" consists of the following:</p> <p>1) For any non-corner square, an arrow pointing in one of the eight cardinal directions is placed.</p> <p>2) For any corner square, there is one cardinal direction which does not point to an adjacent square. For these squares, the placed arrow should point in one of the other seven directions.</p> <p>The following conditions are modified from the original formulation:</p> <p>3) Orthogonally adjacent non-corner squares should be compatible in the sense that if they are flattened to lie in a plane, the arrows should be at most 45 degrees apart.</p> <p>4) Orthogonally adjacent corner squares should be compatible in the sense that if they are flattened to lie in a plane, the arrows are one rotation away from each other within the seven allowed directions. For example, if northeast is a prohibited direction on a corner square, then a northward pointing arrow on the square and an eastward pointing arrow on an adjacent square are compatible.</p> <p>So, can you comb a hairy Rubik's cube? Does a legal configuration of arrows exist? What about an n x n x n cube?</p> http://mathoverflow.net/questions/34811/discrete-hairy-ball-theorem/34817#34817 Answer by Igor Pak for Discrete Hairy Ball Theorem Igor Pak 2010-08-07T05:28:58Z 2010-08-07T05:28:58Z <p>I am not sure I fully understand the question, but you should know the following classical discrete version of the hairy ball theorem:</p> <blockquote> <p>Let $P \subset \Bbb R^3$ be a convex polytope. We say that an orientation of edges of $P$ is <em>balanced</em> if every vertex has at least one ingoing and one outgoing edge (i.e., the oriented graph has no sinks and no sources). Then the edges of at least two faces of $P$ form oriented cycles.</p> </blockquote> <p>The proof is completely straightforward and goes exactly the way you think it should go (follow the arrows!). This result has been rediscovered a number of times. The earliest place where I found this result is here: L. Glass, A combinatorial analog of the Poincaré index theorem, <em>J. Combin. Theory Ser. B</em> <strong>15</strong> (1973), 264–268. See also Ex. 25.15 in <a href="http://www.math.ucla.edu/~pak/book.htm" rel="nofollow">my book</a> for the context, and connections with other related results (sorry for the self-promotion). </p> http://mathoverflow.net/questions/34811/discrete-hairy-ball-theorem/34821#34821 Answer by Otis Chodosh for Discrete Hairy Ball Theorem Otis Chodosh 2010-08-07T07:33:00Z 2010-08-07T07:33:00Z <p>By interpolating "legal configuration" if it were to exist, I think you can obtain a nowhere vanishing, continuous vector field on $S^2$. Suppose that for some $n$ there is a legal configuration on the $n\times n \times n$ cube. For each 1x1 face, put a vertex at the center. Then connect vertexes whose 1x1 face's touch. (basically something like a dual graph, but I don't know what the real terminology is). </p> <p>Doing this, you get $(n-1)^2$ squares on each face of the Rubik's cube, $n-1$ squares on each edge of the Rubik's cube, and one triangle for each vertex of the cube. Now, put the arrow from the 1x1 face at the associated vertex. For each square or triangle we can now linearly interpolate to get a vector field over the whole thing. These will patch back together to form a continuous vector field on $S^2$ because on the lines they are glued along, the value on each piece is linear interpolation between the same two vectors. Thus, basically it remains to check that given a "legal configuration" you cannot interpolate to a zero vector. </p> <p>The squares are not too bad, because the most that two of the vectors being interpolated can be off by is $90^\circ$, so you can't get a zero vector.</p> <p>The triangles are a little trickier because things get twisted around, but if you try to write down the possible cases, you can see that there is basically only one type of "legal" corner configuration, and it doesn't interpolate to a zero vector. </p> <p>This seems to show that you don't even need to assume anything special about corner squares, you can allow them to point in the 8th illegal position, and there are still no "legal configurations."</p>