Introduction
A central regularity in visual working memory (VWM) is that the precision with which an item can be recalled declines as the number of simultaneously remembered items, N, increases. Three families of model dominate the explanation of this set-size effect. Discrete-slot models hold that a small fixed number K of items can be stored at fixed resolution, with averaging when N < K and guessing when N > K (Zhang & Luck, 2008). Continuous-resource models hold that a divisible resource is shared across items, with precision often summarised as a power law in set size (Bays & Husain, 2008; Ma, Husain & Bays, 2014). Information-theoretic / ideal-observer models hold that encoding is limited by a bounded communication channel and that the brain allocates a finite number of bits across items (Sims, Jacobs & Knill, 2012; Sims, 2016).
These accounts are notoriously difficult to separate empirically. Each is typically equipped with enough free parameters — slot count, allocation exponent, channel capacity, plus an encoding-noise distribution — that all three can be made to fit the same monotonic precision-versus-N curve. Model comparison then leans heavily on information criteria over flexible families rather than on a qualitative signature that one family predicts and another forbids.
This paper does not run an experiment and does not fit data. Its contribution is narrower and, we argue, useful: we show that the fixed-budget information-theoretic account, under the standard rate-distortion idealisation, predicts a particular functional form relating precision to set size that is algebraically distinct from the slot and power-law forms. The signature is parameter-light — it survives even when the channel budget R is unknown — which is exactly the property needed to turn model comparison from a battle of flexible fits into a test of curvature.
Background: rate-distortion for a Gaussian source
Rate-distortion theory gives the minimum number of bits R needed to encode a source so that the expected distortion does not exceed D. For a Gaussian source of variance sigma^2 under squared-error (mean-squared-error, MSE) distortion, the rate-distortion function is
R(D) = (1/2) log2( sigma^2 / D ) for 0 < D <= sigma^2,
and 0 otherwise (Cover & Thomas, 2006; Shannon, 1948). Inverting for distortion as a function of allocated rate r gives
D(r) = sigma^2 * 2^(-2r).
If we identify recall precision with inverse error variance, p = 1/D, then for an item encoded with r bits,
p(r) = (1/sigma^2) * 2^(2r). (1)
Equation (1) is the only piece of information theory the argument needs. It says precision grows exactly geometrically in the bits allocated to an item.
The discriminating prediction
Consider a fixed total budget of R bits distributed across N items. Take the simplest, assumption-light allocation: equal division, so each item receives r = R/N bits. Substituting into (1),
p(N) = (1/sigma^2) * 2^(2R/N),
and taking base-2 logarithms,
log2 p(N) = -log2(sigma^2) + 2R * (1/N). (2)
Equation (2) is the central claim. Under an equal-allocation fixed-budget channel, log-precision is an affine (straight-line) function of the inverse set size 1/N, with intercept -log2(sigma^2) and slope 2R. Crucially, the shape (linearity in 1/N) does not depend on the value of R; R only sets the slope. A researcher who does not know the channel capacity can still test the form.
Now place the two rivals on the same axes.
Slot-and-averaging model. For N > K only K items are retained; per-item precision is proportional to the number of slots assigned, K/N, so
p_slot(N) proportional to K / N, i.e. log2 p = const - log2 N, (N > K),
which is linear in log N (slope -1), and is accompanied by a guessing component (a discontinuity in the response-error mixture) once N exceeds K. This is hyperbolic in N, not affine in 1/N after the log — note that p itself is affine in 1/N here (p proportional to 1/N), whereas in the rate-distortion case it is log p that is affine in 1/N. That difference in which quantity is linearised is the test.
Power-law resource model. A common summary is p(N) proportional to N^(-alpha), giving
log2 p(N) = const - alpha * log2 N,
which is linear in log N with a free slope -alpha.
So the three accounts each linearise on a different axis pair:
- Fixed-budget rate-distortion: log2 p versus 1/N is a straight line (slope 2R).
- Power-law resource: log2 p versus log2 N is a straight line (slope -alpha).
- Slot-and-averaging: p versus 1/N is a straight line for N > K, plus a guess-rate that rises stepwise once N > K.
These are mutually exclusive curvatures except in degenerate limits. A dataset cannot be simultaneously straight on all three axis pairs unless the set-size range is too narrow to resolve curvature.
How to test it (proposal, not performed here)
The test requires only previously published, openly available precision-by-set-size data; no new measurement is needed and none is reported here. The procedure a group could pre-register is:
- For each study, extract per-item precision (inverse circular variance, or fitted concentration kappa for orientation/colour report tasks) at each set size N, ideally over a wide N range (e.g., 1, 2, 3, 4, 6, 8).
- Fit three linear models by ordinary least squares: log2 p ~ 1/N (rate-distortion), log2 p ~ log2 N (power law), and p ~ 1/N (slot, restricted to N > K).
- Compare on held-out set sizes (leave-one-N-out) and by curvature residuals, not in-sample R^2 alone, because the families have equal parameter counts (two each) and so can be compared by predictive error directly.
- Independently, estimate the implied budget R from the rate-distortion slope (slope = 2R) and check it against the bits implied by the same subjects' change-detection capacity; a fixed-budget account requires these to agree within error.
Falsification conditions, stated in advance:
- If log2 p is reliably curved against 1/N while straight against log2 N across datasets, the equal-allocation rate-distortion form in (2) is wrong and the power-law account is favoured.
- If the slope-implied R varies systematically with stimulus type or N range within the same observers, the "fixed budget" premise fails even if the per-curve fit is linear.
- If a guessing/slot mixture is needed to fit the error distributions at large N, the smooth channel account is at best incomplete.
We expect, on existing summaries, that no single form wins universally — which is itself the informative outcome, because it localises where the fixed-budget idealisation breaks (most likely at large N, where equal allocation is least plausible and a water-filling allocation would predict departure from (2)).
Scope, limits, and honest labelling
The result in (2) is a theorem about an idealised channel, not an empirical finding about brains. Three idealisations are load-bearing and are flagged as such. First, equal allocation: optimal rate-distortion allocation across heterogeneous items is "reverse water-filling," which reduces to equal allocation only when items are exchangeable and the budget is not so small that some items receive zero bits; departures from exchangeability predict departures from the straight line, and this is a feature the test can detect rather than a hidden assumption. Second, the Gaussian-source/MSE pairing yields the clean 2^(-2r) law; heavier-tailed sources or non-MSE distortion change the constant but preserve the qualitative "log-precision grows linearly in allocated bits" property, so the axis on which linearity appears is the robust prediction. Third, identifying behavioural precision with channel inverse-variance assumes decoding adds no set-size-dependent noise of its own; if it does, the intercept, not the slope, absorbs it.
No patient cohort, neural recording, or psychophysical session underlies any statement here. The contribution is (i) a derivation that the fixed-budget account implies a specific linearising axis, and (ii) a concrete, falsifiable re-analysis protocol over public data, offered as a proposal. The novelty is modest and bounded: rate-distortion accounts of VWM already exist (Sims et al., 2012; Sims, 2016), and the value added is the parameter-light curvature signature that separates that family from its rivals without first committing to a capacity value.
Conclusion
If visual working memory behaves like an equal-allocation, fixed-budget Gaussian channel, then plotting the logarithm of recall precision against the reciprocal of set size should yield a straight line whose slope is twice the memory's information budget. That prediction is sharper than the usual monotone-decline summaries, it is distinct from the slot and power-law forms on identifiable axes, and it can be tested today on data that already exist. We provide the derivation and the falsification conditions; the empirical adjudication remains to be done.
References
- Zhang, W., & Luck, S. J. (2008). Discrete fixed-resolution representations in visual working memory. Nature, 453, 233-235.
- Bays, P. M., & Husain, M. (2008). Dynamic shifts of limited working memory resources in human vision. Science, 321, 851-854.
- Ma, W. J., Husain, M., & Bays, P. M. (2014). Changing concepts of working memory. Nature Neuroscience, 17, 347-356.
- Sims, C. R., Jacobs, R. A., & Knill, D. C. (2012). An ideal observer analysis of visual working memory. Psychological Review, 119, 807-830.
- Sims, C. R. (2016). Rate-distortion theory and human perception. Cognition, 152, 181-198.
- van den Berg, R., Shin, H., Chou, W. C., George, R., & Ma, W. J. (2012). Variability in encoding precision accounts for visual short-term memory limitations. PNAS, 109, 8780-8785.
- Cover, T. M., & Thomas, J. A. (2006). Elements of Information Theory (2nd ed.). Wiley.
- Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27, 379-423.