Reflexively-Fused Cylinders

The present paper introduces a method for designing 3D objects that are initially incomplete, but become complete when they are augmented by their mirror reflections. Physically, the mirror image is plane-symmetric with respect to the original object, but the perceived shape is not necessarily symmetric because of optical illusion. In the proposed method, a 2D shape that is not necessarily symmetric is divided into two halves, one of which is used to construct a solid object. When we place the solid object on a plane mirror, the other half is generated by the mirror, and thus, a whole shape is realized. In the present study, the design algorithm and examples are shown, and the condition for constructability is also presented.


Introduction
A plane mirror generates a plane symmetric shape of an object in the mirror.However, when we see an object and its mirror image, we do not necessarily perceive a symmetric pair of shapes because optical illusion occurs.This phenomenon has been used by artists.For example, Shigeo Fukuda's "Underground Piano" (1984) appears to be a random collection of 3D pieces, but we perceive a grand piano when we see its mirror reflection from a special viewpoint [1].Moreover, Markus Raetz's "Looking Glass II" (1988)(1989)(1990)(1991)(1992) appears to be a front side silhouette of a face, while its mirror image appears to be the back side of the face [1].Another example of his artwork, "Hasenspiegel" (1988), is a rabbit made of bent wire, the mirror image of which becomes a man wearing a hat.Other tricks using plane mirrors have also been discussed by Ruiz and Robinson [4].
Seeing an object in a mirror is essentially the same as seeing the object from another viewpoint.In this sense, multiple-silhouette sculptures belong to the same group of art.Fukuda's "Encore" (1976) shows both a silhouette of a violinist and a silhouette of a pianist when viewed from two mutually orthogonal directions [2,5].Similarly, Guido Moretti's wire frame art "Cube to Non-Cube" (1997) presents the silhouettes of both a cube and of the Penrose triangle [5].Other similar ambiguous wire frames can be found on the Internet, e.g., the two giraffes in Matthieu Robert-Ortis' "La Révolution des Girafes" (2015) change into an elephant when the viewer moves from one particular viewpoint to another.
Another way to see an object from two viewpoints is to project the shadow of the object onto a plane using a point light source.Fukuda's "Lunch with a Helmet On" (1987) is a meaningless collection of spoons, forks, and knives, but its shadow takes the shape of a motorcycle.Larry Kagan's "Apache" (2013) is a random collection of wires, but its shadow forms a helicopter.Similarly, he made many shapes, such as an insect, a chair, a bird, and a book, by the shadows of tangled wires.He also fused wire and its shadow so that the shadow shows a hand grasping a torch while the original wire appears as flames and smoke.
These illusions appear to have been constructed by artists' inspiration and trial-and-error processes.
Recently, a systematic method was proposed to create objects called ambiguous cylinders [6], where an object changes its appearance drastically in its mirror reflection; for example, a circle changes to a square or a flower changes to a butterfly.The same concept was also applied to other variations of anomalous behaviors of mirror reflections, such as the disappearance of parts of objects [9], the disturbance of topology [10], height reversal [7], and right-left reversal [8].Similar design algorithms were also studied for wire frame art.For a given pair of line drawings, a 3D wire frame structure can be constructed systematically so that it gives the same appearances as the two given line drawings when the structure is observed from two particular viewpoints [11].
In the present paper, we apply the design method for ambiguous cylinders to the construction of a new class of anomalous objects that themselves are not initially complete but become complete when fused with their mirror images.
We first present a typical example (Section 2), then present a design method (Section 3) and discuss the conditions for realizability of the objects (Section 4).Finally, we present further examples (Section 5).

Introductory Example
A typical example of an object made by the design principle proposed in the present paper is shown in Fig. 1, where (a) is a photograph of the object placed on a mat plate, and (b) is a photograph of the same object placed on a plane mirror.We can see that the object itself is nonsense, but makes sense when is fused with the mirror image.Note that the upper half, corresponding to the object, does not appear symmetric to the lower half, corresponding to the mirror image, although the mirror image should be symmetric to the original object.
Figure 2 describes a rough idea about how to construct this object.Although the symbols in this figure will be defined in the next section, let us understand at present that a(t) and b(t) are plane curves and c(t) is a space curve.Fig. 2(a) shows another view of the object in Fig. 1, we can see that the true shape is different from the perceived shape based on Fig. 1(a).Fig. 1(a) may give the impression that the object is part of a cylinder having sides that are cut by planes perpendicular to the axis of the cylinder.However, the side curve is a space curve instead of a plane curve, as can be seen in Fig. 2(a).As shown in Fig. 2(b), we first give a shape which we want to create on the vertical plane z = 0, and divide it into the upper part (solid curve a(t)) and the lower part (broken curve b(t)).Next we construct space curve c(t) in such a way that it matches the upper curve a(t) and its mirror image matches the lower curve b(t) when they are seen along a special view direction.Finally we move the space curve c(t) in the z direction and adopt the swept surface as the object.
Because of this construction, the length along the axis is the same wherever it is measured, which consequently gives an incorrect impression that the side curves are planar and perpendicular to the axis.This impression is actually observed empirically and can be explained by the preference of the human brain for right angles [3].

Reflective Fusion
Suppose that an (x, y, z) Cartesian coordinate system is fixed in the 3D space S.
For any point p = (p x , p y , p z ) ∈ S, we define p r by p r = (p x , −p y , p z ).Intuitively we place a mirror on the xz plane, and p r is the mirror image of p. Similarly for any vector Because the two curves have the same start point and the same end point (Condition 2), they together form a closed curve, and because of Conditions 1 and 3, this closed curve has no selfintersection.We call this closed curve the target shape specified by a(t) and b(t).Note that Condition 4 implies that the points on the two curves have one-to-one correspondence and the corresponding pair of points have the same x coordinate.Note also that the start and end points of the two curves are on the xz plane because of the third equation in Condition 2.
For example, consider the closed curve shown in Fig. 3. Let us divide this curve at the leftmost point and the rightmost point denoted by the black dots in the figure into the upper and lower curves, and let us denote the upper curve by a(t) and the lower curve by b(t) so that a(0) = b(0) is the leftmost point and a(1) = b(1) is the rightmost point.Thus Conditions 1, 2 and 3 are satisfied.Note that there is freedom in the choice of the parameter t.We choose the parameter in the following way.In this particular example, let us assume that a(t) and b(t) are monotone in the x direction.In Fig. 3, the curve b(t) seems to contain vertical portions (i.e., portions that are parallel to the y axis), but let us understand that they are not strictly vertical.Then, for any parametrization of a(t), we can choose the parametrization of b(t) so that Condition 4 is also satisfied.Thus, the closed curve in Fig. 3 is a target shape specified by a(t) and b(t) that satisfy Conditions 1, 2, 3 and 4.
Let c(t) = (c x (t), c y (t), c z (t)) ∈ S, t ∈ [0, 1], be a space curve.Let θ be a real satisfying 0 < θ < π/2, and let us define vector v(θ) by v(θ) = (0, − sin θ, − cos θ).We consider v(θ) as the view direction, and call θ a pitch angle.We say that the target shape specified by a(t) and b(t) is reflexively fused by c(t) if the projections of c(t) along v(θ) onto the xy plane matches a(t), and the projections of c r (t) along v(θ) onto the xy plane matches b(t).Intuitively, if the target shape is reflexively fused by c(t), c(t) and its mirror image with respect to the mirror on the xz plane create the target shape when it is viewed in the direction v(θ).
Next we consider how to compute c(t) from a(t) and b(t).For each parameter value t, we consider the plane containing point a(t) and parallel to the yz plane, which is shown in Fig. 4. In this plane, a(t) and b(t) are on the y axis.Because c(t) should coincide with a(t) when it is seen in the view direction v(θ), the point c(t) should be on the line passing through a(t) and parallel to v(θ).Because the mirror image of c(t) should coincide with b(t) when it is seen in the direction v(θ), the point c(t) should be on the line passing through b r (t) and parallel to v r (θ).
and line l passing through b r (t) parallel to v r (θ) is given as Hence, point c(t) is obtained as the intersection of l and l by Point c(t) coincides with point a(t) in the direct view, and point b(t) in the mirror image.This is valid for any t ∈ [0, 1], and thus we get the space curve c(t).
Finally we move the curve c(t) in the direction parallel to the z axis by a certain distance and adopt the swept surface.This is our method to construct the cylindrical object whose direct appearance together with the mirror image gives the target shape specified by a(t) and b(t).We call the resulting object the reflexively fused cylinder realizing the target shape specified by a(t) and b(t).
The object in Figs. 1 and 2 (a) is obtained from the target shape in Fig. 3 using the spatial configuration of Fig. 2(b) and pitch angle π/4.

Conditions for Realizability
For each parameter value t ∈ [0, 1], a(t) and b(t) have the same x coordinate, and hence we can compute point c(t) by Eq. ( 1).However, point c(t) and its mirror image are not necessarily visible from the viewpoint.The point might be hidden by the swept surface because other points on the space curve might have the same x coordinate and the associated swept surface might hide the point.Thus, we next consider the condition under which both point c(t) and its mirror image are visible.
Since the curves are not necessarily monotonic, they might have the same x coordinate for two or more different values of the parameter.Suppose that for t, t ∈ [0, 1], a(t) and a(t ) have the same x coordinate, say, ξ.Then, we obtain Let us consider the situation on plane x = ξ, as shown in Fig. 5.Note that the swept surface is parallel to the z axis, and hence the intersection of the swept surface with plane x = ξ is the line parallel to the z axis, as indicated by the dot-dashed line in Fig. 5.
As shown in Fig. 5, the plane x = ξ is divided into four quadrants by lines l and l .Let the right, top, left, and bottom quadrants be denoted A, B, C, and D, respectively.If point c(t ) is in quadrant A, then point c(t), or its mirror image, is hidden by the swept surface associated with c(t ).If point c(t ) is in quadrant C, then point c(t ), or its mirror image, is hidden by the swept surface associated with c(t).If point c(t ) is either in quadrant B or quadrant D, then points c(t) and c(t ) and their mirror images are all visible.Point c(t ) is above the line given by Eq. ( 1 Therefore, curves a(t) and b(t) should satisfy the following condition for the visibility of the entire space curve c(t).

Condition 5.
For any two parameter values, t and t , such that a(t) and a(t ) have the same x coordinate, either Eq. ( 6) or Eq. ( 7) holds.
The object corresponding to the upper part of the target shape should be lying on or above the mirror, i.e., c y (t) ≥ 0 for all t ∈ [0, 1].Hence, we have the following condition. holds.
In summary, the reflexively fused cylinder realizing the target shape specified by plane curves a(t) and b(t) can be constructed if Conditions 1 through 6 are satisfied.

Examples
We next present examples of reflexively fused cylinders.Figure 6 shows a reflexively fused cylinder of a bat.Panel (a) shows a target shape, representing a bat, which is divided at the two dots to the upper curve a(t) and the lower curve b(t).Panel (b) is the resulting cylinder on a mat surface, and panel (c) is the same object on the mirror.Finally, panel (d) is the same object as observed from a general viewpoint.As shown in panel (c), the bat is completed by the object and its mirror image.Note that both the upper and lower silhouettes are non-monotonic in the x direction, but there is a one-to-one correspondence between the two silhouettes.
Figure 7 shows a flower in a flower pot, and Fig. 8 shows a man and a woman.In both figures, panel (a) shows a target shape, and panel (b) shows the computed object on a mat plate, and panel (c) shows the same object on a mirror.Finally, panel (d) shows a general view of the object.Both objects are filled, i.e., the inside of the cylindrical surfaces are filled with material, while the objects in Figs. 1 and 6 are not filled.
In Fig. 7(a) the correspondence between the upper and lower curves is as follows.The upper part consists of five petals.The top petal corresponds to the pot, the left upper petal corresponds to the left lower leaf, and the left lower petal corresponds to the left upper leaf.Similarly, the right upper petal corresponds to the right lower leaf, and the right lower petal corresponds to the right upper leaf.Thus, Conditions 1, through 6 are satisfied.In this object a support structure is added in the hidden area as shown in panel (d) in order to make it stand stably.Figure 8 shows a man and a woman.For these objects, we temporarily ignore the gray heads in Fig. 8

Figure 1 :Figure 2 :
Figure 1: Reflexively fused object "Card Suits": (a) object on a mat surface; (b) the same object on a plane mirror.

Figure 3 :
Figure 3: Target shape and its decomposition into upper and lower components.

Figure 4 :
Figure 4: Computation of space curve c(t) from the pair of planar curves a(t) and b(t) on the xy plane.

Figure 5 :
Figure 5: Space curve c(t) and the four quadrants around c(t).

Figure 8 :
Figure8shows a man and a woman.For these objects, we temporarily ignore the gray heads in Fig.8(a), and construct reflexively fused objects for other parts.The resulting objects are augmented by adding the heads in such a way that they are visible in the direct view and hidden by other parts in the mirror image.