Concept

gauge freedom — where it appears

The directions in which a reconstruction can be moved with no cost at all, being what no quantity of pictures fixes. Walking along it changes every number in a reconstruction and no reprojection, which is the only honest way to show that the freedom is real rather than merely small.

Named by 14 essays across 5 fields — each of them below, with the objects they name alongside it.

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.

manyviews · Bundle
× 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.

manyviews · Gauge
0.0020.00334567number 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.

manyviews · Spread
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 there is to the idea that a small residual means a right answer, met again in a new field.

light · Lightrecovery
the needle: along the rays' bisectorreprojection minimum, both framesmidpoint, world framemidpoint, changed framemidpoint moved 0.203 mm · minimum moved 1.0e-15 mtruth 15.5 mm along the needle

The midpoint is a choice of ruler

Two photographs do not change when the world is measured with a different ruler, so an answer that belongs to the photographs cannot change either. The midpoint of two skew rays does: a threefold stretch moves it 0.203 mm and a projective frame 1.503 mm, while the point that minimises reprojection error stays put to 10⁻¹⁵ m. Both are 15.5 mm from the truth, which is the part a choice of route does not touch.

depth · Triangulation
view 1, heldview 6one standard deviation, drawn 5× actual size — held: the first camerapoints 52.1–158.0 mm · cameras 0.0–104.8 mmmarks read to 1 px

An uncertainty is quoted from something

One adjustment, one set of marks read to a pixel, and its uncertainty written four ways. Held at the first camera, the last camera is 105 mm from certain; held at nothing, every camera is within 4 to 6 mm. A ratio of two distances carries 0.1465 per cent in all four, to two parts in a billion.

manyviews · Gauge
projectiveaffinemetricmidpointtwo equal sidesa right anglecross-ratioprojective———1.333333333affine0.500000——1.333333333metric0.5000001.00000090.000°1.333333333— means the stage does not determine it at allcross-ratio 1.333333 throughout

What one picture of a plane determines

A photograph of a tiled floor fixes that floor's geometry up to a projectivity, and no further. Supplying the horizon buys back the midpoint — exactly, and nothing else. Supplying the image of one circle buys the right angle and the ratio of two lengths at right angles. Three stages, three prices, and a quantity a stage does not determine has no value rather than a wrong one.

foundations · Stratification
controlhow the shape moved, drawn 200× actual size — held: twelve surveyed coordinatessurvey 20 mm out · shape moved up to 2.26 mmreprojection 3.83e-1 px

The eighth held number bends the scene

Four surveyed points, each 10 mm out in a different direction. Hold seven of their coordinates during an adjustment and the courtyard's shape moves by a trillionth of a millimetre; hold eight and it moves by 0.59 mm, because seven numbers choose a frame and the eighth makes a claim the pictures disagree with.

manyviews · Gauge
02004005101520camera round the loopcamera-centre standard deviation from the start (mm)left openclosedlast camera ×6.5 better · worst 20 % better24 cameras · marks read to 1 px

Closing a loop mends its ends

Twenty-four cameras walked once round a ring of walls, every mark read to a pixel. Recognising the twenty-two points seen at both ends makes the last camera six and a half times better placed relative to the first — and the worst camera, across the ring, only a fifth better. A closure mends the ends of a walk and barely touches its far side.

manyviews · Drift
start, heldworst: 86 along, 64 acrossellipses ×12 · worst camera 112 mmloop closed

A loop's far side is a length

The worst camera on a closed loop of twenty-four is 411 mm from certain along the line from the start and 64 mm across it. A picture taken across the ring from the start tripod measures directions and moves the worst camera from 418 mm to 405. One distance measured across the ring to 10 mm moves it to 74, and a four-metre length measured on the start wall to 112. What the far side of a loop lacks is not a connection but a length.

manyviews · Drift
0.111010010000.5125the accuracy the survey is stated to have (mm)shape error of the courtyard (mm)survey really 1 mmsurvey really 5 mmsurvey really 20 mmmarks read to 0.1 px · 200 trials eachlowest at the true accuracy

A survey is trusted at its own accuracy, unless its error has a shape

Entered into an adjustment with a stated accuracy, a survey whose errors are random gives the smallest shape error when the stated accuracy is the true one — at 1, 5 and 20 mm alike. Stated twenty times too tight it can cost thirteen times the error; twenty times too loose, almost nothing. But twelve surveys all 10 mm out in fixed directions are best trusted anywhere from 0.3 mm to 10 mm, and the size of their error cannot say which.

manyviews · Gauge
0.050.10.250.51240200400length of the scale bar at the start (m, log scale)worst camera, along the line from the start (mm)open walkloop closedopen, no barclosed, no bara scale bar at the start, measured to 0.1 mmopen: flat from 0.5 m

A scale bar is worth its ends, not its tape

A length measured at the start of a walk round a ring pins the walk's scale — but only to the precision with which the pictures place the length's two ends, 3.4 mm here, whatever the tape says. Measured to a thirtieth of a millimetre or to three millimetres, a one-metre bar leaves the worst camera at the same 89 mm. So a short length is not a long one measured well: a bar under about 13 cm tells the walk less about its scale than the walk already knows. And on an open walk no length at the start does better than 214 mm, because what is left there is drift, not scale.

manyviews · Drift
02.5057.5010020406080how far the floor is folded from flat (°)what a 10 cm error in the height leaves (mm)two degrees: 0.58 mma design 1.4 m wide, the eye 1.62 m up, the crease at 1.2 mflat: 1.5e-13 mm · 90°: 9.3 mm

A fold names the height

A pavement anamorph’s marks fix where the reader must stand and leave how tall they are entirely free — every height explains the marks exactly, to the last bit. Put one crease in the floor and the freedom is gone, because two degrees of fold makes a ten-centimetre error in the height leave six tenths of a millimetre, and a right angle makes it nine.

viewing · Anamorphrecovery
one lamp, one floor — the rays reach the same markscorrect from 19 cm, at 160 mm widethe true pair

The lamp and the floor cannot both be recovered

Every member of a one-parameter family of lamp-and-floor pairs draws the identical photograph to a fraction of a thousandth of a pixel — one member swings the lamp 90 cm and tilts the floor 4.3° and the picture does not move at all. A tape measure or a post of known height each pin the true member uniquely, and so does a wall known in advance to be square to the floor, whose angle to the recovered floor peaks at exactly 90° at μ = 1.000 and nowhere else; a receiver merely known to be parallel drifts thirteen times more weakly.

light · Shadowinverse

Named alongside it

The objects these essays reach for when they reach for this one.

bundle adjustmentSimilarityResidualControl pointCovariancecamera trackreconstruction ambiguityReprojection errorConditioningDriftLoop closureerror propagation

All concepts