Concept

Model error — where it appears

The part of a result that is wrong because the model does not contain the thing being measured, rather than because the measurement was noisy. It does not fall with more data, it is often invisible in the residual, and the remedy is to enlarge the model rather than to measure more carefully.

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

00.50011.5000.5001the lens's radial coefficient, −k₁the worst transversal's distance from a correct perspective, in pxa reader's ruler, 0.2 pxk₁ = −0.40a photographed pavement, against its lens5.7 px of bow at the threshold

The lens a pavement can hide

A photographed pavement reads as a correct drawing up to a radial coefficient of about four tenths — a lens strong enough to bow a straight edge across the page by nearly six pixels and to print as twenty per cent distortion at the frame's corner. The reason is that a pavement sits near the principal point, which is the one part of the frame a radial map barely touches.

lens · Taughtratio
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°

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.

refraction · Slab
0501000.2000.4000.600half the mirror's aperture (m)how wrong the fitted radius is (%)how wrong the answer ishow wrong the fit says it ismeasurement floor, 0.02°a paraboloid fitted to a sphere of radius 1.6 mhidden below 0.3 m of aperture · 0.030% of bias there

A fitted radius is wrong before it is uncertain

A sphere and a paraboloid of the same vertex radius agree to second order, so a fit over a small aperture cannot separate them. What it does instead is return a confident radius that is wrong by a stated percentage, with a residual far below any measurement floor — 0.03% of bias behind a residual of three ten-thousandths of a degree. The residual only clears a two-hundredth of a degree at six times the aperture, by which point the bias is thirty-six times larger.

mirrors · Paraboloid
0240.50011.50tolerance allowed in the redraw (px, log scale)fewest cameras the picture needs3 at 4.63 px2 at 11.11 px1 at 17.63 px4 surfacesone camera at 17.63 px

A camera count needs a tolerance

Asked how few cameras could have drawn a splayed picture, a constructed stack answers four, three, two or one depending on how many pixels of redrawing a reader will allow — one camera at 17.6 px, two at 11.1, three at 4.6. The count is real: a picture built with two groups hidden in it gives back exactly those two, anywhere between nothing and 47.0 px. What it is not is a property of the picture alone, and the floor under it belongs to the hand — a one-camera drawing made by a hand that scatters its far corners by σ splits below about 0.57σ, where the 0.57 belongs to that hand and runs from 0.17 to 1.34 across a hundred and twenty of them.

choices · Divergence
x axis, 54.7° off1.58°y axis, 63.5° off3.39°z axis, 46.9° off1.45°the frame's best rotation1.14°the recovered camera's turn3.37°wedge 2° · focal 1.33% short · principal point 16.6 pxframe mispredicted by 14.7 px

A wedge of glass turns the camera behind it

A pane with parallel faces moves every point and no direction, so the camera recovered through a window is the camera that took the picture. Tilt one face 2° and every direction turns, by 1.04° on the axis and 1.67° forty degrees off it. The best rotation of the frame, 1.14°, still leaves 0.94 px, and no homography does much better, so the picture is no longer a projection from the camera's centre. The camera recovered from three vanishing points through the same glass is turned 3.37° — three times as far — because vanishing points lie where the glass bends most.

refraction · Slab
00.50011.5020123where a pinhole would put the point, in focal lengths from the centrewhere the model puts itwhere the polynomial foldsthe division model's horizonboth at k = -0.42fold 42° · horizon 1.54

A model that inverts has a horizon instead of a fold

The polynomial every calibration fits turns around at a finite radius and stops being a map from direction to picture. The division model, chosen because it inverts in closed form, never turns around — it rises for ever toward a horizon at one over the root of its own coefficient, so the whole hemisphere of directions lands inside a finite disc. Fitted to the four fisheye laws over seventy-five degrees it follows every one of them three to five times more closely, and below sixty the polynomial is still the better model.

lens · Distortion
012204060how far off the axis the read directions reach, in degreeshow far the recovered wedge angle is out, in degreesthe wedge's own angle — nothing recovered60 trials at each spread, half a pixel of reading error0.068° at 55°

The wedge recovered with the camera

Admit the glass into the model and the fit finally has something left over. A two-degree wedge is invisible to a reading confined inside eighteen degrees of the axis — the fit calls the whole displacement a rotation of the camera and is right to — and by fifty-five degrees it comes back to 0.07 of a degree. What the picture does not separate is the ordinary glasses — assuming an index of 1.50 for a true 1.52 costs one per cent in the angle and 0.07 pixels of residual.

refraction · Slab
0.6000.7000.800010203040generations of copyingthe drawing's depth-spacing ratiocopying the methodcopying the marksone hand error, two kinds of copyist9 lineages

What survives being copied

A workshop copying a drawing from a drawing is a random walk — the spread across lineages grows as the square root of the generation, with a fitted exponent of 0.5001. A workshop copying the method is not, and its exponent is 0.012, which is no growth at all, and after forty generations two lineages started from different originals end up 5 × 10⁻¹⁵ apart. Copying the marks loses the picture; copying the recipe loses the original and keeps the recipe.

conventions · Transmission
0102030401234the marking error, in pixelsthe error of the answer, in per centupper curve: the closure wrong · lower: the closure exactfloor 6.0%

The floor a better camera cannot reach

Sweep the marking error from four pixels down to a hundredth and the measurement's error falls thirty-fold and then stops — at 6.0 per cent, which is exactly the six per cent the reference's assumed shape was wrong by. With the closure exact the same sweep keeps falling to 0.06 per cent. The crossing is at half a pixel, and it can be computed before the photograph is taken, which makes it a decision about equipment rather than a discovery about it.

metrology · Uncertainty
0.6000.7000.8000255075100generations of copyingthe pavement's depth-spacing ratiothe workshop's taste7% of proposals rejectedband ±0.04

The workshop that throws drawings away

Adding a rule that discards a drawing which looks wrong turns the mark copyist's spread from a growing random walk into a stationary process — the fitted exponent falls from 0.542 to 0.022, indistinguishable from the method copyist's 0.033 — and the two mechanisms then separate only by where they settle, 0.7002 against 0.8000, seven and a half spreads apart.

conventions · Transmission
-200200204060position around the occluder's outlinehow far the four-point map mispredicts, signed (mm)a dished floor (k = 0.289)a ridged floor (k = 0.183)a floor with a step (k = 0.040)matched at 25.00 mm worstdish 0.1% · ridge 2.8% · step 19.4%

The residual has a shape

A flat-floor map mispredicts a shadow by millimetres on any floor that is not flat, and the number everybody quotes is the worst one. Tune a dish, a ridge and a step until all three mispredict by exactly 25.0 millimetres and the scalar can no longer tell them apart — by construction. The signed residual around the ring still can. The second harmonic of it reads 0.09%, 2.79% and 19.37%, a factor of two hundred across three floors the headline number calls identical.

light · Curvedreceiver
the lampthe occluder, and where the ray puts it backthe mark, on the floorwhere the plan puts it — 4 mm outa dished floor, k = 0.06by ray: exact · in plan: 4 mm

The floor is a choice of coordinates

Four rungs of this field have measured what a curved floor costs a shadow reading, in millimetres. It costs nothing. A shadow mark sits on the ray from the lamp through the occluder's edge, and where along that ray the floor caught it is a fact about the floor alone — so un-casting in rays returns the occluder to three parts in ten thousand of a millionth of a millimetre on a plane, a dish, a ridge and a step alike, while the same shadow read in the plan is wrong by up to 216 millimetres.

light · Shadowinverse
05010000.0500.1000.1500.200how strongly the floor disheshow far the recovered foot is from the lamp's (px)the foot, found in the planthe lamp, found in rays — exactthree posts on a dished floor, one drawing133 cm of lamp at k = 0.22

The lamp comes out in rays and not in plan

One drawing of three posts and their shadows yields two points, and a curved floor treats them completely differently. The lines through each post's top and its shadow's tip meet at the lamp's image to a ten-thousandth of a pixel at every curvature, because a top and a tip are two points of one real ray. The lines through each foot and the same tips meet 113 pixels from the lamp's foot — and the lamp placed from an exact point and a wrong one lands 1.3 metres away.

light · Lightrecovery
horizoncorrect from 19 cm, at 160 mm wide2 centres · 2.12 px

How many lamps a drawing has

The shadow field recovers a lamp by intersecting drawn lines. Two lamps make that a partition rather than an intersection — and two centres fit any bundle better than one, on a one-lamp drawing as readily as on a two-lamp one, so a count is a decision that needs a noise level before it exists. A criterion built on a penalty instead of a noise level returns four.

light · Twolamps
-4-3-2-1000.50011.502how much more effort, log₁₀ of the controlhow much of the error is left, log₁₀ of the first samplepanorama-seam · −0.92panorama-vertical · floorsilhouette-hull · −2.00silhouette-notch · flooranamorph-sagitta · −2.30anamorph-sagitta-intervals · −2.00mirrorball-size · −1.007 laws, 12 samples each2 with a floor · 5 without

An error with two terms

Two results from machineries with nothing in common have now found the same shape. A panorama's parallax separates into a term that halves every time the frame count doubles and a term with no frame count in it at all; a silhouette's error into an excess that falls as one over the square of the view count and the area of a concavity that is the same number at four views and at a hundred and twenty-eight. Fitting both terms turns the distinction into a measurement, and pointed at seven of this collection's own laws it reads every one of them the way its own essay does.

foundations · Buyable
two lamps: what one centre leaves, floor by floora flat floor138.33 pxa dished floor138.33 pxa dished floor, k = 0.02138.33 pxa dished floor, k = 0.06138.33 pxa dished floor, k = 0.12138.33 pxa ridged floor138.33 pxa ridged floor, k = 0.02138.33 pxa ridged floor, k = 0.06138.33 pxa ridged floor, k = 0.12138.33 pxa floor with a step138.33 pxa floor with a step, k = 0.02138.33 pxa floor with a step, k = 0.06138.33 pxa floor with a step, k = 0.12138.33 pxtwo lamps, four floors, four curvaturesspread over all thirteen: 2.8e-14 px

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

light · Curvedreceiver
00.2000.4000.6000.50011.502how many points were measured along each line, log₁₀how wrong the recovered focal length is (%)a pinhole — no floora lens, k₁ = -0.05the floor, 0.72%two vanishing points, three lines eachpinhole floor 3e-16 · lens floor 0.72%

A floor with a referent

Recover a focal length from two vanishing points and measure more points along each line. Through a pinhole the error falls from 0.34 per cent to 0.05 and the instrument finds no floor at all. Through a lens of k₁ = −0.05 it falls, turns, and rises to 0.70 per cent — because the noise the extra points removed had been partly masking the lens's bend. The floor is 0.72 per cent of the focal length, and doubling the distortion coefficient doubles it to 1.44. It is not noise and not conditioning; it is the model, priced.

foundations · Recovery

Named alongside it

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

ResidualConditioninginstrument limitleast squaresReconstructionVanishing pointerror propagationReceiving surfaceShadow projectionAttributionBiasCamera calibration

All concepts