Five dichotomies in the psychophysics of ensemble perception

Whereas psychophysicists may formulate hypotheses about appearance, they can only measure performance. Bias and imprecision in psychophysical data need not necessarily reflect bias and imprecision in perception. Sensory systems may exaggerate the differences between each item and its neighbors in an ensemble. Alternatively, sensory systems may homogenize the ensemble, thereby removing any apparent differences between neighboring items. Ensemble perception may be involuntary when observers attempt to report the identities of individual items. Conversely, when asked to make a (voluntary) decision about the ensemble as a whole, observers may find it very difficult to compute statistics that are based on more than a very small number of individual items. Modeling decisions about prothetic continua, such as size and contrast, can be tricky because sensory signals may be distorted before and/or after voluntarily computing ensemble statistics. With metathetic continua, such as spatial orientation, distortion is less problematic; physically vertical things necessarily appear close to vertical and physically horizontal things necessarily appear close to horizontal. Decision processes are corrupted by noise that, like distortion, may be added to sensory signals prior to and/or after voluntarily computing ensemble statistics.


Appearance v performance
The epigraph suggests that individual sensations may depend on whether they form part of an ensemble. The author of this passage is a character in Calvino's book. His suggestion is almost certainly correct, but I want to underscore the fact that psychophysicists are fundamentally incapable of directly measuring sensation. Physiologists can directly measure neural output, but all a psychophysicist can do is measure visual performance. The ensemble may bias our perception of any individual ginkgo leaf, but bias and imprecision in psychophysical data need not necessarily reflect bias and imprecision in perception.
As an example, consider Brady and Alvarez's (2011) investigation of the effect of ensemble membership on reproduction error. On each trial of their experiment, human observers resized a circle (with a computer mouse) to match one member of a previously seen ensemble of circles. Errors tended to be in the direction of the ensemble mean, but Brady and Alvarez did not unnecessarily infer any homogenization of perceived sizes within the ensemble. Although each individual circle's size may have appeared closer to that of the ensemble mean, Brady and Alvarez concluded that reproductions were consistent with a type of rational decision-making, under uncertainty, given the limited capacity of visual working memory.
One of the most pernicious pitfalls in attempting to infer appearance from behaviour is the subject-expectancy effect (e.g., Rosenthal & Rubin, 1978), in which experimenter expectations are transmitted to the participants in such a way as to alter the outcome of the experiment in a desired direction. There is, perhaps, no way to preclude nonperceptual biases from contaminating psychophysical estimates of appearance, but certain measures can be taken to minimize their likelihood and/or severity.
One strategy is to use a psychophysical paradigm in which observers' response categories are decoupled from experimenter expectations. For example, Morgan, Melmoth, and Solomon (2013) expected that vertically aligned spots would appear to have a clockwise tilt, when they were displayed within a square frame having a counterclockwise tilt. Rather than asking observers to report the apparent tilt of the spots, they asked observers to inspect two sets of spots and report which set was closest to vertical. Sometimes both sets were clockwise, sometimes both sets were counterclockwise, and sometimes one set was clockwise of vertical while the other set was counterclockwise. Variants of this "comparison-ofcomparisons" strategy have become increasingly popular (e.g., Ismail, Solomon, Hansard,, & Mareschal, 2016;Jogan & Stocker, 2014;Maloney & Yang, 2003;Morgan, Grant, Melmoth, & Solomon, 2015;Morgan, Schreiber, & Solomon, 2016;Yarrow, Martin, Di Costa, Solomon, & Arnold, 2016).
Also popular are "double-blind" strategies, where steps are taken to remove the bias-inducing stimuli from the observer's awareness. For example, it is possible to observe a tilt aftereffect after adapting to gratings with unresolvably high spatial frequency (He & MacLeod, 2001). The tilt aftereffect also survives removal of the adapting stimulus from awareness by crowding (defined below; He, Cavanagh, & Intrilligator, 1996) and critical-flash suppression (Bahrami, Carmel, Walsh, Rees, & Lavie, 2008).
One final strategy is to make performance depend upon appearance. Inferences regarding the latter can be made from objective measurements of the former. For example, Morgan and Solomon (2019) asked observers to select the odd man out in a variety of visual search tasks, where performance is determined by the target's relative salience (i.e., how different it appears from the distractors). Adaptation was used to manipulate target salience, and aftereffect strength was inferred from the degree to which performance was facilitated or impaired by adaptation.

Repulsion v assimilation
Although it may be relatively trendy to consider how ensemble membership affects the appearance of its individual members, studies relating an item's appearance to its general spatial and temporal context are nothing new. The motion aftereffect, for example, was described by Addams (1834), who reported that the nearby rocks appeared to move upwards, after adapting to the downward motion of the Falls of Foyers. Chevreul (1855) described the exaggeration of simultaneous luminance contrast between neighbouring stripes with different grey levels (p. 8). The general term for these sensory phenomena is "repulsion," and it occurs in every feature domain I have examined. Figure 1 (top panel) shows an example of the visual system exaggerating the simultaneous orientation contrast between neighbouring Gabor patterns. The truly vertical central elements on either side of the black fixation spot should appear to be tilted in opposite directions when you stare directly between them. This can be described as an exaggeration of the difference between the orientation of each central element and the orientation of its flanking distractors. This exaggeration is usually pretty large for briefly presented stimuli (i.e., short flashes; Wenderoth & van der Zwan, 1989), but it also depends on the retinal eccentricity of the central Gabor patterns.
Exaggerations of simultaneous contrast are routinely ascribed to lateral inhibition somewhere within the visual system. The cartoon at the top of Fig. 2 represents 15 receptive fields somewhere in visual cortex, with lateral inhibition spreading around the cell whose receptive field is red. If lateral inhibition is responsible for the exaggeration of simultaneous contrast, then we have psychophysical data suggesting that lateral inhibition spreads very far indeed. Consider the red symbols in the lower half of Fig. 2. They represent trials in which flankers were tilted either 22°degrees clockwise or 22°d egrees counterclockwise of horizontal. When these flankers were present, they produced a negative or "repulsive" bias of roughly 10°when observers attempted to report the orientations of near-horizontal targets. This was true even when the The blue symbols, on the other hand, represent trials in which the flankers were tilted just 5°off horizontal. When those flankers were close to the target, they seemed to produce a positive bias. This assimilation means that the visual system effectively makes it hard to notice subtle changes in orientation (and any other feature dimension you care to name), particularly when you do not look directly at the stimulus. Orientation assimilation is demonstrated in Fig. 1b. You might need to look slightly to the left or right of the black spot, but you should be able to find a fixation for which you can still see all three Gabors without being able to see the differences in their orientations.

Involuntary averaging v voluntary averaging
Whatever is responsible for small-angle assimilation, it too extends over a vast swathe of visual cortex. The only reason small-angle assimilation disappears when flankers and target are widely separated is because lateral inhibition is stronger. To get around the problem of lateral inhibition, some researchers have adopted tasks that should be immune to it. That is, they use visual tasks that do not require making fine discriminations between similar orientations or luminances or whatever. One task they particularly like is letter identification.
The idea behind Fig. 3 is that the visual system is compelled to combine information from discrete stimuli, and consequently cannot disentangle the identity of one individual element from the overall statistics of information coming from that region of the visual field. In general, the name given to this phenomenon is "crowding," and experiments with letter identification suggest a compulsory combination of visual information from individual letters separated by anything up to half their average eccentricity (Bouma, 1970).
Parkes, Lund, Angelucci, Solomon, and Morgan (2001) described crowding as "texture perception when we do not wish it to occur." (p. 742). In other words, crowding is a form of involuntary ensemble representation. It is evident only when the visual task requires a decision about individual visual objects. I would like to distinguish such tasks from those that require a decision about the ensemble as a whole. In such cases, the computation of ensemble statistics may very well be voluntary.
When investigating ensemble representations, most of my work has been on voluntary averaging. For example, Solomon and Morgan (2018) recently assessed how well observers could estimate the average number of dots in a dot patch. The metric we used was efficiency. The paradigm was two-(temporal)-alternative forced choice: observers were asked whether the dot patches in the first ensemble had greater or fewer dots on average than patches in a second ensemble. Obviously, if both ensembles had the same number of patches, then the question would be identical to asking which stimulus had more dots. However, in some blocks of trials, the first ensemble had eight patches, while the second had just four patches. We also had blocks of four followed by eight. A binomial distribution was sampled to determine the number of dots in each patch. To compute efficiency, you need to calculate the ideal performance with various fractions of the available information. For example, if  Fig. 3. Crowding. When fixating the dot on the top left, the N to the right is easily identified. When fixating the dot just below, the N seems to meld into a jumbled texture. Adapted from Cavanagh (2001) human performance were similar to what an ideal observer could do with half the available information, then human efficiency would be 50%. Figure 4a shows a flow diagram of the inefficient observer model for voluntary averaging. There were N dot clusters, observer J.A.S. selected M of these at random, measured their numerosities, and reported the mean of those M measurements. M is known as the effective sample size and the ratio of M:N is known as either the sampling efficiency or the calculation efficiency or simply "the efficiency." For J.A.S., M was about 3.

Prothetic v metathetic continua
The inefficient observer model can be traced back to one (Dakin, 2001) of the two papers that massively popularized the study of ensemble statistics. Dakin (2001) studied voluntary averaging of orientation, and Ariely (2001) studied voluntary averaging of size. Subsequently, I studied both, but orientation is easier, because it is a metathetic continuum.
The distinction was made by Stevens (1957). Simply put, prothetic continua are those such as size and contrast, where one value is either greater than, equal to, or less than another. Metathetic continua, such as orientation and direction, do not work like that. 1 Prothetic continua such as size can be tricky to work with, because apparent size may not scale linearly with physical size. Indeed, without sufficiently specific instructions (cf. Raidvee, Toom, Averin, & Allik, 2020) it is not necessarily clear whether average size reflects average diameter, average area, or something in between.
Moreover, the transformation between physical size and apparent size could theoretically occur before and/or after voluntarily computing whatever statistic we wanted to study. The inset in Fig. 4b shows three psychophysical (transducer) functions. The blue one is linear, the violet one is expansive, and the yellow one is compressive. Solomon and Tyler (2018) studied voluntary averaging in the contrast domain. When asked to adjust the contrast of a static, black-and-white texture to match the average contrast of another black-and-white texture that was flickering between high and low contrast, all observers gave the static texture greater average contrast than the flickering texture. This result is With metathetic continua, like orientation, transformations like this do not really matter, because we can be pretty confident that physically vertical things appear close to vertical and physically horizontal things appear close to horizontal. Thus, the psychophysical function for orientation may stray a little from the blue line of veridicality in Fig. 4c, but it cannot stray too far.

Early v late noise
Perhaps the most direct way to test how well an observer can voluntarily compute an average is to ask the observer to reproduce that average. Solomon and Tyler (2015) showed observers an ensemble comprised of eight low-frequency Gabor patterns in a ring around fixation (see Fig. 5a). Their orientations were drawn from a wrapped normal distribution. The mean of that distribution was totally random, but its standard deviation was either zero or 16°. The ensemble was visible for 0.42 s. A high-frequency "probe" Gabor was presented at fixation after the ensemble had disappeared. Observers rotated the probe until its orientation matched their memory of the ensemble's average orientation.
Although the inefficient observer model (see Fig. 4a) is useful in some cases, in general, it is not a good model of human performance, because humans cannot measure feature values like orientation with infinite precision. If they could, then response errors would have dropped to zero when all eight of the low-frequency Gabors were parallel. Errors do not drop to zero, as can be seen in Fig. 5b. Thus, the inefficient observer model needs modification. Perhaps the most straightforward way to modify the model is to assume that each measurement made by the observer gets perturbed by an independent, identically distributed sample of noise, as illustrated in Fig. 5c.
This noisy, inefficient observer model for voluntary averaging (and other summary statistics) has two free parameters: the effective set-size M, and the standard deviation of noise Within this simple formula, the standard deviation of response errors increases as a function of the standard deviation of orientations in the ensemble. A fit to one observer's data is shown in Fig. 5c's threshold-v-noise plot. The axes are logarithmic, so data from the condition with parallel Gabors appears at the leftmost edge of the plot. When the model is best fit to these two data points, its noise has a standard deviation of 10.4 degrees. The effective set size is 1.5.
Noninteger values such of effective set size can be interpreted in two ways. One possibility is that they reflect a mixture of effective set sizes. For example, on some trials, I might have ignored or forgotten all but one randomly selected element, whereas on other trials, I computed the average of two or more. In this case, M would reflect the root mean square of this number. Alternatively, noninteger values of M might reflect an unequal weighting of two or more of the texture elements. 2 The smooth curve in Fig. 5d illustrates a slightly different noisy, inefficient observer: In this case, it is as though the entire ensemble gets tilted by a random amount, rather than each individual element. The standard deviation of that random amount σ L is called "late noise" in this formulation. 3 The first thing to notice is that the two versions of the model make exactly the same predictions. The second thing to notice is that the best fitting value of M does not depend on whether individual samples of equivalent noise are correlated. Thus, if all you care about is the effective set size, you can use either formula-it does not matter.
I attempted to ascertain whether the noise that limited the precision of orientation statistics was early or late (Solomon, 2010). This would have been impossible if I had merely asked observers to judge the average orientation of ensembles having a fixed size. Consequently, I varied the size of the ensemble, taking care not to change the precision with which the orientation of each individual element could be assessed, and I also varied the task: In some trials, observers were asked to assess the variance of orientations in the ensemble, rather than the mean. The results contained compelling evidence for both early and late noise. When members of an ensemble are all roughly identical, any effect of sample size N on the precision of voluntary averaging must be attributed to early noise. On the other hand, late noise is implicated when the effect of the sample's size increases with the sample's variance.
In conclusion, I would like to underscore two features/ caveats with regard to the efficiency metric. First, it is a purely descriptive measure of performance in relation to the available information. Given any sample size N, efficiency is the ratio of M to N, where M is the sample size that the ideal observer would need in order to estimate a statistic with the same precision as a human observer. Since the ideal observer is, by definition, at least as good as any other observer, human decisions are necessarily based on M or more elements. Second, and most important, estimates of efficiency tell us nothing about ensemble perception per se. With strategic decisionmaking strategies, reasonably high efficiencies can be achieved from independent representations of individual stimuli. Authors discussing various strategies include Myczek and Simons (2008); Solomon (2010); Dayan and Solomon (2010); Gorea, Belkoura, and Solomon (2014); and Li, Herce Castañon, Solomon, Vandormael, and Summerfield (2017).
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.