1855 lines
99 KiB
HTML
1855 lines
99 KiB
HTML
<!--
|
|
Automatically generated HTML file from DocOnce source
|
|
(https://github.com/hplgit/doconce/)
|
|
-->
|
|
<html>
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
|
<meta name="generator" content="DocOnce: https://github.com/hplgit/doconce/" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
<meta name="description" content="Week 48: Support Vector Machines and Summary of course">
|
|
|
|
<title>Week 48: Support Vector Machines and Summary of course</title>
|
|
|
|
|
|
<style type="text/css">
|
|
/* bloodish style */
|
|
|
|
body {
|
|
font-family: Helvetica, Verdana, Arial, Sans-serif;
|
|
color: #404040;
|
|
background: #ffffff;
|
|
}
|
|
h1 { font-size: 1.8em; color: #8A0808; }
|
|
h2 { font-size: 1.6em; color: #8A0808; }
|
|
h3 { font-size: 1.4em; color: #8A0808; }
|
|
h4 { color: #8A0808; }
|
|
a { color: #8A0808; text-decoration:none; }
|
|
tt { font-family: "Courier New", Courier; }
|
|
/* pre style removed because it will interfer with pygments */
|
|
p { text-indent: 0px; }
|
|
hr { border: 0; width: 80%; border-bottom: 1px solid #aaa}
|
|
p.caption { width: 80%; font-style: normal; text-align: left; }
|
|
hr.figure { border: 0; width: 80%; border-bottom: 1px solid #aaa}
|
|
.alert-text-small { font-size: 80%; }
|
|
.alert-text-large { font-size: 130%; }
|
|
.alert-text-normal { font-size: 90%; }
|
|
.alert {
|
|
padding:8px 35px 8px 14px; margin-bottom:18px;
|
|
text-shadow:0 1px 0 rgba(255,255,255,0.5);
|
|
border:1px solid #bababa;
|
|
border-radius: 4px;
|
|
-webkit-border-radius: 4px;
|
|
-moz-border-radius: 4px;
|
|
color: #555;
|
|
background-color: #f8f8f8;
|
|
background-position: 10px 5px;
|
|
background-repeat: no-repeat;
|
|
background-size: 38px;
|
|
padding-left: 55px;
|
|
width: 75%;
|
|
}
|
|
.alert-block {padding-top:14px; padding-bottom:14px}
|
|
.alert-block > p, .alert-block > ul {margin-bottom:1em}
|
|
.alert li {margin-top: 1em}
|
|
.alert-block p+p {margin-top:5px}
|
|
.alert-notice { background-image: url(https://cdn.rawgit.com/hplgit/doconce/master/bundled/html_images/small_gray_notice.png); }
|
|
.alert-summary { background-image:url(https://cdn.rawgit.com/hplgit/doconce/master/bundled/html_images/small_gray_summary.png); }
|
|
.alert-warning { background-image: url(https://cdn.rawgit.com/hplgit/doconce/master/bundled/html_images/small_gray_warning.png); }
|
|
.alert-question {background-image:url(https://cdn.rawgit.com/hplgit/doconce/master/bundled/html_images/small_gray_question.png); }
|
|
|
|
div { text-align: justify; text-justify: inter-word; }
|
|
</style>
|
|
|
|
|
|
</head>
|
|
|
|
<!-- tocinfo
|
|
{'highest level': 2,
|
|
'sections': [('Overview of week 48', 2, None, '___sec0'),
|
|
('Thursday', 2, None, '___sec1'),
|
|
('Friday', 2, None, '___sec2'),
|
|
('Support Vector Machines, overarching aims', 2, None, '___sec3'),
|
|
('Kernels and non-linearity', 2, None, '___sec4'),
|
|
('The equations', 2, None, '___sec5'),
|
|
('The problem to solve', 2, None, '___sec6'),
|
|
('Tailoring the equations to the usage of CVXOPT',
|
|
2,
|
|
None,
|
|
'___sec7'),
|
|
("Different kernels and Mercer's theorem", 2, None, '___sec8'),
|
|
('The moons example ("Adapted from Geron, chapter '
|
|
'5":"https://www.oreilly.com/library/view/hands-on-machine-learning/9781492032632/")',
|
|
2,
|
|
None,
|
|
'___sec9'),
|
|
('Mathematical optimization of convex functions',
|
|
2,
|
|
None,
|
|
'___sec10'),
|
|
('How do we solve these problems?', 2, None, '___sec11'),
|
|
('A simple example', 2, None, '___sec12'),
|
|
('Back to the more realistic cases', 2, None, '___sec13'),
|
|
('Setting up the matrices and the problem', 2, None, '___sec14'),
|
|
('Setting up $\\boldsymbol{G}\\boldsymbol{\\lambda} \\preceq '
|
|
'\\boldsymbol{h}$',
|
|
2,
|
|
None,
|
|
'___sec15'),
|
|
('SVMs and Regression and multiclass classification',
|
|
2,
|
|
None,
|
|
'___sec16'),
|
|
('Summary of course', 2, None, '___sec17'),
|
|
('What? Me worry? No final exam in this course!',
|
|
2,
|
|
None,
|
|
'___sec18'),
|
|
('Topics we have covered this year', 2, None, '___sec19'),
|
|
('Statistical analysis and optimization of data',
|
|
2,
|
|
None,
|
|
'___sec20'),
|
|
('Machine learning', 2, None, '___sec21'),
|
|
('Learning outcomes and overarching aims of this course',
|
|
2,
|
|
None,
|
|
'___sec22'),
|
|
('Perspective on Machine Learning', 2, None, '___sec23'),
|
|
('Machine Learning Research', 2, None, '___sec24'),
|
|
('Starting your Machine Learning Project', 2, None, '___sec25'),
|
|
('Choose a Model and Algorithm', 2, None, '___sec26'),
|
|
('Preparing Your Data', 2, None, '___sec27'),
|
|
('Which Activation and Weights to Choose in Neural Networks',
|
|
2,
|
|
None,
|
|
'___sec28'),
|
|
('Optimization Methods and Hyperparameters', 2, None, '___sec29'),
|
|
('Resampling', 2, None, '___sec30'),
|
|
('Other courses on Data science and Machine Learning at UiO',
|
|
2,
|
|
None,
|
|
'___sec31'),
|
|
('Additional courses of interest', 2, None, '___sec32'),
|
|
("What's the future like?", 2, None, '___sec33'),
|
|
('Types of Machine Learning, a repetition', 2, None, '___sec34'),
|
|
('Why Boltzmann machines?', 2, None, '___sec35'),
|
|
('Boltzmann Machines', 2, None, '___sec36'),
|
|
('Some similarities and differences from DNNs',
|
|
2,
|
|
None,
|
|
'___sec37'),
|
|
('Boltzmann machines (BM)', 2, None, '___sec38'),
|
|
('A standard BM setup', 2, None, '___sec39'),
|
|
('The structure of the RBM network', 2, None, '___sec40'),
|
|
('The network', 2, None, '___sec41'),
|
|
('Goals', 2, None, '___sec42'),
|
|
('Joint distribution', 2, None, '___sec43'),
|
|
('Network Elements, the energy function', 2, None, '___sec44'),
|
|
('Defining different types of RBMs', 2, None, '___sec45'),
|
|
('More about RBMs', 2, None, '___sec46'),
|
|
('Autoencoders: Overarching view', 2, None, '___sec47'),
|
|
('Bayesian Machine Learning', 2, None, '___sec48'),
|
|
('Reinforcement Learning', 2, None, '___sec49'),
|
|
('Transfer learning', 2, None, '___sec50'),
|
|
('Adversarial learning', 2, None, '___sec51'),
|
|
('Dual learning', 2, None, '___sec52'),
|
|
('Distributed machine learning', 2, None, '___sec53'),
|
|
('Meta learning', 2, None, '___sec54'),
|
|
('The Challenges Facing Machine Learning', 2, None, '___sec55'),
|
|
('Explainable machine learning', 2, None, '___sec56'),
|
|
('Quantum machine learning', 2, None, '___sec57'),
|
|
('Quantum machine learning algorithms based on linear algebra',
|
|
2,
|
|
None,
|
|
'___sec58'),
|
|
('Quantum reinforcement learning', 2, None, '___sec59'),
|
|
('Quantum deep learning', 2, None, '___sec60'),
|
|
('Social machine learning', 2, None, '___sec61'),
|
|
('The last words?', 2, None, '___sec62'),
|
|
('Best wishes to you all and thanks so much for your heroic '
|
|
'efforts this semester',
|
|
2,
|
|
None,
|
|
'___sec63')]}
|
|
end of tocinfo -->
|
|
|
|
<body>
|
|
|
|
|
|
|
|
<script type="text/x-mathjax-config">
|
|
MathJax.Hub.Config({
|
|
TeX: {
|
|
equationNumbers: { autoNumber: "AMS" },
|
|
extensions: ["AMSmath.js", "AMSsymbols.js", "autobold.js", "color.js"]
|
|
}
|
|
});
|
|
</script>
|
|
<script type="text/javascript" async
|
|
src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
|
|
</script>
|
|
|
|
|
|
|
|
|
|
<!-- ------------------- main content ---------------------- -->
|
|
|
|
|
|
|
|
<center><h1>Week 48: Support Vector Machines and Summary of course</h1></center> <!-- document title -->
|
|
|
|
<p>
|
|
<!-- author(s): Morten Hjorth-Jensen -->
|
|
|
|
<center>
|
|
<b>Morten Hjorth-Jensen</b> [1, 2]
|
|
</center>
|
|
|
|
<p>
|
|
<!-- institution(s) -->
|
|
|
|
<center>[1] <b>Department of Physics, University of Oslo</b></center>
|
|
<center>[2] <b>Department of Physics and Astronomy and National Superconducting Cyclotron Laboratory, Michigan State University</b></center>
|
|
<br>
|
|
<p>
|
|
<center><h4>Nov 29, 2020</h4></center> <!-- date -->
|
|
<br>
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec0">Overview of week 48 </h2>
|
|
|
|
<ul>
|
|
<li> <b>Thursday</b>: Support Vector Machines: Kernels, Classification and Regression. <a href="https://www.uio.no/studier/emner/matnat/fys/FYS-STK4155/h20/forelesningsvideoer/LectureNovember26.mp4?vrtx=view-as-webpage" target="_blank">Video of Lecture</a>.</li>
|
|
<li> <b>Friday</b>: Summary of course with perspectives for future studies. <a href="https://www.uio.no/studier/emner/matnat/fys/FYS-STK4155/h20/forelesningsvideoer/LectureNovember27.mp4?vrtx=view-as-webpage" target="_blank">Video of Lecture</a>.</li>
|
|
</ul>
|
|
|
|
See also Geron's chapter 5. Chapter 12 (sections 12.1-12.3 are the most relevant ones) of Hastie et al contains also a good discussion.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec1">Thursday </h2>
|
|
|
|
<p>
|
|
We finalize our discussion on Support Vector Machines with an emphasis on kernel transformations and applications to regression. The following <a href="https://www.youtube.com/watch?v=Toet3EiSFcM&ab_channel=StatQuestwithJoshStarmer" target="_blank">video attempts at giving an overview on this part</a>. See also the <a href="https://www.youtube.com/watch?v=Qc5IyLW_hns&ab_channel=StatQuestwithJoshStarmer" target="_blank">follow-up video</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec2">Friday </h2>
|
|
|
|
<p>
|
|
Friday's lecture is split in two parts. It starts with a summary of
|
|
what we have done this semester and continues with perspectives for future studies and
|
|
modern research projects in machine learning.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec3">Support Vector Machines, overarching aims </h2>
|
|
|
|
<p>
|
|
As discussed last week,
|
|
a Support Vector Machine (SVM) is a very powerful and versatile
|
|
Machine Learning method, capable of performing linear or nonlinear
|
|
classification, regression, and even outlier detection. It is one of
|
|
the most popular models in Machine Learning, and anyone interested in
|
|
Machine Learning should have it in their toolbox. SVMs are
|
|
particularly well suited for classification of complex but small-sized or
|
|
medium-sized datasets.
|
|
|
|
<p>
|
|
The case with two well-separated classes only can be understood in an
|
|
intuitive way in terms of lines in a two-dimensional space separating
|
|
the two classes.
|
|
|
|
<p>
|
|
The basic mathematics behind the SVM is however less familiar to most of us.
|
|
It relies on the definition of hyperplanes and the
|
|
definition of a <b>margin</b> which separates classes (in case of
|
|
classification problems) of variables. It is also used for regression
|
|
problems. I recommend you take a look at the lectures from last week on the binary classification problem.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec4">Kernels and non-linearity </h2>
|
|
|
|
<p>
|
|
The cases we studied last week were all characterized by two classes
|
|
with a close to linear separability. The classifiers we have described
|
|
so far find linear boundaries in our input feature space. It is
|
|
possible to make our procedure more flexible by exploring the feature
|
|
space using other basis expansions such as higher-order polynomials,
|
|
wavelets, splines etc.
|
|
|
|
<p>
|
|
If our feature space is not easy to separate, as shown in the figure
|
|
generated by the code below, we can achieve a better separation by introducing a more complex
|
|
basis functions. The ideal would be, as shown by the code example below, to,
|
|
via a specific transformation to obtain a separation between the
|
|
classes that is almost linear. See also Figures 12.2 and 12.3 of <a href="https://www.springer.com/gp/book/9780387848570" target="_blank">Hastie et al.</a>.
|
|
|
|
<p>
|
|
We can achieve a better separation by introducing more complex
|
|
basis functions. The ideal would be (see Figures 12.2 and 12.3) to, via a specific transformation to
|
|
obtain a separation between the classes which is almost linear.
|
|
|
|
<p>
|
|
The change of basis, from \( x\rightarrow z=\phi(x) \) leads to the same
|
|
type of equations to be solved, except that we need to introduce, for
|
|
example, a polynomial transformation to a two-dimensional training
|
|
set.
|
|
|
|
<p>
|
|
|
|
<!-- code=python (!bc pycod) typeset with pygments style "default" -->
|
|
<div class="highlight" style="background: #f8f8f8"><pre style="line-height: 125%"><span></span><span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">numpy</span> <span style="color: #008000; font-weight: bold">as</span> <span style="color: #0000FF; font-weight: bold">np</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">os</span>
|
|
|
|
np<span style="color: #666666">.</span>random<span style="color: #666666">.</span>seed(<span style="color: #666666">42</span>)
|
|
|
|
<span style="color: #408080; font-style: italic"># To plot pretty figures</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">matplotlib</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">matplotlib.pyplot</span> <span style="color: #008000; font-weight: bold">as</span> <span style="color: #0000FF; font-weight: bold">plt</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'axes.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">14</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'xtick.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">12</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'ytick.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">12</span>
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.svm</span> <span style="color: #008000; font-weight: bold">import</span> SVC
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn</span> <span style="color: #008000; font-weight: bold">import</span> datasets
|
|
|
|
|
|
|
|
X1D <span style="color: #666666">=</span> np<span style="color: #666666">.</span>linspace(<span style="color: #666666">-4</span>, <span style="color: #666666">4</span>, <span style="color: #666666">9</span>)<span style="color: #666666">.</span>reshape(<span style="color: #666666">-1</span>, <span style="color: #666666">1</span>)
|
|
X2D <span style="color: #666666">=</span> np<span style="color: #666666">.</span>c_[X1D, X1D<span style="color: #666666">**2</span>]
|
|
y <span style="color: #666666">=</span> np<span style="color: #666666">.</span>array([<span style="color: #666666">0</span>, <span style="color: #666666">0</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">0</span>, <span style="color: #666666">0</span>])
|
|
|
|
plt<span style="color: #666666">.</span>figure(figsize<span style="color: #666666">=</span>(<span style="color: #666666">11</span>, <span style="color: #666666">4</span>))
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">121</span>)
|
|
plt<span style="color: #666666">.</span>grid(<span style="color: #008000; font-weight: bold">True</span>, which<span style="color: #666666">=</span><span style="color: #BA2121">'both'</span>)
|
|
plt<span style="color: #666666">.</span>axhline(y<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>plot(X1D[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==0</span>], np<span style="color: #666666">.</span>zeros(<span style="color: #666666">4</span>), <span style="color: #BA2121">"bs"</span>)
|
|
plt<span style="color: #666666">.</span>plot(X1D[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==1</span>], np<span style="color: #666666">.</span>zeros(<span style="color: #666666">5</span>), <span style="color: #BA2121">"g^"</span>)
|
|
plt<span style="color: #666666">.</span>gca()<span style="color: #666666">.</span>get_yaxis()<span style="color: #666666">.</span>set_ticks([])
|
|
plt<span style="color: #666666">.</span>xlabel(<span style="color: #BA2121">r"$x_1$"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>axis([<span style="color: #666666">-4.5</span>, <span style="color: #666666">4.5</span>, <span style="color: #666666">-0.2</span>, <span style="color: #666666">0.2</span>])
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">122</span>)
|
|
plt<span style="color: #666666">.</span>grid(<span style="color: #008000; font-weight: bold">True</span>, which<span style="color: #666666">=</span><span style="color: #BA2121">'both'</span>)
|
|
plt<span style="color: #666666">.</span>axhline(y<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>axvline(x<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>plot(X2D[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==0</span>], X2D[:, <span style="color: #666666">1</span>][y<span style="color: #666666">==0</span>], <span style="color: #BA2121">"bs"</span>)
|
|
plt<span style="color: #666666">.</span>plot(X2D[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==1</span>], X2D[:, <span style="color: #666666">1</span>][y<span style="color: #666666">==1</span>], <span style="color: #BA2121">"g^"</span>)
|
|
plt<span style="color: #666666">.</span>xlabel(<span style="color: #BA2121">r"$x_1$"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>ylabel(<span style="color: #BA2121">r"$x_2$"</span>, fontsize<span style="color: #666666">=20</span>, rotation<span style="color: #666666">=0</span>)
|
|
plt<span style="color: #666666">.</span>gca()<span style="color: #666666">.</span>get_yaxis()<span style="color: #666666">.</span>set_ticks([<span style="color: #666666">0</span>, <span style="color: #666666">4</span>, <span style="color: #666666">8</span>, <span style="color: #666666">12</span>, <span style="color: #666666">16</span>])
|
|
plt<span style="color: #666666">.</span>plot([<span style="color: #666666">-4.5</span>, <span style="color: #666666">4.5</span>], [<span style="color: #666666">6.5</span>, <span style="color: #666666">6.5</span>], <span style="color: #BA2121">"r--"</span>, linewidth<span style="color: #666666">=3</span>)
|
|
plt<span style="color: #666666">.</span>axis([<span style="color: #666666">-4.5</span>, <span style="color: #666666">4.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">17</span>])
|
|
plt<span style="color: #666666">.</span>subplots_adjust(right<span style="color: #666666">=1</span>)
|
|
plt<span style="color: #666666">.</span>show()
|
|
</pre></div>
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec5">The equations </h2>
|
|
|
|
<p>
|
|
Suppose we define a polynomial transformation of degree two only. We define a vector \( \boldsymbol{x}_i=[x_i,y_i] \) and have
|
|
$$
|
|
\boldsymbol{z}_i^T = \phi(\boldsymbol{x}_i)^T =\left[1, \sqrt{2}x_i, \sqrt{2}y_i, x_i^2, y_i^2, \sqrt{2}x_iy_i\right].
|
|
$$
|
|
|
|
<p>
|
|
With our new basis, the equations we solved earlier are basically the same, that is we have now (without the slack option for simplicity)
|
|
$$
|
|
{\cal L}=\sum_i\lambda_i-\frac{1}{2}\sum_{ij}^n\lambda_i\lambda_jy_iy_j\boldsymbol{z}_i^T\boldsymbol{z}_j,
|
|
$$
|
|
|
|
subject to the constraints \( \lambda_i\geq 0 \), \( \sum_i\lambda_iy_i=0 \), and for the support vectors
|
|
$$
|
|
y_i(\boldsymbol{z}_i^T\boldsymbol{w}+b)= 1 \hspace{0.1cm}\forall i,
|
|
$$
|
|
|
|
from which we also find \( b \).
|
|
To compute \( \boldsymbol{z}_i^T\boldsymbol{z}_j \) we define the kernel \( K(\boldsymbol{x}_i,\boldsymbol{x}_j) \) as
|
|
$$
|
|
K(\boldsymbol{x}_i,\boldsymbol{x}_j)=\boldsymbol{z}_i^T\boldsymbol{z}_j= \phi(\boldsymbol{x}_i)^T\phi(\boldsymbol{x}_j).
|
|
$$
|
|
|
|
For the above example, the kernel reads
|
|
$$
|
|
K(\boldsymbol{x}_i,\boldsymbol{x}_j)=[1, \sqrt{2}x_i, \sqrt{2}y_i, x_i^2, y_i^2, \sqrt{2}x_iy_i]\begin{bmatrix} 1\\ \sqrt{2}x_j \\ \sqrt{2}y_j \\ x_j^2\\ y_i^2\\ \sqrt{2}x_jy_j \end{bmatrix}=1+2x_ix_j+2y_iy_j+(x_ix_j)^2+(y_iy_j)^2+2x_ix_jy_iy_j.
|
|
$$
|
|
|
|
<p>
|
|
We note that this dot product can be rewritten as
|
|
$$
|
|
K(\boldsymbol{x}_i,\boldsymbol{x}_j)=[1+\boldsymbol{x}_i^T\boldsymbol{x}_j]^d,
|
|
$$
|
|
|
|
where \( d=2 \) in our case and \( \boldsymbol{x}_i=[x_i,y_i] \) and \( \boldsymbol{x}_j=[x_j,y_j] \).
|
|
To compute the last equation is however inefficient from a computational stand.
|
|
Instead of computing the last equation for the kernel, we simply compute
|
|
the dot product \( (\boldsymbol{x}_i^T\boldsymbol{x}_j)^2 \).
|
|
This leads to the so-called
|
|
kernel trick.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec6">The problem to solve </h2>
|
|
|
|
<p>
|
|
Using our definition of the kernel, we can rewrite again the Lagrangian
|
|
$$
|
|
{\cal L}=\sum_i\lambda_i-\frac{1}{2}\sum_{ij}^n\lambda_i\lambda_jy_iy_j\boldsymbol{z}_i^T\boldsymbol{z}_j,
|
|
$$
|
|
|
|
subject to the constraints \( \lambda_i\geq 0 \), \( \sum_i\lambda_iy_i=0 \) in terms of a convex optimization problem
|
|
$$
|
|
\frac{1}{2} \boldsymbol{\lambda}^T\begin{bmatrix} y_1y_1K(\boldsymbol{x}_1,\boldsymbol{x}_1) & y_1y_2K(\boldsymbol{x}_1,\boldsymbol{x}_2) & \dots & \dots & y_1y_nK(\boldsymbol{x}_1,\boldsymbol{x}_n) \\
|
|
y_2y_1K(\boldsymbol{x}_2,\boldsymbol{x}_1) & y_2y_2(\boldsymbol{x}_2,\boldsymbol{x}_2) & \dots & \dots & y_1y_nK(\boldsymbol{x}_2,\boldsymbol{x}_n) \\
|
|
\dots & \dots & \dots & \dots & \dots \\
|
|
\dots & \dots & \dots & \dots & \dots \\
|
|
y_ny_1K(\boldsymbol{x}_n,\boldsymbol{x}_1) & y_ny_2K(\boldsymbol{x}_n\boldsymbol{x}_2) & \dots & \dots & y_ny_nK(\boldsymbol{x}_n,\boldsymbol{x}_n) \\
|
|
\end{bmatrix}\boldsymbol{\lambda}-\mathbb{1}\boldsymbol{\lambda},
|
|
$$
|
|
|
|
subject to \( \boldsymbol{y}^T\boldsymbol{\lambda}=0 \). Here we defined the vectors \( \boldsymbol{\lambda} =[\lambda_1,\lambda_2,\dots,\lambda_n] \) and
|
|
\( \boldsymbol{y}=[y_1,y_2,\dots,y_n] \).
|
|
If we add the slack constants this leads to the additional constraint \( 0\leq \lambda_i \leq C \).
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec7">Tailoring the equations to the usage of CVXOPT </h2>
|
|
|
|
<p>
|
|
We can rewrite this (see the solutions below) in terms of a convex optimization problem of the type
|
|
$$
|
|
\begin{align*}
|
|
&\mathrm{min}_{\lambda}\hspace{0.2cm} \frac{1}{2}\boldsymbol{\lambda}^T\boldsymbol{P}\boldsymbol{\lambda}+\boldsymbol{q}^T\boldsymbol{\lambda},\\ \nonumber
|
|
&\mathrm{s.t} \hspace{0.2cm} \boldsymbol{G}\boldsymbol{\lambda} \preceq \boldsymbol{h} \hspace{0.2cm} \wedge \boldsymbol{A}\boldsymbol{\lambda}=f.
|
|
\end{align*}
|
|
$$
|
|
|
|
Below we discuss how to solve these equations. Here we note that the matrix \( \boldsymbol{P} \) has matrix elements \( p_{ij}=y_iy_jK(\boldsymbol{x}_i,\boldsymbol{x}_j) \).
|
|
Given a kernel \( K \) and the targets \( y_i \) this matrix is easy to set up. The constraint \( \boldsymbol{y}^T\boldsymbol{\lambda}=0 \) leads to \( f=0 \) and \( \boldsymbol{A}=\boldsymbol{y} \). How to set up the matrix \( \boldsymbol{G} \) is discussed later. Here note that the inequalities \( 0\leq \lambda_i \leq C \) can be split up into
|
|
\( 0\leq \lambda_i \) and \( \lambda_i \leq C \). These two inequalities define then the matrix \( \boldsymbol{G} \) and the vector \( \boldsymbol{h} \).
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec8">Different kernels and Mercer's theorem </h2>
|
|
|
|
<p>
|
|
There are several popular kernels being used. These are
|
|
|
|
<ol>
|
|
<li> Linear: \( K(\boldsymbol{x},\boldsymbol{y})=\boldsymbol{x}^T\boldsymbol{y} \),</li>
|
|
<li> Polynomial: \( K(\boldsymbol{x},\boldsymbol{y})=(\boldsymbol{x}^T\boldsymbol{y}+\gamma)^d \),</li>
|
|
<li> Gaussian Radial Basis Function: \( K(\boldsymbol{x},\boldsymbol{y})=\exp{\left(-\gamma\vert\vert\boldsymbol{x}-\boldsymbol{y}\vert\vert^2\right)} \),</li>
|
|
<li> Tanh: \( K(\boldsymbol{x},\boldsymbol{y})=\tanh{(\boldsymbol{x}^T\boldsymbol{y}+\gamma)} \),</li>
|
|
</ol>
|
|
|
|
and many other ones.
|
|
|
|
<p>
|
|
An important theorem for us is <a href="https://en.wikipedia.org/wiki/Mercer%27s_theorem" target="_blank">Mercer's
|
|
theorem</a>. The
|
|
theorem states that if a kernel function \( K \) is symmetric, continuous
|
|
and leads to a positive semi-definite matrix \( \boldsymbol{P} \) then there
|
|
exists a function \( \phi \) that maps \( \boldsymbol{x}_i \) and \( \boldsymbol{x}_j \) into
|
|
another space (possibly with much higher dimensions) such that
|
|
|
|
$$
|
|
K(\boldsymbol{x}_i,\boldsymbol{x}_j)=\phi(\boldsymbol{x}_i)^T\phi(\boldsymbol{x}_j).
|
|
$$
|
|
|
|
<p>
|
|
So you can use \( K \) as a kernel since you know \( \phi \) exists, even if
|
|
you don’t know what \( \phi \) is.
|
|
|
|
<p>
|
|
Note that some frequently used kernels (such as the Sigmoid kernel)
|
|
don’t respect all of Mercer’s conditions, yet they generally work well
|
|
in practice.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec9">The moons example (<a href="https://www.oreilly.com/library/view/hands-on-machine-learning/9781492032632/" target="_blank">Adapted from Geron, chapter 5</a>) </h2>
|
|
<p>
|
|
|
|
<!-- code=python (!bc pycod) typeset with pygments style "default" -->
|
|
<div class="highlight" style="background: #f8f8f8"><pre style="line-height: 125%"><span></span><span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">__future__</span> <span style="color: #008000; font-weight: bold">import</span> division, print_function, unicode_literals
|
|
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">numpy</span> <span style="color: #008000; font-weight: bold">as</span> <span style="color: #0000FF; font-weight: bold">np</span>
|
|
np<span style="color: #666666">.</span>random<span style="color: #666666">.</span>seed(<span style="color: #666666">42</span>)
|
|
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">matplotlib</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">matplotlib.pyplot</span> <span style="color: #008000; font-weight: bold">as</span> <span style="color: #0000FF; font-weight: bold">plt</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'axes.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">14</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'xtick.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">12</span>
|
|
plt<span style="color: #666666">.</span>rcParams[<span style="color: #BA2121">'ytick.labelsize'</span>] <span style="color: #666666">=</span> <span style="color: #666666">12</span>
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.svm</span> <span style="color: #008000; font-weight: bold">import</span> SVC
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn</span> <span style="color: #008000; font-weight: bold">import</span> datasets
|
|
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.pipeline</span> <span style="color: #008000; font-weight: bold">import</span> Pipeline
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.preprocessing</span> <span style="color: #008000; font-weight: bold">import</span> StandardScaler
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.svm</span> <span style="color: #008000; font-weight: bold">import</span> LinearSVC
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.datasets</span> <span style="color: #008000; font-weight: bold">import</span> make_moons
|
|
X, y <span style="color: #666666">=</span> make_moons(n_samples<span style="color: #666666">=100</span>, noise<span style="color: #666666">=0.15</span>, random_state<span style="color: #666666">=42</span>)
|
|
|
|
<span style="color: #008000; font-weight: bold">def</span> <span style="color: #0000FF">plot_dataset</span>(X, y, axes):
|
|
plt<span style="color: #666666">.</span>plot(X[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==0</span>], X[:, <span style="color: #666666">1</span>][y<span style="color: #666666">==0</span>], <span style="color: #BA2121">"bs"</span>)
|
|
plt<span style="color: #666666">.</span>plot(X[:, <span style="color: #666666">0</span>][y<span style="color: #666666">==1</span>], X[:, <span style="color: #666666">1</span>][y<span style="color: #666666">==1</span>], <span style="color: #BA2121">"g^"</span>)
|
|
plt<span style="color: #666666">.</span>axis(axes)
|
|
plt<span style="color: #666666">.</span>grid(<span style="color: #008000; font-weight: bold">True</span>, which<span style="color: #666666">=</span><span style="color: #BA2121">'both'</span>)
|
|
plt<span style="color: #666666">.</span>xlabel(<span style="color: #BA2121">r"$x_1$"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>ylabel(<span style="color: #BA2121">r"$x_2$"</span>, fontsize<span style="color: #666666">=20</span>, rotation<span style="color: #666666">=0</span>)
|
|
|
|
plot_dataset(X, y, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plt<span style="color: #666666">.</span>show()
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.datasets</span> <span style="color: #008000; font-weight: bold">import</span> make_moons
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.pipeline</span> <span style="color: #008000; font-weight: bold">import</span> Pipeline
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.preprocessing</span> <span style="color: #008000; font-weight: bold">import</span> PolynomialFeatures
|
|
|
|
polynomial_svm_clf <span style="color: #666666">=</span> Pipeline([
|
|
(<span style="color: #BA2121">"poly_features"</span>, PolynomialFeatures(degree<span style="color: #666666">=3</span>)),
|
|
(<span style="color: #BA2121">"scaler"</span>, StandardScaler()),
|
|
(<span style="color: #BA2121">"svm_clf"</span>, LinearSVC(C<span style="color: #666666">=10</span>, loss<span style="color: #666666">=</span><span style="color: #BA2121">"hinge"</span>, random_state<span style="color: #666666">=42</span>))
|
|
])
|
|
|
|
polynomial_svm_clf<span style="color: #666666">.</span>fit(X, y)
|
|
|
|
<span style="color: #008000; font-weight: bold">def</span> <span style="color: #0000FF">plot_predictions</span>(clf, axes):
|
|
x0s <span style="color: #666666">=</span> np<span style="color: #666666">.</span>linspace(axes[<span style="color: #666666">0</span>], axes[<span style="color: #666666">1</span>], <span style="color: #666666">100</span>)
|
|
x1s <span style="color: #666666">=</span> np<span style="color: #666666">.</span>linspace(axes[<span style="color: #666666">2</span>], axes[<span style="color: #666666">3</span>], <span style="color: #666666">100</span>)
|
|
x0, x1 <span style="color: #666666">=</span> np<span style="color: #666666">.</span>meshgrid(x0s, x1s)
|
|
X <span style="color: #666666">=</span> np<span style="color: #666666">.</span>c_[x0<span style="color: #666666">.</span>ravel(), x1<span style="color: #666666">.</span>ravel()]
|
|
y_pred <span style="color: #666666">=</span> clf<span style="color: #666666">.</span>predict(X)<span style="color: #666666">.</span>reshape(x0<span style="color: #666666">.</span>shape)
|
|
y_decision <span style="color: #666666">=</span> clf<span style="color: #666666">.</span>decision_function(X)<span style="color: #666666">.</span>reshape(x0<span style="color: #666666">.</span>shape)
|
|
plt<span style="color: #666666">.</span>contourf(x0, x1, y_pred, cmap<span style="color: #666666">=</span>plt<span style="color: #666666">.</span>cm<span style="color: #666666">.</span>brg, alpha<span style="color: #666666">=0.2</span>)
|
|
plt<span style="color: #666666">.</span>contourf(x0, x1, y_decision, cmap<span style="color: #666666">=</span>plt<span style="color: #666666">.</span>cm<span style="color: #666666">.</span>brg, alpha<span style="color: #666666">=0.1</span>)
|
|
|
|
plot_predictions(polynomial_svm_clf, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plot_dataset(X, y, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
|
|
plt<span style="color: #666666">.</span>show()
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.svm</span> <span style="color: #008000; font-weight: bold">import</span> SVC
|
|
|
|
poly_kernel_svm_clf <span style="color: #666666">=</span> Pipeline([
|
|
(<span style="color: #BA2121">"scaler"</span>, StandardScaler()),
|
|
(<span style="color: #BA2121">"svm_clf"</span>, SVC(kernel<span style="color: #666666">=</span><span style="color: #BA2121">"poly"</span>, degree<span style="color: #666666">=3</span>, coef0<span style="color: #666666">=1</span>, C<span style="color: #666666">=5</span>))
|
|
])
|
|
poly_kernel_svm_clf<span style="color: #666666">.</span>fit(X, y)
|
|
|
|
poly100_kernel_svm_clf <span style="color: #666666">=</span> Pipeline([
|
|
(<span style="color: #BA2121">"scaler"</span>, StandardScaler()),
|
|
(<span style="color: #BA2121">"svm_clf"</span>, SVC(kernel<span style="color: #666666">=</span><span style="color: #BA2121">"poly"</span>, degree<span style="color: #666666">=10</span>, coef0<span style="color: #666666">=100</span>, C<span style="color: #666666">=5</span>))
|
|
])
|
|
poly100_kernel_svm_clf<span style="color: #666666">.</span>fit(X, y)
|
|
|
|
plt<span style="color: #666666">.</span>figure(figsize<span style="color: #666666">=</span>(<span style="color: #666666">11</span>, <span style="color: #666666">4</span>))
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">121</span>)
|
|
plot_predictions(poly_kernel_svm_clf, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plot_dataset(X, y, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plt<span style="color: #666666">.</span>title(<span style="color: #BA2121">r"$d=3, r=1, C=5$"</span>, fontsize<span style="color: #666666">=18</span>)
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">122</span>)
|
|
plot_predictions(poly100_kernel_svm_clf, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plot_dataset(X, y, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plt<span style="color: #666666">.</span>title(<span style="color: #BA2121">r"$d=10, r=100, C=5$"</span>, fontsize<span style="color: #666666">=18</span>)
|
|
|
|
plt<span style="color: #666666">.</span>show()
|
|
|
|
<span style="color: #008000; font-weight: bold">def</span> <span style="color: #0000FF">gaussian_rbf</span>(x, landmark, gamma):
|
|
<span style="color: #008000; font-weight: bold">return</span> np<span style="color: #666666">.</span>exp(<span style="color: #666666">-</span>gamma <span style="color: #666666">*</span> np<span style="color: #666666">.</span>linalg<span style="color: #666666">.</span>norm(x <span style="color: #666666">-</span> landmark, axis<span style="color: #666666">=1</span>)<span style="color: #666666">**2</span>)
|
|
|
|
gamma <span style="color: #666666">=</span> <span style="color: #666666">0.3</span>
|
|
|
|
x1s <span style="color: #666666">=</span> np<span style="color: #666666">.</span>linspace(<span style="color: #666666">-4.5</span>, <span style="color: #666666">4.5</span>, <span style="color: #666666">200</span>)<span style="color: #666666">.</span>reshape(<span style="color: #666666">-1</span>, <span style="color: #666666">1</span>)
|
|
x2s <span style="color: #666666">=</span> gaussian_rbf(x1s, <span style="color: #666666">-2</span>, gamma)
|
|
x3s <span style="color: #666666">=</span> gaussian_rbf(x1s, <span style="color: #666666">1</span>, gamma)
|
|
|
|
XK <span style="color: #666666">=</span> np<span style="color: #666666">.</span>c_[gaussian_rbf(X1D, <span style="color: #666666">-2</span>, gamma), gaussian_rbf(X1D, <span style="color: #666666">1</span>, gamma)]
|
|
yk <span style="color: #666666">=</span> np<span style="color: #666666">.</span>array([<span style="color: #666666">0</span>, <span style="color: #666666">0</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">1</span>, <span style="color: #666666">0</span>, <span style="color: #666666">0</span>])
|
|
|
|
plt<span style="color: #666666">.</span>figure(figsize<span style="color: #666666">=</span>(<span style="color: #666666">11</span>, <span style="color: #666666">4</span>))
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">121</span>)
|
|
plt<span style="color: #666666">.</span>grid(<span style="color: #008000; font-weight: bold">True</span>, which<span style="color: #666666">=</span><span style="color: #BA2121">'both'</span>)
|
|
plt<span style="color: #666666">.</span>axhline(y<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>scatter(x<span style="color: #666666">=</span>[<span style="color: #666666">-2</span>, <span style="color: #666666">1</span>], y<span style="color: #666666">=</span>[<span style="color: #666666">0</span>, <span style="color: #666666">0</span>], s<span style="color: #666666">=150</span>, alpha<span style="color: #666666">=0.5</span>, c<span style="color: #666666">=</span><span style="color: #BA2121">"red"</span>)
|
|
plt<span style="color: #666666">.</span>plot(X1D[:, <span style="color: #666666">0</span>][yk<span style="color: #666666">==0</span>], np<span style="color: #666666">.</span>zeros(<span style="color: #666666">4</span>), <span style="color: #BA2121">"bs"</span>)
|
|
plt<span style="color: #666666">.</span>plot(X1D[:, <span style="color: #666666">0</span>][yk<span style="color: #666666">==1</span>], np<span style="color: #666666">.</span>zeros(<span style="color: #666666">5</span>), <span style="color: #BA2121">"g^"</span>)
|
|
plt<span style="color: #666666">.</span>plot(x1s, x2s, <span style="color: #BA2121">"g--"</span>)
|
|
plt<span style="color: #666666">.</span>plot(x1s, x3s, <span style="color: #BA2121">"b:"</span>)
|
|
plt<span style="color: #666666">.</span>gca()<span style="color: #666666">.</span>get_yaxis()<span style="color: #666666">.</span>set_ticks([<span style="color: #666666">0</span>, <span style="color: #666666">0.25</span>, <span style="color: #666666">0.5</span>, <span style="color: #666666">0.75</span>, <span style="color: #666666">1</span>])
|
|
plt<span style="color: #666666">.</span>xlabel(<span style="color: #BA2121">r"$x_1$"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>ylabel(<span style="color: #BA2121">r"Similarity"</span>, fontsize<span style="color: #666666">=14</span>)
|
|
plt<span style="color: #666666">.</span>annotate(<span style="color: #BA2121">r'$\mathbf</span><span style="color: #BB6688; font-weight: bold">{x}</span><span style="color: #BA2121">$'</span>,
|
|
xy<span style="color: #666666">=</span>(X1D[<span style="color: #666666">3</span>, <span style="color: #666666">0</span>], <span style="color: #666666">0</span>),
|
|
xytext<span style="color: #666666">=</span>(<span style="color: #666666">-0.5</span>, <span style="color: #666666">0.20</span>),
|
|
ha<span style="color: #666666">=</span><span style="color: #BA2121">"center"</span>,
|
|
arrowprops<span style="color: #666666">=</span><span style="color: #008000">dict</span>(facecolor<span style="color: #666666">=</span><span style="color: #BA2121">'black'</span>, shrink<span style="color: #666666">=0.1</span>),
|
|
fontsize<span style="color: #666666">=18</span>,
|
|
)
|
|
plt<span style="color: #666666">.</span>text(<span style="color: #666666">-2</span>, <span style="color: #666666">0.9</span>, <span style="color: #BA2121">"$x_2$"</span>, ha<span style="color: #666666">=</span><span style="color: #BA2121">"center"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>text(<span style="color: #666666">1</span>, <span style="color: #666666">0.9</span>, <span style="color: #BA2121">"$x_3$"</span>, ha<span style="color: #666666">=</span><span style="color: #BA2121">"center"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>axis([<span style="color: #666666">-4.5</span>, <span style="color: #666666">4.5</span>, <span style="color: #666666">-0.1</span>, <span style="color: #666666">1.1</span>])
|
|
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">122</span>)
|
|
plt<span style="color: #666666">.</span>grid(<span style="color: #008000; font-weight: bold">True</span>, which<span style="color: #666666">=</span><span style="color: #BA2121">'both'</span>)
|
|
plt<span style="color: #666666">.</span>axhline(y<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>axvline(x<span style="color: #666666">=0</span>, color<span style="color: #666666">=</span><span style="color: #BA2121">'k'</span>)
|
|
plt<span style="color: #666666">.</span>plot(XK[:, <span style="color: #666666">0</span>][yk<span style="color: #666666">==0</span>], XK[:, <span style="color: #666666">1</span>][yk<span style="color: #666666">==0</span>], <span style="color: #BA2121">"bs"</span>)
|
|
plt<span style="color: #666666">.</span>plot(XK[:, <span style="color: #666666">0</span>][yk<span style="color: #666666">==1</span>], XK[:, <span style="color: #666666">1</span>][yk<span style="color: #666666">==1</span>], <span style="color: #BA2121">"g^"</span>)
|
|
plt<span style="color: #666666">.</span>xlabel(<span style="color: #BA2121">r"$x_2$"</span>, fontsize<span style="color: #666666">=20</span>)
|
|
plt<span style="color: #666666">.</span>ylabel(<span style="color: #BA2121">r"$x_3$ "</span>, fontsize<span style="color: #666666">=20</span>, rotation<span style="color: #666666">=0</span>)
|
|
plt<span style="color: #666666">.</span>annotate(<span style="color: #BA2121">r'$\phi\left(\mathbf</span><span style="color: #BB6688; font-weight: bold">{x}</span><span style="color: #BA2121">\right)$'</span>,
|
|
xy<span style="color: #666666">=</span>(XK[<span style="color: #666666">3</span>, <span style="color: #666666">0</span>], XK[<span style="color: #666666">3</span>, <span style="color: #666666">1</span>]),
|
|
xytext<span style="color: #666666">=</span>(<span style="color: #666666">0.65</span>, <span style="color: #666666">0.50</span>),
|
|
ha<span style="color: #666666">=</span><span style="color: #BA2121">"center"</span>,
|
|
arrowprops<span style="color: #666666">=</span><span style="color: #008000">dict</span>(facecolor<span style="color: #666666">=</span><span style="color: #BA2121">'black'</span>, shrink<span style="color: #666666">=0.1</span>),
|
|
fontsize<span style="color: #666666">=18</span>,
|
|
)
|
|
plt<span style="color: #666666">.</span>plot([<span style="color: #666666">-0.1</span>, <span style="color: #666666">1.1</span>], [<span style="color: #666666">0.57</span>, <span style="color: #666666">-0.1</span>], <span style="color: #BA2121">"r--"</span>, linewidth<span style="color: #666666">=3</span>)
|
|
plt<span style="color: #666666">.</span>axis([<span style="color: #666666">-0.1</span>, <span style="color: #666666">1.1</span>, <span style="color: #666666">-0.1</span>, <span style="color: #666666">1.1</span>])
|
|
|
|
plt<span style="color: #666666">.</span>subplots_adjust(right<span style="color: #666666">=1</span>)
|
|
|
|
plt<span style="color: #666666">.</span>show()
|
|
|
|
|
|
x1_example <span style="color: #666666">=</span> X1D[<span style="color: #666666">3</span>, <span style="color: #666666">0</span>]
|
|
<span style="color: #008000; font-weight: bold">for</span> landmark <span style="color: #AA22FF; font-weight: bold">in</span> (<span style="color: #666666">-2</span>, <span style="color: #666666">1</span>):
|
|
k <span style="color: #666666">=</span> gaussian_rbf(np<span style="color: #666666">.</span>array([[x1_example]]), np<span style="color: #666666">.</span>array([[landmark]]), gamma)
|
|
<span style="color: #008000">print</span>(<span style="color: #BA2121">"Phi(</span><span style="color: #BB6688; font-weight: bold">{}</span><span style="color: #BA2121">, </span><span style="color: #BB6688; font-weight: bold">{}</span><span style="color: #BA2121">) = </span><span style="color: #BB6688; font-weight: bold">{}</span><span style="color: #BA2121">"</span><span style="color: #666666">.</span>format(x1_example, landmark, k))
|
|
|
|
rbf_kernel_svm_clf <span style="color: #666666">=</span> Pipeline([
|
|
(<span style="color: #BA2121">"scaler"</span>, StandardScaler()),
|
|
(<span style="color: #BA2121">"svm_clf"</span>, SVC(kernel<span style="color: #666666">=</span><span style="color: #BA2121">"rbf"</span>, gamma<span style="color: #666666">=5</span>, C<span style="color: #666666">=0.001</span>))
|
|
])
|
|
rbf_kernel_svm_clf<span style="color: #666666">.</span>fit(X, y)
|
|
|
|
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">sklearn.svm</span> <span style="color: #008000; font-weight: bold">import</span> SVC
|
|
|
|
gamma1, gamma2 <span style="color: #666666">=</span> <span style="color: #666666">0.1</span>, <span style="color: #666666">5</span>
|
|
C1, C2 <span style="color: #666666">=</span> <span style="color: #666666">0.001</span>, <span style="color: #666666">1000</span>
|
|
hyperparams <span style="color: #666666">=</span> (gamma1, C1), (gamma1, C2), (gamma2, C1), (gamma2, C2)
|
|
|
|
svm_clfs <span style="color: #666666">=</span> []
|
|
<span style="color: #008000; font-weight: bold">for</span> gamma, C <span style="color: #AA22FF; font-weight: bold">in</span> hyperparams:
|
|
rbf_kernel_svm_clf <span style="color: #666666">=</span> Pipeline([
|
|
(<span style="color: #BA2121">"scaler"</span>, StandardScaler()),
|
|
(<span style="color: #BA2121">"svm_clf"</span>, SVC(kernel<span style="color: #666666">=</span><span style="color: #BA2121">"rbf"</span>, gamma<span style="color: #666666">=</span>gamma, C<span style="color: #666666">=</span>C))
|
|
])
|
|
rbf_kernel_svm_clf<span style="color: #666666">.</span>fit(X, y)
|
|
svm_clfs<span style="color: #666666">.</span>append(rbf_kernel_svm_clf)
|
|
|
|
plt<span style="color: #666666">.</span>figure(figsize<span style="color: #666666">=</span>(<span style="color: #666666">11</span>, <span style="color: #666666">7</span>))
|
|
|
|
<span style="color: #008000; font-weight: bold">for</span> i, svm_clf <span style="color: #AA22FF; font-weight: bold">in</span> <span style="color: #008000">enumerate</span>(svm_clfs):
|
|
plt<span style="color: #666666">.</span>subplot(<span style="color: #666666">221</span> <span style="color: #666666">+</span> i)
|
|
plot_predictions(svm_clf, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
plot_dataset(X, y, [<span style="color: #666666">-1.5</span>, <span style="color: #666666">2.5</span>, <span style="color: #666666">-1</span>, <span style="color: #666666">1.5</span>])
|
|
gamma, C <span style="color: #666666">=</span> hyperparams[i]
|
|
plt<span style="color: #666666">.</span>title(<span style="color: #BA2121">r"$\gamma = </span><span style="color: #BB6688; font-weight: bold">{}</span><span style="color: #BA2121">, C = </span><span style="color: #BB6688; font-weight: bold">{}</span><span style="color: #BA2121">$"</span><span style="color: #666666">.</span>format(gamma, C), fontsize<span style="color: #666666">=16</span>)
|
|
|
|
plt<span style="color: #666666">.</span>show()
|
|
</pre></div>
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec10">Mathematical optimization of convex functions </h2>
|
|
|
|
<p>
|
|
A mathematical (quadratic) optimization problem, or just optimization problem, has the form
|
|
$$
|
|
\begin{align*}
|
|
&\mathrm{min}_{\lambda}\hspace{0.2cm} \frac{1}{2}\boldsymbol{\lambda}^T\boldsymbol{P}\boldsymbol{\lambda}+\boldsymbol{q}^T\boldsymbol{\lambda},\\ \nonumber
|
|
&\mathrm{subject\hspace{0.1cm}to} \hspace{0.2cm} \boldsymbol{G}\boldsymbol{\lambda} \preceq \boldsymbol{h} \wedge \boldsymbol{A}\boldsymbol{\lambda}=f.
|
|
\end{align*}
|
|
$$
|
|
|
|
subject to some constraints for say a selected set \( i=1,2,\dots, n \).
|
|
In our case we are optimizing with respect to the Lagrangian multipliers \( \lambda_i \), and the
|
|
vector \( \boldsymbol{\lambda}=[\lambda_1, \lambda_2,\dots, \lambda_n] \) is the optimization variable we are dealing with.
|
|
|
|
<p>
|
|
In our case we are particularly interested in a class of optimization problems called convex optmization problems.
|
|
In our discussion on gradient descent methods we discussed at length the definition of a convex function.
|
|
|
|
<p>
|
|
Convex optimization problems play a central role in applied mathematics and we recommend strongly <a href="http://web.stanford.edu/~boyd/cvxbook/" target="_blank">Boyd and Vandenberghe's text on the topics</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec11">How do we solve these problems? </h2>
|
|
|
|
<p>
|
|
If we use Python as programming language and wish to venture beyond
|
|
<b>scikit-learn</b>, <b>tensorflow</b> and similar software which makes our
|
|
lives so much easier, we need to dive into the wonderful world of
|
|
quadratic programming. We can, if we wish, solve the minimization
|
|
problem using standard gradient methods or conjugate gradient
|
|
methods. However, these methods tend to exhibit a rather slow
|
|
converge. So, welcome to the promised land of quadratic programming.
|
|
|
|
<p>
|
|
The functions we need are contained in the quadratic programming package <b>CVXOPT</b> and we need to import it together with <b>numpy</b> as
|
|
|
|
<p>
|
|
|
|
<!-- code=python (!bc pycod) typeset with pygments style "default" -->
|
|
<div class="highlight" style="background: #f8f8f8"><pre style="line-height: 125%"><span></span><span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">numpy</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">cvxopt</span>
|
|
</pre></div>
|
|
<p>
|
|
This will make our life much easier. You don't need to write your own optimizer.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec12">A simple example </h2>
|
|
|
|
<p>
|
|
We remind ourselves about the general problem we want to solve
|
|
$$
|
|
\begin{align*}
|
|
&\mathrm{min}_{x}\hspace{0.2cm} \frac{1}{2}\boldsymbol{x}^T\boldsymbol{P}\boldsymbol{x}+\boldsymbol{q}^T\boldsymbol{x},\\ \nonumber
|
|
&\mathrm{s.t.} \hspace{0.2cm} \boldsymbol{G}\boldsymbol{x} \preceq \boldsymbol{h} \wedge \boldsymbol{A}\boldsymbol{x}=f.
|
|
\end{align*}
|
|
$$
|
|
|
|
<b>Note</b>: we use <b>s.t.</b> for subject to.
|
|
|
|
<p>
|
|
Let us show how to perform the optmization using a simple case. Assume we want to optimize the following problem
|
|
$$
|
|
\begin{align*}
|
|
&\mathrm{min}_{x}\hspace{0.2cm} \frac{1}{2}x^2+5x+3y \\ \nonumber
|
|
&\mathrm{s.t.} \\ \nonumber
|
|
&x, y \geq 0 \\ \nonumber
|
|
&x+3y \geq 15 \\ \nonumber
|
|
&2x+5y \leq 100 \\ \nonumber
|
|
&3x+4y \leq 80. \\ \nonumber
|
|
\end{align*}
|
|
$$
|
|
|
|
The minimization problem can be rewritten in terms of vectors and matrices as (with \( x \) and \( y \) being the unknowns)
|
|
$$
|
|
\frac{1}{2}\begin{bmatrix} x\\ y \end{bmatrix}^T \begin{bmatrix} 1 & 0\\ 0 & 0 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} + \begin{bmatrix}5\\ 3 \end{bmatrix}^T \begin{bmatrix}x \\ y \end{bmatrix}.
|
|
$$
|
|
|
|
Similarly, we can now set up the inequalities (we need to change \( \geq \) to \( \leq \) by multiplying with \( -1 \) on bot sides) as the following matrix-vector equation
|
|
$$
|
|
\begin{bmatrix} -1 & 0 \\ 0 & -1 \\ -1 & -3 \\ 2 & 5 \\ 3 & 4\end{bmatrix}\begin{bmatrix} x \\ y\end{bmatrix} \preceq \begin{bmatrix}0 \\ 0\\ -15 \\ 100 \\ 80\end{bmatrix}.
|
|
$$
|
|
|
|
We have collapsed all the inequalities into a single matrix \( \boldsymbol{G} \). We see also that our matrix
|
|
$$
|
|
\boldsymbol{P} =\begin{bmatrix} 1 & 0\\ 0 & 0 \end{bmatrix}
|
|
$$
|
|
|
|
is clearly positive semi-definite (all eigenvalues larger or equal zero).
|
|
Finally, the vector \( \boldsymbol{h} \) is defined as
|
|
$$
|
|
\boldsymbol{h} = \begin{bmatrix}0 \\ 0\\ -15 \\ 100 \\ 80\end{bmatrix}.
|
|
$$
|
|
|
|
<p>
|
|
Since we don't have any equalities the matrix \( \boldsymbol{A} \) is set to zero
|
|
The following code solves the equations for us
|
|
<p>
|
|
|
|
<!-- code=python (!bc pycod) typeset with pygments style "default" -->
|
|
<div class="highlight" style="background: #f8f8f8"><pre style="line-height: 125%"><span></span><span style="color: #408080; font-style: italic"># Import the necessary packages</span>
|
|
<span style="color: #008000; font-weight: bold">import</span> <span style="color: #0000FF; font-weight: bold">numpy</span>
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">cvxopt</span> <span style="color: #008000; font-weight: bold">import</span> matrix
|
|
<span style="color: #008000; font-weight: bold">from</span> <span style="color: #0000FF; font-weight: bold">cvxopt</span> <span style="color: #008000; font-weight: bold">import</span> solvers
|
|
P <span style="color: #666666">=</span> matrix(numpy<span style="color: #666666">.</span>diag([<span style="color: #666666">1</span>,<span style="color: #666666">0</span>]), tc<span style="color: #666666">=</span><span style="color: #BA2121">'d'</span>)
|
|
q <span style="color: #666666">=</span> matrix(numpy<span style="color: #666666">.</span>array([<span style="color: #666666">3</span>,<span style="color: #666666">4</span>]), tc<span style="color: #666666">=</span><span style="color: #BA2121">'d'</span>)
|
|
G <span style="color: #666666">=</span> matrix(numpy<span style="color: #666666">.</span>array([[<span style="color: #666666">-1</span>,<span style="color: #666666">0</span>],[<span style="color: #666666">0</span>,<span style="color: #666666">-1</span>],[<span style="color: #666666">-1</span>,<span style="color: #666666">-3</span>],[<span style="color: #666666">2</span>,<span style="color: #666666">5</span>],[<span style="color: #666666">3</span>,<span style="color: #666666">4</span>]]), tc<span style="color: #666666">=</span><span style="color: #BA2121">'d'</span>)
|
|
h <span style="color: #666666">=</span> matrix(numpy<span style="color: #666666">.</span>array([<span style="color: #666666">0</span>,<span style="color: #666666">0</span>,<span style="color: #666666">-15</span>,<span style="color: #666666">100</span>,<span style="color: #666666">80</span>]), tc<span style="color: #666666">=</span><span style="color: #BA2121">'d'</span>)
|
|
<span style="color: #408080; font-style: italic"># Construct the QP, invoke solver</span>
|
|
sol <span style="color: #666666">=</span> solvers<span style="color: #666666">.</span>qp(P,q,G,h)
|
|
<span style="color: #408080; font-style: italic"># Extract optimal value and solution</span>
|
|
sol[<span style="color: #BA2121">'x'</span>]
|
|
sol[<span style="color: #BA2121">'primal objective'</span>]
|
|
</pre></div>
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec13">Back to the more realistic cases </h2>
|
|
|
|
<p>
|
|
We are now ready to return to our setup of the optmization problem for a more realistic case. Introducing the <b>slack</b> parameter \( C \) we have
|
|
$$
|
|
\frac{1}{2} \boldsymbol{\lambda}^T\begin{bmatrix} y_1y_1K(\boldsymbol{x}_1,\boldsymbol{x}_1) & y_1y_2K(\boldsymbol{x}_1,\boldsymbol{x}_2) & \dots & \dots & y_1y_nK(\boldsymbol{x}_1,\boldsymbol{x}_n) \\
|
|
y_2y_1K(\boldsymbol{x}_2,\boldsymbol{x}_1) & y_2y_2K(\boldsymbol{x}_2,\boldsymbol{x}_2) & \dots & \dots & y_1y_nK(\boldsymbol{x}_2,\boldsymbol{x}_n) \\
|
|
\dots & \dots & \dots & \dots & \dots \\
|
|
\dots & \dots & \dots & \dots & \dots \\
|
|
y_ny_1K(\boldsymbol{x}_n,\boldsymbol{x}_1) & y_ny_2K(\boldsymbol{x}_n\boldsymbol{x}_2) & \dots & \dots & y_ny_nK(\boldsymbol{x}_n,\boldsymbol{x}_n) \\
|
|
\end{bmatrix}\boldsymbol{\lambda}-\mathbb{I}\boldsymbol{\lambda},
|
|
$$
|
|
|
|
subject to \( \boldsymbol{y}^T\boldsymbol{\lambda}=0 \). Here we defined the vectors \( \boldsymbol{\lambda} =[\lambda_1,\lambda_2,\dots,\lambda_n] \) and
|
|
\( \boldsymbol{y}=[y_1,y_2,\dots,y_n] \).
|
|
With the slack constants this leads to the additional constraint \( 0\leq \lambda_i \leq C \).
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec14">Setting up the matrices and the problem </h2>
|
|
|
|
<p>
|
|
We have the general problem
|
|
$$
|
|
\begin{align*}
|
|
&\mathrm{min}_{\lambda}\hspace{0.2cm} \frac{1}{2}\boldsymbol{\lambda}^T\boldsymbol{P}\boldsymbol{\lambda}+\boldsymbol{q}^T\boldsymbol{\lambda},\\ \nonumber
|
|
&\mathrm{s.t.} \hspace{0.2cm} \boldsymbol{G}\boldsymbol{\lambda} \preceq \boldsymbol{h} \wedge \boldsymbol{A}\boldsymbol{\lambda}=f.
|
|
\end{align*}
|
|
$$
|
|
|
|
|
|
<ol>
|
|
<li> With a given kernel we can thus define the matrix \( \boldsymbol{P} \).</li>
|
|
<li> The matrix \( \boldsymbol{P} \) has matrix elements \( p_{ij}=y_iy_jK(\boldsymbol{x}_i,\boldsymbol{x}_j) \). Given a kernel \( K \) and the targets \( y_i \) this matrix is easy to set up.</li>
|
|
<li> The vector \( \boldsymbol{q} \) has all elements equal to \( -1 \).</li>
|
|
<li> The constraint \( \boldsymbol{y}^T\boldsymbol{\lambda}=0 \) leads to \( f=0 \) and \( \boldsymbol{A}=\boldsymbol{y} \).</li>
|
|
<li> To set up the matrix \( \boldsymbol{G} \) we note that the inequalities \( 0\leq \lambda_i \leq C \) can be split up into \( 0\leq \lambda_i \) and \( \lambda_i \leq C \). These two inequalities define then the matrix \( \boldsymbol{G} \) and the vector \( \boldsymbol{h} \).</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec15">Setting up \( \boldsymbol{G}\boldsymbol{\lambda} \preceq \boldsymbol{h} \) </h2>
|
|
|
|
<p>
|
|
We have two constraints, \( 0\le \lambda_i \) and \( \lambda_i \le C \). To do this we multiply the ones with the constraint
|
|
\( \ge \) with \( -1 \) in order to get \( \le \). It means that the problem \( \boldsymbol{G}\boldsymbol{\lambda} \preceq \boldsymbol{h} \)
|
|
can be written as
|
|
$$
|
|
\begin{bmatrix} -1& 0 & 0 & \dots & 0 \\
|
|
0& -1 & 0 & \dots & 0 \\
|
|
0& 0 & -1 & \dots & 0 \\
|
|
\dots& \dots & \dots & \dots & \dots \\
|
|
0& 0 & 0 & \dots & -1 \\
|
|
1 & 0 & 0 & \dots & 0 \\
|
|
0& 1 & 0 & \dots & 0 \\
|
|
0& 0 & 1 & \dots & 0 \\
|
|
\dots& \dots & \dots & \dots & \dots \\
|
|
0& 0 & 0 & \dots & 1 \\
|
|
\end{bmatrix}
|
|
\begin{bmatrix} \lambda_1 \\
|
|
\lambda_2 \\
|
|
\lambda_3 \\
|
|
\dots \\
|
|
\lambda_n \\
|
|
\end{bmatrix} \preceq
|
|
\begin{bmatrix} 0 \\
|
|
0 \\
|
|
0 \\
|
|
\dots \\
|
|
0 \\
|
|
C \\
|
|
C \\
|
|
C \\
|
|
\dots \\
|
|
C \\
|
|
\end{bmatrix}.
|
|
$$
|
|
|
|
<p>
|
|
And then we are ready to go.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec16">SVMs and Regression and multiclass classification </h2>
|
|
|
|
<p>
|
|
More text will be added here. See also <a href="https://www.springer.com/gp/book/9780387848570" target="_blank">Hastie et al.</a> section 12.3.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec17">Summary of course </h2>
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec18">What? Me worry? No final exam in this course! </h2>
|
|
<br /><br /><center><p><img src="figures/exam1.jpeg" align="bottom" width=500></p></center><br /><br />
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec19">Topics we have covered this year </h2>
|
|
|
|
<p>
|
|
The course has two central parts
|
|
|
|
<ol>
|
|
<li> Statistical analysis and optimization of data</li>
|
|
<li> Machine learning</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec20">Statistical analysis and optimization of data </h2>
|
|
|
|
<p>
|
|
The following topics have been discussed:
|
|
|
|
<ol>
|
|
<li> Basic concepts, expectation values, variance, covariance, correlation functions and errors;</li>
|
|
<li> Simpler models, binomial distribution, the Poisson distribution, simple and multivariate normal distributions;</li>
|
|
<li> Central elements from linear algebra, matrix inversion and SVD</li>
|
|
<li> Gradient methods for data optimization</li>
|
|
<li> Estimation of errors using cross-validation, bootstrapping and jackknife methods;</li>
|
|
<li> Practical optimization using Singular-value decomposition and least squares for parameterizing data.</li>
|
|
<li> Principal Component Analysis to reduce the number of features.</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec21">Machine learning </h2>
|
|
|
|
<p>
|
|
The following topics will be covered
|
|
|
|
<ol>
|
|
<li> Linear methods for regression and classification:
|
|
|
|
<ol type="a"></li>
|
|
<li> Ordinary Least Squares</li>
|
|
<li> Ridge regression</li>
|
|
<li> Lasso regression</li>
|
|
<li> Logistic regression</li>
|
|
</ol>
|
|
|
|
<li> Neural networks and deep learning:
|
|
|
|
<ol type="a"></li>
|
|
<li> Feed Forward Neural Networks</li>
|
|
<li> Convolutional Neural Networks</li>
|
|
<li> Recurrent Neural Networks</li>
|
|
</ol>
|
|
|
|
<li> Decisions trees and ensemble methods:
|
|
|
|
<ol type="a"></li>
|
|
<li> Decision trees</li>
|
|
<li> Bagging and voting</li>
|
|
<li> Random forests</li>
|
|
<li> Boosting and gradient boosting</li>
|
|
</ol>
|
|
|
|
<li> Support vector machines
|
|
|
|
<ol type="a"></li>
|
|
<li> Binary classification and multiclass classification</li>
|
|
<li> Kernel methods</li>
|
|
<li> Regression</li>
|
|
</ol>
|
|
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec22">Learning outcomes and overarching aims of this course </h2>
|
|
|
|
<p>
|
|
The course introduces a variety of central algorithms and methods
|
|
essential for studies of data analysis and machine learning. The
|
|
course is project based and through the various projects, normally
|
|
three, you will be exposed to fundamental research problems
|
|
in these fields, with the aim to reproduce state of the art scientific
|
|
results. The students will learn to develop and structure large codes
|
|
for studying these systems, get acquainted with computing facilities
|
|
and learn to handle large scientific projects. A good scientific and
|
|
ethical conduct is emphasized throughout the course.
|
|
|
|
<ul>
|
|
<li> Understand linear methods for regression and classification;</li>
|
|
<li> Learn about neural network;</li>
|
|
<li> Learn about bagging, boosting and trees</li>
|
|
<li> Support vector machines</li>
|
|
<li> Learn about basic data analysis;</li>
|
|
<li> Be capable of extending the acquired knowledge to other systems and cases;</li>
|
|
<li> Have an understanding of central algorithms used in data analysis and machine learning;</li>
|
|
<li> Work on numerical projects to illustrate the theory. The projects play a central role and you are expected to know modern programming languages like Python or C++.</li>
|
|
</ul>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec23">Perspective on Machine Learning </h2>
|
|
|
|
<ol>
|
|
<li> Rapidly emerging application area</li>
|
|
<li> Experiment AND theory are evolving in many many fields. Still many low-hanging fruits.</li>
|
|
<li> Requires education/retraining for more widespread adoption</li>
|
|
<li> A lot of “word-of-mouth” development methods</li>
|
|
</ol>
|
|
|
|
Huge amounts of data sets require automation, classical analysis tools often inadequate.
|
|
High energy physics hit this wall in the 90’s.
|
|
In 2009 single top quark production was determined via <a href="https://arxiv.org/pdf/0903.0850.pdf" target="_blank">Boosted decision trees, Bayesian
|
|
Neural Networks, etc.</a>
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec24">Machine Learning Research </h2>
|
|
|
|
<p>
|
|
Where to find recent results:
|
|
|
|
<ol>
|
|
<li> Conference proceedings, arXiv and blog posts!</li>
|
|
<li> <b>NIPS</b>: <a href="https://papers.nips.cc" target="_blank">Neural Information Processing Systems</a></li>
|
|
<li> <b>ICLR</b>: <a href="https://openreview.net/group?id=ICLR.cc/2018/Conference#accepted-oral-papers" target="_blank">International Conference on Learning Representations</a></li>
|
|
<li> <b>ICML</b>: International Conference on Machine Learning</li>
|
|
<li> <a href="http://www.jmlr.org/papers/v19/" target="_blank">Journal of Machine Learning Research</a></li>
|
|
<li> <a href="https://arxiv.org/list/cs.LG/recent" target="_blank">Follow ML on ArXiv</a></li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec25">Starting your Machine Learning Project </h2>
|
|
|
|
<ol>
|
|
<li> Identify problem type: classification, regression</li>
|
|
<li> Consider your data carefully</li>
|
|
<li> Choose a simple model that fits 1. and 2.</li>
|
|
<li> Consider your data carefully again! Think of data representation more carefully.</li>
|
|
<li> Based on your results, feedback loop to earliest possible point</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec26">Choose a Model and Algorithm </h2>
|
|
|
|
<ol>
|
|
<li> Supervised?</li>
|
|
<li> Start with the simplest model that fits your problem</li>
|
|
<li> Start with minimal processing of data</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec27">Preparing Your Data </h2>
|
|
|
|
<ol>
|
|
<li> Shuffle your data</li>
|
|
<li> Mean center your data</li>
|
|
|
|
<ul>
|
|
<li> Why?</li>
|
|
</ul>
|
|
|
|
<li> Normalize the variance</li>
|
|
|
|
<ul>
|
|
<li> Why?</li>
|
|
</ul>
|
|
|
|
<li> <b>Whitening</b></li>
|
|
|
|
<ul>
|
|
<li> Decorrelates data</li>
|
|
<li> Can be hit or miss</li>
|
|
</ul>
|
|
|
|
<li> When to do train/test split?</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec28">Which Activation and Weights to Choose in Neural Networks </h2>
|
|
|
|
<ol>
|
|
<li> RELU? ELU?</li>
|
|
<li> Sigmoid or Tanh?</li>
|
|
<li> Set all weights to 0?</li>
|
|
|
|
<ul>
|
|
<li> Terrible idea</li>
|
|
</ul>
|
|
|
|
<li> Set all weights to random values?</li>
|
|
|
|
<ul>
|
|
<li> Small random values</li>
|
|
</ul>
|
|
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec29">Optimization Methods and Hyperparameters </h2>
|
|
|
|
<ol>
|
|
<li> Stochastic gradient descent
|
|
|
|
<ol type="a"></li>
|
|
<li> Stochastic gradient descent + momentum</li>
|
|
</ol>
|
|
|
|
<li> State-of-the-art approaches:</li>
|
|
|
|
<ul>
|
|
<li> RMSProp</li>
|
|
<li> Adam</li>
|
|
<li> and more</li>
|
|
</ul>
|
|
|
|
</ol>
|
|
|
|
Which regularization and hyperparameters? \( L_1 \) or \( L_2 \), soft
|
|
classifiers, depths of trees and many other. Need to explore a large
|
|
set of hyperparameters and regularization methods.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec30">Resampling </h2>
|
|
|
|
<p>
|
|
When do we resample?
|
|
|
|
<ol>
|
|
<li> <a href="https://www.cambridge.org/core/books/bootstrap-methods-and-their-application/ED2FD043579F27952363566DC09CBD6A" target="_blank">Bootstrap</a></li>
|
|
<li> <a href="https://www.youtube.com/watch?v=fSytzGwwBVw&ab_channel=StatQuestwithJoshStarmer" target="_blank">Cross-validation</a></li>
|
|
<li> Jackknife and many other</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec31">Other courses on Data science and Machine Learning at UiO </h2>
|
|
|
|
<p>
|
|
The link here <a href="https://www.mn.uio.no/english/research/about/centre-focus/innovation/data-science/studies/" target="_blank"><tt>https://www.mn.uio.no/english/research/about/centre-focus/innovation/data-science/studies/</tt></a> gives an excellent overview of courses on Machine learning at UiO.
|
|
|
|
<ol>
|
|
<li> <a href="http://www.uio.no/studier/emner/matnat/math/STK2100/index-eng.html" target="_blank">STK2100 Machine learning and statistical methods for prediction and classification</a>.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/ifi/IN3050/index-eng.html" target="_blank">IN3050/IN4050 Introduction to Artificial Intelligence and Machine Learning</a>. Introductory course in machine learning and AI with an algorithmic approach.</li>
|
|
<li> <a href="http://www.uio.no/studier/emner/matnat/math/STK-INF3000/index-eng.html" target="_blank">STK-INF3000/4000 Selected Topics in Data Science</a>. The course provides insight into selected contemporary relevant topics within Data Science.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/ifi/IN4080/index.html" target="_blank">IN4080 Natural Language Processing</a>. Probabilistic and machine learning techniques applied to natural language processing.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/math/STK-IN4300/index-eng.html" target="_blank">STK-IN4300 – Statistical learning methods in Data Science</a>. An advanced introduction to statistical and machine learning. For students with a good mathematics and statistics background.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/ifi/IN-STK5000/index-eng.html" target="_blank">IN-STK5000 Adaptive Methods for Data-Based Decision Making</a>. Methods for adaptive collection and processing of data based on machine learning techniques.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/ifi/IN5400/" target="_blank">IN5400/INF5860 – Machine Learning for Image Analysis</a>. An introduction to deep learning with particular emphasis on applications within Image analysis, but useful for other application areas too.</li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/its/TEK5040/" target="_blank">TEK5040 – Dyp læring for autonome systemer</a>. The course addresses advanced algorithms and architectures for deep learning with neural networks. The course provides an introduction to how deep-learning techniques can be used in the construction of key parts of advanced autonomous systems that exist in physical environments and cyber environments.</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec32">Additional courses of interest </h2>
|
|
|
|
<ol>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/math/STK4051/index-eng.html" target="_blank">STK4051 Computational Statistics</a></li>
|
|
<li> <a href="https://www.uio.no/studier/emner/matnat/math/STK4021/index-eng.html" target="_blank">STK4021 Applied Bayesian Analysis and Numerical Methods</a></li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec33">What's the future like? </h2>
|
|
|
|
<p>
|
|
Based on multi-layer nonlinear neural networks, deep learning can
|
|
learn directly from raw data, automatically extract and abstract
|
|
features from layer to layer, and then achieve the goal of regression,
|
|
classification, or ranking. Deep learning has made breakthroughs in
|
|
computer vision, speech processing and natural language, and reached
|
|
or even surpassed human level. The success of deep learning is mainly
|
|
due to the three factors: big data, big model, and big computing.
|
|
|
|
<p>
|
|
In the past few decades, many different architectures of deep neural
|
|
networks have been proposed, such as
|
|
|
|
<ol>
|
|
<li> Convolutional neural networks, which are mostly used in image and video data processing, and have also been applied to sequential data such as text processing;</li>
|
|
<li> Recurrent neural networks, which can process sequential data of variable length and have been widely used in natural language understanding and speech processing;</li>
|
|
<li> Encoder-decoder framework, which is mostly used for image or sequence generation, such as machine translation, text summarization, and image captioning.</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec34">Types of Machine Learning, a repetition </h2>
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
The approaches to machine learning are many, but are often split into two main categories.
|
|
In <em>supervised learning</em> we know the answer to a problem,
|
|
and let the computer deduce the logic behind it. On the other hand, <em>unsupervised learning</em>
|
|
is a method for finding patterns and relationship in data sets without any prior knowledge of the system.
|
|
Some authours also operate with a third category, namely <em>reinforcement learning</em>. This is a paradigm
|
|
of learning inspired by behavioural psychology, where learning is achieved by trial-and-error,
|
|
solely from rewards and punishment.
|
|
|
|
<p>
|
|
Another way to categorize machine learning tasks is to consider the desired output of a system.
|
|
Some of the most common tasks are:
|
|
|
|
<ul>
|
|
<li> Classification: Outputs are divided into two or more classes. The goal is to produce a model that assigns inputs into one of these classes. An example is to identify digits based on pictures of hand-written ones. Classification is typically supervised learning.</li>
|
|
<li> Regression: Finding a functional relationship between an input data set and a reference data set. The goal is to construct a function that maps input data to continuous output values.</li>
|
|
<li> Clustering: Data are divided into groups with certain common traits, without knowing the different groups beforehand. It is thus a form of unsupervised learning.</li>
|
|
<li> Other unsupervised learning algortihms like <b>Boltzmann machines</b></li>
|
|
</ul>
|
|
</div>
|
|
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec35">Why Boltzmann machines? </h2>
|
|
|
|
<p>
|
|
What is known as restricted Boltzmann Machines (RMB) have received a lot of attention lately.
|
|
One of the major reasons is that they can be stacked layer-wise to build deep neural networks that capture complicated statistics.
|
|
|
|
<p>
|
|
The original RBMs had just one visible layer and a hidden layer, but recently so-called Gaussian-binary RBMs have gained quite some popularity in imaging since they are capable of modeling continuous data that are common to natural images.
|
|
|
|
<p>
|
|
Furthermore, they have been used to solve complicated <a href="https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.91.045002" target="_blank">quantum mechanical many-particle problems or classical statistical physics problems like the Ising and Potts classes of models</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec36">Boltzmann Machines </h2>
|
|
|
|
<p>
|
|
Why use a generative model rather than the more well known discriminative deep neural networks (DNN)?
|
|
|
|
<ul>
|
|
<li> Discriminitave methods have several limitations: They are mainly supervised learning methods, thus requiring labeled data. And there are tasks they cannot accomplish, like drawing new examples from an unknown probability distribution.</li>
|
|
<li> A generative model can learn to represent and sample from a probability distribution. The core idea is to learn a parametric model of the probability distribution from which the training data was drawn. As an example
|
|
|
|
<ol type="a"></li>
|
|
<li> A model for images could learn to draw new examples of cats and dogs, given a training dataset of images of cats and dogs.</li>
|
|
<li> Generate a sample of an ordered or disordered phase, having been given samples of such phases.</li>
|
|
<li> Model the trial function for <a href="https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.91.045002" target="_blank">Monte Carlo calculations</a>.</li>
|
|
</ol>
|
|
|
|
</ul>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec37">Some similarities and differences from DNNs </h2>
|
|
|
|
<ol>
|
|
<li> Both use gradient-descent based learning procedures for minimizing cost functions</li>
|
|
<li> Energy based models don't use backpropagation and automatic differentiation for computing gradients, instead turning to Markov Chain Monte Carlo methods.</li>
|
|
<li> DNNs often have several hidden layers. A restricted Boltzmann machine has only one hidden layer, however several RBMs can be stacked to make up Deep Belief Networks, of which they constitute the building blocks.</li>
|
|
</ol>
|
|
|
|
History: The RBM was developed by amongst others <a href="https://en.wikipedia.org/wiki/Geoffrey_Hinton" target="_blank">Geoffrey Hinton</a>, called by some the "Godfather of Deep Learning", working with the University of Toronto and Google.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec38">Boltzmann machines (BM) </h2>
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
A BM is what we would call an undirected probabilistic graphical model
|
|
with stochastic continuous or discrete units.
|
|
</div>
|
|
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
It is interpreted as a stochastic recurrent neural network where the
|
|
state of each unit(neurons/nodes) depends on the units it is connected
|
|
to. The weights in the network represent thus the strength of the
|
|
interaction between various units/nodes.
|
|
</div>
|
|
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
It turns into a Hopfield network if we choose deterministic rather
|
|
than stochastic units. In contrast to a Hopfield network, a BM is a
|
|
so-called generative model. It allows us to generate new samples from
|
|
the learned distribution.
|
|
</div>
|
|
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec39">A standard BM setup </h2>
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
A standard BM network is divided into a set of observable and visible units \( \hat{x} \) and a set of unknown hidden units/nodes \( \hat{h} \).
|
|
</div>
|
|
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
Additionally there can be bias nodes for the hidden and visible layers. These biases are normally set to \( 1 \).
|
|
</div>
|
|
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b></b>
|
|
<p>
|
|
BMs are stackable, meaning they cwe can train a BM which serves as input to another BM. We can construct deep networks for learning complex PDFs. The layers can be trained one after another, a feature which makes them popular in deep learning
|
|
</div>
|
|
|
|
|
|
<p>
|
|
However, they are often hard to train. This leads to the introduction of so-called restricted BMs, or RBMS.
|
|
Here we take away all lateral connections between nodes in the visible layer as well as connections between nodes in the hidden layer. The network is illustrated in the figure below.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec40">The structure of the RBM network </h2>
|
|
|
|
<p>
|
|
<br /><br /><center><p><img src="figures/RBM.png" align="bottom" width=800></p></center><br /><br />
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec41">The network </h2>
|
|
|
|
<p>
|
|
<b>The network layers</b>:
|
|
|
|
<ol>
|
|
<li> A function \( \mathbf{x} \) that represents the visible layer, a vector of \( M \) elements (nodes). This layer represents both what the RBM might be given as training input, and what we want it to be able to reconstruct. This might for example be given by the pixels of an image or coefficients representing speech, or the coordinates of a quantum mechanical state function.</li>
|
|
<li> The function \( \mathbf{h} \) represents the hidden, or latent, layer. A vector of \( N \) elements (nodes). Also called "feature detectors".</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec42">Goals </h2>
|
|
|
|
<p>
|
|
The goal of the hidden layer is to increase the model's expressive
|
|
power. We encode complex interactions between visible variables by
|
|
introducing additional, hidden variables that interact with visible
|
|
degrees of freedom in a simple manner, yet still reproduce the complex
|
|
correlations between visible degrees in the data once marginalized
|
|
over (integrated out).
|
|
|
|
<p>
|
|
<b>The network parameters, to be optimized/learned</b>:
|
|
|
|
<ol>
|
|
<li> \( \mathbf{a} \) represents the visible bias, a vector of same length as \( \mathbf{x} \).</li>
|
|
<li> \( \mathbf{b} \) represents the hidden bias, a vector of same lenght as \( \mathbf{h} \).</li>
|
|
<li> \( W \) represents the interaction weights, a matrix of size \( M\times N \).</li>
|
|
</ol>
|
|
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec43">Joint distribution </h2>
|
|
|
|
<p>
|
|
The restricted Boltzmann machine is described by a Boltzmann distribution
|
|
$$
|
|
\begin{align}
|
|
P_{rbm}(\mathbf{x},\mathbf{h}) = \frac{1}{Z} e^{-\frac{1}{T_0}E(\mathbf{x},\mathbf{h})},
|
|
\label{_auto1}
|
|
\end{align}
|
|
$$
|
|
|
|
where \( Z \) is the normalization constant or partition function, defined as
|
|
$$
|
|
\begin{align}
|
|
Z = \int \int e^{-\frac{1}{T_0}E(\mathbf{x},\mathbf{h})} d\mathbf{x} d\mathbf{h}.
|
|
\label{_auto2}
|
|
\end{align}
|
|
$$
|
|
|
|
It is common to ignore \( T_0 \) by setting it to one.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec44">Network Elements, the energy function </h2>
|
|
|
|
<p>
|
|
The function \( E(\mathbf{x},\mathbf{h}) \) gives the <b>energy</b> of a
|
|
configuration (pair of vectors) \( (\mathbf{x}, \mathbf{h}) \). The lower
|
|
the energy of a configuration, the higher the probability of it. This
|
|
function also depends on the parameters \( \mathbf{a} \), \( \mathbf{b} \) and
|
|
\( W \). Thus, when we adjust them during the learning procedure, we are
|
|
adjusting the energy function to best fit our problem.
|
|
|
|
<p>
|
|
An expression for the energy function is
|
|
$$
|
|
E(\hat{x},\hat{h}) = -\sum_{ia}^{NA}b_i^a \alpha_i^a(x_i)-\sum_{jd}^{MD}c_j^d \beta_j^d(h_j)-\sum_{ijad}^{NAMD}b_i^a \alpha_i^a(x_i)c_j^d \beta_j^d(h_j)w_{ij}^{ad}.
|
|
$$
|
|
|
|
<p>
|
|
Here \( \beta_j^d(h_j) \) and \( \alpha_i^a(x_j) \) are so-called transfer functions that map a given input value to a desired feature value. The labels \( a \) and \( d \) denote that there can be multiple transfer functions per variable. The first sum depends only on the visible units. The second on the hidden ones. <b>Note</b> that there is no connection between nodes in a layer.
|
|
|
|
<p>
|
|
The quantities \( b \) and \( c \) can be interpreted as the visible and hidden biases, respectively.
|
|
|
|
<p>
|
|
The connection between the nodes in the two layers is given by the weights \( w_{ij} \).
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec45">Defining different types of RBMs </h2>
|
|
There are different variants of RBMs, and the differences lie in the types of visible and hidden units we choose as well as in the implementation of the energy function \( E(\mathbf{x},\mathbf{h}) \).
|
|
|
|
<p>
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b>Binary-Binary RBM:</b>
|
|
<p>
|
|
|
|
<p>
|
|
RBMs were first developed using binary units in both the visible and hidden layer. The corresponding energy function is defined as follows:
|
|
$$
|
|
\begin{align}
|
|
E(\mathbf{x}, \mathbf{h}) = - \sum_i^M x_i a_i- \sum_j^N b_j h_j - \sum_{i,j}^{M,N} x_i w_{ij} h_j,
|
|
\label{_auto3}
|
|
\end{align}
|
|
$$
|
|
|
|
where the binary values taken on by the nodes are most commonly 0 and 1.
|
|
</div>
|
|
|
|
<div class="alert alert-block alert-block alert-text-normal">
|
|
<b>Gaussian-Binary RBM:</b>
|
|
<p>
|
|
|
|
<p>
|
|
Another varient is the RBM where the visible units are Gaussian while the hidden units remain binary:
|
|
$$
|
|
\begin{align}
|
|
E(\mathbf{x}, \mathbf{h}) = \sum_i^M \frac{(x_i - a_i)^2}{2\sigma_i^2} - \sum_j^N b_j h_j - \sum_{i,j}^{M,N} \frac{x_i w_{ij} h_j}{\sigma_i^2}.
|
|
\label{_auto4}
|
|
\end{align}
|
|
$$
|
|
</div>
|
|
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec46">More about RBMs </h2>
|
|
|
|
<ol>
|
|
<li> Useful when we model continuous data (i.e., we wish \( \mathbf{x} \) to be continuous)</li>
|
|
<li> Requires a smaller learning rate, since there's no upper bound to the value a component might take in the reconstruction</li>
|
|
</ol>
|
|
|
|
Other types of units include:
|
|
|
|
<ol>
|
|
<li> Softmax and multinomial units</li>
|
|
<li> Gaussian visible and hidden units</li>
|
|
<li> Binomial units</li>
|
|
<li> Rectified linear units</li>
|
|
</ol>
|
|
|
|
To read more, see <a href="https://github.com/CompPhysics/ComputationalPhysics2/blob/gh-pages/doc/pub/notebook2/ipynb/notebook2.ipynb" target="_blank">Lectures on Boltzmann machines in Physics</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec47">Autoencoders: Overarching view </h2>
|
|
|
|
<p>
|
|
Autoencoders are artificial neural networks capable of learning
|
|
efficient representations of the input data (these representations are called codings) without
|
|
any supervision (i.e., the training set is unlabeled). These codings
|
|
typically have a much lower dimensionality than the input data, making
|
|
autoencoders useful for dimensionality reduction.
|
|
|
|
<p>
|
|
More importantly, autoencoders act as powerful feature detectors, and
|
|
they can be used for unsupervised pretraining of deep neural networks.
|
|
|
|
<p>
|
|
Lastly, they are capable of randomly generating new data that looks
|
|
very similar to the training data; this is called a generative
|
|
model. For example, you could train an autoencoder on pictures of
|
|
faces, and it would then be able to generate new faces. Surprisingly,
|
|
autoencoders work by simply learning to copy their inputs to their
|
|
outputs. This may sound like a trivial task, but we will see that
|
|
constraining the network in various ways can make it rather
|
|
difficult. For example, you can limit the size of the internal
|
|
representation, or you can add noise to the inputs and train the
|
|
network to recover the original inputs. These constraints prevent the
|
|
autoencoder from trivially copying the inputs directly to the outputs,
|
|
which forces it to learn efficient ways of representing the data. In
|
|
short, the codings are byproducts of the autoencoder’s attempt to
|
|
learn the identity function under some constraints.
|
|
|
|
<p>
|
|
<a href="https://www.coursera.org/lecture/building-deep-learning-models-with-tensorflow/autoencoders-1U4L3" target="_blank">Video on autoencoders</a>
|
|
|
|
<p>
|
|
See also A. Geron's textbook, chapter 15.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec48">Bayesian Machine Learning </h2>
|
|
|
|
<p>
|
|
This is an important topic if we aim at extracting a probability
|
|
distribution. This gives us also a confidence interval and error
|
|
estimates.
|
|
|
|
<p>
|
|
Bayesian machine learning allows us to encode our prior beliefs about
|
|
what those models should look like, independent of what the data tells
|
|
us. This is especially useful when we don’t have a ton of data to
|
|
confidently learn our model.
|
|
|
|
<p>
|
|
<a href="https://www.youtube.com/watch?v=E1qhGw8QxqY&ab_channel=AndrewGordonWilson" target="_blank">Video on Bayesian deep learning</a>
|
|
|
|
<p>
|
|
See also the <a href="https://github.com/CompPhysics/MachineLearning/blob/master/doc/Articles/lec03.pdf" target="_blank">slides here</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec49">Reinforcement Learning </h2>
|
|
|
|
<p>
|
|
Reinforcement Learning (RL) is one of the most exciting fields of
|
|
Machine Learning today, and also one of the oldest. It has been around
|
|
since the 1950s, producing many interesting applications over the
|
|
years.
|
|
|
|
<p>
|
|
It studies
|
|
how agents take actions based on trial and error, so as to maximize
|
|
some notion of cumulative reward in a dynamic system or
|
|
environment. Due to its generality, the problem has also been studied
|
|
in many other disciplines, such as game theory, control theory,
|
|
operations research, information theory, multi-agent systems, swarm
|
|
intelligence, statistics, and genetic algorithms.
|
|
|
|
<p>
|
|
In March 2016, AlphaGo, a computer program that plays the board game
|
|
Go, beat Lee Sedol in a five-game match. This was the first time a
|
|
computer Go program had beaten a 9-dan (highest rank) professional
|
|
without handicaps. AlphaGo is based on deep convolutional neural
|
|
networks and reinforcement learning. AlphaGo’s victory was a major
|
|
milestone in artificial intelligence and it has also made
|
|
reinforcement learning a hot research area in the field of machine
|
|
learning.
|
|
|
|
<p>
|
|
<a href="https://www.youtube.com/watch?v=FgzM3zpZ55o&ab_channel=stanfordonline" target="_blank">Lecture on Reinforcement Learning</a>.
|
|
|
|
<p>
|
|
See also A. Geron's textbook, chapter 16.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec50">Transfer learning </h2>
|
|
|
|
<p>
|
|
The goal of transfer learning is to transfer the model or knowledge
|
|
obtained from a source task to the target task, in order to resolve
|
|
the issues of insufficient training data in the target task. The
|
|
rationality of doing so lies in that usually the source and target
|
|
tasks have inter-correlations, and therefore either the features,
|
|
samples, or models in the source task might provide useful information
|
|
for us to better solve the target task. Transfer learning is a hot
|
|
research topic in recent years, with many problems still waiting to be studied.
|
|
|
|
<p>
|
|
<a href="https://www.ias.edu/video/machinelearning/2020/0331-SamoryKpotufe" target="_blank">Lecture on transfer learning</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec51">Adversarial learning </h2>
|
|
|
|
<p>
|
|
The conventional deep generative model has a potential problem: the
|
|
model tends to generate extreme instances to maximize the
|
|
probabilistic likelihood, which will hurt its performance. Adversarial
|
|
learning utilizes the adversarial behaviors (e.g., generating
|
|
adversarial instances or training an adversarial model) to enhance the
|
|
robustness of the model and improve the quality of the generated
|
|
data. In recent years, one of the most promising unsupervised learning
|
|
technologies, generative adversarial networks (GAN), has already been
|
|
successfully applied to image, speech, and text.
|
|
|
|
<p>
|
|
<a href="https://www.youtube.com/watch?v=CIfsB_EYsVI&ab_channel=StanfordUniversitySchoolofEngineering" target="_blank">Lecture on adversial learning</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec52">Dual learning </h2>
|
|
|
|
<p>
|
|
Dual learning is a new learning paradigm, the basic idea of which is
|
|
to use the primal-dual structure between machine learning tasks to
|
|
obtain effective feedback/regularization, and guide and strengthen the
|
|
learning process, thus reducing the requirement of large-scale labeled
|
|
data for deep learning. The idea of dual learning has been applied to
|
|
many problems in machine learning, including machine translation,
|
|
image style conversion, question answering and generation, image
|
|
classification and generation, text classification and generation,
|
|
image-to-text, and text-to-image.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec53">Distributed machine learning </h2>
|
|
|
|
<p>
|
|
Distributed computation will speed up machine learning algorithms,
|
|
significantly improve their efficiency, and thus enlarge their
|
|
application. When distributed meets machine learning, more than just
|
|
implementing the machine learning algorithms in parallel is required.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec54">Meta learning </h2>
|
|
|
|
<p>
|
|
Meta learning is an emerging research direction in machine
|
|
learning. Roughly speaking, meta learning concerns learning how to
|
|
learn, and focuses on the understanding and adaptation of the learning
|
|
itself, instead of just completing a specific learning task. That is,
|
|
a meta learner needs to be able to evaluate its own learning methods
|
|
and adjust its own learning methods according to specific learning
|
|
tasks.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec55">The Challenges Facing Machine Learning </h2>
|
|
|
|
<p>
|
|
While there has been much progress in machine learning, there are also challenges.
|
|
|
|
<p>
|
|
For example, the mainstream machine learning technologies are
|
|
black-box approaches, making us concerned about their potential
|
|
risks. To tackle this challenge, we may want to make machine learning
|
|
more explainable and controllable. As another example, the
|
|
computational complexity of machine learning algorithms is usually
|
|
very high and we may want to invent lightweight algorithms or
|
|
implementations. Furthermore, in many domains such as physics,
|
|
chemistry, biology, and social sciences, people usually seek elegantly
|
|
simple equations (e.g., the Schrödinger equation) to uncover the
|
|
underlying laws behind various phenomena. In the field of machine
|
|
learning, can we reveal simple laws instead of designing more complex
|
|
models for data fitting? Although there are many challenges, we are
|
|
still very optimistic about the future of machine learning. As we look
|
|
forward to the future, here are what we think the research hotspots in
|
|
the next ten years will be.
|
|
|
|
<p>
|
|
See the article on <a href="https://www.frontiersin.org/articles/10.3389/frai.2020.00025/full" target="_blank">Discovery of Physics From Data: Universal Laws and Discrepancies</a>
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec56">Explainable machine learning </h2>
|
|
|
|
<p>
|
|
Machine learning, especially deep learning, evolves rapidly. The
|
|
ability gap between machine and human on many complex cognitive tasks
|
|
becomes narrower and narrower. However, we are still in the very early
|
|
stage in terms of explaining why those effective models work and how
|
|
they work.
|
|
|
|
<p>
|
|
<b>What is missing: the gap between correlation and causation</b>. Standard Machine Learning is based on what e have called a frequentist approach.
|
|
|
|
<p>
|
|
Most
|
|
machine learning techniques, especially the statistical ones, depend
|
|
highly on correlations in data sets to make predictions and analyses. In
|
|
contrast, rational humans tend to reply on clear and trustworthy
|
|
causality relations obtained via logical reasoning on real and clear
|
|
facts. It is one of the core goals of explainable machine learning to
|
|
transition from solving problems by data correlation to solving
|
|
problems by logical reasoning.
|
|
|
|
<p>
|
|
<b>Bayesian Machine Learning is one of the exciting research directions in this field</b>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec57">Quantum machine learning </h2>
|
|
|
|
<p>
|
|
Quantum machine learning is an emerging interdisciplinary research
|
|
area at the intersection of quantum computing and machine learning.
|
|
|
|
<p>
|
|
Quantum computers use effects such as quantum coherence and quantum
|
|
entanglement to process information, which is fundamentally different
|
|
from classical computers. Quantum algorithms have surpassed the best
|
|
classical algorithms in several problems (e.g., searching for an
|
|
unsorted database, inverting a sparse matrix), which we call quantum
|
|
acceleration.
|
|
|
|
<p>
|
|
When quantum computing meets machine learning, it can be a mutually
|
|
beneficial and reinforcing process, as it allows us to take advantage
|
|
of quantum computing to improve the performance of classical machine
|
|
learning algorithms. In addition, we can also use the machine learning
|
|
algorithms (on classic computers) to analyze and improve quantum
|
|
computing systems.
|
|
|
|
<p>
|
|
<a href="https://www.youtube.com/watch?v=Xh9pUu3-WxM&ab_channel=InstituteforPure%26AppliedMathematics%28IPAM%29" target="_blank">Lecture on Quantum ML</a>.
|
|
|
|
<p>
|
|
<a href="https://physics.aps.org/articles/v13/179?utm_campaign=weekly&utm_medium=email&utm_source=emailalert" target="_blank">Read interview with Maria Schuld on her work on Quantum Machine Learning</a>. See also <a href="https://www.springer.com/gp/book/9783319964232" target="_blank">her recent textbook</a>.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec58">Quantum machine learning algorithms based on linear algebra </h2>
|
|
|
|
<p>
|
|
Many quantum machine learning algorithms are based on variants of
|
|
quantum algorithms for solving linear equations, which can efficiently
|
|
solve N-variable linear equations with complexity of O(log2 N) under
|
|
certain conditions. The quantum matrix inversion algorithm can
|
|
accelerate many machine learning methods, such as least square linear
|
|
regression, least square version of support vector machine, Gaussian
|
|
process, and more. The training of these algorithms can be simplified
|
|
to solve linear equations. The key bottleneck of this type of quantum
|
|
machine learning algorithms is data input—that is, how to initialize
|
|
the quantum system with the entire data set. Although efficient
|
|
data-input algorithms exist for certain situations, how to efficiently
|
|
input data into a quantum system is as yet unknown for most cases.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec59">Quantum reinforcement learning </h2>
|
|
|
|
<p>
|
|
In quantum reinforcement learning, a quantum agent interacts with the
|
|
classical environment to obtain rewards from the environment, so as to
|
|
adjust and improve its behavioral strategies. In some cases, it
|
|
achieves quantum acceleration by the quantum processing capabilities
|
|
of the agent or the possibility of exploring the environment through
|
|
quantum superposition. Such algorithms have been proposed in
|
|
superconducting circuits and systems of trapped ions.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec60">Quantum deep learning </h2>
|
|
|
|
<p>
|
|
Dedicated quantum information processors, such as quantum annealers
|
|
and programmable photonic circuits, are well suited for building deep
|
|
quantum networks. The simplest deep quantum network is the Boltzmann
|
|
machine. The classical Boltzmann machine consists of bits with tunable
|
|
interactions and is trained by adjusting the interaction of these bits
|
|
so that the distribution of its expression conforms to the statistics
|
|
of the data. To quantize the Boltzmann machine, the neural network can
|
|
simply be represented as a set of interacting quantum spins that
|
|
correspond to an adjustable Ising model. Then, by initializing the
|
|
input neurons in the Boltzmann machine to a fixed state and allowing
|
|
the system to heat up, we can read out the output qubits to get the
|
|
result.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec61">Social machine learning </h2>
|
|
|
|
<p>
|
|
Machine learning aims to imitate how humans
|
|
learn. While we have developed successful machine learning algorithms,
|
|
until now we have ignored one important fact: humans are social. Each
|
|
of us is one part of the total society and it is difficult for us to
|
|
live, learn, and improve ourselves, alone and isolated. Therefore, we
|
|
should design machines with social properties. Can we let machines
|
|
evolve by imitating human society so as to achieve more effective,
|
|
intelligent, interpretable “social machine learning”?
|
|
|
|
<p>
|
|
And much more.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec62">The last words? </h2>
|
|
|
|
<p>
|
|
Early computer scientist Alan Kay said, <b>The best way to predict the
|
|
future is to create it</b>. Therefore, all machine learning
|
|
practitioners, whether scholars or engineers, professors or students,
|
|
need to work together to advance these important research
|
|
topics. Together, we will not just predict the future, but create it.
|
|
|
|
<p>
|
|
<!-- !split --><br><br><br><br><br><br><br><br><br><br>
|
|
|
|
<h2 id="___sec63">Best wishes to you all and thanks so much for your heroic efforts this semester </h2>
|
|
|
|
<p>
|
|
<br /><br /><center><p><img src="figures/Nebbdyr2.png" align="bottom" width=500></p></center><br /><br />
|
|
|
|
<p>
|
|
|
|
<!-- ------------------- end of main content --------------- -->
|
|
|
|
|
|
<center style="font-size:80%">
|
|
<!-- copyright --> © 1999-2020, Morten Hjorth-Jensen. Released under CC Attribution-NonCommercial 4.0 license
|
|
</center>
|
|
|
|
|
|
</body>
|
|
</html>
|
|
|
|
|