Normal Distribution
nothing is called 95% until it has been counted
Concept

E-optimality — where it appears

The design criterion that maximises the smallest eigenvalue of the information matrix, which is the variance of the worst-determined combination of parameters. It is a minimum over directions and so is not differentiable, which is what makes maximin design problems awkward wherever it appears.

Named by 5 essays across 3 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 Where a Ds-optimal design puts its runs. The Ds-optimal measure over 121 candidate settings on a square region. It keeps 9 of them and discards the rest, and the 9 it keeps are the settings a catalogue would have offered without any of this arithmetic. What the search adds is the weights: 0.2500, 0.1250, 0.0625, which nine equal runs cannot express.

The two terms anybody wanted

D-optimality estimates all six parameters of a quadratic as precisely as possible. Nobody wants that. An experimenter looking for a maximum wants the two curvature terms, and the design that gives them is not the D-optimal one — it is a quarter of the runs at the centre, exactly, and the D-optimal design is 75.3% efficient for the question that was actually asked.

criteria · Criterion The optimum is a tie, and the tie is at both ends. The maximin design's efficiency across the range, and underneath it the prior that makes the averaged criterion as bad as possible. The efficiency curve is flat to within 2.1 points, and the minimum 78.74% is attained at K = 0.25 and 0.79 and 0.89 and 1.00 and 1.12 and 4.00 rather than at a single value: if it were attained once, the design could be moved towards that value and the worst case improved, so a tie is what having finished looks like. The bars are the least favourable prior's weights, computed by a completely different route — an averaging problem solved under the weighting that hurts most — and it puts its weight exactly where the ties are, reaching 78.63% against the direct search's 78.74%.

Where the minimum is attained

A design that protects a range is finished when its worst case is a tie. That is a checkable property rather than a description, it is why the search cannot climb a derivative, and it is the same corner the criteria field found at the end of the Φₚ family.

robust · Local design Where each criterion's optimum puts the information. the D-optimal design's smallest eigenvalue is 0.09927, attained once; the A-optimal design's smallest eigenvalue is 0.16516, attained once; the I-optimal design's smallest eigenvalue is 0.17541, attained once; the E-optimal design's smallest eigenvalue is 0.19999, attained 2 times. A criterion that reads the smallest eigenvalue has no derivative where that eigenvalue is repeated, and the E-optimal design is exactly there.

The criterion with no derivative

E-optimality maximises the smallest eigenvalue of the information matrix, and at its own optimum that eigenvalue is attained twice — which is exactly where the function has a corner. The multiplicative search this field's other three criteria use assumes a derivative that is not there, and stops at 37.2% of the optimum.

optimality · Equivalence 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-optimalityEquivalence theoremInformation matrixDesign measureOptimal designEigenvalueA-optimalityDs-optimalityExperimental designThe Φₚ familyResponse-surfaceBayesian optimal design

All concepts