在 布朗运动与朗之万方程 中已经介绍过随机过程，而高斯过程 (Gaussian process ) 是一个特殊的随机过程。在高斯过程中，连续输入空间中每个点都是与一个正态分布的随机变量相关联 1
从单变量高斯分布说起。在 单变量高斯分布 中我们已经写出了单变量高斯分布的公式，在这里重复一遍。
单变量高斯分布
单变量高斯分布的概率密度函数为
p ( x ) = 1 σ 2 π e x p ( − ( x − μ ) 2 2 σ 2 ) p(x) = \frac{1}{\sigma\sqrt{2\pi}}\mathrm{exp}(-\frac{(x-\mu)^2}{2\sigma^2}) p ( x ) = σ 2 π 1 exp ( − 2 σ 2 ( x − μ ) 2 ) 其中 μ \mu μ σ \sigma σ
多元高斯分布
从一元高斯分布推广到多元高斯分布，假设各维度之间相互独立。
p ( x 1 , x 2 , … , x n ) = ∏ i = 1 n p ( x i ) = 1 ( 2 π ) n 2 σ 1 σ 2 … σ n exp ( − 1 2 [ ( x 1 − μ 1 ) 2 σ 1 2 + ( x 2 − μ 2 ) 2 σ 2 2 + … + ( x n − μ n ) 2 σ n 2 ] ) p\left(x_{1}, x_{2}, \ldots, x_{n}\right)=\prod_{i=1}^{n} p\left(x_{i}\right)=\frac{1}{(2 \pi)^{\frac{n}{2}} \sigma_{1} \sigma_{2} \ldots \sigma_{n}} \exp \left(-\frac{1}{2}\left[\frac{\left(x_{1}-\mu_{1}\right)^{2}}{\sigma_{1}^{2}}+\frac{\left(x_{2}-\mu_{2}\right)^{2}}{\sigma_{2}^{2}}+\ldots+\frac{\left(x_{n}-\mu_{n}\right)^{2}}{\sigma_{n}^{2}}\right]\right) p ( x 1 , x 2 , … , x n ) = i = 1 ∏ n p ( x i ) = ( 2 π ) 2 n σ 1 σ 2 … σ n 1 exp ( − 2 1 [ σ 1 2 ( x 1 − μ 1 ) 2 + σ 2 2 ( x 2 − μ 2 ) 2 + … + σ n 2 ( x n − μ n ) 2 ] ) 其中 μ 1 , μ 2 , … \mu_{1},\mu_{2},\dots μ 1 , μ 2 , … σ 1 , σ 2 , … \sigma_{1},\sigma_{2},\dots σ 1 , σ 2 , …
x − μ = [ x 1 − μ 1 , x 2 − μ 2 , … x n − μ n ] T \boldsymbol{x}-\boldsymbol{\mu}=\left[x_{1}-\mu_{1}, x_{2}-\mu_{2}, \ldots x_{n}-\mu_{n}\right]^{T} x − μ = [ x 1 − μ 1 , x 2 − μ 2 , … x n − μ n ] T K = [ σ 1 2 0 ⋯ 0 0 σ 2 2 ⋯ 0 ⋮ ⋮ ⋱ 0 0 0 0 σ n 2 ] K=\begin{bmatrix}
\sigma_{1}^{2} & 0 & \cdots & 0 \\
0 & \sigma_{2}^{2} & \cdots & 0 \\
\vdots & \vdots & \ddots & 0 \\
0 & 0 & 0 & \sigma_{n}^{2}
\end{bmatrix} K = σ 1 2 0 ⋮ 0 0 σ 2 2 ⋮ 0 ⋯ ⋯ ⋱ 0 0 0 0 σ n 2 则
σ 1 σ 2 … σ n = ∣ K ∣ 1 2 \sigma_{1} \sigma_{2} \ldots \sigma_{n}=|K|^{\frac{1}{2}} σ 1 σ 2 … σ n = ∣ K ∣ 2 1 ( x 1 − μ 1 ) 2 σ 1 2 + ( x 2 − μ 2 ) 2 σ 2 2 + … + ( x n − μ n ) 2 σ n 2 = ( x − μ ) T K − 1 ( x − μ ) \frac{\left(x_{1}-\mu_{1}\right)^{2}}{\sigma_{1}^{2}}+\frac{\left(x_{2}-\mu_{2}\right)^{2}}{\sigma_{2}^{2}}+\ldots+\frac{\left(x_{n}-\mu_{n}\right)^{2}}{\sigma_{n}^{2}}=(x-\mu)^{T} K^{-1}(x-\mu) σ 1 2 ( x 1 − μ 1 ) 2 + σ 2 2 ( x 2 − μ 2 ) 2 + … + σ n 2 ( x n − μ n ) 2 = ( x − μ ) T K − 1 ( x − μ ) 代入公式可得：
p ( x ) = ( 2 π ) − n 2 ∣ K ∣ − 1 2 e x p ( − 1 2 ( x − μ ) T K − 1 ( x − μ ) ) p(\boldsymbol{x}) = (2\pi)^{-\frac{n}{2}}|K|^{-\frac{1}{2}}\mathrm{exp}\left( -\frac{1}{2}(\boldsymbol{x-\mu})^TK^{-1}(\boldsymbol{x-\mu}) \right) p ( x ) = ( 2 π ) − 2 n ∣ K ∣ − 2 1 exp ( − 2 1 ( x − μ ) T K − 1 ( x − μ ) ) 其中 μ ∈ R n \boldsymbol{\mu} \in \mathbb{R}^n μ ∈ R n K ∈ R n × n K \in \mathbb{R}^{n \times n} K ∈ R n × n K K K K K K Gramian矩阵 。上式通常也简写为
x ∼ N ( μ , K ) x \sim \mathcal{N}(\boldsymbol{\mu}, K) x ∼ N ( μ , K ) 无限元高斯分布
高斯过程则是更进一步，它一个定义在连续域上的无限多个高斯随机变量所组成的随机过程；
对于一个连续域 T T T n n n t 1 , t 2 , … , t n ∈ T t_{1},t_{2},\dots,t_{n} \in T t 1 , t 2 , … , t n ∈ T n n n { ξ 1 , ξ 2 , ξ 3 , … , ξ n } \left\{\xi_{1}, \xi_{2}, \xi_{3}, \ldots, \xi_{n}\right\} { ξ 1 , ξ 2 , ξ 3 , … , ξ n } n n n { ξ t } \left\{ \xi_{t} \right\} { ξ t }
对于一个 p p p p p p μ p \mu_{p} μ p p p p p × p p \times p p × p Σ p × p \Sigma_{p \times p} Σ p × p
定义在连续域 T T T t t t t t t m ( t ) m(t) m ( t )
协方差矩阵也是同理, 无限维的情况下就 定义为一个核函数 k ( s , t ) k(s, t) k ( s , t ) s s s t t t R B F \mathrm{RBF} RBF
k ( s , t ) = σ 2 exp ( − ∥ s − t ∥ 2 2 l 2 ) k(s, t)=\sigma^{2} \exp \left(-\frac{\|s-t\|^{2}}{2 l^{2}}\right) k ( s , t ) = σ 2 exp ( − 2 l 2 ∥ s − t ∥ 2 ) 这里面的 σ \sigma σ l l l s s s t t t ∥ s − t ∥ 2 \|s-t\|^{2} ∥ s − t ∥ 2 s s s t t t s , t s,t s , t
整个高斯过程就可以确定为： ξ t ∼ G P ( m ( t ) , k ( s , t ) ) \xi_{t} \sim G P(m(t), k(s, t)) ξ t ∼ GP ( m ( t ) , k ( s , t ))
机器学习下的高斯过程
在机器学习下，我们想要的是在观测到一些样本对下，去更新高斯过程的均值函数和核函数。
那假设我们有已知数据集 D = { ( t 1 , ξ 1 ) , ( t 2 , ξ 2 ) , ( t 3 , ξ 3 ) ) , … , ( t n , ξ n ) } \mathcal{D}=\left\{ (t_{1},\xi_{1}), (t_{2},\xi_{2}) ,(t_{3},\xi_{3})),\dots,(t_{n},\xi_{n})\right\} D = { ( t 1 , ξ 1 ) , ( t 2 , ξ 2 ) , ( t 3 , ξ 3 )) , … , ( t n , ξ n ) } t \boldsymbol{t} t ξ \boldsymbol{\xi} ξ
那么余下的所有非观测点，在连续域上我们定义为 t t t ξ t \xi_{t} ξ t
[ ξ ξ t ] ∼ G P ( [ ξ m ( t ) ] , [ k ( t , t ) k ( t , t ) k ( t , t ) k ( t , t ) ] ) \begin{bmatrix}
\boldsymbol{\xi} \\
\xi_{t}
\end{bmatrix}\sim
\mathrm{GP}\left( \begin{bmatrix}
\boldsymbol{\xi} \\
m(t)
\end{bmatrix},\begin{bmatrix}
k(\boldsymbol{t},\boldsymbol{t}) & k(\boldsymbol{t},t) \\
k(t,\boldsymbol{t}) & k(t,t)
\end{bmatrix} \right) [ ξ ξ t ] ∼ GP ( [ ξ m ( t ) ] , [ k ( t , t ) k ( t , t ) k ( t , t ) k ( t , t ) ] ) 于是条件概率就是，
ξ t ∣ ξ ∼ G P ( m ∗ ( t ) , k ∗ ( s , t ) ) \xi_{t}|\boldsymbol{\xi} \sim \mathrm{GP}\left(m^*(t),k^*(s,t) \right) ξ t ∣ ξ ∼ GP ( m ∗ ( t ) , k ∗ ( s , t ) ) 其中
{ m ∗ ( t ) = k ( t , t ) k ( t , t ) − 1 ( ξ − μ ( ξ ) ) + m ( t ) k ∗ ( s , t ) = k ( s , t ) − k ( t , t ) k ( t , t ) − 1 k ( t , t ) \begin{cases}
m^*(t) = k(t,\boldsymbol{t})k(\boldsymbol{t},\boldsymbol{t})^{-1}(\boldsymbol{\xi}-\mu(\boldsymbol{\xi}))+ m(t) \\
k^*(s,t) = k(s,t)- k(t,\boldsymbol{t})k(\boldsymbol{t},\boldsymbol{t})^{-1}k(\boldsymbol{t},t)
\end{cases} { m ∗ ( t ) = k ( t , t ) k ( t , t ) − 1 ( ξ − μ ( ξ )) + m ( t ) k ∗ ( s , t ) = k ( s , t ) − k ( t , t ) k ( t , t ) − 1 k ( t , t ) 这个地方把各个量的 shape 标出来
{ k ( t , t ) ∈ R 1 × n k ( t , t ) ∈ R n × n k ( t , t ) ∈ R n × 1 \begin{cases}
k(t,\boldsymbol{t}) \in \mathbb{R}^{1\times n} \\
k(\boldsymbol{t},\boldsymbol{t}) \in \mathbb{R}^{n\times n} \\
k(\boldsymbol{t},t) \in \mathbb{R}^{n \times 1}
\end{cases} ⎩ ⎨ ⎧ k ( t , t ) ∈ R 1 × n k ( t , t ) ∈ R n × n k ( t , t ) ∈ R n × 1 其中 μ ( ξ ) \mu(\boldsymbol{\xi}) μ ( ξ )
从公式中我们可以看到，协方差 k ∗ k^* k ∗ 2 3 4
