The thread: What a projection destroys — page 5
Where a surface spends its pixels
A picture surface is a budget before it is anything else, and the six named ones distribute the same marks over the same directions quite differently. The flat plane lays 25.0 times as many on a square degree at the edge of a 70° field as on one at the centre; the equal-area fisheye is flat to 8.3e-6 per cent.
The other systemsA picture with no eye
The anamorph field measured which parts of an object one eye can paint, and every finding in it is about a point. A parallel projection has no such point, so the same questions have a different shape — and the two that change are the dimension of the answer and the map onto each face. The one that does not change is occlusion, which is routinely assumed away.
The other systemsNothing moves along the direction
A part slid four metres toward the reader along the direction an isometric drawing projects along keeps its drawn place to a ten-thousandth of a pixel, and the same slide seen from a station point moves it forty-four. An exploded drawing is not an approximation that works because the parts do not move far — it is an identity, and it is why cutaways are drawn in parallel systems.
Surfaces that are not flatA pole is a line
An equirectangular surface sends one direction to a whole edge, so an 8° cap of sky at the pole takes 4.50 per cent of the marks against a 0.49 per cent share of the world. The worst singularity is not the pole at all — the equidistant fisheye's antipode costs ×17.9 — and only the cube map, which never holds a sphere in one chart, is bounded.
Light and mirrorsA floor cannot fake a second lamp
Cast the same two lamps onto four floors at four curvatures and ask how well one centre explains the drawing. Every one of the thirteen answers is 138.3277 pixels — the same to fifteen digits, because a floor decides where along a ray the shadow's tip landed, and a line through a point and another point that has slid along it is the same line.
The other systemsOne face, one scale
A design carried from a point onto a flat face varies in scale by nearly six across that one face; the same design carried along a direction varies by 1.000000000. The stretch is reported here as the two singular values of the local map rather than as one directional difference, which is the honest form and which the previous round owed.
What survivesThe ladder of assumptions is a ladder of conditioning
Push the four corners of a board by one pixel and read three quantities through the one recovered map. A cross-ratio does not move at all — it is read in the picture and never went through the map. A ratio of parallel lengths moves by a tenth of a per cent at twenty degrees of obliquity and by 1.6 per cent at seventy-eight. An angle moves by sixteen thousandths of a degree and by nine tenths. The stratification ladder is usually taught as a hierarchy of what is assumed; it is also a hierarchy of what a pixel costs.
What survivesThe bias out of reach
A single-view height recovered from the cross-ratio has an error with two terms. The spread of an average of m readings falls as one over the root of m, by a fitted exponent of −0.52 over three decades. The bias does not fall at all — and it is eight microns, against a single-shot spread of six millimetres, so the two cross at 535,000 measurements. There is a floor here and no experiment anybody will run can see it.
Light and mirrorsCounting shadows is not counting lamps
Two lamps close together cast one connected dark patch and the drawn lines say two. One lamp behind two cards casts two patches and the lines say one, exactly. And the arrangement where the patch count is right — two lamps far apart — has no fully dark region at all, so the same floor answers one, two or zero depending on which darkness is being counted.
What survivesA point and a line are one object
Every projective statement has a partner got by swapping the words point and line, and the partner is true whenever the original is. Run on this collection's own Desargues configuration, all thirty of its incidences survive the exchange to 5 × 10⁻¹⁶ — and three of the dual's ten points land at infinity, which is a fact about where the drawing sits on the page rather than about the theorem.
Surfaces that are not flatThe hole a rig cannot fill
A two-lens spherical rig covers every direction between its two lenses and still cannot see 0.470 per cent of the sphere directly beneath it, reaching 12.8 degrees from straight down — its own tripod, standing exactly where neither lens can look. No arrangement of lenses removes it, because it is not a gap in coverage; it is the rig occluding itself.
Light and mirrorsA soft shadow on a curved floor is not the lamp's image
On a flat floor the soft edge a lamp with a size casts is exactly the lamp's own image, cast through the occluder's edge as though through a pinhole. On a floor with a step the same construction lands 1.047 m off the line that fits a flat one, and on a dished floor the image's own shape departs by 0.0453 of the lamp's width even where its overall span barely moves.
What survivesDesargues read the other way
The theorem's converse is not a second theorem. Exchange points and lines in the ten-point configuration and every one of its thirty incidences holds to 5 × 10⁻¹⁶, the axis becomes a point, the three axis points become lines through it — and what has been written down is the converse, read off the drawing rather than proved.
What survivesFour points on a conic look the same from anywhere on it
Four marks on a photographed circle subtend the same cross-ratio at every point of the curve — 1.627695, unmoved over twenty-two positions of the fifth point, to 1.1e-13 degrees of projective spread. A fifth point 6.1 pixels off the conic reads anything from 1.00 to 2.52, so the invariant belongs to the curve rather than to the four marks.
What survivesThree conics are one conic and a choice of horizon
Ellipse, parabola and hyperbola are one curve and three answers to which line is infinitely far away. Pitching one camera over one 6 metre circle walks through all three, and the crossing sits at 30.465545° by two instruments with different units — but the line that decides is not the horizon, and the popular name for the choice names the wrong one of the two lines a picture of a plane has.
Light and mirrorsWhere a shadow splits in two
A gantry's shadow is two pieces at a lamp height of 1.36 m, and the crossing to one piece happens at a tangency running the whole length of the beam rather than at a point — the same plane that meets a ball at an aspect of 1.00 to 1 meets the beam at 1736 to 1, and a grid finds the true crossing height to a fitted exponent of 1.00 as it is refined. A ring tipped 70° keeps its hole for a completely unrelated reason, closing only at 71.34°, which is the warning that a shadow's topology changes at a tangency names two different accidents rather than one.
Light and mirrorsHow many shadows determine the object
One lamp's shadow says only that a convex section lies inside a wedge 10.5 times its own area; four already cut that down to 1.17 times, and 128 close a convex section's boundary to 0.10 mm everywhere. The identical sweep on a section with a bite taken out of it stalls at 70.3 mm, 675 times worse, because an outline is the boundary of the smallest convex body with that shadow and no direction ever sees inside a concavity.
What survivesA line is a closed curve
The point at infinity is an ordinary point, so a projective line is a circle — and the consequence is about order. Betweenness broke in 21.1 per cent of ten thousand random projectivities and separation in none of them, and the zero is a reading rather than a blind instrument because a fold of the same circle breaks it 3,522 times.
What survivesThe picture contains what is behind the camera
A pinhole maps a direction, and a line has one direction, so a point behind the eye lands on exactly the same mark as its reflection in front — here to 6.4e-14 pixels. The sign the division throws away is why cheirality is a fact supplied from outside the picture rather than measured in it.
Drawn confidentlyA tapered part meets at its apex
The sides of a turned part that narrows by one degree meet 54 pixels from the vanishing point of its axis, at the image of its apex, and a quarter of a degree already moves them 15. Drawn toward the vanishing point instead, a two-degree part loses nine tenths of its own taper. Flare it the other way by 5.9 degrees and a correct photograph prints its sides parallel; flare it further and they spread with depth.