What each system gave up

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.

Worth reading first: The picture whose lines spread · One, two and three point are one construction.

One camera means one horizon, not one point narrowed the test a picture of parallel surfaces has to pass. Requiring every surface’s sides to meet at one point charges 28.7 pixels to a picture one camera really took, because one camera gives parallel planes a shared vanishing line and gives them a shared point only when the furniture is all square to the same wall. Turn a footstool a few degrees and the picture is still one camera’s.

Every picture that verdict was reached on has something else in common, and it is not a decision anyone made. The plane is tilted toward the eye about the camera’s own horizontal axis, so one of the plane’s two directions runs parallel to the image and its vanishing point sits at horizontal infinity. Each surface’s vanishing line is therefore a horizontal, a horizontal is fixed by one number, and a surface’s whole contribution to the test is a height.

Turn the plane about the view direction as well and none of that survives. Both vanishing points become finite, the vanishing line acquires a slope as well as a height, and a group of surfaces must now agree about two numbers. The question is whether the count changes character there — whether the extra number makes groups easier to tell apart, because more has to agree, or harder, because the redraw has a second free number to spend absorbing a hand’s scatter.

The answer is neither, to within a few per cent. What the slope does do is expose a defect in the redraw the count has been priced in since it was first measured.

A plane tilted two ways

The picture is the same furniture as before — a floor, a footstool, a table and a book, each turned by its own angle in its own plane, all four on parallel planes, photographed by one pinhole. The only change is that the shared plane is turned about the view direction before anything is laid on it.

Four surfaces on parallel planes tilted two ways: one vanishing line, running at 22.0 degreesA floor, footstool, table and book on parallel planes, each turned by its own angle in its own plane, photographed by one camera. The plane is tilted toward the eye and turned 22 degrees about the view direction as well, so neither family of any surface's edges is level on the page. Every surface's two vanishing points are finite, and the line joining them is the same line for all four, to 6.1e-12 px across the page. It runs at 22.000 degrees and lies 571 px below the lowest surface drawn here, so the guide at the foot of the frame carries its slope rather than its place. The slider turns the plane about the view direction.the shared vanishing line, 22.0°four surfaces, four turns, one camera6e-12 px apart
Fig. 1 Four surfaces on parallel planes tilted toward the eye and turned twenty-two degrees about the view direction, with the sides of each extended to show where they meet. All four vanishing lines are the same line, to the arithmetic floor, and it runs at 22.0 degrees. The slider runs the turn from none to thirty-two degrees.

One camera and parallel planes still give one vanishing line exactly — that is the control the whole test rests on, and it survives the turn to the arithmetic floor. What changes is what the line is. At no turn it is a horizontal and a surface reports a height; at twenty-two degrees it runs at 22.000 degrees across the page and a surface reports a height and a slope.

That is not a cosmetic difference. A picture can now fail the test by tilt as well as by height: two surfaces whose lines cross in the middle of the page agree there and disagree at both edges, and a test that read the lines at one place would call them the same line. The spread between two lines is therefore read at both page edges and charged at the worse of them, which is how one camera means one horizon, not one point already compared them and why nothing in that comparison had to change.

The redraw that has nothing left to spend

A test that says yes or no is not a count. What makes a count possible is a distance — how far a picture is from passing — and a camera count needs a tolerance established that the honest distance is a redraw: how many pixels the far corners must move before the surfaces do share a line.

The redraw those readings use keeps each surface’s near edge and the height of its far edge, and slides the two far corners sideways. Write the far edge’s demand as a single number and the arithmetic is short: only the difference of the two moves is constrained, so a surface has one of its two moves left over, and splitting the demand evenly spends it. One constraint, two moves, one to spare.

Put a slope in the picture and the spare one is gone. Sliding both far corners along the near edge’s direction no longer leaves the far edge parallel to anything in particular, so the edges’ vanishing point must be steered onto the target line as well as the sides’. Two conditions, two moves, nothing left.

Sliding the far edge costs 75444 px a quarter-degree off the line; rebuilding costs 0.075What it costs to force all four surfaces of the skewed picture onto a target line turned off the one they share. Sliding both far corners along the near edge is two moves against two conditions, so the move is determined rather than chosen: a quarter of a degree off costs 75444 px a corner and the cost grows as the target approaches the right line rather than falling toward it. Rebuilding each surface leaves its far corners free, four numbers against the same two conditions, and costs 0.075 px at the same place and 0.602 px two degrees away. A cost that is not continuous in its target is not a distance, and a count cannot be priced in it.0.111010010001000010⁵-2-1012degrees from the line the picture actually hasredraw, root-mean-square pixels a cornerfar edge slidsurface rebuiltthe skewed picture, target line turned off its own1e+6x apart at 0.3°
Fig. 2 What it costs to force all four surfaces of the turned picture onto a target line turned off the one they share. Sliding the far edge is determined rather than chosen: a quarter of a degree away costs 75,444 pixels a corner, and the cost rises as the target approaches the right line. Rebuilding each surface leaves its far corners free and costs 0.0747 pixels at the same place.

A determined move is not a small one. At the line the picture actually has, sliding the far edge costs 3×10123\times10^{-12} pixels; a quarter of a degree away it costs 75,444. The cost rises without bound as the target approaches the right line from either side, because steering a vanishing point onto a nearly-right line means pushing it out toward infinity along that line, and the corner that pushes it there has to travel.

A quantity that is not continuous in its target is not a distance. The count is built on minimising over target lines, and a minimisation over a razor valley is a search for a needle rather than a measurement. So the instrument has to change, and the change is not a patch.

The redraw that rebuilds the surface

The way out is to stop nudging the drawing and start rebuilding it. Let both far corners move anywhere on the page: four free numbers against the same two conditions, with two left over — the same arithmetic the level picture enjoyed, now arrived at honestly rather than by the target line happening to be horizontal.

Every quadrilateral with a given near edge and a given vanishing line is reached exactly once by choosing where its sides meet on that line and which of the lines through a fixed point its far edge is. So the nearest such drawing is found rather than approximated, the objective is smooth, and the same figure shows it: 0.0747 pixels a quarter degree off, 0.299 at one degree, 0.602 at two, and nothing at all at the line.

The two numbers a group must now agree about are not worth the same, and the rebuild prices them against each other directly. Moving the target line one degree off the picture’s own costs 0.299 pixels a corner; moving it ten pixels up the page, with no change of angle, costs 0.189. A degree of slope is worth about sixteen pixels of height, on a picture 690 pixels wide, and the exchange rate is the page’s width rather than anything about the furniture — a line turned a degree has moved six pixels at each edge and none in the middle, and a surface is charged for where its own corners are.

That matters for reading a real picture, because the two disagreements arrive from different places. A group of surfaces drawn too high or too low is a group whose sides meet in the wrong place, which is the error a painter makes stepping a construction. A group drawn at the wrong angle is a group whose plane is turned, which is a different mistake and a rarer one. The rebuild charges both in one currency and does not say which it found; separating them is the sweep the last section makes.

This is the second time this field has found a test measuring its own convenience. The shared-point test charged a real camera’s picture 28.7 pixels because it demanded a shared receding direction nobody had asked for. The sliding redraw charges one because it holds each far edge at the height it happens to be drawn at, and a height on the page is not a property of the drawing when the drawing has been turned.

The sliding redraw charges a picture one camera took up to 1.11 px; the rebuild charges nothingThree pictures, each taken by a single camera of rectangles on parallel planes, and what each redraw charges them for failing to share a vanishing line. Where every surface is square to one column and its edges level, sliding the far edge is right and costs 1.0e-13 px. Turn the surfaces in their own planes and the same rule charges 0.9547 px, because it holds each far edge at its drawn height, which is a fact about the page and not about the drawing. Skew the plane as well and it charges 1.1057. Rebuilding the surface charges 1.2e-13 px in all three.square to one column: slid0square to one column: rebuilt0turned in their planes: slid0.955turned in their planes: rebuilt0turned, plane skewed: slid1.106turned, plane skewed: rebuilt0three pictures one camera really tookworst charge 1.11 px
Fig. 3 Three pictures, each taken by one camera of rectangles on parallel planes, and what each redraw charges them. Where every surface is square to one column and its edges level, both are right. Turn the surfaces in their own planes and sliding the far edge charges 0.9547 pixels; turn the plane as well and it charges 1.11. Rebuilding charges 101310^{-13} in all three.

The control is the useful half. On the stack whose surfaces are all symmetric about one column — the picture every earlier reading was run on — the two redraws agree to 3×10143\times10^{-14} pixels, so nothing measured there is disturbed. The charge appears exactly when a surface is turned in its own plane, which is what one camera means one horizon, not one point introduced and what a room full of furniture looks like. Just under a pixel is not large beside the tolerances that essay swept, and it is charged to a picture that is innocent, so it belongs in the count as an error and not as evidence.

What the slope costs the count: almost nothing

With a redraw that survives the slope, the question one camera means one horizon, not one point left can be put directly. Take a picture one camera drew, let a hand displace every far corner by a stated amount, and measure the redraw the resulting drawing needs — the tolerance at which a one-camera picture stops reading as one camera. Then do it again at every turn of the plane from none to thirty-eight degrees.

A slope changes what a 4 px hand costs the test by 9 per centThe redraw a one-camera picture needs after a hand has displaced every far corner by 4 px, against how far the plane is turned about the view direction, over 16 hands at each turn. The median runs from 3.000 px to 3.272 px across turns from 0 to 38 degrees, a spread of 9.1 per cent against a quartile band 24 per cent wide. A group must agree about two numbers rather than one, and the line it must agree on has two numbers rather than one, and the two cancel.012340102030the plane's turn about the view direction, degreesredraw a hand of 4 px forces, px a cornermedianquartiles16 hands at each turn, 4 px a corner9.1% across the sweep
Fig. 4 The redraw a one-camera picture needs after a hand has displaced every far corner by four pixels, against how far the plane is turned about the view direction, over sixteen hands at each turn. The band is the quartiles of those hands. The median runs from 3.000 to 3.272 pixels across the whole sweep.

The median moves by nine per cent across the sweep, against a quartile band twenty-four per cent wide — which is to say it does not move. A group must agree about two numbers instead of one, and the line it must agree on has two numbers instead of one, and the two cancel.

That cancellation is worth stating as arithmetic rather than as a coincidence. Each surface contributes two conditions, whether the line is level or sloped, because a vanishing line is two numbers either way; what the level picture hides is that one of those conditions is satisfied for free, by the far edge staying level when the corners slide sideways. The freedom the redraw gains is exactly the freedom it needs to satisfy the condition it also gains. Neither the count nor its floor changes character, and the expectation that more constraints must mean sharper separation was wrong in the direction that matters.

Where the slope does bite

The count does not change and the floor does not change, but one thing about the picture genuinely does, and it is the thing a reader with a ruler would be caught by.

Two groups in a picture with no slope have vanishing lines that are both horizontals, so they are parallel: their separation is one number, the same everywhere across the page, and it does not matter where a reader measures it. Two groups in a turned picture can have lines at different angles, and lines at different angles cross.

Two groups 10 degrees apart agree to 1.4 px at one side of the picture and disagree by 151 at the otherThe vanishing lines of two groups of parallel planes in a turned picture, the second group's plane turned 10 degrees further about the view direction than the first's. The lines run at 22.00 and 32.00 degrees and cross at x = 7, which is inside the page. Their separation is 1.4 px at the left edge, 74.7 at the middle and 150.9 at the right. A comparison made at one place would call them the same line; the redraw that forces both groups onto one charges 1.315 px a corner. Two groups in a picture with no slope in it have parallel vanishing lines and cannot do this.1e+31.2e+30172345517690across the page, pxwhere each group's vanishing line runs, pxthey cross at x = 7151 px apart here1.4 px apart heretwo groups, planes 10° apart about the view directionredraw 1.32 px a corner
Fig. 5 Where each of two groups’ vanishing lines runs across the page, when the second group’s plane is turned ten degrees further about the view direction than the first’s. They cross near the left edge. The slider runs the disagreement from two degrees to twenty.

At ten degrees apart the two lines run at 22.00 and 32.00 degrees and cross at x = 7, which is on the page. Their separation is 1.4 pixels at the left edge and 150.9 at the right. A reader comparing the two lines at one place — the middle of the picture, or wherever the furniture happens to be — could read anything between those and report it as the disagreement.

That is why the spread between two lines is charged at the worse of the two page edges rather than measured once, and it is the one place where a level picture’s habits are actively misleading rather than merely incomplete. The redraw does not have the problem, because it never compares two lines at all: it asks what it costs to put every surface on one line, and the crossing case costs 1.315 pixels a corner, which a hand good to two pixels would hide.

The count, in degrees of the depicted world

A count in pixels of redrawing is honest and hard to use. What a reader of a picture wants to know is how far two pieces of furniture have to be from parallel before the picture says so, and the rebuild answers that directly, because its charge is very nearly proportional to the disagreement.

A degree of disagreement between the planes costs 0.247 px, and a hand of 2 px hides 6 degrees of itFour surfaces in two groups whose planes differ by a stated angle, redrawn onto one vanishing line. The charge is proportional to the disagreement, 0.2471 px a degree, and the level and turned pictures lie on one another: 0 degrees of turn gives 3.459 px at 14 degrees apart, 22 degrees of turn gives 3.442 px at 14 degrees apart. The horizontal lines are what a hand slipping 1, 2, 4 px a corner costs a picture one camera drew, 0.76, 1.53, 3.04 px, so a hand of that size hides a plane disagreement of 3.1, 6.2, 12.3 degrees. That is the count expressed in the depicted world rather than on the page.01230510how far the two groups' planes differ, degreesredraw needed to force one line, px a cornera hand of 1 px — 3.1° hiddena hand of 2 px — 6.2° hiddena hand of 4 px — 12.3° hiddenlevelslopedtwo groups of parallel planes, drawn 14° apart at most0.247 px a degree
Fig. 6 Four surfaces in two groups whose planes differ by a stated angle, redrawn onto one vanishing line, level and turned. The charge is 0.247 pixels a degree and the two pictures lie on one another. The horizontal lines are what a hand slipping one, two and four pixels a corner costs a picture one camera drew.

A degree of disagreement between two groups’ planes costs 0.247 pixels a corner, and it costs the same whether the picture is level or turned twenty-two degrees. A hand that places each far corner to within a pixel costs 0.76 pixels, which is 3.1 degrees; to within two pixels, 6.2 degrees; to within four, 12.3.

So a divergent picture whose table and footstool are drawn on planes ten degrees apart is, in the hands of an ordinary painter, a one-camera picture. A camera count needs a tolerance put a floor under the count in pixels and found it running from 0.17 to 1.34 times a hand’s own scatter across a hundred and twenty hands; this converts that floor into the quantity a reader cares about, and the conversion is a single constant. That is a strong statement and it is the right shape for the argument this field is making: the reason a divergent picture does not convict its maker of using several viewpoints is not that the test is weak but that the hand is wide, and the width is measurable.

What this does not settle

The rebuild is powerful, and it can fit a picture nobody photographed. Handed four surfaces on planes that are genuinely not parallel — the stack this field keeps for exactly this purpose — it charges 3.69 pixels rather than refusing outright. That is 101310^{13} times what it charges a real camera’s picture and it is still only as much as a four-pixel hand. The instrument has no absolute verdict in it, only a distance, and the paragraph above is what the distance buys.

A crossing pair is harder to find than to describe. The section above builds two groups whose planes differ about the view direction, which makes their lines cross near the page. Two groups differing about the tilt axis instead — a table steeper than the floor under it — keep parallel lines however far the picture is turned, and every measurement in this essay’s sweep is of that kind. Which disagreements a real divergent picture actually holds is not something this settles.

The plane’s turn is not the painter’s. Turning the plane about the view direction is the cleanest way to give every vanishing line a slope while keeping one camera’s guarantee exact, and it is not a claim that icon painters turned their tables that way. A picture drawn freehand has slopes in it for reasons that are not a rigid turn of anything, and those are not modelled here.

The hand’s slip was modelled as independent at every corner. A painter who is consistently out in one direction across a whole picture puts a systematic error into the very quantity the line is fitted to, and the sweep above contains none of that. It is the same limit the rows count hands, not cameras records for its own reading, and it is the error both are least protected against.

And the rows are untouched. The rows count hands, not cameras found that the lines inside a strip charge a camera nothing at all and fix a hand’s habit instead. Nothing in this essay changes that: a turn of the plane moves where the rows fall on the page and leaves the habit they report exactly where it was, since a habit is read from a strip’s own sides and rows and a turn takes both with it.

And nothing here touches the lens. The count is a statement about drawn quadrilaterals and stays one; turning it into degrees of depicted tilt still needs a focal length nobody can read off the page, which four surfaces, and no one camera that draws them measured at a factor of seven between a short lens and a long one. The degrees in the section above are degrees between two planes, which is a difference and needs no lens.

The slope, the redraw and the count

A plane turned about the view direction gives every surface two finite vanishing points and every vanishing line a slope, and one camera still puts four such surfaces on one line to 9×10149\times10^{-14} pixels.

The redraw the count was priced in does not survive that. Sliding the far corners along the near edge is two moves against two conditions, so the move is determined and the cost explodes — 75,444 pixels a quarter of a degree from the right line, against 3×10123\times10^{-12} at it. Rebuilding the surface instead leaves two numbers to spend, costs 0.0747 pixels at the same place, and repairs something the level picture was already hiding: the sliding rule charges 0.9547 pixels to a picture one camera really took, as soon as its surfaces are turned in their own planes.

With that redraw the slope changes nothing. Four pixels of a hand cost the test 3.000 pixels at no turn and 3.272 at thirty-eight degrees of it, inside a quartile band three times as wide. And the charge is linear in what a reader actually wants to know: 0.247 pixels for every degree two groups’ planes are apart, so a hand good to two pixels hides six degrees of disagreement and a hand good to four hides twelve.

Still open: whether a slope lets the far edges be trusted

Both redraws here move only the far corners, and that is a choice nothing has justified. It is inherited from the constructions the earlier readings measured, where a painter draws the near edge of a strip first and the far edge last, so the far edge carries the accumulated error and the near edge is the datum.

A turned plane makes that assumption checkable for the first time. With no slope, moving a near corner sideways and moving the opposite far corner sideways do very nearly the same thing to a surface’s vanishing line, so there is nothing in the drawing to say which was misplaced. With a slope, the two act differently — a near corner moves the line’s height and its slope in one proportion and a far corner in another — and a redraw allowed to move all four corners, at a stated cost each, would distribute the blame rather than assume it.

The measurement that follows gives every corner a move and a weight, sweeps the weight from “the near edge is exact” to “all four are equally suspect”, and asks two things: how much the count changes across that sweep, and whether the redraw’s own distribution of blame agrees with where the error was actually put when the picture was built by displacing near corners instead of far ones. If it does, a picture can be asked which of its edges its painter drew first.

Shares its objects with

Essays that name at least two of the same things, and that neither author linked.

Named objects

A flat tag is an object no other essay names yet.

Camera tiltHorizonModel errorProjective invariantreconstruction ambiguityResidualToleranceVanishing point