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

Invariance — where it appears

Whether a quantity means the same thing after a transformation the data cannot detect. It is the test that separates a claim about the eye from a claim about a chosen set of coordinates, and on this site four ordinary sentences out of nine fail it.

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

The locus and the triangle, drawn on one of the diagrams. The spectral locus and the sRGB triangle in CIE xy (1931) — the default of the discipline, and the default used here. The triangle covers 33.6% of the enclosed area here. Nothing about the observer or the display has changed between this picture and any other in the family; the coordinates have, and the coordinates are what an area is measured in.

The diagram has no area

A chromaticity diagram is a projective picture of a three-dimensional space, and the freedom colour matching leaves in the observer acts on it as a projective map. Straight lines and mixture ratios survive that; area, distance and angle do not — so half of what the diagram is used to say is a statement about the paper.

matching · Gamut What share of the diagram the sRGB triangle covers, in twelve published coordinate systems. Each row is a chromaticity diagram somebody has printed, and each bar is the fraction of the enclosed visible area that the sRGB triangle covers in it. Every row describes exactly the same observer and exactly the same gamut. The answer runs from 8.5% to 38.4%, a factor of 4.52, because area is not preserved by the projective maps that carry one of these diagrams to another. The familiar "about a third" is a fact about CIE xy.

Two thirds is not a property of the eye

It has been said from the beginning here that about two thirds of the chromaticity diagram cannot be shown on a screen. The figure is right, on the diagram it was measured on, and across twelve published diagrams the same triangle covers anything from 8.5 to 38.4 per cent of the same locus. Counting stimuli instead gives an answer that does not move.

matching · Gamut MacAdam's ellipses, drawn on one diagram. The twenty-five measured discrimination ellipses at 10× actual size, on CIE xy (1931). Mean axis ratio 2.95 — one would mean every contour is a circle — and a size spread of 10.42 between the largest and the smallest. Both numbers depend on the plane, which is why the 1976 revision existed; neither can be taken to one, which is why the revision did not finish the job.

No diagram makes them circles

Every chromaticity diagram is a projective picture of the same measurement, so how badly MacAdam's ellipses fail to be circles can be minimised over the whole family of them. The best plane there is still leaves the average ellipse twice as long as it is wide — which makes the residual a fact about the eye rather than about anybody's choice of primaries.

difference · Metric The same formula, applied after six different changes of basis. CIELAB's arithmetic — divide by a white, take a cube root, difference the results — run on six of the bases the matching data leave free. A linear change of basis leaves every match alone; a cube root does not commute with one, so the space, and therefore every colour difference computed in it, depends on which basis was in place before the nonlinearity. CIELAB's own choice gives an axis ratio of 3.44 and the best row here is LMS (confusion points) at 2.60.

A difference needs a basis too

A linear change of coordinates leaves every colour match exactly where it was. A cube root does not commute with one — so a lightness–chroma space, and every colour difference computed in it, is a property of the basis that happened to be in place before the nonlinearity. CIELAB's basis was chosen in 1931 for reasons that had nothing to do with difference.

difference · Metric Which of this collection's own claims survive a change of basis, and which are about the paper. Nine sentences this site says, sorted by whether they mean the same thing after the observer's three curves are replaced by a nonsingular combination of themselves. 5 of the nine do. The four that do not are not thereby wrong — they are statements about a chosen set of coordinates, and they are true of those coordinates. What they cannot be is statements about the eye, which is how every one of them is usually read.

Which of these is a convention

Nine ordinary sentences from this collection, put through one test — do they mean the same thing after the observer's three curves are replaced by a nonsingular combination of themselves? Five survive and four do not, and none of the four is wrong, because each is a statement about a set of coordinates being read as a statement about an eye.

limits · Limits Four different bases, one adaptation model, one number. The middle row of the basis built from the confusion points multiplied by 0.21, 1, 3.7 and 11 in turn, with the resulting adaptation residual drawn as a bar in each case. The four bars are the same height to 9e-16 of a ΔE00, because the row's scale cancels exactly between the gain and the inverse. Three of the nine numbers a colour match leaves free are invisible to an adaptation model, which is why the six the dichromat data supply determine it outright with nothing left to fit.

The three numbers a gain cannot see

Colour matching leaves nine numbers free. Three dichromat confusion points fix six of them and three choices of unit fix the rest — and it turns out that a von Kries gain is exactly blind to those last three. So the dichromat data do not merely constrain an adaptation basis. They determine it, with nothing left over to fit.

eye · Cones Five answers to how far the ellipses are from circles. Five mean axis ratios on the same twenty-five measured ellipses, measured the same way in every row: the boundary points carried through, the longest radius over the shortest, averaged. What differs is which class of map is allowed. The first two rows are chromaticity diagrams, which divide by a sum; CIE xy as printed leaves 2.95 and the best diagram there is leaves 2.02. The last three are lightness–chroma spaces, which divide by a white point; CIELAB as specified leaves 3.44, the best space with no compression leaves 2.33, and the best space with a cube root in it leaves 1.61. Neither family contains the other, and only the last one gets below two.

A compression goes below the floor

Elsewhere this collection minimised the anisotropy of MacAdam's ellipses over every chromaticity diagram there is, found 2.02, and called the residual a property of the eye. It is a property of the eye seen through a projective picture. A cube root after the right basis reaches 1.61 on the same twenty-five ellipses.

difference · Metric A display's primaries, scored as the adaptation basis they are. Four primary sets ranked by the mean ΔE00 an adapted observer is left with when the white point moves — which for a display is a gain on R, G and B, and so a von Kries adaptation in the inverse of its own primary matrix. sRGB leaves 2.36, as much as scaling XYZ directly and therefore as much as having no cone basis at all. Rec. 2020 leaves 1.09, better than every published adaptation transform fitted to corresponding-colour data. Nobody chose that: it is what wanting a wider gamut does to a primary's spectral selectivity.

The gamut race chose the basis

Twenty years of arguing about how much of the diagram a display should cover has produced primaries whose inverse is a better adaptation basis than any transform ever fitted to corresponding-colour data. On the invariant count of what those displays can actually show, the same twenty years produced nothing at all.

matching · Gamut Nine eigenvalues, six of which exist. Nine points on a logarithmic vertical axis: the eigenvalues of the Hessian of the adaptation residual at its own optimum, largest to smallest. The first six run from 6.8×10² down to 7.6×10⁻¹, a condition number of 890. Then the axis drops: the seventh is 1.9×10⁻⁴, and the last three are separated from the sixth by a factor of 4.0×10³. Those three are not small curvatures. They are the finite-difference truncation error on directions along which the objective is exactly constant, and a shaded band marks them as the numbers the objective does not have.

The rank is the invariance

A von Kries gain cannot see the scale of a row of its basis. That is an identity, proved in a line, and it can be measured instead — as the rank of a second-derivative matrix. Both objectives this collection minimises over the observer's nine free numbers have a Hessian of rank exactly six, and the three directions they cannot see are the three scalings, to a hundredth of a degree.

eye · Cones The two tabulation choices over forty-two surfaces, under a tungsten lamp at 2856 K. Each column is one choice, measured over a family of forty-two analytic reflectances rather than on a single example: an absorption band of stated centre, width and depth. The four marks are the smallest, the median, the ninety-fifth percentile and the largest cost in ΔE₀₀, logarithmically. Under a smooth light the range is worth 6.3 times the step at the median, so a collection wanting one repair should widen its range rather than refine its step — and under a fluorescent tube the ranking reverses outright.

A neutral has no grid

A perfectly flat reflectance computes to exactly the same colour on every wavelength grid, through every slit, at every origin, and for every observer — not nearly, but to the last bit of a floating-point number. The condition is an identity rather than a limit, and what makes it one is the white point.

difference · Metric What the normaliser cancels, per light. Two bars per light, logarithmic. The upper is the colour error a 5-nanometre sum makes when the white it is divided by is computed finely; the lower is the same sum divided by the white computed on the same coarse grid, which is what every colorimetric calculation actually does. The ratio is between 1.3 and 4.1. The grid appears twice in a tristimulus value and the two errors are the same error, so most of it divides out — which is why five nanometres has been good enough for a century without anybody having to be careful about it.

The normaliser carries the error too

A five-nanometre sum gets a red pigment's tristimulus value wrong by two hundredths of a per cent and its colour wrong by six hundredths of a unit. Those two numbers are not the same size because the grid appears twice in a colour — once in the sample and once in the white — and the two errors are largely the same error.

difference · Metric The conditions under which an observer's departure is exactly zero. A departure of the observer is the pairing of something belonging to the observer with something belonging to the stimulus, so emptying either factor empties the product. The axis is logarithmic in what is left when the condition is imposed. Six rows empty the stimulus's factor — a perfectly neutral sample is the same colour for every observer, at any age and any field size — and two empty the observer's, since a gain on each cone and a change of basis are both absorbed exactly. All eight are identities rather than small numbers. The last two are the same two conditions imposed in a published cone space rather than in the observer's own, and they are worth eight and thirteen units: the identity is about the eye, and the arithmetic everybody uses is in somebody else's coordinates.

A neutral is everyone's colour

Two eyes differing by fifty years of lens yellowing, by a factor of three in macular pigment and by six nanometres of long-wavelength peak agree about a grey card to four parts in ten thousand billion. The agreement is an identity rather than a coincidence, and it says exactly what an observer disagreement is a disagreement about.

eye · Cones The three cone absorptances at two settings of the cone optical density. Solid and dashed are the same construction at the two ends of two standard deviations of the reported spread. The curves are built from one pigment template through its ocular media, which is the same model its population of two hundred eyes is drawn from. The largest difference between the two sets is 18.8 per cent of the peak, and where it sits along the wavelength axis is what decides which stimuli the two observers disagree about — a departure concentrated in the blue is invisible on a sample with no blue in it.

A gain is not an observer

Multiply one eye's three cone sensitivities by 1.6, 0.7 and 2.4 and it is not a different eye. The white-point division is that multiplication's inverse, so the two agree exactly — and most of what a cone optical density change does is that multiplication, which is why the largest number in the table of individual variation is the one that matters least.

eye · Cones The arguments a standard observer does not have. Seven choices inside a set of colour-matching functions, each with the shape it takes and what it is worth in ΔE₀₀ on a red pigment under a 6500 K radiator. Six are measurements: a field size, an age, a macular density, a cone optical density, three peak wavelengths and a rod contribution. The seventh is not — a change of basis is a change of curves and not a change of observer, and its entry is exactly zero because the space an experiment measures is what an observer is. Printing that zero beside the others is the clearest statement of what the other six are measurements of.

Three curves for one space

Rotate a set of colour-matching functions by an arbitrary invertible matrix, undo the rotation at the end, and the computed colour is identical to eight parts in a thousand million million. An observer is a three-dimensional subspace, not a set of curves, and the literature keeps reopening a question that is a theorem.

eye · Cones What choosing a space to divide the white out in is worth. Three pairs of routes to the same colour, over forty-two surfaces: dividing the white out in tristimulus values, in a published cone space, and in the observer's own cones. The first two agree to 0.59 ΔE₀₀ at the median. Either of them differs from the observer's own cones by more than fifteen. That is why the two exact conditions in this round are exact only in the eye's own coordinates: the identity belongs to the receptors, and every published arithmetic works in a basis somebody else chose.

The identity is in the eye's own coordinates

Two conditions in this round are exact — a gain on each cone is not a different observer, and three curves for one space are one observer. Imposed in a published cone space rather than the eye's own they leave 13.0 and 8.11 ΔE₀₀ standing. The identities belong to the physiology and every arithmetic in use works somewhere else.

eye · Cones A departure against how far the sample sits from the light. The sample is mixed with a flat reflectance, from the flat one at the left to its own at the right, and two observers differing in the macular pigment look at each mixture. The straight line is the distance between their relative cone excitations, and it is straight to 0.0 per cent: the departure is a pairing, and scaling one factor scales the product. The curved line is the same sequence in ΔE₀₀, which is not a linear function of the excitations and cannot be — it has cube roots in it and a chroma weighting underneath. The identity is about the eye; the curvature belongs to the unit.

A departure is straight in the excitations

Walk a sample a quarter of the way from the light towards its own reflectance and exactly a quarter of the observer disagreement remains — in cone excitations, to two parts in a hundred. In ΔE₀₀ the same quarter leaves 0.347 where proportionality wants 0.428, and the discrepancy belongs entirely to the unit.

difference · Metric What this collection's grid does to its own observer audit. Two bars per light: the mean departure of the observer computed on this collection's five-nanometre grid, and the same computation on a quarter-nanometre one. For five of the six lights the two agree to two decimal places, which is what a well-sampled spectrum looks like. For the laser projector the coarse answer is exactly zero and the fine one is 1.80 — the largest in the table. On a five-nanometre grid a three-line spectrum with lines at 465, 532 and 638 nanometres is a one-line spectrum, and a single wavelength is a stimulus every observer agrees about to the last bit. The two departures do not compound here; the first conceals the second.

One wavelength is everyone's colour

A stimulus with a single wavelength in it produces the same relative cone excitations for every observer, exactly, whatever their age or field size. A display made of three such stimuli is where observers disagree most. Both statements are consequences of the same algebra, and the second is why laser projection has an observer problem.

matching · Gamut The conditions under which an observer's departure is exactly zero. A departure of the observer is the pairing of something belonging to the observer with something belonging to the stimulus, so emptying either factor empties the product. The axis is logarithmic in what is left when the condition is imposed. Six rows empty the stimulus's factor — a perfectly neutral sample is the same colour for every observer, at any age and any field size — and two empty the observer's, since a gain on each cone and a change of basis are both absorbed exactly. All eight are identities rather than small numbers. The last two are the same two conditions imposed in a published cone space rather than in the observer's own, and they are worth eight and thirteen units: the identity is about the eye, and the arithmetic everybody uses is in somebody else's coordinates.

Two observers and one metamer

An observer departure is invisible on a single sample compared with nothing. It becomes a disagreement the moment two spectra are being asked to match, because a match is an identity between three integrals and a different observer takes different integrals. Everything in this round is a statement about pairs wearing a single sample's clothes.

eye · Cones The pairing against the direct computation, for each departure that admits both. Each departure can be computed twice: directly, by taking the difference between the fuller model and the integral one, and as a pairing — an inner product of the sample's deviation with the light's. The bar is how far apart the two answers are, relative to the answer, on a logarithmic axis. The three directional rows agree to a part in a thousand billion, which is the arithmetic of one shared quadrature. The lateral row agrees to three parts in a hundred thousand, and the gap there is the radial quadrature rather than the identity: the two integrals are taken over different grids. The pairing is not an approximation to the departure. It is the departure, written so that its two factors are separate.

Three audits and one shape

The tabulation, the observer and the scene solver have nothing in common as subjects. Each turned out to hold a departure that is a pairing of two deviations, vanishes exactly when either is empty, and had been invisible because its parameter had no call site. Three subjects, one shape, and the shape is the round's result.

limits · Limits The conditions under which an observer's departure is exactly zero. A departure of the observer is the pairing of something belonging to the observer with something belonging to the stimulus, so emptying either factor empties the product. The axis is logarithmic in what is left when the condition is imposed. Six rows empty the stimulus's factor — a perfectly neutral sample is the same colour for every observer, at any age and any field size — and two empty the observer's, since a gain on each cone and a change of basis are both absorbed exactly. All eight are identities rather than small numbers. The last two are the same two conditions imposed in a published cone space rather than in the observer's own, and they are worth eight and thirteen units: the identity is about the eye, and the arithmetic everybody uses is in somebody else's coordinates.

The conditions are the result

The round measured about twenty departures and established ten conditions. The departures are numbers that depend on a sample, a light and a construction; the conditions are exact, they hold under every substitution tried, and they are what a reader can act on. A size is a measurement and a condition is a mechanism.

limits · Limits Where a stated appearance has no stimulus under it. The chroma the inverse can still return a light for, at lightness 50, all the way round the hue circle. Below the curve a stated appearance corresponds to a stimulus; above it the formula still returns three numbers and one of them is negative. Over a lattice of 10488 appearances spanning the whole space a specification is written in, 10.8 per cent are of that kind, and only 44 per cent are colours a display could show.

An appearance is not always a stimulus

CIECAM16's inverse is a closed form that returns three numbers for every lightness, chroma and hue it is handed. Whether those three numbers are a light it does not ask, and over a lattice spanning the space a specification is written in, 10.8 per cent of them are not — one tristimulus value negative, or a relative luminance above the white's. Only 43.8 per cent are colours a display could show at all.

brain · Appearance A crispening term puts the peak where the background is. How much lightness the model returns for a small change in the sample's level, against the sample's level measured as a log ratio to the background's — so that all three backgrounds share one axis and a peak at the background is a peak at zero. The pale curves are CIECAM16 as it stands, which has no peak anywhere: they rise slowly and monotonically because a background that enters as four constants fixed before the sample arrives cannot know where the sample sits relative to it. The solid curves are the same model with a term of amplitude 6 and width 0.5 added to lightness. Each peaks at zero to within 0.000 of a log unit, and the peak's height is 12.00 lightness units per log unit of level — the amplitude divided by the width, exactly.

The cancellation is exact and cheap to lose

CIECAM16 has no crispening, and adding one was expected to be expensive: the background's exactness in a corresponding colour comes from its being a common exponent, and a function of the sample's own level is not one. It is expensive in kind and not in size. A term that raises a straddling pair's lightness difference by half moves a corresponding colour by five thousandths of a tristimulus unit — a thousandth of what stating the background differently at the two ends already costs.

brain · Appearance The pairs that change places in chroma are a wedge with two straight edges. Every pair of samples, plotted by the log ratio of the two samples' background-free responses across and the log ratio of their chroma at a background of 2 up. A pair changes places between that background and one of 80 exactly when its chroma ratio and its response ratio point in opposite directions and the chroma ratio is the smaller — which is the wedge between the horizontal axis and a line of slope -0.2598, half the change in the lightness exponent. 754 of 14028 pairs are inside it, and the condition names every one of them and nothing else: 0 disagreements between the line and the model. The pale dots are one pair in eleven of those outside; the filled ones are every pair inside.

The reversals have a straight edge

Twenty-one of 276 pairs change places in chroma between a dark background and a light one, and the reason given was that chroma is a product of a term carrying the exponent and a term that does not. That is true and it is not a description of which pairs. Chroma at one background is a single common factor times a power of lightness at another, so a pair reverses exactly when its chroma ratio and its lightness ratio point opposite ways and the first is the smaller — a wedge with two straight edges, which names every reversal and nothing else.

brain · Appearance The four places a clamp could sit are two pipelines. Every pair of clamp positions, with the largest difference their delivered values reach over a grid of raw inputs that includes negative ones. Two of the six are exactly zero: a clamp at zero commutes with the white balance, which is a positive scale applied channel by channel, and with the tone curve, which is monotone and fixes zero. It does not commute with the colour matrix, which is the only step that mixes the channels — so the four positions collapse to two, before the matrix and after it, and no measurement of any scene can say more than which side a converter is on.

Four places to clamp are two pipelines

The essay on clipped noise ended on a procedure: a black frame and a dim grey card at a high amplification would place each raw converter's clamp. A procedure is a claim that a measurement identifies something, and this one identifies less than it looks. A clamp at zero commutes with the white balance and with the tone curve and not with the colour matrix, so the four positions are two pipelines — and the measurement separates them, on a card at half a per cent of white rather than on the black frame.

imaging · Capture

Named alongside it

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

AssertionIdentifiabilityStandard observerBasisChromatic adaptationStructural choiceCone fundamentalsSpecificationThe von Kries transformChromaticity planeGamutIndividual variation

All concepts