Tikhonov regularization
Part of a series on 
Regression analysis 

Models 
Estimation 
Background 

Tikhonov regularization, named for Andrey Tikhonov, is a method of regularization of illposed problems. Also known as ridge regression,^{[loweralpha 1]} it is particularly useful to mitigate the problem of multicollinearity in linear regression, which commonly occurs in models with large numbers of parameters.^{[1]} In general, the method provides improved efficiency in parameter estimation problems in exchange for a tolerable amount of bias (see bias–variance tradeoff).^{[2]}
In the simplest case, the problem of a nearsingular moment matrix [math]\displaystyle{ (\mathbf{X}^\mathsf{T}\mathbf{X}) }[/math] is alleviated by adding positive elements to the diagonals, thereby decreasing its condition number. Analogous to the ordinary least squares estimator, the simple ridge estimator is then given by
 [math]\displaystyle{ \hat{\beta}_{R} = (\mathbf{X}^{\mathsf{T}} \mathbf{X} + \lambda \mathbf{I})^{1} \mathbf{X}^{\mathsf{T}} \mathbf{y} }[/math]
where [math]\displaystyle{ \mathbf{y} }[/math] is the regressand, [math]\displaystyle{ \mathbf{X} }[/math] is the design matrix, [math]\displaystyle{ \mathbf{I} }[/math] is the identity matrix, and the ridge parameter [math]\displaystyle{ \lambda \geq 0 }[/math] serves as the constant shifting the diagonals of the moment matrix.^{[3]} It can be shown that this estimator is the solution to the least squares problem subject to the constraint [math]\displaystyle{ \beta^\mathsf{T}\beta = c }[/math], which can be expressed as a Lagrangian:
 [math]\displaystyle{ \min_{\beta} \, (\mathbf{y}  \mathbf{X} \beta)^\mathsf{T}(\mathbf{y}  \mathbf{X} \beta) + \lambda (\beta^\mathsf{T}\beta  c) }[/math]
which shows that [math]\displaystyle{ \lambda }[/math] is nothing but the Lagrange multiplier of the constraint. Typically, [math]\displaystyle{ \lambda }[/math] is chosen according to a heuristic criterion, so that the constraint will not be satisfied exactly. Specifically in the case of [math]\displaystyle{ \lambda = 0 }[/math], in which the constraint is nonbinding, the ridge estimator reduces to ordinary least squares. A more general approach to Tikhonov regularization is discussed below.
History
Tikhonov regularization has been invented independently in many different contexts. It became widely known from its application to integral equations from the work of Andrey Tikhonov^{[4]}^{[5]}^{[6]}^{[7]}^{[8]} and David L. Phillips.^{[9]} Some authors use the term Tikhonov–Phillips regularization. The finitedimensional case was expounded by Arthur E. Hoerl, who took a statistical approach,^{[10]} and by Manus Foster, who interpreted this method as a Wiener–Kolmogorov (Kriging) filter.^{[11]} Following Hoerl, it is known in the statistical literature as ridge regression,^{[12]} named after the shape along the diagonal of the identity matrix.
Tikhonov regularization
Suppose that for a known matrix [math]\displaystyle{ A }[/math] and vector [math]\displaystyle{ \mathbf{b} }[/math], we wish to find a vector [math]\displaystyle{ \mathbf{x} }[/math] such that^{[clarification needed]}
 [math]\displaystyle{ A\mathbf{x} = \mathbf{b}. }[/math]
The standard approach is ordinary least squares linear regression.^{[clarification needed]} However, if no [math]\displaystyle{ \mathbf{x} }[/math] satisfies the equation or more than one [math]\displaystyle{ \mathbf{x} }[/math] does—that is, the solution is not unique—the problem is said to be ill posed. In such cases, ordinary least squares estimation leads to an overdetermined, or more often an underdetermined system of equations. Most realworld phenomena have the effect of lowpass filters in the forward direction where [math]\displaystyle{ A }[/math] maps [math]\displaystyle{ \mathbf{x} }[/math] to [math]\displaystyle{ \mathbf{b} }[/math]. Therefore, in solving the inverseproblem, the inverse mapping operates as a highpass filter that has the undesirable tendency of amplifying noise (eigenvalues / singular values are largest in the reverse mapping where they were smallest in the forward mapping). In addition, ordinary least squares implicitly nullifies every element of the reconstructed version of [math]\displaystyle{ \mathbf{x} }[/math] that is in the nullspace of [math]\displaystyle{ A }[/math], rather than allowing for a model to be used as a prior for [math]\displaystyle{ \mathbf{x} }[/math]. Ordinary least squares seeks to minimize the sum of squared residuals, which can be compactly written as
 [math]\displaystyle{ \A\mathbf{x}  \mathbf{b}\_2^2, }[/math]
where [math]\displaystyle{ \\cdot\_2 }[/math] is the Euclidean norm.
In order to give preference to a particular solution with desirable properties, a regularization term can be included in this minimization:
 [math]\displaystyle{ \A\mathbf{x}  \mathbf{b}\_2^2 + \\Gamma \mathbf{x}\_2^2 }[/math]
for some suitably chosen Tikhonov matrix [math]\displaystyle{ \Gamma }[/math]. In many cases, this matrix is chosen as a scalar multiple of the identity matrix ([math]\displaystyle{ \Gamma = \alpha I }[/math]), giving preference to solutions with smaller norms; this is known as L_{2} regularization.^{[13]} In other cases, highpass operators (e.g., a difference operator or a weighted Fourier operator) may be used to enforce smoothness if the underlying vector is believed to be mostly continuous. This regularization improves the conditioning of the problem, thus enabling a direct numerical solution. An explicit solution, denoted by [math]\displaystyle{ \hat{x} }[/math], is given by
 [math]\displaystyle{ \hat{x} = (A^\top A + \Gamma^\top \Gamma)^{1} A^\top \mathbf{b}. }[/math]
The effect of regularization may be varied by the scale of matrix [math]\displaystyle{ \Gamma }[/math]. For [math]\displaystyle{ \Gamma = 0 }[/math] this reduces to the unregularized leastsquares solution, provided that (A^{T}A)^{−1} exists.
L_{2} regularization is used in many contexts aside from linear regression, such as classification with logistic regression or support vector machines,^{[14]} and matrix factorization.^{[15]}
Generalized Tikhonov regularization
For general multivariate normal distributions for [math]\displaystyle{ x }[/math] and the data error, one can apply a transformation of the variables to reduce to the case above. Equivalently, one can seek an [math]\displaystyle{ x }[/math] to minimize
 [math]\displaystyle{ \Ax  b\_P^2 + \x  x_0\_Q^2, }[/math]
where we have used [math]\displaystyle{ \x\_Q^2 }[/math] to stand for the weighted norm squared [math]\displaystyle{ x^\top Q x }[/math] (compare with the Mahalanobis distance). In the Bayesian interpretation [math]\displaystyle{ P }[/math] is the inverse covariance matrix of [math]\displaystyle{ b }[/math], [math]\displaystyle{ x_0 }[/math] is the expected value of [math]\displaystyle{ x }[/math], and [math]\displaystyle{ Q }[/math] is the inverse covariance matrix of [math]\displaystyle{ x }[/math]. The Tikhonov matrix is then given as a factorization of the matrix [math]\displaystyle{ Q = \Gamma^\top \Gamma }[/math] (e.g. the Cholesky factorization) and is considered a whitening filter.
This generalized problem has an optimal solution [math]\displaystyle{ x^* }[/math] which can be written explicitly using the formula
 [math]\displaystyle{ x^* = (A^\top PA + Q)^{1} (A^\top Pb + Qx_0), }[/math]
or equivalently
 [math]\displaystyle{ x^* = x_0 + (A^\top PA + Q)^{1} (A^\top P(b  Ax_0)). }[/math]
Lavrentyev regularization
In some situations, one can avoid using the transpose [math]\displaystyle{ A^\top }[/math], as proposed by Mikhail Lavrentyev.^{[16]} For example, if [math]\displaystyle{ A }[/math] is symmetric positive definite, i.e. [math]\displaystyle{ A = A^\top \gt 0 }[/math], so is its inverse [math]\displaystyle{ A^{1} }[/math], which can thus be used to set up the weighted norm squared [math]\displaystyle{ \x\_P^2 = x^\top A^{1} x }[/math] in the generalized Tikhonov regularization, leading to minimizing
 [math]\displaystyle{ \Ax  b\_{A^{1}}^2 + \x  x_0\_Q^2 }[/math]
or, equivalently up to a constant term,
 [math]\displaystyle{ x^\top (A+Q)x  2 x^\top (b + Qx_0) }[/math].
This minimization problem has an optimal solution [math]\displaystyle{ x^* }[/math] which can be written explicitly using the formula
 [math]\displaystyle{ x^* = (A + Q)^{1} (b + Qx_0) }[/math],
which is nothing but the solution of the generalized Tikhonov problem where [math]\displaystyle{ A = A^\top =P^{1}. }[/math]
The Lavrentyev regularization, if applicable, is advantageous to the original Tikhonov regularization, since the Lavrentyev matrix [math]\displaystyle{ A + Q }[/math] can be better conditioned, i.e., have a smaller condition number, compared to the Tikhonov matrix [math]\displaystyle{ A^\top A + \Gamma^\top \Gamma. }[/math]
Regularization in Hilbert space
Typically discrete linear illconditioned problems result from discretization of integral equations, and one can formulate a Tikhonov regularization in the original infinitedimensional context. In the above we can interpret [math]\displaystyle{ A }[/math] as a compact operator on Hilbert spaces, and [math]\displaystyle{ x }[/math] and [math]\displaystyle{ b }[/math] as elements in the domain and range of [math]\displaystyle{ A }[/math]. The operator [math]\displaystyle{ A^* A + \Gamma^\top \Gamma }[/math] is then a selfadjoint bounded invertible operator.
Relation to singularvalue decomposition and Wiener filter
With [math]\displaystyle{ \Gamma = \alpha I }[/math], this leastsquares solution can be analyzed in a special way using the singularvalue decomposition. Given the singular value decomposition
 [math]\displaystyle{ A = U \Sigma V^\top }[/math]
with singular values [math]\displaystyle{ \sigma _i }[/math], the Tikhonov regularized solution can be expressed as
 [math]\displaystyle{ \hat{x} = V D U^\top b, }[/math]
where [math]\displaystyle{ D }[/math] has diagonal values
 [math]\displaystyle{ D_{ii} = \frac{\sigma_i}{\sigma_i^2 + \alpha^2} }[/math]
and is zero elsewhere. This demonstrates the effect of the Tikhonov parameter on the condition number of the regularized problem. For the generalized case, a similar representation can be derived using a generalized singularvalue decomposition.^{[17]}
Finally, it is related to the Wiener filter:
 [math]\displaystyle{ \hat{x} = \sum _{i=1}^q f_i \frac{u_i^\top b}{\sigma_i} v_i, }[/math]
where the Wiener weights are [math]\displaystyle{ f_i = \frac{\sigma _i^2}{\sigma_i^2 + \alpha^2} }[/math] and [math]\displaystyle{ q }[/math] is the rank of [math]\displaystyle{ A }[/math].
Determination of the Tikhonov factor
The optimal regularization parameter [math]\displaystyle{ \alpha }[/math] is usually unknown and often in practical problems is determined by an ad hoc method. A possible approach relies on the Bayesian interpretation described below. Other approaches include the discrepancy principle, crossvalidation, Lcurve method,^{[18]} restricted maximum likelihood and unbiased predictive risk estimator. Grace Wahba proved that the optimal parameter, in the sense of leaveoneout crossvalidation minimizes^{[19]}^{[20]}
 [math]\displaystyle{ G = \frac{\operatorname{RSS}}{\tau^2} = \frac{\X \hat{\beta}  y\^2}{[\operatorname{Tr}(I  X(X^T X + \alpha^2 I)^{1} X^T)]^2}, }[/math]
where [math]\displaystyle{ \operatorname{RSS} }[/math] is the residual sum of squares, and [math]\displaystyle{ \tau }[/math] is the effective number of degrees of freedom.
Using the previous SVD decomposition, we can simplify the above expression:
 [math]\displaystyle{ \operatorname{RSS} = \left\ y  \sum_{i=1}^q (u_i' b) u_i \right\^2 + \left\ \sum _{i=1}^q \frac{\alpha^2}{\sigma_i^2 + \alpha^2} (u_i' b) u_i \right\^2, }[/math]
 [math]\displaystyle{ \operatorname{RSS} = \operatorname{RSS}_0 + \left\ \sum_{i=1}^q \frac{\alpha^2}{\sigma_i^2 + \alpha^2} (u_i' b) u_i \right\^2, }[/math]
and
 [math]\displaystyle{ \tau = m  \sum_{i=1}^q \frac{\sigma_i^2}{\sigma_i^2 + \alpha^2} = m  q + \sum_{i=1}^q \frac{\alpha^2}{\sigma _i^2 + \alpha^2}. }[/math]
Relation to probabilistic formulation
The probabilistic formulation of an inverse problem introduces (when all uncertainties are Gaussian) a covariance matrix [math]\displaystyle{ C_M }[/math] representing the a priori uncertainties on the model parameters, and a covariance matrix [math]\displaystyle{ C_D }[/math] representing the uncertainties on the observed parameters.^{[21]} In the special case when these two matrices are diagonal and isotropic, [math]\displaystyle{ C_M = \sigma_M^2 I }[/math] and [math]\displaystyle{ C_D = \sigma_D^2 I }[/math], and, in this case, the equations of inverse theory reduce to the equations above, with [math]\displaystyle{ \alpha = {\sigma_D}/{\sigma_M} }[/math].
Bayesian interpretation
Although at first the choice of the solution to this regularized problem may look artificial, and indeed the matrix [math]\displaystyle{ \Gamma }[/math] seems rather arbitrary, the process can be justified from a Bayesian point of view. Note that for an illposed problem one must necessarily introduce some additional assumptions in order to get a unique solution. Statistically, the prior probability distribution of [math]\displaystyle{ x }[/math] is sometimes taken to be a multivariate normal distribution. For simplicity here, the following assumptions are made: the means are zero; their components are independent; the components have the same standard deviation [math]\displaystyle{ \sigma _x }[/math]. The data are also subject to errors, and the errors in [math]\displaystyle{ b }[/math] are also assumed to be independent with zero mean and standard deviation [math]\displaystyle{ \sigma _b }[/math]. Under these assumptions the Tikhonovregularized solution is the most probable solution given the data and the a priori distribution of [math]\displaystyle{ x }[/math], according to Bayes' theorem.^{[22]}
If the assumption of normality is replaced by assumptions of homoscedasticity and uncorrelatedness of errors, and if one still assumes zero mean, then the Gauss–Markov theorem entails that the solution is the minimal unbiased linear estimator.^{[23]}
See also
 LASSO estimator is another regularization method in statistics.
 Elastic net regularization
 Matrix regularization
Notes
 ↑ In statistics, the method is known as ridge regression, in machine learning it and its modifications are known as weight decay, and with multiple independent discoveries, it is also variously known as the Tikhonov–Miller method, the Phillips–Twomey method, the constrained linear inversion method, L_{2} regularization, and the method of linear regularization. It is related to the Levenberg–Marquardt algorithm for nonlinear leastsquares problems.
References
 ↑ Kennedy, Peter (2003). A Guide to Econometrics (Fifth ed.). Cambridge: The MIT Press. pp. 205–206. ISBN 026261183X. https://books.google.com/books?id=B8I5SP69e4kC&pg=PA205.
 ↑ Gruber, Marvin (1998). Improving Efficiency by Shrinkage: The James–Stein and Ridge Regression Estimators. Boca Raton: CRC Press. pp. 7–15. ISBN 0824701569. https://books.google.com/books?id=wmA_R3ZFrXYC&pg=PA7.
 ↑ For the choice of [math]\displaystyle{ \lambda }[/math] in practice, see Khalaf, Ghadban; Shukur, Ghazi (2005). "Choosing Ridge Parameter for Regression Problems". Communications in Statistics – Theory and Methods 34 (5): 1177–1182. doi:10.1081/STA200056836.
 ↑ Tikhonov, Andrey Nikolayevich (1943). "Об устойчивости обратных задач". Doklady Akademii Nauk SSSR 39 (5): 195–198. http://aserver.math.nsc.ru/IPP/BASE_WORK/tihon_en.html.
 ↑ Tikhonov, A. N. (1963). "О решении некорректно поставленных задач и методе регуляризации". Doklady Akademii Nauk SSSR 151: 501–504.. Translated in "Solution of incorrectly formulated problems and the regularization method". Soviet Mathematics 4: 1035–1038.
 ↑ Tikhonov, A. N.; V. Y. Arsenin (1977). Solution of Illposed Problems. Washington: Winston & Sons. ISBN 0470991240.
 ↑ Tikhonov, Andrey Nikolayevich; Goncharsky, A.; Stepanov, V. V.; Yagola, Anatolij Grigorevic (30 June 1995). Numerical Methods for the Solution of IllPosed Problems. Netherlands: Springer Netherlands. ISBN 079233583X. https://www.springer.com/us/book/9780792335832. Retrieved 9 August 2018.
 ↑ Tikhonov, Andrey Nikolaevich; Leonov, Aleksandr S.; Yagola, Anatolij Grigorevic (1998). Nonlinear illposed problems. London: Chapman & Hall. ISBN 0412786605. https://www.springer.com/us/book/9789401751698. Retrieved 9 August 2018.
 ↑ Phillips, D. L. (1962). "A Technique for the Numerical Solution of Certain Integral Equations of the First Kind". Journal of the ACM 9: 84–97. doi:10.1145/321105.321114.
 ↑ Hoerl, Arthur E. (1962). "Application of Ridge Analysis to Regression Problems". Chemical Engineering Progress 58 (3): 54–59.
 ↑ Foster, M. (1961). "An Application of the WienerKolmogorov Smoothing Theory to Matrix Inversion". Journal of the Society for Industrial and Applied Mathematics 9 (3): 387–392. doi:10.1137/0109031.
 ↑ Hoerl, A. E.; R. W. Kennard (1970). "Ridge regression: Biased estimation for nonorthogonal problems". Technometrics 12 (1): 55–67. doi:10.1080/00401706.1970.10488634.
 ↑ Ng, Andrew Y. (2004). "Feature selection, L1 vs. L2 regularization, and rotational invariance". Proc. ICML. https://icml.cc/Conferences/2004/proceedings/papers/354.pdf.
 ↑ R.E. Fan; K.W. Chang; C.J. Hsieh; X.R. Wang; C.J. Lin (2008). "LIBLINEAR: A library for large linear classification". Journal of Machine Learning Research 9: 1871–1874.
 ↑ Guan, Naiyang; Tao, Dacheng; Luo, Zhigang; Yuan, Bo (2012). "Online nonnegative matrix factorization with robust stochastic approximation". IEEE Transactions on Neural Networks and Learning Systems 23 (7): 1087–1099. doi:10.1109/TNNLS.2012.2197827. PMID 24807135.
 ↑ Lavrentiev, M. M. (1967). Some Improperly Posed Problems of Mathematical Physics. New York: Springer.
 ↑ Hansen, Per Christian (Jan 1, 1998). RankDeficient and Discrete IllPosed Problems: Numerical Aspects of Linear Inversion (1st ed.). Philadelphia, USA: SIAM. ISBN 9780898714036.
 ↑ P. C. Hansen, "The Lcurve and its use in the numerical treatment of inverse problems", [1]
 ↑ Wahba, G. (1990). "Spline Models for Observational Data". CBMSNSF Regional Conference Series in Applied Mathematics (Society for Industrial and Applied Mathematics). Bibcode: 1990smod.conf.....W.
 ↑ Golub, G.; Heath, M.; Wahba, G. (1979). "Generalized crossvalidation as a method for choosing a good ridge parameter". Technometrics 21 (2): 215–223. doi:10.1080/00401706.1979.10489751. http://www.stat.wisc.edu/~wahba/ftp1/oldie/golub.heath.wahba.pdf.
 ↑ Tarantola, Albert (2005). Inverse Problem Theory and Methods for Model Parameter Estimation (1st ed.). Philadelphia: Society for Industrial and Applied Mathematics (SIAM). ISBN 0898717922. http://www.ipgp.jussieu.fr/~tarantola/Files/Professional/SIAM/index.html. Retrieved 9 August 2018.
 ↑ Vogel, Curtis R. (2002). Computational methods for inverse problems. Philadelphia: Society for Industrial and Applied Mathematics. ISBN 0898715504.
 ↑ Amemiya, Takeshi (1985). Advanced Econometrics. Harvard University Press. pp. 60–61. ISBN 0674005600. https://archive.org/details/advancedeconomet00amem/page/60.
Further reading
 Gruber, Marvin (1998). Improving Efficiency by Shrinkage: The James–Stein and Ridge Regression Estimators. Boca Raton: CRC Press. ISBN 0824701569. https://books.google.com/books?id=wmA_R3ZFrXYC.
 Kress, Rainer (1998). "Tikhonov Regularization". Numerical Analysis. New York: Springer. pp. 86–90. ISBN 0387984089. https://books.google.com/books?id=Jv_ZBwAAQBAJ&pg=PA86.
 Press, W. H.; Teukolsky, S. A.; Vetterling, W. T.; Flannery, B. P. (2007). "Section 19.5. Linear Regularization Methods". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 9780521880688. http://apps.nrbook.com/empanel/index.html#pg=1006.
 Saleh, A. K. Md. Ehsanes; Arashi, Mohammad; Kibria, B. M. Golam (2019). Theory of Ridge Regression Estimation with Applications. New York: John Wiley & Sons. ISBN 9781118644614. https://books.google.com/books?id=v0KCDwAAQBAJ.
 Taddy, Matt (2019). "Regularization". Business Data Science: Combining Machine Learning and Economics to Optimize, Automate, and Accelerate Business Decisions. New York: McGrawHill. pp. 69–104. ISBN 9781260452778. https://books.google.com/books?id=yPOUDwAAQBAJ&pg=PA69.
Original source: https://en.wikipedia.org/wiki/Tikhonov regularization.
Read more 