\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amscd}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics,amsmath,amssymb}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{8.9in}

\newcommand{\seqnum}[1]{\href{http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=#1}{\underline{#1}}}

\usepackage{pictex}

\newcommand{\T}[1]{\qquad\mbox{#1}\qquad}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\dimv}{\textbf{dim}}
\newcommand{\MATRIX}[4]{\left[\begin{array}{cc}
#1 & #2 \\#3 & #4 \end{array}\right]} % 2x2 matrix

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\begin{center}
\vskip 1cm{\LARGE\bf A Partition Formula for Fibonacci Numbers
}
\vskip 1cm
\large
Philipp Fahr and Claus Michael Ringel \\ 
Fakult\"at f\"ur Mathematik\\ 
Universit\"at Bielefeld\\ 
P. O. Box 100 131\\ 
D-33501 Bielefeld \\
Germany\\
\href{mailto:philfahr@math.uni-bielefeld.de}{\tt philfahr@math.uni-bielefeld.de} \\
\href{mailto:ringel@math.uni-bielefeld.de}{\tt ringel@math.uni-bielefeld.de} \\
\end{center}

\vskip .2 in

\begin{abstract}
We present a partition formula for the even index Fibonacci numbers.
The formula is motivated by the appearance of these Fibonacci numbers in the
representation theory of the socalled $3$-\-Kro\-necker quiver, i.e., the oriented graph with two vertices and three arrows in the same direction.
\end{abstract}

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}



\section{Introduction}

Let $f_0,f_1,\dots$ be the Fibonacci numbers, with $f_0 = 0, f_1 = 1$
and $f_{i+1} = f_i + f_{i-1}$ for $i \ge 1.$ The aim of this note is to
present a partition formula for the even index Fibonacci numbers $f_{2n}$.
Our interest in the even index Fibonacci numbers comes from the fact that the pairs $[f_{4t+2},f_{4t}]$ provide the dimension vectors of the preprojective 
representations of 3-Kronecker quiver, and the partition formula relates such a dimension
vector to the dimension vector of a corresponding graded representation. 
The authors are grateful to M. Baake and A. Zelevinsky for useful comments
which have been incorporated into the paper.

We start with the 3-regular tree $(T,E)$ with vertex set $T$ and edge set $E$
(3-regularity means that every vertex of $T$ has precisely 3 neighbours). Fix a vertex
$x_0$ as base point. Let $T_r$ be the sets of vertices of $T$ which
have distance $r$ to $x_0$, thus $T_0 = \{x_0\}$, $T_1$ are the neighbours
of $x_0$, and so on. The vertices in $T_r$ will be called even or odd, depending on $r$ being even or odd. Note that $|T_0| = 1$ and 
\begin{equation}
 |T_r| = 3\cdot 2^{r-1} \qquad \text{for } r \ge 1. \tag{1}
\end{equation}
(The proof for equation $(1)$ is by induction: $T_1$ consists of the three neighbours of
$x_0$. For $r \ge 1$, any element in $T_r$ has precisely one neighbour
in $T_{r-1}$, thus two neighbours in $T_{r+1},$  therefore $|T_{r+1}| =
2|T_r|.$)

Given a set $S$, let $\mathbb{Z}[S]$ be the set of 
functions $S \to \mathbb{Z}$ with finite support; this is the free abelian group
on $S$ (or better, on the set of functions with support 
being an element of $S$ such that the only non-zero value is $1$).

We are interested in certain elements $a_t \in \mathbb{Z}[T]$. 
Any vertex $y\in T$ yields a reflection $\sigma_y$ on $\mathbb{Z}[T]$, defined
for $b\in \mathbb{Z}[T]$ by 
$$  (\sigma_y b)(x) =   \left\{ \begin{array}{lll}
b(x) & & x \neq y\\
& \textrm{provided}\\
-b(y) + \sum\noindent_{z\in N(y)} b(z) & & x = y,
\end{array} \right.$$
where $N(y)$ denotes the set of neighbours of $y$ in $(T,E)$.

Denote by $\Phi_0$ the product of the reflections $\sigma_y$ with $y$ even;
this product is independent of the order, since these reflections commute:
even vertices never are neighbours of each other.
Similarly, we denote by $\Phi_1$ the product of 
the reflections $\sigma_y$ with
$y$ odd. 

The elements of $\mathbb{Z}[T]$ we are interested in are labelled $a_t$ with
$t\in \mathbb{N}_0.$ 
We will start with the characteristic function $a_0$ of $T_0$
(thus, $a_0(x) = 0$ unless $x = x_0$ and $a_0(x_0) = 1$) and look at 
the functions
$$  a_t = (\Phi_0\Phi_1)^t a_0, \quad \text{with } t \ge 0. $$
Clearly, $a_t$ is constant on $T_r$, for any $r\ge 0$, so we may
define $a_t: \mathbb{N}_0 \to \mathbb{Z}$ by
$$  a_t[r] = a_t(x) \quad \text{for } r\in \mathbb{N}_0 \text{ and } x \in T_r. $$

\section{The Partition Formula}

\begin{center} 
%\fbox
{ \begin{eqnarray*}
 f_{4t}   &=& \sum_{r \text{ odd }} |T_r|\cdot a_t[r] 
  = \; \ \qquad \ \ \ 3\sum_{m\ge 0} 2^{2m}\cdot a_t[2m\!+\!1], \\
 f_{4t+2} &=& 
\sum_{r \text{ even}} |T_r|\cdot a_t[r] 
  = \ a_t[0] + 3\sum_{m\ge 1} 2^{2m-1}\cdot a_t[2m]. 
\end{eqnarray*}
}
\end{center}
The sums exhibited are finite sums, since $a_t[r] = 0$ for $r > 2t.$ 
Note that we have used the equality (1).


For example, for $t=3$, we obtain the following two equalities:
\begin{eqnarray*}
 144 = f_{12} &=&  3\cdot 12 + 12\cdot 5 + 48 \cdot 1 \cr
 377 = f_{14} &=& 29 + 6\cdot 18 + 24\cdot 6 + 96 \cdot 1.
\end{eqnarray*}

Here is the table for $t\le 6$.
$$
{\beginpicture
\setcoordinatesystem units <.9cm,.5cm>
\plot -0.5 9.8 14.5 9.8 /

\put{} at 0 2 
\setdashes <1mm>
\plot 0.1 2  0.1 10.8 /
\plot 11.6 2  11.6 10.8 /

\put{$t$} at -0.3 10.3
\put{$a_t[0]$} at 1 10.3
\put{$a_t[1]$} at 2 10.3
\put{$a_t[2]$} at 3 10.3
\put{$a_t[3]$} at 4 10.3
\put{$a_t[4]$} at 5 10.3
\put{$a_t[5]$} at 6 10.3
\put{$a_t[6]$} at 7 10.3
\put{$a_t[7]$} at 8 10.3
\put{$a_t[8]$} at 9 10.3
\put{$a_t[9]$} at 10 10.3
%\put{$a_t[10]$} at 11 10.3
\put{$\dots$} [r] at 11 10.3

\put{$f_{4t}$} at 12.5 10.3
\put{$f_{4t+2}$} at 14 10.3


\put{$0$} [r] at -0.2 9
\put{$1$} [r] at 1 9

%=====================a_1=======
\put{$1$} [r] at -0.2 8
\put{$2$} [r] at 1 8
\put{$1$} [r] at 2 8
\put{$1$} [r] at 3 8

%====================a_2==============
\put{$2$} [r] at -.2 7
\put{$7$} [r] at 1 7
\put{$3$} [r] at 2 7
\put{$4$} [r] at 3 7
\put{$1$} [r] at 4 7
\put{$1$} [r] at 5 7

%====================a_3===============
\put{$3$} [r] at -.2 6
\put{$29$} [r] at 1 6
\put{$12$} [r] at 2 6
\put{$18$} [r] at 3 6
\put{$5$} [r] at 4 6
\put{$6$} [r] at 5 6
\put{$1$} [r] at 6 6
\put{$1$} [r] at 7 6

%=======================a_4============
\put{$4$} [r] at -.2 5
\put{$130$} [r] at 1 5
\put{$53$} [r] at 2 5
\put{$85$} [r] at 3 5
\put{$25$} [r] at 4 5
\put{$33$} [r] at 5 5
\put{$7$} [r] at 6 5
\put{$8$} [r] at 7 5
\put{$1$} [r] at 8 5
\put{$1$} [r] at 9 5
%=========================a_5===========
\put{$5$} [r] at -.2 4
\put{$611$} [r] at 1 4
\put{$247$} [r] at 2 4
\put{$414$} [r] at 3 4
\put{$126$} [r] at 4 4
\put{$177$} [r] at 5 4
\put{$42$} [r] at 6 4
\put{$52$} [r] at 7 4
\put{$9$} [r] at 8 4
\put{$10$} [r] at 9 4
\put{$1$} [r] at 10 4
\put{$\dots$} [r] at 11 4

%=========================a_6===========
\put{$6$} [r] at -.2 3
\put{$2965$} [r] at 1 3
\put{$1192$} [r] at 2 3
\put{$2062$} [r] at 3 3
\put{$642$} [r] at 4 3
\put{$943$} [r] at 5 3
\put{$239$} [r] at 6 3
\put{$313$} [r] at 7 3
\put{$63$} [r] at 8 3
\put{$75$} [r] at 9 3
\put{$11$} [r] at 10 3
\put{$\dots$} [r]  at 11 3

\put{$0$} [r] at 12.8   9
\put{$1$} [r] at 14.5 9


\put{$3$} [r] at 12.8 8
\put{$8$} [r] at 14.5 8


\put{$21$} [r] at 12.8 7
\put{$55$} [r] at 14.5 7


\put{$144$} [r] at 12.8 6
\put{$377$} [r] at 14.5 6


\put{$987$}  [r] at 12.8 5
\put{$2584$} [r] at 14.5 5


\put{$6765$}  [r] at 12.8 4
\put{$17711$} [r] at 14.5 4

\put{$46368$}  [r] at 12.8 3
\put{$121393$} [r] at 14.5 3

 \endpicture}
$$

\section{Proof of the partition formula}

We consider the multigraph $(\overline T,\overline E)$ with
two vertices $0,1$ and three edges between $0$ and $1$. 

$$
{\beginpicture
\setcoordinatesystem units <2cm,1cm>
\put{} at 0 0.2
\put{} at 0 -0.2
\put{$\bullet$} at 0 0 
\put{$\bullet$} at 1 0 
\put{$0$} at -0.1 0.2
\put{$1$} at  1.1 0.2
\plot 0 0  1 0 /
\setquadratic
\plot 0 0.05  0.5 0.2 1 0.05 /
\plot 0 -0.05  0.5 -0.2 1 -0.05 /
\endpicture}
$$

Any element $c \in \mathbb{Z}[\overline T]$ is determined by the 
values $c(0)$ and $c(1)$, thus we will write $c = [c(0),c(1)]$.\\

We define 
\begin{eqnarray*}
\overline a_t(0) &=& \sum_{r \text{ even}} |T_r|\cdot a_t[r] 
  = \ a_t[0] + 3\sum_{m\ge 1} 2^{2m-1}a_t[2m],  \\
 \overline a_t(1) &=& \sum_{r \text{ odd }} |T_r|\cdot a_t[r] 
  = \; \ \qquad \ \ \ 3\sum_{m\ge 0} 2^{2m}a_t[2m\!+\!1],
\end{eqnarray*}
and have to show: $$[\overline a_t(0),\overline a_t(1)] = [f_{4t+2},f_{4t}].$$
The claim is obviously true for $t= 0$, since $$[\overline a_0(0),\overline a_0(1)] = [1,0] = [f_{2},f_{0}].$$
The general assertion will follow from the following  recursion formulae
$$[\overline a_t(0),\overline a_t(1)] \MATRIX{8}{3}{-3}{-1} = [\overline a_{t+1}(0),\overline a_{t+1}(1)],$$
$$[f_{m+2},f_{m}] \MATRIX{8}{3}{-3}{-1}= [f_{m+6},f_{m+4}].$$
For the Fibonacci numbers, this is well-known:
\begin{eqnarray*} 
 [f_{m+6},f_{m+4}] &= &[f_{m+5},f_{m+4}] \MATRIX{1}{0}{1}{1} \\
&=&  [f_{m+1},f_m] \MATRIX{1}{1}{1}{0}^4 \MATRIX{1}{0}{1}{1}\\
& =& [f_{m+2},f_m]   \MATRIX{1}{0}{1}{1}^{-1} \MATRIX{1}{1}{1}{0}^4 \MATRIX{1}{0}{1}{1}
\end{eqnarray*}
and the product of the matrices in the last line
is just $\MATRIX{8}{3}{-3}{-1}$, which is the Coxeter transformation of the 3-Kronecker quiver.

It remains to deal with $\overline a_t.$ 
We may consider
$(T,E)$ as the universal covering of $(\overline T,\overline E)$, 
say with a covering map 
$$
 \pi:(T,E) \to (\overline T,\overline E),
$$ 
where $\pi(x) = 0$ if $x$
is an even vertex of $(T,E)$, and $\pi(x) = 1$ if $x$ is an odd vertex.
Such a covering map will provide a bijection between 
the three edges in $E$ which
contain a given vertex $x$ with the edges in $\overline E.$ 

Given $b\in \mathbb{Z}[T]$, define $\overline b\in \mathbb{Z}[\overline T]$
by
$$
 \overline b(i) = \sum\nolimits_{x\in \pi^{-1}(i)} b(x) \qquad \text{for }
i = 0,1.
$$
Observe that in this way we obtain from $a_t \in \mathbb{Z}[T]$ precisely
$\overline a_t \in \mathbb{Z}[\overline T]$ as defined above.

On $\mathbb{Z}[\overline T]$, we also consider reflections, but we have to take
into account the multiplicity of edges: There are the two reflections
$\sigma_0, \sigma_1$, with
\begin{eqnarray*}
 (\sigma_0c)(0) =& -c(0)+3c(1),\qquad & (\sigma_0c)(1) =c(1), \\
 (\sigma_1c)(0) =& c(0),    \qquad &  (\sigma_1c)(1) = -c(1)+3c(0),
\end{eqnarray*}
for $c\in \mathbb{Z}[\overline T]$.
Note that this implies that
$$ [c(0),c(1)] \bmatrix 8 & 3 \cr
         -3 & -1 \endbmatrix 
 = [(\sigma_0\sigma_1c)(0),(\sigma_0\sigma_1c)(1)].$$
We finish the proof by observing that $\overline a_t = (\sigma_0\sigma_1)^t\overline a_0.$
This follows directly from the following consideration: Let $b\in 
\mathbb{Z}[T]$, then
$$ \overline{\Phi_0b} = \sigma_0\overline b,\quad 
 \overline{\Phi_1b} = \sigma_1\overline b,$$
as it is easily verified.

\section{A second approach}

A. Zelevinsky has pointed out that it may be worthwhile to stress  the following
separation: Let us denote by $b_t[r]$ and $c_t[r]$ the sequences
$$
 b_t[r] = a_t[2r] \quad \text{and} \quad c_t[r] = a_{t+1}[2r+1].
$$
Then we obtain two ``Pascal-like'' triangles
$$
  \bmatrix b_0[0] & b[1]_0 & b_0[2] & \cdots  \cr
              b_1[0] & b_1[1] & b_1[2] & \cdots  \cr
              b_2[0] & b_2[1] & b_2[2] & \cdots  \cr
              b_3[0] & b_3[1] & b_3[2] & \cdots  \cr
              b_4[0] & b_4[1] & b_4[2] & \cdots  \cr
              & \cdots 
\endbmatrix 
= \bmatrix 1 \cr
           2 & 1 \cr
           7 & 4 & 1 \cr
           29 & 18 & 6 & 1 \cr
           130 & 85 & 33 & 8 & 1 &  \cr
           & \cdots
\endbmatrix
$$
and 
$$
 \bmatrix c_0[0] & c_0[1] & c_0[2] & \cdots  \cr
              c_1[0] & c_1[1] & c_1[2] & \cdots  \cr
              c_2[0] & c_2[1] & c_2[2] & \cdots  \cr
              c_3[0] & c_3[1] & c_3[2] & \cdots  \cr
              c_4[0] & c_4[1] & c_4[2] & \cdots  \cr
              & \cdots 
\endbmatrix 
= \bmatrix 1 \cr
           3 & 1 \cr
           12 & 5 & 1 \cr
           53 & 25 & 7 & 1 \cr
           247 & 126 & 42 & 9 & 1 &  \cr
           & \cdots
\endbmatrix
$$
The recursive definition is as follows: One starts with 
$$
 b_0[r] = c_0[r] = \delta_{r,0}
$$
(using the Kronecker delta) and one continues for $t \ge 0$ with
$$
\begin{matrix}
 b_{t+1}[r] &= & \!\!\!\!\!\!\!\! c_t[r-1] + 2 c_t[r] - b_t[r], \cr
 c_{t+1}[r] &= & b_{t+1}[r]+ 2 b_{t+1}[r+1] - c_t[r], \cr
\end{matrix}
$$
where $c_t[-1] = c_t[0]$.

Using this notation, the partition formula can be written in the following way:

 \begin{center} \fbox{ 
$  f_{4t+2} = b_t[0]+ 3\sum_{r=1}^t 2^{2r-1}\cdot b_t[r],\qquad 
 f_{4(t+1)} = 3\sum_{r=0}^t 2^{2r}\cdot c_t[r].
$ } \end{center}



\section{Remarks} 
\indent \indent 1. The partition formula presented here seems to be
very natural. We were surprised to see that the integer sequence $a_t[0]$
had not been listed in Encyclopedia of Integer Sequences \cite{Sloane}.
It is now recorded as sequence \seqnum{A132262}. There seems to be numerical evidence that the sequence $a_t[1]$ 
is just the sequence \seqnum{A110122} of the Encyclopedia of Integer Sequences (it counts the Delannoy paths of length $t$ with no EE's crossing the line $y=x$), but we do not see why
these sequences are the same. \\

2. The 3-regular tree which is used to depict the partition formula
plays a prominent role in many parts of mathematics. It is the 3-Cayley
tree wihout leafs, and a Bruhat-Tits tree. As M. Baake has pointed out to us, 
it is called the Bethe lattice
\cite{Ba} with coordination number 3 in the theory of exactly solvable models.\\

3. A similar method as presented here leads to   
a partition formula for the odd index Fibonacci numbers, see \cite{F}.\\

4. Our considerations can be generalized to the $n$-regular tree and the multigraph with two vertices and $n$ edges, i.e., to the $n$-Kronecker quiver.

\section{Motivation and background}

Let us recall some basic concepts from the representation theory of quivers
(see for example
\cite{ARS}); note that quivers are just directed graphs were mutiple arrows and even loops are allowed.
Given any quiver $Q$, one considers its representations with coefficients in a fixed field $k$:
they are obtained by attaching to each vertex $a$ of $Q$ a (usually finite-dimensional)
$k$-vector space $V_a$, and to each arrow $\alpha: a \to b$ a $k$-linear map $V_\alpha :
V_a \to V_b$. The function which assigns to the vertex $a$ the $k$-dimension of $V_a$ is
called the dimension vector $\mathbf{dim}\,V$  of $V$; in case $V_a = 0$ for almost all vertices
$a$, we obtain an element of $\mathbb Z[Q_0]$, where $Q_0$ is the vertex set of $Q$, 
and $\mathbb Z[Q_0]$ itself may be interpreted
as the Grothendieck group of the finite dimensional nilpotent 
representations of $Q$ with respect to all exact sequences.
Observe that the representations 
of a quiver form an abelian category and one is interested in the
indecomposable objects of this category. In case we deal with a finite quiver without loops,
Kac \cite{K2} has shown that the dimension vectors of the indecomposable objects 
are precisely the positive roots $\mathbf v$ of the Kac-Moody Lie-algebra defined by the
underlying graph of the quiver.
In case $\mathbf v$ is a real root, then there is precisely one isomorphism class, otherwise there are at least two (actually infinitely many, in case $k$ itself is infinite). 

The quivers which are of interest in this note are, on the one hand, the 3-Kronecker quiver 
$\overline Q$ (with two vertices, say labelled $0$ and $1$, and three arrows $1 \to 0$) and, on the other hand, the bipartite quiver $Q$ whose underlying graph (obtained by deleting the orientation of the arrows) is the 3-regular tree.
The Kac-Moody Lie-algebra \cite{K1} corresponding to the 3-Kronecker quiver is given by the generalized Cartan matrix $\MATRIX{2}{-3}{-3}{2}$, its positive real roots are of the form 
$$
 [f_{4t+2},f_{4t}],\ \text{and} \ [f_{4t},f_{4t+2}] \ \text{with} \ t\ge 0.
$$ 
Note that the real roots of a Kac-Moody Lie-algebra are always obtained from the simple
roots by reflections; in the given case, one uses powers of the Coxeter transformation 
$\MATRIX{8}{3}{-3}{-1}$ in order to create the positive roots of the form $[f_{4t+2},f_{4t}]$
starting with the vectors $[1,0]$ and $[3,1]$. 
Alternatively, one may stress that the square
$\MATRIX{2}{1}{1}{1}$ of the matrix
which exhibits the Fibonacci sequence, is
conjugate to the matrix $\MATRIX{3}{1}{-1}{0}$
which describes a basic reflection for the 3-Kronecker
quiver.

There is a 
functorial realisation of the reflections as well as of the Coxeter
transformation by Bernstein-Gelfand-Ponomarev \cite{BGP}.
The indecomposable representations of the 3-Kronecker quiver with dimension vector
$[1,0]$ and $[3,1]$ are just the projective ones, those with dimension vectors of the
form $[f_{4t+2},f_{4t}]$ are said to be preprojective. Instead of dealing with the Coxeter functors of Bernstein-Gelfand-Ponoarev, one also may use the Auslander-Reiten translation functor
(see \cite{ARS}) in order to construct the preprojective representations starting from the
projective ones. The preprojective representations have been exhibited in matrix form
by one of the authors \cite{RingelTree}. 

It remains to mention the covering theory of Gabriel and his students \cite{G}. The quiver
$Q$ may be considered as the universal covering of the quiver $\overline Q$. Any representation $V$ of $Q$ gives rise to a representation $\overline V$ of $\overline Q$ (by attaching to the vertex 0 of
$\overline Q$ the direct sum of the vector spaces attached to the various sinks of $Q$, and
attaching to  1  the direct sum of the vector spaces attached to the sources). The representations of 
$\overline Q$ obtained in this way are those which are gradable by the free (non-abelian)
group in 3 free generators. The covering functor $V \mapsto \overline V$ preserves
indecomposability and satisfies
$$
 \mathbf{dim}\,\overline V = \overline{\mathbf{dim}\,V}. \qquad (*)
$$ 
Any preprojective representation of $\overline Q$ is of the form $\overline V$, where $V$ is
an indecomposable representation of $Q$ which is obtained from a simple representation
of $Q$ by applying suitable reflection functors, and our partition formula is just the
assertion $(*)$. 


\section{Illustrations}
The illustrations below show the functions $a_t$ for $t=0,1,2$ as well
as the corresponding functions $\Phi_1a_t$.
Here, $(T,E)$ has been endowed with an orientation such that the edges point to the even
vertices. In this way, the even vertices are sinks, the odd vertices are
sources. The dotted circles indicate the various sets $T_r$, the
center is just $T_0 = \{x_0\}.$




$$
{\beginpicture
\setcoordinatesystem units <0.6cm,0.6cm>

%%%%%%%%%%%%%%%%%%%%%%%%1.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize  1} at 0 0
\multiput{$\circ$} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0
\endpicture} at 0 22  /

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%2.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize 1} at 0 0
\multiput{\footnotesize 1} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{$\circ$} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0
\endpicture} at   10 16.5   /

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%3.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize 2} at 0 0
\multiput{\footnotesize  1} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{$\circ$} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0
\endpicture} at 0 11  /

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%4.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize  2} at 0 0
\multiput{\footnotesize  3} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize  1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize  1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{\footnotesize  1} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize  1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{$\circ$} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{$\circ$} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0
\endpicture} at    10 5.5    /

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize 7} at 0 0
\multiput{\footnotesize 3} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 1} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0
\endpicture} at 0 0    /

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%6.Bild
\multiput{\beginpicture

%\put{$2$} at 1 0
%\put{$3$} at 2 0
\put{\footnotesize 7} at 0 0
\multiput{\footnotesize 12} at -.866 -.5
  .866 -.5  0 1 /

\arrow <2mm> [0.25,0.75] from 0 0.9 to  0 0.2
\arrow <2mm> [0.25,0.75] from -.78 -.45
 to   -0.1 -0.05 
\arrow <2mm> [0.25,0.75] from .78 -.45
 to   0.1 -0.05 

%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 5} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 

%=============================================2.Arm
\startrotation by -0.5 0.866 about 0 0
%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 5} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================

%=============================================2.Arm
\startrotation by -0.5 -0.866 about 0 0
%===============================================
\multiput{\footnotesize 4} at -.866 1.8 .866 1.8 /
\arrow <2mm> [0.25,0.75] from -0.1 1.1  to  -.78 1.75
\arrow <2mm> [0.25,0.75] from  0.1 1.1  to   .78 1.75
\multiput{\footnotesize 5} at -2.13 2.1  -1.1 2.8 
  2.13 2.1  1.1 2.8 /
\arrow <2mm> [0.25,0.75] from -2. 2.1     to  -.95 1.8 
\arrow <2mm> [0.25,0.75] from -1.07 2.7   to  -.866 1.9
\arrow <2mm> [0.25,0.75] from 2. 2.1      to  .95 1.8 
\arrow <2mm> [0.25,0.75] from 1.07 2.7    to  .866 1.9

\multiput{\footnotesize 1} at -3.27 2.3  -2.65 3 -1.7 3.62  -.7 3.93  /
\multiput{\footnotesize 1} at  3.27 2.3  2.65 3  1.7 3.62  .7 3.93 /

\arrow <2mm> [0.25,0.75] from -2.3 2.14   to  -3.15 2.3 
\arrow <2mm> [0.25,0.75] from -2.15 2.2    to  -2.6 2.9
\arrow <2mm> [0.25,0.75] from -1.15 2.9    to  -1.65 3.52
\arrow <2mm> [0.25,0.75] from -1.05 2.9    to  -.7 3.83 

\arrow <2mm> [0.25,0.75] from 2.3 2.14   to  3.15 2.3 
\arrow <2mm> [0.25,0.75] from 2.15 2.2    to  2.6 2.9
\arrow <2mm> [0.25,0.75] from 1.15 2.9    to  1.65 3.52
\arrow <2mm> [0.25,0.75] from 1.05 2.9    to  .7 3.83 
\stoprotation
%=======================================================


\setdots <1mm>
\circulararc 360 degrees from 1 0 center at 0 0
\circulararc 360 degrees from 2 0 center at 0 0
\circulararc 360 degrees from 3 0 center at 0 0
\circulararc 360 degrees from 4 0 center at 0 0
\circulararc 360 degrees from 5 0 center at 0 0

\multiput{\footnotesize 1} at -5 -.5 -5 0 -4.95 0.5  -4.9 1.2 -4.7 1.8 
 -4.5 2.3  -4.3 2.7 -4  3.1  -3.6 3.5 -3.2 3.9 
 -2.4 4.4  -2. 4.6  -1.5 4.8  -0.7 4.95 
 5 -.5  5 0  4.95 0.5   4.9 1.2  4.7 1.8 
 4.5 2.3  4.3 2.7  4 3.1  3.6 3.5  3.2 3.9 
 2.4 4.4  2. 4.6  1.5 4.8  0.7 4.95 /

\endpicture} at        10 -5.5 /

\put{} at -7  25
\put{$a_0$} at -7 22
\put{$\Phi_1 a_0$} at -7 16.5
\put{$a_1$} at -7 11
\put{$\Phi_1 a_1$} at -7 5.5
\put{$a_2$} at -7 0
\put{$\Phi_1 a_2$} at -7 -5.5
\endpicture}
$$


\begin{thebibliography}{99}
\bibitem{ARS}
M. Auslander, I. Reiten and S. Smal\o, 
{\em Representation theory of Artin algebras.}
Cambridge Studies in Advanced Mathematics, 1994.

\bibitem{Ba}
R. J. Baxter, {\em Exactly Solved Models in Statistical Mechanics.} 
Academic Press, 1982.

\bibitem{BGP}
I. N. Bernstein, I. M. Gelfand and V. A. Ponomarev,
Coxeter functors and Gabriel's theorem.
{\em Uspechi Mat. Nauk.} \textbf{28} (1973), 19--33; {\em Russian Math. Surveys} \textbf{29} (1973), 17--32.


\bibitem{G}
P. Gabriel, {\em The universal cover of a representation-finite algebra.} 
In {\it Representations of Algebras, Puebla (1980)}, 
Lecture Notes in Mathematics, Vol. 903, Springer, 1981, pp.\ 68--105.

\bibitem{F}
Ph. Fahr, Infinite Gabriel-Roiter measures for the 3-Kronecker quiver.
{\em Dissertation Bielefeld}, in preparation.

\bibitem{K1}
V. G. Kac, {\em Infinite-Dimensional Lie Algebras.}
3rd edition, Cambridge University
Press, 1990.

\bibitem{K2}
V. G. Kac, {\em Root systems, representations of quivers and invariant theory.} {\it Invariant theory, Montecatini (1982)},
Lecture Notes in Mathematics, Vol.\ 996, Springer, 1983, pp.\ 74--108.

\bibitem{Ko}
Th. Koshy, {\em 
Fibonacci and Lucas Numbers with Applications.}
Wiley Series in Pure and Applied Mathematics, 2001.

\bibitem{RingelTree}
C. M. Ringel, Exceptional modules are tree modules.
{\em Linear Algebra and its applications} (1998), 471--493.

\bibitem{Sloane}
N. J. A. Sloane, 
{\em The On-Line Encyclopedia of Integer Sequences}, 
available electronically at
\href{http://www.research.att.com/~njas/sequences/}{\tt http://www.research.att.com/$\sim$njas/sequences/}.

\end{thebibliography}

\bigskip
\hrule
\bigskip

\noindent 2000 {\it Mathematics Subject Classification}:
Primary 11B39, Secondary 16G20.

\noindent \emph{Keywords: } 
Fibonacci numbers, universal cover, 3-regular tree, 3-Kronecker quiver.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequences \seqnum{A110122} and \seqnum{A132262}.)

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received August 13 2007;
revised version received January 22 2008.  
Published in {\it Journal of Integer Sequences}, February 9 2008.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

