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

Falsification — where it appears

Giving a claim a test it could fail, and running the test. An assertion that has never rejected anything proves nothing, which is why every check in this collection ends by feeding its own machinery something it must refuse.

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

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.

The instrument named the pair that moved

A standard error over a test set flagged four steps of the adaptation census as unresolved. Rebuilding the set three different ways reversed exactly one pair, and it was one of the four. Rebuilding it to a different rule reversed a pair the error separated by nearly nine standard errors — which is not a failure of the instrument but a statement of what it is about.

limits · Limits Eight conditions under which the model equation is exact, and how exact each one is. Each of the four departures vanishes if either of its two factors is empty, which is eight conditions. The axis is logarithmic in the residual that is left when the condition is imposed. Three of the eight are identities: the fluorophore's loading is zero so the emitted term is an empty sum, and a Lambertian surface or a uniform field makes the pairing's second argument identically zero. The other five are limits — a Gaussian excitation band has no edge, an opaque sample still has a kernel a few microns wide, a four-metre aperture is still finite, and the observer is small rather than absent at 380 nanometres. Each limit is drawn with the sequence its residual falls along as the condition is pushed, because a small number is not evidence of a limit and a falling sequence is.

Either factor being zero

Four different departures from the colour integral turn out to have one algebraic form — each is an inner product of something the sample does that the model has no slot for with something the light does that the model assumed away. Either factor being zero makes the departure exactly zero, and the sizes of the two factors decide neither how large it is nor which way it goes.

limits · Limits An aperture and a gloss lobe, apart and together. Six materials, each measured through a four-millimetre radius and each given a gloss lobe, alone and at the same time. The pale bar is what the two cost added together as if they were independent; the dark one is what they cost when both are present. Every material comes out below the sum, by between 0.8 and 3.6 ΔE₀₀. The two departures partly cancel: the aperture removes light that went into the material and came back out too far away, and the interface returns light that never went in at all. Measuring either one alone therefore overstates what both together do, which is the opposite of the way interacting errors are usually assumed to behave.

Two departures that partly cancel

A glossy translucent sample has two of this round's four departures at once, and the expectation was that they would compound. They do the opposite. An aperture takes light away that went into the material and came back too far out; an interface returns light that never went in at all — so measuring either alone overstates what both together do, on every material tested.

difference · Metric 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 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 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 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

Named alongside it

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

AuditModelling assumptionStructural choiceConvergenceMarginalisationMeasurement errorPredictionAssertionBilinearityQuadratureResidualSpecification

All concepts