Welcome to MathOverflow

Question

2

In 3D, the maximum number of spheres which can inter-touch is 5 (mathoverflow.net/questions/106120). This maximum reduces to 4 for unit spheres.

Is there a different shape (e.g., an egg, or a pyramid) for which these maximums are not 5 and 4? If so, what shape has the highest maximum? To avoid "corner touching" (e.g., 8 cubes could all touch at one corner), please additionally require that every "touch-point" have only 1 "official connection" (e.g., only 2 of the 8 cubes can be declared as touching at the corner).

flag	asked Sep 2 at 7:33 bobuhito 486●1●8

	I feel like you can achieve arbitrarily large inter-kissing numbers by carefully arranging a large number of interlocked octopen with nearly one-dimensional legs... If so, this problem is probably more interesting if we restrict to convex shapes. – zeb Sep 2 at 8:48
	You can fuse two identical rods to form a cross shape where the main constraint on mutual contact is the initial rod length. To get the idea, line up n rods as the columns of an array and n more as the rows on top, and then fuse pairs of them together to get n mutually touching solids. For convex shapes, you can find more in work of Martin Gardner, among others. Gerhard "Ask Me About System Design" Paseman, 2012.09.02 – Gerhard Paseman Sep 2 at 16:49
	@Gerhard, Good answer; it seems the 3rd D lets you "go around" and touch anything...I'll need to focus on convex shapes as everyone has pointed out. – bobuhito Sep 2 at 17:51

Douglas Zare · Accepted Answer · 2012-09-02 09:08:34Z UTC

7

There is no upper bound. There can be arbitrarily many congruent convex solids which pairwise touch face-to-face. See Erickson, J. Kim, S. "Arbitrarily large neighborly families of congruent symmetric convex 3-polytopes," for many references.

Voronoi cells from helix

edited Sep 2 at 9:08

answered Sep 2 at 8:53

Douglas Zare
13.1k●3●36●58

Wow, I'm especially amazed that everything is the same size. I must admit that it's a little ugly (i.e., the assembly has no symmetry) and I hope somebody will comment if they know of any simpler shapes which just beat the sphere. – bobuhito Sep 2 at 18:11

There is helical symmetry, although it is hard to see exactly what is going on from the picture. The helix is outside its osculating spheres, so slightly larger spheres can touch the helix just at two nearby points. This means that if you choose a few nearby points, their Voronoi cells will touch pairwise at the centers of spheres which touch the helix at just those two points. Choosing the points to be evenly spaced along the helix lets these cells be congruent. – Douglas Zare Sep 2 at 19:30

If you don't require convexity, then there is a simple example, the union of two $n \times 1 \times 1$ rectangular solids along a $1 \times 1$ subset of an $n \times 1$ face, so that the projection is a V. Let the left legs of the Vs cover a roughly parallelogram region \\\\\\\ and the right legs cover a roughly parallelogram region ////// , and the right leg of each V can touch the left leg of each region to the right, while the left leg touches the right leg of each region to the left. – Douglas Zare Sep 2 at 19:37

2

What about the translates of one convex body? – Ilya Bogdanov Sep 2 at 20:37

The nonconvex V construction I gave is essentially the same as Gerhard Paseman's cross construction. – Douglas Zare Sep 3 at 0:19

show 2 more comments

Inter-Kissing Number for Non-Spheres

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.