Concept

Residual — where it appears

What is left over when a model has been fitted, and the number that says whether the model was the right shape. A small one says the model can absorb the data and not that the model is right, so it has to be read beside the conditioning of what produced it.

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

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.

metrology · Rectify
horizon — the image of the line at infinityvanishing point at x = 1464 — off the framecorrect from 26 cm, at 160 mm wide34° across

Where parallel lines meet

They meet at a point that is not in the plane, and the horizon is the line made of all such points. Treating that as bookkeeping misses what it buys — a vanishing point becomes an ordinary point of the picture, findable from the drawn lines, checkable, and enterable into any calculation the others are.

foundations · Vanishing
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.

light · Shadowvp
00.50011.502-0.400-0.20000.200k₁departure of the cross-ratio from the world's value (%)pinhole1.29%the pinhole's own error, on the same four points2e-16 — the control

A lens destroys the invariant

The cross-ratio is the one thing a projection preserves, and nearly everything checkable about a photograph is checked with it. A lens returns it one and a third per cent out where the pinhole is exact to fifteen digits — and the height error that follows tracks a quantity nobody would guess.

lens · Distortion
the water surfacethe pinholethe rays miss by 9.9 mmno single viewpoint — the rays miss by 9.9 mmdry control: 0e+0 m

A picture through water has no viewpoint

Continue the rays of a refracted picture into the water and fit them to a common point. They miss it by ten millimetres. The same fit with the water taken away misses by zero, which is what makes ten millimetres a measurement rather than a number.

refraction · Nocentre
1234512345a point is chosen hereand must be on this linematch to its own epipolar line: 1.4e-13 px5 of 44 correspondences drawn

A point is a line over there

Knowing where a mark sits in one photograph does not say where it sits in the other. It says which line it is on, which removes one of the two unknowns and leaves one — and the five lines drawn here meet at a point to within a thirtieth of a billionth of a pixel.

twoviews · Epipolar
clipped at the near planedivided without clippingdirection cosine -1.0000 — the far end is drawn 2142 px away20 grid segments, 2.4 m of them behind the eyea reversed line is not a large error, it is a different picture

What happens behind the eye

A point behind the camera has a perfectly plausible image. Dividing by a negative fourth coordinate flips both signs, so the point lands through the principal point on the far side of the frame, and a segment crossing the eye plane is drawn straight, inside the frame, and running in exactly the opposite direction — a direction cosine of −1.0000.

pipeline · Clipping
recovered principal pointused to drawrecoveredgapfocal length853.90853.904e-15principal x345.0345.02e-12angle44.0°44.0°—correct from 20 cm, at 160 mm wide44° across

Recovering the camera from the picture it drew

Draw a box from a known camera, forget the camera, and get it back from the twelve drawn edges alone. Agreement to one part in 10¹⁵ is a statement about the geometry, because the only thing that crossed between the two halves was a list of line segments.

foundations · Recovery
fitted k₁ = -0.280000true -0.280000, off by 5e-15

Fitting a lens from straightness alone

No calibration target, no known scene, no camera. Only the knowledge that some edges in the picture were straight — and the coefficient comes back to fifteen digits. Then it comes back with a companion, and the two are correlated at −0.997.

lens · Plumbline
midpoint — 2.77 mm gapfrom the left eyefrom the right eyegap 2.77 mm at 7.22 mexact marks: 2.2e-16 m

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.

depth · Triangulation
the best point, missed by 8.57 m27 m of the eye's trackno single viewpoint — the rays miss by 8.57 mthe eyes are a track, not a point

The centre a scroll does not have

Fit a common point to the rays of one section of a handscroll and it misses by metres. The miss is not a residual to be tightened — it is exactly the standard deviation of the eye's own track, it grows linearly with how much is unrolled, and it goes to zero only for a section of no width.

scroll · Pushbroom
00.2500.5000.7501-10123distance from the eye — log₁₀ metresfraction of the buffer's codes used uphalf the codes by 0.20 ma linear map, for comparisonnear 0.1 m, far 1000 mharmonic mean 0.20 m against arithmetic 500 m

The precision a depth buffer has left

Depth is stored as an affine function of one over the distance, so half of a buffer's codes are spent before the harmonic mean of the near and far planes — twenty centimetres out of a kilometre. The resolution goes as the square of the distance, and the fix that works is not more bits.

pipeline · Zbuffer
0.0 ms8.3 ms16.7 ms25.0 ms33.3 mslean 1.052° drawn against 1.055° predicted · a still world leans 0.000°no single viewpoint — the rays miss by 33.3 ms of travelthe frame is a stack of projections indexed by row

Every row is a different camera

A shutter that reads its rows one after another images each of them from wherever the camera was at that instant, so a frame is a stack of projections indexed by height — a handscroll with the roll running down the picture. Its rays miss their own best centre by the spread of the eye's track, at a ratio of 0.988, and a global shutter's meet to 2 × 10⁻¹⁶ m.

sensor · Rolling
-10-50-2-10baseline (m, log scale)worst deviation in the recovered shape (log scale)exact pointsread to 1 pxat 2 mm: 4.7e-9 exact, 2.9e+1 read to 1 px6e+9× apart

A turn of the head is not a step sideways

The textbook says a short baseline makes reconstruction ill-conditioned. Measured, the algebra does not notice — a two-millimetre baseline recovers the courtyard to nine digits from exact marks. What fails is the ratio of baseline to reading error, and it fails without refusing.

depth · Baseline
-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.

manyviews · Bundle
one pixel is an areacentrescornersprincipal point moves0.707 pxfocal length changes by4.5e-13 pxan edge-versus-centre viewport1.303 pxa half-pixel convention is a principal-point error; an off-by-one viewport is a focal-length error8 vertices, all shifted by the same 0.7071 pxspread across marks 0.0e+0 px

A pixel is not a point

Where the sample sits inside a pixel is a convention, and getting it wrong shifts every mark by half a pixel in each axis. What that costs can be measured by recovering the camera from the picture — the answer is a principal point exactly 0.707 px from the truth with the focal length untouched, and the other half-pixel mistake does precisely the reverse.

pipeline · Viewport
3 m · 47 px6 m · 24 px12 m · 12 pxnear ÷ far = 4.000 against a depth ratio of 4.000exposure 33.3 ms · 6 m/s across the frameeach streak is straight; the set of them is not one kernel

A frame is an interval

An exposure is not an instant, so a frame is an integral of projections and every moving point draws a streak. The streak is straight, because the image of a straight path is straight — and its length goes as one over the depth, so two objects at 3 m and 6 m blur by lengths in the ratio 2.000. No single kernel describes the frame.

sensor · Exposure
k₁ = -0.28 · the round trip closes to 8.0e-13 pxpale: what the eye receives · dark: what the renderer drawsthe inner 86% of a 72° frame, where the inverse is exact

The render is distorted on purpose

A headset renders a bent picture so its lens can straighten it, which is a lens's distortion polynomial run backwards, and the one case in which distortion is introduced deliberately. The round trip closes to a thousandth of a millionth of a pixel, and the price is that one rendered pixel becomes 0.493 delivered pixels at the edge of the field and one at the centre.

screen · Distortion
centric pointdistance point, 12 px off the sheet →430 pxcorrect from 10 cm at 160 mm wide47° across

The distance point is the viewing distance, drawn

There is exactly one place in the whole classical apparatus where the distance from the eye to the picture appears as a length on the page, and it is the offset from the centric point to the distance point. Everything this site exists to compute was drawn in the fifteenth century, on the horizon, and nobody said what it was.

construction · Alberti
an anchorcorrect from 19 cm, at 160 mm wideflat 1e-13 px · rolled 30.5 px

A projection of a projection

Photograph a photograph and the composite map is a homography — four marks determine it and every other lands where they say, to 1e-13 px. Roll the print and the same four mispredict the rest by 30.5 px, which is why straightening a page of a thick book never quite works.

foundations · Composition
the far field — where the stitch was fitted2.2 m — 3.2 px out24 m — 0.3 px outthe sky registers to 1e-13 pxthe foreground does not — up to 3.2 px

The eye is a place, not a point

Rotate a camera about the wrong point and the sky still stitches perfectly while the foreground slides. The misregistration falls as one over the distance, exactly — which is what says the fault is the pivot and not the lens.

lens · Pupil
00.50011.50010203040correspondenceepipolar error at every OTHER point, after one match is movedmedian 0.54 pxthe moved oneevery point wrong: median 0.54 px, worst 1.7 pxclean fit 2.3e-13 px

A wrong match is not a small error

Move one correspondence of forty-four by thirty pixels and the recovered geometry is wrong for every other point — the typical one by half a pixel, from a fit that was exact to a part in ten trillion. Least squares has nowhere to put a bad row except across all of them.

depth · Outlier
pixels 2.00 : 1recovered focal length219.9 pxthe camera's actual one436.4 pxwhat the recovery returnsspread across three estimates 0.0e+0worst bundle residual 9.1e-13 pxboth are what a wrong picture would trippixel aspect 2.00 unmodelledfocal length 49.6% short, every diagnostic clean

The pixel that is not square

A camera with two focal lengths is a real thing — anamorphic cinema optics, non-square photosites, a stretched video format. Hand the round trip of camera recovery a picture from one and it returns a focal length 49.6% out, a principal point far from the truth, three independent estimates agreeing to 1e-16, and bundle residuals at the noise floor. Every alarm the site has stays silent.

sensor · Pixelaspect
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
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
a dished floor · truly 0.0600.0600a flat floor · truly 00a floor with a 60 mm step · truly 00.4820one lamp, one ring occluderthe step reports 0.482

The curvature a shadow reports

A flat floor makes a shadow a homology, so four marks predict the rest exactly and a curved floor mispredicts them by millimetres. Turn that round and the mispredict is a measurement of the floor. It recovers a dished floor's own curvature to a per cent — and returns 0.482 for a floor made of two planes, whose curvature is zero everywhere, with a residual of ten microns.

metrology · Shapefit
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
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
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
the seat the picture came fromthe screen, in planthe room sampledcurved monitor, 1 px of tolerance0.0% of the room inside

The screen that names the seat

A flat screen shows a homography of the intended picture from every seat in the room, and an observer's own framing is free to be a homography too — so a flat screen's picture is consistent with every seat there is. A curved one is not, and the seat comes back out of the picture in all three directions, in units of the screen's own radius.

screen · Curvedscreen
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
-1012-0.25000.2500.5000.750how many pixels of departure are allowed, log₁₀the volume of acceptable seats, log₁₀ cm³11×4 mm184×58 mmcurved monitor, the acceptable seats as a solidfitted exponent 2.978 against a cube law's 3

The seats a screen will accept

Collect the seats whose picture is within a pixel of the one intended and the result is a solid — half a cubic centimetre in front of a curved desk monitor, a litre in front of a curved television. Ten times the tolerance is a thousand times the room, which is the pavement anamorph's own law arriving on an object that has nothing else in common with it.

screen · Curvedscreen
the pavement implies a horizon 171 px off the topthe horizon the panel drewcorrect from 12 cm at 160 mm wide9.2 px from the truth, 0.17 px from a perspective

The rule that draws another room

The taught rule for spacing receding boards — each gap a fixed fraction of the last — is not a projection of anything, and it produces a pavement that is a correct perspective to within a fifth of a pixel. Of a room whose horizon is a hundred and seventy pixels from the one the panel drew. The error is not incoherence; it is a disagreement between two halves of one drawing.

wrong · Taughtratio
each point joined to its place in the inside-out answer — nearer the camera is uptoward the cameratrue 2.4e-13 px · inside out 0.946 px3° field, 60° of arc

A narrow view keeps a second answer, inside out

Six pictures of a courtyard through a 3° field, every mark exact. Started from the scene turned inside out, the adjustment settles there — near points far, far points near — and misfits the marks by under a pixel. The misfit grows in proportion to the field and to the sweep of the cameras, and vanishes only where perspective does.

manyviews · Bundle
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
a flat floor3e-13 mma homology — four points determine ita dished floor5.67 mmnot a homologya ridged floor9.07 mmnot a homologya floor with a step74.95 mmnot a homologyworst error of the predicted pointsexact at the four fitted, on every surface

The floor that is not a plane

A shadow on a flat floor is a homology, so four marks determine the whole map and the rest of the outline comes back exactly. Dish the floor and the same four marks mispredict the rest by 5.67 mm; ridge it and 9.07 mm; put a step in it — two planes, each of them exactly a homology — and 74.95 mm. The receiver's shape is what breaks the projective description, and it breaks it worst where the surface is flattest.

light · Curvedreceiver
0102030400123how wide the audience is (m)the worst seat, in pixels of departure14.1 px per metrea flat panel of the same sizecurved television, the best single pre-warpthe flat panel's line is the axis

One picture and three people

A curved screen can be pre-warped for one seat, and the search over which seat to choose returns the middle one to a quarter of a per cent — there is nothing to be clever about. What the correction buys the sofa as a whole is six per cent, and the worst seat grows at fourteen pixels for every metre of audience, with no width at which it is zero except one person.

screen · Curvedscreen
three edges crowded on one side5.69e-3two on one side, one on the other5.66e-4three edges near the centre6.73e-3three edges placed by search9.57e-4the centre free · log scalebest: 5.66e-4

The lines that calibrate a lens

One straight edge through the centre of a picture says nothing about a lens's distortion, and one 180 px from the centre determines k₁ to 9.0 × 10⁻⁴ — the precision rises in proportion to the offset. But distance from the centre is not enough. Crowd three edges on one side and, the moment the distortion centre is also unknown, the coefficient is ten times worse, because a bend on one side looks like a moved centre; put one edge across the centre and it barely changes.

lens · Plumbline
barrel vaulteye · 1.62 mon the floor1e-12 mmon the vault529.4 mmworst miss of the best homography, log scalevault radius 4.0 m7.7% of the extent, against 4e-14%

The ceiling that is not a plane

Paint the same design for the same eye onto a floor and onto a barrel vault, then fit the best possible homography to each set of marks. On the floor it misses by femtometres, because the map is a collineation and four marks determine every other. On the vault it misses by half a metre, and no choice of four marks helps — which is where every projective construction made for a floor stops applying.

viewing · Vaultanamorph
35.08°correct from 16 cm, at 160 mm widetwo maps, meeting at 35.08°

A shadow across an edge

A straight rod's shadow crossing the crease between floor and wall is two straight pieces, each dead straight to 1e-15 m, meeting at 35.08°. The corner is a fact about the room and not about the rod. Fit the floor's map from four marks and apply it across the whole shadow and the part on the wall comes back up to 78.9 cm from the object — the wrong map, applied confidently.

light · Shadowseam
-10100.5001the screen's radius, log₁₀ metresvertical difference between the eyes, log₁₀ arcminutesa stated fusion limit, 15′eyes 63 mm apart, at each screen's own sitting distanceunder the limit throughout

What the two eyes are sent

A reader's eyes are two seats sixty-three millimetres apart, so a curved screen delivers each of them a different map — and the part of the difference no homography absorbs is binocular evidence of the glass. Turned into a depth it comes back as the screen's own sag, 49 millimetres against 47 on a television, by a route that never saw the radius.

screen · Stereodisplay
seen herethe pair's pointexposed by 21.4 pxlines agree to 4e-13 px

A mismatch on its own line needs a third eye

Slide one mark of a correspondence 30 px along the epipolar line the other mark fixes, and every test two photographs can run stays at the arithmetic floor — epipolar distance 2.2e-14 px, the two rays meeting to 1.5e-15 m, reprojection 1.1e-13 px — while the point is reported half a metre too near. A third picture exposes it by 21.4 px from a third eye two metres off the first line of sight, and by exactly nothing from an eye on that line.

depth · Outlier
undone: near 3e-12 px · far 3e-12 pxturning 1 rad/s

A turning frame can be straightened; a travelling one cannot

Read a frame row by row while the camera turns at a radian a second and every point is 21 px from where a global shutter would put it, at every depth alike. Turn each row's rays back and every point returns to six trillionths of a pixel, with no depth known. Travel at 3 m/s instead, and the best correction that needs no depth is exact at one distance and 21 px wrong at 2 m.

sensor · Rolling
050100204060how far the third eye stands from the point, in metreshow far the answer is from the truth, in millimetresnearest in metresleast reprojection error120 noise draws averaged at each station132 vs 34 mm

A third ray is worth what its picture is worth

Three eyes on one point, two at seven metres and one walked back to seventy. The point nearest all three rays in metres is 132 millimetres from the truth and the point of least reprojection error is 34 — the same 34 the near pair gives alone — and the first is pulled 12 millimetres along the line to the distant eye. And arrangement beats count outright — two rays spread over fifty-five degrees beat eight rays inside four, by a factor of 4.4.

depth · Triangulation
-7.50-5-2.5000123how far the projector stands from the eye, log₁₀ mmwhat the seat is left with, log₁₀ pixels1 pxcurved television as a wall, the seat at 3 ma pixel by 50 mm · exact at zero

A projector in the viewer's eye

A projector paints a wall along its own rays, so from the projector's own position the wall's shape is invisible — exactly, on a cylinder, on a dome and on a plane alike. Move a hand's breadth away and the residual is pixels. The one place a projector can stand and ignore the shape of what it is throwing onto is the eye of the person watching.

screen · Keystone
0102030400.2000.4000.6000.800where along the edge, as a fraction of the visible lengthshare of the edge's response to the coefficient, in per cent93% outside the middle halfone edge, 82 marks, cut into tenthsmiddle two tenths: 1.4%

The response is at the ends and the information is not

A radial map bows a straight edge by an amount that grows as the square of the distance along it, so 93 per cent of an edge's response to the coefficient lies in its outer quarters. Spending the marks there is 16 per cent worse than spreading them evenly, because two clusters say nothing a shifted, tilted line could not say. What identifies the coefficient is a curvature, which needs three places — both ends and the middle, which beats an even spread by 11 per cent.

lens · Plumbline
left pictureright picturethe post it is matched toone image row, drawn as two strips19.8 m instead of 9.0

A third eye that lands on the next post

Match one post of a railing to its neighbour and the pair reports it at 19.8 metres instead of 9.0, with every test two photographs can run at the arithmetic floor. A third picture usually exposes that by hundreds of pixels — but at five azimuths in seventy-eight degrees the wrong point lands within three pixels of another post, and the third view confirms the mistake. Narrow the railing to twenty centimetres and those places cover 28 per cent of the arc.

depth · Outlier
0.313100510how far away the subject is, in metreshow far the pupil moves forward, in millimetres0.50 mthe whole walk with field anglea 50 mm lens, focused as one pieceequal at 0.50 m

Focusing moves the pivot past its best place

Focusing a fifty-millimetre lens to one metre carries its entrance pupil 2.63 millimetres forward of the camera body, and to half a metre 5.56 — which is more than the whole 5.53 that the pupil walks with field angle, so past a subject at 502 millimetres the focus decides where the pupil is. A panorama head aligned at infinity and used at a metre leaves 7.46 arcminutes along its seam; aligned at four metres it leaves 2.21, better than pivoting at the pupil at all.

lens · Pupil
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.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
floorsplay 1.12q = 1.000footstoolsplay 1.2q = 1.000tablesplay 1.32q = 1.000booksplay 1.38q = 1.000one habit, four splays — each strip's rows read from the page aloneone hand fits at q = 1.000

The rows count hands, not cameras

Rows drawn between two straight sides charge a camera nothing — every strip of a four-strip divergent picture reads back as a flat plane, whatever placed them, so a single viewpoint redraws the whole picture exactly. What they do fix is one number per strip, and that number survives the lens. Read the same drawing at focal lengths twenty to one apart and the lean runs from 36.4° to 86.0° while the habit stays at 1.000000000.

choices · Divergence
0100200300distance from the picture's centre, pxeach edge, by how far it passes from the centreoffset 20 px20–326offset 60 px60–330offset 125 px125–348offset 180 px180–372four edges, 82 marks eachevery one spans 16× in radius

No design separates the two coefficients

Separating a squared term from a fourth-power one was supposed to need marks at radii far apart, which is a statement about where edges are placed. It is not: one straight edge already runs from 20 px to 326. Spreading ninety-six marks over three edges or sixteen changes the answer by 23 per cent, spreading the offsets makes it 19 per cent worse, and the correlation stays at −0.98 whatever is done. What a plumb-line calibration determines is one number, to 1.52 thousandths, and which number depends on the model.

lens · Plumbline
the constant-depth direction, 20.0°a floor banked 20°, 40 pixels of the walkworst 0.60 px off the line

A tilted span walks a staircase

A span along a banked floor's constant-depth direction is exact, and a renderer visits pixels rather than the span. Snapped to the grid, a 120 px span at a 20° bank costs 0.577 px where the same span along a page row costs 13.26 — twenty-three times better — and it never rises above 1.22 px at any bank. The price is bookkeeping: a band of twenty-four such spans draws 53 of its 1,368 pixels twice.

pipeline · Perspcorrect
the stickreconstructedfitted straightbaseline rolled 45°residual 0.2 mm

The residual does not warn

Fit a straight line to the stick a stereo pair puts back and the fit looks best exactly where the reconstruction is least supported: the residual is 0.535 mm at a level baseline, where the two rays meet perfectly, and 0.038 mm at sixty degrees of roll, inside the band where they miss by more than a pixel covers. Over the same sweep the fitted line is 285 to 584 mm short of the stick's metre — fourteen thousand times its own residual at worst.

refraction · Refraction
the shared vanishing line, 22.0°four surfaces, four turns, one camera6e-12 px apart

A vanishing line with a slope in it

Turn the plane about the view direction and no family of any surface's edges is level; each vanishing line acquires a slope, and a group must agree about two numbers rather than one. The count does not change character — a hand of four pixels costs the test 3.00 px at no slope and 3.27 at thirty-eight degrees of it. What the slope does expose is the redraw: holding each far edge at its drawn height charges 0.95 px to a picture one camera really took.

choices · Divergence
00.50011.502020406080roll of the baseline, degreesmillimetresunweighted residualfloored at a pixelweighted, no floorthe rays' miss, rmsa one-metre stick, the baseline rolledthe weighting runs the wrong way harder

A fit weighted by the miss trusts only the surface

Weight each point of a reconstructed underwater stick by how well its two rays meet, and the fit hands all but a ten-billionth of its trust to the one point where the stick enters the water — and reports a residual of nothing at every rolled baseline. Floored at the reading error, the weighting changes the answer by a few thousandths of a millimetre. And the miss itself, the one honest number, is exactly zero at a level baseline where the stick comes back 285 mm short.

refraction · Refraction
drawn: q = 1, drift +3% a baysteady hand fitted: q = 0.361q = 1 with no driftclosed form q = 0.361rows apart ≤ 0.014 pxsplay 1.32, 6 bays, near edge at the bottomdrift 0.03 → q 0.36

A tiring hand draws a different habit

A painter whose bays creep two per cent wider down a strip has drawn, to within a fiftieth of a pixel, what a steady painter with a different habit would draw — and on a weakly splayed floor the difference is the whole distance from a hand's even rows to a camera's log placement. One strip cannot tell fatigue from habit. A whole picture can, because a creep counterfeits a habit in proportion to the number of bays over the logarithm of the splay, and that is different on every strip.

choices · Habit
020406011.5022.503candidate height for the eye, in metreswhat the best rectangle leaves over, in millimetresa flat floor: every height fitsthe eye that made the markscurvature costs the collineationand buys the parameter back

The height a flat floor cannot give

The marks of a floor anamorph name the eye's position on the floor exactly and say nothing about how high it was — every candidate height explains them perfectly, to one part in a thousand trillion. That is a fact about planes rather than about anamorphs. Ripple the floor by six centimetres and the family collapses: the true height explains the marks exactly and the nearest wrong one, five centimetres away, leaves two millimetres on a design 1.8 metres wide.

viewing · Anamorphrecovery
residual × 40 · rms 1.62 px at the readings · principal point moved 7.7 pxno single viewpoint — the rays miss by a wedge's worth, varying with incidencethe glass-blind calibration at 40°

A wedge moves the centre, not the lens

A wedge of glass in front of a lens deflects every ray by a little more the further off the axis it goes, which looks like the shape a radial distortion coefficient describes. Fitted together, the two are nearly independent — correlated at 0.16 at most — and a calibration that knows nothing of the glass does not invent a lens: it reports a coefficient of about 0.002, moves its principal point by 4.5 to 14 pixels, and leaves a swirling residual that no radial model takes. The blame goes to the camera's centre, and the residual says so from twenty-two degrees off the axis.

refraction · Slab
floor → footstool → table → book or reversed1.6e-3footstool → book → table → floor or reversed1.9e-2book → table → floor → footstool or reversed4.6e-2footstool → floor → book → table or reversed4.7e-2table → floor → book → footstool or reversed5.8e-2book → footstool → table → floor or reversed9.7e-2floor → book → table → footstool or reversed1.1e-1floor → footstool → book → table or reversed1.1e-1book → floor → table → footstool or reversed1.2e-1table → floor → footstool → book or reversed1.3e-1table → footstool → book → floor or reversed1.5e-1book → floor → footstool → table or reversed1.5e-1residual in habit, log scale · each order with its reversedrawn: floor → footstool → table → book

A tiring panel keeps its order, not its direction

Let a painter's creep grow from one strip to the next as the panel is worked, and the strips' habits carry the order they were drawn in — but only as a line, never as a direction: tiring from the floor to the book and steadying from the book to the floor put the same drift on every strip. Four strips find the order a quarter of the time against a twelfth by chance; six find it nineteen times in twenty. And the order costs the reading its refusal: once it is free, two steady hands fit one tiring hand nearly as well as a tiring hand does.

choices · Habit
divided from the far edge, tiring 5% a bayfrom the near edge, steadying 4.76% a bayfrom the near edge, tiring 5% a bayno creepfar-started against its twin: 3e-14 pxtable strip, splay 1.32, 6 bays, near edge at the bottomthe rows keep the ratio

A strip keeps its ratio, not the end it began

A painter dividing a strip into bays tires as they go, and each bay comes out a little larger than the last. Divide the strip from its far edge instead of its near one and the tiring runs the other way — but the rows record none of it: a strip divided from the far edge by a tiring hand is, to the last digits, a strip divided from the near edge by a steadying one. A whole picture recovers every strip's direction anyway, because one hand shared one rate of tiring across strips of different splay.

choices · Habit
a single angle, 60°, for every partfits to 6.7e-13 px

No solid casts an aspective figure

Fitting the best single rigid view to an aspective figure — head and legs in profile, eye and shoulders turned square — misses its own marks by 2.6% of the drawn height, and no yaw does better than 3.0% in a full sweep. A genuine single-view drawing of the same body fits to 7.6e-13 pixels, and the five rotations recovered from the marks alone match the convention's own list to 0.0e+0°.

conventions · Aspective
-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
drawn along a fixed direction, not from a pointelevation 52°centre-fit refused

What a removed wall costs that a removed roof does not

Fitting a single centre to a building with its near wall deleted lands at 3.0e-15 m — the arithmetic floor — because deleting a wall does not touch the projection, only which surfaces are drawn. Fitting the identical routine to the same building with its roof removed does not return a number at all: handed a bundle of genuinely parallel rays, it refuses outright.

conventions · Fukinuki
8 lamps · 20 mm counts as read8.5% of 9.0 m²

A floor is read along curves

Whatever a shadow says about the floor it landed on, it says only where the shadow is — and a shadow is a curve while a floor is a surface. Shadow curve length grows exactly linearly in the number of lamps, by a fitted exponent of 0.999, and the fraction of floor within two centimetres of one grows more slowly at 0.94, because the curves begin to overlap. At thirty-two lamps, seventy-one per cent of a nine square metre patch has still never had a shadow on it.

light · Twolamps
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
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
the distance pointone mark on the horizonleaves another exact drawingAlberti's sectionone mark per braccio, each from the panelleaves errors each its ownthe measuring pointdividers walked along the measuring lineleaves errors that accumulatea photographnoneleaves a smooth curvethe constant ratioone ratio, applied throughoutleaves a smooth curveone hand step eachand four kinds of trace

One hand step each

Every classical perspective construction has exactly one step a person performs by hand, and the four constructions perform four different steps. That single difference decides everything a finished drawing can say about its maker, because the answers are identical and only the mistakes are not.

construction · Handerror
-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
0.4000.6000.80011.201.40braccia in the pavement (log₁₀)the worst departure of a mark, in pixels (log₁₀)steppedmeasured from the zerothe same hand, laid off two ways√n against n^0.21

Stepped, or measured from the zero

The same hand at the same precision, laying the same braccia off two ways — dividers walked from the last mark accumulate and grow as the square root of the count, while marks set from a common origin do not accumulate at all. The difference is not which method was used — it is where the zero is, and only the second is recorded in the drawing.

construction · Handerror
05101520123how many decades of the control were sweptlargest floor the data cannot rule out (% of the first sample)everything in here is still possiblea floor-free law at 1% noise21.5% at 0.3 decades · 0.00% at 3

What a null result is worth in decades

The first draft of this expected a short sweep to invent a floor, on the reasoning that least squares always spends a free parameter. It does not — on exact data the fitted floor of a floor-free law comes back at three parts in a quadrillion. The failure is the other one and it is worse because it looks like a result. Over a third of a decade at one per cent noise, floors of a fifth of the first sample are still consistent with the data, and the fit reports none while telling the truth.

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
wrong hzcorrectno shapefrom a zerosteppeda rulethe distance pointAlberti's sectionthe measuring pointa photographthe constant ratio60144157203036060read with the panel's own horizon60 drawings each

What a panel says about its maker

The reading assembled over this row, run against every procedure sixty times and scored — with the failures reported as carefully as the successes, because three of the five rows are refusals. A drawing names the class of error in it, not the recipe that produced it, and one procedure it never names at all.

construction · Attribution
0204060204060how oblique the view of the plane is (°)what one pixel costs, against its cost at 20°a ratio of lengths — affinean angle — metric1 px on four corners, one homographya cross-ratio moves by 0e+0

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

foundations · Stratification
how clearly each line belongs to one pencil2 lamps, 5 posts251.5 px100% assigned right3 lamps, 5 posts12.1 px73% assigned right4 lamps, 5 posts38.6 px40% assigned right0.5 px of clicking, lamps spread over 2 mthe counting of unknowns cannot see this

The drawing does not run out of lines

Every post supplies a line to every lamp, so a drawing of five posts offers ten lines to two lamps and twenty to four — the unknowns and the constraints grow together and two posts fix any number of lights. What runs out is the partition, whose margin falls from 251 pixels to six as the share of lines assigned correctly falls from all to just over half.

light · Lightrecovery
00.2500.5000.7501020406080angle off the optical axis (degrees)image radius, against the radius the same lens gives at 90°equidistantequal-areastereographicorthographicflat planeeach curve divided by its own radius at 90°54.0% apart at 45°

Which rule a fisheye obeys, from straightness alone

Four candidate rules for a fisheye lens part by 54.0 per cent at 45° off axis, and a plumb-line fit shown no scene, no camera and no calibration target can still name which one took a photograph — reliably from about 45° of half-field. Below that the four are indistinguishable in the marks, and naming one collapses to guessing.

curved · Fitlaw
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
under the lampa scatter, in planground conditioning 2.1e-1

The arrangement the count cannot see

Five posts laid out five different ways give the same leverage to a sixth and the same separation limit to a quarter, and the sixth arrangement — posts strung out along their own shadows, built to be exactly degenerate — is no worse than the rest. The degeneracy belongs to the family the count does not use, and its conditioning there is exactly zero.

light · Pointcount
five points · worst 2.10 px5 straight lines, drawn as arcs between their vanishing pointsworst 2.10 px at 40° of tilt

The arcs the five-point construction actually draws

The taught five-point construction draws circular arcs between five vanishing points and instructs a draughtsman to graduate the radius evenly. Read that way, the arcs miss a straight line's true image by up to 3.75 pixels on a 300-pixel disc. Read at the stereographic scale instead, the same arcs are exact to 4.3e-13 pixels — the construction was always drawing one projection, and the taught scale was never it.

curved · Curvilinear
lamp, 36 cmthe card's edgecorrect from 17 cm, at 160 mm widea flat floor · band 1.44 m

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

light · Penumbra
the true profileexact marksrms 4.9e-15 m

A shadow edge read as a profile

A lamp, a stick and a camera recover a stepped object's profile to 4.9e-15 m rms when the marks are exact, and to 10.4 mm once they are read to two tenths of a pixel — the same linear law a fitted exponent of 1.001 confirms. What actually sets that number is the angle between the sweeping light plane and the camera's own ray — the amplification is least, 17.0 times a pixel, broadside at 6°, and grows without bound toward -36.1°, where the plane contains the camera's own eye and the recovery keeps none of its marks at all.

light · Scan
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
0.050.10.20.5125105101520braccia in the pavement, drawn to one page widthpixelsthe diagonal, by straightedgethe transversals, by fittingboth read on one pavement47× at eight braccia

The rule is exact for a floor that lengthens

The constant-ratio rule for spacing receding boards is an exact perspective — to the last digit, on the panel's own horizon — of a floor whose boards grow by the inverse of the ratio, 0.74 braccia deep at the front and 1.31 at the back on an eight-braccio pavement. The orthogonals agree with that floor. What says the tiles were meant to be square is a diagonal, which bends 8.1 pixels off straight where the reader's fitting test finds a sixth of one.

wrong · Taughtratio

Named alongside it

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

ConditioningDemonstrationleast squaresModel errorHomographyIdentifiabilityVanishing pointinstrument limitcentre of projectionCamera calibrationFocal lengthPrincipal point

All concepts