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

Audit — where it appears

A systematic check of how far a set of published conclusions moves when the inputs they rest on do. It surveys what has been written down as an input, which is why a quantity written down as a fact escapes it however much the answer depends on it.

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

How far each census row moves when the test set's own description does. A grid of bars, one row per change of light in the census and one bar in each row per number that describes the region the test surfaces are drawn from: how saturated they are, how bright, and how far the two modulations may go together. A bar's length is the elasticity — the proportional change in the published residual for a proportional change in that number. Saturation runs from 0.49 to 0.91 and brightness averages 0.104, so a test set's chroma range is nearly everything and its lightness range is nearly nothing. For scale, the largest elasticity found anywhere among this collection's five declared population widths is about a half — and those at least have declared ranges, while these three numbers have never been quoted with one.

The input nobody declared

An audit that swept every declared width in this collection found the largest elasticity anywhere to be about a half. The most elastic input turns out to be one that was never declared, never quoted with a range and never varied — and being undeclared is exactly why it escaped the audit that was looking for it.

limits · Limits Every census row under five constructions of the same test set. A slope chart with 5 columns — lattice, coarse, fine, uniform, natural — and one line per change of light in the census, each line joining that row's mean residual under each construction. Four of the five columns describe the same region of surfaces walked at different densities or against different measures; the last is the clamped, realistic family, which is not linear in its parameters and is therefore answering a slightly different question. The levels move: between the coarse and fine lattices every row shifts by seven to nine per cent, in the same direction, which is a common-mode factor no published residual here has ever carried. The order almost survives. Inside the region exactly one pair crosses, and it is the pair the standard error had already flagged; under the clamped set two more cross, including one the error separates by nearly nine standard errors. The crossing lines are drawn heavy.

What the audit still cannot reach

Two rounds have now swept every declared width in this collection and one of its structural choices. Three structural choices remain, none of them has a multiplier to sweep, and the reason each resists is different — which makes the list a description of where this kind of audit ends rather than a queue of work.

limits · Limits The six arguments a surface's response has, and the one this model keeps. A surface's response to light is a function of six arguments: the wavelength, direction and place the light arrives with, and the wavelength, direction and place it leaves with. The model every colour here is computed from keeps one number per wavelength, which means it takes the diagonal of the first pair, integrates the second away, and assumes the third pair equal. Each departure drawn here restores one of them. The fourth departure is not on the diagram: the wavelength grid is the range of the index that was kept rather than an index that was dropped, which is why it is the cheapest of the four to fix and was still not fixed.

The model has six arguments

Every colour computed here is an integral of a reflectance against a light against three curves, and a reflectance is one number per wavelength. A real surface's response is a function of six arguments — the wavelength, direction and place light arrives with, and the three it leaves with — so the model keeps one of them, takes a diagonal, integrates two away and assumes two more equal.

limits · Limits Which of the collection's published quantities a departure can be pushed through. The six quantities the previous round recomputed under six different colour-difference units, and whether the same treatment works for a departure. Two do: the adaptation census and the metameric pair both take reflectances and a light, which is what a departure acts on. Four do not, and the reasons are different in each case rather than a single obstacle. A unit is a function applied to the answers, so it can be swapped at the end of any computation; a departure changes the object at the start, so it has to be accepted by every stage in between. That is the practical difference between auditing a convention and auditing a structure.

A departure is not a unit

The previous round audited six published quantities by swapping the unit they were quoted in — a function applied at the end of each computation. Nothing of that shape works here. A departure changes the object at the start, so every stage in between has to accept it, and only two of the same six quantities can take one at all. The fourth cannot even be expressed in the interface.

limits · Limits The six arguments a surface's response has, and the one this model keeps. A surface's response to light is a function of six arguments: the wavelength, direction and place the light arrives with, and the wavelength, direction and place it leaves with. The model every colour here is computed from keeps one number per wavelength, which means it takes the diagonal of the first pair, integrates the second away, and assumes the third pair equal. Each departure drawn here restores one of them. The fourth departure is not on the diagram: the wavelength grid is the range of the index that was kept rather than an index that was dropped, which is why it is the cheapest of the four to fix and was still not fixed.

The audit that changed the object

Three rounds audited this collection's numbers, its sets and its conventions, and each one ended by naming the same thing it could not reach — that a surface is a reflectance. This round reached it, found that four departures share one algebraic form, had two of its predictions refused, and discovered that its own hemisphere quadrature had been passing a convergence check by luck.

limits · Limits a fluorescent tube, mercury lines on a phosphor bed, with a 5-nanometre grid marked on it. The light drawn at a fifth of a nanometre, with the 5-nanometre tabulation points marked beneath. 38 of the 53 points carry more than a twentieth of the peak. What a summation over those points computes is not an approximation to the area under this curve; on a spectrum with features narrower than the spacing it is a different quantity, and the difference depends on where the points fall rather than on how many there are.

The index is a choice too

Every colour in this collection is a sum over eighty-one numbers running from 380 to 780 nanometres in steps of five. That index is not a property of the eye, the light or the sample — it is a tabulation, and it holds three separable decisions that behave completely differently from one another.

light · Light The two tabulation choices over forty-two surfaces, under a 6500 K thermal radiator. 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 9.1 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.

Which end to buy

Refining a five-nanometre grid to one buys a daylight calculation 0.05 ΔE₀₀ and widening its range buys 0.54. Under a fluorescent tube the same two purchases are worth 0.83 and 0.0001. The ranking reverses completely, and what decides it is one length compared against one other length.

light · Light The rectangle sum against the trapezoid sum, under a 6500 K thermal radiator. Colorimetry's summation is the rectangle rule at the tabulated points. The trapezoid rule differs from it by exactly one thing — half a cell at each end of the range — and the gap between these two lines is therefore that term and nothing else. At five nanometres it is a factor of 14.3, which means the number everybody calls a sampling error is mostly a truncation error wearing the step's clothes. On a light whose lines are narrower than the step the two rules agree to three decimal places, because there the error really is the sampling.

The endpoint term has a name

The five-nanometre error on a smooth light falls linearly with the step, which is not what a sampling error does. It is the half-cell at each end of a truncated range, it is first order where the sampling is second, and halving two weights removes fourteen fifteenths of it for nothing.

light · Light How far this collection's analytic observer is from the tabulated one. The construction every figure in this family uses is three pigment absorptances through one fitted 3×3, and this is the residual of that fit against the CIE's 1931 functions: root-mean-square error as a percentage of each curve's peak, and the colour difference it produces over forty-two surfaces. The short-wavelength function is the worst at 16.4 per cent, which is where a pigment template is weakest and where the ocular media are doing most of the work. The median colour difference is 1.42 ΔE₀₀, so this is an observer of the right shape rather than a copy of the table — and every departure in this family should be read beside that number rather than against zero.

The reference had to be built

A five-nanometre error cannot be measured with five-nanometre data. Interpolating the tables and integrating finely measures the interpolator, not the grid — so the audit of this collection's index had to be run against an observer made of formulae, and the price of that is a residual of 1.42 ΔE₀₀ that every number in the section is read beside.

limits · Limits What a tabulation step costs, by light, on paper. The horizontal axis is the tabulation step in nanometres, from one to twenty; the vertical is how far the resulting colour is from the same integral taken at a tenth of a nanometre over the same range, in ΔE₀₀, on a logarithmic scale. Each line is one light. The three with no feature narrower than the step fall smoothly and stay below a tenth of a unit at five nanometres, which is the grid used throughout. The fluorescent tube and the laser projector do not fall at all: their lines are narrower than any step drawn here, so the answer depends on where the samples land rather than on how many there are. The sample is held at paper throughout.

A grid is not a resolution

Ten essays into this collection there is one sentence about wavelength sampling, and it is that five nanometres is enough. Ten measurements later there are three decisions, three mechanisms, three repairs and two rankings, and the word resolution names none of them.

light · Light 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.

The third factor is a construction

Every figure in this collection names its observer, which was the whole point. None of them says what an observer is made of. Three curves are not a measurement of the eye; they are a projection of one, with a field size, an age, a macular density, three peak wavelengths and a luminance constraint inside them.

eye · Cones 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 2.34 — 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.

The grid hid the observer

On this collection's five-nanometre grid a three-laser projector's observer disagreement is exactly zero. On a quarter-nanometre grid it is 2.34 ΔE₀₀ and the largest in the table. The two audits of this round meet here, and the first one does not compound with the second — it removes it.

limits · Limits What the Lambertian assumption costs a room, against how rough its walls are. The horizontal axis is the roughness of the two coloured walls; the right-hand end is nearly matt, which is what a radiosity calculation assumes. One line is the distance in ΔE₀₀ between the floor's colour and what radiosity gives for the same room — 4.89 at an eggshell finish, falling to 0.97 at the matt end. The other is the chroma of the bounce, which falls as the walls get glossier: what an interface returns is a Fresnel reflection and carries no pigment, so the fraction of the return that goes into the lobe is a fraction that arrives at the floor white. The lobe is taken out of the body term rather than added beside it, which is what a real finish does.

The solver had no slot for gloss

Every scene result in this collection is computed by radiosity, and radiosity is not an approximation that could be made more accurate. Its unknown is one number per surface, and a surface that returns light differently in different directions does not have one. A missing slot cannot be wrong by a small amount.

scene · Scene Where a point-sampled patch stops resolving a lobe. The horizontal axis is the wall's roughness, logarithmic; the vertical is how far the answer moves when the cone quadrature is refined from eight directions to sixteen, also logarithmic. A patch in a cube subtends a cone of angular radius 25.8° at the face opposite, and a microfacet lobe of roughness a is about a radians wide, so a lobe below about 0.15 is narrower than the quadrature that samples it. The movement at 0.05 is 21.2 ΔE₀₀ and at 0.3 it is 0.033. This is where the method stops, not where the paint does: matt, eggshell and satin finishes are inside it and a high-gloss varnish is not.

Where a patch stops being a point

A patch in a cube subtends a cone of 25.8° at the face opposite. A microfacet lobe of roughness 0.05 is about three degrees wide. Point-sampling the second inside the first returned a chroma of thirty-four thousand and a negative lightness, and the boundary between working and not working is measured rather than declared.

limits · Limits What the Lambertian assumption costs a room, against how rough its walls are. The horizontal axis is the roughness of the two coloured walls; the right-hand end is nearly matt, which is what a radiosity calculation assumes. One line is the distance in ΔE₀₀ between the floor's colour and what radiosity gives for the same room — 4.89 at an eggshell finish, falling to 0.97 at the matt end. The other is the chroma of the bounce, which falls as the walls get glossier: what an interface returns is a Fresnel reflection and carries no pigment, so the fraction of the return that goes into the lobe is a fraction that arrives at the floor white. The lobe is taken out of the body term rather than added beside it, which is what a real finish does.

Every scene in this collection was matt

The green wall, the corner, the bounce series and the metamer separation are all computed on Lambertian surfaces, because the solver that produced them requires it. Each would move by between one and five colour differences on an ordinary satin finish, and none of those essays says what finish it means.

scene · Scene Each departure over forty-two surfaces rather than one. The same six departures measured over a family of forty-two analytic reflectances — an absorption band of stated centre, width and depth — with the smallest, the median, the ninety-fifth percentile and the largest marked. Every one of them spans more than a factor of three, and the ranking between them is not stable across the family: what decides a departure's size is which sample it is asked about, because a departure is a pairing and the sample is one of the two factors. Quoting any single number for what an observer's age is worth is quoting a choice of example.

The census under another observer

This collection's largest computed result is an adaptation census — fourteen changes of light judged over a hundred and twenty-five constructed surfaces. Every number in it was computed through one observer, and the observer's own departures are between one and two and a half units on the same surfaces, which is the size of the effects the census reports.

brain · Appearance The two tabulation choices over forty-two surfaces, under a 6500 K thermal radiator. 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 9.1 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.

The grid under the census

The adaptation census is computed on eighty-one wavelengths from 380 to 780 nanometres. Under the daylight and blackbody sources it uses, the range is worth about half a colour difference on ordinary surfaces and the step about a twentieth — so the census carries a tabulation term as well as an observer one, and they are not the same size.

brain · Appearance 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 Which of the collection's published quantities a departure can be pushed through. The six quantities the previous round recomputed under six different colour-difference units, and whether the same treatment works for a departure. Two do: the adaptation census and the metameric pair both take reflectances and a light, which is what a departure acts on. Four do not, and the reasons are different in each case rather than a single obstacle. A unit is a function applied to the answers, so it can be swapped at the end of any computation; a departure changes the object at the start, so it has to be accepted by every stage in between. That is the practical difference between auditing a convention and auditing a structure.

What this round could not reach

Three audits, about twenty departures and ten conditions, and a longer list of things that were named and not measured. Every item on it is specific, most of them are an afternoon's work, and the reason none was done is the same in every case — the round ran out of round.

limits · Limits One surface dimmed sixteen times, and the two things that happen to it. A single surface, dimmed by successive halvings, with the lens age departure measured on it at every level. The tristimulus deviation falls by exactly the dimming factor — 16 times over the sweep, to the last bit, because the colour integral is linear in the stimulus. What a unit of that deviation is worth rises by 8.2 times over the same sweep. The colour difference the audit reports is the product of the two, and it falls by only 1.95.

A deviation is not a difference

The previous round priced twenty departures in colour differences and treated each number as a property of the thing that departed. Every one of them is a product of two factors — how far the reading moved, which is linear and belongs to the departure, and what a unit of that movement is worth where it landed, which is not linear and belongs to the colour. Dimming one surface sixteen times scales the first by exactly sixteen and the second by eight.

matching · Gamut The angle between two departures, which nothing in the audit records. Every pair of the six departures on every surface — 2520 pairs — binned by the angle between their two deviations in the local metric. The distribution reaches both ends: 440 pairs sit under thirty degrees and point almost the same way, and 615 sit above a hundred and fifty and point almost opposite. On 1095 of the 2520 the two together cost less than the larger of them alone. A table of magnitudes cannot say which case it is in.

A size is not a direction

An audit that reports magnitudes cannot say what two of them cost together. Over two and a half thousand pairs of observer departures the angle between them in the local metric runs from one degree to a hundred and seventy-nine, and on forty-three per cent of them the two together cost less than the larger of the two alone. Adding the angle predicts the composition to one and a quarter per cent; Pythagoras is out by twenty-eight.

matching · Gamut The audit's six departures, read twice. Each departure priced in the matching unit it was published in and in the appearance unit an appearance prediction would be judged by. The model does not scale them by one factor: it amplifies the smallest by 1.58 and the largest by 1.03, so the range between them narrows from 3.34 to 2.17. The mean ranking is unchanged and 14 of the 42 surfaces reorder.

The audit, read as appearances

The previous round priced six observer departures in a matching unit and left them there. Read in the appearance unit an appearance prediction would actually be judged by, they are not the same six numbers scaled by a constant — the model amplifies the smallest by 1.58 and the largest by 1.03, so the range between the largest and smallest term narrows from 3.34 to 2.17. The published ranking survives in the mean and changes on fourteen of the forty-two surfaces it was averaged over.

brain · Appearance The budget's three numbers, and the units they are in. The published three-stage budget's own figures, with each one's unit named, beside the same stage re-measured in a single unit over the same colours. Two of the three are colour differences between stimuli and the third is a distance between appearances, and the budget adds them. The fourth row is a stage the budget has no entry for: the colours the separation cannot reach even after the mapping has moved them, which comes to 1.45.

The budget adds two units

This collection publishes a three-stage error budget for a colour-management chain and prints its sum. Two of the three stages are colour differences between stimuli and the third is a distance between appearances, and the conversion between those is not a constant. Re-measured in one unit over the same colours the chain has four stages rather than three, its end-to-end error is 5.05 against a sum of 7.66, and the profile's contribution where a job actually lands is 3.2 times its published average.

applied · Delivery Every pair of departures, before adaptation and after it. The fifteen pairs of the six audited observer departures. Each row runs from the angle between that pair's two deviations with no adaptation to the angle with complete adaptation; an angle past ninety degrees is a pair pointing apart, which is where a pair can cost less together than the larger of the two costs alone. 3 pairs gain that behaviour as the eye adapts, 3 keep it, 5 lose it and 4 never have it. The pair followed here — the lens against the macular pigment — is in the smallest group that is not empty, and every result quoted from it generalises in the wrong direction.

Adaptation turns more pairs off than on

One pair of observer departures was followed across the degree of adaptation and found to cancel only in a bright enough room. The same calculation takes any two, and run over all fifteen pairs it says something the single pair does not: adaptation is a rotation rather than a mechanism for making departures oppose each other. Five pairs lose their cancellation as the eye adapts, three gain it, three keep it and four never have it — and the pair everybody quotes is one of the three it turns on.

difference · Metric Six departures, and three ways of adding them up. The six audited observer departures on 120 smooth reflectances, across the dial. Summing them assumes they all point the same way and is an overestimate everywhere; taking the largest alone assumes only one matters and is an underestimate everywhere. Quadrature — the usual way of combining contributions taken to be independent — assumes they are mutually perpendicular, and the measured combination crosses it at a degree of 0.8618. Below that the departures are on balance pointing together and quadrature is too small; above it they are on balance pointing apart and quadrature is too large. It is exactly right in one room.

Quadrature is exact in one room

An observer allowance is built by adding the departures in quadrature, which assumes they are mutually perpendicular. Over fifteen pairs their angles run from 18 degrees to 179 and hardly any are perpendicular. Measured against the real combination, quadrature is too small in a cinema by eight per cent and too large under the sky by fourteen, crossing at an adapting luminance of 22 candelas a square metre — and on individual surfaces it is out by a third in both directions in every room.

difference · Metric

Named alongside it

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

Modelling assumptionStructural choiceSpecificationDeclared inputSensitivityTest setMeasurement errorQuadratureColour differenceFalsificationWavelength gridIndividual variation

All concepts