\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{child&#39;s drawing}

\hypertarget{childrens_drawings_dessins_denfants}{}\section*{{Children's drawings (Dessins d'enfants)}}\label{childrens_drawings_dessins_denfants}

\noindent\hyperlink{idea_and_prehistory}{Idea and prehistory}\dotfill \pageref*{idea_and_prehistory} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{remark}{Remark}\dotfill \pageref*{remark} \linebreak
\noindent\hyperlink{a_translated_extract}{A translated extract}\dotfill \pageref*{a_translated_extract} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea_and_prehistory}{}\subsection*{{Idea and prehistory}}\label{idea_and_prehistory}

It is an old result that any (finite) [[graph]] can be embedded in an orientable [[surface]]. (The result can be found, for instance in \hyperlink{White1984}{White 1984}, in which he give an algorithm, calling it the \emph{Edmonds algorithm} and giving a date of 1960, (see \hyperlink{Edmonds1960}{Edmonds 1960}).)

In 1879 [[Felix Klein]] (see \hyperlink{KleinsDessins}{Klein's dessins d'enfants}) in his paper ``\"U{}ber die Transformationen elfter Ordnung der elliptischen Funktionen'' (``On the transformations of order eleven of elliptic functions'' ) classified some [[Riemann surfaces]] of a certain [[ramification]] type by associating to [[covering space|covers]] of the surface with certain [[monodromy]] group their ``dessins d'enfants'' which he called ``Linienz\"u{}ge''.

The modern perception of dessins d'enfants begins with [[Grothendieck]], who showed how to describe, [[category theory|category theoretically]], the geometric structure corresponding to such embedded graphs, namely by the [[action]] of a certain [[cartographic group]] on sets. His motivation was the way in which this shed light on the structure of [[Riemann surfaces]], and through that to the [[absolute Galois group]] $G$ of the [[rational numbers]]. The technical vehicle explicating this relation is [[Belyi's theorem]] from which follows that $G$ has a faithful [[action]] on Grothendieck's dessins d'enfants.

\begin{quote}%
A \emph{dessin d'enfant} (French for a ``child's drawing'', plural ``dessins d'enfants'', `'children's drawings``) is a type of [[graph]] drawing used to study [[Riemann surfaces]] and to provide combinatorial [[Invariant (mathematics)|invariants]] for the action of the [[absolute Galois group]] of the [[rational numbers]].

``Intuitively, a dessin d'enfant is simply a [[undirected graph|graph]], with its [[vertex|vertices]] colored alternating black and white, [[graph embedding|embedded]] onto an [[Orientability|oriented surface]] that, in many cases, is simply a [[plane]]. For the coloring to exist, the graph must be [[bipartite graph|bipartite]]. The faces of the embedding must be topological disks. The surface and the embedding may be described combinatorially using a [[rotation system]], a [[cyclic order]] of the edges surrounding each vertex of the graph that describes the order in which the edges would be crossed by a path that travels clockwise on the surface in a small loop around the vertex. Any dessin can provide the surface it is embedded on with a structure as a Riemann surface. It natural to ask which Riemann surfaces arise in this way. The answer is provided by [[Belyi's theorem]], which states that these are precisely those that can be defined over the field of algebraic numbers (when considered as algebraic curves). The absolute Galois group transforms these particular curves into each other, and thereby also transforms the underlying dessins.'' (wikipedia)


\end{quote}
The original development does not, however, explicitly use bipartite graphs, rather it used a form of 1-complex, embedded in a surface (see below). The use of bipartite graphs simplifies the exposition.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

A [[topological map]] is an embedding of a connected graph $G$ (loops and multiple edges allowed) into a compact oriented surface $X$, such that it fills the surface, i.e. $X \setminus G$ is a disjoint union of open cells (referred to as the \emph{faces} of the map). Two maps $(X_1 , G_1 )$ and $(X_2 , G_2 )$ are called \emph{equivalent} if there exists a homeomorphism $f : X_1 \to X_2$ such that $f (G_1 ) = G_2$ .

A \textbf{hypermap} is a map together with a coloring of the vertices in black and white such that any two adjacent vertices have different colors. Observe that any map (with vertices all colored in black) gives rise to a hypermap by placing a white vertex in the middle of every edge---so, hypermaps can be seen as maps with extra information, but also conversely as a generalization of maps (see Walsh 1975, ``Hypermaps Versus Bipartite Maps'').

Finally, a \textbf{dessin d'enfant} is a hypermap seen as a representation of a \emph{Belyi function}: a [[meromorphic function]] $f : X \to \bar{\mathbb{C} }$ whose only critical values are 0, 1, and $\infty$. Such a function determines a hypermap on the Riemann surface $X$ by considering the inverse image of the unit interval $H = f^{-1}([0,1])$, and coloring the preimages of 0 and 1 as black and white vertices, respectively. Moreover, each face of $H$ contains exactly one \emph{pole}, that is, one preimage of $\infty$.

Note that it is also possible to associate a dessin more generally to any function $f : X \to \bar{\mathbb{C}}$ with at most three critical values, since any such function may be normalized to have critical values in $\{0,1,\infty\}$ by applying a [[linear fractional transformation]]. Likewise, the dessin can also equivalently be seen as a representation of a [[branched cover of the Riemann sphere]], ramified over at most three points.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\begin{itemize}%
\item Any polynomial $f : \bar{\mathbb{C}} \to \bar{\mathbb{C}}$ with no critical values other than 0 or 1 (and more generally, after normalization, any polynomial with at most two critical values) may be associated with a dessin d'enfant which is a one-face hypermap, i.e., a plane [[tree]]. (This is because any polynomial has a unique pole, at $\infty$.) For example, the dessin d'enfant representing $f(x) = x^n$ is the ``star-tree'', containing one black vertex surrounded by $n$ white vertices.


\item It is well known that the bipartite graph $K_{3,3}$ is non-planar, so does not embed in the 2-sphere, but will embed in the torus, in such a way that its complement is a disjoint union of discs.



\end{itemize}
\hypertarget{remark}{}\subsection*{{Remark}}\label{remark}

The original work was stated in terms of objects called [[cellular maps]], and the category of these cellular maps and isotopy classes of morphisms between them was shown to correspond to a category of finite $\mathbb{G}$-sets where $\mathbb{G}$ is a group called the [[cartographic group]], which has a simple presentation in terms of operations of a geometric / combinatorial nature.

\hypertarget{a_translated_extract}{}\subsection*{{A translated extract}}\label{a_translated_extract}

(from the [[Esquisse d'un programme]] describing the idea as seen by Grothendieck:)

``My interest in topological surfaces began to appear in 1974, when I proposed to Yves Ladegaillerie the theme of the isotopic study of embeddings of a topological 1-complex into a compact surface. Over the two following years, this study led him to a remarkable isotopy theorem, giving a complete algebraic description of the isotopy classes of embeddings of such 1-complexes, or compact surfaces with boundary, in a compact oriented surface, in terms of certain very simple combinatorial invariants, and the fundamental groups of the protagonists. This theorem, which should be easily generalisable to embeddings of any compact space (triangulable to simplify) in a compact oriented surface, gives as easy corollaries several deep classical results in the theory of surfaces, and in particular Baer's isotopy theorem.

In the work of Ladegaillerie there is also a purely algebraic description, in terms of fundamental groups, of the ``isotopic'' category of compact surfaces X , equipped with a topological 1-complex K embedded in X . This description, which had the misfortune to run counter to `'today's taste'` and because of this appears to be unpublishable, nevertheless served (and still serves) as a precious guide in my later reflections, particularly in the context of absolute algebraic geometry in characteristic zero.``

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[adinkra]]

\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

The Wikipedia page on this is:

\begin{itemize}%
\item \href{http://en.wikipedia.org/wiki/Dessin_d'enfant}{wikipedia}

\end{itemize}
Fairly elementary sources for background material include:

\begin{itemize}%
\item Arthur T. White: 1984 \emph{Graphs, groups and surfaces}

\end{itemize}
This gives the Edmonds algorithm for the embedding. the original source for that is:

\begin{itemize}%
\item J. Edmonds (1960), A combinatorial representation for polyhedral surfaces, Notices Amer. Math. Soc. 7, 646.

\end{itemize}
References on the deeper theory as developed by Grothendieck and his students, and including summaries of subsequent work, include:

\begin{itemize}%
\item [[L. Schneps]], ed., 1994, \emph{The Grothendieck theory of dessins d'enfants}, volume 200 of London Mathematical Society Lecture Note Series , Cambridge University Press, Cambridge, papers from the Conference on Dessins d'Enfant held in Luminy, April 19--24, 1993


\item Marco Robalo, \emph{Galois Theory towards Dessins d'Enfants} (\href{https://dspace.ist.utl.pt/bitstream/2295/575330/1/dissertacao.pdf}{pdf})


\item F. Herrlich, G. Schmith\"u{}sen: \href{http://www.math.kit.edu/iag3/~schmithuesen/media/dessins.pdf}{Dessins d'enfants and Origami curves}



\end{itemize}
The original work on the elementary theory was contained in

\begin{itemize}%
\item [[Christine Voisin]], [[Jean Malgoire]], Cartes cellulaires, Cahiers Math\'e{}matiques, 12, Montpellier, 1977.


\item [[Christine Voisin]], [[Jean Malgoire]], Factorisation de Stein topologique, d\'e{}coupe, Cahiers Math\'e{}matiques, 15, Montpellier, 1979.


\item [[Christine Voisin]], [[Jean Malgoire]], Cartes topologiques infinies et rev\^e{}tements ramifi\'e{}s de la sph\`e{}re, Cahiers Math\'e{}matiques, 19, Montpellier, 1980.



\end{itemize}
Other modern textbook accounts include:

\begin{itemize}%
\item Sergei K. Lando, Alexander K. Zvonkin, \emph{Graphs on Surfaces and Their Applications}, Springer, 2004.


\item E. Girondo, G. Gonz\'a{}lez-Diez, \emph{Introduction to compact Riemann surfaces and dessins d'enfants}, London Mat. Soc. Student Texts \textbf{79}, Cambridge Univ. Press 2012. xii+298 pp.



\end{itemize}
References on the history of dessins d'enfants

\begin{itemize}%
\item Lieven Le Bruyn, Klein's dessins d'enfant and the buckyball, 2008. \href{http://www.neverendingbooks.org/index.php/kleins-dessins-denfant-and-the-buckyball.html}{web}

\end{itemize}
Connection to [[matrix model]]s and integrable hierarchies is discussed in

\begin{itemize}%
\item Jan Ambj\o{}rn, Leonid Chekhov, \emph{The matrix model for dessins d'enfants}, \href{http://arxiv.org/abs/1404.4240}{arxiv/1404.4240}

\end{itemize}
The relation to [[super multiplet]] classification via [[adinkras]] is due to

\begin{itemize}%
\item [[Charles Doran]], Kevin Iga, [[Greg Landweber]], Stefan Mendez-Diez, \emph{Geometrization of $N$-Extended 1-Dimensional Supersymmetry Algebras} (\href{https://arxiv.org/abs/1311.3736}{arXiv:1311.3736})

\end{itemize}
[[!redirects child's drawing]] [[!redirects child's drawing]] [[!redirects child's drawings]] [[!redirects children's drawing]] [[!redirects children's drawings]] [[!redirects dessin d'enfant]] [[!redirects dessins d'enfant]] [[!redirects dessin d'enfants]] [[!redirects dessins d'enfants]] [[!redirects dessin d'enfant]] [[!redirects dessins d'enfant]] [[!redirects dessin d'enfants]] [[!redirects dessins d'enfants]]



\end{document}