UA MATH567 高維統計II 隨機向量2 各向同性的隨機向量

一個不願透露姓名的孩子發表於2020-12-24

UA MATH567 高維統計II 隨機向量2 各向同性的隨機向量

上一講討論隨機向量L2範數的concentration的時候假設隨機向量每個分量的方差為1,這其實是一種常用的假設,這一講我們的目標就是討論這種假設,可以把它理解為一元隨機變數方差為1的假設的推廣。

各向同性 (Isotropy) 稱一個隨機向量是各向同性的如果它的協方差矩陣為單位矩陣。對於均值為 μ \mu μ,協方差為 Σ \Sigma Σ的隨機向量 X X X,我們可以定義 Z = Σ − 1 / 2 ( X − μ ) Z =\Sigma^{-1/2}(X-\mu) Z=Σ1/2(Xμ),顯然 Z Z Z就是一個零均值各向同性的隨機向量。

各向同性的充要條件 n n n維隨機向量 X X X各向同性等價於 ∀ x ∈ R n \forall x \in \mathbb{R}^n xRn,
E ⟨ X , x ⟩ 2 = ∥ x ∥ 2 2 E \langle X,x \rangle^2 = \left\| x\right\|_2^2 EX,x2=x22

其中 ⟨ X , x ⟩ \langle X,x \rangle X,x表示歐氏內積。

說明
E ⟨ X , x ⟩ 2 = E [ x T X X T x ] = x T E [ X X T ] x = ∥ x ∥ 2 2 = x T x ⇔ E [ X X T ] = Σ = I n E \langle X,x \rangle^2 = E[x^TXX^Tx]=x^TE[XX^T]x=\left\| x\right\|_2^2=x^Tx \\ \Leftrightarrow E[XX^T] = \Sigma = I_n EX,x2=E[xTXXTx]=xTE[XXT]x=x22=xTxE[XXT]=Σ=In

各向同性的性質

  1. 如果 X X X n n n維各向同性隨機向量,則 E ∥ X ∥ 2 2 = n E\left\| X \right\|_2^2=n EX22=n
  2. 如果 X , Y X,Y X,Y是獨立的 n n n維各向同性隨機向量,則 E ⟨ X , Y ⟩ 2 = n E\langle X,Y \rangle^2=n EX,Y2=n
  3. 如果 X , Y X,Y X,Y是獨立的 n n n維零均值各向同性隨機向量,則 E ∥ X − Y ∥ 2 2 = 2 n E\left\| X-Y \right\|_2^2=2n EXY22=2n

說明
第一條, E ∥ X ∥ 2 2 = E [ X T X ] = E [ t r ( X T X ) ] = E [ t r ( X X T ) ] = t r ( E [ X X T ] ) = t r ( I n ) = n E\left\| X \right\|_2^2 = E[X^TX]=E[tr(X^TX)]=E[tr(XX^T)]=tr(E[XX^T])=tr(I_n)=n EX22=E[XTX]=E[tr(XTX)]=E[tr(XXT)]=tr(E[XXT])=tr(In)=n

第二條, E ⟨ X , Y ⟩ 2 = E [ X T Y Y T X ] = E X [ E Y [ X T Y Y T X ] ] = E X [ X T I n X ] = E X [ X T X ] = n E\langle X,Y \rangle^2=E[X^TYY^TX]=E_X[E_Y[X^TYY^TX]]=E_X[X^TI_nX]=E_X[X^TX]=n EX,Y2=E[XTYYTX]=EX[EY[XTYYTX]]=EX[XTInX]=EX[XTX]=n

第三條, E ∥ X − Y ∥ 2 2 = E [ ( X − Y ) T ( X − Y ) ] = E [ X T X ] − E [ X T Y ] − E [ Y T X ] + E [ Y T Y ] = E [ X T X ] + E [ Y T Y ] = 2 n E\left\| X-Y \right\|_2^2=E[(X-Y)^T(X-Y)]=E[X^TX]-E[X^TY]-E[Y^TX]+E[Y^TY]=E[X^TX]+E[Y^TY]=2n EXY22=E[(XY)T(XY)]=E[XTX]E[XTY]E[YTX]+E[YTY]=E[XTX]+E[YTY]=2n


幾乎正交的隨機向量:根據各向同性的性質,假設 X , Y X,Y X,Y是獨立的 n n n維各向同性隨機向量,定義
X 0 = X ∥ X ∥ 2 , Y 0 = Y ∥ Y ∥ 2 X_0=\frac{X}{\left\|X\right\|_2},Y_0=\frac{Y}{\left\|Y\right\|_2} X0=X2X,Y0=Y2Y


E ⟨ X 0 , Y 0 ⟩ = E ⟨ X , Y ⟩ ∥ X ∥ 2 ∥ Y ∥ 2 E\langle X_0,Y_0 \rangle=\frac{E\langle X,Y \rangle}{\left\|X\right\|_2\left\|Y\right\|_2} EX0,Y0=X2Y2EX,Y

根據各向同性的性質第一條與第二條,
E ⟨ X , Y ⟩ ∥ X ∥ 2 ∥ Y ∥ 2 = 1 n \frac{E\langle X,Y \rangle}{\left\|X\right\|_2\left\|Y\right\|_2} = \frac{1}{\sqrt{n}} X2Y2EX,Y=n 1

另外,我們還可以計算
E ⟨ X 0 , Y 0 ⟩ 2 = E X 0 T Y 0 Y 0 T X 0 = E X T Y Y T X ∥ X ∥ 2 2 ∥ Y ∥ 2 2 = 1 n E\langle X_0,Y_0 \rangle^2 =EX_0^TY_0Y_0^TX_0=\frac{EX^TYY^TX}{\left\|X\right\|_2^2\left\|Y\right\|_2^2}=\frac{1}{n} EX0,Y02=EX0TY0Y0TX0=X22Y22EXTYYTX=n1

這樣就比較明顯了,
⟨ X 0 , Y 0 ⟩ → L 2 0 \langle X_0,Y_0 \rangle \to_{L^2} 0 X0,Y0L20

也就是當 n n n足夠大時, X 0 X_0 X0 Y 0 Y_0 Y0 L 2 L^2 L2趨於正交。

相關文章