The collection

Every essay — page 3

Page 3 of 6, continuing through the fields in the same order.

What survives Constructing a view Where to stand Surfaces that are not flat The other systems Light and mirrors Measuring from one picture Through water and glass The real instrument The second eye What a pair is for Many pictures at once The eye that moves Systems that kept the measure What each system gave up What a machine computes The rectangle behind the lens The second projection Drawn confidently

The real instrument

A lens is a departure from the pinhole, and the departure is the largest systematic error in every measurement made here. It bends straight lines, destroys the invariant, and can be recovered from nothing but the knowledge that some edges were straight — which is the round trip again, on a harder problem.

Light and mirrors

A shadow is a projection from the lamp; a reflection is the view from a camera on the far side of the mirror. Neither needs new machinery, and both are computed with the machinery already here.

correct from 26 cm, at 160 mm wide34° across

A shadow is a second projection

The construction that puts a shadow on the ground is the construction that puts the scene on the picture plane, with the lamp where the eye was. Shadow drawing is taught as a separate set of recipes and it is one operation with the centre moved, which is why the same code draws both.

11 figures
horizonshadows meet at x = -58, off the frameon the horizon, as it must be

Where shadows vanish

The shadows of parallel posts under the sun meet at a point, and that point must lie on the horizon. Under a lamp they meet at the lamp's foot instead. Both are checkable in any photograph, and a picture whose shadows fail the check was not lit by anything.

7 figures
grey: the reflectiontwo routes, agreeing to 0e+0 px after one flip

A mirror is a second camera

Reflect the scene and photograph it, or reflect the camera and photograph the scene. The two routes disagree by 315 px and agree to the last bit once one axis of the image is reversed — which is the whole of why a mirror is said to swap left and right, written down.

8 figures
source, 35 cmthe occluder's edgefraction of the source visiblepenumbra 17.5 cmprojection: 17.50 cmsampled: 17.41 cm

The penumbra is the lamp's image

The soft edge of a shadow is a picture of the light, projected through the occluder's edge as through a pinhole. That gives its width without any integration — and it is why the dapples under a tree go crescent-shaped during an eclipse.

7 figures
the lamp is above the top of the ball — an ellipsecorrect from 22 cm, at 160 mm wideaxis ratio 0.4993 · discriminant -9.68e-1

The shadow of a ball is a conic

A cone cut by a plane is a conic section — which is the definition of the phrase, not an analogy — and the shadow of a ball is exactly that cut. So the shadow closes or runs to the horizon depending on where the lamp is, and the condition is not what anyone guesses: it is that the lamp is above the top of the ball. The ball's distance appears nowhere in it.

11 figures
the shadow lines meet below the horizon — a lamp in the roomhorizoncorrect from 25 cm, at 160 mm wide3 posts · foot 351 px below the horizon

The lamp, out of the picture

Two posts and their shadows put the light's position in a photograph, exactly, with nothing given but the drawn lines and the camera's own horizon. Two posts. One gives a residual of zero and an answer that is a whole one-parameter family — the sharpest counter-example this site has to the idea that a small residual means a right answer, met again in a new field.

11 figures
the outline, its shadow, and the outline recovered from itcorrect from 20 cm, at 160 mm widerecovered to 4e-16 m

A shadow can be un-cast

A shadow looks like a lossy record — a flattened smear with the shape half thrown away. It is nothing of the kind. The map from the occluder's plane to the floor is a plane projectivity, so it has an inverse, and the outline comes back out of its own shadow exactly. What breaks it is not the light and not the shape: it is the floor not being flat.

11 figures
00.50011020304050distance from the camera to the wall (m)relative to the value at 1 mthe patch, growing as d²the light per unit area, falling as 1/d²their product — what the picture records2500× the footprint at the far endproduct flat to 2e-16

A wall does not get darker as it goes away

The inverse square law is about a point source. A surface is not a point source, and the picture of a wall is exactly as bright at twenty metres as at two — the patch one pixel covers grows as the square of the distance and the light per unit area falls as the square of the distance, and a picture records the product. Which is why aerial perspective has to be the air.

11 figures
0204051015distance from the source to the ball, in radiifraction of the ball's surface that is lit (%)one half — the source at infinity25.0% at 2 radiicurve: the closed form · dots: quadratureagreeing to 5e-4

A lamp lights less than half a ball

Everyone knows a sphere is half lit. It is half lit by a source at infinity and by nothing else: a lamp two radii away lights a quarter of it, and the boundary it draws is a circle offset toward the light rather than a great circle. The offset is R²/D, which means a photograph of a lit ball carries the distance to whatever lit it.

11 figures

Many pictures at once

Raise the count and the answer changes character. A sequence determines its own camera track and the scene together — up to seven numbers that no quantity of pictures supplies, counted here in the Jacobian and then walked along to show that they are free rather than merely small.

view 1view 6the scene, in plan — recovered points and cameras over the true onesreprojection 0.332 px · track 2.0e-3264 observations, 168 parameters

The track and the scene together

Six photographs go in and one hundred and sixty-eight numbers come out — every camera's position and orientation and every point's place in space, solved for at once. Nothing in the solve was ever told where a camera or a point was.

6 figures
× 4.6e+6seven flatand the rest stiffsingular value ÷ the largest, log scale, smallest firstσ₈/σ₇ = 4.6e+6168 parameters · 528 residuals

Seven numbers no picture can name

Shift a whole reconstruction by a metre and a half, turn it half a radian, scale it by 2.7, and every photograph of it stays where it was to a hundredth of a billionth of a pixel. Move one point by fifty millimetres and they move by two thirds of a pixel.

7 figures
-3-2.50-2-0.600-0.400-0.20000.200how finely each point is read (px, log scale)worst camera-centre error, as a fraction of the track's mean radius (log)chained pairsadjusted togetheradjustment is 4.0–9.2× better6 views · identical observations

A chain and an adjustment

Composing pairwise poses along a sequence is supposed to drift. Measured over five links it wanders instead — one chain ends closer to the truth than its own worst link — and the real cost of chaining turns out to be something else entirely.

5 figures
-10-50012345iterationreprojection error (px, log scale)exact marksread to 1 px4.67 px → 0.3324 px in 5 iterationsexact marks reach 1.3e-11 px

Where the adjustment stops

Given exact marks the reprojection error falls to a hundredth of a billionth of a pixel, which is arithmetic. Given the same marks read to a whole pixel it falls to a third of a pixel and stays there, and a solver that reached zero on those would be fitting the rounding.

6 figures
-2.80-2.6034567number of viewsworst camera-centre error (fraction of the track's mean radius, log scale)7 flat7 flat7 flat7 flat7 flat60° sweep, filled in12° per view, wideningfilled in: 1.1e-3 → 2.0e-3widened: 3.2e-3 → 1.8e-3

Another picture of the same sweep

Going from three views to seven across the same sixty degrees leaves the reconstruction exactly where it started, and at one point makes it worse. What a reconstruction is short of is angular spread, not photographs.

6 figures

Measuring from one picture

A photograph read backwards for the scene that made it: a height from a cross-ratio, a façade flattened by a homography, a plan of the ground. Every measurement is a ratio, because a single view has no size — and that is shown rather than said.

horizon — the eye's own heightbase — 0 mhorizon crossing — 1.62 mtop — 3.40 m recoveredthe vertical vanishing point is 8586 px above this framerecovered 3.400 m · true 3.400 m1.8 cm per pixel of click error

A height, out of one photograph

Four points on a vertical, one cross-ratio, and the height of something nobody measured. The only metric input is the photographer's own eye height, because the horizon is at eye level and that is the one piece of perspective folklore that is exactly true.

10 figures
the picturethe same plane, rectifieddoor — 0.5068 widths (true 0.5068)sill — 0.3026 widths (true 0.3026)diagonal — 1.1766 widths (true 1.1766)worst error 4e-16 relativethe probes were not used to build the map

Flattening a façade out of the photograph

Four corners of a rectangle whose proportions are known are enough to undo the projection of one plane. After that the plane can be measured with a ruler — lengths, angles, areas, all of it — in units of the rectangle's own width, and lengths the map was never given come back to fifteen digits.

11 figures
the picturethe same plane, rectifiedacross — 0.6000 widths (true 0.6000)along — 0.7667 widths (true 0.7667)diagonal — 1.2023 widths (true 1.2023)worst error 1e-15 relativethe probes were not used to build the map

The plan hidden in the photograph

Rectifying the ground is the same operation as rectifying a wall, and it turns a photograph into a site plan. The horizon is not an input to it and comes out as a consequence — the plan's points at infinity land on it, at first order, which is the check that the plan is a plan and not a plausible warp.

8 figures
a room 2.8 m across, eye 1.6 m up1 mthe same plan, 137× bigger137 midenticalpicturesthe picture — both scenes, drawn twice, one on top of the otherlargest disagreement 1e-13 px over 8 verticesone length has to come from outside the picture

The one thing a single view cannot give

Make the world a hundred and thirty-seven times larger and move the eye a hundred and thirty-seven times further away, and the picture does not change by a measurable amount. Every ratio in a scene is recoverable from one photograph and no size is, and that is not a caveat about the method — it is the shape of the method.

8 figures
05101550100150200distance from the camera (metres)error in the recovered height, per pixel of click error (%)6 m — 0.55%25 m — 2.27%60 m — 5.43%120 m — 10.84%one pixel, on a 690 px picturelinear in distance

How wrong a measurement from one picture can be

The formula divides by a difference of two nearly equal numbers when the object is tall, which looked like the instability and is not. Measured, a taller object is recovered better and a more distant one worse — half a per cent per pixel at six metres and eleven per cent at a hundred and twenty. The argument that was wrong is as much the finding as the curve that replaced it.

10 figures

The other systems

Isometric, oblique, elevation. Not perspective done badly by people who had not worked it out yet, but a different answer to a different question — and the difference is measurable.