Files @ 0f7c68754475
Branch filter:

Location: AENC/resampling_chain/diagram_proborders.tex

Andras Gilyen
nicer proof
\documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage{marvosym} %Lightning symbol
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}

\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}

\begin{document}

\begin{tikzpicture}
    \draw[gray] (0,0) -- (10,0);
    \draw[dotted] (0,2) -- (10,2);
    \draw[gray] (0,2) arc (90:270:1);
    \draw[gray] (10,0) arc (-90:90:1);
    \foreach \x in {0,...,10} {
        \draw (\x,0) circle (0.04);
    }
    \foreach \a in {-3,...,3} {
        \draw (10,1)+({\a*20}:1) circle (0.04);
        \draw (0,1)+({180+\a*20}:1) circle (0.04);
    }

    \foreach \x in {0,...,10} {
        \draw (\x,0.3) node {$\x$};
    }

    \foreach \x in {2,4,6,7} {
        \draw[fill,red]  (\x,-0.5) circle (0.05);
        \draw[fill,blue] (\x,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
    }
    \foreach \x in {3,5,8} {
        \draw (\x,-1.5) circle (0.07);
    }
    \draw[fill,red] (9,-0.5) circle (0.05);
    \draw (2,1) node {$I_\mathrm{min}$};
    \draw (9,1) node {$I_\mathrm{max}$};

    \draw (10.7,-0.2) rectangle (12.0,-1.8);

    \draw[fill,red] (11,-0.5) circle (0.05);
    \draw (11.5,-0.5) node {$I$};

    \draw[fill,blue] (11,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
    \draw (11.5,-1.0) node {$I'$};

    \draw (11,-1.5) circle (0.07);
    \draw (11.6,-1.5) node {$I_{><}$};

    \draw (5,1) node {$k$};
\end{tikzpicture}

\end{document}