Invertibility — where it appears
Named by 4 essays across 3 fields — each of them below, with the objects they name alongside it.
The cone that reads the floor
A conical mirror standing on a design turns it into a picture, and the map it performs is exact, one-to-one, and not a projectivity — a homography fitted to four of the marks returns those four to 7e-13 mm and puts the rest 2480 mm away, on a design 369 mm wide. The reason is that the cone turns the annulus inside out: the middle of the picture comes from the far edge of the floor and the rim from the near one.
Undoing a picture made on a curve
Three rounds of work here have measured what a curved receiving surface costs going forward — 5.67 mm on a dish, 9.07 mm on a ridge, 529.4 mm on a vault. None of them asked whether the design can be got back. It can, exactly, and the price is stated precisely: you have to supply the surface. Told the floor, the recovery returns a design to 1.1e-12 mm; told nothing, and fitting the four marks every rectification tool fits, it is 111 mm out.
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 it follows every one of them more closely than the polynomial at every field from forty degrees to eighty — a hundred times more closely for the equidistant law at forty, and the stereographic law exactly.
A stereographic fisheye is a division model
The division model divides the picture radius by one plus a coefficient times its square. The fits that compared it with the polynomial were not of that model: they multiplied instead, and the model they measured has neither a fold nor a horizon. Fitted as it is written, the division model follows every fisheye law more closely than the polynomial at every field from forty degrees, and the stereographic law it follows exactly — the law is the model, with a coefficient of minus a quarter. Its horizon then turns out to sit beyond the lens's own ninety degrees, and pinning it there is a trade rather than a free constraint.
Named alongside it
The objects these essays reach for when they reach for this one.
AnamorphosisBarrel distortionCamera calibrationDevelopablefield of viewFisheyeHomographyInverse projectionModel errorProjective mapRadial distortionRay tracing