Basic Prerequisites: 01 · From Zero and Feature Engineering & Labeling (factor construction). A working knowledge of PCA helps - the central result is that the linear autoencoder is PCA.
1. Intuition & Practical Objective
An autoencoder learns to copy its input through a narrow bottleneck: it compresses to a short code (the encoder) and reconstructs from (the decoder). If the bottleneck is smaller than the input, the network cannot copy verbatim - it is forced to keep only the structure that explains most of the variation. That structure is exactly a factor model: the code is a handful of latent factors, and the decoder is the loading matrix.
Two “aha”s:
- Compression is a definition of “factor”. A good factor is a low-dimensional summary that reconstructs the data. An autoencoder’s training objective - minimise reconstruction error - is precisely the factor-extraction objective, learned by gradient descent instead of eigen-decomposition.
- The linear autoencoder is PCA, exactly. This is the honest punchline of the page: below a bottleneck dimension , a linear autoencoder’s optimum is the rank- PCA subspace (Eckart–Young / Baldi–Hornik). Nonlinearity is what buys you something PCA cannot - curved manifolds, sparse codes, denoising - and that is where the deep-learning content actually lives.
The practical objective: build factors with an autoencoder, and know exactly how much of the gain is real (nonlinearity) versus a reparametrisation of PCA (nothing).
2. Mathematical Ground Truth & Derivations
2.1 The autoencoder objective
With encoder and decoder , the reconstruction loss over samples is
For a linear autoencoder, , , and (absorbing the optimum) is the orthogonal projector onto a -dimensional subspace. The optimal subspace is given by the SVD. Write the centred data matrix (economy SVD). Then the Eckart–Young theorem says the best rank- approximation is
attained when (rows top- right singular vectors, the principal directions) and . Hence:
Theorem (Baldi & Hornik 1989). A linear autoencoder with bottleneck trained to global optimality recovers the top- PCA subspace. Its reconstruction error equals the PCA error: (mean squared error over the discarded singular values), which is when the data is exactly rank-.
So a linear autoencoder is a neural re-implementation of PCA; the weights are a rotation of the principal directions, and the codes are the principal-component scores up to that rotation.
2.2 What nonlinearity adds
Replacing linear maps with nonlinearities , lets the model represent a curved low-dimensional manifold - a set of latent factors that mix multiplicatively, not just additively. The gains over PCA are real but come at a cost:
- Sparse autoencoder - add an penalty: . Most code units are driven to exactly , so each factor is “on” for few inputs (interpretable, regime-like factors).
- Denoising autoencoder - train to reconstruct from a corrupted ; the code must capture structure robust to noise, which suits the low-SNR financial regime.
- Undercomplete vs overcomplete - a bottleneck smaller than forces compression (the factor view); a bottleneck larger than requires a sparsity or noise penalty to avoid the identity function (the dictionary-learn view).
- VAE - a probabilistic autoencoder that learns a latent distribution and can generate/sample; the bridge to latent-factor risk models with uncertainty.
For factors specifically, the encoding step is the unsupervised counterpart of supervised factor ranking: it finds structure in without ever seeing a label, which is either a strength (no target leakage) or a weakness (unrelated to the return you care about) depending on the task.
3. Computational Implementation - a linear autoencoder in numpy, checked against PCA
numpy only. We build data with a rank- factor structure plus noise in dimensions, compute the PCA rank- reconstruction error (the theoretical optimum), train a linear autoencoder by gradient descent, and show the two agree.
Read it as the theorem verified. The trained autoencoder’s reconstruction error is , identical (to ) to the PCA optimum, and the three principal angles between the learned encoder subspace and the PCA subspace are all - the subspaces are the same subspace. The autoencoder was not a better factor model than PCA; it was a slower, gradient-trained re-derivation of it. That is the honest baseline you must beat with a nonlinear autoencoder before claiming any deep-learning gain.
4. Failure Modes & First-Principles Breakdowns
- “My autoencoder beat PCA” (it didn’t). With linear layers and no regularisation, the two coincide (verified above). Any apparent improvement is (a) not converged, (b) a nonlinearity you forgot you added, or (c) noise in the comparison. Always report the PCA baseline.
- Best reconstruction ≠ best factor. The objective minimises variance reconstruction. A factor that is statistically loud may be financially irrelevant; autoencoders are unsupervised and know nothing about returns. Pair them with a supervised check (→ tree-based factor ranking).
- Overcomplete autoencoders memorise. If the bottleneck is and there is no sparsity/denoising penalty, the network learns the identity (zero error, zero information). The bottleneck must be smaller or regularised.
- Factors drift. Loadings fit on one period may no longer describe another (non-stationarity); a factor model is a stationary assumption (recall page 05’s regime shift). Refit on a rolling window and monitor.
- PCA-of-returns recovers noise in the low-SNR regime. With a weak signal, the top principal components of features are dominated by common noise unless the features are cleaned (standardise, sector-neutralise, fractionally differentiate). See Feature Engineering.
- A domain caveat on the source. Advances in Financial Machine Learning (López de Prado 2018) is often cited for “autoencoder factors”, but AFML contains no autoencoder chapter - its deep-learning content is absent by design (Ch. 1 explicitly declines to cover deep/recurrent/convolutional nets), and its Ch. 19 is “Microstructural Features”. The autoencoder canon here is Goodfellow et al. Ch. 14 and the finance application of Heaton, Polson & Witte (2017).
5. References
- Goodfellow, Bengio & Courville, Deep Learning, Ch. 14 “Autoencoders”
- Baldi, P. & Hornik, K. (1989), Neural Networks and Principal Component Analysis: Learning from Examples Without Local Minima, Neural Networks 2(1):53–58
- Eckart, C. & Young, G. (1936), The Approximation of One Matrix by Another of Lower Rank
- Heaton, J.B., Polson, N.G. & Witte, J.H. (2017), Deep learning for finance: deep portfolios, Applied Stochastic Models in Business and Industry 33(1):3–12
- Hastie, Tibshirani & Friedman, The Elements of Statistical Learning, Ch. 14.5 (PCA as the best rank- linear manifold, model eq. 14.49, objective eq. 14.50, SVD eq. 14.54)
- Hinton, G. & Salakhutdinov, R. (2006), Reducing the Dimensionality of Data with Neural Networks, Science
6. Connected Graph Bridges
- Back: 03 · Attention & Transformers · Index Hub
- Forward: 05 · Failure Modes & Practice
- Supervised counterpart: Tree-Based Factor Ranking & Purged CV
- Feature inputs the encoder consumes: Feature Engineering & Labeling
- Low-SNR reality check: Financial ML Pitfalls & Low SNR