This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A 2-chain can interlock with an open 1010-chain

Bin Lu Department of Mathematics & Statistics
California State University Sacramento
6000 J Street
Sacramento, CA 95819
binlu@csus.edu
Joseph O’Rourke Department of Computer Science
Smith College
Northampton, MA 01063
orourke@cs.smith.edu
 and  Jianyuan K. Zhong Department of Mathematics & Statistics
California State University Sacramento
6000 J Street
Sacramento, CA 95819
kzhong@csus.edu
Abstract.

It is an open problem, posed in [3], to determine the minimal kk such that an open flexible kk-chain can interlock with a flexible 22-chain. It was first established in [5] that there is an open 1616-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in [6] to establish interlocking between a 2-chain and an open 11-chain. Here we improve that result once more, establishing interlocking between a 2-chain and a 10-chain. We present arguments that indicate that 10 is likely the minimum.

1. Introduction

An open chain is a linkage of rigid bars (links, line segments, edges) connected at their joints (vertices, endpoints), which forms a simple, unclosed path. A folding of a linkage is any reconfiguration of the linkage obtained by moving the joints such that: (1) The edges remain straight; (2) The number and length of edges are preserved; (3) The edges do not intersect or pass through one another. When the joints of an open chain act as universal joints, it is called a flexible open chain. Often we drop the prefixes “flexible” and “open” when understood from the context. A chain with kk edges is called a kk-chain. When emphasizing the edges in a chain, a kk-chain is often referred as a kk-link chain. A collection of chains are interlocked if foldings cannot separate them.

Interlocking of open chains was studied in [4, 3], establishing a number of results regarding which collections of chains can and cannot interlock. An open problem posed in [3] is: What is the minimal number kk such that an open, flexible kk-chain can interlock with a flexible 22-chain? It was first established in [5] that there is an open 1616-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in [6] to establish interlocking between a 2-chain and an open 11-chain. Here we improve that result once more, establishing interlocking between a 2-chain and a 10-chain. We present arguments that indicate that 10 is likely the minimum.

Here we summarize results from [4] that we use in the sequel:

  1. (1)

    No collection of 2-chains can interlock.

  2. (2)

    Two open 3-chains cannot interlock, even with an additional collection of an arbitrary number of 2-chains.

  3. (3)

    A 2-chain cannot interlock with an open 4-chain.

  4. (4)

    A flexible open 3-chain can interlock with a flexible open 4-chain.

A construction of a 3-chain interlocking a 4-chain, which we call a 3/4-tangle, is repeated below in Figure 1.

Refer to caption
Figure 1. Fig. 6 from [3].

Some facts about the 3/4-tangle:

  1. (1)

    Theorem 11 of [3]: The convex hull CH(B,C,D,x,y)CH(B,C,D,x,y) of the flexible joints BB, CC, DD, xx, and yy does not change combinatorially as the chains are reconfigured.

  2. (2)

    Corollary 1 of [5]: Let ϵ>0{\epsilon}>0 and PP be the midpoint of xyxy, if BC=CD=xy=16ϵBC=CD=xy=\frac{1}{6}{\epsilon}, and end links AB=DE=xw=yz=12ϵAB=DE=xw=yz=\frac{1}{2}{\epsilon}, then all joints B,C,D,x,yB,C,D,x,y and endpoints A,E,w,zA,E,w,z stay inside the ϵ{\epsilon}-ball centered at PP.

This 3/4-tangle is crucial to the construction of the 1111-chain in [6] and the construction of the 1010-chain here. In both constructions, the 11-chain and 10-chain are positioned to form a nearly rigid triangular frame which interlock the 2-chain. Note that there are other interlockings of a 3-chain with a 4-chain which could work, but we follow [6] in using the 3/4-tangle in Figure 1 to construct the 10-chain.

To make the 3/4 tangle part of a single open chain, there are four ways to connect the 3-chain with the 4-chain by adding additional link(s). In the discussion in [6] on ways to possibly further reduce the number of links in the 11-chain, two possibilities of allowing maximal sharing of the 3/4-tangle’s 7 links were ruled out. In this paper, we find that one of the two remaining possibilities can allow maximal sharing of two of the 3/4-tangle’s 7 links in the triangle frame. This allows us to prove it indeed provides an open 10-chain interlocking with an open 2-chain.

The idea of proof and proof techniques are very similar to that in [6], and so we follow a similar proof structure. The main difference in proof idea is that the triangle frame shares two of the 7 links of the 3/4-tangle. Therefore the triangle frame employs a total of 3+(5+1+1)=103+(5+1+1)=10 links. We found it unnecessary to assume that the triangle frame is an isosceles triangle, and so we alter Lemma 2 in [6] accordingly.

2. Idea of Proof

The main idea of the proof, as in [6], is to build a “rigid” triangular frame with small rings at its vertices (T1,T2,T3)(T_{1},T_{2},T_{3}), which could interlock with a 2-chain, as shown in Figure 2(a) where T1T2T3\triangle T_{1}T_{2}T_{3} is shaded. For then pulling away the vertex vv of the 2-chain from the triangle frame would diminish the angle α{\alpha}, and pushing vv up toward the triangle would increase α{\alpha}. But the only slack provided for α{\alpha} is that determined by the diameter of the rings, as otherwise the triangular frame is rigid.

Refer to caption
Figure 2. (a) A rigid triangle with rings would interlock with a 2-chain; (b) An open chain that simulates a rigid triangle; (c) Fixing a crossing of aaaa^{\prime} with bbbb^{\prime}.

We can construct such a triangle using three links. At each vertex, we take one subchain aaaa^{\prime} and confine its crossing with another subchain bbbb^{\prime} to within a small region of space. See Figure 2(c) for the idea. This pinning can be achieved by the “3/43/4-tangle” interlocking from  [3] and “jag loops.” So the idea is to replace vertex T1T_{1} with a small copy of the 3/4-tangle configuration. This can be accomplished with 77 links for a 3/43/4-tangle, but maximal sharing with both the incident incoming and outgoing triangle links reduces the number of links needed. We can achieve confinement with 55 links at the tangle near T1T_{1}. At the other two vertices of the triangle, this can be accomplished with one extra link per vertex. Therefore, together with the 33 links for the main triangle skeleton, we use a total of 3+(5+1+1)=103+(5+1+1)=10 links.

3. A 2-chain can interlock an open 10-chain

3.1. A 2-chain can interlock an open 10-chain

We take a 3/4-tangle whose joints all stay within an ϵ{\epsilon}-ball centered at the midpoint of the middle link xyxy of the 3-chain. Position the tangle to represent the bottom vertex of a triangle, with the links arranged as shown in Figure 3. At each of the other two vertices, we add an extra link to make a jag loop.

Refer to caption
Figure 3. An open 10-chain forming a nearly rigid triangle interlocking a 2-chain.

The configuration in Figure 3 is realizable,111 We have constructed physical models of this configuration. that is, there is more than enough flexibility in the design to ensure that vava and vbvb can indeed meet at the 2-chain vertex vv. To see that this is so, notice that the 3-chain and the 4-chain in the 3/4-tangle can be configured to lie in planes that are nearly orthogonal. If we arrange the plane of the 2-chain at angles with respect to the two orthogonal planes within which the 3-chain and 4-chain lie, then we can thread the 2-chain (vava following the link xzxz and vbvb following DFDF) as in Figure 3 to pass through one jag loop in the 4-chain and one loop made up by the end link ABAB and the links of the 3-chain at vertex xx, at the same time as weaving through the two jag loops at the base of the triangular frame from above, as depicted in the figure.

3.1.1. 2-chain Through Triangle Jag Corners

The jag loops at the other two corners can be assured to remain in an ϵ{\epsilon}-ball by making the extra link lengths (zHzH and FGFG) shorter than ϵ{\epsilon}. We can conclude exactly as in [6] that the link vava passes through an ϵ{\epsilon}-ball at zz and cannot unlock with the jag. Note the link vbvb passing through the jag loop at FF is a flip of the case vava passing through the jag loop at zz. Thus we have that all corners of the triangle stay within ϵ{\epsilon}-balls, and both vava and vbvb interlock the jag loops.

Refer to caption
Figure 4. 1-link “jags.”

3.1.2. The 2-chain Links Are Trapped by the 3/4-tangle

We have exactly the same Lemma 1 as in [6], which we state again below. Our proof is slightly different due to the difference in construction.

Lemma 1.

The vertex vv of the 2-chain cannot “unweave” from the 3/4-tangle. Thus the links of the 2-chain are trapped by the 3/4-tangle.

Proof.

From the construction of the 1010-chain, link vava pierces DCF\triangle DCF, and links vbvb and vava straddle ywyw, BCBC and ABAB. We will prove that the vertex vv cannot penetrate the tetrahedron T=CH(B,C,D,F)T=CH(B,C,D,F), the convex hull with vertices B,C,D,FB,C,D,F, which is highlighted in Figure 5 below.

Refer to caption
Figure 5. Tetrahedron T=CH(B,C,D,F)T=CH(B,C,D,F) highlighted.

Assume vv can penetrate TT, that is, vv can move into the inside of the tetrahedron T=CH(B,C,D,F)T=CH(B,C,D,F). Note that the link vbvb passes through the ϵ{\epsilon}-ball at FF. When ϵ{\epsilon} is sufficiently small, vbvb and DFDF come very close to FF. We may assume vbvb and DFDF meet near a point MM on DFDF; then all points on vMvM except MM stay inside TT as TT is convex. This contradicts the fact that vbvb is weaved under BCBC and ABAB and the 2-chain (a,v,b)(a,v,b) straddles BCBC and ABAB. So the vertex vv cannot penetrate the tetrahedron T=CH(B,C,D,F)T=CH(B,C,D,F).

Therefore the 22-chain links are trapped by the 3/4-tangle. Therefore the only way the 2-chain could slide free of the near rigid triangular frame is if one of the end vertices enters the ϵ{\epsilon}-ball at the jag loop corners.

3.1.3. The Vertex vv Cannot Move Far

Thus the 2-chain (a,v,b)(a,v,b) cannot slide free of any of the triangle corners if we make the 2-chain links extra long, so that the two end points cannot enter the ϵ{\epsilon}-ball containing the corners. We recall Lemma 4 from [5].

When ϵ{\epsilon} is sufficiently small, a line piercing two disks of radius ϵ{\epsilon} can angularly deviate from the line connecting the disk centers at most δ2ϵm{\delta}\leq\frac{2{\epsilon}}{m}, where mm is the distance between the disk centers.

Figure 6(a) illustrates the largest angle δ{\delta}.

Refer to caption
Figure 6. Triangle Lemma: (a) Line through two disks deviates at most δ{\delta}; (b) Triangle structure; (c) The largest distance between vv and ABAB.

Let O,A,BO,A,B be the centers of the three ϵ{\epsilon}-balls containing the triangle corners, see Figure 6(b). Let the side length |OA|=m|OA|=m, and OAB=β\angle OAB={\beta}, and the altitude |OZ|=h|OZ|=h. Without loss of generality, we assume that β{\beta} is an acute angle (otherwise OBA\angle OBA is acute, and use OBA\angle OBA). Furthermore, when ϵ{\epsilon} is sufficiently small, β+2ϵm{\beta}+\frac{2{\epsilon}}{m} can be assumed to remain an acute angle. Draw a perpendicular line from AA to line vava and let PP be the point of intersection. Similarly, draw a perpendicular line from vv to line ABAB and let NN be the point of intersection. Let MM be the point of intersection of ABAB and vava. The following lemma captures the key constraint on the motion of the 2-link chain.

Lemma 2.

If the sides of the triangle pass through the ϵ{\epsilon}-disks illustrated, then the distance |vN||vN| satisfies hϵ|vN||AB|tan(β+2ϵm)h-{\epsilon}\leq|vN|\leq|AB|\tan({\beta}+\frac{2{\epsilon}}{m}). Hence |vN||vN| is bounded.

Proof.

Since vava and vbvb both pass through the ϵ{\epsilon}-ball centered at OO, the distance from vv to ABAB is at least |OZ|ϵ=hϵ|OZ|-{\epsilon}=h-{\epsilon}. On the other hand, Figure 6(c) illustrates the largest distance |vN||vN| between vv and ABAB. Note vNM\triangle vNM is a right triangle, vMN=OAB+δ=β+δ\angle vMN=\angle OAB+{\delta}={\beta}+{\delta}, and tan(β+δ)=|vN||MN|\tan({\beta}+{\delta})=\frac{|vN|}{|MN|}, so |vN|=|MN|tan(β+δ)=(|AN||AM|)tan(β+δ)|AN|tan(β+δ)|AN|tan(β+2ϵm)|AB|tan(β+2ϵm)|vN|=|MN|\tan({\beta}+{\delta})=(|AN|-|AM|)\tan({\beta}+{\delta})\leq|AN|\tan({\beta}+{\delta})\leq|AN|\tan({\beta}+\frac{2{\epsilon}}{m})\leq|AB|\tan({\beta}+\frac{2{\epsilon}}{m}) since the tangent function is increasing on the interval (0,π2)(0,\frac{\pi}{2}) and |AN||AB||AN|\leq|AB|.

From the proof above, hϵ|vN||AN|tan(β+2ϵm)h-{\epsilon}\leq|vN|\leq|AN|\tan({\beta}+\frac{2{\epsilon}}{m}). Since limϵ0hϵ=h\lim_{{\epsilon}\to 0}h-{\epsilon}=h and limϵ0|AN|tan(β+2ϵm)=|AN|tan(β)=h\lim_{{\epsilon}\to 0}|AN|\tan({\beta}+\frac{2{\epsilon}}{m})=|AN|\tan({\beta})=h, we obtain limϵ0|vN|=h\lim_{{\epsilon}\to 0}|vN|=h.

3.1.4. Main Theorem

We connect 3D to 2D via the plane determined by the 2-link chain in the proof of the main theorem below.

Theorem 1.

The 2-link chain is interlocked with the 10-link triangle chain.

Proof.

Let HH be the plane containing the 2-link chain. The links of the 2-chain pass through ϵ{\epsilon}-balls around the three vertices of the triangle.

HH meets these balls in disks each of radius ϵ\leq{\epsilon}. The lemma above shows that the distance |vN||vN| from the vertex vv to ABAB is bounded above and below. Thus, by choosing ϵ{\epsilon} small enough, we limit to any desired amount the distance vertex vv of the 2-link chain can be pushed toward or separated from the triangle.

Similar to [5], we can establish that the 2-chain links are interlocked with the 3/4-tangle and jag loops through which they pass, under the assumption that the triangle is nearly rigid.

Thus, when we choose ϵ{\epsilon} small enough (and vava, vbvb long enough) to prevent the two end vertices of the 2-link chain from entering the ϵ{\epsilon}-balls, it ensures that the 2-link chain is interlocked with the triangle chain. ∎

Below we sketch an argument that suggests, without formally establishing, that 10 links is the minimum needed for interlocking. Our main theorem above proves that the minimum k10k\leq 10. We argue that the minimum kk cannot be less than 10 by contradiction. Assume there is a flexible nn-chain in a nearly rigid triangular frame that can interlock with a flexible 2-chain and n9n\leq 9. Furthermore, assume that at two vertices of the triangle frame, jag loops are used to allow maximal sharing of links to result in a minimum number of links. Now take away the two extra links at the jag loops and the side of the triangle connecting the jag loops, we consider the remaining links in the nn-chain, which consists of two open chains with a total of links n36n-3\leq 6. In the following we argue that two open chains with a total of n36n-3\leq 6 links either cannot occur, or cannot form a loop to trap the 2-chain at the vertex vv. The cases of two open chains with a total of links 6=n36=n-3 are:

  1. (1)

    A 1-chain and an open 5-chain;

  2. (2)

    A 2-chain and a 4-chain; and

  3. (3)

    Two 3-chains.

Case (1) cannot happen. For, if it does occur, then the 1-chain would be used as both the end link of the open 9-chain and as a side of the triangular frame, which allows the frame some flexibility and renders it too flexible. In Cases (2) and (3), the chains cannot interlock, so they cannot interlock the 2-chain.

The cases of n3<6n-3<6 may be argued analogously to the cases of n3=6n-3=6.

The reason this sketch is not a formal proof is that we are assuming that, in order to reduce the number of links used, interlocking must be achieved by “rigidifying” the 2-chain to a nearly rigid triangle. A more direct contradiction from the assumption of locking with a 9-chain would be desirable.

References

  • [1] T. Biedl, E. Demaine, M. Demaine, S. Lazard, A. Lubiw, J. O’Rourke, M. Overmars, S. Robbins, I. Streinu, G. Toussaint, and S. Whitesides. Locked and unlocked polygonal chains in 3D. Discrete Comput. Geom., 26(3):269–282, 2001.
  • [2] J. Cantarella and H. Johnston, Nontrivial embeddings of polygonal intervals and unknots in 33-space, Journal of Knot theory and Its Ramifications, 7(8): 1027–1039, 1998.
  • [3] E. D. Demaine, S. Langerman, J. O’Rourke, and J. Snoeyink, Interlocked Open Linkages with Few Joints, Proc. 18th ACM Sympos. Comput. Geom., 189–198, 2002.
  • [4] E. D. Demaine, S. Langerman, J. O’Rourke, and J. Snoeyink, Interlocked open and closed linkages with few joints, Comp. Geom. Theory Appl., 26(1): 37–45, 2003.
  • [5] J. Glass, S. Langerman, J. O’Rourke, J. Snoeyink and J. K. Zhong, A 2-chain can interlock with a kk-chain, preprint, http://arxiv.org/abs/cs.CG/0410052.
  • [6] J. Glass, B. Lu, J. O’Rourke and J. K. Zhong, A 2-chain can interlock with a 1111-chain, Geombinatorics (2006), Volume XV, paper no. 4, 166-176. Preprint, http://www.cs.smith.edu/ orourke/Papers/ilock11.pdf.