Added Project and Report
This commit is contained in:
elvis
179
Report/(7) - proofs/proofs.aux
Normal file
179
Report/(7) - proofs/proofs.aux
Normal file
@ -0,0 +1,179 @@
|
||||
\relax
|
||||
\providecommand\hyper@newdestlabel[2]{}
|
||||
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Proofs}{22}{chapter.6}\protected@file@percent }
|
||||
\@writefile{lof}{\addvspace {10\p@ }}
|
||||
\@writefile{lot}{\addvspace {10\p@ }}
|
||||
\@writefile{loa}{\addvspace {10\p@ }}
|
||||
\newlabel{ch: proofs}{{6}{22}{Proofs}{chapter.6}{}}
|
||||
\@writefile{loe}{\addvspace {10\p@ }}
|
||||
\@writefile{loe}{\contentsline {mlemma}{\ifthmt@listswap Lemma~1\else \numberline {1}Lemma\fi }{22}{mlemma.1}\protected@file@percent }
|
||||
\newlabel{proofs: fullcolumn}{{1}{22}{}{mlemma.1}{}}
|
||||
\newlabel{proof:triangularsystem}{{1}{22}{}{mlemma.1}{}}
|
||||
\@writefile{loe}{\contentsline {mproof}{\ifthmt@listswap \else \numberline {\let \autodot \@empty }\fi Proof}{22}{thmt@dummyctr.dummy.4}\protected@file@percent }
|
||||
\@writefile{loe}{\contentsline {mlemma}{\ifthmt@listswap Lemma~2\else \numberline {2}Lemma\fi }{22}{mlemma.2}\protected@file@percent }
|
||||
\newlabel{proof:eigenvalues_translation}{{2}{22}{}{mlemma.2}{}}
|
||||
\@writefile{loe}{\contentsline {mproof}{\ifthmt@listswap \else \numberline {\let \autodot \@empty }\fi Proof}{22}{thmt@dummyctr.dummy.6}\protected@file@percent }
|
||||
\@writefile{loe}{\contentsline {mlemma}{\ifthmt@listswap Lemma~3\else \numberline {3}Lemma\fi }{22}{mlemma.3}\protected@file@percent }
|
||||
\newlabel{proofs: eigenvalues}{{3}{22}{}{mlemma.3}{}}
|
||||
\@writefile{loe}{\contentsline {mproof}{\ifthmt@listswap \else \numberline {\let \autodot \@empty }\fi Proof}{22}{thmt@dummyctr.dummy.8}\protected@file@percent }
|
||||
\@setckpt{(7) - proofs/proofs}{
|
||||
\setcounter{page}{23}
|
||||
\setcounter{equation}{0}
|
||||
\setcounter{enumi}{3}
|
||||
\setcounter{enumii}{0}
|
||||
\setcounter{enumiii}{0}
|
||||
\setcounter{enumiv}{0}
|
||||
\setcounter{footnote}{0}
|
||||
\setcounter{mpfootnote}{0}
|
||||
\setcounter{part}{0}
|
||||
\setcounter{chapter}{6}
|
||||
\setcounter{section}{0}
|
||||
\setcounter{subsection}{0}
|
||||
\setcounter{subsubsection}{0}
|
||||
\setcounter{paragraph}{0}
|
||||
\setcounter{subparagraph}{0}
|
||||
\setcounter{figure}{0}
|
||||
\setcounter{table}{0}
|
||||
\setcounter{tabx@nest}{0}
|
||||
\setcounter{listtotal}{0}
|
||||
\setcounter{listcount}{0}
|
||||
\setcounter{liststart}{0}
|
||||
\setcounter{liststop}{0}
|
||||
\setcounter{citecount}{0}
|
||||
\setcounter{citetotal}{0}
|
||||
\setcounter{multicitecount}{0}
|
||||
\setcounter{multicitetotal}{0}
|
||||
\setcounter{instcount}{5}
|
||||
\setcounter{maxnames}{3}
|
||||
\setcounter{minnames}{3}
|
||||
\setcounter{maxitems}{3}
|
||||
\setcounter{minitems}{1}
|
||||
\setcounter{citecounter}{0}
|
||||
\setcounter{maxcitecounter}{0}
|
||||
\setcounter{savedcitecounter}{0}
|
||||
\setcounter{uniquelist}{0}
|
||||
\setcounter{uniquename}{0}
|
||||
\setcounter{refsection}{0}
|
||||
\setcounter{refsegment}{0}
|
||||
\setcounter{maxextratitle}{0}
|
||||
\setcounter{maxextratitleyear}{0}
|
||||
\setcounter{maxextraname}{0}
|
||||
\setcounter{maxextradate}{0}
|
||||
\setcounter{maxextraalpha}{0}
|
||||
\setcounter{abbrvpenalty}{50}
|
||||
\setcounter{highnamepenalty}{50}
|
||||
\setcounter{lownamepenalty}{25}
|
||||
\setcounter{maxparens}{3}
|
||||
\setcounter{parenlevel}{0}
|
||||
\setcounter{blx@maxsection}{0}
|
||||
\setcounter{mincomprange}{10}
|
||||
\setcounter{maxcomprange}{100000}
|
||||
\setcounter{mincompwidth}{1}
|
||||
\setcounter{afterword}{0}
|
||||
\setcounter{savedafterword}{0}
|
||||
\setcounter{annotator}{0}
|
||||
\setcounter{savedannotator}{0}
|
||||
\setcounter{author}{0}
|
||||
\setcounter{savedauthor}{0}
|
||||
\setcounter{bookauthor}{0}
|
||||
\setcounter{savedbookauthor}{0}
|
||||
\setcounter{commentator}{0}
|
||||
\setcounter{savedcommentator}{0}
|
||||
\setcounter{editor}{0}
|
||||
\setcounter{savededitor}{0}
|
||||
\setcounter{editora}{0}
|
||||
\setcounter{savededitora}{0}
|
||||
\setcounter{editorb}{0}
|
||||
\setcounter{savededitorb}{0}
|
||||
\setcounter{editorc}{0}
|
||||
\setcounter{savededitorc}{0}
|
||||
\setcounter{foreword}{0}
|
||||
\setcounter{savedforeword}{0}
|
||||
\setcounter{holder}{0}
|
||||
\setcounter{savedholder}{0}
|
||||
\setcounter{introduction}{0}
|
||||
\setcounter{savedintroduction}{0}
|
||||
\setcounter{namea}{0}
|
||||
\setcounter{savednamea}{0}
|
||||
\setcounter{nameb}{0}
|
||||
\setcounter{savednameb}{0}
|
||||
\setcounter{namec}{0}
|
||||
\setcounter{savednamec}{0}
|
||||
\setcounter{translator}{0}
|
||||
\setcounter{savedtranslator}{0}
|
||||
\setcounter{shortauthor}{0}
|
||||
\setcounter{savedshortauthor}{0}
|
||||
\setcounter{shorteditor}{0}
|
||||
\setcounter{savedshorteditor}{0}
|
||||
\setcounter{labelname}{0}
|
||||
\setcounter{savedlabelname}{0}
|
||||
\setcounter{institution}{0}
|
||||
\setcounter{savedinstitution}{0}
|
||||
\setcounter{lista}{0}
|
||||
\setcounter{savedlista}{0}
|
||||
\setcounter{listb}{0}
|
||||
\setcounter{savedlistb}{0}
|
||||
\setcounter{listc}{0}
|
||||
\setcounter{savedlistc}{0}
|
||||
\setcounter{listd}{0}
|
||||
\setcounter{savedlistd}{0}
|
||||
\setcounter{liste}{0}
|
||||
\setcounter{savedliste}{0}
|
||||
\setcounter{listf}{0}
|
||||
\setcounter{savedlistf}{0}
|
||||
\setcounter{location}{0}
|
||||
\setcounter{savedlocation}{0}
|
||||
\setcounter{organization}{0}
|
||||
\setcounter{savedorganization}{0}
|
||||
\setcounter{origlocation}{0}
|
||||
\setcounter{savedoriglocation}{0}
|
||||
\setcounter{origpublisher}{0}
|
||||
\setcounter{savedorigpublisher}{0}
|
||||
\setcounter{publisher}{0}
|
||||
\setcounter{savedpublisher}{0}
|
||||
\setcounter{language}{0}
|
||||
\setcounter{savedlanguage}{0}
|
||||
\setcounter{origlanguage}{0}
|
||||
\setcounter{savedoriglanguage}{0}
|
||||
\setcounter{pageref}{0}
|
||||
\setcounter{savedpageref}{0}
|
||||
\setcounter{textcitecount}{0}
|
||||
\setcounter{textcitetotal}{0}
|
||||
\setcounter{textcitemaxnames}{0}
|
||||
\setcounter{biburlbigbreakpenalty}{100}
|
||||
\setcounter{biburlbreakpenalty}{200}
|
||||
\setcounter{biburlnumpenalty}{0}
|
||||
\setcounter{biburlucpenalty}{0}
|
||||
\setcounter{biburllcpenalty}{0}
|
||||
\setcounter{smartand}{1}
|
||||
\setcounter{bbx:relatedcount}{0}
|
||||
\setcounter{bbx:relatedtotal}{0}
|
||||
\setcounter{cbx@tempcnta}{0}
|
||||
\setcounter{cbx@tempcntb}{2}
|
||||
\setcounter{cbx@tempcntc}{0}
|
||||
\setcounter{cbx@tempcntd}{-1}
|
||||
\setcounter{float@type}{4}
|
||||
\setcounter{parentequation}{0}
|
||||
\setcounter{ALG@line}{0}
|
||||
\setcounter{ALG@rem}{0}
|
||||
\setcounter{ALG@nested}{0}
|
||||
\setcounter{ALG@Lnr}{2}
|
||||
\setcounter{ALG@blocknr}{10}
|
||||
\setcounter{ALG@storecount}{0}
|
||||
\setcounter{ALG@tmpcounter}{0}
|
||||
\setcounter{thmt@dummyctr}{8}
|
||||
\setcounter{nlinenum}{0}
|
||||
\setcounter{caption@flags}{2}
|
||||
\setcounter{continuedfloat}{0}
|
||||
\setcounter{subfigure}{0}
|
||||
\setcounter{subtable}{0}
|
||||
\setcounter{section@level}{0}
|
||||
\setcounter{Item}{3}
|
||||
\setcounter{Hfootnote}{0}
|
||||
\setcounter{bookmark@seq@number}{0}
|
||||
\setcounter{AlgoLine}{11}
|
||||
\setcounter{algocfline}{4}
|
||||
\setcounter{algocfproc}{4}
|
||||
\setcounter{algocf}{4}
|
||||
\setcounter{mlemma}{3}
|
||||
}
|
||||
52
Report/(7) - proofs/proofs.tex
Normal file
52
Report/(7) - proofs/proofs.tex
Normal file
@ -0,0 +1,52 @@
|
||||
\chapter{Proofs}\label{ch: proofs}
|
||||
|
||||
\begin{mlemma}\label{proofs: fullcolumn}\label{proof:triangularsystem}
|
||||
$\hat{X} \text{ has full column rank } \iff \hat{X}^T\hat{X} \succ 0$
|
||||
\end{mlemma}
|
||||
|
||||
\begin{mproof}
|
||||
To show that $\hat{X}^T\hat{X} = XX^T + \lambda^2 I_m \succ 0$, $\lambda > 0$, we can consider the quadratic form $x^T (X^{T}X + \lambda^2 I_m) x$. Let $B = XX^T \succeq 0$.
|
||||
\begin{align*}
|
||||
x^T (B + \lambda^2 I_m) x &= x^{T}Bx + \lambda^2 x^{T}I_{m}x \\
|
||||
&= x^{T}Bx + \lambda^2 \norm{x}^2
|
||||
\end{align*}
|
||||
|
||||
Since $B$ is positive semidefinite, we have $x^{T}Bx \geq 0\ \ \forall x \in \mathbb{R}^m$. Additionally, $\lambda^2 \|x\|^2 > 0\ \ \forall x \neq 0$. Therefore, $x^T (B + \lambda^2 I_m) x > 0$ for all non-zero vectors $x$, meaning that $\hat{X}^T\hat{X} \succ 0$.
|
||||
|
||||
\end{mproof}
|
||||
|
||||
\begin{mlemma}\label{proof:eigenvalues_translation}
|
||||
$\alpha \in Sp(A) \iff (\alpha + \lambda) \in Sp(A + \lambda I)$
|
||||
\end{mlemma}
|
||||
|
||||
\begin{mproof}
|
||||
$Av = \alpha v \iff (A + \lambda I)v = Av + \lambda v = \alpha v + \lambda v = (\alpha + \lambda)v$
|
||||
\end{mproof}
|
||||
|
||||
\begin{mlemma}\label{proofs: eigenvalues}
|
||||
The singular values of the matrix $XX^T, X \in \mathbb{R}^{m \times n}$\newline are $\{\sigma_1^2 \dots \sigma_n^2, 0 \dots 0\}$, with $\sigma_1 \dots \sigma_n$ being the singular values of $X$.
|
||||
\end{mlemma}
|
||||
|
||||
\begin{mproof}
|
||||
Consider the Singular Value Decomposition of the rank $n$ matrix $X$
|
||||
\[
|
||||
X = U \Sigma V^T
|
||||
\]
|
||||
$\Sigma = \diag(\sigma_1, \dots, \sigma_n) \in \mathbb{R}^{m \times n}
|
||||
$
|
||||
Then
|
||||
\[
|
||||
XX^T = U \Sigma V^T V \Sigma^T U^T = U \Sigma \Sigma^T U
|
||||
\]
|
||||
with
|
||||
\[
|
||||
\Sigma \Sigma^T = \diag(\sigma_1^2, \dots, \sigma_n^2, 0, \dots, 0) \in \mathbb{R}^{m \times m}
|
||||
\]
|
||||
Hence, $XX^T$ has exactly $m$ singular values of which $m-n$ are zeros.
|
||||
\end{mproof}
|
||||
|
||||
%%% Local Variables:
|
||||
%%% mode: latex
|
||||
%%% TeX-master: "../main"
|
||||
%%% TeX-command-extra-options: "-shell-escape"
|
||||
%%% End:
|
||||
Reference in New Issue
Block a user