Files
@ 82e14757bd1a
Branch filter:
Location: AENC/resampling_chain/diagram_circle_lemma.tex - annotation
82e14757bd1a
2.2 KiB
text/x-tex
Update proof of claim 10
aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 | \documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}
\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}[scale=0.8]
\def\r{4};
\def\step{15};
% Line and circles
\foreach \a in {0,...,23} {
\draw[-] ({\a*\step}:\r) -- ({(\a+1)*\step}:\r);
\draw ({\a*\step}:\r) circle (0.05);
}
% Red dots
\foreach \a in {2,3,6,8,9,10,11,14,15,17,20} {
\draw[fill,red] ({\a*\step}:\r) circle (0.09);
}
% Blue squares
\foreach \a in {2,3,20} {
\draw[fill,blue] ({\a*\step}:{\r-0.3})+(-0.1,-0.1) rectangle +(0.1,0.1);
}
% Green triangles
\foreach \a in {6,8,9,10,11,14,15,17} {
\draw[fill,green] ({\a*\step}:{\r-0.3}) +(-0.15,-0.1) -- +(0.15,-0.1) -- +(0,0.15);
}
% Legend
\draw (-1,0)+(-0.5,-1) rectangle +(2.6,1);
\draw[fill,red] (-1.1,0.5) circle (0.09);
\draw[fill,blue] (-1.1,0) +(-0.1,-0.1) rectangle +(0.1,0.1);
\draw[fill,green] (-1.1,-0.5) +(-0.15,-0.1) -- +(0.15,-0.1) -- +(0,0.15);
\draw[anchor=west] (-1,0.5) node {$I$};
\draw[anchor=west] (-1,0) node {$I\cap [{\color{gray}n}{-l},r]_0$};
\draw[anchor=west] (-1,-0.5) node {$I\setminus[{\color{gray}n}{-l},r]_0$};
% Bigger circle
\foreach \a in {-5,...,3} {
\draw[-,dashed] ({\a*\step}:\r+1) -- ({(\a+1)*\step}:\r+1);
%\draw ({\a*\step}:\r+1) circle (0.05);
}
\draw ({-5*\step}:\r+1) +(0.2,-0.2) node {${\color{gray}n}{-l}$};
\draw ({4*\step}:\r+1) +(0.2,0.2) node {$r$};
%
% Arrows with labels
%
% 0
\draw ({0*\step}:\r-0.3) node {$0$};
% 1
\draw ({1*\step}:\r-0.3) node {$1$};
% n/2
\draw ({12*\step}:\r-0.3) node {$\frac{n}{2}$};
% n-1
\draw ({-1*\step}:\r-0.3) +(-0.4,0) node {${\color{gray}n}{-1}$};
% i_*
\draw[->] ({10*\step}:\r-1) -- ({10*\step}:\r-0.2);
\draw ({10*\step}:\r-1) +(0.3,0) node {$i_*$};
% j
\draw[->] ({0*\step}:\r-1.3) -- ({0*\step}:\r-0.8);
\draw ({0*\step}:\r-1) +(-0.4,0) node {$j$};
\end{tikzpicture}
\end{document}
|