\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge אשנב למתמטיקה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שלישי, 24 בינואר, 2017}
\bigskip

\textbf{בשעה} \emph{18:30 -- 20:00}
\bigskip

\textbf{ב}\emph{אולם 101-}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries הכלות בין גופים קמורים וקיום של ערוצים קוונטים\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape אדם דור-און}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  בתחום של אופטימיזציה קמורה, הרבה בעיות פרקטיות ניתן למדל כבעיות הכלה בין קבוצות קמורות שמוגדרות ע``י אי-שיוויון לינארי מטריציאלי. זהו תחום חדש יחסית, אך ישנם שימושים וקשרים רבים לתורת האינפורמציה הקוונטית, גיאומטריה אלגברית ממשית, ותורת המטריצות.

באופן כללי, לבדיקת ההכלה בין קבוצות קמורות כאלו יכולה להיות סיבוכיות גבוהה (NP-Hard). לעומת זאת, מסתבר שאפשר ''להחליש`` את הבעיה לבעיית הכלה בין קבוצות קמורות \emph{מטריציאלית}, כך שבדיקת ההכלה נעשית כמעט בזמן ריצה פולינומיאלי.

בהרצאה נסקור בעיקר היבטים תיאורטים וגיאומטרים של הבעיות הללו. נסביר איך לעבור מהבעיה המקורית לבעיה הנוחה יותר, ואת הקשרים והשימושים לתורת האינפורמציה הקוונטית. במידה והזמן יאפשר, נסביר איך לכמת את השגיאה שבמעבר בין הבעיות, וכיצד סימטריה של גופים קמורים במרחב מאפשרת להעריך את השגיאה הזאת. הרקע הנדרש להרצאה הוא קורס באלגברה 2.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
