\documentclass[oneside,final,12pt]{book}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://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{english}
\setotherlanguage{hebrew}
\setmainfont[Ligatures=TeX]{Libertinus Serif}
\SepMark{â€.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal
% vim: ft=eruby.tex:
\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}
\begin{center}
\vspace*{\baselineskip}
{\Large Department of Mathematics, BGU}
\vspace*{\baselineskip}
\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]
{\Huge Colloquium}\\[0.2\baselineskip]
\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]
\textbf{On} \emph{Tuesday, May 17, 2022}
\bigskip
\textbf{At} \emph{14:30 -- 15:30}
\bigskip
\textbf{In} \emph{Math -101}
\vspace*{2\baselineskip}
{\large\scshape Shakhar Smorodinsky
%
(BGU)
}
\bigskip
will talk about
\bigskip
{\Large\bfseries A Solution to Ringel's Circle Problem (1959)\par}
\bigskip
\end{center}
\vfill
\textsc{Abstract:}
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
% vim: ft=eruby.tex:
\end{document}
% vim: ft=eruby.tex: