29

9

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:
     Smileys: 3 views
(Somehow my analytical smiley has a Halloween evil glint!)

PS(31 Oct 2012). Happy Halloween!
           PumpkinSmiley

flag
2 
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 at 1:04
13 
You may like these sculptures :-) friki.net/fotos/… – Mariano Suárez-Alvarez Oct 27 at 3:32
4 
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 at 10:29
2 
(The middle image is scarier that the third one!) – Mariano Suárez-Alvarez Oct 27 at 23:51
7 
@Mariano: That's a Rorschach test, and you just inadvertently revealed ... something about yourself?! :-) – Joseph O'Rourke Oct 28 at 0:46
show 5 more comments

6 Answers

21

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.

link|flag
5 
@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 at 1:40
4 
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 at 4:27
14

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
     SolsticeDial
     (Image added by O'Rourke)

link|flag
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 at 5:28
4 
I also thought so, until I learned about working models, like the one shown in the photo in my answer:-) – Alexandre Eremenko Oct 27 at 14:37
It seems the second link is broken :( – Alexander Chervov Oct 27 at 17:58
From the first link I also cannot get the paper... – Alexander Chervov Oct 27 at 20:10
The second link is broken indeed. It worked yesterday. I hope NASA will fix it soon. For the first link you probably need a subscription for the journal (Intelligencer). – Alexandre Eremenko Oct 27 at 23:26
show 3 more comments
13

Glad that MO is up and running again.

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

alt text

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...

link|flag
Ha!!! $\mbox{}$ – Joseph O'Rourke Nov 1 at 11:19
8

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.

link|flag
2 
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 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 at 19:24
3

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.

link|flag
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 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 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 at 9:15

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.