Approximation of PDE eigenvalue problems involving parameter dependent matrices

Abstract: We discuss the solution of eigenvalue problems associated with partial differential equations that can be written in the generalized form $\m{A}x=\lambda\m{B}x$, where the matrices $\m{A}$ and/or $\m{B}$ may depend on a scalar parameter. Parameter dependent matrices occur frequently when stabilized formulations are used for the numerical approximation of partial differential equations. With the help of classical numerical examples we show that the presence of one (or both) parameters can produce unexpected results.

\section{Introduction}
\label{se:intro}
Several schemes for the approximation of eigenvalue problems arising from
partial differential equations lead to the algebraic form: find
$\lambda\in\mathbb{R}$ and $x\in\mathbb{R}^n$ with $x\ne 0$ such that
\begin{equation}
\label{eq:eig}
\m{A}x=\lambda\m{B}x,
\end{equation}
where $\m{A}$ and $\m{B}$ are matrices in $\mathbb{R}^{n\times n}$.

We consider the case when the matrices $\m{A}$ and $\m{B}$ are symmetric and
positive semidefinite and may depend on a parameter. This is a typical
situation found in applications where elliptic partial differential equations
are approximated by schemes that require suitable parameters to be tuned (for
consistency and/or stability reasons). In this paper we discuss in particular
applications arising from the use of the Virtual Element Method (VEM),
see~\cite{MRR,BMRR,GV,MRV,MV,GMV,CGMMV}, where suitable parameters have to
be chosen for the correct approximation.
Similar situations are present, for instance, when a parameter-dependent
stabilization is used for the approximation of discontinuous Galerkin
formulations and when a penalty penalty term is added to the discretization of
the eigenvalue problem associated with Maxwell's
equations~\cite{CoDaMax,CoDaDurham,CoDareg,bfg,2006,WarburtonEmbree,2010,BoGue,BaCo}

In general, it may be not immediate to describe how the matrices $\m{A}$ and
$\m{B}$ depend on the given parameters. For simplicity, we
consider the case when the dependence is linear: under suitable assumptions
it is easy to discuss how the computed spectrum varies with respect to the
parameters.

The description of the spectrum in the linear case is not surprising and is
well known to a broad scientific
community~\cite{ElsnerSun,StewartSun,MR1066108,LiStewart,greenbaum2019firstorder}.
Nevertheless, the main focus of perturbation theory for eigenvalues and
eigenvectors is usually centered on the asymptotic behavior when the
parameters tend to zero. In our case, the asymptotic parameter is usually the
mesh size $h$ and we are interested in the convergence when $h$ goes to zero,
that is when the size of the involved matrices tends to infinity.
The presence of additional parameters makes the convergence more difficult to
describe and can produce unexpected results in the pre-asymptotic regime. For
this reason, we start by recalling how the spectrum of problem~\eqref{eq:eig}
is influhenced by the parameter, without considering $h$, and we translate
those results to an example of interest in Section~\ref{se:subVEM} where the
discretization parameter $h$ is considered as well.

We assume that the matrices $\m{A}$ and $\m{B}$
satisfy the following condition for $\m{C}=\m{A},\m{B}$.

\begin{ass}
\label{ass:C}
The matrix $\m{C}$ can be split into the sum
\begin{equation}
\label{eq:C}
\m{C}=\m{C}_1+\gamma\m{C}_2,
\end{equation}
where $\gamma$ is a non negative real number and $\m{C}_1$ and $\m{C}_2$ are
symmetric.
The matrices $\m{C}_1$ and $\m{C}_2$ satisfy the following properties:
\begin{enumerate}[a)]
\item $\m{C}_1$ is positive semidefinite with kernel $K_{\m{C}_1}$;
\item $\m{C}_2$ is positive semidefinite and positive definite on $K_{\m{C}_1}$;
\item $\m{C}_2$ vanishes on $K_{\m{C}_1}^\perp$, the orthogonal complement of
$K_{\m{C}_1}$ in $\mathbb{R}^n$.
\end{enumerate}
\end{ass}

In~\cref{se:param} we describe the spectrum of~\eqref{eq:eig} as a
function of the parameters, in various situations that mimic the behavior of
matrices $\m{A}$ and $\m{B}$ originating from several discretization schemes.

\Cref{se:VEM}, which is the core of this paper, discusses the influence
of the parameters on the VEM approximation of eigenvalue problems. Several
numerical examples complete the papers, showing that the parameters have to be
carefully tuned and that wrong choices can produce useless results.

\section{Parametric algebraic eigenvalue problem}
\label{se:param}
Given two symmetric and positive semidefinite matrices $\m{A}$ and $\m{B}$
that can be written as
\begin{equation}
\label{eq:A}
\m{A}=\Au+\alpha\Ad
\end{equation}
and
\begin{equation}
\label{eq:B}
\m{B}=\Bu+\beta\Bd,
\end{equation}
with nonnegative parameters $\alpha$ and $\beta$, we consider the
eigensolutions to the generalized problem~\eqref{eq:eig}.

We assume that the splitting of the matrices $\m{A}$ and $\m{B}$ is obtained
with symmetric matrices and satisfies~\cref{ass:C} for
$\m{C}_1=\Au,\Bu$ and $\m{C}_2=\Ad,\Bd$. Moreover we denote by $\NA$ and $\NB$
the dimension of $\KA$ and $\KB$, respectively.

\begin{remark}
\label{re:geneig}
Problem~\eqref{eq:eig} has $n$ eigenvalues if and only if
$\mathrm{rank}\m{B}=n$, see~\cite{GVL}. If $\m{B}$ is singular the spectrum can
be finite, empty, or infinite (if $\m{A}$ is singular too). If $\m{A}$ is non
singular, usually one can
circumvent this difficulty by computing the eigenvalues of $\m{B} x=\mu\m{A}x$
and setting $\lambda=1/\mu$. The kernel of $\m{B}$ is the eigenspace associated
with the vanishing eigenvalue with multiplicity $m$, and
the original problem has exactly $m$ eigenvalues conventionally set to
$\infty$.
\end{remark}

We want to study the behavior of the eigenvalues as the parameters $\alpha$ and
$\beta$ vary. We consider three cases.
\subsection{Case 1}
\label{se:caso1}
We fix $\beta>0$ so that $\m{B}$ is positive definite. This implies
that the eigenvalues of~\eqref{eq:eig} are all non negative.
Let us consider first $\alpha=0$ so that~\eqref{eq:eig} reduces to
\begin{equation}
\label{eq:eigA1}
\Au x=\lambda \m{B}x.
\end{equation}
Since $\Au$ is positive semidefinite, $\lambda=0$ is an eigenvalue
of~\eqref{eq:eigA1} with multiplicity equal to $\NA=\dim(\KA)$ and $\KA$ is the
associated eigenspace.
In addition, we
have $m_A=n-\NA$ positive eigenvalues $\{\mu_1\le\dots\le\mu_{m_A}\}$ counted
with their multiplicity (since we are dealing with a symmetric problem, we do
not distinguish between geometric and algebraic multiplicity). We denote by
$v_j\in\KA^\perp$ the eigenvector associated with $\mu_j$, that is
\[
\Au v_j=\mu_j \m{B}v_j.
\]
Thanks to property c) of~\cref{ass:C} when $\m{C}=\m{A}$, we observe
that
\[
\m{A}v_j=\Au v_j+\alpha\Ad v_j=\Au v_j=\mu_j\m{B} v_j.
\]
Therefore $(\mu_j,v_j)$, for $j=1,\dots,m_A$, are eigensolutions of the
original system~\eqref{eq:eig}.

On the other hand, the eigensolutions of
\[
\Ad w=\nu\m{B}w
\]
are characterized by the fact that $\NA$ eigenvalues $\nu_i$ ($i=1,\dots,\NA$)
are strictly positive with corresponding eigenvectors $w_i$ belonging to
$\KA$, while the remaining $m_A$ eigenvalues vanish and have $\KA^\perp$ as
eigenspace.
Thus, property a) of~\cref{ass:C}, for $\m{C}=\m{A}$, yields
\[
\m{A}w_i=\Au w_i+\alpha\Ad w_i=\alpha\Ad w_i=\alpha\nu_i \m{B}w_i,
\]
which means that $(\alpha\nu_i,w_i)$, for $i=1,\dots,\NA$, are eigensolutions
of~\eqref{eq:eig}.

Summarizing the eigenvalues of~\eqref{eq:eig} are:
\begin{equation}
\label{eq:eigA}
\lambda_k=
\left\{
\begin{array}{ll}
\alpha\nu_k & \text{if }1\le k\le\NA\\
\mu_{k-\NA} & \text{if } \NA+1\le k\le n.
\end{array}
\right.
\end{equation}
The left panel in~\cref{fig:case1} shows the eigenvalues
of a simple example where $\m{A}\in\mathbb{R}^{6\times6}$ is
obtained by the combination of diagonal matrices with entries
\begin{equation}
\label{eq:matrici}
\diag(\Au)=[3,4,5,6,0,0],\quad\diag(\Ad)=[0,0,0,0,1,2].
\end{equation}
and $\m{B}=\mathbb{I}_6$ is the identity matrix.

Along the vertical lines we see the eigenvalues corresponding to a fixed value
of $\alpha$. The eigenvalues $3,4,5,6$ are associated with eigenvectors in
$\KA^\perp$ and do not depend on $\alpha$. The solid lines starting at the origin
display the eigenvalues $1,2$ multiplied by $\alpha$.
\begin{figure}
\begin{center}
\includegraphics[width=.48\textwidth]{matlab/caso1-eps-converted-to.pdf}
\includegraphics[width=.48\textwidth]{matlab/caso2-eps-converted-to.pdf}
\caption{Dependence of the eigenvalues on the parameters $\alpha$ (Case~1) and
$\beta$ (Case~2), respectively}
\label{fig:case1}
\end{center}
\end{figure}

\begin{remark}
\label{re:intersection}
We observe that if $\Ad$ is not positive definite on $\KA$, its kernel has a
nonempty intersection with $\KA$. Let $n_{12}$ be the dimension of this
intersection, then problem~\eqref{eq:eig} admits $n_{12}$ vanishing eigenvalues
which appear in the first case of~\eqref{eq:eigA}.
\end{remark}

\subsection{Case 2}
\label{se:caso2}
Let us now fix $\alpha>0$, so that $\m{A}$ is positive definite. We have
that all the eigenvalues are positive. We observe that when $\beta=0$, the
matrix $\m{B}=\Bu$ may be singular, therefore it is convenient to consider the
following problem:
\begin{equation}
\label{eq:eig2}
\m{B}x=\chi\m{A}x,
\end{equation}
where $\chi=\frac 1\lambda$. If $\chi=0$, we conventionally set $\lambda=\infty$.
Problem~\eqref{eq:eig2} reproduces the same situation we had in Case~1, with the
matrices $\m{A}$ and $\m{B}$ switched.
Repeating the same arguments as before, we obtain that problem~\eqref{eq:eig2}
has two families of eigenvalues
\[
\chi_k=
\left\{
\begin{array}{ll}
\beta\xi_k & \text{if }1\le k\le\NB\\
\zeta_{k-\NB} & \text{if } \NB+1\le k\le n,
\end{array}
\right.
\]
where
\[
\aligned
&\Bu r_j=\zeta_j \m{A} r_j,\ j=1,\dots,n-\NB &&\text{ with }r_j\in\KB^\perp\\
&\Bd s_i=\xi_i\m{A}s_i,\ i=1,\dots,\NB &&\text{ with }s_i\in\KB.
\endaligned
\]
Going back to the original problem~\eqref{eq:eig}, we can conclude
that the eigensolutions of~\eqref{eq:eig} are the following ones:
\begin{equation}
\label{eq:eigB}
\aligned
&\left(\frac1{\beta\xi_k},s_k\right) &&\text{ for } k=1,\dots,\NB\\
&\left(\frac1{\zeta_{k-\NB}},r_{k-\NB}\right)&&\text{ for }k=\NB+1,\dots,n.
\endaligned
\end{equation}
In the right panel of~\cref{fig:case1}, we report the eigenvalues
of a simple example where $\m{A}=\mathbb{I}_6$ and $\m{B}$ is obtained by
combining $\Bu=\Au$ and $\Bd=\Ad$ defined in~\eqref{eq:matrici}. We see that
the eigenvalues $\frac13,\frac14,\frac15,\frac16$ are independent of $\beta$
and that the remaining two eigenvalues lie along the hyperbolas $\frac1\beta$
and $\frac1{2\beta}$, plotted with solid line.
\subsection{Case 3}
\label{se:caso3}
We consider now the case when $\alpha$ and $\beta$ can vary independently from
each other. We have different situations corresponding to the relation between
$\KA$ and $\KB$.
To ease the reading, let us introduce the following notation:
\begin{subequations}
\begin{alignat}{1}
&\Au v=\mu\Bu v
\label{eq:notation11}\\
&\Au w=\nu \Bd w
\label{eq:notation12}\\
&\Ad y=\chi\Bu y
\label{eq:notation21}\\
&\Ad z=\eta\Bd z.
\label{eq:notation22}
\end{alignat}
\end{subequations}
In this case the space
$\mathbb{R}^n$ can be decomposed into four mutually orthogonal subspaces
\[
\mathbb{R}^n=(\KA\cap\KB)\oplus(\KA\cap\KB^\perp)\oplus(\KA^\perp\cap\KB)\oplus
(\KA^\perp\cap\KB^\perp).
\]
Let us denote by $n_{\Au\cap\Bu}$ the dimension of $\KA\cap\KB$.
If $\KA\cap\KB\ne\emptyset$,
for $x\in\KA\cap\KB$ the eigenproblem to be solved is
$\alpha\Ad x=\lambda\beta\Bd x$, hence the eigenvalues are given by
$\frac{\alpha}{\beta}\eta_i$ $i=1,\dots,n_{\Au\cap\Bu}$,
see~\eqref{eq:notation22}. Next, if $x\in\KA\cap\KB^\perp$ we have to solve
$\alpha\Ad x=\lambda\Bu x$, which admits $(\alpha\chi_i,y_i)$
$i=1,\dots,\NA-n_{\Au\cap\Bu}$ as eigensolutions where $(\chi_i,y_i)$ are
defined in~\eqref{eq:notation21}. Similarly, if $x\in\KA^\perp\cap\KB$, we find
that the eigensolutions are $\left(\frac1{\beta}\nu_i,w,_i\right)$
$i=1,\dots,\NB-n_{\Au\cap\Bu}$ with $(\nu_i,w_i)$ given
by~\eqref{eq:notation12}. In the last case, $x\in\KA^\perp\cap\KB^\perp$, the
matrices $\m{A}$ and $\m{B}$ are non singular and thanks to property c) in
~\cref{ass:C}, for $\m{C}=\m{A}$ and $\m{C}=\m{B}$, we obtain that
the eigenvalues are positive and independent of $\alpha$ and $\beta$ and
correspond to those of~\eqref{eq:notation11}. In conclusion, we have
\[
\lambda_k=\left\{
\begin{array}{ll}
\displaystyle \frac{\alpha}{\beta}\eta_k
&\quad\text{ if }1\le k\le n_{\Au\cap\Bu}\\
\alpha\chi_{k-n_{\Au\cap\Bu}} &\quad\text{ if }n_{\Au\cap\Bu}+1\le k\le\NA\\
\displaystyle\frac1{\beta}\nu_{k-\NA}
&\quad\text{ if }\NA+1\le k\le\NA+\NB-n_{\Au\cap\Bu}\\
\mu_{k-\NA+\NB-n_{\Au\cap\Bu}}
&\quad\text{ if }\NA+\NB-n_{\Au\cap\Bu}+1\le k\le n.
\end{array}
\right.
\]

\begin{figure}[ht]
\begin{center}
\includegraphics[width=.98\textwidth]{matlab/caso7-eps-converted-to.pdf}
\caption{Eigenvalues when $\KA\cap\KB\ne\emptyset$ as a function of $\alpha$
and $\beta$}
\label{fig:ab7}
\end{center}
\end{figure}
We report in~\cref{fig:ab7} the eigenvalues illustrating this last case when
we have diagonal matrices given by
\[
\aligned
&\diag(\Au)=[3,0,0,4,5,6] &&\quad\diag(\Ad)=[0,1,2,0,0,0]\\
&\diag(\Bu)=[7,8,0,0,9,10] &&\quad\diag(\Bd)=[0,0,0.8,1,0,0].
\endaligned
\]
The surface contains the
eigenvalues depending on both $\alpha$ and $\beta$, the hyperbolas those
depending only on $\beta$ and the straight lines those depending only on
$\alpha$. If we cut the three dimensional picture with a plane at $\beta>0$
fixed we recognize the behavior analyzed in~\cref{se:caso1} and shown
in~\cref{fig:case1} left. Analogously, taking a plane with $\alpha>0$
fixed, we recover Case 2 (see~\cref{se:caso2}).

If $\KA\cap\KB=\emptyset$, we set $n_{\Au\cap\Bu}=0$, hence the eigenvalues
are
\[
\lambda_k=\left\{
\begin{array}{ll}
\alpha\chi_k & \text{ if }1\le k\le \NA\\
\displaystyle\frac1\beta{\nu_{k-\NA}} & \text{ if } \NA+1\le k\le\NA+\NB\\
\mu_{k-\NA-\NB} & \text{ if } \NA+\NB+1\le k\le n
\end{array}.
\right.
\]

\begin{figure}
\begin{center}
\includegraphics[width=.98\textwidth]{matlab/caso4-eps-converted-to.pdf}
\caption{Eigenvalues when $\KA\cap\KB=\emptyset$ as a function of $\alpha$ and
$\beta$}
\label{fig:ab4}
\end{center}
\end{figure}

In order to illustrate the case $\KA\cap\KB=\emptyset$, we report in~\cref{fig:ab4}
the eigenvalues computed using the following diagonal matrices with entries

\[
\aligned
&\diag(\Au)=[0,0,3,4,5,6],&&\quad\diag(\Ad)=[1,2,0,0,0,0],\\
&\diag(\Bu)=[7,8,9,10,0,0],&&\quad\diag(\Bd)=[0,0,0,0,0.8,1].
\endaligned
\]
For a fixed $\alpha$, we can see in solid line the hyperbolas
$\frac{\nu_j}\beta$, $j=1,2$ while when $\beta$ is fixed we can see the
straight lines $\alpha\chi_j$, $j=1,2$. The remaining two eigenvalues are
independent of $\alpha$ and $\beta$.

\section{Virtual element method for eigenvalue problems}
\label{se:VEM}
In this section we recall how algebraic eigenvalue problems similar to the
ones discussed in the previous section can be obtained withing the framework
of the Virtual Element Method (VEM) for the discretization of elliptic
eigenvalue problems, see~\cite{GV,GMV}.

We consider the model problem of the Laplacian operator.
Given a connected open domain with Lipschitz continuous boundary
$\Omega\subseteq\mathbb{R}^d$, with $d=2,3$, we look for eigenvalues
$\lambda\in\mathbb{R}$ and eigenfunctions $u\ne0$ such that
\[
\left\{
\begin{array}{ll}
-\Delta u=\lambda u &\quad\text{ in }\Omega\\
u=0&\quad\text{ on }\partial\Omega.
\end{array}
\right.
\]
In view of the application of VEM, we consider the weak form: find
$\lambda\in\mathbb{R}$ and $u\in\Huo$ with $u\ne0$ such that
\begin{equation}
\label{eq:Laplace}
a(u,v)=\lambda b(u,v)\quad\forall v\in\Huo,
\end{equation}
where
\[
a(u,v)=(\nabla u,\nabla v),\quad b(u,v)=(u,v),
\]
and $(\cdot,\cdot)$ is the scalar product in $L^2(\Omega)$.

It is well-known that problem~\eqref{eq:Laplace} admits an infinite sequence
of positive eigenvalues
\[
0<\lambda_1\le \dots\le\lambda_i\le\cdots
\]
repeated according to their multiplicity, each one associated with an
eiegenfunction $u_i$ with the following properties
\begin{equation}
\label{eq:eigf}
\aligned
& a(u_i,u_j)=b(u_i,u_j)=0\quad \text{if }i\ne j\\
& b(u_i,u_i)=1,\quad a(u_i,u_i)=\lambda_i.
\endaligned
\end{equation}
Let us briefly recall the definition of the virtual element spaces and of the
discrete bilinear forms which we are going to use in this section,
see~\cite{BBCMMR,AABMR}.
We present only the two dimensional spaces, the three dimensional ones are
obtained using the 2D virtual elements on the faces.

We decompose $\Omega$ into polygons $P$, with diameter $h_P$ and area $|P|$.
Similarly, if $e$ is an edge of an element $P$, we denote by $h_e=|e|$ its
length. Depending on the context $\partial P$ refers to either the boundary of
$P$ or the set of the edges of $P$.
The notation $\T_h$ and $\E_h$ stands for the set of the elements
and the edges, respectively. As usual, $h=\max_{P\in\T_h} h_P$.
We assume the following mesh regularity condition (see~\cite{BBCMMR}):
there exists a positive constant $\gamma$, independent of $h$, such that each
element $P\in\T_h$ is star-shaped with respect to a ball of radius greater
than $\gamma h_P$; moreover, for every element $P$ and for every edge
$e\subset\partial P$, it holds $h_e \ge \gamma h_P$.

For $k\ge1$ and $P\in\T_h$ we define
\[
\tilde{V}_h^k(P)=\{v\in H^1(P): v|_{\partial P}\in C^0(\partial P),
v|_e\in\P_k(e)\ \forall e\subset\partial P, \Delta v\in\P_k(P)\}.
\]
We consider the following linear forms on the space $\tilde{V}_h^k(P)$
\begin{enumerate}
\item[D1]: the values $v(V_i)$ at the vertices $V_i$ of $P$,
\item[D2]: the scaled edge moments up to order $k-2$
\[
\dfrac{1}{|e|}\int_e vm\,\text{d}s\quad\forall m\in\mathcal{M}_{k-2}(e),\
\forall e\subset\partial P,
\]
\item[D3]: the scaled element moments up to order $k-2$
\[
\dfrac{1}{|P|}\int_P vm\,\text{d}x\quad\forall m\in\mathcal{M}_{k-2}(P),\
\]
\end{enumerate}
where $\mathcal{M}_{k-2}(\omega)$ is the set of scaled monomials on $\omega$,
namely
\[
\mathcal{M}_{k-2}(\omega)=\Big\{\Big(\dfrac{\mathbf{x}-\mathbf{x}_\omega}
{h_\omega}\Big)^s, |s|\le k-2\Big\},
\]
with $\mathbf{x}_\omega$ the barycenter of $\omega$, and with the convention
that $\mathcal{M}_{-1}(\omega)=\emptyset$.

From the values of the linear operators D1--D3, on each element $P$ we can
compute a projection operator $\Pinabla: \tilde{V}_h^k(P)\rightarrow
\P_k(P)$ defined as the unique solution of the following problem:
\begin{equation}
\label{eq:pinabla}
\aligned
& a^P(\Pinabla v-v,p)=0\quad\forall p\in\P_k(P)\\
& \int_{\partial P}(\Pinabla v-v)\text{d}s=0,
\endaligned
\end{equation}
where $a^P(u,v)=(\nabla u,\nabla v)_P$ and $(\cdot,\cdot)_P$ denotes the
$L^2(P)$-scalar product.

The local virtual space is defined as
\begin{equation}
\label{eq:VemP}
\VemP=\left\{v\in\tilde{V}_h^k(P):\int_P (v-\Pinabla v) p\text{d}x=0\
\forall p\in(\P_k\setminus\P_{k-2})(P)\right\},
\end{equation}
where $(\P_k\setminus\P_{k-2})(P)$ contains the polynomials in $\P_k(P)$
$L^2$-orthogonal to $\P_{k-2}(P)$.

We recall that by construction $\P_k(P)\subset\VemP$, so that the optimal rate
of convergence is ensured. Moreover, the linear operators D1--D3 provide a
unisolvent set of degrees of freedom (DoFs) for $\VemP$, which allows us to
define and compute $\Pinabla$ on $\VemP$. In addition, the
$L^2$-projection operator $\Pio:\VemP\to\P_k(P)$ is also computable using the
DoFs.

The global virtual space is
\begin{equation}
\label{eq:Vem}
\V=\{v\in\Huo: v|_P\in\VemP\ \forall P\in\T_h\}.
\end{equation}
In order to discretize problem~\eqref{eq:Laplace}, we introduce the
discrete counterparts $a_h$ and $b_h$ of the bilinear forms $a$ and $b$,
respectively. Both discrete forms are obtained as sum of the following
local contributions: for all $u_h,v_h\in\V$
\begin{equation}
\label{eq:abP}
\aligned
&a_h^P(u_h,v_h)=a^P(\Pinabla u_h,\Pinabla v_h)
+S_a^P((I-\Pinabla)u_h,(I-\Pinabla)v_h)\\
&b_h^P(u_h,v_h)=b^P(\Pio u_h,\Pio v_h)+S_b^P((I-\Pio)u_h,(I-\Pio)v_h),
\endaligned
\end{equation}
where $b^P(u,v)=(u,v)_P$, and $S_a^P$ and $S_b^P$ are symmetric
positive definite bilinear forms on $\VemP\times\VemP$ such that
\begin{equation}
\label{eq:stab}
\aligned
&c_0 a^P(v,v)\le S_a^P(v,v)\le c_1a^P(v,v) &&\quad\forall v\in\VemP
\text{ with }\Pinabla v=0\\
&c_2 b^P(v,v)\le S_b^P(v,v)\le c_3b^P(v,v) &&\quad\forall v\in\VemP
\text{ with }\Pio v=0,
\endaligned
\end{equation}
for some positive constants $c_i$ ($i=0,\dots,3$) independent of $h$.
We define
$a_h(u_h,v_h)=\sum_{P\in\T_h}a_h^P(u_h,v_h)$ and
$b_h(u_h,v_h)=\sum_{P\in\T_h}b_h^P(u_h,v_h)$.

The virtual element counterpart of~\eqref{eq:Laplace} reads: find $\lambda_h$
and $u_h\in\V$ with $u_h\ne0$ such that
\begin{equation}
\label{eq:LaplV}
a_h(u_h,v_h)=\lambda_h b_h(u_h,v_h)\quad\forall v_h\in\V.
\end{equation}
Thanks to~\eqref{eq:stab}, the discrete problem~\eqref{eq:LaplV} admits
$N_h=\dim{\V}$ positive eigenvalues
\[
0<\lambda_{1h}\le\dots\lambda_{N_hh}
\]
and the corresponding eigenfunctions $u_{ih}$, for $i=1,\dots,N_h$, enjoy the
discrete counterpart of properties in~\eqref{eq:eigf}.

The following convergence result has been proved in~\cite{GV}.
\begin{thm}
\label{th:conv}
Let $\lambda$ be an eigenvalue of~\eqref{eq:Laplace} of multiplicity $m$ and
$\mathcal{E}_\lambda$ the corresponding eigenspace. Then there are exactly $m$
discrete eigenvalues of~\eqref{eq:LaplV} $\lambda_{j(i)h}$ ($i=1,\dots,m$)
tending to $\lambda$.
Moreover, assuming that $u\in H^{1+r}(\Omega)$, for all
$u\in\mathcal{E}_\lambda$, the following inequalities hold true:
\[
\aligned
&|\lambda-\lambda_{j(i)h}|\le Ch^{2t}\\
&\hat\delta(\mathcal{E}_\lambda,\oplus_i\mathcal{E}_{j(i)h})\le Ch^t,
\endaligned
\]
where $t=\min(k,r)$, $\hat\delta(\mathcal{E},\mathcal{F})$ represents
the gap between the spaces $\mathcal{E}$ and $\mathcal{F}$, and
$\mathcal{E}_{\ell h}$ is the eigenspace spanned by $u_{\ell h}$.
\end{thm}

\begin{remark}
\label{re:nonstab}
It is also possible to consider on the right hand side of~\eqref{eq:LaplV}
the bilinear form for  $\tb(u_h,v_h)=\sum_{P\in\T_h}b^P(\Pio u_h,\Pio v_h)$.
This leads to the following discrete eigenvalue problem: find
$(\tl,\tu)\in\mathbb{R}\times\V$ with $\tu\ne0$ such that
\begin{equation}
\label{eq:nonstab}
a_h(\tu,v_h)=\tl\tb(\tu,v_h)\quad\forall v_h\in\V.
\end{equation}
The analogue of~\cref{th:conv} holds true for this partially non
stabilized discretization as well.
\end{remark}

\subsection{Computational aspects and numerical results}
\label{se:subVEM}
In order to compute the solution of problems~\eqref{eq:LaplV}
and~\eqref{eq:nonstab}, we need to describe how to obtain the matrices
associated to our bilinear forms. By construction the matrix $\Au$
(respectively, $\Bu$) associated with $\sum_P a^P(\Pinabla\cdot,\Pinabla\cdot)$
(respectively, $\sum_P b^P(\Pio\cdot,\Pio\cdot)$) has kernel corresponding to
the elements $v_h\in\V$ such that
$\Pinabla v_h$ is constant (respectively, $\Pio v_h=0$) for all $P\in\T_h$.

We observe that the local contributions of the bilinear forms displayed
in~\eqref{eq:abP} mimic the following exact relations
\begin{equation}
\label{eq:exactab}
\aligned
&a^P(u_h,v_h)=
a^P(\Pinabla u_h,\Pinabla v_h)+a^P((I-\Pinabla)u_h,(I-\Pinabla)v_h)\\
&b^P(u_h,v_h)=
b^P(\Pio u_h,\Pio v_h)+b^P((I-\Pio)u_h,(I-\Pio)v_h).
\endaligned
\end{equation}
Let us denote by $\Aul$, $\Adl$, $\Bul$ and $\Bdl$ the matrices whose entries are
given by
\begin{equation}
\label{eq:matr}
\aligned
&(\Aul)_{ij}=a^P(\Pinabla \phi_i,\Pinabla \phi_j),&\quad
&(\Adl)_{ij}=a^P((I-\Pinabla)\phi_i,(I-\Pinabla)\phi_j)\\
&(\Bul)_{ij}=b^P(\Pio \phi_i,\Pio \phi_j),&\quad
&(\Bdl)_{ij}=b^P((I-\Pio)\phi_i,(I-\Pio)\phi_j)
\endaligned
\end{equation}
with $\phi_i$ basis functions for $\VemP$.

Even if the global matrices $\m{A}$ and $\m{B}$ do not satisfy the properties
stated in~\cref{ass:C}, it turns out that~\cref{ass:C} is
fulfilled by $\m{C}=\Bul+\beta\Bdl$; moreover, $\m{C}=\Aul+\alpha\Adl$ is
characterized by the situation described in~\cref{re:intersection}.

We start with the pair $\Aul$ and $\Adl$.
The kernel $K_{\Aul}$, with abuse of notation, is characterized by
\[
K_{\Aul}=\{v\in\VemP:  a^P(\Pinabla v,\Pinabla w)=0\ \forall w\in\VemP\},
\]
that is, $K_{\Aul}$ is made of $v$ with constant $\Pinabla v$ on $P$.
Moreover, the orthogonal complement of $K_{\Aul}$, denoted by
$K_{\Aul}^\perp$ contains the elements $v\in\VemP$ such that $a^P(v,w)=0$ for
all $w\in K_{\Aul}$.

We now show that $\Adl( K_{\Aul}^\perp)=0$, that is, for all $v\in K_{\Aul}^\perp$,
$a^P((I-\Pinabla)v,(I-\Pinabla)w)=0$ for all $w\in\VemP$.
We recall that, if $v\in K_{\Aul}^\perp$, then $a^P(v,w)=0$ for
all $w\in K_{\Aul}$. This implies that for $v\in K_{\Aul}^\perp$ and
$w\in K_{\Aul}$, it holds true that
$a^P(v,w)=a^P((I-\Pinabla)v,(I-\Pinabla)w)=0$.
Now we can write for all $w\in\VemP$
\[
\aligned
&a^P((I-\Pinabla)v,(I-\Pinabla)w)\\
&\quad=a^P((I-\Pinabla)v,(I-\Pinabla)(I-\Pinabla)w)+
a^P((I-\Pinabla)v,(I-\Pinabla)\Pinabla w)=0.
\endaligned
\]
Indeed, $\Pinabla(I-\Pinabla)w=0$ implies that $(I-\Pinabla)w\in K_{\Aul}$, and
thus the first term vanishes,
while for the second term it is enough to observe that
$\Pinabla(\Pinabla w)=\Pinabla w$.
Thus property c) of~\cref{ass:C} is verified for $\m{C}=\m{A}$.

Concerning property b) of~\cref{ass:C}, we have
by construction, that $a^P((I-\Pinabla)v,(I-\Pinabla)v)\ge0$
for all $v\in\VemP$, see~\eqref{eq:exactab}. On the other hand, if $v$ is
constant on $P$, then $\Pinabla v=v$ is constant, therefore
$v\in K_{\Aul}$ and $(I-\Pinabla)v=0$ so that $v$ belongs also to the
kernel of $\Adl$. Hence the pair $\Aul$ and $\Adl$ does not satisfy
property b), but it is in the situation described in~\cref{re:intersection}.

Let us now consider the pair $\Bul$ and $\Bdl$. We observe that the kernel of
$\Bul$ is characterized by $\Pio v=0$. The analysis performed for the pair
$\Aul$ and $\Adl$ can be repeated and gives that in this case~\cref{ass:C}
is verified for $\m{C}=\m{B}$.

As a consequence of the assembling of the local matrices, the global
matrices $\Au$ and $\Ad$ ($\Bu$ and $\Bd$, respectively) do not satisfy anymore
the properties listed in~\cref{ass:C}. In particular, for $k=1$ we
shall see that the matrices $\Au$ and $\Bu$ are not singular. Nevertheless, we
are going to show that the numerical results look pretty much similar to the
ones reported in~\cref{se:param}.

Moreover, in practice the matrices $\Adl$ and $\Bdl$ are not available and
they are replaced by using the local bilinear forms $S_a^P$ and $S_b^P$ given
in~\eqref{eq:abP} as follows.

Let us denote by $\mathbf{u}_h,\mathbf{v}_h\in\mathbb{R}^{N_P}$ the vectors containing
the values of the $N_P$ local DoFs associated to $u_h,v_h\in\VemP$. Then, we
define the local stabilized forms as
\[
S_a^P(u_h,v_h)=\sigma_P \mathbf{u}_h^\top\mathbf{v}_h,\quad
S_b^P(u_h,v_h)=\tau_P h_P^2\mathbf{u}_h^\top\mathbf{v}_h
\]
where the stability parameters $\sigma_P$ and $\tau_P$ are positive constants
which might depend on $P$ but are independent of $h$. We point out that this
choice implies the stability requirements in~\eqref{eq:stab}.
In the applications, the parameter $\sigma_P$ is usually
chosen depending on the mean value of the eigenvalues of the matrix
stemming from the term $a_P(\Pinabla\cdot,\Pinabla\cdot)$, and
$\tau_P$ as the mean value of the eigenvalues of the matrix resulting from
$\frac1{h^2_P}(\Pio\cdot,\Pio\cdot)_P$.
The choice of the stabilized form $S_a^P$
is discussed in some papers concerning the source problem, see, e.g.,
\cite{BLR} and the references therein. One can find an analysis of the
stabilization parameters $\sigma_P$ in~\cite{CMRS}.

If $\sigma_P$ and $\tau_P$ vary in a small range, it is reasonable to take
$\sigma_P=\alpha$ and $\tau_P=\beta$
for all $P$ and this is the situation which we discuss further. Therefore, the
structure of the matrices is $\m{A}=\Au+\alpha\Ad$ and $\m{B}=\Bu+\beta\Bd$
where $\Ad$ and $\Bd$ are the matrices with local contribution given by
$\mathbf{u}_h^\top\mathbf{v}_h$ and $h_P^2\mathbf{u}_h^\top\mathbf{v}_h$,
respectively.
We study the behavior of the eigenvalues as $\alpha$ and $\beta$ vary in given
ranges.

In the following tests $\Omega$ is the unit square partitioned using a sequence
of Voronoi meshes with a given number of elements. In~\cref{fig:Voronoi} we
report the coarsest mesh with 50 elements ($h=0.2350$, 151 edges, 102
vertices). We recall that the exact
eigenvalues are given by $(i^2+j^2)\pi^2$ for $i,j\in\mathbb{N}\setminus\{0\}$
with eigenfunctions $\sin(i\pi x)\sin(j\pi y)$.
The following numerical results have been obtained using \textsc{Matlab} and, in
particular, the routine \texttt{eig} for the computation of the eigenvalues.
In the following figures, we shall always report the computed eigenvalues
divided by $\pi^2$.
\begin{center}
\begin{figure}[ht]
\includegraphics[width=0.6\textwidth]{figures/mesh50square-eps-converted-to.pdf}
\caption{Voronoi mesh with 50 polygons.}
\label{fig:Voronoi}
\end{figure}
\end{center}

\Cref{tb:kerAu} and~\cref{tb:kerBu} display the dimension of the kernel of the
matrices $\Au$
and $\Bu$ for $k=1,2,3$, and for different numbers $N$ of the elements in
the mesh.
\begin{table}
\caption{Dimension of $\KA$ with respect to $k$ and the number of elements}
\centering
\begin{tabular}{cc cc cc cc cc cc }\toprule
$k$ && $N=50$ && $N=100$ &&$N=200$ &&$N=400$ &&$N=800$\\
\midrule
1 && 0 && 0 && 0 && 0 && 0\\
2 && 3 && 30 && 99 && 258 && 565\\
3 && 27 && 94 && 246 && 588 && 1312\\
\bottomrule
\end{tabular}
\label{tb:kerAu}
\end{table}
\begin{table}
\caption{Dimension of $\KB$ with respect to $k$ and the number of elements}
\centering
\begin{tabular}{cc cc cc cc cc cc }\toprule
$k$ && $N=50$ && $N=100$ &&$N=200$ &&$N=400$ &&$N=800$\\
\midrule
1 && 0 && 0 && 0 && 0 && 0\\
2 && 0 && 0 && 0 && 0 && 0\\
3 && 0 && 1 && 43 && 182 && 504\\
\bottomrule
\end{tabular}
\label{tb:kerBu}
\end{table}
In particular we see that for $k=1$ the matrix $\Au$ is nonsingular.

We have computed the lowest eigenvalue of $\Au x=\lambda \Bu x$,
which gives an estimate of the \emph{inf-sup} constant of the discrete problem~\eqref{eq:LaplV}.
The results, presented in~\cref{tb:infsup}, show that the first eigenvalue is
decreasing, and this behavior corresponds to the fact that the bilinear form
$\sum_P a^P(\Pinabla\cdot,\Pinabla\cdot)$ is not stable.
\begin{table}
\caption{First eigenvalues of $\Au x=\lambda \Bu x$ for different meshes}
\centering
\begin{tabular}{c c c c c}\toprule
$N=50$ & $N=100$ &$N=200$ &$N=400$ &$N=800$\\
\midrule
1.92654e+00 & 1.74193e+00 & 1.06691e+00 & 6.81927e-01 & 5.54346e-01\\
\bottomrule
\end{tabular}
\label{tb:infsup}
\end{table}

We now discuss some tests, where we present the behavior of the eigenvalues as
the parameters $\alpha$ and $\beta$ vary, for the mesh with $N=200$ and
different degree $k$ of the polynomials in the space $\V$.

The rows of~\cref{fig:girato} contain the results for fixed $k$ and the
values $\beta=0,1,5$, while, in the columns, $\beta$ is fixed and $k$ varies.
In each picture, we plot in red the exact eigenvalues and
with different colors those corresponding to $\alpha=10^r$ with $r=-3,\dots,1$.

These plots clearly confirm that the choice of the parameters for optimal
performance is not so immediate. Consider, in particular, that we are solving
the Laplace eigenvalue problem (isotropic diffusion) on a domain as simple as a
square. For an arbitrary elliptic problem and more general domains the
situation could be much more complicated.
For $\beta=0$, the first 30 eigenvalues are well approximated with
higher degree of polynomials whenever $\alpha\ge0.1$. The value $\alpha=0.1$
seems to be the best choice in the case $k=1$. Increasing $\beta$ does not
produce much improvement. All the pictures seem to indicate that higher values
of $\alpha$ might give better results. In particular, for $k=2,3$ the first 30
eigenvalues are approximated with a reasonable accuracy for $\alpha=10$ and
$\beta=1$. Increasing $\beta$ and keeping $\alpha=10$, we see that a smaller
number of eigenvalues are captured.
\begin{figure}[h]
\begin{center}

\includegraphics[width=\textwidth]{figures/figure_F/legend.png}

\subfigure[\tiny{$k=1$, $\beta=0$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok1_beta0_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\beta=1$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok1_beta1_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\beta=5$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok1_beta5_autoval30-eps-converted-to.pdf}}

\subfigure[\tiny{$k=2$, $\beta=0$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok2_beta0_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\beta=1$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok2_beta1_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\beta=5$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok2_beta5_autoval30-eps-converted-to.pdf}}

\subfigure[\tiny{$k=3$, $\beta=0$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok3_beta0_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\beta=1$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok3_beta1_autoval30-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\beta=5$}]
{\includegraphics[width=.32\textwidth]{figures/figure_F/giratok3_beta5_autoval30-eps-converted-to.pdf}}

\end{center}
\caption{First 30 eigenvalues for different values of $k$, $\alpha$ and
$\beta$}
\label{fig:girato}
\end{figure}

\Cref{fig:alfa} shows the behavior of the eigenvalues as $\alpha$ varies
from $0$ to $10$. At a first glance the pictures remind of~\cref{fig:case1} (left) even if,
as it has been explained before, the situation is not exactly matching what we
discussed in~\cref{se:param}.

Each subplot reports all computed eigenvalues between $0$ and $40$; the dotted
horizontal lines represent the exact solutions. The first $30$ computed
eigenvalues are connected together with lines of different colors in an
automated way. An ``ideal'' good approximation would correspond to a series of
colored lines matching the dotted lines of the exact eigenvalues.
It is interesting to look at the differences between various degrees ($k$ from
$1$ to $3$ moving from the top to the bottom) and values of $\beta$ (equal to
$0$, $1$, and $5$ from left to right).
\begin{figure}[h]
\begin{center}
\subfigure[\tiny{$k=1$, $\beta=0$, $\alpha\in[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k1_b0_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\beta=1$, $\alpha\in[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k1_b1_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\beta=5$, $\alpha\in[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k1_b5_a10-eps-converted-to.pdf}}

\subfigure[\tiny{$k=2$, $\beta=0$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k2_b0_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\beta=1$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k2_b1_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\beta=5$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k2_b5_a10-eps-converted-to.pdf}}

\subfigure[\tiny{$k=3$, $\beta=0$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k3_b0_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\beta=1$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k3_b1_a10-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\beta=5$, $\alpha=[0,10]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/rette_k3_b5_a10-eps-converted-to.pdf}}
\end{center}
\caption{Eigenvalues versus $\alpha$ for different values of $k$ and $\beta$}
\label{fig:alfa}
\end{figure}

\begin{figure}
\includegraphics[width=.70\textwidth]{figures/autofun/rette_k3_b1_a10_spuri-eps-converted-to.pdf}
\caption{Same plot as in~\cref{fig:alfa}(h) with four marked (spurious)
eigenvalues}
\label{fig:marked}
\end{figure}

\begin{figure}
\begin{center}
\includegraphics[width=.45\textwidth]{figures/autofun/alfa3_sp2-eps-converted-to.pdf}
\includegraphics[width=.45\textwidth]{figures/autofun/alfa11_sp7-eps-converted-to.pdf}

\includegraphics[width=.45\textwidth]{figures/autofun/alfa21_sp14-eps-converted-to.pdf}
\includegraphics[width=.45\textwidth]{figures/autofun/alfa31_sp20-eps-converted-to.pdf}
\end{center}
\caption{Eigenfunctions corresponding to the eigenvalues marked
in~\cref{fig:marked}}
\label{fig:autof}
\end{figure}

More reliable results seem to be obtained for large $k$ and small $\beta$.
Actually, the limit case of $\beta=0$ appears to be the safest choice. This is
in agreement with the claim of~\cite{BMRR} where the authors remark that
``even the value $\sigma_E=0$ yields very accurate results, in spite of the
fact that for such a value of the parameter the stability estimate and hence
most of the proofs of the theoretical results do not hold'' (note that
$\sigma_E=0$ in~\cite{BMRR} has the same meaning as $\beta$ in our paper). It
is interesting to observe that the analysis of~\cite{GV}, summarized in~\cref{th:conv},
covers the case $\beta=0$ as well.
On the other hand $\beta=0$ may produce a singular matrix $\m{B}$ and this
could be not convenient from the computational point of view.

In order to better understand the behavior of the eigenvalues reported in~\cref{fig:alfa}(h),
we highlight in~\cref{fig:marked} four eigenvalues that are apparently aligned along an oblique line.
The corresponding eigenfunctions are reported in~\cref{fig:autof}. The four
eigenfunctions look similar, so that the analogy with~\cref{fig:case1}
(left) is even more evident.

We conclude this discussion with an example where, for a given value of
$\alpha$, a good eigenvalue (i.e., an eigenvalue corresponding to a correct
approximation) is crossing a spurious one (i.e., an eigenvalue belonging to an
oblique line). In this case it may happen that the two eigenfunctions mix
together, thus yielding to an even more complicated situation. This behavior
is reported in~\cref{fig:autof-marked}, where a region of the plot shown
in~\cref{fig:alfa}(h) is blown-up close to an intersection point:
actually three eigenvalues (a spurious one and two corresponding to good ones)
are clustered at the marked intersection points.
\begin{figure}
\begin{center}
\includegraphics[width=.45\textwidth]{figures/autofun/spuriomischiato1-eps-converted-to.pdf}
\includegraphics[width=.45\textwidth]{figures/autofun/alfa13_sp7-eps-converted-to.pdf}

\medskip

\includegraphics[width=.45\textwidth]{figures/autofun/spuriomischiato2-eps-converted-to.pdf}
\includegraphics[width=.45\textwidth]{figures/autofun/alfa41_sp25-eps-converted-to.pdf}
\end{center}
\caption{Intersections of good and spurious eigenvalues}
\label{fig:autof-marked}
\end{figure}

\Cref{fig:beta} shows the computed eigenvalues smaller that $40$ when
$\beta$ varies from $0$ to $5$ and for a fixed value of $\alpha$.
As in~\cref{fig:girato} and in analogy with~\cref{fig:alfa}, the
rows correspond to the degree $k$ of
polynomials, while the columns refer to different values of $\alpha$. The
dotted horizontal lines represent the exact eigenvalues.
The lines with different colors in each picture follow the $n$-th
eigenvalue for $n=1,\dots,30$.
It turns out that all lines are originating from curves that look like
hyperbolas when $\beta$ is large. Following each of these hyperbolas from
$\beta=+\infty$ backwards, it happens that when the hyperbola meets a correct
approximation of an eigenvalue of the continuous problem, it deviates from its
trajectory and becomes a (almost horizontal) straight line.
In the case $k=1$, we see that the higher eigenvalues are computed
with decreasing accuracy as $\beta$ approaches $0$.
\begin{figure}[h]
\begin{center}
\subfigure[\tiny{$k=1$, $\alpha=0.1$, $\beta\in[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k1_a01_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\alpha=1$, $\beta\in[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k1_a1_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=1$, $\alpha=10$, $\beta\in[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k1_a10_b5-eps-converted-to.pdf}}

\subfigure[\tiny{$k=2$, $\alpha=0.1$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k2_a01_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\alpha=1$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k2_a1_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=2$, $\alpha=10$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k2_a10_b5-eps-converted-to.pdf}}

\subfigure[\tiny{$k=3$, $\alpha=0.1$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k3_a01_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\alpha=1$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k3_a1_b5-eps-converted-to.pdf}}
\subfigure[\tiny{$k=3$, $\alpha=10$, $\beta=[0,5]$}]
{\includegraphics[width=.32\textwidth]{figures/figure_Lnew/iperb_k3_a10_b5-eps-converted-to.pdf}}
\end{center}
\caption{Eigenvalues versus $\beta$ for different values of $k$ and $\alpha$}
\label{fig:beta}
\end{figure}

We recognize in these pictures the situation presented in~\cref{se:caso2},
corresponding to the behavior of the eigenvalues when
the parameter $\beta$ in matrix $\m{B}$ varies.
In this test, the kernel of matrix $\Bu$ is not empty only for $k=3$.
Nevertheless, we can see that when $\beta$ approaches $0$, there are several
eigenvalues going to $\infty$.  On the other side, for greater values of
$\beta$ we obtain several spurious eigenvalues.
The range of $\beta$, which gives eigenvalues close to
the exact ones, clearly depends on $k$ and $\alpha$.

\Cref{fig:6400} displays, in separate pictures, the first four eigenvalues,
with $k=1$, $\alpha=10$, different values of $h$, and $0\le\beta\le400$. Taking
into account that the routine \texttt{eig} sorts the eigenvalues in ascending
order, the four pictures display, in lexicographical order, the first, second,
third and fourth computed eigenvalues. In each subplot, each line refers to a
particular mesh.  We can see that the eigenvalues computed with the finest mesh
seem to be insensitive with respect to the value of $\beta$.
On the opposite side the coarsest mesh gives approximations
of the correct values only when $\beta$ is very small and, furthermore,
the accuracy is rather low.
For each eigenvalue and each fixed mesh we recognize a
critical value of the parameter such that greater values of $\beta$ produce
spurious eigenvalues.
The behavior of these eigenvalues clearly reproduces that of the eigenvalues
in~\cref{fig:case1} (right) referring to Case 2. The results are plotted with
a different perspective depending on the fact that the results now depend also
on the computational mesh.
The right bottom plot of~\cref{fig:6400} highlights a phenomenon which
already appears in~\cref{fig:beta}(i). Indeed, we see that the red line
corresponding to the fourth computed eigenvalue for $N=400$ lies along an
hyperbola until $\beta=65$ where it reaches the value $5$ associated with
second and third exact eigenvalues. Between $\beta=65$ and $\beta=55$ the red
line remains close to $5$, then decreasing $\beta$ it follows a different
hyperbola until it reaches the expected value for $\beta=35$.

\begin{figure}[h]
\begin{center}
\includegraphics[width=\textwidth]{figures/6400_4-eps-converted-to.pdf}
\end{center}
\caption{First four eigenvalues}
\label{fig:6400}
\end{figure}
\section*{Conclusions}
In this paper we have discussed how numerically computed eigenvalues can
depend on discretization parameters. \Cref{se:param}
shows the dependence on $\alpha$ and $\beta$ of the eigenvalues
of~\eqref{eq:eig} when $\m{A}$ and $\m{B}$ have the forms~\eqref{eq:A}
and~\eqref{eq:B}, respectively. In~\cref{se:VEM} we have studied the
behavior of the eigenvalues of the Laplace operator computed with the Virtual
Element Method. The presence of two parameters resembles the abstract setting
of~\cref{se:param}; even if assumptions satisfied by the VEM matrices are
more complicated than the ones previously discussed, the numerical results are
pretty much in agreement. The present work opens the question of a viable
choice of the parameters for eigenvalue computations when the discretization
scheme depends on a suitable tuning of them (such as in the case of VEM).

 \section*{Acknowledgments}
 %
The authors are members of INdAM Research group GNCS and their
research is supported by PRIN/MIUR. The research of the first and third
authors is partially supported by IMATI/CNR.


Descent polynomials for permutations with bounded drop size

Abstract: Motivated by juggling sequences and bubble sort, we examine permutations on the set {1,2,...,n} with d descents and maximum drop size k. We give explicit formulas for enumerating such permutations for given integers k and d. We also derive the related generating functions and prove unimodality and symmetry of the coefficients.

\section{Introduction}
There have been extensive studies of various statistics on $\mathcal{S}_n$,
the set of all permutations of $\{ 1,2, \dots, n\}$.  For a
permutation $\pi$ in $\mathcal{S}_n$, we say that $\pi$ has a \emph{drop} at
$i$ if $\pi_i < i$ and that the \emph{drop size} is $i-\pi_i$.  We say
that $\pi$ has a \emph{descent} at $i$ if $\pi_i > \pi_{i+1}$. One of
the earliest results \cite{mac} in permutation statistics states that
the number of permutations in $\mathcal{S}_n$ with $k$ drops equals the
number of permutations with $k$ descents. A concept closely related to
drops is that of \emph{excedances}, which is just a drop of the
inverse permutation. In this paper we focus on drops instead of
excedances because of their connection with our motivating
applications concerning bubble sort and juggling sequences.

Other statistics on a permutation $\pi$ include such things as the
number of \emph{inversions}, that is, $|\{(i,j) : i < j,\; \pi_i >
\pi_j\}|$, and the \emph{major index} of $\pi$ (i.e., the sum of $i$
for which a descent occurs). The enumeration of and generating
functions for these statistics can be traced back to the work of
Rodrigues in 1839 \cite{rodrigues} but was mainly influenced by
McMahon's treatise in 1915 \cite{mac}. There is an extensive
literature studying the distribution of the above statistics and their
$q$-analogs (see for example Foata and Han \cite{foata_han} or the
papers of Shareshian and Wachs \cite{wachs,wachs2} for more recent
developments).
As noted above, the drop statistic that we study is closely related to the
excedances statistic. The distribution of the bivariate
statistics $(\mbox{descents},\mbox{excedances})$ can be found in
Foata and Han~\cite[equations (1.15) and (1.16)]{foata_han_fix}.

This joint work originated from its connection with a paper \cite{jug}
on sequences that can be translated into juggling patterns. The set of
juggling sequences of period $n$ containing a specific state, called
the ground state, corresponds to the set $\mathcal{B}_{n,k}$ of permutations in
$\mathcal{S}_n$ with drops of size at most $k$. As it turns out, $\mathcal{B}_{n,k}$
can also be associated with the set of permutations that can be sorted
by $k$ operations of bubble sort. These connections will be further
described in the next section. We note that the {\it maxdrop}
statistic has not been treated in the literature as extensively as
many other statistics in permutations. As far as we know, this is the
first time that the distribution of descents with respect to maxdrop
has been determined.

First we give some definitions concerning the statistics and
polynomials that we examine. Given a permutation $\pi$ in $\mathcal{S}_n$,
let $\Des(\pi)$ denote the descent set, $\{1\leq i<n: \pi_i >
\pi_{i+1}\}$, of $\pi$ and let $\des(\pi)=|\Des(\pi)|$ be the number
of descents. We use $\maxdrop(\pi)$ to denote the value of the maximum
drop (or maxdrop) of $\pi$,
\begin{equation*}
  \maxdrop (\pi) = \max\{\,i - \pi(i) : 1\leq i\leq n\,\}.
\end{equation*}
Let $\mathcal{B}_{n,k}=\{\pi \in \mathcal{S}_n : \maxdrop(\pi) \leq k\}$. It is
known, and also easy to show, that $|\mathcal{B}_{n,k}| = k!(k+1)^{n-k}$; e.g., see
\cite[Thm. 1]{jug} or \cite[p. 108]{knuth}. Let
\begin{equation*}
  b_{n,k}(r) = |\{\pi \in \mathcal{B}_{n,k} : \des(\pi) = r \}|,
\end{equation*}
and define the ($k$-maxdrop-restricted) descent polynomial
\begin{equation*}
  B_{n,k} (x) = \sum_{r \geq 0} b_{n,k}(r) x^r = \sum_{\pi \in \mathcal{B}_{n,k}}x^{\des(\pi)}.
\end{equation*}

Examining the case of $k=2$, we discovered that the coefficients $b_{n,2}(r)$
of $B_{n,2}(x)$ appear to be given by every \emph{third} coefficient of
the simple polynomial
\begin{equation*}
  (1+x^2)(1+x+x^2)^{n-1}.
\end{equation*}
Looking at the next two cases, $k=3$ and $k=4$, yielded more
mysterious polynomials: $b_{n,3}(r)$ appeared to be every fourth
coefficient of
\begin{equation*}
  (1+x^2+2x^3+x^4+x^6)(1+x+x^2+x^3)^{n-2}
\end{equation*}
and $b_{n,4}(r)$ every fifth coefficient of
\begin{equation*}
  (1+x^2+2x^3+4x^4+4x^5+4x^7+4x^8+2x^9+x^{10}+x^{12})(1+x+x^2+x^3+x^4)^{n-3}.
\end{equation*}
After a fierce battle with these polynomials, we were able to show that
$b_{n,k}(r)$ is the coefficient of $ u^{r(k+1)}$ in the polynomial
\begin{equation}\label{closed_1}
  P_k(u) \left(1+u+\dots + u^k \right)^{n-k}
\end{equation}
where
\begin{equation}\label{closed_2}
  P_k(u)
  = \sum_{j=0}^k A_{k-j}(u^{k+1})(u^{k+1}-1)^{j}\sum_{i=j}^k\binom{i}{j}u^{-i},
\end{equation}
and $A_k$ denotes the $k$th Eulerian polynomial (defined in the
next section). Further to this, we give an expression for the
generating function $\mathbf B_k(z,y) = \sum_{n \geq 0}B_{n,k}(y)z^n$,
namely
\begin{equation*}
  \mathbf B_k(z,y) = \dfrac{\displaystyle{ 1+\sum_{t=1}^k \left(
    A_t(y) - \sum_{i=1}^t \binom{k+1}{i} (y-1)^{i-1} A_{t-i}(y)
    \right)z^t }}{\displaystyle{ 1 - \sum_{i=1}^{k+1}\binom{k+1}{i}z^i (y-1)^{i-1} }}.
\end{equation*}

We also give some alternative formulations for $P_k$ which lead to
some identities involving Eulerian numbers as well as proving the
symmetry and unimodality of the polynomials $B_{n,k}(x)$.

Many questions remain. For example, is there a more natural bijective
proof for the formulas that we have derived for $B_{n,k}$ and $\mathbf B_k$?
Why do permutations that are $k$-bubble sortable define the
aforementioned juggling sequences?

\section{Descent polynomials, bubble sort and juggling sequences}
We first state some standard notation. The polynomial
\begin{equation*}
  A_n(x) = \sum_{\pi\in\mathcal{S}_n} x^{\des(\pi)}
\end{equation*}
is called the $n$th \emph{Eulerian polynomial}. For instance,
$A_0(x)=A_1(x)=1$ and $A_2(x)=1+x$. Note that
$B_{n,k}(x) = A_n(x)$ for $k \geq n-1$, since $\maxdrop(\pi) \leq
n-1$ for all $\pi \in \mathcal{S}_n$.  The coefficient of $x^k$ in
$A_n(x)$ is denoted $\euler{n}{k}$ and is called an \emph{Eulerian
number}. It is well known that (\cite{concrete})
\begin{equation}\label{euler_gf}
  \frac{1-w}{e^{(w-1)z }- w }
  = \sum_{k,n \geq 0} \euler{n}{k} w^k \frac{z^n}{n!}.
\end{equation}
The Eulerian numbers are also known to be given explicitly as
(\cite{euler, concrete})
\begin{equation*}
  \euler{n}{k} = \sum_{i=0}^n \binom{n+1}{i}(k+1-i)^n (-1)^i .
\end{equation*}

We define the operator $\bsort$ which acts recursively on permutations
via
\begin{equation*}
  \bsort(LnR)=\bsort(L)Rn.
\end{equation*}
In other words, to apply $\bsort$ to a permutation $\pi$ in $\mathcal{S}_n$,
we split $\pi$ into (possibly empty) blocks $L$ and $R$ to the left
and right, respectively, of the largest element of $\pi$ (which
initially is $n$), interchange $n$ and $R$, and then recursively apply
this procedure to $L$. We will use the convention that
$\bsort(\emptyset) = \emptyset$; here $\emptyset$ denotes the
empty permutation. This operator corresponds to one \emph{pass} of the
classical bubble sort operation. Several interesting results on the
analysis of bubble sort can be found in
Knuth~\cite[pp. 106--110]{knuth}. We define the \emph{bubble sort
  complexity} of $\pi$ as
\begin{equation*}
  \bsc(\pi) = \min \{ k: \bsort^k(\pi)=\mbox{id}\},
\end{equation*}
the number of times $\bsort$ must be applied to $\pi$ to give the
identity permutation. The following lemma is easy to prove using
induction.

\begin{lemma}\label{bubblesort}
  $\mathrm{(i)}$ For all permutations $\pi$ we have $\maxdrop(\pi) =
  \bsc(\pi)$.\\
  $\mathrm{(ii)}$ The bubble sort
  operator maps $\mathcal{B}_{n,k}$ to $\mathcal{B}_{n,k-1}$.
\end{lemma}

The analysis of algorithms similar to bubble sort has been
instrumental in generating interesting research.  For example, the
analysis of stack sort in Knuth\cite[pp. 242--243]{knu} gave rise to
the area of pattern avoiding permutations.  The stack sort operator
$\ssort$ is defined by $\ssort(LnR)=\ssort(L)\ssort(R)n$. We see below
that stack sort is at least as efficient as bubble sort.

\begin{lemma}
\label{stack}
For all $\pi \in \mathcal{S}_n$, if $\bsort^k(\pi) = \mbox{id}$ then
$\ssort^k(\pi)=\mbox{id}$.
\end{lemma}

\begin{proof}
  The proof of Lemma \ref{stack} follows from the following claim:
  \smallskip

  {\it If $A=a_1a_2 \dots a_n=LmR$ is a sequence of
    distinct positive integers and $m=\max_i a_i$, then
    either $\maxdrop(A) = 1-a_1$ or $\maxdrop(\ssort(A)) \leq
    \maxdrop(A) -1$.}\smallskip

  The Claim is certainly true for $n=1$. Suppose the claim is true for
  $n' < n$.  If $\maxdrop(A)=1-a_1$, we are done. We may assume that
  $\maxdrop(A) > 1-a_1$.  This implies that the maxdrop of $A$ does
  not occur at the entry where $m$ is located.  For the $i$th entry in
  $\ssort(L)$, the maxdrop of $\ssort(L)$ at $i$ is reduced by one by
  induction.  For the $j$th entry in $R$, the maxdrop of the
  corresponding entry in $\ssort(A)$ is reduced by $1$.  Thus, the
  claim is proved by induction.
\end{proof}

The class of permutations $\mathcal{B}_{n,k}$ appears in a recent paper
\cite{jug} on enumerating juggling patterns that are usually
called \emph{siteswaps} by (mathematically inclined) jugglers.
Suppose a juggler throws a ball at time $i$ so that the ball will be
in the air for a time $t_i$ before landing at time $t_i +i$. Instead
of an infinite sequence, we will consider periodic patterns, denoted
by $T=(t_1, t_2, \dots, t_n)$.  A \emph{juggling sequence} is just one
in which two balls never land at the same time. It is not hard to show
\cite{jug0} that a necessary and sufficient condition for a sequence
to be a juggling sequence is that all the values $t_i+i \pmod n$ are
distinct.  In particular, it follows that that the average of $t_i$ is
just the numbers of balls being juggled. Here is an example:

If $T=(3,5,0,2,0)$ then at time 1 a ball is thrown that will land at
time $1+3=4$. At time 2 a ball is thrown that will land at time
$2+5=7$. At time 3 a ball is thrown that will land at time
$3+0=3$. Alternatively one can say that no ball is thrown at time 3.
This is represented in the following diagram. \ \\[0.6em]
\centerline{\scalebox{0.75}{\includegraphics{example1}}}
Repeating this for all intervals of length 5 gives \ \\[0.9em]
\centerline{\scalebox{0.75}{\includegraphics{example2}}}

For a given juggling sequence, it is often possible to further
decompose into shorter juggling sequences, called \emph{primitive
  juggling sequences}, which themselves cannot be further decomposed.
These primitive juggling sequences act as basic building blocks for
juggling sequences \cite{jug}.  However, in the other direction, it is
not always possible to combine primitive juggling sequences into a
longer juggling sequence. Nevertheless, if primitive juggling
sequences share a common \emph{state} (which one can think of as a
\emph{landing schedule}), we then can combine them to form a longer
and more complicated juggling sequences.  In \cite{jug}, primitive
juggling sequences associated with a specified state are enumerated.
Here we mention the related fact concerning $\mathcal{B}_{n,k}$:\smallskip

{\it There is a bijection mapping permutations in $\mathcal{B}_{n,k}$ to
  primitive juggling sequences of period $n$ with $k$ balls that all
  share a certain state, called the ground state.}\smallskip

The bijection maps $\pi$ to $\phi(\pi)= (t_1, \dots, t_n) $ with $t_i
= k-i+\pi_i$. As a consequence of the above fact and Lemma
\ref{bubblesort}, we can use bubble sort to transform a juggling
sequence using $k$ balls to a juggling sequence using $k-1$ balls.

To make this more precise, let $T=(t_1,\dots, t_n)$ be a juggling
sequence that corresponds to $\pi \in \B_{n,k}$, and suppose that
$T'=(s_1,\dots , s_n)$ is the juggling sequence that corresponds to
$\bsort(\pi)$.  Assume that the ball $B$ thrown at time $j$ is the one
that lands latest out of all the $n$ throws.  In other words, $t_j+j$
is the largest element in $\{t_i+i\}_{i=1}^n$. Now, write $T=L t_j R $
where $L=(t_1,\dots,t_{j-1})$ and $R=(t_{j+1},\dots,t_n)$. Then we
have
\begin{equation*}
  T' = f_k(T) = f_k(L)R\hspace{0.7pt}s,
\end{equation*}
where $s = t_j + j - (n+1)$. In other words, we have removed the ball
$B$ thrown at time $j$ and thus throw all balls after time $j$ one
time unit sooner.  Then at time $n$ we throw the ball B so that it
lands one time unit sooner than it would have originally landed.  Then
we repeat this procedure to all the balls thrown before time $j$.

\section{The polynomials $B_{n,k}(y)$}
In this section we will characterise the polynomials $B_{n,k}(y)$.
This is done by first finding a recurrence for the polynomials and
then solving the recurrence by exploiting some aspects of their
associated characteristic polynomials. The latter step is quite
involved and so we present the special case dealing with $B_{n,4}(y)$
first.

\subsection{Deriving the recurrence for $B_{n,k}$}
We will derive  the following recurrence for $B_{n,k}(y)$.
\begin{theorem}\label{b_rec_thm}
  For $n \geq 0$,
  \begin{equation}\label{rec}
    B_{n+k+1,k} (y)
    = \sum_{i=1}^{k+1} \binom{k+1}{i} (y-1)^{i-1} B_{n+k+1-i,k} (y)
  \end{equation}
  with the initial conditions
  \begin{equation*}
    B_{i,k}(y)  = A_i(y),\quad 0 \leq i \leq k.
  \end{equation*}
\end{theorem}

We use the notation $[a,b] =\{i\in\mathbb{Z} :a\leq i\leq b\}$ and
$[b]=[1,b]$. Let $A=\{a_1,\dots,a_n\}$ with $a_1<\dots<a_n$ be any
finite subset of $\mathbb{N}$. The \emph{standardization} of a permutation
$\pi$ on $A$ is the permutation $\st(\pi)$ on $[n]$ obtained from
$\pi$ by replacing the integer $a_i$ with the integer $i$. Thus $\pi$
and $\st(\pi)$ are order isomorphic. For example, $\st(19452) =
15342$. If the set $A$ is fixed, the inverse of the standardization
map is well defined, and we denote it by $\st^{-1}_A(\sigma)$; for
instance, with $A=\{1,2,4,5,9\}$, we have $\st^{-1}_A(15342)=19452$.
Note that $\st$ and $\st^{-1}_A$ each preserve the descent set.

For any set $S \subseteq [n-1]$ we define
$\mathcal{A}_{n,k}(S) = \{ \pi\in\B_{n,k} : \Des(\pi) \supseteq S \}$
and
\begin{equation*}
  t_n(S) = \max\{ i\in\mathbb{N} : [n-i,n-1] \subseteq S\}.
\end{equation*}
Note that $\tl_n(S)=0$ in the case that $n-1$ is not a member of
$S$. Now, for any permutation $\pi=\pi_1\dots\pi_n$ in $\mathcal{A}_{n,k}(S)$ define
\begin{equation*}
  f(\pi) = (\sigma, X),\;\text{ where }
  \sigma=\st(\pi_1\dots\pi_{n-i-1}),
  X=\{\pi_{n-i},\dots ,\pi_n\} \text{ and } i=\tl_n(S).
\end{equation*}

\begin{example}
  Let $S=\{3,7,8\}$, and choose the permutation $\pi = 138425976$ in
  $\mathcal{A}_{9,3}(S)$. Notice that $\Des(\pi)=\{3,4,7,8\} \supset S$.  Now
  $\tl_9(S)=2$. This gives $f(\pi) = (\sigma, X)$ where $\sigma =
  \st(138425) = 136425$ and $X=\{\pi_7, \pi_8,\pi_9\}=\{6,7,9\}$.
  Hence $f(138425976)=(136425, \{6,7,9\})$.
\end{example}

\begin{lemma}
  For any $\pi$ in $\mathcal{A}_{n,k}(S)$, the image $f(\pi)$ is in the
  Cartesian product
  \begin{equation*}
    \mathcal{A}_{n-i-1,k}(S\cap [n-\tl_n(S)-2])\times\binom{[n-k,n]}{\tl_n(S)+1},
  \end{equation*}
  where $\binom{X}{m}$ denotes that set of all $m$-element subsets
  of the set $X$.
\end{lemma}

\begin{proof}
  Given $\pi\in\mathcal{A}_{n,k}(S)$, let $f(\pi)=(\sigma,X)$. Suppose
  $i=\tl_n(S)$. Then there are descents at positions $n-i, \dots ,
  n-1$ (this is an empty sequence in case $i=0$). Thus
  \begin{equation*}
    n\geq\pi_{n-i}>\pi_{n-i+1}>\dots > \pi_{n-1}>\pi_n\geq n-k,
  \end{equation*}
  where the last inequality follows from the assumption that
  $\maxdrop(\pi)\leq k$. Hence $X$ is an $(i+1)$-element subset of
  $[n-k,n]$, as claimed. Clearly $\sigma\in\mathcal{S}_{n-i-1}$.

  Next we shall show that $\sigma$ is in $\mathcal{A}_{n-i-1,k}$.  Notice that
  the entries of $(\pi_1,\dots, \pi_{n-i-1})$ that do not change
  under standardization are those $\pi_{\ell}$ which are
  $<\pi_n$. Since these values remain unchanged, the values
  $\ell-\pi_{\ell}$ are also unchanged and are thus $\leq k$.

  Let $(\pi_{a(1)},\dots, \pi_{a(m)})$ be the subsequence of values
  which are $>\pi_n$. The smallest value that any of these may take
  after standardization is $\pi_n \geq n-k$.  So $\sigma_{a(j)} \geq
  \pi_n \geq n-k$ for all $j \in [1,m]$.  Thus $a(j)-\sigma_{a(j)}
  \leq a(j) - (n-k) = k-(n-a(j)) \leq k$ for all $j \in [1,m]$.
  Therefore $\ell - \sigma_{\ell} \leq k$ for all $\ell \in [1,n-i-1]$
  and so $\sigma \in \mathcal{A}_{n-i-1,k}$.

  The descent set is preserved under standardization, and consequently
  $\sigma$ is in $\mathcal{A}_{n-i-1,k}(S\cap [n-i-2])$, as claimed.
\end{proof}

We now define a function $g$ which will be shown to be the inverse of
$f$. Let $\pi$ be a permutation in $\mathcal{A}_{m,k}(T)$, where $T$ is a
subset of $[m-1]$. We will add $i+1$ elements to $\pi$ to yield a new
permutation $\sigma$ in $\mathcal{A}_{m+i,k}(T \cup [m+1,m+i])$.  Choose any
$(i+1)$-element subset $X$ of the interval $[m+i+1-k,m+i+1]$, and let
us write $X=\{x_1,\dots , x_{i+1}\}$, where $x_1\leq\dots\leq
x_{i+1}$. Define
\begin{equation*}
  g(\pi,X)=\st^{-1}_V (\pi_1\dots\pi_m) \, x_{i+1}x_i\dots x_1,\,
  \text{ where }V=[m+i+1]\setminus X.
\end{equation*}

\begin{example}
  Let $T=\{1\}$, and choose the permutation $\pi=3142$ in $\mathcal{A}_{4,3}
  (T)$. Notice that $\Des(\pi)=\{1,3\}\supseteq T$. Choose $i=2$ and
  select a subset $X$ from $[4+2+1-3,4+2+1]=\{4,5,6,7\}$ of size
  $i+1=3$. Let us select $X=\{4,6,7\}$. Now we have
  $g(\pi,X) =\st^{-1}_V(3142)\,764=3152764$,
  where $V$ is the set $[4+2+1]\setminus \{4,6,7\} = \{1,2,3,5\}$.
\end{example}

\begin{lemma}
  If $(\pi,X)$ is in the Cartesian product
  \begin{equation*}
    \mathcal{A}_{m,k}(T)\times\binom{[m+i+1-k,m+i+1]}{i+1}
  \end{equation*}
  for some $i>0$ then $g(\pi,X)$ is in
  \begin{equation*}
    \mathcal{A}_{m+i+1,k}(T\cup [m+1, m+i]).
  \end{equation*}
\end{lemma}

\begin{proof}
  Let $\sigma=g(\pi,X)$. For the first $m$ elements of $\sigma$, since
  $\sigma_j \geq \pi_j$ for all $1\leq j \leq m$, we have $j-\sigma_j
  \leq j-\pi_j$
  which gives
  \begin{equation*}
    \max\{j-\sigma_j: j\in[m]\}\leq\max\{j-\pi_j : j\in[m]\}\leq k.
  \end{equation*}
  The final $i+1$ elements of $\sigma$ are decreasing so the
  $\maxdrop$ of these elements will be the $\maxdrop$ of the final
  element,
  \begin{equation*}
    m+i+1-\sigma_{m+i+1} = m+i+1 - x_1 \leq m+i+1-(m+i+1-k) = k.
  \end{equation*}
  Thus $\maxdrop(\sigma) \leq k$ and so $\sigma\in\B_{m+i+1,k}$.
  The descents of $\sigma$ will be in the set $T \cup
  [m+1,m+i]$ since descents are preserved under standardization
  and the final $i+1$
  elements of $\sigma$ are listed in decreasing order. Hence
  $\sigma\in A_{m+i+1,k}(T\cup [m+1, m+i])$, as claimed.
\end{proof}

\begin{lemma}
  The function $f$ is a bijection, and $g$ is its inverse.
\end{lemma}

\begin{proof}
  Given any $(\sigma,X) \in \binom{[m+j+1-k,m+j+1]}{j+1}
  \times\mathcal{A}_{m,k}(T)$ where $T \subseteq [m-1]$, let
  $\pi=g(\sigma,X)$. We have
  \begin{equation*}
    \pi=\st^{-1}_{[m+j+1]\setminus X}(\sigma_1\dots\sigma_m)
    \,x_{j+1}x_j\dots x_1 \in \mathcal{A}_{m+j+1,k}(T\cup[m+1,m+j]),
  \end{equation*}
  where $X=\{x_1,\dots, x_{j+1}\}$ and $x_1\leq\dots\leq x_{j+1}$.
  Let $S=T\cup [m+1,m+j]$. Clearly $\Des(g(\sigma,X)) \supseteq S$
  and $i=\tl_{m+j+1}(S)=j$. So $f(g(\sigma,X)) = (\tau,Y)$ where
  \begin{equation*}
    Y=\{\pi_{m+1},\dots , \pi_{m+j+1}\} = \{x_1,\dots, x_{j+1}\}= X
  \end{equation*}
  and
  \begin{equation*}
    \tau =
    \st(\st^{-1}_{[1,m+j+1]\setminus X}(\sigma_1\dots\sigma_m)) = \sigma.
  \end{equation*}
  Hence
  $f(g(\sigma,X))=(\sigma,X)$.
  Given $\pi\in\mathcal{A}_{n,k}(S)$, let $f(\pi)=(\sigma,X)$ with
  $X=\{x_1,\dots , x_{i+1}\}$ and
  $\sigma = \st(\pi_1\dots\pi_{n-(i+1)})$.
  We have
  \begin{align*}
    g(\sigma,X)
    &=\st^{-1}_{[1,n]\setminus X} (\sigma_1\dots\sigma_{n-i-1})
    x_{i+1}\dots x_1\\
    &= \st^{-1}_{[1,n]\setminus X}(\st(\pi_1\dots\pi_{n-i-1}))
    \pi_{n-i}\dots \pi_n \\
    &= \pi_1\dots \pi_{n-i-1}\pi_{n-i}\dots \pi_n \\
    &= \pi.
  \end{align*}
  Hence $g(f(\pi))=\pi$.
\end{proof}

\begin{corollary}\label{rec_corol}
  Let $a_{n,k}(S) = |\mathcal{A}_{n,k}(S)|$ and $i=\tl_n(S)$. Then
  \begin{equation*}
    a_{n,k}(S) = \binom{k+1}{i+1} a_{n-(i+1),k} (S\cap [1,n-(i+1)]).
  \end{equation*}
\end{corollary}

\begin{proposition}\label{prop_rec}
  For all $n\geq0$,
  $$\B_{n,k}(y+1) =
  \sum_{i=1}^{k+1} {k+1 \choose i} y^{i-1} \B_{n-i,k} (y+1).
  $$
\end{proposition}

\begin{proof}
  Notice that
  \begin{align*}
    \B_{n,k}(y+1)
    &= \sum_{\pi \in \B_{n,k}} (y+1)^{\des(\pi)} \\
    &= \sum_{\pi \in \B_{n,k}} \sum_{i=0}^{\des(\pi)} \binom{\des(\pi)}{i} y^i \\
    &= \sum_{\pi \in \B_{n,k}} \sum_{S\subseteq \Des(\pi)} y^{|S|}\\
    &= \sum_{S\subseteq [n-1]} y^{|S|} \sum_{\pi \in \mathcal{A}_{n,k}(S)}  1
    = \sum_{S\subseteq [n-1]} y^{|S|} a_{n,k}(S).
  \end{align*}
  From Corollary \ref{rec_corol}, multiply both sides by $y^{|S|}$ and sum
  over all $S \subseteq [n-1]$. We have
  \begin{align*}
    \B_{n,k}(y+1)
    &= \sum_{S \subseteq [n-1]} y^{|S|} \binom{k+1}{\tl_n(S)+1} a_{n-(\tl_n(S)+1),k} (S \cap [n-(\tl_n(S)+2)]) \\
    &= \sum_{i \geq 0 } \sum_{S \subseteq [n-1]\atop \tl_n(S)=i} y^i y^{|S|-i} \binom{k+1}{i+1} a_{n-(i+1),k} (S \cap [n-(i+2)]) \\
    &= \sum_{i \geq 0 } \binom{k+1}{i+1} y^i \sum_{S \subseteq [n-1]\atop \tl_n(S)=i}  a_{n-(i+1),k} (S \cap [n-(i+2)]) y^{|S|-i}\\
    &= \sum_{i \geq 0 } \binom{k+1}{i+1} y^i \sum_{S \subseteq [n-(i+1)]}  a_{n-(i+1),k} (S) y^{|S|}\\
    &= \sum_{i \geq 0 } \binom{k+1}{i+1} y^i \B_{n-(i+1),k} (y+1) \\
    &= \sum_{i \geq 1 } \binom{k+1}{i} y^{i-1} \B_{n-i,k} (y+1).
  \end{align*}
\end{proof}

\begin{proof}[Proof of Theorem \ref{b_rec_thm}]
  Replacing $n$ and $y$ by $n+k+1$ and $y-1$, respectively, in
  Proposition \ref{prop_rec} yields the recurrence (\ref{rec}):
  \begin{equation*}
    B_{n+k+1,k}(y) = \sum_{i=1}^{k+1} \binom{k+1}{i} (y-1)^{i-1} B_{n+k+1-i,k} (y)
  \end{equation*}
  for $n \geq 0$, with the initial conditions
  $B_{i,k}(y)  = A_i(y),\,0 \leq i \leq k$.
\end{proof}
Consequently, by multiplying the above recurrence by $z^n$ and summing
over all $n\geq 0$, we have the generating function $\mathbf B_k(z,y)$:
\begin{equation}\label{BB_gen}
  \mathbf B_k(z,y) = \dfrac{\displaystyle{ 1+\sum_{t=1}^k \left(
    A_t(y) - \sum_{i=1}^t \binom{k+1}{i} (y-1)^{i-1} A_{t-i}(y)
    \right)z^t }}{\displaystyle{ 1 - \sum_{i=1}^{k+1}\binom{k+1}{i}z^i (y-1)^{i-1} }}.
\end{equation}

\subsection{Solving the recurrence for $B_{n,4}$.}
Before we proceed to solve the recurrence for $B_{n,k}$, we first
examine the special case of $k=4$ which is quite illuminating. We note
that the characteristic polynomial for the recurrence for $B_{n,4}$ is
\begin{align*}
  h(z)
  &= z^5 - 5z^4+10(1-y)z^3 - 10(1-y)^2z^2 + 5(1-y)^3z -(1-y)^4\\
  &= \frac{(z-1+y)^5 -yz^5}{1-y}.
\end{align*}
Substituting $y = t^5$ in the expression above, we see that the
roots of $h(z)$ are just
\begin{equation*}
  \rho_j(t) = \frac{1-t^5}{1-\omega^j t},\quad 0\leq j \leq 4,
\end{equation*}
where $\omega = \exp(\frac{2 \pi \mathfrak{i}}{5})$ is
a primitive $5th$ root of unity. Hence, the general term for
$B_{n,4}(t)$ can written as
\begin{equation*}
  B_{n,4}(t) = \sum_{i=0}^4 \alpha_i(t) \rho_i^n(t)
\end{equation*}
where the $\alpha_i(t)$ are appropriately chosen coefficients
(polynomials in $t$). To determine the $\alpha_i(t)$ we need to solve
the following system of linear equations:
\begin{equation*}
  \sum_{i=0}^4 \alpha_i(t) \rho_i^j(t)
  = B_{j,4}(t) = A_j(t^5), \, 0 \leq j \leq 4.
\end{equation*}
Thus, $\alpha_i(t)$ can be expressed as the ratio
$N_{4,i+1}(t)/D_4(t)$ of two determinants. The denominator
$D_4(t)$ is just a standard Vandermonde determinant whose $(i+1,j+1)$
entry is $\rho_i^j(t)$. The numerator $N_{4,i+1}(t)$ is formed from
$D_4(t)$ by replacing the elements $\rho_i^j(t)$ in the $(i+1)$st row
by $A_j(t^5)$.  A quick computation (using the symbolic
computation package Maple) gives:
\begin{align*}
 D_4(t)    &= 25 \sqrt 5 \,(1-t^5)^6 t^{10}; \\
 N_{4,1}(t) &=5 \sqrt 5 \,(t^{12}+t^{10}+2t^9+4t^8+4t^7+4t^5+4t^4+2t^3+t^2+1)
 (1-t^5)^3 (1-t)^3t^{10}
\end{align*}
and, in general, $N_{4,i+1}(t) = N_{4,1}(\omega^i t).$

Substituting the value $\alpha_0 (t) = N_{4,1}(t)/D_4(t)$ into the
first term in the expansion of $B_{n,4}$, we get
\begin{multline*}
  \alpha_0 (t)(1+t+t^2+t^3+t^4)^n \\
  =\tfrac{1}{5}(t^{12}+t^{10}+2t^9+4t^8+4t^7+4t^5+4t^4+2t^3+t^2+1)
  (1+t+t^2+t^3+t^4)^{n-3}.
\end{multline*}
Now, since the other four terms $\alpha_i(t)(1+t+t^2+t^3+t^4)^n$ arise
by replacing $t$ by $\omega ^i t$ then in the sum of all five terms,
the only powers of $t$ that survive are those which have powers which
are multiples of $5$.  Thus, we can conclude that if we write
\begin{equation*}
  (t^{12}+t^{10}+2t^9+4t^8+4t^7+4t^5+4t^4+2t^3+t^2+1)(1+t+t^2+t^3+t^4)^{n-3}
  = \sum_r \beta(r) t^r
\end{equation*}
then $b_{n,4}(d) = \beta(5d)$. In other words, the number of
permutations $\pi \in \mathcal{B}_{n,4}$ with $d$ descents is given by the
coefficient of $t^{5d}$ in the expansion of the above polynomial.
Incidentally, the corresponding results for the earlier $\mathcal{B}_{n,i}$ are
as follows: $b_{n,1}(d) = \beta(2d)$ in the expansion of
\begin{equation*}
  (1+t)^n = \sum_r \beta(r) t^r ,
\end{equation*}
so $b_{n,1}(d)=\binom{n}{2d}$; $b_{n,2}(d) = \beta(3d)$ in
the expansion of
\begin{equation*}
  (1+t^2)(1+t)^{n-1} = \sum_r \beta(r) t^r;
\end{equation*}
and $b_{n,3}(d) = \beta(4d)$ in the expansion of
\begin{equation*}
  (1+t^2+2t^3+t^4+t^6)(1+t)^{n-2} = \sum_r \beta(r) t^r.
\end{equation*}

The preceding arguments have now set the stage for dealing with the
general case of $B_{n,k}$. Of course, the arguments will be somewhat
more involved but it is hoped that treating the above special case
will be a useful guide for the reader.

\subsection{Solving  the recurrence for $B_{n,k}$}
\begin{theorem}
  We have
  $B_{n,k}(y) = \sum_d \beta_k\big((k+1)d\big) y^{(k+1)d}$, where
  \begin{equation*}
    \sum_j \beta_k(j) u^j
    = P_k(u) \left( \frac{1-u^{k+1}}{1-u} \right)^{n-k}
  \end{equation*}
  and
  \begin{equation*}
    P_k(u) =
    \sum_{j=0}^k
    A_{k-j}(u^{k+1})  (u^{k+1}-1)^{j} \sum_{i=j}^k \binom{i}{j} u^{-i}.
  \end{equation*}
\end{theorem}

\begin{proof}
  To solve (\ref{rec}) for $B_{n,k}$, we first need to compute the
  roots of the corresponding characteristic polynomial
  \begin{equation*}
    z^{n+k+1} - \sum_{i=1}^{k+1} \binom{k+1}{i} (y-1)^{i-1} z^{n+k+1-i}
  \end{equation*}
  which can be rewritten as
  \begin{equation*}
    \big(z - (1-y)\big)^{k+1} - yz^{k+1}.
  \end{equation*}
  Substituting $y = u^{k+1}$, this becomes
  \begin{equation*}
    \big(z-(1-u^{k+1})\big)^{k+1} - u^{k+1}z^{k+1}.
  \end{equation*}
  The $k+1$ roots of this polynomial are easily seen to be the
  expressions
  \begin{equation*}
    \rho_i = \rho_i(u)
    = \frac{1-u^{k+1}}{1-\omega^i u},\quad 0 \leq i \leq k,
  \end{equation*}
  where $\omega = \exp(\frac{2 \pi \mathfrak{i}}{k+1})$ is a primitive
  $(k+1)$st root of unity. Thus, we can express $B_{n,k}$ in the form
  \begin{equation*}
    B_{n,k}(u^{k+1}) = \sum_{i=0}^k \alpha_{k,i}(u) \rho_i^n
  \end{equation*}
  for an appropriate choice of coefficients $\alpha_{k,i}$ (which depend
  on the initial conditions).  In fact, writing down the expressions for
  the first $k+1$ $B_{n,k}$'s, we have:
  \begin{equation*}
    B_{j,k}(u^{k+1})
    = \sum_{i=0}^k \alpha_{k,i}(u) \rho_i^j
    = A_j(u^{k+1}),\quad \mbox{for } 0 \leq j \leq k.
  \end{equation*}
  We can solve this as a system of $k+1$ linear equations in the $k+1$
  unknown coefficients $\alpha_{k,i}(u)$ by representing the solution
  in the usual way as a ratio of two determinants.  In particular, the
  expression for $\alpha_{k,0}$ is given by
  \begin{equation}\label{alpha_0}
    \alpha_{k,0}(u) = \frac{\det R_k(u)}{\det S_k(u)}
  \end{equation}
  where $S_k(u)$ and $R_k(u)$ are ($k+1$) by ($k+1$) matrices defined by
  \begin{equation*}
    S_k(u) = (S_k(i+1,j+1))\;\text{ with }\,S_k(i+1,j+1) = \rho_i^j
  \end{equation*}
  and
  \begin{equation*}
    R_k(u) =\big(R_k(i+1,j+1)\big) \;\text{ with }\, R_k(i+1,j+1)
     =
    \begin{cases}
      A_{j}(u^{k+1})& \text{ if } i = 0, \\
      \rho_i^j          & \text{ if } i > 0.
    \end{cases}
  \end{equation*}
  Now the bottom determinant is a standard Vandermonde determinant which
  has the value
  \begin{equation*}
    \det S_k(u) =  \prod_{0 \leq i < j \leq k} (\rho_j - \rho_i).
  \end{equation*}
  The top determinant is almost a Vandermonde determinant (except for
  the first row). Its value has the form
  \begin{equation*}
    \det R_k(u) = \mathsf{Top}_k(u) \cdot \prod_{0 < i < j \leq k} (\rho_j - \rho_i)
  \end{equation*}
  where $\mathsf{Top}_k(u)$ is a polynomial in $u$ which we will soon determine.
  Hence, in the ratio (\ref{alpha_0}), the terms which do not involve
  $\rho_0$ cancel, leaving the reduced form
  \begin{equation*}
    \alpha_{k,0}(u) = \frac{\mathsf{Top}_k(u)}{\prod_{j > 0} (\rho_j - \rho_0)}.
  \end{equation*}
  However, we have
  \begin{align}
    \prod_{j > 0} (\rho_0 - \rho_j)
    &= \prod_{j>0} \left( \frac{1-u^{k+1}}{1-u} -
    \frac{1-u^{k+1}}{1-\omega^j u} \right)\nonumber \\
    &= \left( \prod_{j>0} \frac{(1-\omega^j) u}{(1-u)(1-\omega^j u)}\right)
    (1-u^{k+1})^k \nonumber \\
    &= \frac{(1-u^{k+1})^k u^k}{(1-u)^k}\cdot
    \frac{\prod_{j>0} (1-\omega^j) }{\prod_{j>0} (1-\omega^j u)} \nonumber\\
    &= \frac{(1-u^{k+1})^k u^k}{(1-u)^k}\cdot
    \frac{k+1}{\frac{1-u^{k+1}}{1-u}}
    = \frac{(1-u^{k+1})^{k-1} u^k}{(1-u)^{k-1}} \cdot (k+1).
    \label{bot2}
  \end{align}
  On the other hand, for the top we have by standard properties of
  Vandermonde determinants:
  \begin{equation}\label{top}
    \mathsf{Top}_k(u) = \sum_{j \geq 0} (-1)^{k-j} A_{k-j}(u^{k+1})
    \mathsf{S}_{k,j} (\rho_1,\dots, \rho_k),
  \end{equation}
  where $\mathsf{S}_{k,j}(x_1, \dots, x_k)$ is the elementary symmetric
  function of degree $j$ in the $k$ variables $x_1, \dots, x_k$ (and
  we recall that $A_t(y) = \sum_{j \geq 0} \euler{t}{j} y^t$).
  Now consider the generating function
  \begin{align*}
    X_k(z)
    &= (z-\rho_0) (z-\rho_1) \dots (z-\rho_k) \\
    &= \sum_{t \geq 0}(-1)^t\mathsf{S}_{k+1,t}(\rho_0,\dots,\rho_k)z^{k+1-t} \\
    &= \prod_{i \geq 0}\left(z - \frac{1-u^{k+1}}{1-\omega^i u} \right) \\
    &= \frac{\prod_{i \geq 0} (z-(1-u^{k+1}) - \omega^i uz)}
    {\prod_{i \geq 0} (1-\omega^i u)} \\
    &= \frac{\left(z-(1-u^{k+1})\right)^{k+1}-u^{k+1} z^{k+1}}{1 - u^{k+1}}.
  \end{align*}
  What we are interested in is
  \begin{align*}
    Y_k(z) = \frac{X_k(z)}{z-\rho_0}
    &= \sum_{i \geq 0} (-1)^i\mathsf{S}_{k,i}(\rho_1,\dots,\rho_k) z^{k-i}\\
    &= \frac{\left( z-(1-u^{k+1})\right)^{k+1}
      - u^{k+1}z^{k+1}}{(1-u^{k+1})\big(z - \frac{1-u^{k+1}}{1-u}\big)}\\
    &= \frac{1-u}{1-u^{k+1}} \sum_{i=0}^k (z-1+u^{k+1})^i (uz)^{k-i} \\
    &= \frac{1-u}{1-u^{k+1}} \sum_{i=0}^k
    \sum_{j=0}^i(-1)^j\binom{i}{j}(1 - u^{k+1})^j u^{k-i}z^{k-j}\\
    &= \frac{1-u}{1-u^{k+1}} \sum_{j=0}^k(1 - u^{k+1})^j z^{k-j}
    \sum_{i = j}^k  (-1)^j \binom{i}{j}  u^{k-i}.
  \end{align*}
  Thus, by identifying the  coefficient of $z^{k-j}$, we have
  \begin{equation*}
    \mathsf{S}_{k,j}(\rho_1, \dots, \rho_k)
    = \frac{(1-u)(1 - u^{k+1})^{j}}{1-u^{k+1}}\sum_{i=j}^k\binom{i}{j}u^{k-i}.
  \end{equation*}
  Therefore, we have
  \begin{align*}
    \mathsf{Top}_k(u)
    &= \sum_{j \geq 0}(-1)^{k-j}A_{k-j}(u^{k+1})
    \mathsf{S}_{k,j}(\rho_1,\dots, \rho_k) \\
    &= \sum_{j \geq 0} (-1)^{k-j}A_{k-j}(u^{k+1})
    \frac{(1-u)(1 - u^{k+1})^{j}}{1-u^{k+1}}\sum_{i=j}^k\binom{i}{j}u^{k-i}.
  \end{align*}
  As a consequence, we find by (\ref{top}) and (\ref{bot2}) that
  \begin{align}\label{ex}
    \lefteqn{\alpha_{k,0}(u) \rho_0^n} \nonumber\\
    &= \frac{\mathsf{Top}_k(u)}{(-1)^k \prod_{j > 0} (\rho_0 - \rho_j)}
    \left(\frac{1-u^{k+1}}{1-u}\right)^{\!n}\\
    &= \frac{1}{(k+1)u^k}\left( \frac{1-u^{k+1}}{1-u} \right)^{\!n-k}
    \sum_{j=0}^k(-1)^{j}A_{k-j}(u^{k+1})  (1-u^{k+1})^{j}
    \sum_{i=j}^k \binom{i}{j} u^{k-i}\nonumber\\
    &= \frac{1}{(k+1)} \left( \frac{1-u^{k+1}}{1-u} \right)^{\!n-k}
    \sum_{j=0}^kA_{k-j}(u^{k+1})  (u^{k+1}-1)^{j}
    \sum_{i=j}^k \binom{i}{j} u^{-i}.\nonumber
  \end{align}
  (We should keep in mind that this expression actually is a polynomial
  in $u$.)  To determine the other coefficients $\alpha_{k,t}(u)$, we
  make the following observations.  First, for $1 \leq t \leq k$, we can
  cyclically permute the rows of the (Vandermonde) matrix $S_k(u)$ to
  form the new matrix $S_k^{(t)}(u) = (S_k^{(t)}(i+1,j+1)) =
  (\rho_i^{j+t})$. We can then form the corresponding matrix
  $R_k^{(t)}(u)$ by replacing the top row of $S_k^{(t)}(u)$ by
  $A_0(u^{k+1}), \dots, A_k(u^{k+1})$.  In this way, we can
  express the coefficient $\alpha_{k,t}(u)$ as:
  \begin{equation}\label{alpha_t}
    \alpha_{k,t}(u) = \frac{\det R_k^{(t)}(u)}{\det S_k^{(t)}(u)}.
  \end{equation}
  However, observe that the resulting computations for determining
  $\alpha_{k,t}(u)$ are exactly the same as those for
  $\alpha_{k,0}(u)$ where we replace $u$ by $\omega^t u$. This is
  because $A_j(u^{k+1}) = A_j(\omega^t u)^{k+1}$.
  Consequently,
  \begin{equation*}
    \alpha_{k,t}(u) = \alpha_{k,0}(\omega^t u).
  \end{equation*}
  Therefore, for each $n$, the expression $\alpha_{k,t}(u) \rho_t^n$
  as a polynomial in $u$ can be obtained from $ \alpha_{k,0}(u) \rho_0^n
  $ by replacing $u$ by $\omega^t u$.  However, this implies that in the
  sum $ \sum_{t=0}^k \alpha_{k,t}(u) \rho_t^n$, the only terms that
  survive are those powers $u^m$ of $u$ which are multiples of $k+1$,
  since for $m \not\equiv 0 \pmod {k+1}$, we have $\sum_{i=0}^k
  \omega^{mi} = 0$. One the other hand, for $u^m$ with
  $m \equiv 0 \pmod {k+1}$, we must multiply the coefficients by $k+1$
  since in this case, all the powers $\omega^t$ are $1$. Consequently,
  if we write
  \begin{equation}\label{final}
    (k+1) \alpha_{k,0}(u) \rho_0^n = \sum_j \beta_k(j) u^j
  \end{equation}
  then we have
  \begin{equation*}
    B_{n,k}(y) = \sum_d \beta_k\big(\,(k+1)d\,\big)\, y^{(k+1)d}.
  \end{equation*}
  In other words, the number $b_{n,k} (r)$ of permutations in $\mathcal{B}_{n,k}$
  having exactly $r$ descents is equal to the $k+1$ times the
  coefficient of $u^{(k+1)r}$ in (\ref{ex}).
\end{proof}

  If we express (\ref{ex}) (times $k+1$) in the form
  \begin{equation}
    P_k(u) \left(1+u+\dots+u^k\right)^{n-k}
  \end{equation}
  then the first few values of $P_k(u)$ are shown below.
  \begin{equation*}
    \begin{array}{c|l}
      k & P_k(u)  \\ \hline
      1 &   1\\
      2 &   1+u\\
      3 &  1+u+2u^2+u^3+u^4\\
      4 &  1+u+2u^2+4u^3+4u^4+4u^5+4u^6+2u^7+u^8+u^{9}\\
      5 & 1+u+2u^2+4u^3+8u^4+11u^5+11u^6+14u^7+16u^{8}+\\
      & +14u^9+11u^{10}+11u^{11}+8u^{12}+4u^{13}+2u^{14}+u^{15}+u^{16}
    \end{array}
  \end{equation*}
  There is clearly a lot of structure in the polynomials $P_k(u)$
  which will be discussed in the next section.

\section{The structure of $P_k(u)$}
Let us first write down the expression for $P_k(u)$ which came from
(\ref{ex}):
\begin{equation}\label{P}
  P_k(u) = \sum_{j=0}^k (-1)^{j}A_{k-j}(u^{k+1}) (1-u^{k+1})^{j}
  \sum_{i=j}^k \binom{i}{j} u^{-i}.
\end{equation}
If we write $P_k(u) = \sum_{i=0}^{k^2} \alpha_i u^i$, we will define
the \emph{stretch} of $P_k(u)$ to be
\begin{equation*}
  PP_k(u)
  = \alpha_0 + \sum_{i=0}^k \sum_{j=0}^{k-2}
  \alpha_{1+i+(k+1)} u^{2+i+(k+1)j+j}.
\end{equation*}
What this does to $P_k(u)$ is to insert $0$ coefficients at every
$(k+1)$st term, starting after $\alpha_0$.  Thus, the stretched
polynomials corresponding to the values of $P_k(u)$ given in the array
above are:
\begin{equation*}
  \begin{array}{c|l}
    k & PP_k(u)  \\ \hline
    1 & 1\\
    2 & 1+u^2\\
    3 & 1+u^2+2u^3+u^4+u^6\\
    4 & 1+u^2+2u^3+4u^4+4u^5+4u^7+4u^8+2u^9+u^{10}+u^{12}\\
    5 & 1+u^2+2u^3+4u^4+8u^5+11u^6+11u^8+14u^9+16u^{10}+\\
      & +14u^{11}+11u^{12}+11u^{14}+8u^{15}+4u^{16}+2u^{17}+u^{18}+u^{20}
  \end{array}
\end{equation*}
Note that if $P_k(u)$ has degree $k^2$ then $PP_k(u)$ has degree
$k^2 + k$.
\begin{theorem} \label{th2}
  For all $k \geq 1$,
  \begin{equation*}
    P_{k+1}(u) = PP_k(u)\cdot (1 + u + u^2 + \dots + u^{k+1}).
  \end{equation*}
\end{theorem}
\begin{proof}
  From (\ref{P}) and the definition of $PP_k(u)$, we can write
  \begin{equation*}
    PP_k(u) = \sum_{t=0}^k (-1)^t (1-u^{k+2})^t
    A_{k-t}(u^{k+2}) \sum_{s=t}^k \binom{s}{t} u^{-s}.
  \end{equation*}
  We want to show that
  \begin{equation*}
    P_{k+1}(u) = PP_k(u) \cdot \frac{1-u^{k+2}}{1-u}.
  \end{equation*}
  Thus, it is enough to prove that $A = B$ where
  \begin{align*}
    A &= PP_{k+1}(u) (1-u^{k+2})  \\
      &= \sum_{t=0}^k (-1)^t (1-u^{k+2})^{t+1}
    A_{k-t}(u^{k+2})\sum_{s=t}^k\binom{s}{t} u^{-s}
    \shortintertext{and}
    B &= P_k(u) (1-u) \\
      &=  \sum_{t=0}^{k+1} (-1)^t (1-u^{k+2})^{t}
    A_{k+1-t}(u^{k+2})  \sum_{s=t}^{k+1} \binom{s}{t} u^{-s} (1-u).
  \end{align*}
  Observe that
  \begin{align*}
    B
    &= \sum_{t=0}^{k+1} (-1)^t (1-u^{k+2})^{t} A_{k+1-t}(u^{k+2}
       \left( \sum_{s=t}^{k+1} \binom{s}{t} u^{-s} (1-u)\right)\\
    &=  \sum_{t=1}^{k+1} (-1)^t (1-u^{k+2})^{t} A_{k+1-t}(u^{k+2})
       \left( \sum_{s=t}^{k+1} \binom{s}{t} u^{-s} (1-u)\right)\\
    & \quad + A_{k+1}(u^{k+2}) (1-u^{-k-2}) (-u)\\
    &= \sum_{t=0}^{k} (-1)^t (1-u^{k+2})^{t+1} A_{k-t}(u^{k+2})
       \left( \sum_{s=t+1}^{k}\binom{s}{t+1} u^{-s} (u-1)\right) \\
    & \quad - u (1-u^{-k-2}) A_{k+1}\\
    &= \sum_{t=0}^{k} (-1)^t (1-u^{k+2})^{t+1} A_{k-t}(u^{k+2})
       \left( \sum_{s=t+1}^{k}
       \binom{s}{t} u^{-s} +u^{-t} - \binom{k+1}{t+1} u^{-k-1} \right) \\
    &\quad  - u (1-u^{-k-2}) A_{k+1}\\
    &= \sum_{t=0}^{k} (-1)^t (1-u^{k+2})^{t+1} A_{k-t}(u^{k+2})
       \left(
       \sum_{s=t}^{k} \binom{s}{t} u^{-s}-\binom{k+1}{t+1} u^{-k-1}
       \right) \\
    & \quad - u (1-u^{-k-2}) A_{k+1}.
  \end{align*}
  Hence, to prove that $A = B$, we only need to establish
  \begin{multline*}
    \sum_{t=0}^{k} (-1)^t (1-u^{k+2})^{t+1} A_{k-t}(u^{k+2})
    \left( -\binom{k+1}{t+1} u^{-k-1} \right)
    - u (1-u^{-k-2}) A_{k+1}\\
    = u(1-u^{-k-2}) A_{k+1}(u^{k+2}).
  \end{multline*}
  However, this would follow from
  \begin{equation}\label{euler-id}
    \sum_{t=0}^{k'} (x-1)^t A_{k'-t}(x) \binom{k'}{t} = x A_{k'}(x)
  \end{equation}
  by taking $k' = k+1$ and $x = u^{k+2}$. So it remains to prove
  (\ref{euler-id}).

  To do this we will use the standard generating function for
  $A_n(w)$ from (\ref{euler_gf}):
  \begin{equation*}
    \sum_{n,m \geq 0} \euler{n}{m} w^m \frac{z^n}{n!}
    = \sum_{n \geq 0} A_n(w) \frac{z^n}{n!}
    = \frac{1-w}{e^{(w-1)z} - w}.
  \end{equation*}
  Consider
  \begin{align*}
    F(x,z) &= \sum_{k > 0} x A_k(x) \frac{z^k}{k!}
    \shortintertext{and}
    G(x,z) &= \sum_{k > 0} \sum_{t=0}^k (x-1)^t A_{k-t} (x) \binom{k}{t}
    \frac{z^k}{k!}.
  \end{align*}
  It will suffice to show that $F = G$. Now
  \begin{align*}
    G(x,z) &= \sum_{k \geq 0} \sum_{t \geq 0} (x-1)^t A_{k-t}(x)
    \binom{k}{t} \frac{z^k}{k!} - 1\\
    &= \sum_{t \geq 0} \sum_{k \geq t} (x-1)^t A_{k-t}(x)
    \binom{k}{t} \frac{z^k}{k!} - 1\\
    &= \sum_{t \geq 0} (x-1)^t \sum_{k' \geq 0}  A_{k'}(x)
    \binom{k' + t}{t} \frac{z^{k' + t}}{(k' + t)!} - 1\\
    &= \sum_{t \geq 0} (x-1)^t z^t
    \sum_{k' \geq 0}A_{k}(x) \frac{z^{k}}{k!} - 1\\
    &= e^{(x-1)z} \cdot \frac{1-x}{e^{(x-1)z} - x} - 1
    = \frac{x (1 - e^{(1-x)z})}{e^{(x-1)z} -x}.
  \end{align*}
  On the other hand,
  \begin{align*}
    F(x,z)
    &= \sum_{k > 0} x A_k(x) \frac{z^k}{k!}\\
    &= x \left( \frac{1-x}{e^{(x-1)z}-x} - 1 \right)
    =  \frac{x (1 - e^{(1-x)z})}{e^{(x-1)z} -x}
  \end{align*}
  as desired. This completes the proof of Theorem \ref{th2}.
\end{proof}

\begin{theorem}
  The coefficients of $P_k(u)$ are symmetric and unimodal.
\end{theorem}

\begin{proof}
  It follows from Theorem \ref{th2} that we can construct the
  coefficient sequence for $P_{k+1}(u)$ from that of $P_k(u)$ by the
  following rule (where we assume that all coefficients of $u^t$ in
  $P_k(u)$ are $0$ if $t < 0$ or $t > k^2$). Namely, suppose we write
  $P_k(u) = \sum_{i=0}^{k^2} \alpha_i u^i$ so that we have the
  coefficient sequence $A_k = (\alpha_0, \alpha_1, \dots,
  \alpha_{k^2})$. Now form the new sequence $B_k = (\beta_0, \beta_1,
  \dots \beta_{k^2 + k})$ by the rule
  \begin{equation*}
    \beta_i = \sum_{j=i-k}^i \alpha_j ,\quad 0 \leq i \leq k^2 + k.
  \end{equation*}
  Finally, starting with $\beta_0$, insert \emph{duplicate} values
  for the coefficients
  \begin{equation*}
  \beta_0,\beta_{k+1},\beta_{2(k+1)},\dots,\beta_{t(k+1)},
  \dots,\beta_{(k-1)(k+1)}\text{ and }\beta_{k(k+1)}.
  \end{equation*}
  Thus, this will generate the sequence
  \begin{equation*}
  (\beta_0, \beta_0, \beta_1, \beta_2, \dots, \beta_k, \beta_{k+1},
  \beta_{k+1}, \beta_{k+2}, \dots, \beta_{k^2+k-1}, \beta_{k^2+k},
  \beta_{k^2+k}).
  \end{equation*}
  This  new sequence will in fact just be the coefficient sequence
  $A_{k+1}$ for $P_{k+1}(u)$. For example, starting with $P_1(u) = 1 +
  u$, we have $A_1 = (1,1)$ and so $B_1 = (1, 2, 1)$. Now, inserting
  the duplicate values for $\beta_0 = 1$ and $\beta_2 = 1$, we get the
  coefficient sequence $A_2 = (1, {\bf 1}, 2, 1, {\bf 1})$ for $P_2(u)
  = 1 + u +2 u^2 + u^3 + u^4$.  Repeating this process for $A_2$, we
  sum blocks of length $3$ to get $B_2 = (1, 2, 4, 4, 4, 2,
  1)$. Inserting duplicates for entries at positions $0, 3$ and $6$
  gives us the new coefficient sequence $A_3 = (1, {\bf 1}, 2, 4, 4,
  {\bf 4}, 4, 2, 1, {\bf 1})$ of $P_3 = 1 + u + 2u^2 + 4u^3 +4u^4
  +4u^5 +4u^6 +2u^7 +u^8 +u^9$, etc. It is also clear from this
  procedure that if $A_k$ is symmetric and unimodal, then so is $B_k$,
  and consequently, so is $A_{k+1}$. This is what we claimed.
\end{proof}

\subsection{An Eulerian identity}
Note that since $P_k(u)$ is symmetric and has degree $u^{k^2}$, we
have $P_k(u) = u^{k^2} P_k({\textstyle \frac{1}{u}})$.  Replacing
$P_k(u)$ by its expression in (\ref{P}), we obtain (with some
calculation) the interesting identity
\begin{equation*}
  \sum_{j = 0}^{a+b} (-1)^j \binom{a}{j} (1-x)^j A_{a+b-j}(x)
  = x \sum_{j = 0}^{a+b} \binom{b}{j}(1-x)^j A_{a+b-j}(x)
  +\binom{b}{a+b}(1-x)^{a+b+1}
\end{equation*}

for \emph{all} integers $a$ and $b$ provided that $a + b \geq 0$.