Our aim is to estimate the volume-weighted mean of the volumes of three-dimensional ‘particles’ (compact, not-necessarily-convex subsets) from plane sections of the particle population. The standard stereological technique is to place test lines in the plane section, and measure cubed intercept lengths with the two-dimensional particle profiles. This paper discusses more efficient estimators obtained by integrating over all possible placements of the test line. We prove that these estimators have smaller variances than the line transect estimators, and indeed are related to them by the Rao-Blackwell process. In the improved estimators, the cubed intercept length is replaced by a moment of the distance between two points in the section profile. This can be computed as a moment of the set covariance function, which in turn is computable using fast Fourier transform.
We also derive an isoperimetric type inequality between the improved estimator and the area-weighted 3/2 th moment of the profile areas. Finally, we present two practical applications to particles of silicon carbide and to synaptic boutons in brain tissue. We estimate the variance of the technique and the gain in efficiency over line transect techniques; the efficiency improvement appears to be as much as one order of magnitude.@en

We define the ‘linear scan transform’ G of a set in Rd using information observable on its one-dimensional linear transects. This transform determines the set covariance function, interpoint distance distribution, and (for convex sets) the chord length distribution. Many basic integral-geometric formulae used in stereology can be expressed as identities for G. We modify a construction of P. Waksman [Adv. Appl. Math. 8, No. 1, 38-52 (1987; Zbl 0638.60016)] to construct a metric η for ‘regular’ subsets of Rd defined as the L1 distance between their linear scan transforms. For convex sets only, η is topologically equivalent to the Hausdorff metric. The set covariance function (of a generally non-convex set) depends continuously on its set argument, with respect to η and the uniform metric on covariance functions.@en