跳到主要内容

東京大学 情報理工学系研究科 コンピュータ科学専攻 2018年2月実施 問題1

Author

kainoj

Description

In this problem, R\mathbb{R} represents the set of real numbers, and RN\mathbb{R}^N represents the set of real column vectors of length NN. For vRN\boldsymbol{v} \in \mathbb{R}^N, v\boldsymbol{v}^\top denotes its transpose. Let II be the N×NN \times N identity matrix.

Consider an eigensystem of a real N×NN \times N symmetric matrix AA,

Ax=λx,A\boldsymbol{x} = \lambda \boldsymbol{x},

where λ\lambda and x\boldsymbol{x} are an eigenvalue and a corresponding eigenvector, respectively.

Let λmax(M)\lambda_{\text{max}}(M) be the maximum of eigenvalues of matrix MM.

You may use the following facts on the eigenvalues and the eigenvectors of a real N×NN \times N symmetric matrix without proofs:

  • There are NN independent eigenvectors that form an orthogonal basis.
  • Every eigenvalue is a real number.

Answer the following questions.

(1) Prove that if x\boldsymbol{x} is an eigenvector of AA, it is also an eigenvector of A+μIA + \mu I for any μR\mu \in \mathbb{R}.

(2) Prove that

λmax(A)=max{vAvvRN,vv=1}.\lambda_{\text{max}}(A) = \max \{\boldsymbol{v}^\top A\boldsymbol{v} \mid \boldsymbol{v} \in \mathbb{R}^N, \, \boldsymbol{v}^\top \boldsymbol{v} = 1\}.

(3) Prove that

v(λmax(A)IA)v0\boldsymbol{v}^\top \big(\lambda_{\text{max}}(A)I - A\big)\boldsymbol{v} \geq 0

for any vRN\boldsymbol{v} \in \mathbb{R}^N.

(4) Suppose that matrix BB is also an N×NN \times N real symmetric matrix. Prove that

λmax(A+B)λmax(A)+λmax(B).\lambda_{\text{max}}(A + B) \leq \lambda_{\text{max}}(A) + \lambda_{\text{max}}(B).

Kai

(1)

Let xx be an eigenvector with corresponding eigenvalue λ\lambda: Ax=λxAx = \lambda x. Let μR\mu \in \mathbb{R}.

(A+μI)x=Ax+μx=λx+μx=(λ+μ)x(A + \mu I)x = Ax + \mu x = \lambda x + \mu x = (\lambda + \mu)x

So xx is an eigenvector of (A+μI)(A + \mu I) with corresponding eigenvalue of λ+μ\lambda + \mu.

(2)

Let vRNv \in \mathbb{R^N} be a unit vector which maximizes vTAvv^T A v. Because AA is real and symmetric, then it can be diagonalized A=QTΛQA = Q^T \Lambda Q, where QQ is orthogonal matrix, which columns form orthogonal basis. In following equation, let's substitute y=Qvy = Qv:

vTAv=vTQTΛQv=yTΛy=i=1Nλiyi2i=1Nλmax(A)yi2=λmax(A)i=1Nyi2=λmax(A)yTy=λmax(A)vTQTQv=λmax(A)\begin{aligned} v^T A v &= v^T Q^T \Lambda Q v = y^T \Lambda y \\ &= \sum_{i=1}^{N}\lambda_i y_i^2\\ &\leq \: \sum_{i=1}^{N} \lambda_{max}(A) \: y_i^2 = \lambda_{max}(A) \: \sum_{i=1}^{N} y_i^2\\ &= \lambda_{max}(A) \: y^T y = \lambda_{max}(A) \: v^T Q^T Q v\\ &= \lambda_{max}(A) \end{aligned}

On the other hand, let xmaxx_{max} be eigenvector corresponding to λmax(A)\lambda_{max}(A). Because vv maximizes vTAvv^T A v, then:

vTAvxmaxT(Axmax)=xmaxTxmaxλmax(A)=λmax(A)v^T A v \geq x_{max}^T (A x_{max} ) = x_{max}^T x_{max} \: \lambda_{max}(A) = \lambda_{max}(A)

Here we got:

λmax(A)vTAvλmax(A)\lambda_{max}(A) \leq v^T A v \leq \lambda_{max}(A)

For vector vv which maximizes vTAvv^T A v. Hence,

λmax(A)=max{vTAvvRN,vTv=1}\lambda_{max}(A) = \max \{v^T A v | v\in\mathbb{R}^N, v^T v = 1\}

and the maximum is reached for eigenvector xmaxx_{max}.

(3)

Let vRNv\in\mathbb{R}^N. From question (2) we know that vTAvλmax(A)vTvv^T A v\leq \lambda_{max}(A) v^T v for arbitrary vv: look at second to the last line of Q2 calculations. Now if we know that fact, we get the inequality trivially:

vT(λmax(A)IA)v=λmax(A)vTvvTAv0\begin{aligned} v^T(\lambda_{max}(A) I - A) v = \lambda_{max}(A) v^T v - v^T A v \geq 0 \end{aligned}

(4)

Since A,BA, B are symmetric and real, then A=QTΛAQA = Q^T\Lambda_A Q and B=PTΛBPB = P^T\Lambda_B P for some orthogonal QQandPP. From what we obtained in (Q2): let ww be a~unit vector which maximizes wT(A+B)ww^T(A+B)w. Then:

Λmax(A+B)=wT(A+B)w=wTAw+wTBw=wTQTΛAQw+wTPTΛBPw=()\begin{aligned} \Lambda_{max}(A+B) &= w^T(A+B)w \\ &= w^T A w + w^T B w \\ &= w^T Q^T \Lambda_A Q w + w^T P^T \Lambda_B P w = (*) \end{aligned}

Substitute y=Qwy = Qw and z=Pwz = Pw. Of course yTy=zTz=1y^T y = z^T z = 1, because yTy=wTQTQw=wTw=1y^T y = w^TQ^TQw = w^T w = 1 (the same for zz). Combining this and our knowledge form previous questions:

()=yTΛAy+zTΛBzλmax(A)yTy+λmax(B)zTz=λmax(A)+λmax(B)\begin{aligned} (*) &= y^T \Lambda_A y + z^T \Lambda_B z \\ &\leq \lambda_{max}(A) \: y^T y + \lambda_{max}(B) \: z^T z \\ &= \lambda_{max}(A) + \lambda_{max}(B) \end{aligned}