\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{יום שלישי, 17 במאי, 2022}
\bigskip

\textbf{בשעה} \emph{14:30 -- 15:30}
\bigskip

\textbf{ב}\emph{Math -101}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries A Solution to Ringel`s Circle Problem (1959)\par}
\bigskip

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

{\large\scshape Shakhar Smorodinsky 
  %
  (BGU)
}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  In 1959 Gerhard Ringel posed the following problem which remained open for over 60 years.
Suppose we are given a finite family \$\textbackslash{}C\$ of circles in the plane no three of which are pairwise tangent at the same point.
Is it possible to always color the circles with five colors so that tangent circles get distinct colors.

When the circles are not allowed to overlap (i.e., the discs bounded by the circles are pairwise interiorly disjoint) then the number of colors that always suffice
is four and this fact is equivalent to the Four-Color-Theorem for planar graphs.

We construct families of circles in the plane such that their tangency graphs have arbitrarily large
girth and chromatic number. Moreover, no two circles are internally tangent and no two circles are concentric.
This provides a strong negative answer to Ringel`s 1959 open problem.
The proof relies on a (multidimensional) version of Gallaiӳ theorem with polynomial constraints,
which we derive using tools from Ramsey-Theory.

Joint work with James Davis, Chaya Keller, Linda Kleist and Bartosz Walczak
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
