Proof Path TheoryReading edition

Correlated review

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Read and explore

Proofs and implementation

About this work

Other resources

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

20 Correlated review

Several reviews are not equivalent to several independent reviews. Reviewers may share training, notation, examples, software, or an unnoticed premise.

Let \(X_i=\theta+\varepsilon_i\) be numerical estimates of a fixed quantity \(\theta\). Assume \(\mathbb E\varepsilon_i=0\), \(\operatorname{Var}(\varepsilon_i)=\sigma^2>0\), and common pairwise correlation \(\rho\). For \(n>1\), assume \(-1/(n-1)<\rho\leq1\), so the mean has positive variance. These variables model estimates, not proof truth values. The mean has variance

\[ \operatorname{Var}(\bar X) = \sigma^2\left(\frac{1-\rho}{n}+\rho\right). \]

Theorem 20.1: Effective reviewer count

Under the equicorrelated model, define the variance-equivalent reviewer count by

\[ \boxed{ n_{\mathrm{eff}} = \frac{n}{1+(n-1)\rho} } \]

so that \(\operatorname{Var}(\bar X)=\sigma^2/n_{\mathrm{eff}}\). This effective count is a positive real number and need not be an integer.

Proof

The mean of \(m\) independent reviewers of variance \(\sigma^2\) has variance \(\sigma^2/m\). Equating this with the correlated mean variance gives

\[ \frac{\sigma^2}{m} = \sigma^2\left(\frac{1-\rho}{n}+\rho\right) = \sigma^2\frac{1+(n-1)\rho}{n}. \]

Solving for \(m\) gives the formula.

For \(n=1\), the effective count is one. At the excluded boundary \(\rho=-1/(n-1)\), the mean has zero variance and there is no finite variance-equivalent count. For fixed \(0<\rho\leq1\), \(n_{\mathrm{eff}}\to1/\rho\) as \(n\to\infty\). Negative correlations can give \(n_{\mathrm{eff}}>n\), but a fixed negative correlation is not admissible for arbitrarily large \(n\).

Effective reviewer count under the specified equicorrelation model. The logarithmic vertical scale keeps all four curves visible. At n=100 and ρ =0.1, the effective count is about 9.17. This formula models variance reduction, not the probability that a mathematical claim is true.
Figure 22. Effective reviewer count under the specified equicorrelation model. The logarithmic vertical scale keeps all four curves visible. At \(n=100\) and \(\rho=0.1\), the effective count is about \(9.17\). This formula models variance reduction, not the probability that a mathematical claim is true.

View full-size figure (new tab)

For a general positive definite covariance matrix \(\Sigma\), consider unbiased linear aggregates \(w^\top X\) with \(\mathbf 1^\top w=1\).

Theorem 20.2: Minimum-variance covariance-aware weights

The unique minimum-variance unbiased linear aggregate has weights

\[ w^* = \frac{\Sigma^{-1}\mathbf 1} {\mathbf 1^\top\Sigma^{-1}\mathbf 1}. \]

Its variance is

\[ \frac{1}{\mathbf 1^\top\Sigma^{-1}\mathbf 1}. \]

Proof

Minimize \(w^\top\Sigma w\) subject to \(\mathbf 1^\top w=1\). The Lagrangian is

\[ L(w,\lambda)=w^\top\Sigma w-2\lambda(\mathbf 1^\top w-1). \]

Stationarity gives \(\Sigma w=\lambda\mathbf 1\), hence \(w=\lambda\Sigma^{-1}\mathbf 1\). The constraint gives

\[ \lambda=(\mathbf 1^\top\Sigma^{-1}\mathbf 1)^{-1}. \]

Positive definiteness makes the objective strictly convex, so the solution is unique. Substitution gives the variance formula.

Warning 20.3: Bias is not covariance

Covariance-aware weighting does not remove a common bias that is absent from the covariance model. If every reviewer shares bias \(b\), the mean squared error contains the irreducible term \(b^2\).

Under the model, dependence rather than nominal count determines the variance reduction. Whether a particular review process has this covariance structure is an empirical question. The formula alone neither endorses nor discredits a community judgment.

Source and conversion record

Source SHA-256: ce05e88b439e9fd55ef6eb04da708a63ce02e6627424e6daac0dca4177b8ab51

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Proof Path Theory

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index