Concept

Fundamental matrix — where it appears

The array taking a point in one picture to the line its match must lie on in the other, with no scene in it. It is recoverable from eight correspondences, and the recovery is conditioned by the basis those points are read in rather than by how accurate they are.

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

epipoleepipoleleft pictureright pictureepipole from 44 correspondences vs the projected eye: 1.1e-9 px2.60 m between the eyes

The image of the other eye

Two photographs of one courtyard, and in each of them a point that is the other camera. It is computed from forty-four matched marks and nothing else, and it lands on the projection of the other eye to about a billionth of a pixel.

twoviews · Epipole
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
0.5120.1110100how finely each point is read off the picture (px, log scale)worst epipolar error against the exact geometry (px, log scale)raw pixelscentred and scaled1.1× apart at 0.25 px, 29.9× at 4 pxspread 102 against 2.5e+5

Eight points and the basis they are read in

The linear system that recovers a fundamental matrix is written in whatever coordinates the marks were read in, and pixel coordinates are a bad choice. Centring and scaling them first is worth nothing at a quarter-pixel reading and a factor of thirty at four.

twoviews · Eightpoint
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

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.

twoviews · Cheirality
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
left pictureright pictureevery one of them fits every mark1.6e-6 px

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.

twoviews · Planar
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

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.

manyviews · Degenerate
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

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.

twoviews · Planar
-2e-7-1e-70-0.800-0.700-0.600-0.500α, the mix of the two nullspace directionsthe determinant that a fundamental matrix must make zeroa cubic with three real roots3 matrices, all exact

Seven marks, three answers

Seven correspondences leave a two-dimensional nullspace, and the requirement that a fundamental matrix be singular is a cubic in the mix — one or three real roots. Here it has three, and all three satisfy every one of the seven marks to 8.9 × 10⁻⁹ pixels. The eighth mark, withheld, separates them by more than an order of magnitude.

twoviews · Eightpoint
both explain both photographs exactly11.4 m apart, median

The surface two pictures cannot separate

There is a quadric through both camera centres on which two genuinely different motions draw identical pictures. Built explicitly, forty-two marks satisfy both epipolar geometries to 2 × 10⁻¹³ pixels, and the two scenes they reconstruct place the same mark at 15.6 metres and 35.1. The design matrix's nullspace has two dimensions rather than one, which is the seven-point situation arrived at from the other side.

twoviews · Critical
the lenscorrect from 14 cm, at 160 mm wide12 pairs · 2.8e-13 px

One shutter, two views

A photograph with a mirror in it is a stereo pair, and a peculiarly well-behaved one. Its fundamental matrix is skew-symmetric, so both epipoles are the same point; that point is where the camera would see its own lens; and every line joining a mark to its reflection passes through it, to 1.4 × 10⁻¹² px. The baseline is twice the distance to the glass, which is the one number a single view cannot supply and a tape measure can.

mirrors · Mirrorpair
the lenstwo marks, a straightedge, no arithmetic2.8e-13 px

Two matches are enough

A general fundamental matrix has seven free numbers and needs eight correspondences. A mirror pair's has two, and two correspondences fix it — with a straightedge, on a print, by drawing the line from each mark to its reflection and marking where the two cross. Given the same sixteen marks read to four tenths of a pixel, the constrained fit lands 4.8 times closer to the truth than the eight-point algorithm.

mirrors · Mirrorpair
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
the second pictureepipole22 parallax lines miss the epipole by at most 1.7e-10 pxsecond camera stepped forward

Two marks off a known plane find the other eye

Map a courtyard's ground from one picture into the other, and every raised mark lands somewhere the map did not send it — displaced along a line through the image of the other camera, to a fifth of a billionth of a pixel. Two such marks put that image where it is, and with it the whole epipolar geometry.

twoviews · Planar
left pictureright picture12341234cross-ratio 3.012836 left · 3.012836 rightagree to 8e-12

The two pencils keep one number

Four lines through the image of the other eye in one picture, and the four epipolar lines they become in the other. The angles between them change by up to 11.4°; their cross-ratio is 3.012836 on both sides, to eight parts in a trillion. Three pairs of lines fix the map between the pencils, and the fourth is predicted to a third of a billionth of a pixel.

twoviews · Epipolar
the lens, in the left mirrorcorrect from 15 cm, at 160 mm wide12 marks × 3 views

Two mirrors are three cameras

A photograph with two mirrors in it holds three views of the scene from three places, at baselines of 2.90, 3.10 and 2.26 metres. Two of the three pairwise geometries are mirror pairs and are skew; the third is a rotation by twice the angle between the mirrors, and it is not new evidence — five numbers read off the print rebuild it to 9.4 × 10⁻¹⁴ pixels, where a general three-view arrangement needs eighteen.

mirrors · Mirrorpair
correct from 14 cm, at 160 mm wide5.1e-12 px

A symmetric object is its own stereo pair

A building with a plane of symmetry photographed once gives fourteen correspondences whose joining lines meet at one point to 1.9 × 10⁻¹² pixels, a skew-symmetric matrix, and the object's whole shape to fifteen digits — with no mirror anywhere and no second exposure. What it does not give is the size, and the instrument that decides whether any of it applies is the same meeting point, which opens to 12.7 pixels when the symmetry is half a per cent out.

mirrors · Mirrorpair

Named alongside it

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

CorrespondenceEpipoleBaselineEpipolar geometryreconstruction ambiguityConditioningDegeneracydegrees of freedomHomographyStereo pairCritical surfaceDegenerate configuration

All concepts