\section{The Result}

If $\artA $ is a finite dimensional algebra over an algebraically
closed field $k$, then there exists a unique finite quiver
$Q_{\artA }$, the {\it ordinary quiver} of $\artA$, such that
$\artA $ is Morita equivalent to a
quotient of the path algebra $kQ_{\artA }$ by an admissible ideal $I$;
see, for example, \cite{Ga} or \cite{ARS}.

The first Hochschild cohomology group of $\artA $ over $k$ is
$$
\Hoch^{1}(\artA) = \Hoch^{1}(\artA/k) = \frac{\Der_{k}(\artA ,\artA
)}{\Inn(\artA )}\,,
$$
the $k$-vectorspace of {\em outer $k$-derivations\/}, that is, the
quotient of all $k$-derivations of $\artA $ modulo the inner ones.

It has been suspected for some time, and \cite{Ci} seems to be the
earliest reference, that
vanishing of the first Hochschild cohomology precludes the existence
of oriented cycles in the ordinary quiver.  There are various
supporting partial results, among them \cite[(2.3), (3.2)]{Hap},
\cite[(2.2)]{BM}, \cite[(1.3)]{Gas}.

An algebra $\artA $ without oriented cycles in its ordinary quiver is
of finite global dimension.  In turn, finite global dimension implies
that there are no loops in the ordinary quiver, see \cite{Len}
or \cite{Ig}.

The following result shows that even the existence of loops in the
ordinary quiver
is no guarantee for the existence of non trivial outer derivations,
thus refuting the above suspicion.

\begin{theorem}
\label{main result}
		Let $Q$ be the quiver with three vertices ${\bf 1,2,3}$ and
		three arrows $\alpha\colon{\bf 2}\to {\bf 1},\ \beta\colon{\bf
		2}\to {\bf 2},\ \gamma\colon{\bf 3}\to {\bf 2}$.  For any
		field $k$ there exist finite dimensional $k$-algebras with
		ordinary quiver $Q$ that admit only inner derivations.
		These algebras are necessarily of infinite global dimension
		and of infinite representation type.
\end{theorem}

The proof will occupy the rest of this paper.  We first describe the
basic structure of the finite dimensional algebras $\artA$
with ordinary quiver $Q$, then identify $\Hoch^{1}(\artA)$ as a space
of first order differential operators in one variable, give
in (\ref{exponential examples}) a quick
proof for fields whose prime field is large enough
and present finally in (\ref{positive characteristic})
a family of examples that works over any field.

\section{The Basic Structure}

We begin by exhibiting the path algebra of the quiver $Q$ from the
Theorem as a matrix algebra and determine its admissible ideals.  For
the moment, $k$ can be any field.  Regarding the multiplication of
arrows we follow the convention from \cite{ARS}: With respect
to the primitive idempotents $e_{i}$, corresponding to the vertices
${\bf i}$ for $i=1,2,3$, the path algebra $kQ = k\langle
e_{1},e_{2},e_{3};\alpha,\beta,\gamma\rangle$ is defined by the
relations
$$
        e_{1}\alpha =\alpha = \alpha e_{2}\;, \quad
        e_{2}\beta = \beta = \beta e_{2}\;, \quad
        e_{3}\gamma =\gamma = \gamma e_{2}\;,\quad
        0 =\gamma\alpha = \beta \alpha = \gamma\beta\ .
$$

Throughout, $k[\beta]$ denotes the polynomial algebra in one
variable $\beta$ over $k$, and $(\beta^n)$
denotes the ideal generated in $k[\beta]$ by $\beta^n$.

\begin{lemma}
        The path algebra
        $kQ$
        can be realized as a triangular matrix algebra
        $$
        \varphi:kQ\xrightarrow{\cong}
        \left(\begin{matrix}
        k& k[\beta] & k[\beta]\\
        0&k[\beta]&k[\beta]\\
        0&0&k
        \end{matrix}\right)
        $$
        where $\varphi$ is uniquely determined through
        \begin{align*}
                \varphi(xe_{1} + y e_{2} + ze_{3}+ u\alpha + v \beta + w\gamma)=
                \left(\begin{matrix}
                x& u & 0\\
                0&y + v\beta&w\\
                0&0&z
                \end{matrix}\right)
        \end{align*}
        for $x,y,z,u,v,w\in k$.
    Under this isomorphism the powers of the path ideal
    $(\alpha,\beta,\gamma)$ are mapped to
    \begin{align*}
                \varphi\left((\alpha,\beta,\gamma)^{n}\right)=
                \left(\begin{matrix}
                0& (\beta^{n-1}) & (\beta^{\max(0,n-2)})\\
                0&(\beta^{n})&(\beta^{n-1})\\
                0&0&0
                \end{matrix}\right) \quad \text{for}\quad n>0\,.
        \end{align*}
\qed
\end{lemma}
An ideal $I$ in $kQ$ is {\em admissible\/} if
$(\alpha,\beta,\gamma)^{N}\subseteq I \subseteq
(\alpha,\beta,\gamma)^{2}$ for some $N\ge 2$. If $k$ is
algebraically closed, the quotients $kQ/I$ of $kQ$  by
admissible ideals $I$ are up to Morita equivalence precisely
the finite dimensional $k$-algebras
with that ordinary quiver. Hochschild (co-)homology is Morita
invariant, see \cite[(1.2.4), (1.5.6)]{Lod}, a fact established for
outer derivations of matrix algebras already by P.~Dirac \cite{Di} in 1925!

\begin{lemma}
        The admissible ideals in $kQ$ are precisely
                $$
                I(n;n',n'';V)=
                (\alpha\beta^{n'},\beta^{n},\beta^{n''}\gamma, \alpha V\gamma)
                \subset kQ
                $$
                where $2\le n\ ;\  1\le n',n''\le n$ and $V\subseteq
k[\beta]$ is a
                $k$-subspace that contains $(\beta^{m})$ with
$m = \min(n',n'')$.
                Such an ideal is mapped to
                $$
                \varphi\left(I(n;n',n'';V) \right) =
                \left(\begin{matrix}
                        0& (\beta^{n'}) & V\\
                        0&(\beta^{n})&(\beta^{n''})\\
                        0&0&0
                        \end{matrix}\right)\ .
                $$
                If $\artA =kQ/I(n; n'; n''; V)$ is the corresponding
                algebra, then its {\em Cartan matrix\/} is
                \begin{equation*}
                         (\dim_{k} e_{i}\artA e_{j})_{1\le i,j\le 3} =
                         \left(\begin{matrix} 1
                         & n' & m-d\\
                         0 & n & n''\\
                         0&0&1
                \end{matrix}\right)
       \end{equation*}
       where $d=\dim _kV/(\beta^{m})$.
       \qed
\end{lemma}
The vectorspace $V$ is uniquely determined by its image
$V/(\beta^{m})\subseteq k[\beta]/(\beta^{m})$,
equivalently, by the corresponding point
$$
        \left(\frac{V}{(\beta^{m})}\subseteq
        \frac{k[\beta]}{(\beta^{m})}\right)\in \Grass_{k}(d,m)
$$
in the Grassmanian of vector subspaces of dimension
$d$ of the $m$-dimensional $k$-vectorspace
$k[\beta]/(\beta^{m})$.  This {\em continuous invariant\/}
ranges hence over the $k$-rational points of an irreducible projective
algebraic variety of dimension $d(m-d)$.

\begin{sit}
\label{Cartan}
	The determinant of the Cartan matrix being equal to $n\ge 2$, this
	matrix is not invertible over the integers, whence the global
	dimension of $A$ is necessarily infinite.  This fact is as well
	implied immediately by the more general affirmative solution to the
	{\em ``no loops conjecture''} due to H.~Lenzing \cite{Len} (see also
	K.~Igusa \cite{Ig}).
\end{sit}

\begin{remark}
        The Hochschild homology of $\artA =kQ/I(n;n',n'';V)$ over $k$ depends
        solely upon its Loewy length; as $k$-vectorspaces,
                $$
                \Hoch_{*}(\artA ) \cong
\Hoch_{*}(k)\oplus\Hoch_{*}\left(k[\beta]/(\beta^{n})\right)\oplus
                \Hoch_{*}(k)\,.
                $$
		This follows for example from applying Theorem 1.2.15 in
		\cite{Lod} twice.  In particular, $\Hoch_{i}(\artA ) \cong
		\Hoch_{i}\left(k[\beta]/(\beta^{n})\right)$ for $i > 0$ and
		$\Hoch_{i}\left(k[\beta]/(\beta^{n})\right)\ne 0$ for any $i$
		as soon as $n \ge 2$; \cite[Prop. 5.4.15]{Lod}
		gives an explicit description of these groups.
\end{remark}

\begin{remark}
	Note also that for any field extension $k'$ of $k$ and any finite
	dimensional $k$-algebra $\artA$ one has a natural $k'$-linear
	isomorphism
	$\Hoch^{*}(\artA/k)\otimes_{k}k'\cong
	\Hoch^{*}\left((\artA\otimes_{k}k')/k'\right)$
	whence vanishing can be tested over any field containing $k$.
\end{remark}

\section{The Derivations}
Now we investigate derivations.  First note that for a
finite dimensional basic algebra $\artA$ over $k$, modulo inner
derivations
every derivation
vanishes on the primitive idempotents.  A derivation that vanishes on
these idempotents is {\em normalized\/}; it respects the two-sided
Pierce decomposition of $\artA$.  In particular,
$\Hoch^{1}(\artA)$ is isomorphic to the vectorspace of normalized
derivations modulo the inner derivations  vanishing on the
primitive idempotents, see \cite[(3.1)]{Hap}. Recall as well that
$\Hoch^{1}(\artA)$ inherits the Lie
$k$-algebra structure from the Lie algebra of all (normalized)
derivations.

As the arrows together with the primitive idempotents generate the
path algebra $P$ of any quiver, a normalized derivation $D$ of such
algebra has a unique representation
$$
D =\sum_{\alpha:{\bf i}\to {\bf j}}x_{\alpha}
\frac{\partial}{\partial \alpha}
$$
where $x_{\alpha}:=D(\alpha)$ lies in the same two-sided Pierce
component as the arrow $\alpha$.  If $J\subset P$ is an ideal, then
$D$ descends to a derivation of $P/J$ if and only if $D(J)\subseteq
J$.

To take care of the possibly finite characteristic of $k$,
we introduce two secondary invariants of $\artA = kQ/I(n;n',n'';V)$:
$$
\delta = \gcd(n,n',n'') \quad\text{and}\quad c = \dim_{k}(k/\delta k) =
\begin{cases}
        0& \text{if $\delta\ne 0$ in $k$}\,,\\
        1& \text{if $\delta = 0$ in $k$}\,.
\end{cases}
$$
\begin{lemma}
\label{derivations}
With notation as introduced above, one has:
   \begin{enumerate}
       \item
	   \label{normalized}
	   The normalized $k$-derivations of the path algebra $kQ$ are of
	   the form
	   $$
       D = \alpha a(\beta)\frac{\partial}{\partial \alpha} +
           b(\beta)\frac{\partial}{\partial \beta} +
           c(\beta)\gamma\frac{\partial}{\partial \gamma}
       $$
       with $a(\beta), b(\beta), c(\beta)\in k[\beta]$.

       \item
       \label{induced}
	   The normalized derivation $D$ of $kQ$ descends to a derivation on $\artA$
	   if and only if $\delta b(0) =0$ and the first order
	   differential operator
       $$
	   \Theta_{D}=(a(\beta)+c(\beta)) +
	   b(\beta)\frac{\partial}{\partial \beta}
       $$
       on $k[\beta]$ maps $V$ to itself.

       \item
       \label{inner}
	   The normalized derivation $D$ induces an inner derivation on
	   $\artA$ if and only if
       \begin{align*}
			a(\beta)+c(\beta)\equiv a(0)+c(0)\bmod
			\beta^{\min(n',n'')}\quad\text{and}\quad
			b(\beta)\equiv 0\bmod \beta^{n}\,.
       \end{align*}
       \end{enumerate}
\end{lemma}

\begin{proof}
   In $kQ$, the twosided Pierce component of $\alpha$ is $e_{1}(kQ)
   e_{2} = \alpha k[\beta]$, that of $\beta$ is $e_{2}(kQ) e_{2}=
   k[\beta]$ and that of $\gamma$ is $e_{2}(kQ) e_{3}=k[\beta]\gamma
   $, whence (\ref{normalized}).

   We now check what it means for $D$ to map (each twosided Pierce
   component of) $I=I(n;n',n'';V)$ to itself: As $e_{2}I e_{2}=
   (\beta^{n})$, we get
   $$
   D(\beta^{n}) = n b(\beta)\beta^{n-1}\in (\beta^{n}) \quad \text{if
   and only if} \quad n b(0) = 0\,.
   $$
   Applying $D$ to $\alpha\beta^{n'}$ yields
   $$
   D(\alpha\beta^{n'})= \alpha \left(a(\beta)\beta^{n'} +
   n' b(\beta)\beta^{n'-1}\right)\ ,
   $$
   which is in $\alpha (\beta^{n'})= e_{1}Ie_{2}$ if and only if
   $n'b(0)=0$.  Similarly applying $D$ to $\beta^{n''}\gamma$ yields
   the condition $n''b(0) = 0$.  Now $nb(0)=n'b(0)=n''b(0)=0$ if and
   only if $\delta b(0)=0$.  Finally, for $\alpha v\gamma$ with $v\in
   V\subseteq k[\beta]$, one has
   $$
   D(\alpha v \gamma)= \alpha\left(a(\beta) v + b(\beta)\frac{\partial
   v}{\partial \beta} + c(\beta) v\right )\gamma = \alpha
   \Theta_{D}(v) \gamma
   $$
   and (\ref{induced}) follows.

   If $a = a_{11}e_{1} + a_{22}e_{2} + a_{33}e_{3} + \alpha a_{12} +
   a_{23}\gamma + \alpha a_{13}\gamma \in kQ$ with $a_{11}, a_{33}\in
   k$ and the remaining coefficients in $k[\beta]$, then
   the inner derivation $[a,\ ]$ vanishes on the primitive idempotents
   if and only if $\alpha a_{12}=a_{23}\gamma =\alpha a_{13}\gamma =0$
   in $\artA $.
   Calculating its value on the arrows yields
   $$[a,\ ] =
   \alpha(a_{11}- a_{22})\frac{\partial}{\partial \alpha} + (a_{22}-
   a_{33})\gamma\frac{\partial}{\partial \gamma}
   $$
   and (\ref{inner}) follows.
\end{proof}

To summarize this detailed information succinctly, we interpret it in
terms of differential operators of first order on $k[\beta]$.
If $p$ is a polynomial in $\beta$, its derivative with
respect to $\beta$ is denoted by $p'$ as usual.

\begin{lemma}
   Consider
   $
   J_{1}\subseteq J_{2}\subseteq V \subseteq k[\beta]
   $
   where $J_{\nu}=(\beta^{e_{\nu}}), \nu=1, 2$, are proper ideals and
   $V$ is some vector subspace in $k[\beta]$.

   If $e\in \bbbn$ divides $e_{\nu}$ for $\nu=1,2$, then the
   $k$-vectorspace
   $$
   {\mathcal D}_{V,e}=\left\{\left. \Theta= A(\beta) +
   B(\beta)\displaystyle\frac{\partial}{\partial \beta} \right|\begin{matrix}
   A,B\in k[\beta], e B(0) =0, \Theta(V)\subseteq V
   \end{matrix}
   \right\}
   $$
   is a Lie subalgebra of the Lie $k$-algebra of all first order
   differential operators on $k[\beta]$ that contains $J=\left(
   k\oplus J_{2}\right)\bigoplus J_{1}\displaystyle\frac{\partial}{\partial
   \beta}$ as an ideal and ${\mathcal D}_{V,1}$ as a Lie subalgebra.

   The quotient Lie $k$-algebra ${\mathcal D}(V,e;J_{1},J_{2})={\mathcal D}_{V,e}/J$
   is finite dimensional and contains an ideal isomorphic to
   $\left(J_{2}/J_{1}\right)\displaystyle\frac{\partial}{\partial \beta}$.  Its
   dimension satisfies
   $$
   0\le e_{1}-e_{2}\le \dim_{k} {\mathcal D}(V,e;J_{1},J_{2}) - \epsilon \le
   e_{1}+e_{2}- 2
   $$
   where $\epsilon=\dim_{k}(k/e k)$.
\end{lemma}

\begin{proof}
   It suffices to recall that the Lie bracket of two first order
   differential operators on $k[\beta]$ is given by
   $$
   \left[A_{1}(\beta) + B_{1}(\beta)\displaystyle\frac{\partial}{\partial
   \beta}, A_{2}(\beta) + B_{2}(\beta)\displaystyle\frac{\partial}{\partial
   \beta}\right]= \det\left(
        \begin{matrix}
                B_{1}& A'_{1}\\
                B_{2}& A'_{2}\\
        \end{matrix}\right)
        +
        \det\left(
        \begin{matrix}
                B_{1}& B'_{1}\\
                B_{2}& B'_{2}\\
        \end{matrix}
        \right)\displaystyle\frac{\partial}{\partial \beta}\,.
   $$
   Now the ideal $J_{\nu}=(\beta^{e_{\nu}})$ is mapped to itself by
   the vectorfield $B(\beta)\displaystyle\frac{\partial}{\partial \beta}$ if
   and only if $e_{\nu}B(0)=0$.  The final assertion follows from the
   inclusions
   $$
   \left( k\oplus J_{2}\right)\bigoplus
   J_{1}\displaystyle\frac{\partial}{\partial \beta}\subseteq
   \left( k\oplus J_{2}\right)\bigoplus
   J_{2}\displaystyle\frac{\partial}{\partial \beta}\subseteq
   {\mathcal D}_{V,1}\subseteq
   {\mathcal D}_{V,e}\,.
   $$
\end{proof}

For a finite dimensional algebra $\artA = kQ/I(n;n',n'';V)$ as before
we have thus the following description of $\Hoch^{1}(\artA )$ where we
set again $m=\min(n', n''),\, \delta = \gcd(n,n',n'')$ and
$c=\dim_{k}(k/\delta k)$.
\begin{corollary}
	Associating to a normalized derivation $D$ on $kQ$ the first order
	differential operator $\Theta_{D}$ on $k[\beta]$ as in {\em
	(\ref{derivations}.\ref{induced})\/} induces an isomorphism of Lie
	$k$-algebras
    $$
    \Hoch^{1}(\artA )\cong {\mathcal D}(V,\delta; \beta^{n},\beta^{m}) \,.
    $$
	In particular, ${\mathcal D}'(\artA) = {\mathcal D}(V,1; \beta^{m},\beta^{m})$
	is a Lie algebra subquotient of $\Hoch^{1}(\artA)$ and
    $$
    \dim_{k}\Hoch^{1}(\artA) = \dim {\mathcal D}'(\artA ) + n - m + c\le (m-1) +
    (n-1) + c\,.
    $$
\qed
\end{corollary}

\begin{example}
\label{ideal}
	If $ V$ is an {\em ideal\/} in $k[\beta]$, so that $V =
	(\beta^{m-d})$, and if $\delta$ divides $d$, then the upper bound
	is achieved,
    $$
        \dim \Hoch^{1}(\artA) = (n-1) + (m - 1) + c> 0\,.
    $$
    Note that the hypothesis is trivially satisfied if $m=1$, in which
    case $c=0$ and $\dim \Hoch^{1}(\artA) = n-1$.
\end{example}

\begin{sit}
\label{D'}
	To investigate the structure of ${\mathcal D}'(\artA )= {\mathcal D}(V,1;
	\beta^{m},\beta^{m})$, choose polynomials $p_{1}, p_{2},\ldots ,
	p_{d}\in k[\beta]$ that generate the vectorspace $V$ minimally modulo
	$(\beta^{m})$.  As the classes of the polynomials $p_{i}$ in
	$k[\beta]/(\beta^{m})$ are $k$-linearly independent, ${\mathcal D}'(\artA
	)$ is isomorphic as vectorspace to the solutions of the system of
	$d$ equations
\begin{equation}
\label{thesystem}
	\left(\begin{matrix}
	p_{1}& p'_{1}\\
    p_{2}& p'_{2}\\
    \vdots&\vdots\\
    p_{d}& p'_{d}\\
    \end{matrix}\right)
    \left(\begin{matrix}
    A\\
	B
	\end{matrix}\right)
	\equiv
	\left(\begin{matrix}
	a_{11}&\ldots & a_{1d}\\
    a_{21}&\ldots & a_{2d}\\
    \vdots&\ddots&\vdots\\
    a_{d1}&\ldots & a_{dd}
    \end{matrix}\right)
    \left(\begin{matrix}
    p_{1}\\
    p_{2}\\
    \vdots\\
    p_{d}
    \end{matrix}\right)\bmod \beta^{m}
\end{equation}
with $a_{ij}\in k$ and $A,B\in k[\beta]; A(0)=B(0)=0; \deg A, \deg B
\le m-1$.

Comparing in each of these equations the coefficients of $\beta^{i}$
for $i=0,\ldots,m-1$ yields $m$ linear equations over $k$; thus we
obtain in total $dm$ equations in $d^{2}+ 2(m-1)$ unknowns, whence
the dimension of ${\mathcal D}'(\artA )$ satisfies
\begin{equation}
\label{corank}
        \dim {\mathcal D}'(\artA ) \ge d^{2}+ 2(m-1) - dm = (d-2)(d+2-m) + 2 \,.
\end{equation}
Evaluating this lower bound yields immediately the following.
\begin{corollary}
\label{linearbound}
	Whenever $d \le 2\le m$ or $d > 2$ and $d + \displaystyle\frac{2}{d-2} > m-2$,
	then ${\mathcal D}'(\artA )\ne 0$ and so $\dim_{k}\Hoch^{1}(\artA )> n-m
	+ c \ge 0$.
\end{corollary}

\begin{proof}
	If $d=0$, then the right hand side of (\ref{corank}) evaluates to
	$2 m - 2 \ge 2$, if $d=1$ it evaluates to $m-1\ge 1$, if $d=2$ it
	evaluates to $2$. The second case simply rewrites $(d-2)(d+2-m) +
	2>0$.
 \end{proof}

Thus to find examples with $\Hoch^{1}(\artA )=0$, one needs $d\ge 3$
and $m=n\ge 7$. Note that in this case the algebra $\artA=kQ/I(n;n,n;V)$
is of infinite representation type; see for example
the classification of the maximal algebras with 2 simple modules in
\cite{BG}.
So we get the following.

\begin{corollary}
\label{frt}
Let $\artA$ be a finite dimensional $k$-algebra with ordinary quiver
$Q$ as in Theorem {\em (\ref{main result})\/}. If
$\artA$ is of finite representation type, then $\Hoch^{1}(\artA)$ does not
vanish.
\end{corollary}

\end{sit}

\section{Examples in Large Characteristic}

If the field $k$ has a large enough prime field, we can use ``finite
Fourier analysis'' to find examples where ${\mathcal D}'(\artA)=0$.  For
$y\in k$, let $e^{y\beta}\bmod \beta^{m}$ denote the image of
$$
e^{y\beta}=\sum_{\nu}y^{\nu}\displaystyle\frac{\beta^{\nu}}{\nu!}\in
k[[\beta]]
$$
in $k[[\beta]]/(\beta^{m})\cong k[\beta]/(\beta^{m})$ for $m\in
\bbbn$.  This class is well defined as soon as $(m-1)!\ne 0$ in $k$.
Clearly, if defined, $e^{y\beta}\bmod \beta^{m}$ is a unit in
$k[\beta]/(\beta^{m})$ with inverse $e^{-y\beta}\bmod \beta^{m}$.

\begin{lemma}
\label{Vandermonde}
        If $(m-1)!\ne 0$ in $k$ and $Y\subseteq k$ is a
        subset of cardinality $\mu$, then the classes $\{e^{y\beta}\bmod
        \beta^{m}\}_{y\in Y}$
        span a vectorspace of dimension $d=\min(m,\mu)$ in
$k[\beta]/(\beta^{m})$.
\end{lemma}

\begin{proof}
        Vandermonde's determinant.
\end{proof}

\begin{proposition}
\label{exponential example}
        Let $k$ be a field and $d, m$ integers with $d\ge 3, m \ge 3d-2$,
        and $(m-1)!\ne 0$ in $k$.  Assume $Y\subseteq k$ is a finite
        subset of cardinality $d$ such that the set of differences
        $$
        Y-Y = \{y_{1}-y_{2}\mid y_{1},y_{2}\in Y\}\subseteq k
        $$
        has maximal cardinality, equal to $1 + 2 \binom{d}{2}$.
        Let $V$ be the $k$-vectorspace given by
        $(\beta^{m})\subseteq V\subseteq k[\beta]$ and
        $$
        V/(\beta^{m})= \sum_{y\in Y} k\left( e^{y\beta}\bmod
        \beta^{m}\right)\subseteq k[\beta]/(\beta^{m})\,.
        $$
        There is then no nonzero differential operator $\Theta=A(\beta) +
        B(\beta)\displaystyle\frac{\partial}{\partial \beta}$ with $A,B\in
        (\beta)$ and\ $\deg A,\deg B< m$ that transforms the
        $k$-vectorspace $V$ into itself.
\end{proposition}

\begin{proof}
        The condition on (the characteristic of) $k$ ensures that $V$ is
        well defined.  If $\Theta=A(\beta) +
        B(\beta)\displaystyle\frac{\partial}{\partial \beta}$ is a
        differential operator on $k[\beta]$ with $B(0)=0$, then
    \begin{equation}
    \label{exponential}
            \Theta(e^{y\beta}\bmod \beta^{m}) = \left(A(\beta) + y
            B(\beta)\right)e^{y\beta}\bmod \beta^{m}\,.
    \end{equation}
        Now assume
        \begin{equation}
        \label{expsystem}
                \left(A(\beta) + y
                B(\beta)\right)e^{y\beta}\bmod \beta^{m} =\sum_{y'\in
                Y}a_{yy'} e^{y'\beta}\bmod \beta^{m}
        \end{equation}
        for some matrix $(a_{yy'})_{y,y'\in Y}$ of elements from $k$.
        Multiplying by $e^{-y\beta}\bmod
        \beta^{m}$ and subtracting yields an equation
        \begin{equation}
        \label{equation for B}
                \left(y_{1}-y_{2}\right)B = \sum_{y'\in Y}a_{y_{1}y'}
                e^{(y'-y_{1})\beta} -\sum_{y'\in Y}a_{y_{2}y'}
                e^{(y'-y_{2})\beta}\bmod \beta^{m}
        \end{equation}
        for each pair of elements $(y_{1},y_{2})\in Y\times Y$.  If $y_{3}$ is
        a third element from $Y$, there result equations
        \begin{align*}
                &\left(y_{1}-y_{2}\right)\left(\sum_{y'\in Y}a_{y_{1}y'}
                e^{(y'-y_{1})\beta} -\sum_{y'\in Y}a_{y_{3}y'}
                e^{(y'-y_{3})\beta}\right)\bmod \beta^{m} \\
                =&\left(y_{1}-y_{3}\right)\left(\sum_{y'\in Y}a_{y_{1}y'}
                e^{(y'-y_{1})\beta} -\sum_{y'\in Y}a_{y_{2}y'}
                e^{(y'-y_{2})\beta}\right)\bmod \beta^{m}
        \end{align*}
        in $k[\beta]/(\beta^{m})$.  The (classes of) exponential
        functions involved are $1 = e^{0\beta}$ and $e^{y_{i}-y_{j}}$ for
        $y_{i}\in Y\setminus\{y_{j}\}$ with $j=1,2,3$.  By the assumption on
        the set of differences, if $y_{1},y_{2},y_{3}$ are pairwise
        distinct, the
        set
        $$
        Z:= \{0, \, y_{i}-y_{j};\, y_{i}\in
        Y\setminus\{y_{j}\}; \;\; j=1,2,3\}\subseteq Y - Y\subseteq k
        $$
        has cardinality equal to $1 + 3(d-1) = 3d-2$, and as $m\ge 3d-2$,
        the corresponding classes $\{e^{z\beta}\bmod
        \beta^{m}\}_{z\in
        Z}$ are linearly independent in $k[\beta]/(\beta^{m})$ by Lemma
        (\ref{Vandermonde}).  It
        follows in particular that $a_{y_{i}y_{2}}=0$ for $y_{i}\ne
        y_{2}$.  As the choice of $y_{2}$ was arbitrary and as there are at
        least $3$ distinct elements in $Y$, it follows that $a_{yy'}=0$
        whenever $y\ne y'$. In turn,
        the system (\ref{expsystem}) evaluates now at $\beta=0$ to
        $$
        A(0) + y B(0) = \sum_{y'\in Y}a_{yy'} = a_{yy}\;,\quad y\in Y,
        $$
        and so $A(0) = B(0) = 0$ implies that the diagonal elements $a_{yy}$
        vanish as well. Finally, equation (\ref{equation for B}) shows
        that $B=0$ and any equation in (\ref{expsystem}) yields $A=0$.
\end{proof}

\begin{corollary}
\label{exponential examples}
        Let $I\subset kQ$ be an admissible ideal with discrete invariants
        $(n,n',n'',d)$ and continuous invariant
        $\left(V/(\beta^{m})\right)\in \Grass_{k}(d,m)$.  If $m!\ne
        0$ in $k$ for $m=\min(n',n'')$, and if $m\ge 3d-2 \ge 7$, then
        there exists a Zariski open and dense subset ${\mathfrak U}\subset
        \Grass_{k}(d,m)$ such that $\artA = kQ/I$ satisfies
        $$
        \dim_{k}\Hoch^{1}(\artA) = n-m
        $$
        whenever $\left(V/(\beta^{m})\right)\in\mathfrak U$.
\end{corollary}

\begin{proof}
	The conditions guarantee that $d,m$ satisfy the hypotheses of
	Proposition (\ref{exponential example}) and that $\delta =
	\gcd(n,n',n'')\le m$ is a unit in $k$, whence $c=0$.  As
	$\dim_{k}\Hoch^{1}(\artA)$ is upper semicontinuous on
	$\Grass_{k}(d,m)$ it remains to show that the minimal value is
	taken on generically, for example over the purely transcendental
	field extension $k' = k(y_{1},\ldots,y_{d})$ of $k$.  There
	Proposition (\ref{exponential example}) applies.
\end{proof}

\begin{example}
\label{explicit exponential}
	The simplest case occurs for $d=3, m=7$.  With $Y=\{0,1,3\}$, the
	set of differences $Y-Y = \{-3,-2,-1,0,1,2,3\}$ has maximal
	cardinality and so for any field $k$ of characteristic greater
	than $7$ or of characteristic zero, the $k$-algebra
    $$
	\artA = kQ/(\beta^{7}, \alpha\gamma , \alpha (e^{\beta}\bmod
	\beta^{7})\gamma , \alpha (e^{3\beta}\bmod \beta^{7})\gamma)
    $$
	of dimension $27$ has a loop in its ordinary quiver but satisfies
	$\Hoch^{1}(\artA) = 0$.
\end{example}

\section{Arbitrary Characteristic}

To find examples in arbitrary characteristic, we analyze a bit further
the system of equations (\ref{thesystem}). One may choose a $k$-basis
$\left(p_{i}(\beta)\right)_{i\in \bbbn}$ of $V\subseteq k[\beta]$ such
that the {\em orders\/} $\ord p_{i}$ of these polynomials satisfy
$$
0\le \nu_{1}=\ord p_{1} < \nu_{2}=\ord p_{2} < \dotsb < \nu_{i}=\ord
p_{i} <\dotsb\,.
$$
As $(\beta^{m})\subseteq V$ one has $\nu_{i}\le m+i-1$; the classes of
$p_{1},\ldots,p_{d}$ constitute a basis of $V/\left(\beta^{m}\right)$.
In view of Example (\ref{ideal}) we assume henceforth that $m \ge 2$.

\begin{lemma}
	With the preceding notations and assumptions, the dimension of the
	Lie algebra ${\mathcal D}'(\artA )$ from {\em (\ref{D'})} satisfies
    $$
	\dim {\mathcal D}'(\artA ) \ge 2m - \max(1, \nu_{1} ,m-\nu_{2} + 1) -
	\max(1, m-\nu_{1})\,.
    $$
    In particular, ${\mathcal D}'(\artA ) = 0$ implies $\nu_{1}=0$ and $\nu_{2}=1$.
\end{lemma}

\begin{proof}
	Consider first the integers $\mu$ with $m\ge \mu > \max(1,\nu_{1},
	m-\nu_{2} + 1)$.  As $\mu > \nu_{1}$, each $B_{\mu}(\beta) =
	-\beta^{\mu-\nu_{1}-1} p_{1}$ is a nonzero polynomial.  As $m\ge
	\mu > 1$ the order satisfies
    $$
    m > \ord B_{\mu} = (\mu-\nu_{1}-1) + \nu_{1} = \mu -1 > 0\,
    $$
	whence $B_{\mu}(0)=0$ and the classes $\{B_{\mu}(\beta) \bmod
	{\beta^{m}}\}_{\mu}$ are $k$-linearly independent in
	$k[\beta]/(\beta^{m})$.  For the differential operator
	$\Theta_{\mu} = \beta^{\mu-\nu_{1}-1}\left(p'_{1} -
	p_{1}\frac{\partial}{\partial\beta}\right)$ one has
	$\Theta_{\mu}(p_{1})=0$ by construction and for $i\ge 1$ one finds
    \begin{align*}
		\ord(\Theta_{\mu}(p_{i})) &=
		\ord\left(\beta^{\mu-\nu_{1}-1}\left(p'_{1} p_{i} -
		p_{1}p'_{i}\right)\right)\\
		& \ge (\mu-\nu_{1}-1) + (\nu_{1}+ \nu_{i} - 1)\ge \mu +
		\nu_{2} - 2 \ge m
    \end{align*}
	in view of $\nu_{i}\ge \nu_{2}$ and $\mu \ge m-\nu_{2} + 2$.  It
	follows that $\Theta_{\mu}(p_{i})\in (\beta^{m})\subseteq V$ for
	each $i$, whence the subset $\{\Theta_{\mu}\}_{\mu}\subseteq
	{\mathcal D}'(\artA )$ is $k$-linearly independent of cardinality $m -
	\max(1, \nu_{1} ,m-\nu_{2} + 1)$.

	Now consider the integers $\mu'$ with $m >\mu' \ge \max(1,
	m-\nu_{1})$.  The polynomials $A(\beta) = \beta^{\mu'}$ satisfy
	then $A(0) = 0$ and $\ord \left(Ap_{i}\right) = \mu' + \nu_{i}\ge
	\mu' + \nu_{1} \ge m$, whence the set of (scalar) differential
	operators $\{\Theta^{\mu'} = \beta^{\mu'}\}_{\mu'}$ defines a
	$k$-linearly independent subset of ${\mathcal D}'(\artA )$ of cardinality
	$m - \max(1, m-\nu_{1})$.  As the union
	$\{\Theta_{\mu}\}_{\mu}\cup \{\Theta^{\mu'}\}_{\mu'}$ is clearly
	still linearly independent over $k$, the lower bound on $\dim
	{\mathcal D}'(\artA )$ follows.

	For the final assertion observe that $0\le \nu_{1}\le m$ whence
	$1\le \max(1,m-\nu_{1})\le m$, with equality on the right if and
	only if $\nu_{1} =0$.  Similarly $1\le \nu_{2}\le m+1$ and so
	$1\le \max(1,\nu_{1},m-\nu_{2}+1)\le m$ with equality on the right
	if and only if $\nu_{1}=m$ or $\nu_{2}= 1$.  The claim follows.
\end{proof}

\begin{sit}
\label{triangular}
	Due to the preceding result we assume henceforth that
	$\nu_{1}=0, \nu_{2}=1$. We normalize further the polynomials $p_{i}$ so
	that
    $$
    p_{i}(\beta) = \beta^{\nu_{i}} +
        \sum_{j=1}^{m-1-\nu_{i}}p_{i,j}\beta^{\nu_{i}+j}\quad,\quad
        p_{i,j}\in k\,.
    $$
	As $\nu_{2}=1$, we may moreover assume $p_{1,1}=0$.
	Indeed, if the {\em order sequence\/} $(0 <1 <\nu_{3}
	<\ldots <\nu_{d})$ is fixed, we can impose $p_{i,j}=
	0$ whenever $j = \nu_{i'}-\nu_{i}$ for some $i'>i$, and in that
	case the undetermined $p_{i,j}$ serve as $d(m-d)$ affine coordinates on
	$\Grass_{k}(d,m)$ for the classes of vectorspaces with the given
	order sequence.
\end{sit}

\begin{sit}
	Just comparing orders
	and lowest order terms of the polynomials on both sides of the
	equations in (\ref{thesystem}) shows that $A(0)=B(0)=0$
	implies
    \begin{enumerate}
    \item[(a)] $a_{ij}=0$ for $1\le j < i \le d$,

    \item[(b)] $a_{11}= 0$,

    \item[(c)] $B = a_{22}\beta + O(\beta^{2})$, and

    \item[(d)] $a_{ii} = \nu_{i} a_{22}$ for $i = 3,\ldots,d$.
    \end{enumerate}
\end{sit}

\begin{sit}
	Now consider the polynomials
    \begin{equation}
    \label{Wronski}
       \begin{split}
       \Delta_{ij}&=\det\left(\begin{matrix}
                    p_{i}& p'_{i}\\
                    p_{j}& p'_{j} \end{matrix}\right)\\
				  &= \nu_{ji}\beta^{\nu_{j}+\nu_{i}-1}+
				  \left[\left(\nu_{ji}+1\right)p_{j,1}+
				  \left(\nu_{ji}-1\right)p_{i,1}\right]\beta^{\nu_{j}+\nu_{i}}
				  +O(\beta^{\nu_{j}+\nu_{i}+1})
        \end{split}
   \end{equation}
   in $k[\beta]$ where $\nu_{ji}=\nu_{j}-\nu_{i}$.  The assumption
   $\ord p_{1} = 0, \ord p_{2} = 1$ yields that $\Delta_{12}$ is a
   unit in $k[\beta]/(\beta^m)$.  Moreover
   \begin{equation}
   \label{Pluecker}
       \left(\Delta_{2i},-\Delta_{1i},\Delta_{12}\right)
       \left(\begin{matrix}
                p_{1}& p'_{1}\\
                p_{2}& p'_{2}\\
                p_{i}& p'_{i}\\
	   \end{matrix}\right) =
	   \left(0,0\right)\,.
   \end{equation}
   Multiplying the given system (\ref{thesystem}) from the left by the
   $d\times d$-matrix of polynomials
   \begin{equation*}
	   \left(
	   \begin{matrix}
           p'_{2}&-p'_{1}& 0  &\ldots &0  &\ldots &0  \\
           -p_{2}&  p_{1}& 0  &\ldots &0 &\ldots &0 \\
	   \Delta_{23}&-\Delta_{13}&\Delta_{12}&\ldots&0 &\ldots&0\\
	   \vdots &\vdots & \vdots &\ddots &\vdots &&\vdots\\
       \Delta_{2i}&-\Delta_{1i}&0&\ldots&\Delta_{12}&\ldots&0\\
	   \vdots & \vdots &\vdots & &\vdots &\ddots&\vdots\\
       \Delta_{2d}&-\Delta_{1d}&0&\ldots&0&\ldots&\Delta_{12}
       \end{matrix}
       \right)
   \end{equation*}
   produces the equivalent system
   \begin{equation}
   \label{Deltasystem}
       \begin{split}
       \Delta_{12}A &\equiv \sum_{j=1}^{d}\left(a_{1j}p'_{2} -
       a_{2j}p'_{1}\right)p_{j} \bmod \beta^{m}\\
       \Delta_{12}B &\equiv \sum_{j=1}^{d}\left(-a_{1j}p_{2} +
       a_{2j}p_{1}\right)p_{j} \bmod \beta^{m}\\
       0&\equiv \sum_{j=1}^{d}\left(a_{1j}\Delta_{2i} -
       a_{2j}\Delta_{1i}+
       a_{ij}\Delta_{12}\right)p_{j} \bmod \beta^{m}\;;
        \;i=3,\ldots,d\,.
       \end{split}
       \end{equation}
Using relation (\ref{Pluecker}) to write $\Delta_{1i}p_{2}=
\Delta_{2i}p_{1} + \Delta_{12}p_{i}$ and employing the conditions found in
(\ref{triangular}), the last $d-2$ equations in (\ref{Deltasystem})
become
\begin{multline}
\label{c}
        0\equiv -a_{22}\left(\Delta_{2i}p_{1} +
        (1-\nu_{i})\Delta_{12}p_{i}\right) +\\
        \quad\sum_{j=2}^{d}a_{1j}\Delta_{2i}p_{j} -
        \sum_{j=3}^{d}a_{2j}\Delta_{1i}p_{j} +
        \sum_{j=i+1}^{d}a_{i j}\Delta_{12}p_{j}\bmod \beta^{m}\;;\;
                i=3,\ldots,d\,.
\end{multline}
Consider in particular the equation for $i=d$,
\begin{equation*}
\label{d}
0\equiv -a_{22}\left(\Delta_{2d}p_{1} +
	        (1-\nu_{d})\Delta_{12}p_{d}\right) +
	        \sum_{j=2}^{d}a_{1j}\Delta_{2d}p_{j} -
	        \sum_{j=3}^{d}a_{2j}\Delta_{1d}p_{j} \bmod \beta^{m}.
\end{equation*}
If the occurring $2(d-1)$ polynomials
\begin{equation}
	\label{qs}
	\begin{split}
	 q_{d} &:= \Delta_{2d}p_{1} + (1-\nu_{d})\Delta_{12}p_{d}\\
	q_{1dj}&:= \Delta_{1d}p_{j}\quad\quad\text{for}\quad
			                  j=3,\ldots,d,\\
	q_{2dj}&:= \Delta_{2d}p_{j}\quad\quad\text{for}\quad
						   j=2,\ldots,d,
	\end{split}
\end{equation}
are linearly independent modulo $(\beta^{m})$, then the coefficients
$a_{1j}, a_{2j}$ have to vanish for all $j$.  Remembering that
$\Delta_{12}$ is a unit, looking back at system (\ref{Deltasystem})
shows then that $A=B=0$, and so ${\mathcal D}'(A)=0$.

If $d=3$, this condition is clearly as well necessary,
whence we get the following result.
\end{sit}

\begin{corollary}
\label{d=3}
	If $d=3$ and $V$ is generated modulo $(\beta^{n})$ by $3$
	polynomials of the form $p_{1} = 1 + O(\beta)$, $p_{2} = \beta +
	O(\beta^{2})$ and $p_{3} = \beta^{\nu_{3}} +O(\beta^{\nu_{3}+1})$,
	then $\artA = kQ/I(n;n,n;V)$ satisfies $\Hoch^{1}(\artA)=0$ if and
	only if $n\ne 0$ in $k$ and the classes of the four polynomials
    \begin{align*}
         q_{3} &= \Delta_{23}p_{1} +
         (1-\nu_{3})\Delta_{12}p_{3},\quad
        q_{133} = \Delta_{13}p_{3},\quad
        q_{232} = \Delta_{23}p_{2},\quad
        q_{233} = \Delta_{23}p_{3}
    \end{align*}
    are $k$-linearly independent in $k[\beta]/(\beta^{n})$.
    \qed
\end{corollary}

To investigate the polynomials in (\ref{qs}), look at their low order
terms. Using (\ref{Wronski}) and assuming, as we may according to
 (\ref{triangular}), that $p_{1,1}=0$
we obtain
\begin{align*}
	q_{d} &= \left(p_{d,1} - \nu_{d}p_{2,1}\right)\beta^{\nu_{d}+1} +
	O(\beta^{\nu_{d}+2})\\
	q_{1dj}& = \nu_{d}\beta^{\nu_{d}+\nu_{j}-1} +
	O(\beta^{\nu_{d}+\nu_{j}})\qquad \text{for}\ j=3,\ldots,d\,,\\
	q_{2dj}& = (\nu_{d}-1)\beta^{\nu_{d}+\nu_{j}}+
	[\nu_{d}p_{d,1}+(\nu_{d}-1)p_{j,1}+(\nu_{d}-2)p_{2,1}]
	\beta^{\nu_{d}+\nu_{j}+1} \\
	&\quad\qquad + O(\beta^{\nu_{d}+\nu_{j}+2})\qquad \text{for}\ j=2,\ldots,d\,.
\intertext{Now assume that $\ch k = p > 0$ and that
$\nu_{d}=\ord p_{d}\equiv 1\bmod p$. In this case the preceding
expressions simplify to}
	q_{d} &= \left(p_{d,1} - p_{2,1}\right)\beta^{\nu_{d}+1} +
	O(\beta^{\nu_{d}+2})\\
	q_{1dj}& = \beta^{\nu_{d}+\nu_{j}-1} +
	O(\beta^{\nu_{d}+\nu_{j}+1})\qquad \text{for}\ j=3,\ldots,d\,,\\
	q_{2dj}& =
	\left(p_{d,1} - p_{2,1}\right)
	\beta^{\nu_{d}+\nu_{j}+1} + O(\beta^{\nu_{d}+\nu_{j}+2})\qquad \text{for}\ j=2,\ldots,d\,.
\end{align*}
This shows the following result.

\begin{corollary}
\label{positive characteristic}
	Assume $\ch k = p > 0$, $d\ge 3$ and $\nu_{d}=\ord p_{d}\equiv
	1\bmod p$.  If $p_{d,1}- p_{2,1}\ne 0$, and if furthermore the set
	$$
	\{\nu_{d}+1,\nu_{d}+\nu_{j}-1;j=3,\ldots,d;
	\nu_{d}+\nu_{j}+1;j=2,\ldots,d\}
	$$
	contains $2(d-1)$ distinct integers smaller than $n$, then $\artA=
	kQ/(n;n,n;V)$ satisfies $\Hoch^{1}(\artA)=0$ whenever $n\ne 0$ in
	$k$.
\end{corollary}

\begin{example}
\label{positive example}
	For $d=3$ the set in question is just $\nu_{3} + \{1,\nu_{3}-1, 2,
	\nu_{3}+1\}$ and so the Corollary (\ref{positive characteristic})
	applies to the algebra $\artA =kQ/I(6p+1,6p+1,6p+1,V)$ where still
	$\ch k = p > 0$, and $V/(\beta^{6p+1})$ is generated by $p_{1}=
	1$, $p_{2}= \beta+\beta^{2}$, $p_{3}= \beta^{2 p+1}$.  Explicitly,
    $$
	\artA =kQ/\left(\beta^{6p+1}, \alpha\gamma,
	\alpha(\beta+\beta^{2})\gamma, \alpha\beta^{2p+1}\gamma\right)\,.
    $$
\end{example}

To summarize, we now have the\\
{\sc Proof of Theorem} (\ref{main result}): Combine (\ref{Cartan}),
(\ref{frt}), (\ref{explicit exponential}) and (\ref{positive
example}).\qed

\section{Concluding Remarks}

\begin{sit}
	An unsatisfactory feature of the example in (\ref {positive example})
	is perhaps that its Loewy length grows with the characteristic of
	the coefficient field.  One might thus want to analyze directly the
	situation for $d=3$ in any characteristic. For
	\begin{align*}
		p_{1} &= 1 + p_{1,3}\beta^{3} + p_{1,4}\beta^{4} +
		p_{1,5}\beta^{5} + p_{1,6}\beta^{6} + p_{1,7}\beta^{7} +\ldots \\
		p_{2} &= \beta  + p_{2,2}\beta^{3} + p_{2,3}\beta^{4} +
		p_{2,4}\beta^{5} + p_{2,5}\beta^{6} + p_{2,6}\beta^{7}+\ldots \\
		p_{3} &= \beta^{2}  + p_{3,1}\beta^{3} + p_{3,2}\beta^{4} +
		p_{3,3}\beta^{5} + p_{3,4}\beta^{6} + p_{3,5}\beta^{7} +\ldots
	\end{align*}
	the four polynomials $q_{3}, q_{133}, q_{232}, q_{233}$ from
	(\ref{d=3}) are of order at least $\nu_{3}+1 = 3$ and
	a quick calculation in, say,  {\sc Maple} shows that the matrix of
	their coefficients with respect to
	$\beta^{3}, \beta^{4}, \beta^{5}, \beta^{6}$ has determinant
	$$
	-3\left
	(p_{1,3}-2p_{2,3}+p_{3,3}+p_{3,1}(3p_{2,2}+2p_{3,1}^2-3p_{3,2})\right)^2
	$$
	which yields the following computer aided result: There are examples
	with vanishing first Hochschild cohomology of type $kQ/I(7;7,7;V)$ and
	$d=3$ if and only if the characteristic of $k$ is different from $3$
	or $7$.  If one looks at the same coefficient matrix but with respect
	to $\beta^{3}, \beta^{4}, \beta^{5}, \beta^{6}, \beta^{7}$, then a
	similar computer calculation shows that the cofactor of $\beta^{5}$ is
	a primitive polynomial in the $p_{i,j}$, whence there are examples
	with vanishing first Hochschild cohomology of type $kQ/I(8;8,8;V)$
	with $d=3$ in any characteristic different from $2$.
\end{sit}

\begin{sit}
	We finish with an exercise for the diligent reader: Let $Q_{(r)}$ be
	the quiver that has again vertices $\bf 1,2,3$ and arrows
	$\alpha\colon{\bf 2}\to {\bf 1},\ \gamma\colon{\bf 3}\to {\bf 2}$, but
	this time $r$ loops $\beta_{\rho}\colon{\bf 2}\to {\bf 2}$ for
	$\rho=1,\ldots,r$.

	Extending the method of (\ref{exponential example}) to several
	variables shows that in large enough or zero characteristic there are
	finite dimensional $k$-algebras $\artA$ on $Q_{(r)}$ that satisfy
	$\Hoch^{1}(A)=0$. Thus there is not even an upper bound on
	the number of loops in the ordinary quiver of an Artin algebra without outer derivations.
\end{sit}


\section{Introduction.}

In this paper we present an application of explanation-based learning (EBL) in the parsing module of a real-time English-Spanish machine translation (MT) system designed to translate closed captions. The core idea of EBL is to convert previous analyses into some
generalized form that can be called on when similar new examples are encountered (\citeboth{Mitchell:Mit86}; \citeboth{Harmelen:Har88}). The main motivation for using an explanation-based learning approach to parsing is to increase
efficiency. Dramatic increases in speed can be obtained, at the expense of some coverage and increased memory requirements. In our MT system, efficiency is a major priority because the closed captions included with television and video broadcasts will be translated in real-time. In this paper we discuss the various efficiency/coverage trade-offs that are available within the EBL approach and describe the techniques we use to
maximize coverage while maintaining efficiency as the primary focus.

This paper is organized as follows. In section 2 we introduce the EBL approach as it has been
used in natural language processing. Section 3 introduces the translation system in which the
EBL parser is embedded and discusses the consequences of efficiency versus coverage in this
domain. In section 4 we introduce our EBL parser and describe the means we use to maximize
efficiency and coverage. The performance of the system is discussed in section 5. Concluding
comments can be found in section 6.

\section{\label{tcc}Explanation-based Learning in Natural Language Processing.}

The EBL approach has been extended to natural language processing (NLP) by \citeauthor{Rayner:Ray88} (\citeyear{Rayner:Ray88}), \citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95}), among others. They use
existing wide-coverage grammars (or a tree bank \cite{Simaan:Sim97}) to analyze a set of training
examples. The analyses are then generalized in various ways so that they are applicable to a wide
range of examples beyond the original input string. In some cases these analyses are manually-checked before generalization to ensure they are the correct interpretation for the given input
string  \cite{Samuelsson:Sam94}. Typically, the generalized parse is stored with a
key that is used to subsequently identify when this parse is applicable to a new example. \citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95}), for example, use the part of speech sequence of the input string as the key. The generalized structures that are saved during EBL training are referred to as `generalized parses,' `macro-rules,' `generalized macro-rules,' or `rule-chunks'. For our purposes these terms are inter-changeable.

It is a characteristic of general wide-coverage
grammars that they are extremely ambiguous. Hence, parsing involves many options and can be quite slow. The advantage of EBL is that the run-time complexity of parsing is reduced since the majority
of the parsing occurs off-line. At run-time, the system need only identify the most similar parse
from those available. In theory the accuracy of the system can be increased since an
EBL grammar is tuned to the rules actually used in the training domain.

The one disadvantage of the EBL approach is that there is a loss of coverage since the EBL grammar is a subset of the original grammar used to derive it. If an example is not covered by the generalized examples in the EBL grammar then an analysis cannot be provided.

\citeauthor{Rayner:Ray96} (\citeyear{Rayner:Ray96}) note that there are two main parameters that can be adjusted in the EBL learning
phase: training corpus size and the number and type of macro-rules. They note that the larger the corpus the smaller the loss in
coverage. However, it should be noted that the size/coverage correlation only holds within a corpus. Comparisons cannot be made across different corpora. For example, \citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95})
conduct tests on three different corpora. The coverage details of the EBL grammars they developed are given in Table 1. Both the largest and the smallest corpora have extremely poor coverage.
The median-sized corpus exhibits the best coverage. Hence, the coverage of a given corpus
depends both on the variability of the structures contained in the corpus as well as on its size.

\begin{table}

\begin{center}

\begin{tabular}{ccc}	\hline
Corpus & Training Corpus Size(sentences) & Coverage \\ \hline
ATIS & 356 & 80\% \\
IBM  &  1100 & 40\% \\
Alvey  &  80   & 50\% \\ \hline

\end{tabular}
\caption{Coverage on 3 different corpora, Srivinas \& Joshi 1995}
\end{center}

\end{table}

The second parameter that \citeauthor{Rayner:Ray96} identify is the number and type of `rule-chunks,' or
macro-rules, that are generalized. At one end of the spectrum are approaches like \citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95}) and \citeauthor{Neumann:Neu94} (\citeyear{Neumann:Neu94}) where the whole parse tree for each training example is turned into one
generalized macro-rule.   This type of grammar is extremely fast, but the coverage loss is typically
high. At the other end of the spectrum, each rule-chunk is derived from a single rule application.
This results in a grammar that is identical to the original one; there is no loss in coverage but
equally no gain in efficiency. \citeauthor{Rayner:Ray94} (\citeyear{Rayner:Ray94}) have taken the approach of trying to find an
intermediate solution by creating macro-rules corresponding to four possible units: full utterance, recursive NPs, non-recursive NPs and prepositional
phrases. \citeauthor{Samuelsson:Sam94} (\citeyear{Samuelsson:Sam94}), on the other hand, attempts to identify chunks automatically via an
entropy minimization method. \citeauthor{Rayner:Ray96} (\citeyear{Rayner:Ray96})  generalize to seven possible units.

The variation in coverage and speed that can be obtained by varying the number and type of rule
chunks is illustrated by comparing the results of \citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95}) and \citeauthor{Rayner:Ray96} (\citeyear{Rayner:Ray96}). \citeauthor{Srivinas:Sri95} obtain coverage of 40-80\% (over 3 corpora) with a 60 fold decrease in time when
compared to parsing their test examples with the original parser and grammar. \citeauthor{Rayner:Ray96}
claim 95\% coverage with a 10 fold decrease in parsing time.

There is a third parameter, not noted by \citeauthor{Rayner:Ray96} (\citeyear{Rayner:Ray96}), that can be adjusted in EBL. This is the
amount of information that is retained in the generalized rule. Minimally it is necessary to remove the
information contributed by the lexical items so that the rule can apply to new word strings. Beyond
this, there is considerable scope for variation. However, this possibility does not seem to have
been taken advantage of. \citeauthor{Rayner:Ray94} (\citeyear{Rayner:Ray94}), for example, are typical in keeping all of
the feature sharing specified in the original rules which make up the generalized macro-rule.

In sum, there are three parameters that can be adjusted in an EBL approach; the size of the training corpus, the size of the rule chunks, and the amount of information that is saved in the generalized parse. Before describing the approach we take, we briefly introduce the MT system in which
our EBL approach is embedded. This provides the motivation for our efficiency-based approach.

\section{The MT System.}

We have developed a constraint-based lexicalist transfer system, which is designed to
translate closed captions from English to Spanish \cite{Popowich:Pop97}.
The intended goal of this
system is a consumer product that Spanish native speakers will purchase so that they can access North
American broadcasting in their own language. This requires real-time translation since the translation occurs once the broadcast signal is received by the viewer's television. The translation must
be produced extremely quickly since the rate of caption flow is quite high. This translation environment dictates that, in the trade-off between efficiency and coverage, efficiency
should be given the first priority.

There are other factors of the domain which support this preference for efficiency over coverage.
In the context in which the translations will be used, the captions are just one of several information sources available to the viewer. When reading captions, the viewer also has the sound effects
and vocal tones of the source language speech, the visual context, and the storyline, each of
which contribute to convey meaning. Viewers use these information sources to complement the information from the captions. Shortcomings in the translated captions may be made up by the other information sources. Hence, in this domain we can afford to
sacrifice some coverage in order to achieve the required efficiency. An example of closed captions can be found in Table 2.
\begin{table*}

\begin{center}
\begin{tabular}{l}				\hline
{\scriptsize CYNTHIA, PUSH! COME ON, CYNTHIA!}		\\
{\scriptsize GOOD GIRL.}				\\
{\scriptsize COME ON, CYNTHIA.}				\\
{\scriptsize GOOD GIRL. HE'S GOT THE HEAD.}		\\
{\scriptsize IT'S A BOY.}				\\
{\scriptsize OH! OH!}					\\
{\scriptsize OH, YOU'VE GOT A BOY!}			\\
{\scriptsize HERE, HONEY.}				\\
{\scriptsize HERE YOU GO.}				\\
{\scriptsize OKAY. OKAY.}				\\
{\scriptsize YEAH.}					\\
{\scriptsize SHOULD NOTIFY THE COUNTY, HUH? THANKS.}	\\	\hline
\end{tabular}
\end{center}
\caption{\label{script}Script fragment}
\end{table*}

The translation system consists of analysis, transfer, and generation components as illustrated in Figure 1. Note, this diagram has been simplified somewhat from the details of the actual system. Translation is a non-deterministic multi-phase process: failure in any one process causes back-tracking into a previous process. The rules and lexical entries in the system are defined in terms of feature structures. The analysis and generation phases need not utilise the same theoretical framework. It is only necessary that the appropriate features are used.

The analysis component consists of a part of speech (POS) tagger, a
segmenter, and an EBL parser. The POS tagger uses a
modified subset of the POS tags used in the Oxford Advanced
Learners Dictionary (henceforth OALD). The tagger assigns one tag per
word or phrase. The rule-based segmenter splits an input string into
one or more substrings which are translated separately. We refer to
these substrings as `segments'.

\begin{figure}[htb]
  \begin{center}
    \includegraphics{ALTo.eps}
  \end{center}
  \caption{System architecture}
\end{figure}

\section{An Efficiency-focused EBL Parser.}

In our EBL parser, we use a ``single-rule per training example" approach where the whole parse tree for each training
segment is converted into one generalized ``macro-rule." Although this maximizes efficiency, it is
most challenging in terms of coverage since a given generalized example will only apply to examples of the same length (\citeauthor{Srivinas:Sri95} (\citeyear{Srivinas:Sri95}) and \citeauthor{Neumann:Neu94} (\citeyear{Neumann:Neu94}) discuss techniques to
overcome this limitation). The generalized parses are keyed off the POS tag sequence of
the input string.

At run-time, the input string is tagged and segmented. Each segment is looked up in the EBL
index. If the POS sequence is found, then the lexical items from the input string are
unified with the generalized parse(s) keyed for this POS sequence. If unification is successful, a
parse has been found and the analysis phase is complete.

While this standard approach meets our efficiency requirements it does
pose some challenges for coverage.  In the following we describe the
techniques we have implemented to minimize coverage loss.

The generalization techniques we describe, whether concerning training
examples, lexical entries or generalized parses, share a common
theoretical motivation, based on the relation between our source
lexicon, our original grammar and our tagger. Our original grammar is
an HPSG-style lexicalist grammar, with most of the syntactic
information encoded in lexical entries. In turn, our lexicon was
derived from the OALD. The core of our lexical entries are macros
corresponding to modified versions of the lexical tags used in the
source lexicon. Each macro defines one relevant lexical class
(e.g. one macro for each verb subcategorization frame) and expands the
information concisely encoded in an OALD tag into a full feature
structure. On the other hand, our tagger uses the same set of
tags. Therefore there is a direct mapping between the lexical macros
used in the lexicon and the tags used by the tagger. This
correspondence has two relevant consequences. The negative consequence
is that our tagset is larger than most standard tagsets (such as that
used in the Penn treebank), and encodes information (like
subcategorization) usually unavailable in other tagsets. This makes
tagging a more challenging task than it is with other tagsets. The
positive consequence of having a lexicalist grammar and a direct
mapping between lexical categories and tags is that our tags encode,
in a nutshell, most of the information relevant to parsing. This
enables us to rely mainly on those tags for parsing and be able to
remove other features from our lexical entries in the generalization
phase without considerably affecting the accuracy of parsing. In other
words, we transfer part of the burden of resolving syntactic ambiguity
on tagging, thus making the parsing task easier.

The first way in which we increase coverage is by performing some of our generalization before
parsing the training corpus. Before parsing a training example,
we replace each word in the example with the part of speech tag assigned  by our tagger. In addition, we replace the lexicon with one containing a lexical entry for each POS tag. The lexical entry for each of these ``tag-words" is the most general instance of all words
that can take this tag. For example, the lexical entry for the tag-word ``determiner" is a feature structure corresponding to the generalization of all the individual determiner lexical entries. Having replaced the words with POS tags, we then parse the tag sequence as if it were a regular sentence \cite{Popowich:Pop97}.

This approach allows us to maximize the coverage of our tree. Because the input ``lexical items"
are extremely general, the parse obtained is quite general and is not a specific idiosyncratic parse
that may be produced from an input string containing words that are in some way unique or unusual. Hence,
we end up with parses that are likely to be general and therefore widely applicable to
new examples.

The second way in which we deal with the coverage issue is by prioritizing the selection of the training
examples. Most training sets discussed in the literature are quite small (below 5000), the only
exception being the 15,000 utterance corpus of \citeauthor{Rayner:Ray96} (\citeyear{Rayner:Ray96}). In addition, in many
cases it is unclear whether the size of the training and test corpora are restricted by the amount
available or are dictated by some other reason. In any case, if the training corpus is part
of some larger corpus, there appears to be no principled motivation behind its selection from the
larger corpus.

In contrast, we prioritize the selection of training examples. In order to maximize the coverage of the grammar, we ensure that our training corpus contains examples that reflect the most common constructions found in the corpus. Our method for extracting the training corpus is as follows, and is illustrated in Figure 2. Our base corpus consists of 11 million words of closed captions. As a first step we segment and tag this corpus to obtain a second corpus which consists of the part of speech sequences for each segment found in the original corpus. We select the 18,000 most frequent POS sequences to comprise our training corpus. Using this approach we guarantee that we are getting the
most mileage out of our EBL grammar since each training example is attested to be a
frequently occurring example in this domain. In addition, we increase coverage by using as large a training corpus as possible.

\begin{figure}[htb]
  \begin{center}
    \includegraphics{train.eps}
  \end{center}
  \caption{Training Architecture}
\end{figure}

Once an input sequence has been parsed, we essentially have a generalized parse already, since
the input string consists of POS tags instead of specific lexical items. In order to maximize coverage, we take our generalization one
step further and specifically target the parse to reflect the needs of the transfer component of the translation
system. We ignore the majority of the instantiated features and focus only on the 29 features which are referred to in the MT system's bilingual lexicon. We save any co-indexing found between these features and ignore the specific values of the features for all but eight of the features.

The goal of the bilingual lexicon is to specify mappings between source language lexical items and target language lexical items. Hence, the 29 features which are referenced in the bilingual lexicon, and for which we save co-indexing information, concern the status and indexes of gaps, fillers, modifiers, and complements, features specifying whether the lexical item is interrogative or relative, and features for number, POS, etc. The eight features for which we save values mainly provide details of the status of complements, gaps, fillers, and modifiers in the lexical item, as well as its word type and complement form. Although by saving these features we make our parse less general (the most general form would just save the co-indexing), the realities of our system make this approach the most efficient. These eight features differentiate between many homographic lexical items that have the same part of speech tag, yet have different feature structures. If we do not save the values of these features, then an inappropriate lexical item can unify with the parse. This inappropriate item  is likely to cause problems in either transfer or generation, requiring the system to eventually backtrack into the parser to select the appropriate lexical item. However, to rely on those components to make up for a bad  choice in parsing is time consuming and not the best use of the limited time available to our real-time system. Hence, we save these features in the generalized parse. This means that an inappropriate lexical entry will fail in parsing instead of later in the system. The system can then immediately try other lexical entries which may be more appropriate. A simplified example of a generalized parse can be found in Figure 3.

\begin{figure}[htb]
  \begin{center}
    \includegraphics{parse.eps}
  \end{center}
  \caption{Simplified Example of a Generalized Parse}
\end{figure}

There are several advantages to this approach. Firstly, our parses are more general since we do not save the specific values of most of the features.  Instead, we save the co-indexing which has been introduced by the  rules that were used in creating the parse. In addition, we are only interested in the co-indexing that holds between the 29 features that are relevant to transfer. For the most part, the values of the features will be instantiated during parsing when the parse is unified with lexical entries.

Secondly, this approach is more efficient since we are saving less information for each parse. Hence, for an EBL grammar of a specific size, this means an increase in the number of generalized parses that can be saved. Thirdly, fewer features means that run-time unification is faster.

The final technique that we use to increase coverage is to generalize
the key under which parses are saved. For instance, our tagset
categorises prepositions into five classes: noun-modifying,
verb-modifying, verb complement, partitive, and passive
prepositions. Although the features structures for these lexical items
are distinct, in some cases they are combined using the same
rules. Hence, the parses differ only in the values of the features and
not in the co-indexing that parsing introduces. In order to increase
coverage, for selected tags we save parses under a more general tag,
such as preposition. On this approach, a generalized parse for an
input sequence such as `case\_prep determiner noun,' is saved under
the key `preposition determiner noun.' It can then be used to parse
any input sequence containing one of the six prepositions followed by
a determiner and a noun. Hence, the one generalized parse can apply to
a wider range of input. This results in increased
coverage. Furthermore, the resulting parse still contains the more
detailed information from the more specifically tagged
lexical entries. This information is vital for the accuracy of the
transfer module.

In addition to the above approaches, we also include a few run-time heuristics to increase coverage. If a
generalized parse cannot be found for a POS sequence, we allow the deletion of various lexical
items. These include adverbs, adjectives, and other parts of speech whose primary goal is to modify information existing in the utterance. After deleting a lexical item, we again search the index
for the EBL grammar to see if this reduced POS sequence can be found.

It is the characteristics of our domain that allow us to take some of these approaches. The nature of colloquial text is such that the input to the machine translation system may cover a
very wide semantic domain and may not be strictly grammatical. Hence, our source  grammar is a grammar of colloquial
English rather than a grammar of formal English. In addition, the grammar is just
restrictive enough to augment the input lexical entries with sufficient information for the subsequent transfer phase. Any additional information which can be recovered in some other way during transfer is superfluous and thus avoided. For instance, the English grammar does not enforce
agreement between subject and verb, because the Spanish grammar still has the means (by reference to argument indices) to recognize the subject-verb relation and to independently enforce
proper agreement on the Spanish output. The unrestrictive nature of our original grammar motivates our unrestrictive approach to our EBL grammar. We maintain only the information that is
required for effective transfer.

Our heuristic to delete words from the input string is possible because our overall translation goal
is not ``meaning equivalence" between the input string and its translation, but meaning subsumption
\cite{Popowich:Pop97}. That is, our translation objectives have been met if the meaning of the target string subsumes the meaning of the source string. This approach is possible because the
captions are only one of the information sources available to the user.

In sum, our prime objective of efficiency dictates that we use the ``single-rule per training example" approach. We mitigate the loss of coverage engendered by this approach by (i) prioritizing the training corpus, (ii) generalizing the input to training by parsing POS sequences instead of word sequences, and (iii) by reducing the amount of information that is stored for
each generalized parse.

\section{Performance.}

This section describes a number of experiments carried out to test the effectiveness of our
approach. We first evaluate the efficiency of the system and then review its coverage.

The EBL grammar  was built from a corpus consisting of the 18,000  most
frequent POS sequences found in the segmented 11 million word
corpus. Around 11,500 of these sequences could be parsed by our regular chart parser and hence the EBL parser covers these 11,500 sequences. Of the sequences which found a parse, the maximum length tag sequence  contains 21 tags and the
average length is 7.3 tags. The 11,500 sequences which could be parsed were generalized to 8,757 tag sequence keys. Hence, by generalizing the preposition, verb, and auxiliary tags, we are able to reduce our index by about 25\%. This means that in our next phase we can increase the number of tag sequences we use in training.

We limit the number of parses that are stored for each POS sequence in the index. The maximum is a function of the number of generalizable tags in the sequence. Parsing the training corpus resulted in  20,235 generalized parses stored for an average of 2.3 parses per POS index key. The tests  were
carried  out on a file of 1000 sentences randomly selected from the 11
million word corpus.

The  details in Table 3 indicate that the system meets our speed requirements. The average parse time for a segment using
the EBL approach is significantly faster than our original chart
parser. The times given in Table 3 reflect the cumulative time spent in the parse module. That is, if the system back-tracks into the parsing module, the additional time spent in this module is added to the total time.

\begin{table}
\begin{center}

\begin{tabular}{lc}	\hline
Parser & Average time per segment \\ \hline
Chart parser & 900.5 milliseconds \\
EBL Parser  &  4.0 milliseconds \\ \hline
\end{tabular}
\end{center}
\caption{Parser Comparison}
\end{table}

Overall, the coverage results are also encouraging. Table 4 provides the details. The EBL database has an
overall coverage of 78.6\% for multi-word segments produced by our segmenter. That is, 78.6\% of the  multi-word segments in the test
file are assigned a
POS tag sequence that it is in the EBL database. Considering that we
take the ``one rule per training example'' approach, this is quite
impressive. 87.9\% of the multi-word segments that were covered by the EBL database
 found a parse in the EBL database (i.e. one of the stored parses unified
successfully with the input lexical items). Of those multi-word segments which
found a parse via the EBL method, 89.9\% subsequently found a translation. In all, 62.1\%  of segments found a translation via the EBL method. This is an increase of 15\% over the results found in our original EBL system. That system provided EBL translations for  54.2\% of the input segments.

\begin{table}
  \begin{center}

  \begin{tabular}{lc} \hline
   Coverage & Performance \\  \hline
    POS sequence found (overall) & \ \ 78.6\%  \\
    Parse found (when sequence already found) & \ \ 87.9\% \\
    Translation found (when parse already found) &  89.9\% \\
    \hline
  \end{tabular}

  \end{center}
\caption{Coverage}
\end{table}

In an analysis of 100 of the input sentences, the translations for 59.4\% of the sentences (which consist of one or more segments) were
rated as acceptable (on an acceptable/ not acceptable scale). In comparison, when translated via
the original chart parser, an acceptability rate of 68\% was achieved.
Our criteria for acceptability are discussed in \cite{Popowich:Pop97}.

Some example translations are given in Table 5. Acceptable/Unacceptable translations are identified by 'Y'/'N' respectively. In this table, the notation 'OK' is used for an example which is deemed acceptable but which is not as good as the translation provided by the alternative parser. As expected, there are cases where the coverage of the EBL grammar is less than that of the original grammar. This is illustrated by the examples (a) and (b) which failed to find a parse via the EBL grammar. In the case of (a), the tag sequence corresponding to this input was not found in the EBL index. Hence, no parse could be found. In the case of (b) a parse was found via the EBL approach, but this parse could not be translated by the transfer and generation components of the system. Both examples were translated by the fall-back word-for-word translation method. However, there are also cases where the EBL grammar performs better than the original full grammar. The full grammar failed to find a correct parse for (c) and the input  was translated word-for-word. In contrast, a correct parse was found via the EBL approach, resulting in a more acceptable translation.

\begin{table}
  \begin{center}

  \begin{tabular}{llll} \hline
   &English input &EBL translation&Full Grammar translation\\  \hline
   (a)&why'd you let& por qu\a'e t\a'u alquilando&por qu\a'e lo dejaste ganar-Y\\
   &him win& \a'el victoria-N\\
   (b)&this isn't right &esto es no correcto-OK&esto no est\a'a bien-Y \\
   (c)&that's a smart idea& eso es una idea lista-Y&eso es una lista idea-OK\\
    \hline
  \end{tabular}

  \end{center}
\caption{Comparison of Output}
\end{table}

These results indicate that the EBL approach will successfully meet
the needs of our real-time English-Spanish translation system. In
addition, they provide clear indication of the areas in which we
should focus to improve performance. For example, the
coverage  rate of 78.6\% needs to be increased. To do this we plan to integrate our EBL approach with a partial parser.

Secondly, for the cases where a parse is  found, we need to increase
the accuracy of the found parse. We will be analyzing our results to
determine whether the correct parse is not available or if it is
available but not selected. Thirdly, we plan to extend the EBL
approach to the generation phase of the translation system.

\section{Conclusion}

The explanation-based learning approach to parsing provides an
efficient means of providing analyses at the expense of some
coverage. In this paper we described how we took advantage of  these
efficiency gains in order to minimize the analysis time in a real-time
English to Spanish MT  system. We found that even when efficiency is
the prime objective, there are techniques that can  be used to
minimize the coverage loss. On several levels we were
able to maximize  coverage while focussing on efficiency. This was
achieved by making sure that the examples selected for training were
instances of the most frequent constructions, by generalizing the input
so  that the parses produced would be of the most general type, and by
generalizing the saved macro-rules and their key to the minimum needed for
subsequent components of the system.

\bibliographystyle{tmi}


\section{Introduction}

NaV$_2$O$_5$ has been reported to be the second inorganic spin-Peierls compound
\cite {a1}, following CuGeO$_3$, with a phase transition temperature T$_c$=34 K.
However, recent experimental findings suggest a different character for the
phase transition of NaV$_2$O$_5$ as compared to that of CuGeO$_3$ \cite {a2}.
NaV$_2$O$_5$ is believed to be a nearly perfect realization of a quarter-filled
low-dimensional system, with possible charge ordering below the critical
temperature.  Such a scenario is supported by structural analysis \cite {a3},
nuclear magnetic resonance experiments \cite {a4} and Raman scattering studies
\cite {a5}.  These results indicate that the V ions are equivalent at room
temperature and in a mixed-valent state, V$^{4.5+}$.  When lowering the
temperature below $T_c$ the V sites change their valence from uniform to
alternating V$^{4+}$ and V$^{5+}$ \cite {a4}.  Two different models for the
electronic ordering in the low-temperature phase have been discussed.  One is
described as in-line \cite {a6} with the V$^{4+}$ ions arranged along the legs
of the ladder ({\bf b}-axis) and the other one with the V$^{4+}$ ions arranged
in a zig-zag manner along the {\bf b}-axis \cite {a7,a8}.  The first one
requires an additional phase transition, like the ordinary spin-Peierls
transition, for an opening of the spin-gap.  For the second one it is argued
that a spin-gap appears due to the zig-zag ordering itself \cite {a8}.  However,
in both cases the driving mechanism for a particular charge ordering has not
been elucidated.  In the Raman spectra this transition manifests itself through
the appearance of new modes whose origin is still not fully understood \cite
{a9,a10,a11}.  In general, Raman scattering intensities are strongly correlated
with the electronic structure of solids.  Their determination as a function of
the laser photon energy yields information about the energies of interband
transitions and their orbital character as has been highlighted recently by
resonance Raman measurements on high- temperature superconductors \cite {a12}.
Having this in mind, we have measured Raman intensities as a function of the
laser wavelength, both above and below the phase transition temperature.  On the
basis of the observed effects we discuss the origin of the resonances and the
electronic structure of NaV$_2$O$_5$.

\section{Experiment}

The measurements were performed on single crystals, with a size of approximately
1x3x1 mm$^3$ along the {\bf a}, {\bf b}, and {\bf c} axis, respectively,
prepared as described in \cite {a1}.  As exciting source we used eight lines
from Ar$^+$ and Kr$^+$ ion lasers, with photon energies between 1.55 to 2.71 eV.
The laser beam, with an average power of 5 mW, was focused on the (001) surface
of the crystals.  The spectra were measured in back-scattering geometry using a
Dilor XY triple monochromator equipped with a CCD camera.  Comparable relative
Raman intensities were obtained by normalizing the measured spectra with respect
to the calibrated spectral emission density of an Ulbricht sphere system
(Opto-Electronik Reiche GmbH), thus taking care of the varying spectral response
of both spectrometer and detector over the large wavelength range investigated.

\section{High temperature spectra}

The room temperature Raman spectra in $c(aa)\bar c$ and $c(bb)\bar c$
 polarized configurations
are presented in Fig.  \ref{fig1}a) and b).  In the (aa) spectra seven phonon
modes are clearly seen with an additional broad continuum peaked at 650
$cm^{-1}$.  In this geometry all modes, as well as the continum, decrease in
intensity with decreasing laser photon energy.  In the spectra measured with
energies lower than 2 eV the appearance of an additional continuum centered at
about 170 $cm^{-1}$ is observed.  In contrast to the (aa) spectra, most peaks in
the (bb) spectra do not vary much with the laser line used, except for the 534
$cm^{-1}$ mode.  According to a lattice dynamical calculation \cite {a13}, the
969 $cm^{-1}$ mode originates from apical oxygen vibrations (V-$O_1$ stretching
vibrations) along the {\bf c}-axis.  The increase of its (aa) intensity with
increasing laser energy can be related to the resonance of the incoming (or
scattered) laser light with the strong electronic absorption band at 3.22 eV,
observed by ellipsometry \cite {a14}.  According to LMTO calculations \cite
{a15} this band represents the excitation of electrons hopping from the
$O_3$($p_y$) to the V($d_{xy}$) orbital.  Since the dielectric function along
the c-axis has no structure in the 1.7 to 5.5 eV range, we conclude that plane
bonds strongly couple with the apical oxygen leading to a large Stokes-Raman
efficiency, $S_{xx}(O_1)$.  Similarly, an electronic band related to
$O_3$($p_x$)-V($d_{xy}$) hopping is found along the {\bf b}-axis at 3.73 eV
\cite{a14}.  We thus expect a large intensity for the (bb) 969 $cm^{-1}$ phonon
at a laser energy around 3.7 eV.  One can use similar arguments for the resonant
behavior of other phonons with displacements that influence the O-V hopping.
The (aa) modes with energies of 448 and 534 $cm^{-1}$ overlap with the broad
continuum centered at 650 $cm^{-1}$ and exhibit typical Fano-type lineshapes
\cite {a16}.  We analyse the lineshape of the 535 $cm^{-1}$ mode by fitting to
the standard Fano expresion \cite {a16}.  The fitting parametar $q^{-1}$ is
plotted vs.  excitation energy in the inset of Fig.\ref{fig1}.  From the linear
extrapolation we obtain a resonance energy of $E_0$=0.9 0.2 eV.  This energy can
be associated with a large absorption band centered around 1-1.2 eV \cite
{a17,a18}, observed in both the {\bf E}$||${\bf a} and the {\bf E}$||${\bf b}
optical absorption spectra.  This band has been tentatively assigned to d-d
transitions \cite {a17,a18}.  In the literature there is still no consensus as
to whether the 1 eV band can be assigned to a d-d transition energy within the
t-J model using a reasonable range of parameters, with \cite {a18,a19} or
without \cite {a20} charge disproportionation.  An even more controversial issue
concerns the existence of low energy excitations in these models, as a possible
explanation for broad features found in IR and Raman spectra \cite {a12,a13}.

\section{Low temperature spectra}

The low-temperature (T=10 K) (aa) and (bb) Raman spectra are given in Fig.
\ref{fig2}a) and b).  We find new modes that become active below the phase
transition temperature, T$_c$=34 K, due to the doubling of the unit cell.  This
doubling can be explained by assuming the charge-ordering scenario with a
zig-zag ordering pattern of the charges \cite {a21}.  Almost all new modes show
resonant behavior.  The lowest frequency modes with energies at 66 and 106
$cm^{-1}$, previously assigned to magnetic excitations \cite {a10}, exhibit an
increase in intensity by approximately an order of magnitude when using a laser
photon energy around 1.85 eV (with respect to that at 2.43 eV) in (aa) polarized
spectra.  The intensity of the the 66 $cm^{-1}$ mode is plotted in Fig.
\ref{fig3}b) (aa - polarization) and Fig.  \ref{fig4}b) (bb - polarization) as a
function of the laser energy.  In the same figures we show $\epsilon_2^a$ and
$\epsilon_2^b$ for comparison, taken from \cite {a14}, respectively.  The peak
at 1.85 eV of the 66 $cm^{-1}$ mode intensity in (aa) polarization occurs close
to the broad structure centered around 2 eV .  The electronic transitions around
2 eV consist of two bands centered at 2 and 2.1 eV.  Their low absorption
strength, energy position and band separation of about 0.1 eV are typical for
crystal- field transitions of d-elements.  Thus, it is possible that these two
absorption bands correspond to crystal-field-excitations of $V^{4+}$ ions from
the ground xy state to $x^2-y^2$ and to $3z^2-r^2$ states.  The intensity
behavior of the 66 $cm^{-1}$ mode in (bb) polarization is quite different:
Intensity is increasing with increasing laser energy and has a local minimum
around 2.2 eV.  Again, such behavior is not easy to understand from simple
comparisom with $\epsilon_2$ and more correct analyses are necessary to clarify
these effects.  The difference in the resonance behavior of the 948 $cm^{-1}$
mode in the (aa) and the (bb) spectra, shown in Fig.  \ref{fig3}c) and Fig.
\ref{fig4}c), is also of interest.  While in the case of the (aa) spectrum this
mode looses intensity with decreasing laser energy, its behavior in the (bb)
spectra is exactly the opposite.  The origin of this effect is not clear.
However, it has been argued by Riera and Poilblanc \cite {a22} that a zig-zag
pattern of charges in a ladder can be stabilized by the Holstein coupling and
the nearest-neighbor Coulomb repulsion.  This indicates the importance of
electron-phonon interaction as a possible driving mechanism for charge-ordering
in NaV$_2$O$_5$.  If the 948 $cm^{-1}$ phonon is somehow involved in charge
ordering (via electron-phonon coupling) it would see such a particular
electronic structure \cite {a22} in its resonanace behaviour.  Finally, we
discuss the possible antiresonant behavior around 2.2 eV, suggested by
comparison of Fig.  \ref{fig4}a) and d).  Such an effect usually results from an
cancellation of resonant and nonresonant contributions to the scattering
amplitude.  Correspondingly, the cross section becomes very small below (or
above) the critical point energy.  However, it is also possible that there are
two resonances, one at 1.7 eV and one around 2.5 eV.  Thus phonons are resonant
either only at 1.7 eV (Fig.  \ref{fig3}b, \ref{fig4}c), only at 2.5 eV (Fig.
\ref{fig3}c), or at both energies (Fig.  \ref{fig4}b, d).  To resolve these
possibilities more acurate measurements are required.

\section{Conclusion}

In conclusion, we have presented measurements of
Raman intensities as a function of the laser wavelength above and below the
phase transition temperature.  We have found that various phonons show
significant resonances around 1.8 and 2.5 eV.  The first one can be probably
associated with weak crystal-field absorption bands around 2 eV, while the
second one may corresponds to the band which represents the excitations of
electrons hopping from the $O_3(p_y)$ to the $V(d_{xy})$ orbitals.

Acknowledgment: MJK thanks Roman Herzog-AvH foundation for financial support.