Concept

A-optimality — where it appears

The design criterion that minimises the average variance of the estimated coefficients, which is the mean of the eigenvalues of the inverse information. It answers a question about the coefficients one at a time rather than about the parameter vector as a whole, which is why it can disagree with D-optimality about the same design.

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

The end of the family is the member the algorithm cannot reach. Every member of the Φₚ family optimised on the same 11² candidates, and two eigenvalues of each answer. The upper curve is the smallest eigenvalue of the information matrix — the quantity E-optimality maximises — which rises from 0.0993 at the D end to 0.1994 at p = 64. The lower curve is the gap between that eigenvalue and the next one up, which falls from 0.0611 to 0.0011. A smallest eigenvalue is not differentiable where it is repeated, and the family is driving the gap to zero: the one criterion here whose meaning fits in a sentence is the one whose optimum sits on a corner of its own surface. The candidate grid is on a slider and it answers a narrower question than it looks. On this square region, refining an odd grid from seven to eleven moves nothing at all — the optimum's support is the corners, the edge midpoints and the centre, and every odd grid from five up contains all of them. An even grid has no centre point and cannot reach the answer at any member of the family. On a disc, where the boundary passes through no grid point, refinement does move it.

The family behind the letters

A, D and E are not three ideas. They are three points of one family with a single dial, and running the dial from one end to the other doubles the smallest eigenvalue of the information matrix while closing the gap above it fifty-three-fold — which is the family driving its own last member to the place where it stops being differentiable.

criteria · Criterion

Four criteria on 5 designs, on a square region. Each design scored as an efficiency — its value over the best attainable — so four criteria in as many different units sit on one scale where 1 is the optimum. Rows are ordered by D. D picks 13-run exchange; A picks face-centred composite; G picks 13-run exchange; I picks face-centred composite. Every design has been scaled to just fit the region first, because a design run at settings the region does not contain is not a competitor on it. The disagreement is the point: the letter is a choice, and it is almost never reported as one.

Four letters and two camps

D, A, G and I are four ways of turning one matrix into one number, and they do not agree. The design that wins on D is the worst thing here on I. And the same two designs swap places entirely when the region changes from a square to a disc — on all four criteria at once.

optimality · Criterion

The E-optimality certificate along the axis x₂ = 0. The certificate — a fifth of the squared distance of the point's squared radius from one, plus a fifth of the squared difference of its two squared coordinates — along the axis x₂ = 0, with its two pieces drawn alone at full weight: the radial piece, a third of the squared distance from the unit circle in squared radius, which reaches 0.333 here, and the cross piece, half the squared difference of the squared coordinates, which reaches 0.500. The certificate's largest value on the cut is 0.2000, reached at x = -1.0, 0.0, 1.0; the smallest eigenvalue of the nine-point design is 0.2.

A certificate for the worst direction

E-optimality was the one design criterion here whose answer was claimed rather than proved. It has a certificate after all, and on the square it fits on one line — (1⁄5)(1 − x₁² − x₂²)² + (1⁄5)(x₁² − x₂²)², which never exceeds 1⁄5 and touches it at exactly the nine points of the 3² grid. That proves the design with 2⁄5 of its weight at the centre, 1⁄10 at each edge midpoint and 1⁄20 at each corner is E-optimal on the whole square, and it is built from two directions mixed three to two, either of which alone fails.

optimality · Equivalence

Named alongside it

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

D-optimality Information matrix Optimal design E-optimality Eigenvalue Equivalence theorem Experimental design Central composite design Closed form Convex optimisation Design efficiency Design measure

All concepts