# A sudden smiley? :-)

This is a vague question, and I will no doubt be (properly!) chastised for posing it. I would like to generate a set $S$ of points in $\mathbb{R}^3$—$|S|$ finite or infinite—which has the property that, viewing $S$ under orthogonal projection along a random direction $\vec{u}$ results in a more-or-less generic, undistinguished cloud of points. But, there is some specific projection direction $\vec{u^*}$, where suddenly (if one were 3D-rotating the points under mouse control) the cloud resolves itself, through unlikely point alignments, to paint a recognizable image, e.g.,

Is this an impossible :-) hope?

Update. Following Michael Murray's recipe, with $10,000$ points within a cube in $\mathbb{R}^3$, three different viewpoints:

(Somehow my analytical smiley has a Halloween evil glint!)

PS(31 Oct 2012). Happy Halloween!

-
A questions to see if I understand what you're asking. Suppose you take $S$ to be $\mathbb{Q}^3$ minus the points that are at a distance $\epsilon$ from the $x$-axis. Does this count as a set that is a random cloud in every direction except along the $x$-axis? – Timothy Chow Oct 27 '12 at 1:04
You may like these sculptures :-) friki.net/fotos/86210-el-hombre-que-le-gano-al-photoshop.html – Mariano Suárez-Alvarez Oct 27 '12 at 3:32
This may be a situation where the artists beat the mathematicians to it. There are several painters and sculptors who create such effects. A particularly striking example is the work of Vesna Kovacic. She constructs three dimensional many-coloured obects with irregular surfaces which form chaotic patterns except when viewed from one particular angle, when they resolve themselves into a simple geometric form . A striking example is her column at the Krankenhaus Weisshorn. Examples of her work can be found at her home page www.vesnakovacic.de or by googling her name under google images. – jbc Oct 27 '12 at 10:29
(The middle image is scarier that the third one!) – Mariano Suárez-Alvarez Oct 27 '12 at 23:51
@Mariano: That's a Rorschach test, and you just inadvertently revealed ... something about yourself?! :-) – Joseph O'Rourke Oct 28 '12 at 0:46

Surely you can draw the 2-D image in the XY plane so it consists of points of the form (x, y, 0) and then give each point in it a random non-zero Z co-ordinate. So it should look like a mess except viewed looking in along the Z-axis.

-
@Michael: My concern is that the halo/shadow of the hidden shape would be discernable from other directions. I realize this need quantification... – Joseph O'Rourke Oct 27 '12 at 1:40
It depends on the probability distribution of the random coordinate and whether you can observe the density of points or merely the location. If you observe the density, then the shape twisted by a small angle will be a blur, via convolution with the probability density function, of the original shape. If you observe the location then, as long as the original shape has thickness, it just depends on whether the distribution is bounded or unbounded. – Will Sawin Oct 27 '12 at 4:27

Glad that MO is up and running again.

Following the suggestion by Michael Murray one can also produce more than just one sudden smiley:

I guess, that a higher number of images is also possible. But probably some structure may be visible from other directions as well in this case. By the way: The problem seems to be a bit related to tomography...

-
Ha!!! $\mbox{}$ – Joseph O'Rourke Nov 1 '12 at 11:19
-

Perhaps the digital sundial of Falconer is what you need: http://www.researchgate.net/publication/225574085_Digital_sundials_paradoxical_sets_and_vitushkins_conjecture

Here is a photograph of a working model: http://apod.nasa.gov/apod/ap120626.html

-
I would think Falconer's construction is far too complicated to implement in any realistic setting (even with lots of computing power). Lots of splitting into many pieces and recursively modifying each piece. – Mike Hall Oct 27 '12 at 5:28
I also thought so, until I learned about working models, like the one shown in the photo in my answer:-) – Alexandre Eremenko Oct 27 '12 at 14:37
It seems the second link is broken :( – Alexander Chervov Oct 27 '12 at 17:58
From the first link I also cannot get the paper... – Alexander Chervov Oct 27 '12 at 20:10
I wonder what future archaeologists will make of it. – Douglas Zare Oct 28 '12 at 14:23

If you have no desire for compactness, you can choose the set of points to be all of the points in $\mathbb R^3$ which lie in the inverse image of :-) under the orthogonal projection. Then the image under a different orthogonal projection will always be a union of intervals times $\mathbb R$, giving no indication of the shape of the smiley.

On the other hand, if you demand that the points lie in a ball of radius $R$, then if you shift the angle of the projection by $\epsilon$, then you shift the image of each point by $O(\epsilon R)$, so the new image will be very similar: each point of the new image is within $O(\epsilon R)$ of a point of :-), and each point of :-) has a point of the new image within $O(\epsilon R)$ of it. In particular for $\epsilon R$ small enough this will be visually indistinguishable.

-
Wouldn't the intervals times $\mathbb{R}$ give a lot of information? If you did this with the complement, you would get the whole plane from any other projection, though. – Douglas Zare Oct 27 '12 at 16:41
Not really. For instance, if the smiley is surrounded by a circle, you just get the height of that circle in whatever projection. Basically you get all projections of your 2-d figure onto 1-d lines, which conceals a lot about it. – Will Sawin Nov 1 '12 at 19:24

A Painting Made From Pieces of Glass

-

I would like to see such a subset of $\mathbb{R}^3$ having the property that several of its shadows are recognizable. For example, I would like to see sets of points whose shadows realize the actions of two or more generators in a Cayley graph.
See this question for more details.

-
Nice question, David! The challenge reminds me of the cover of Winkler's book Mathematical Mind Benders" books.google.com/books/about/… – Joseph O'Rourke Oct 28 '12 at 13:42
If you just take the intersection of the preimages of projections of several large sets, you get several nice projections. It is more difficult to do this when you want several particular small projections. The smiley is small, but its complement is large, so there should be no problem making a cloud of points which projects to the complement of a smiley in several directions. – Douglas Zare Oct 28 '12 at 14:26
And also the cover of Hofstadter's "Gödel, Escher, Bach" (en.wikipedia.org/wiki/Gödel,_Escher,_Bach) – Cristi Stoica Nov 2 '12 at 9:15
-
Ha! What a clever idea! – Joseph O'Rourke Aug 9 '13 at 11:39
Is this for real? – Joel Reyes Noche Dec 21 '13 at 13:51
I have serious doubts. But it triggered me a sudden smiley :) – Cristi Stoica Dec 21 '13 at 18:35