Notebooks
http://bactra.org/notebooks
Cosma's NotebooksenFactor Models in Statistics
http://bactra.org/notebooks/2022/04/11#factor-models
\[
\newcommand{\Var}[1]{\mathrm{Var}\left[ #1 \right]}
\]
<P>Factor models are a specific kind of latent-variable model in multivariate
<a href="statistics.html">statistics</a>, where the latent variables and the
observable variables are both continuous, and the relationship between the two
is linear. The basic form is that the latent variable $F$ is a $q$-dimensional
vector, the observables form a $p$-dimensional vector $X$, and the relationship
is
\[
X = F\mathbf{w} + \epsilon
\]
for a $q\times p$ matrix of "loadings" $\mathbf{w}$, and a $p$-dimensional
noise vector $\epsilon$, which is assumed to be independent of, or at least
uncorrelated with, the factor vector $F$, and with no correlations between the
different coordinates of $\epsilon$. The covariance matrix of $\epsilon$ is
thus a diagonal matrix $\mathbf{\psi}$, and the covariance of $X$ is
\[
\Var{X} = \mathbf{w}^T \Var{F} \mathbf{w} + \mathbf{\psi}
\]
<P>Now, if $\Var{F}$ is anything other than the identity matrix $\mathbf{I}_q$,
we can always use principal components analysis / singular value decomposition
to define a new $q$-dimensional vector $G$ where $\Var{G} = \mathbf{I}_q$ and
$F = G\mathbf{r}$, for a $q\times q$ matrix $\mathbf{r}$. Then, since the
relationship of $F$ and $X$ is linear, we also have
\[
X=G \mathbf{r} \mathbf{w} +\epsilon \equiv G \mathbf{w}^{\prime} + \epsilon
\]
<P>From a purely statistical point of view, therefore, we can always take the
factor variables to have unit variance and no correlations. The covariance
matrix of $X$ is thus
\[
\Var{X} = \mathbf{w}^T \mathbf{w} + \mathbf{\psi}
\]
Since $\mathbf{w}$ has only $q$ rows, this means that $\mathbf{w}^T \mathbf{w}$
has rank $q$, the covariance matrix is of the form often called "low rank plus
noise".
<P>Geometrically, as $F$ ranges through $\mathbb{R}^q$, the "structured" part
of $X$, $F\mathbf{w}$, traces out a $q$-dimensional linear subspace in
$\mathbb{R}^p$. Taking each row of $\mathbf{w}$ as a vector, that subspace is
the span of those vectors, and I'll abuse notation to write it
$\mathrm{span}(\mathbf{w})$. The distribution of $F\mathbf{w}$ is the
distribution of values on $\mathrm{span}(\mathbf{w})$; $\epsilon$ is the
distribution of perturbations off of $\mathrm{span}(\mathbf{w})$. The use of a
particular $F$ is the choice of a particular coordinate system on
$\mathrm{span}(\mathbf{w})$, but statistically any coordinate system is equally
good, because it won't change the distribution of $F\mathbf{w}$. In fact, for
any linear transformation of coordinates, where $F = G \mathbf{r}$, we also
have $F\mathbf{w} = G \mathbf{r}\mathbf{w}$, so if we re-define the loading
matrix to $\mathbf{r}\mathbf{w}$, we have another factor model which predicts
exactly the same distribution of observables, and $ \mathrm{span}(\mathbf{w})
= \mathrm{span}(\mathbf{r}\mathbf{w})$. (Nonlinear changes of coordinates,
e.g., from Cartesian to polar, would break the linear relationship between
the <em>coordinates</em> of $F$ and those of $X$, even though the linear
relationship between <em>vectors</em> would remain.) The
<a href="partial-identification.html">maximal identifiable parameters</a> of
the factor model are thus the distribution of $F\mathbf{w}$ and
$\mathbf{\psi}$, <em>not</em> $\mathbf{w}$ or the distribution of $F$. (The
subspace $\mathrm{span}(\mathbf{w})$ is identified because it's implied by a
knowledge of the distribution of $F\mathbf{w}$.) Of course, we might have
reason based on some other source of knowledge to prefer one coordinate system
over another, but this cannot come from the distribution of $X$, the observable
variables. Factor models can thus be seen as an example
of <a href="manifold-learning.html">manifold learning</a>, with the special
assumption that the manifold is a linear subspace.
<P>("Confirmatory" factor analysis does not really change that last conclusion.
It essentially tests goodness of fit of a unrestricted estimate of $\mathbf{w}$
against the fit of a restricted model where one or more entries of $\mathbf{w}$
are fixed a priori, usually to 0. But any loading matrix with those
restrictions is observationally equivalent to a matrix $\mathbf{u} =
\mathbf{r}\mathbf{w}$ where $\mathbf{r}$ is any linear coordinate change, and a
continuous infinity of those $\mathbf{u}$ will <em>not</em> have the desired
0s. Each zero in some coordinate system really imposes a one-equation
algebraic constraint on $\mathbf{w}^T \mathbf{w}$, and we're really testing
those restrictions.)
<P>I remarked above that in a factor model, the covariance matrix of the
observables $\Var{X}$ always takes the form $\mathbf{w}^T \mathbf{w} +
\mathbf{\psi}$. Suppose that all of the entries in $\Var{X}$ are non-negative,
i.e., all of the observable variables are positively correlated with each other
(or at worst un-correlated). Now, it's evident that the off-diagonal entries
of $\Var{X}$ and $\mathbf{w}^T\mathbf{w}$ are equal, because $\mathbf{\psi}$ is
a diagonal matrix. But the diagonal entries in $\mathbf{w}^T\mathbf{w}$ are
the variances of $F\mathbf{w}$ along the observable coordinates, so they must
be non-negative as well. Hence if $\Var{X}$ has only non-negative entries, so
does $\mathbf{w}^T\mathbf{w}$. At this point,
the <a href="https://en.wikipedia.org/wiki/Perron%E2%80%93Frobenius_theorem">Frobenius-Perron
theorem of linear algebra</a> tells us that (i) all of the eigenvalues of
$\mathbf{w}^T\mathbf{w}$ are non-negative, and (ii) the eigenvector
corresponding to the largest eigenvalue has all positive entries. We write
$\mathbf{w}^T \mathbf{w} = \mathbf{v}^T \mathbf{\lambda} \mathbf{v}$, with
$\mathf{\lambda}$ the diagonal, non-negative matrix of eigenvalues and
$\mathbf{v}$ the corresponding matrix of eigenvectors. (In general,
Frobenius-Perron allows for different left and right eigenvectors, but
$\mathbf{w}^T\mathbf{w}$ is manifestly symmetric.) We can thus <em>choose</em>
to set $\mathbf{w} = \mathbf{\lambda}^{1/2} \mathbf{v}$. In context, this
means we can choose a coordinate system for $F$ where each latent coordinate
(i) "explains" some (positive) share of the variance of the observables, and
(ii) the latent coordinate which "explains" the largest share of variance is
positively correlated with all observables. If you want to call this latent
coordinate a "general factor", feel free, but notice this has to exist,
mathematically, as soon as you have both all-positive correlations <em>and</em>
decide to use a factor model.
<P>I should explain how factor analysis is related to but different from
the principal components, but having just been writing about this in
my lecture notes, I'll just refer to that (link below).
<P><em>Questions:</em> In large dimensions, how different do random covariance
matrices look from low-rank-plus-noise matrices? For every $q$-factor model
with given means and covariance matrices, there is a mixture model with $q+1$
discrete clusters and the same means and covariances; is the distinction
between them identifiable?
<P>Notoriously, factor analysis comes out of psychology, and the attempt to
"construct" general mental attributes from test scores. But I have said
more than enough about that <a href="iq.html">elsewhere</a>.
<P>Constructively: I am very interested in the possibilities of factor models
for data reduction
in <a href="factor-models-for-time-and-space-time.html">high-dimensional
time-series data, especially spatio-temporal data</a>.
<P>See also:
<a href="graphical-models.html">Graphical Models</a>;
<a href="manifold-learning.html">Manifold Learning</a>;
<a href="mixture-models.html">Mixture Models</a>;
<a href="thomson-sampling-model.html">The Thomson Ability-Sampling Model</a>;
<a href="recommenders.html">Recommendation Systems and Collaborative Filtering</a>
<ul>Recommended, big picture:
<li>David J. Bartholomew, <cite>Latent Variable Models and Factor Analysis</cite>
</ul>
<ul>Recommended, close ups:
<li>J. Scott Armstrong, "Derivation of theory by means of factor analysis or Tom Swift and his electric factor analysis machine", <cite>The American Statistician</cite> <strong>21:5</strong> (1967): 17--21 [<a href="http://repository.upenn.edu/marketing_papers/13/">Reprint</a>]
<li>Dani Gamerman, Hedibert Freitas Lopes, and Esther Salazar, "Spatial
dynamic factor
analysis", <a href="http://dx.doi.org/10.1214/08-BA329"><cite>Bayesian
Analysis</cite> <strong>3</strong> (2008): 759--792</a>
<li>Yi-hao Kao and Benjamin Van Roy, "Learning a Factor Model via Regularized PCA", <a href="http://dx.doi.org/10.1007/s10994-013-5345-8"><cite>Machine Learning</cite> <strong>91</strong> (2013): 279--303</a>, <a href="http://arxiv.org/abs/1111.6201">arxiv:1111.6201</a>
<li>Wim Krijnen, "Positive Loadings and Factor Correlations from Positive Covariances", <cite>Psychometrika</cite> <strong>69</strong> (2004): 655--660
<li>John C. Loehlin, <cite>Latent Variable Models: An Introduction to Factor, Path, and
Structural Analysis</cite>
<li>Paul E. Meehl, "Four Queries About Factor Reality", <a href="https://meehl.umn.edu/sites/meehl.umn.edu/files/files/149fourqueriesfactorreality.pdf'><cite>History and Philosophy of Psychology Bulletin</cite> <strong>5</strong> (1993): 4--5</a>
<li>Robert A. Peterson, "A Meta-Analysis of Variance Accounted for and Factor Loadings in Exploratory Factor Analysis", <cite>Marketing Letters</cite>
<strong>11</strong> (2000): 261--275
<li>Kristopher J. Preacher and Robert C. MacCallum, "Repairing Tom Swift's Electric Factor Analysis Machine", <cite>Understanding Statistics</cite>
<strong>2</strong> (2003): 13--43</a> [The objection about nonlinearity seems
deeply unfair to me: if one is actually using factor analysis
to <em>discover</em> things, when would one be willing to assert the linearity?
Similarly, how is one to know which rotation of the factors is better? By
definition, the different rotations are all empirically equivalent, so in a
genuinely new domain we don't know which ones group related quantities
together. <a href="http://hdl.handle.net/1808/1492">Reprint</a>]
<li>Mohamed Saidane, Xavier Bry and Christian Lavergne,
"Generalized Linear Factor Models: A New Local EM Estimation Algorithm",
<a href="http://dx.doi.org/10.1080/03610926.2013.790450"><cite>Communications in Statistics: Theory and
Methods</cite> <strong>42</strong> (2013): 2944--2958</a>
</ul>
<ul>Recommended, historical:
<li>Charles Spearman, "``General Intelligence,'' Objectively Determined
and Measured", <cite>American Journal of Psychology</cite> <strong>15</strong>
(1904): 201--293 [<a href="http://psychclassics.yorku.ca/Spearman/">Online</a>]
<li>Peter H. Schönemann and Ming-Mei Wang, "Some new results on factor indeterminacy", <a href="https://doi.org/10.1007/BF02291413"><cite>Psychometrika</cite> <strong>37</strong> (1972): 61--91</a>
<li>James H. Steiger
<ul>
<li>"Factor indeterminacy in the 1930's and the 1970's some interesting parallels", <a href="https://doi.org/10.1007/BF02293967"><cite>Psychometrka</cite> <strong>44</strong> (1979): 157--167</a>
<li>"The relationship between external variables and common factors", <a href="https://doi.org/10.1007/BF02293788"><cite>Psychometrika</cite> <strong>44</strong> (1979): 93--97</a>
</ul>
<li>Godfrey H. Thomson, <cite><a href="http://www.archive.org/details/factorialanalysi032965mbp">The Factorial Analysis of
Human Ability</a></cite>
<li>L. L. Thurstone, "The Vectors of Mind", <cite>Psychological Review</cite> <strong>41</strong> (1934): 1--32 [<a href="http://psychclassics.yorku.ca/Thurstone/">Online</a>]
</ul>
<ul>Modesty forbids me to recommend:
<li>The chapters on principal components and factor analysis
in <cite><a href="http://www.stat.cmu.edu/~cshalizi/ADAfaEPoV">Advanced Data
Analysis from an Elementary Point of View</a></cite>
</ul>
<ul>To read:
<li>Umberto Amato, Anestis Antoniadis, Alexander Samarov, Alexander
Tsybakov, "Noisy Independent Factor Analysis Model for Density Estimation and
Classification", <a href="http://arxiv.org/abs/0906.2885">arxiv:0906.2885</a>
<li>Ery Arias-Castro, Sébastien Bubeck, and Gábor Lugosi,
"Detection of
correlations", <a href="http://dx.doi.org/10.1214/11-AOS964">Annals of
Statistics</cite>
<strong>40</strong> (2012): 412--435</a>
<li>Jushan Bai and Kunpeng Li, "Statistical analysis of factor models
of high dimension", <a href="http://dx.doi.org/10.1214/11-AOS966"><cite>Annals
of Statistics</cite>
<strong>40</strong> (2012): 436--465</a>
<li>Tony Cai, Zongming Ma, Yihong Wu, "Optimal Estimation and Rank Detection for Sparse Spiked Covariance Matrices", <a href="http://arxiv.org/abs/1305.3235">arxiv:1305.3235</a>
<li>Venkat Chandrasekaran, Pablo A. Parrilo, and Alan S. Willsky,
"Latent variable graphical model selection via convex optimization",
<a href="http://dx.doi.org/10.1214/11-AOS949"><cite>Annals of Statistics</cite>
<strong>40</strong> (2012): 1935--1967</a>, <a href="http://arxiv.org/abs/1008.1290">arxiv:1008.1290</a>
<li>Yunxiao Chen, Xiaoou Li & Siliang Zhang, "Structured Latent Factor Analysis for Large-scale Data: Identifiability, Estimability, and Their Implications", <a href="http://dx.doi.org/10.1080/01621459.2019.1635485"><cite>Journal of the American Statistical Association</cite> forthcoming (2019)</a>,
<a href="http://arxiv.org/abs/1712.08966">arxiv:1712.08966</a>
<li>John P. Cunningham, Zoubin Ghahramani, "Unifying linear dimensionality reduction", <a href="http://arxiv.org/abs/1406.0873">arxiv:1406.0873</a>
<li>Jianqing Fan, Yuan Liao, "Learning Latent Factors from Diversified Projections and its Applications to Over-Estimated and Weak Factors",
<a href="http://arxiv.org/abs/1908.01252">arxiv:1908.01252</a>
<li>Jianqing Fan, Yuan Liao, and Martina Mincheva,
"High-dimensional covariance matrix estimation in approximate factor models",
<a href="http://dx.doi.org/10.1214/11-AOS944"><cite>Annals of Statistics</cite>
<strong>39</strong> (2011): 3320--3356</a>
<li>Réami Gribonval, Rodolphe Jenatton, Francis Bach, Martin Kleinsteuber, Matthias Seibert, "Sample Complexity of Dictionary Learning and other Matrix Factorizations", <a href="http://arxiv.org/abs/1312.3790">arxiv:1312.3790</a>
<li>Giles Hooker, Steven Roberts, "Maximal Autocorrelation Functions in Functional Data Analysis", <a href="http://arxiv.org/abs/1407.4578">arxiv:1407.4578</a>
<li>V. I. Koltchinskii, "Empirical geometry of multivariate data: a deconvolution approach", <a href="http://dx.doi.org/10.1214/aos/1016218232"><cite>Annals of Statistics</cite> <strong>28</strong> (2000): 591--629</a>
<li>Dennis Leung, Mathias Drton, Hisayuki Hara, "Identifiability of directed Gaussian graphical models with one latent source" <a href="http://arxiv.org/abs/1505.01583">arxiv:1505.01583</a>
<li>Vinicius Diniz Mayrink and Joseph Edward Lucas, "Sparse latent factor models with interactions: Analysis of gene expression data", <a href="https://doi.org/10.1214/12-AOAS607"><cite>Annals of Applied Statistics</cite>
<strong>7</strong> (2013): 799--822</a>
<li>Roderick P. McDonald, "A simple comprehensive model for the analysis of covariance structures: Some remarks on applications",
<a href="http://dx.doi.org/10.1111/j.2044-8317.1980.tb00606.x"><cite>British
Journal of Mathematical and Statistical Psychology</cite> <strong>33</strong>
(1980): 161-–183</a>
<li>Janek Musek, "A general factor of personality: Evidence for
the Big One in the five-factor model", <a href="http://dx.doi.org/10.1016/j.jrp.2007.02.003"><cite>Journal of Research in Personality</cite> <strong>41</strong> (2007): 1213--1233</a>
<li>Art B. Owen and Jingshu Wang, "Bi-Cross-Validation for Factor Analysis", <a href="https://doi.org/10.1214/15-STS539"><cite>Statistical Science</cite> <strong>31</strong> (2016): 119--139</a>, <a href="http://arxiv.org/abs/1503.03515">arxiv:1503.03515</a>
< <li>Patrick O. Perry, Art B. Owen, "A Rotation Test to Verify Latent Structure", <a href="http://jmlr.csail.mit.edu/papers/v11/perry10a.html"><cite>Journal of Machine Learning Research</cite>
<strong>11</strong> (2010): 603--624</a>
<li>Armeen Taeb, Venkat Chandrasekaran, "Interpreting Latent Variables in Factor Models via Convex Optimization", <a href="http://arxiv.org/abs/1601.00389">arxiv:1601.00389</a>
<li>Yichuan Tang, Ruslan Salakhutdinov, Geoffrey Hinton, "Deep Mixtures of Factor Analysers", <a href="http://arxiv.org/abs/1206.4635">arxiv:1206.4635</a>
<li>Xianli Zeng, Yingcun Xia, Linjun Zhang, "Double Cross Validation for the Number of Factors in Approximate Factor Models", <a href="http://arxiv.org/abs/1907.01670">arxiv:1907.01670</a>
<li>Kai Zhang, "Rank-Extreme Association of Gaussian Vectors and Low-Rank Detection", <a href="http://arxiv.org/abs/1306.0623">arxiv:1306.0623</a>
</ul>
<ul>To write:
<li>CRS, "General Factors in Correlational Psychology: Artifacts and Myths"
<li>CRS, "Semi-Parametric Generalized-Linear Factor Models" [Or, a brilliant scheme for replacing the linear dependence on the factors with a generalized additive model, if I can just get it to work...]
</ul>
<h4>Update history</h4>
(Incomplete)
<ul>
<li> Major revision 9 November 2017
<li> Fixed minor algebraic typos and a broken link, added new paragraph about positively-loaded "general factors" on 6 August 2019
</ul>