Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 218 2 a Solution Created 2026-10-03 Updated 2026-10-05
In the terminology used for positive-definite kernels, positive definiteness means positive semidefiniteness of every finite kernel matrix: is symmetric and, for every , points and real ,The linear kernel is symmetric, andThus it is a positive-semidefinite kernel, with the identity as its feature map. It need not be strictly positive definite: a zero vector or linearly dependent points can make this quadratic form zero for nonzero . This distinction is essential when interpreting the terminology.
Every principal submatrix of a kernel matrix is positive semidefinite, soThe Cauchy-Schwarz inequality for integrals therefore givesThus every entry of is well defined. For any finite coefficients and points , linearity of the integral givesbecause the integrand is nonnegative. Hence is a positive-semidefinite kernel. This proves the integral closure of positive-semidefinite kernels.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 205 1 Solution 2026-09-28
A positive-semidefinite kernel on a nonempty set is a symmetric function such that, for every , every , and every ,Equivalently, every finite kernel matrix is a positive semidefinite matrix.
Kernel principal component analysis diagonalizes the centered by kernel matrix instead of an explicit covariance operator in a possibly infinite-dimensional feature space. A new point has coordinateso the leading coordinates require only evaluations of the positive-semidefinite kernel.
Running the K-nearest neighbors algorithm in a truncated collection of these coordinates can remove low-variance noise, reduce effective dimension, and allow a nonlinear boundary in the original covariates. This is the kernel trick: every feature-space inner product needed for fitting and projection is replaced by without constructing explicitly.
Write . By the definition of the kernel matrix,andThe irrelevant positive factor gives exactly the stated constrained optimization.
Let , where is the largest eigenvalue and . The generalized Rayleigh quotient is maximized byup to sign and addition of a vector in , which does not change . Repeated leading eigenvectors give further principal directions.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 205 1 a Solution Created 2026-09-24 Updated 2026-10-14
A symmetric function is a positive-semidefinite kernel when, for every , every , and every ,Equivalently, every associated kernel matrix is a positive semidefinite matrix.
A Reproducing kernel Hilbert space on is a Hilbert space of real-valued functions such that every point-evaluation map is continuous. The Riesz representation theorem then gives a function satisfying the reproducing propertyIts reproducing kernel is .
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 205 1 b Solution Created 2026-09-24 Updated 2026-09-25
Suppose a feature map represented the Gaussian kernel. Choose , a unit vector , and points for . Their kernel matrix isFor sufficiently large , hence sufficiently small , every row satisfiesThus is a symmetric strictly diagonally dominant matrix with positive diagonal and is therefore a positive-definite matrix, so .
On the other hand, if is the matrix whose th row is , then and , a contradiction. Hence every feature-space realization of the Gaussian kernel requires an infinite-dimensional vector space.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 218 4 f Solution Created 2026-09-24 Updated 2026-09-25
The feature space may be extremely high-dimensional or infinite-dimensional, and may be known only implicitly. Instead, compute the leading eigenvector of the kernel matrix , normalize it by , and use the kernel trick:This requires only kernel evaluations.
Product of positive-semidefinite kernels Created 2026-09-24 Updated 2026-09-28
The pointwise product of two positive-semidefinite kernels is positive semidefinite because its finite kernel matrix is the entrywise product of two positive-semidefinite matrices, to which the Schur product theorem applies.