Why Missing Measurements Change the PCA Problem
PCA is usually introduced for a rectangular data matrix: every profile has a value for every feature. In genomic profiles, however, some measurements may be unavailable because of assay limits, quality-control filtering, or other causes. A standard singular value decomposition cannot be applied directly to a matrix with blank entries. Replacing those entries is not a neutral bookkeeping step: the values inserted can change the covariance structure and hence the principal components.
The goal is to describe the patterns in the measured profiles without treating unobserved values as if they had been measured. Three common approaches differ in how they handle this distinction. Mean imputation fills each gap with a feature mean before ordinary PCA. Iterative low-rank reconstruction repeatedly estimates missing entries from a low-rank approximation. Observed-entry least squares estimates a low-rank structure by measuring fit only where values were observed.
PCA is commonly performed after centering each feature, and sometimes after scaling features to comparable variances. With missing values, the preprocessing rule must be stated. A practical choice is to estimate each feature mean and standard deviation from its observed entries, then center and, if appropriate, scale those entries. If missingness depends on the unobserved value, these observed-entry estimates need not represent the full feature distribution. Scaling also needs care: a feature with very few observed values can have an unstable estimated standard deviation.
Missingness assumptions matter but do not determine the reconstruction on their own. Missing completely at random (MCAR) means the chance an entry is missing does not depend on observed or unobserved data. Missing at random (MAR) means that, conditional on observed information, missingness does not further depend on the missing value. Missing not at random (MNAR) means missingness still depends on the unobserved value after conditioning on observed information. These labels describe the missingness process; none guarantees that an imputation or low-rank model is correct.
Mean Imputation: A Simple Baseline With Structural Consequences
For each feature, mean imputation replaces every missing entry by that feature's mean among observed profiles. Ordinary PCA is then applied to the resulting complete matrix. If the entries have been centered using those observed means, each imputed value is zero on the centered scale. This makes the procedure easy to implement, but it places every missing profile exactly at the feature average, suppressing its contribution to variation in that feature.
Worked Example: Mean Imputation Changes the Covariance
Consider a hypothetical three-profile, two-feature matrix. The first feature is fully observed; the second is missing for profile 3:
The observed mean of feature 1 is \((1+2+3)/3=2\). The observed mean of feature 2 is \((0+2)/2=1\). Mean imputation therefore fills the missing entry with 1. Centering by these feature means gives
The sample covariance matrix is \(S=X_{\mathrm{imp,centered}}^\mathsf{T}X_{\mathrm{imp,centered}}/(3-1)\). Its diagonal entries are \((1+0+1)/2=1\) and \((1+1+0)/2=1\); its off-diagonal entry is \((1(-1)+0(1)+1(0))/2=-0.5\). Thus
The eigenvalues are 1.5 and 0.5, so the first principal component points along the direction proportional to \((1,-1)^\mathsf{T}\). This is the PCA result for the imputed data. The missing profile was assigned the centered value zero on feature 2, so its contribution to that feature's squared deviations is zero. The calculation does not establish that the unobserved value was actually 1.
Mean imputation is most defensible as a transparent baseline or when only a small fraction of entries is missing and the goal is exploratory description. Even under MCAR, filling gaps with means generally reduces variation and can alter correlations. Under MAR or MNAR, the observed mean may itself be shifted relative to the mean among all profiles. Standard PCA after single imputation also treats the filled values as known, so its usual variance summaries do not reflect uncertainty about them.
Low-Rank Reconstruction and the Observed-Entry Objective
A rank-\(k\) PCA reconstruction represents the systematic profile structure using \(k\) components. With complete data, the rank-\(k\) truncated singular value decomposition gives the least-squares matrix approximation. With missing data, the relevant observed-entry loss is instead
Only measured entries contribute to this loss. Fitting the same expression as an unweighted sum over a completed matrix would count invented values as observations. The masked objective is nonconvex in \(U\) and \(V\) jointly, and its minimum need not be unique. In particular, enough entries must be observed in informative patterns to determine the factors; a profile or feature with too few observed entries may have poorly determined coordinates.
An iterative low-rank reconstruction is one way to seek a useful fit. A common version starts by filling missing centered entries with zero (or another initial estimate), computes a rank-\(k\) approximation, replaces only the missing entries with their reconstructed values, and repeats. The observed entries remain fixed throughout. This is an algorithmic recipe, not a guarantee of the global minimum of the masked loss. It can depend on initialization and may settle at an unsatisfactory fixed point.
Worked Example: One Iterative Rank-One Update
Consider this hypothetical profile matrix, where the last entry is missing. To start the iteration, fill that entry with zero:
For a rank-one approximation, the right singular vector \(v\) is a unit eigenvector of \(A^\mathsf{T}A\) for its largest eigenvalue. Here
A corresponding unit eigenvector with positive coordinates is \(v\approx(0.67711,\,0.73588)^\mathsf{T}\). The rank-one approximation is \(Avv^\mathsf{T}\). In row 3, \(Av\) has value \(2v_1\), so its reconstructed entry in feature 2 is
The iterative procedure would replace the missing entry by approximately 0.997 and leave the observed entries unchanged. That is one update, not proof that 0.997 is the true unobserved value or the final reconstruction. Further updates can change the estimate.
Observed-entry least squares names the fitting target itself: minimize \(\mathcal{L}(U,V)\) over the factors. It can be optimized by alternating least squares. Holding \(V\) fixed, update each profile's row of \(U\) by least squares using that profile's observed features; then hold \(U\) fixed and update each feature's row of \(V\) using its observed profiles. If each block update solves its least-squares problem, the objective does not increase at that update, although the joint problem remains nonconvex and may converge to a local solution. A row update requires enough informative observed features for its factor coordinates to be determined; the analogous condition applies to feature updates.
Iterative low-rank filling and observed-entry least squares are therefore related but not identical. The former is a family of reconstruction algorithms that alternately completes and decomposes a matrix. The latter specifies an objective that ignores missing cells; an optimizer such as alternating least squares can target it directly. A filling algorithm should not be assumed to minimize the masked objective unless its update rule and convergence properties justify that claim.
Worked Example: A Masked Rank-One Least-Squares Fit
Suppose a hypothetical three-profile, two-feature matrix has observed entries \((1,2)\) in profile 1, \((2,4)\) in profile 2, and feature 1 equal to 3 in profile 3; profile 3's feature 2 is missing. Consider the rank-one factorization \(L=UV^\mathsf{T}\) with \(U=(1,2,3)^\mathsf{T}\) and \(V=(1,2)^\mathsf{T}\). It gives
Every observed entry is matched exactly. The observed-entry loss is therefore \(0^2+0^2+0^2+0^2+0^2=0\), and the fitted value at the missing location is 6. Because a sum of squared residuals cannot be negative, this factorization is a global minimizer of the observed-entry loss for this data. It is identifiable here under the rank-one restriction: the first two observed pairs establish the feature direction \((1,2)^\mathsf{T}\), and profile 3's observed first entry fixes its scale. That conclusion depends on the chosen rank and observed pattern; it does not mean every masked PCA problem identifies every missing value.
Assumptions, Diagnostics, and Method Choice
A low-rank reconstruction is meaningful only if a low-rank signal is a reasonable approximation for the profiles after preprocessing. For a statistical interpretation of least-squares fitting, one might additionally posit that observed measurements equal a low-rank signal plus errors with mean zero and comparable variance. If errors have substantially different variances, unweighted squared error gives noisy measurements the same influence as precise ones. If missingness depends on unobserved measurement values, the observed entries can be a selected subset, and a masked fit alone does not correct that selection.
Useful checks include the fraction of missingness by profile and feature, the number and pattern of observations per row and column, and whether missingness is associated with known technical or biological covariates. Inspect the observed-entry residuals \(X_{ij}-(UV^\mathsf{T})_{ij}\) for systematic feature, profile, or batch patterns. Compare results across plausible ranks, initializations, and preprocessing choices. Large changes in the leading subspace or in reconstructed values are evidence that conclusions depend on modeling choices. Convergence of an algorithm is not, by itself, evidence that the model is appropriate.
| Approach | What it does | Main vulnerability |
|---|---|---|
| Feature-mean imputation | Fills each gap with an observed feature mean, then applies ordinary PCA. | Suppresses variability at missing locations and can distort covariance and components. |
| Iterative low-rank reconstruction | Alternates low-rank approximation with replacement of missing entries. | Can depend on initialization, rank, and update rule; convergence need not imply a global optimum. |
| Observed-entry least squares | Fits low-rank factors using residuals only at observed entries. | Nonconvex and potentially weakly identified when the observation pattern is sparse or uneven. |
These approaches are not substitutes for understanding why data are missing. Mean imputation is simple and reproducible, but can be a poor choice when missingness is substantial or correlated with profile structure. Low-rank methods can use cross-feature structure to estimate gaps, but their estimates inherit the chosen rank and factor model. Masked least squares avoids pretending that gaps were measured, but it can still produce unstable fits when there is insufficient information. None automatically supplies uncertainty intervals for each reconstructed value.
A practical report should state how features were centered and scaled, how missing entries were handled, what rank was used, and which objective the fitting procedure targeted. It should distinguish observed measurements from model-based reconstructions. If results are sensitive to these choices, present that sensitivity rather than treating one completed matrix as definitive.
Common Pitfall
A frequent error is to say, “The low-rank reconstruction is the value that was missing,” or to treat an iterative update as if it were a measured observation. The correction is that the method supplies a model-dependent estimate. Its accuracy depends on the low-rank approximation, the observation pattern, preprocessing, and missingness process. Another error is to claim that observed-entry least squares solves the same problem as ordinary PCA after filling gaps. It does not: the former excludes missing cells from its loss, while the latter's PCA is affected by every imputed value.
Check Your Understanding
Try each question, then compare your reasoning with the solutions.
- After centering by the observed feature mean, what centered value does mean imputation assign to a missing entry, and what is one consequence?
- Why does the observed-entry loss include \(M_{ij}\) in each squared residual term?
- In the rank-one example, what is the first reconstructed missing value to three significant figures?
- Give one condition that can make the row-factor update in alternating least squares poorly determined.
- Does convergence of an iterative low-rank algorithm establish that its missing-value estimates are accurate? Explain.
Solutions. (1) It assigns zero; this gives that profile no centered deviation at that feature and can reduce or distort covariance. (2) The mask makes the loss count observed measurements and exclude unobserved entries. (3) The update is \(12/\sqrt{145}\approx0.99655\), which rounds to 0.997. (4) Too few observed features, or observed features that do not provide enough independent information to estimate the factor coordinates. (5) No. Convergence describes the algorithm's progress under its update rule, not whether the rank, missingness assumptions, or fitted structure are correct.