Theme

The thread: Determined up to something

Every recovery on this site returns an answer with a qualifier attached. One picture gives ratios and no size. Two give shape and no size. Many give a scene and a camera track up to seven numbers no quantity of pictures supplies. The qualifier is not a shortcoming to apologise for; it is the exact statement of what the pictures contain, and here it is counted, walked along and shown to be free rather than merely small.
025507510010203040true depth (m)depth reported from the disparity, with a 1 px reading error5.86–7.33 m13.96–26.69 m23.76–126.49 mat 40 m: +86.5 m against −16.2 munbounded past 58.5 m What a pair is for

Depth is a reciprocal

Two eyes measure a shift in the picture, and depth is that shift divided into a constant. So a fixed error in what is read maps to an interval in what is reported that is not centred on the answer, and at forty metres runs sixteen metres nearer and eighty-six further.

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

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.

123-2-10baseline (m, log scale)range past which 1 px of disparity error is unbounded (m, log scale)65 mm → 58.5 mrange = fB/δ — 58.5 m at a 65 mm baseline900 px focal length, 1 px reading What a pair is for

The range a pair cannot see past

A stereo rig has a distance beyond which it cannot say "no further than", and the distance is fixed before anything is built. It is the focal length times the baseline divided by the reading precision, and for a human pair of eyes it is fifty-eight and a half metres.

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

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.

midpoint — 2.77 mm gapfrom the left eyefrom the right eyegap 2.77 mm at 7.22 mexact marks: 2.2e-16 m What a pair is for

Two rays that do not meet

Triangulation is described everywhere as the intersection of two rays, and two rays in space do not intersect. Read the same two marks to a whole pixel and they miss by 2.77 mm at seven metres, which is a real length and is the part a residual will not report.

0.30.50.7125×10⁻⁴0.0010.0020.0050.010.02how 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 Many pictures at once

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.

points in front of both camerasR₁, t0 of 44180° from the truthR₁, t reversed0 of 44180° from the truthR₂, t44 of 44chosenR₂, t reversed0 of 44180° from the truththe chosen pose is the true one to 0.0e+0°cheirality, not algebra, picks it The second eye

Four cameras fit, and one of them can see

The essential matrix does not determine a camera pair. It determines four, all of which reproject every correspondence exactly, and the thing that picks one is not more algebra — it is the assumption that the photographer could see what was photographed.

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 Many pictures at once

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.

as recovered0.308 across× 3.4 — same two pictures1.046 acrossworst ratio deviation 6.3e-14size fixed only by a supplied 0.80 m The second eye

Two views give shape and no size

Every pairwise distance ratio in a courtyard recovered from two photographs matches the real one to fourteen digits. The courtyard's actual size is not merely uncertain — it is absent, and a reconstruction three and a half times larger fits the same two pictures exactly as well.

what was drawnthe solid it depicts — reading 1 of 2xyzlooked at 45.00° off the normalcube edge 1.0000 of the drawn unitresidual 5e-16 The other systems

Any three lines you draw are a cube

Four earlier essays said that cavalier projection is not the projection of anything — because its axis scales sum to three where every orthographic projection sums to two. That is true of orthographic projection and false of projection. Three lines from a point, drawn by hand, are a picture of an actual cube seen from an actual direction, and the cube and the direction come out of the drawing in closed form.

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 Light and mirrors

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.

vertical difference up to 30.8 px, drawn 8× overbaseline 63 mmconvergence 2.0 m The second projection

Turning the cameras inwards

A stereo pair made by rotating two cameras toward a common point puts the same world point at different heights in the two pictures — up to thirty pixels here, on a frame of four hundred. Two eyes level with each other see every point at the same height, so a pair with vertical difference is a pair of pictures of no scene at all.

a room point at a known place115 cm at 2.40 m403 cm at 8.40 mthe ball scaled, the room left where it isoutline identical · reflection 8.90° apart Mirrors that are not cameras

A mirror ball does not know its size

The outline of a mirror ball in a photograph gives the ratio of its radius to its distance and stops there — a ball three and a half times bigger, three and a half times further away, draws an outline identical to the last bit. What breaks the tie is a point of the room, and only a near one: the sensitivity falls as one over the room's distance, so a mirror ball photographed against a landscape has no recoverable size at all.

00.2000.4000.6000.800204060how far off the axis the ray leaves the pinhole (°)how far the dome bends it (°)10 cm dome20 cm domeboth at offset/radius = 0.060identical to 1e-16° Through water and glass

The dome knows its offset in units of itself

A dome port centred on the entrance pupil bends nothing at all, exactly. One that is not bends rays by an amount that depends on the decentring over the radius and on nothing else, so a ten-centimetre dome six millimetres off centre and a twenty-centimetre dome twelve millimetres off centre are the same instrument, bit for bit. The picture carries the ratio, which means it never carries the radius.

left pictureright pictureevery one of them fits every mark1.6e-6 px The second eye

A flat scene fixes no second eye

Eight marks on one plane leave the eight-point design matrix two ranks short, so a two-parameter family of fundamental matrices satisfies every mark exactly — three of its members are 1.41 apart after normalisation and all three fit to 1.6 × 10⁻⁶ pixels. The same photographs determine the plane's own map from four marks, to 5.9 × 10⁻¹³ pixels.

481632641282560.3131030100how far away the scene is (m, log scale)pixels of parallax, and degrees of pose error (log scale)parallax, pxpose error, degreesparallax goes as distance to the -0.977 distances Many pictures at once

Far enough away, a pair is one eye

Hold the baseline and walk the scene away, and the parallax a single homography cannot explain falls as the distance to the power −0.968 — one over the distance, which says the ratio of baseline to depth is the whole of it. The recovered translation direction follows it down, from 3.3° at four metres to 74.5° at two hundred and fifty-six.

apart by 4.9e-13 pxcorrect from 17 cm, at 160 mm wideone eye again Systems that kept the measure

The second eye is a shear

A picture drawn from two eyes is a picture drawn from one, of a different room. The map that puts the second eye away holds the picture plane still point by point and carries one centre onto the other, and the member of its family that matters turns out to be affine — a shear along the line joining the eyes, growing with depth, which is the same operation an oblique drawing performs.

00.2000.4002468how far off the perpendicular the sightline is (°)how far the pane moves the point (mm)13.2 mm, n = 1.3510.0 mm, n = 1.528.0 mm, n = 1.756.5 mm, n = 2.1t(1 − 1/n) = 3.421 mm for all four1.8 µm apart over 8° Through water and glass

A pane gives a product before it gives two numbers

A flat pane of glass displaces every point it is seen through, and the displacement at small angles is the thickness times one minus the reciprocal of the index. So the two numbers arrive multiplied together. Four panes from 6.5 to 13.2 millimetres thick, with indices from 1.35 to 2.1, agree to under two microns over an eight-degree fan and separate by more than a millimetre over sixty — and a fit over the narrow fan returns whichever pair it started near.

0306090-3-2-1out-of-plane spread, as a fraction of the scene's own extent (powers of ten)error in the recovered translation direction, in degreeswith 0.3 px of reading errorexact marksthe geometry is a step and the measurement is a slope9 reliefs The second eye

How flat is flat enough

With exact marks the transition has no width at all — 84° of pose error at exactly coplanar and 0.000° at eight parts in ten thousand of relief. Put three tenths of a pixel of reading error in and the same sweep becomes a slope three decades wide, crossing into usefulness when the out-of-plane parallax reaches about ten times the marking error.

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 What a pair is for

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.

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 Many pictures at once

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.

what was drawnthe solid it depicts — reading 1 of 2xyzlooked at 0.00° off the normalcube edge 1.0000 of the drawn unitresidual 1e-16 The other systems

The drawing does not say which corner is nearer

The Necker cube is filed under optical illusion, as though the flipping were something the eye does. It is not: a parallel drawing of a cube is a drawing of exactly two cubes, mirror images of each other, and they project to the identical picture to the last bit. Perspective rules the second one out at a rate exactly inverse in the eye's distance, and never entirely.

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 survives

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.

24 kept · 26 clipped · every mark unmovedcorrect from 17 cm, at 160 mm wideclip plane tilted 18° What a machine computes

The near plane can be any plane

Rewrite one row of a projection matrix and the near plane stops being perpendicular to the axis and becomes whatever plane is asked for. Every x and every y is untouched — it is the same projection of the same scene from the same eye — and the depth order is wrecked, which is a clean separation of the two things a projection matrix does.

All themes