Colour Science & Perception
what the eye settles, and what it cannot
Concept

Principal components — where it appears

The directions along which a set of measured curves varies most, ordered by how much variance each accounts for. How many are needed to reach a stated share is the effective dimension of the set, and it is what decides whether a recovery problem is solvable.

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

How short of determining the light a photograph is, as the scene grows. Each cell is the number of unknowns left over after every equation the image supplies: three sensors, a three-dimensional illuminant, and reflectances confined to a linear model of the dimension on the left. At one and two dimensions more surfaces close the gap. At three the gap never closes, because each further surface adds three equations and three unknowns; at four it widens. The count is arithmetic and has no algorithm in it.

An image does not determine the light

A photograph of a scene under one illuminant gives three numbers per surface and asks for the illuminant plus three numbers per surface. The count closes only if reflectances lie in a two-dimensional model, and no number of surfaces helps — at three dimensions the alternative scenes can be written down, and they reproduce every sensor response exactly.

scene · Scene What each fitted thing in these essays carries, what its data fix, and what is left. Three columns per row: how many numbers the model has, how many the stated data determine, and the difference — the dimension of the family that fits equally well. The third column is the one nobody publishes. A zero there does not mean the model is right; it means it is determined, which is a much weaker property and is compatible with being determined badly, as the camera row is.

A fit can be exact and empty

Every fitted object here reports one number, the residual on the data it was fitted to, and every one of them has two more that nobody publishes — how many of its parameters the data actually determine, and how large the family of equally good answers is. The third column is where the failures live.

limits · Limits What a fourth reflectance dimension costs the theorem that a change of light is a matrix. Four rising curves on axes of the fourth dimension's amplitude, left to right, against what is left of daylight to tungsten after the exact 3×3 change-of-light matrix has been applied, in ΔE₀₀. All four begin at exactly zero: on the three-dimensional family the matrix is solved rather than fitted and there is no remainder at all, which is the theorem this collection's adaptation argument is built on. Adding a fourth reflectance dimension breaks it, and how badly depends far more on the fourth function's shape than on its size — at five per cent amplitude the four shapes cost 0.329, 0.572, 0.063, 0.124 ΔE₀₀ respectively, a factor of 9.1 between the dearest and the cheapest. For scale, the smallest von Kries residual anywhere in the census is 0.26 ΔE₀₀, so the cheapest of the four is a quarter of it and the dearest is twice it.

A theorem about a family

A change of light acts on the test surfaces used here as an exact 3×3 matrix with no residual whatsoever, and the whole adaptation argument is built on that being exact. It is exact because the surfaces span exactly three dimensions, and they span exactly three dimensions because three basis functions were written down.

scene · Scene Which fourth dimensions are expensive, and how fine is too fine to matter. Two curves on axes of how many half-cycles a cosine fourth basis function makes across the visible band, against what it costs the matrix theorem in ΔE₀₀, at a fixed ten per cent amplitude. Both curves touch zero at exactly one and two half-cycles: those are the family's own second and third basis functions, so a fourth coefficient along them adds no dimension and a change of light stays exactly a matrix. Between them the cost climbs, reaches a maximum, and — for the smooth source — falls away again, because structure finer than the scale on which three broad cone sensitivities differ integrates to nearly nothing. The two curves part company at the fine end. Under daylight-to-tungsten the cost has fallen by a factor of 2.2 from its peak; under daylight-to-a-triphosphor-tube it has barely fallen at all, because a source with three narrow emission lines has structure of its own at that scale for the surface's structure to beat against. The observer is identical in both curves.

A fourth dimension has a shape

How much a fourth reflectance dimension costs spans a factor of nine across four equally plausible shapes at one amplitude, and the expensive ones are not the shapes a variance figure would identify. The band that hurts is set by the illuminant rather than by the eye, which is why a triphosphor tube and a tungsten lamp disagree about it.

light · Light

Named alongside it

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

ReflectanceBasisChromatic adaptationDegrees of freedomDimensionalityIdentifiabilityLinear modelMetamerismTest setCalibrationColour constancyCone fundamentals

All concepts