Border rank of powers of ternary quadratic forms

Abstract: We determine the border rank of each power of any quadratic form in three variables. Since the problem for rank $1$ and rank $2$ quadratic forms can be reduced to determining the rank of powers of binary forms, we primarily focus on non-degenerate quadratic forms. We begin by considering the quadratic form $q_{n}=x_1^{2}+\dots+x_n^{2}$ in an arbitrary number $n$ of variables. We determine the apolar ideal of any power $q_n^s$, proving that it corresponds to the homogeneous ideal generated by the harmonic polynomials of degree $s+1$. Using this result, we select a specific ideal contained in the apolar ideal for each power of a quadratic form in three variables, which, without loss of generality, we assume to be the form $q_3$. After verifying certain properties, we utilize the recent technique of border apolarity to establish that the border rank of any power $q_3^s$ is equal to the rank of its middle catalecticant matrix, namely $(s+1)(s+2)/2$.

\section*{Introduction}
\noindent The problem of determining the minimum integer $r$ such that a homogeneous polynomial of degree $d\in\mathbb{N}$ can be written as a sum of $r$ different $d$-th powers of linear forms, also known as \textit{Waring rank}, is very classical and nowadays is relevant in many applications. Formally, a homogeneous polynomial can be viewed as a symmetric tensor, while the Waring rank corresponds to its symmetric rank. This fact clearly represents a way to approach the classical problem of determining Waring rank of polynomials, named \textit{Big Waring Problem}. We refer to \cite{BCC+18} and \cite{Lan12} for an overview on tensor rank and border rank and, more in general, on tensor decomposition and its applications. Instead, to have a survey on some algorithms or methods that can be used to determine the symmetric rank of a symmetric tensor, one can consult \cite{BGI11} or \cite{LO13}.

In this paper, we will focus on the powers of the quadratic form
\[
q_n^{}=x_1^2+\dots+x_n^2;
\]
the determination of its rank is a classical problem as well, related to the Laplace operator. Some of its decompositions as sums of powers of linear polynomials have appeared several time in very classical papers and books, even from the XIX century (see for example \cite{Hou77}*{Questions 38-39, p.~129}). Many considerations and examples are exposed in \cite{Rez92} by B.~Reznick, who only considers real decompositions, also called \textit{representations}. The problem of the rank for the case of three variables is still open (with the exception of some specific cases), but in this paper we focus on its border rank. To do this, we need some notions about classical apolarity theory and a fairly recent concept, which has been introduced by W.~Buczyńska and J.~Buczyński in \cite{BB21}, namely \textit{border apolarity}. Their results provide a method to study the border rank of a tensor analogously to the classic \textit{apolarity lemma} (see e.g. \cite{IK99}*{Lemma 1.15}).

We begin by recalling in Section \ref{section apolarity} some basic needful elements about apolarity theory, such as apolarity action, catalecticant map and apolar ideal, for whose details we refer to \cite{IK99}. Section \ref{section harmonic polynomials} is dedicated instead to the space of harmonic polynomials, which has a special role for the decompositions that we are dealing with. Indeed, we will prove in Section \ref{section apolar ideal}
(see Theorem \ref{Teo Apolar ideal}) that the apolar ideal of the form $q_n^s$ corresponds exactly to the ideal generated by harmonic polynomials of degree $s+1$, that is
\[
\big(q_n^s\big)^{\perp}=\bigl(\mathcal{H}_n^{s+1}\bigr).
\]
The knowledge of the apolar ideal is crucial to find out that the border rank of the form $q_3^s$ is minimal. It is a well-known fact that the rank and border rank of a symmetric tensor are always greater or equal to the rank of its most-squared catalecticant matrix. B.~Reznick has already showed in \cite{Rez92} that the rank of each catalecticant matrix of $q_n^s$ is maximum, but we can see this also analyzing each component of the apolar ideal, actually implying that
\begin{equation}
\label{relation introduction}
\rk\bigl(q_n^s\bigr)\geq\brk\bigl(q_n^s\bigr)\geq\binom{s+n-1}{n-1}.
\end{equation}
Using border apolarity, we therefore prove that for three variables the second inequality in (\ref{relation introduction}) is an equality. More precisely, we get the border rank of every power of any ternary quadratic form, included those which are degenerate. In particular, given a degenerate quadratic form $g\in S^2\mathbb{C}^3$, if $\rk g=1$, then obviously also $\rk \bigl(g^s\bigr)=1$; otherwise, if $\rk g=2$, we can use binary forms to prove that
\[
\rk\bigl(g^s\bigr)=\brk\bigl(g^s\bigr)=s+1.
\]
We summarize it in the following
\begin{teor}
Let $g\in S^2\mathbb{C}^3$ be an arbitrary ternary quadratic form. For every $s\in\mathbb{N}$, if $g$ is degenerate, then
\[
\brk \bigl(g^s\bigr)=\rk \bigl(g^s\bigr)=\binom{s+\rk g-1}{\rk g-1}.
\]
Otherwise,
\[
\brk\bigl(g^s\bigr)=\binom{s+2}{2}=\frac{(s+1)(s+2)}{2}.
\]
\end{teor}
The strategy we use to prove the theorem, which is contained in Section \ref{section border rank}, is based on the above mentioned border apolarity techniques (see \cite{BB21}).
Another concept that we will use is the \textit{multigraded Hilbert scheme}, introduced by M.~Haiman and B.~Sturmfels in \cite{HS04}. It is in general a scheme parametrizing all ideals in a polynomial ring which are homogeneous and have a fixed Hilbert function with respect to a grading by an abelian group. Our interest focuses on the multigraded Hilbert scheme
$\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}$,
where $S[\mathbb{P}^n]$ represents the standard homogeneous coordinate ring of $\mathbb{P}^n$, and $h_{r,n}$, defined as
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 h_{r,n}\colon \mathbb{Z}\arrow{r} & \mathbb{Z}\hphantom{,} \\
  {\hphantom{h_{r,n}\colon{}}} a \arrow[mapsto]{r} & \min\bigl\{\dim S[\mathbb{P}^n]_a,r\bigr\},
\end{tikzcd}
\]
is the Hilbert function of the homogeneous coordinate ring of $r$ generic points in $\mathbb{P}^n$. In \cite{BB21}*{Notation 3.14} W.~Buczyńska and J.~Buczyński define a particular irreducible component of $\mathrm{Hilb}^{\scriptscriptstyle h_{r,n}}_{\scriptscriptstyle S[\mathbb{P}^n]}$, which is denoted by $\mathrm{Slip}_{r,n}$ and corresponds the closure of the subset of the saturated ideals of $r$ distinct points in $X$, in turn denoted by $\mathrm{Sip}_{r,n}$.

The statement of the border apolarity theorem (see \cite{BB21}*{Theorem 3.15}) claims that the border rank of a homogeneous form $f$ is at most $r\in\mathbb{N}$ if and only if there exists a limit $I\in\mathrm{Slip}_{r,n}$ of ideals of $r$ points such that $I\subseteq f^{\perp}$.

What we do in Section \ref{section border rank} is basically to determine for every $s\in\mathbb{N}$ such an ideal $I_{s+1}$ such that
\[
I_{s+1}\in\mathrm{Slip}_{r,3},
\]
where $r=(s+1)(s+2)/2$, and
\[
I_{s+1}\subseteq\bigl(q_3^s\bigr)^{\perp}.
\]
The structure of this ideal is similar for every power $s$ and it can be defined very well just introducing the irreducible representations of the Lie algebra $\mathfrak{so}_3\mathbb{C}$ of the Lie group of special orthogonal matrices $\mathrm{SO}_3(\mathbb{C})$.

\section{Preliminaries}
\label{section apolarity}
\noindent
Given a vector space $V$ of finite dimension $n\in\mathbb{N}$ over $\mathbb{C}$ and the symmetric algebras
\[
\mathcal{R}=S\big(V\big),\quad \mathcal{D}=S\big(V^*\big),
\]
we can define in a natural way, for every $d\in\mathbb{N}$, a bilinear map
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \circ\colon S^dV^*\times S^dV\arrow{r} & \mathbb{C}\hphantom{,} \\
  {\hphantom{\circ\colon{}}}  (\phi_1\cdots\phi_d, v_1\cdots v_d) \arrow[mapsto]{r} & \displaystyle{\sum_{\sigma\in\mathfrak{S}_d}} \phi_1(v_{\sigma(1)})\cdots\phi_d(v_{\sigma(d)}),
\end{tikzcd}
\]
also known as \textit{contraction pairing} or \textit{polar pairing}. This one can be also generalized to the $(k,d)$-\textit{partial polarization map}, defined for $k\leq d$ by
\begin{equation}
\label{polarization map}
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \circ\colon S^kV^*\times S^dV\arrow{r} & S^{d-k}V\hphantom{.} \\
  {\hphantom{\circ\colon{}}}  (\phi_1\cdots\phi_k, v_1\cdots v_d) \arrow[mapsto]{r} & \displaystyle{\sum_{1\leq i_1<\cdots<i_k\leq d}} (\phi_1\cdots\phi_k)\circ \bigl(v_{i_1}\cdots v_{i_k}\bigr)\prod_{j\neq i_1,\dots,i_k}v_j.
\end{tikzcd}
\end{equation}
Once we fix a basis $\{x_1,\dots,x_n\}$ of $V$ and its dual basis $\{y_1,\dots,y_n\}$ of $V^*$, we can identify $S(V)$ and $S(V^*)$ respectively with the polynomial rings
\[
\mathcal{R}\simeq\mathbb{C}[x_1,\dots,x_n],\quad \mathcal{D}\simeq\mathbb{C}[y_1,\dots,y_n]
\]
and this let us compute the image of each couple of monomials through polarization map, that is
\[
\mathbf{y}^{\alpha}\circ\mathbf{x}^{\beta}=
\begin{cases}
\dfrac{\beta!}{(\beta-\alpha)!}\mathbf{x}^{\beta-\alpha}\quad &\text{if $\beta-\alpha\geq 0$},\\[2ex]
0\quad &\text{otherwise},
\end{cases}
\]
for every $\alpha,\beta\in\mathbb{N}^n$, where we use the notation
\[
\mathbf{x}^{\delta}=x_1^{\delta_1}\dots x_n^{\delta_n},\quad \mathbf{y}^{\delta}=y_1^{\delta_1}\dots y_n^{\delta_n},\quad \delta!=\delta_1!\cdots\delta_n!
\]
for every multi-index $\delta=(\delta_1,\dots,\delta_n)\in\mathbb{N}^n$ (for further details about polarity we refer to \cite{Dol12}*{Chapter 1}). By these considerations, it follows that we can identify the space $\mathcal{D}$ with the space of polynomial differential operators.
\begin{defn}
Given any homogeneous polynomial $\phi\in \mathcal{D}_k$, with $k\leq d$, the operator
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \Der_\phi\colon \mathcal{R}_d\arrow{r} & \mathcal{R}_{d-k} \\
  {\hphantom{\Der_\phi\colon{}}} h \arrow[mapsto]{r} & \phi\circ h
\end{tikzcd}
\]
is called the \textit{differential operator} associated to $\phi$.
\end{defn}
Therefore, the partial polarization map induces in a natural way an action of the space $\mathcal{D}$ on the space $\mathcal{R}$, considering their elements just as polynomials.
\begin{defn}
The \textit{apolarity action} of $\mathcal{D}$ on $\mathcal{R}$ is defined extending by linearity the polarization maps for each components of $\mathcal{D}$ and $\mathcal{R}$, that is
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \circ\colon \mathcal{D}\times\mathcal{R}\arrow{r} & \mathcal{R}\hphantom{.} \\
  {\hphantom{\circ\colon{}}}  (\phi,f) \arrow[mapsto]{r} & \Der_\phi(f).
\end{tikzcd}
\]
\end{defn}

\begin{rem}
\label{remark reversing roles}
For the case of contraction pairing, and also in general in dealing with dual spaces $\mathcal{R}$ and $\mathcal{D}$, we can reverse the roles of variables $x_i$ and $y_i$, setting an identification between the components $\mathcal{R}_j$ and $\mathcal{D}_j$ and hence we can consider the contraction pairing as a symmetric bilinear form.
\end{rem}

Considering now a specific homogeneous polynomial, we can also give the following definition, based on the apolarity action of the space $\mathcal{D}$ on it.
\begin{defn}
For every homogeneous polynomial $f\in\mathcal{R}_d$, the \textit{catalecticant map} of $f$ is defined by the linear map
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \Cat_f\colon \mathcal{D}\arrow{r} & \mathcal{R}\hphantom{.} \\
  {\hphantom{\Cat_f\colon{}}} \phi \arrow[mapsto]{r} & \phi\circ f.
\end{tikzcd}
\]
The \textit{apolar ideal} of the polynomial $f$ is defined as the kernel of $\Cat_f$ and corresponds to the set
\[
f^{\perp}=\Set{g\in\mathcal{D}|g\circ f=0}.
\]
\end{defn}
Now, it is clear that the catalecticant map is graded, that is the map
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \Cat_f^j\colon \mathcal{D}_j\arrow{r} & \mathcal{R}_{d-j} \\
  {\hphantom{\Cat_f\colon{}}} g \arrow[mapsto]{r} & g\circ f,
\end{tikzcd}
\]
also called the \textit{$j$-th catalecticant}, is well defined. The inequality in the next proposition is well known and provides a lower bound for the symmetric rank of a form. It is classically attributed to J.~J.~Sylvester (see \cite{Syl51}) and appears in several texts (see e.g. \cite{Lan12}*{Proposition 3.5.1.1}).
\begin{prop}
\label{prop lower bound}
For every $f\in\mathcal{R}_d$ and for every $0\leq j\leq d$, we have
\[
\rk f\geq\brk f\geq\rk\bigl(\Cat_f^j\bigr).
\]
\end{prop}
The theorem of \textit{border apolarity} described in \cite{BB21} provides an alternative version of the classic apolarity lemma (see \cite{IK99}*{Lemma 1.15}). Their results regard all smooth projective toric varieties, but for our purposes, we just need its version for the Veronese variety. If we consider the multigraded Hilbert scheme
$\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}$, then we denote by
\[
\mathrm{Sip}_{r,n}\subseteq\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}
\]
the subset consisting of saturated ideals of $r$ distinct
points in $\mathbb{P}^n$ (the abbreviation \textit{sip} stands for \textit{subset of ideals of points}), which owns a particular topological property in $\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}$.
\begin{prop}[\cite{BB21}*{Proposition 3.13}]
\label{prop unique component}
There is a unique component of the multigraded Hilbert scheme that
contains $\mathrm{Sip}_{r,n}$ as a dense subset.
\end{prop}
The component defined in Proposition \ref{prop unique component} is denoted by $\mathrm{Slip}_{r,n}$ and any ideal which belongs to it is a limit of ideals of points (in this case the abbreviation \textit{slip} stands for \textit{scheme of limits of ideals of points}), that is
\[
\mathrm{Slip}_{r,n}=\overline{\mathrm{Sip}_{r,n}}.
\]
The border apolarity theorem relates the border rank of a homogeneous form with the presence of a limit of ideal of points in its apolar ideal.
\begin{teo}[Border apolarity \cite{BB21}*{Theorem 3.15}]
\label{teo border apolarity}
Let $f\in S^d\mathbb{C}^n$ be a homogeneous polynomial of degree $d$. Then $\brk f\geq r$ if and only if there exists a limit $I\in\mathrm{Slip}_{r,n}$ of ideals of $r$-tuples of points such that $I\subseteq f^{\perp}$.
\end{teo}

\section{Harmonic polynomials}
\label{section harmonic polynomials}
\noindent
To carry on our analysis of the form $q_n^s$, we need to introduce a particular class of polynomials, namely the space of harmonic polynomials. In order to do this it can be useful to identify the space $\mathcal{D}$ with the space of polynomial differential operators, as we have seen in Section \ref{section apolarity}.

We observe that the kernel of a homogeneous differential operator is connected with the contraction pairing, since it can be viewed as a specific orthogonal complement of the space $\phi\mathcal{D}_{d-k}$.
\begin{prop}
\label{prop ker differential}
Let $\circ\colon\mathcal{D}_d\times\mathcal{R}_d\to\mathbb{C}$ be the contraction pairing of degree $d\in\mathbb{N}$. Then, for every $k\leq d$ and for every polynomial $\phi\in \mathcal{D}_{k}$, we have
\[
\Ker(\Der_\phi)=(\phi\mathcal{D}_{d-k})^\perp\subseteq\mathcal{R}_d.
\]
\end{prop}
\begin{proof}
Given any $g\in \mathcal{R}_d$, we have, by the argument of Remark \ref{remark reversing roles}, that $g\in(\phi\mathcal{D}_{d-k})^\perp$ if and only if
\[
g\circ (\phi\psi)=(\phi\psi)\circ g=0,
\]
that is,
\[
\psi\circ(\phi\circ g)=0
\]
for every $\psi\in \mathcal{D}_{d-k}$, but this means that
\[
\Der_\phi(g)=\phi\circ g=0
\]
and hence $g\in\Ker(\Der_\phi)$.
\end{proof}
Proposition \ref{prop ker differential} therefore allows us to introduce the space of harmonic polynomials using the contraction pairing.
\begin{defn}
The space
\[
\mathcal{H}_n^d=(q\mathcal{D}_{d-2})^\perp=\Ker(\Der_q)\subseteq \mathcal{R}_d
\]
is called the space of the \textit{$d$-harmonic polynomials} or \textit{$d$-harmonic forms}.
The differential operator $\Der_q$, denoted also by $\Delta$, is called the \textit{Laplace operator} and it corresponds to the operator $\Delta\colon \mathcal{R}_d\to \mathcal{R}_{d-2}$, defined by
\[
\Delta=\sum_{i=1}^n\pdv[2]{}{x_i}.
\]
\end{defn}
\begin{rem}
\label{Rem Euler's formula}
We can make some considerations on the behaviour of the Laplace operator on polynomials.
First, given any two forms $g_1,g_2\in \mathcal{R}$, it is straightforward to verify, simply using Leibniz's rule for derivations, that
\[
\Delta(g_1g_2)=\Delta(g_1)g_2+g_1\Delta(g_2)+2\sum_{j=1}^n\pdv{g_1}{x_j}\pdv{g_2}{x_j}.
\]
In particular, recalling \textit{Euler's formula} for a polynomial $f\in S^k\mathbb{C}^n$, that is
\[
\sum_{j=1}^n x_j\pdv{f}{x_j}=kf,
\]
we obtain also
\[
\Delta\big(q_n^s\big)=\sum_{j=1}^n\pdv[2]{q_n^s}{x_j}=2s\sum_{j=1}^nx_j\pdv{q_n^{s-1}}{x_j}=4s(s-1)q_n^{s-1}.
\]
for every $s\in\mathbb{N}$.
\end{rem}
The role of harmonic polynomials is crucial in determining a decomposition of the whole space $\mathcal{R}_d$. It is well known indeed, that the space $\mathcal{H}_n^d$ is an irriducible $\mathrm{SO}_n(\mathbb{C})$-module (see \cite{GW98}*{Theorem 5.2.4}) for every $d\in\mathbb{N}$. Next proposition, whose validity can be verified in \cite{GW98}, shows a decomposition of $\mathcal{R}_d$ as direct sum of irreducible representations.
\begin{prop}[\cite{GW98}*{Corollary 5.2.5}]
\label{prop decomposizione armonici}
Let be $d\in\mathbb{N}$. Then
\[
\mathcal{R}_d=q_n\mathcal{R}_{d-2}\oplus \mathcal{H}_n^d.
\]
More precisely, we have
\[
\mathcal{R}_d=\bigoplus_{j=0}^{\left\lfloor\frac{d}{2}\right\rfloor}q_n^j\mathcal{H}_n^{d-2j}.
\]
\end{prop}
By Proposition \ref{prop decomposizione armonici}, we can easily determine the dimension of each component of the vector space of harmonic polynomials.
\begin{cor}
\label{cor dimens harm}
For every $d,n\in\mathbb{N}$ we have
\[
\dim\mathcal{H}_n^d=\dim S^d\mathbb{C}^n-\dim S^{d-2}\mathbb{C}^n=\binom{d+n-1}{n-1}-\binom{d+n-3}{n-1}.
\]
\end{cor}

\section{The apolar ideal of $q_n^s$}
\label{section apolar ideal}
\noindent Now we prove that the apolar ideal of $q_n^s$ is exactly the ideal generated by harmonic polynomials of degree $s+1$. To do this, we start by observing the behavior of the apolarity action of an arbitrary polynomial on $q_n^s$. By considering monomials of degree $1$ first, we get for every $j=1,\dots,n$
\[
y_j\circ q_n^s=\pdv{q_n^s}{x_j}=2sq_n^{s-1}x_j.
\]
So, by Leibniz's rule, we can extend it to any polynomial $g\in \mathcal{D}_k$, with $k\leq s$, and we get
\[
g\circ q_n^s=2^{k}\frac{s!}{k!}q_n^{s-k}g+q_n^{s-k+1}h,
\]
for a suitable $h\in \mathcal{R}_{k-2}$ (where, as previously, we use the same notation $g$ for the polynomial obtained replacing $y_j$ by $x_j$ for every $j=1,\dots,n$).

Now, considering the action of $G=\mathrm{GL}_n(\mathbb{C})$ respectively on $\mathcal{R}$ and $\mathcal{D}$, we see that these own a natural structure of $G$-modules.
 Next result is related to the catalecticant map and it is crucial for our purposes. For every polynomial $h\in\mathcal{D}$ we denote by $G_h$ the stabilizer of $h$, i.e. the subgroup of $G$ given by
\[
G_h=\set{A\in G|A.h=h}.
\]
\begin{prop}
\label{Prop polar map equivariant}
Let $h\in \mathcal{R}_d$ and let $G=\mathrm{GL}_n(\mathbb{C})$. Then the catalecticant map of $h$ is $G_h$-equivariant, that is
\[
\Cat_h(A.f)=A.\Cat_h(f)
\]
for every $A\in G_h$.
\end{prop}
\begin{proof}
The apolarity action is $G$-equivariant (see \cite{IK99}*{Proposition A.3}), that is, given any $\phi\in \mathcal{D}$ and $f\in\mathcal{R}$,
\[
B.(\phi\circ f)=(B.\phi)\circ(B.f)
\]
for every $B\in \mathrm{GL}_n(\mathbb{C})$. Thus, given any $A\in G_h$, we have
\[
\Cat_h(A.\phi)=(A.\phi)\circ h=(A.\phi)\circ (A.h)=A.(\phi\circ h)=A.\Cat_h(\phi)
\]
for every $\phi\in \mathcal{D}$.
\end{proof}

Now the next step is to determine the components of lower degree. The fact that the catalecticant matrices of $q_n^s$ are all full-rank has already been provided by B.~Reznick, using \cite{Rez92}*{Theorem 8.15} and referring to \cite{Rez92}*{Theorem 3.7} and \cite{Rez92}*{Theorem 3.16}. Another kind of proof is provided by F.~Gesmundo and J.~M.~Landsberg in \cite{GL19}*{Theorem 2.2}. For the convenience of the reader we give another proof here, since this strategy we use introduces a way to determine the higher components.
\begin{prop}
\label{Prop Elementi di grado min s}
For every $m\leq s$ we have
\[
\big(q_n^s\big)^\perp_m=0.
\]
\end{prop}
\begin{proof}
Let $g\in\mathcal{D}_m$ be a form of degree $m$ such that $g\neq 0$. By the decomposition in Proposition \ref{prop decomposizione armonici}, we can write $g$ in a unique way as
\[
g=\sum_{j=0}^{\left\lfloor\frac{m}{2}\right\rfloor}q_n^jh_j,
\]
where $h_j\in\mathcal{H}_n^{m-2j}$ for every $j=1,\dots,\left\lfloor\frac{m}{2}\right\rfloor$. So, considering the contraction action given by $g$ on $q^s$, we have by Remark \ref{Rem Euler's formula}:
\begin{align*}
g\circ q_n^s & =\sum_{j=0}^{\left\lfloor\frac{m}{2}\right\rfloor}\big(q_n^jh_j\big)\circ q_n^s=\sum_{j=0}^{\left\lfloor\frac{m}{2}\right\rfloor}h_j\circ \Delta^j\big(q_n^s\big)\\
&=h_0\circ q_n^s+4s(s-1)\sum_{j=1}^{\left\lfloor\frac{m}{2}\right\rfloor}h_j\circ \Delta^{j-1}\big(q_n^{s-1}\big)\\
&=h_0\circ q_n^s+4s(s-1)h_1\circ q_n^{s-1}+16s(s-1)^2(s-2)\sum_{j=2}^{\left\lfloor\frac{m}{2}\right\rfloor}h_j\circ \Delta^{j-2}\big(q_n^{s-2}\big)
\end{align*}
and hence, by iterating the process and defining the natural number $t$ to be the lowest value in $\pg*{1,\dots,\pint*{\frac{m}{2}}}$ such that $h_{t}\neq 0$, the quantity above can be written as
\[
g\circ q_n^s=\sum_{j=t}^{\pint*{\frac{m}{2}}}C_jh_j\circ q_n^{s-j}=\sum_{j=t}^{\pint*{\frac{m}{2}}}C_jq_n^{s-m+j}h_j+q_n^{s-m+j+1}p_j,
\]
where $p_j\in \mathcal{R}_{m-2(j+1)}$ and $C_j$ is a constant value equal to
\[
C_j=\frac{4^js!(s-1)!)}{(s-j+1)!(s-j)!}
\]
for every $j=1,\dots,\pint*{\frac{m}{2}}$.
So, we can write
\begin{align*}
g\circ q_n^s&= q_n^{s-m+t}\Bigg(h_t+qp_t+\sum_{j=t+1}^{\pint*{\frac{m}{2}}}C_jq_n^{j-t}h_j+q_n^{j-k+1}p_j\Bigg)\\
&=q_n^{s-m+t}\left(h_t+q_n\Bigg(p_t+\sum_{j=t+1}^{\pint*{\frac{m}{2}}}C_jq_n^{j-t-1}h_j+q_n^{j-t}p_j\Bigg)\right)
\end{align*}
and thus, if we had $g\circ q_n^s=0$, then we should have
\[
h_t=-q_n\Bigg(p_t+\sum_{j=t+1}^{\pint*{\frac{m}{2}}}C_jq_n^{j-t-1}h_j+q_n^{j-t}p_j\Bigg),
\]
but this means that $q_n\mid h_k$, that is clearly a contradiction since $h_k$ is harmonic. Therefore, it must be $g\circ q_n^s\neq 0$ and we have proved that in the apolar ideal $\big(q_n^s\big)^\perp$ there are no polynomials of degree lower than $s+1$.
\end{proof}
The stabilizer of $G$ with respect to the form $q_n^s$ is special and, in particular, it contains the group of special orthogonal matrices.
\begin{lem}
\label{Lem stabilizer q^s}
For every $n,s\in\mathbb{N}$, the elements of the special orthogonal group $\mathrm{SO}_n(\mathbb{C})$ stabilize the action of the group $G=\mathrm{GL}_n(\mathbb{C})$ with respect to the form $q_n^s$, that is
\[
\mathrm{SO}_n(\mathbb{C})\subseteq G_{q_n^s}
\]
for every $s,n\in\mathbb{N}$.
\end{lem}
\begin{proof}
Let us consider $x_1,\dots,x_n\in\mathcal{R}$ as complex variables and thus $\mathcal{R}$ as the space of polynomial functions. Given any $A\in G$, the action of $A$ on the variables is defined by
\[
A.x_j=\sum_{k=1}^nA_{kj}x_k
\]
for every $j=1,\dots,n$, hence we have the equality
\begin{align*}
\pt*{A.x_1}^2+\dots+\pt*{A.x_n}^2&=\biggl(\sum_{k=1}^nA_{k1}x_k\biggr)^2+\dots+\biggl(\sum_{k=1}^nA_{kn}x_k\biggr)^2\\
&=\sum_{j=1}^n\biggl(\sum_{k=1}^nA_{kj}^2x_k^2+2\sum_{k_1<k_2}A_{k_1j}A_{k_2j}x_{k_1}x_{k_2}\biggr)\\
&=\sum_{k=1}^n\biggl(\sum_{j=1}^nA_{kj}^2\biggr)x_k^2+2\sum_{k_1<k_2}\biggl(\sum_{j=1}^nA_{k_1j}A_{k_2j}\biggr)x_{k_1}x_{k_2}.
\end{align*}
By properties of orthogonal matrices we have, in particular, that
\[
\sum_{j=1}^nA_{kj}^2=1,\quad \sum_{j=1}^nA_{k_1j}A_{k_2j}=0,
\]
from which we get
\[
\pt*{A.x_1}^2+\dots+\pt*{A.x_n}^2=x_1^2+\dots+x_n^2.
\]
By uniqueness of polynomials factorization we also have
\[
A.q_n^s=q_n^s.
\qedhere
\]
\end{proof}
Before proving that the set of $(s+1)$-harmonic polynomials  represents a set of generators of the apolar ideal, we need another pair of considerations. Let us define the polynomials $u,v\in R_1$, corresponding to
\[
u=y_1+iy_2,\quad v=y_1-iy_2.
\]
\begin{lem}
\label{Rem polinomi armoni u v}
For every $d\in\mathbb{N}$, the polynomials $u^d,v^d\in\mathcal{D}_d$ are harmonic. Moreover, if $d\geq s+1$, then $u^d,v^d\in\big(q_n^s\big)^\perp$.
\end{lem}
\begin{proof}
We prove the statement only for the linear polynomial $u$, since the case of $v$ is analogous. Supposing $d\geq 2$, we have
\[
\Delta u^d=\pdv[2]{}{y_1}(y_1+iy_2)^d+\pdv[2]{}{y_2}(y_1+iy_2)^d=d(d-1)(y_1+iy_2)^{d-2}\big(1+i^2\big)=0.
\]
We observe now that
\[
(y_1+iy_2)\circ(x_1+ix_2)=1+i^2=0,
\]
and
\[
u\circ q_n^s=(y_1+iy_2)\circ\big(x_1^2+\dots+x_n^2\big)^s=2s(x_1+ix_2)\big(x_1^2+\dots+x_n^2\big)^{s-1}.
\]
Then, if $d\geq s+1$, we obtain by Leibniz's rule
\[
u^d\circ q_n^s=(y_1+iy_2)^{s+1}\circ\big(x_1^2+\dots+x_n^2\big)^s=2^ss!(y_1+iy_2)^{d-s}\circ(x_1+ix_2)^s=0
\]
and hence $u^d\in\big(q_n^s\big)^\perp$.
\end{proof}
\begin{rem}
\label{rem prod powers u v}
It is clear that the product of two powers of the polynomials $u$ and $v$ can't be harmonic. Indeed, given any $l,m\in\mathbb{N}$ such that $l,m\geq 1$,we have
\[
u^lv^m=\big(y_1^2+y_2^2\big)(y_1+iy_2)^{l-1}(y_1-iy_2)^{m-1},
\]
namely $\big(y_1^2+y_2^2\big)\mathrel{\bigm|} u^lv^m$.
\end{rem}
We can finally analyze each component of the catalecticant map, in order to determine each component of the kernel and hence to show how the apolar ideal of $q_n^s$ is made.
\begin{prop}
\label{Prop ker polar map}
For every $k\in\mathbb{N}$ such that $1\leq k\leq s$, let
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \Cat_{q_n^s}^{s+k}\colon\mathcal{D}_{s+k}\arrow{r} & \mathcal{R}_{s-k} \\
  {\hphantom{\Cat_{q_n^s}^{s+k}\colon{}}} \phi \arrow[mapsto]{r} & \phi\circ q_n^s
\end{tikzcd}
\]
be the component of degree $s+k$ of the catalecticant map of $q_n^s$. Then
\begin{equation}
\label{relation prop 3.6}
\big(q_n^s\big)_{s+k}^\perp=\Ker\pt*{\Cat_{q_n^s}^{s+k}}=\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}.
\end{equation}
\end{prop}
\begin{proof}
If $1\leq k\leq s$, then by Proposition \ref{prop decomposizione armonici} we have
\[
\mathcal{D}_{s+k}=\bigg(\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}\bigg)\oplus q_n^{k}\mathcal{H}_n^{s-k}
\]
and hence to prove the statement it is sufficient to verify that
\[
q_n^{k}\mathcal{D}_{s-k}\cap\Ker\Bigl(\Cat_{q_n^s}^{s+k}\Bigr)=\{0\}
\]
and
\[
\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}\subseteq\Ker\pt*{\Cat_{q_n^s}^{s+k}}.
\]
For the first assertion let us consider a polynomial $h\in \mathcal{D}_{s-k}$. Then, as we saw in the proof of Proposition \ref{Prop Elementi di grado min s}, we have
\[
\big(q_n^{k}h\big)\circ q_n^s=h\circ\big(\Delta^{k} q_n^s\big)=C_kh\circ q_n^{s-k},
\]
where
\[
C_k=\frac{4^ks!(s-1)!)}{(s-k+1)!(s-k)!}.
\]
In particular, by Proposition \ref{Prop Elementi di grado min s}, we have $h\circ q_n^{s-k}=0$ if and only if
\[
h\in\big(q_n^{s-k}\big)_{s-k}^\perp,
\]
that is $h=0$.

Before proving the second assertion we recall that
$\mathcal{H}_n^d$ is an irreducible $\mathrm{SO}_n(\mathbb{C})$-module for every $d\in\mathbb{N}$. Moreover, for every $j\in\mathbb{N}$ such that $j\leq k-1$, since by Lemma \ref{Lem stabilizer q^s} we have
\[
\mathrm{SO}_n(\mathbb{C})\subseteq G_{q_n^j},
\]
then also the space
$q_n^j\mathcal{H}_n^{s+k-2j}$
represents an irreducible $\mathrm{SO}_n(\mathbb{C})$-module.
Now, by Proposition \ref{Prop polar map equivariant}, the catalecticant map
\[
\Cat_{q_n^s}^{s+k}\colon\mathcal{D}_{s+k}\to\mathcal{R}_{s-k}
\]
is $\mathrm{SO}_n(\mathbb{C})$-equivariant and hence, by Schur's Lemma (see e.g. \cite{FH91}*{Lemma 1.7}), it follows that the restriction
\[
\Cat^{s+k}_{q_n^s}\big|_{q_n^j\mathcal{H}_n^{s+k-2j}}\colon q_n^j\mathcal{H}_n^{s+k-2j}\to\mathcal{R}_{s-k}
\] must be the zero function or an isomorphism on the image. So, if we take the form $u=y_1+iy_2\in \mathcal{D}_1$, then, since
\[
q_n^ju^{s+k-2j}\in q_n^j\mathcal{H}_n^{s+k-2j},
\]
we obtain by Lemma \ref{Rem polinomi armoni u v} the equality
\[
\bigl(q_n^ju^{s+k-2j}\bigr)\circ q_n^s=C_ju^{s+k-2j}\circ q_n^{s-j}=u^{k-j+1}\circ\bigl(u^{s-j+1}\circ q_n^{s-j}\bigr)=0,
\]
which implies that
\[
\Cat^{s+k}_{q_n^s}\big|_{q_n^j\mathcal{H}_n^{s+k-2j}}\equiv 0
\]
and hence the inclusion is proved.
\end{proof}

We have finally all the elements to describe the apolar ideal $\big(q_n^s\big)^\perp$, which turns out to be generated by harmonic polynomials of degree $s+1$.
\begin{teo}
\label{Teo Apolar ideal}
The apolar ideal of the form $q_n^s$ is
\[
\big(q_n^s\big)^\perp=\bigl(\mathcal{H}_n^{s+1}\bigr).
\]
\end{teo}
\begin{proof}
By Proposition \ref{Prop Elementi di grado min s} we have sen that $\big(q_n^s\big)^\perp_k=0$ for every $1\leq k\leq s$. Therefore, to get the statement we have simply to prove that
\[
\big(q_n^s\big)_d^\perp=\mathcal{H}_n^{s+1}\mathcal{D}_{d-s-1}
\]
for every $d\geq s+1$. So, let $d=s+k$ for a suitable $k\in\mathbb{N}$. Then by Proposition \ref{Prop ker polar map}, if $1\leq k\leq s+1$, this is the same as proving that
\begin{equation}
\label{relation HD}
\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}=\mathcal{H}_n^{s+1}\mathcal{D}_{k-1}.
\end{equation}
Proposition \ref{Prop ker polar map} also show us that
\[
\big(q_n^s\big)_{s+1}^\perp=\mathcal{H}_n^{s+1},
\]
and hence we get immediately
\begin{equation}
\label{relation first inclusion}
\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}\supseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-1}.
\end{equation}
The reverse inclusion can be obtained by induction on $k$ separately on odd and even values. If $k=1$ the equality is obvious and we have already seen it. If $k=2$ we have to show that
\[
\mathcal{H}_n^{s+2}\oplus q_n\mathcal{H}_n^s\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_1.
\]
So, if we consider the polynomials
\[
u=y_1+iy_2,\quad v=y_1-iy_2,
\]
then, as we have seen in Lemma \ref{Rem polinomi armoni u v}, we can consider the polynomial $u^{s+2}\in\mathcal{H}_n^{s+2}$, which can be written as
\[
u^{s+1}u\in\mathcal{H}_n^{s+1}\mathcal{D}_1
\]
and hence prove, since $\mathcal{H}_n^{s+2}$ is an irreducible $\mathrm{SO}_n(\mathbb{C})$-module, that
\[
\mathcal{H}_n^{s+2}\subseteq \mathcal{H}_n^{s+1}\mathcal{D}_1.
\]
Now by Remark \ref{rem prod powers u v}, we have also that $u^{s+1}v\notin\mathcal{H}_n^{s+2}$ and, in particular, we get by inclusion (\ref{relation first inclusion}) that
\[
u^{s+1}v\in\mathcal{H}_n^{s+1}\mathcal{D}_1\subseteq\mathcal{H}_n^{s+2}\oplus q_n\mathcal{H}_n^s.
\]
This means that there exist unique forms $h_1\in\mathcal{H}_n^{s+2}$ and $ h_2\in\mathcal{H}_n^{s}$, with $h_2\neq 0$ such that
\[
u^{s+1}v=h_1+q_nh_2\in \mathcal{H}_n^{s+2}\oplus q_n\mathcal{H}_n^s
\]
and, in particular,
\[
q_nh_2=u^{s+1}v-h_1\in\mathcal{H}_n^{s+1}\mathcal{D}_1.
\]
This implies by irreducibility that
\[
q_n\mathcal{H}_n^s\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_1,
\]
providing the required inclusion. Now, let be $3\leq k\leq s$ and let the equality be true for $k-2$. We have to show that
\[
\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}=\mathcal{H}_n^{s+k}\oplus q_n\pt*{\bigoplus_{j=0}^{k-2}q_n^{j-1}\mathcal{H}_n^{s+k-2-2j}}\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-1}.
\]
As previously, we can consider the polynomial
$u^{s+k}\in\mathcal{H}_{s+k}$, which can be written as
\[
u^{s+1}u^{k-1}\in\mathcal{H}_n^{s+1}\mathcal{D}_{k-1},
\]
and conclude, again by irreducibility, that
\[
\mathcal{H}_n^{s+k}\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-1}.
\]
So, since by inductive hypothesis we have
\[
\bigoplus_{j=0}^{k-2}q_n^{j-1}\mathcal{H}_n^{s+k-2-2j}\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-3},
\]
then we have, as $q_n\in \mathcal{D}_2$,
\[
q_n\bigg(\bigoplus_{j=0}^{k-2}q_n^{j-1}\mathcal{H}_n^{s+k-2-2j}\bigg)\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-1},
\]
which therefore implies the inclusion
\[
\bigoplus_{j=0}^{k-1}q_n^j\mathcal{H}_n^{s+k-2j}\subseteq\mathcal{H}_n^{s+1}\mathcal{D}_{k-1},
\]
that proves the equality (\ref{relation HD}).
It remains to show that for every $d\geq 2(s+1)$
\begin{equation}
\label{relation casi alti}
\big(q_n^s\big)^\perp_{d}=\mathcal{H}_n^{s+1}\mathcal{D}_{d-s-1}
\end{equation}
and, since by definition we have that
\[
\big(q_n^s\big)^\perp_{d}=\mathcal{D}_{d}
\]
for every $d\geq 2(s+1)$, we simply have to prove that
\[
\mathcal{D}_{2s+m+1}=\mathcal{H}_n^{s+1}\mathcal{D}_{s+m}
\]
for every $m\geq 1$. Now, we have just seen, by (\ref{relation prop 3.6}) and (\ref{relation HD}), that
\[
\big(q_n^s\big)^\perp_{2s+1}=\mathcal{H}_n^{s+1}\mathcal{D}_s=\bigoplus_{j=0}^{s}q_n^j\mathcal{H}_n^{2s-2j+1}.
\]
This implies, by decomposition of Proposition \ref{prop decomposizione armonici}, that
\[
\mathcal{H}_n^{s+1}\mathcal{D}_s=\mathcal{D}_{2s+1},
\]
from which we easily get
\[
\mathcal{D}_{2s+m+1}=\mathcal{D}_{2s+1}\mathcal{D}_{m}=\mathcal{H}_n^{s+1}\mathcal{D}_{s}\mathcal{D}_{m}=\mathcal{H}_n^{s+1}\mathcal{D}_{s+m}
\]
for every $m\geq 1$, that corresponds to equality (\ref{relation casi alti}).
\end{proof}

By Theorem \ref{Teo Apolar ideal} it is quite easy to obtain a lower bound for the rank of the form $q_n^s$. Indeed, as a direct consequence of Proposition \ref{prop lower bound}, we get the following
\begin{cor}
\label{cor cat lower bound}
For every $n$,$s\in\mathbb{N}$
\[
\rk\pt*{q_n^s}\geq\brk\pt*{q_n^s}\geq\binom{s+n-1}{n-1}.
\]
\end{cor}

\section{Border rank in three variables}
\label{section border rank}
\noindent Irreducibility of the space of harmonic polynomials as $\mathrm{SO}_n(\mathbb{C})$-modules allows to determine a canonical basis for the case of three variables in each component. Considering the Lie algebra of the Lie group $\mathrm{SL}_2(\mathbb{C})$, given by the set
\[
\mathfrak{sl}_2\mathbb{C}=\Set{A\in\mathrm{Mat}_2(\mathbb{C})|\tr A=0},
\]
we know that its only irreducible representations correspond to the spaces of even symmetric powers of $\mathbb{C}^2$ (see \cite{FH91}*{Section 11.1} for details), that is
\[
S^{2d}\mathbb{C}^2\simeq\mathbb{C}[x,y]_{2d}
\]
for each $d\in\mathbb{N}$.
In particular, we can consider a natural basis $\mathcal{A}_2=\{H,E,F\}$ of $\mathfrak{sl}_2\mathbb{C}$, where
\[
H=\begin{pmatrix}
1&0\\
0&-1
\end{pmatrix},\quad
E=\begin{pmatrix}
0&1\\
0&0
\end{pmatrix},\quad
F=\begin{pmatrix}
0&0\\
1&0
\end{pmatrix},
\]
satisfying the relations
\begin{equation}
\label{relation EFH}
[H,E]=2E,\quad [H,F]=-2F,\quad [E,F]=H,
\end{equation}
such that the set of monomials
\[
\mathcal{B}_{d}={\big\{x^{2d-j}y^{j}\big\}}_{j=0,\dots,2d}
\]
represents a basis of eigenvectors of the action of $H$ on $S^{2d}\mathbb{C}^2$, which is therefore diagonalizable.
Moreover, we have that
\[
E\bigl(x^jy^{2d-j}\bigr)\in\bigl\langle x^{j+1}y^{2d-j-1}\bigr\rangle,\quad F\bigl(x^{2d-j}y^j\bigr)\in\bigl\langle x^{2d-j-1}y^{j+1}\bigr\rangle.
\]
for every $j=0,\dots,2d-1$.

Now, the reason why we have introduced the Lie algebra $\mathfrak{sl}_2\mathbb{C}$ is connected to a well known consideration, related to representations of $\mathrm{SO}_3(\mathbb{C})$ (see \cite{FH91}*{Section 18.2} for further details). So, let us consider the Lie algebra $\mathfrak{so}_3\mathbb{C}$ of the special orthogonal group $\mathrm{SO}_3(\mathbb{C})$, namely
\[
\mathfrak{so}_3\mathbb{C}=\Set{A\in\mathrm{Mat}_3(\mathbb{C})|A=-A^t}.
\]
Since $\mathcal{H}_3^d$ is an irreducible $\mathrm{SO}_3(\mathbb{C})$-module, then it is also an irreducible representation of the Lie algebra $\mathfrak{so}_3\mathbb{C}$ (\cite{FH91}*{Exercise 8.17}).
So, if we consider the basis $\mathcal{A}_3=\{H,E,F\}$ of $\mathfrak{so}_3\mathbb{C}$, where
\[
H=\begin{pmatrix}
0 & -2i & 0 \\
2i & 0 & 0 \\
0 & 0 & 0
\end{pmatrix},\quad
E=\begin{pmatrix}
0 & 0 & -1 \\
0 & 0 & -i \\
1 & i & 0
\end{pmatrix},\quad
F=\begin{pmatrix}
0 & 0 & 1 \\
0 & 0 & -i \\
-1 & i & 0
\end{pmatrix},
\]
we observe that relations (\ref{relation EFH}) are satisfied. Thus, it means not only that
\[
\mathfrak{so}_3\mathbb{C}\simeq\mathfrak{sl}_2\mathbb{C},
\]
but also, by uniqueness of irreducible representations of $\mathfrak{sl}_2\mathbb{C}$, that
\[
\mathcal{H}_3^d\simeq S^{2d}\mathbb{C}^2.
\]
Moreover, by the linear change of variables of the space $\mathcal{D}=\mathbb{C}[y_1,y_2,y_3]$, defined by
\[
u=\frac{y_1+iy_2}{2},\quad v=\frac{y_1-iy_2}{2},\quad z=y_3,
\]
we can write the elements of $\mathcal{A}_3$ as
\[
H=\begin{pmatrix}
2 & 0 & 0 \\
0 & -2 & 0 \\
0 & 0 & 0
\end{pmatrix},\quad
E=\begin{pmatrix}
0 & 0 & -2 \\
0 & 0 & 0 \\
0 & 1 & 0
\end{pmatrix},\quad
F=\begin{pmatrix}
0 & 0 & 0 \\
0 & 0 & 2 \\
-1 & 0 & 0
\end{pmatrix}.
\]
Thus, we can choose in a natural way a basis which corresponds to the set of monomials $\mathcal{B}_d$, identifying it
as set of harmonic polynomials, given by
\[
\mathcal{B}_{d}=\pg*{p_{d,j}}_{-d\leq j\leq d},
\]
where, for every $k\geq 0$,
\[
p_{d,k}=\sum_{j=0}^{\pint*{\frac{d-k}{2}}}(-1)^ju^{[k+j]}z^{[d-k-2j]}v^{[j]}
\]
and
\[
p_{d,-k}=\sum_{j=0}^{\pint*{\frac{d-k}{2}}}(-1)^ju^{[k]}z^{[d-k-2j]}v^{[k+j]},
\]
using the notation of the \textit{divided powers}, that is, we set
\[
u^{[m]}=\frac{1}{m!}u^m,\quad v^{[m]}=\frac{1}{m!}v^m,\quad z^{[m]}=\frac{1}{m!}z^m,
\]
for every $m\in\mathbb{N}$.
\begin{rem}
Since we have changed set of variables, to verify that all these are harmonic polynomials, we have to use the Laplace operator in the form
\[
\Delta=\pdv[2]{}{z}+\pdv{}{u,v}.
\]
\end{rem}
These polynomials are probably not so nice to see, but maybe they can be described a bit better in the following diagram:
\[
\begin{gathered}
\adjustbox{scale=0.75,center}{
\begin{tikzcd}[scale=0.5em]
\underset{\color{darkred}p_{2,2}}{\pa*{\dfrac{1}{2}u^{2}}} \ar[r,yshift=2.2,"F"]  & \underset{\color{darkred}p_{2,1}}{\pa*{\dfrac{1}{4}uz}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{2,0}}{\pa*{\dfrac{1}{12}\pt*{z^{2}-2uv}}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{2,-1}}{\pa*{\dfrac{1}{4}vz}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{2,-2}}{\pa*{\dfrac{1}{2}v^{2}}}\ar[l,yshift=-2.2,"E"]\hphantom{.}
\end{tikzcd}}\\
\adjustbox{scale=0.75,center}{
\begin{tikzcd}
\underset{\color{darkred}p_{3,3}}{\pa*{\dfrac{1}{6}u^3}} \ar[r,yshift=2.2,"F"]  & \underset{\color{darkred}p_{3,2}}{\pa*{\dfrac{1}{12}u^2z}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{3,1}}{\pa*{\dfrac{1}{30}u\pt*{z^2-uv}}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{3,0}}{\pa*{\dfrac{1}{120}z\pt*{z^2-6uv}}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{3,-1}}{\pa*{\dfrac{1}{30}v\pt*{z^2-uv}}}\ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"]& \underset{\color{darkred}p_{3,-2}}{\pa*{\dfrac{1}{12}v^2z}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{3,-3}}{\pa*{\dfrac{1}{6}v^3}}\ar[l,yshift=-2.2,"E"]\hphantom{.}
\end{tikzcd}}\\
\vdots\\
\adjustbox{scale=0.75,center}{
\begin{tikzcd}
\underset{\color{darkred}p_{n,n}}{\pa*{\dfrac{1}{d!}u^d}} \ar[r,yshift=2.2,"F"]  & \underset{\color{darkred}p_{d,d-1}}{\pa*{\dfrac{1}{2d(d-1)!}u^{d-1}z}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \dots \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{d,-(d-1)}}{\pa*{\dfrac{1}{2d(d-1)!}v^{d-1}z}} \ar[l,yshift=-2.2,"E"]\ar[r,yshift=2.2,"F"] & \underset{\color{darkred}p_{d,-d}}{\pa*{\dfrac{1}{d!}v^d}}\ar[l,yshift=-2.2,"E"].
\end{tikzcd}}
\end{gathered}
\]

Now, before analyzing ternary forms, we recall some results about binary forms. In particular, considering the variables
\[
u=x_1+ix_2,\quad v=x_1-ix_2,
\]
we know by B.~Reznick in \cite{Rez92}, that the rank of the binary form
\[
q_2^s=\bigl(x_1^2+x_2^2\bigr)^s=u^sv^s,
\]
is minimal and hence equal to the rank of the central catalecticant map.
\begin{teo}[\cite{Rez92}*{Theorem 9.5}]
\label{teo decom Rez}
The minimal real decompositions of $q_2^s$ corresponds to
\[
q_2^s=\sum_{j=1}^{s+1}(a_jx_1+b_jx_2)^{2s},
\]
where the set of the $2s+2$ points
\[
\bigl\{\pm(a_j,b_j)\bigr\}_{j=1,\dots,s+1}
\]
coresponds to the set of vertices of a regular $(2s+2)$-gon inscribed in a circle of radius $2r(s)$, where
\[
r(s)=(s+1)^{-\frac{1}{2s}}\binom{2s}{s}^{-\frac{1}{2s}}.
\]
\end{teo}
Theorem \ref{teo decom Rez} shows that the minimal real decompositions of $q_2^s$ are essentially unique up to an orthogonal transformation; in particular, we can write
\[
q_2^s=\sum_{j=1}^{s+1}\big(2r(s)\cos(\tau_{j}) x_1+2r(s)\sin(\tau_{j})x_2\big)^{2s}=\sum_{j=1}^{s+1}\big(r(s)e^{i\tau_{j}} u+r(s)e^{-i\tau_{j}}v\big)^{2s},
\]
where
\[
\tau_j=\frac{(j-1)\pi}{s+1}
\]
for every $j=1,\dots,s+1$.
By apolarity, we can easily extend this result and obtain the uniqueness of decompositions even for the complex case. Indeed, by Lemma \ref{Rem polinomi armoni u v} and Corollary \ref{cor dimens harm}, we know that
\[
\bigl(q_2^s\bigr)^{\perp}=\bigl(u^{s+1},v^{s+1}\bigr).
\]
Hence, by the classic apolarity lemma (\cite{IK99}*{Lemma 1.15}) every decomposition of $q_2^s$ corresponds to a polynomial in its apolar ideal with distinct roots. Therefore, we can write each linear combination of $u^{s+1}$ and $v^{s+1}$, up to scalars, as
\[
f_{s+1}=u^{s+1}-e^{i(\theta+ik)}v^{s+1},
\]
for some $\theta\in[0,2\pi)$ and some $k\in\mathbb{R}$ (with the only exception of $u^{s+1}$ and $v^{s+1}$). The roots of these polynomials corresponds to the projective points
\[
[u_j:v_j]=\pq*{e^{iw_{k,\theta,j}}:e^{-iw_{k,\theta,j}}},\quad j=1,\dots,s+1
\]
where
\[
w_{k,\theta,j}=\frac{2(j-1)\pi+\theta+ik}{2(s+1)}
\]
for every $j=1,\dots,s+1$ and hence obtaining, just solving a linear system,
\[
q_2^s=\sum_{j=1}^{s+1}\big(2r(s)\cos(w_{k,\theta,j}) x_1+2r(s)\sin(w_{k,\theta,j})x_2\big)^{2s}=\sum_{j=1}^{s+1}\big(r(s)e^{iw_{k,\theta,j}} u+r(s)e^{-iw_{k,\theta,j}}v\big)^{2s}.
\]
Thus, we have proved the following
\begin{teo}
\label{minimal decomposition 2 var}
The minimal decompositions of $q_2^s$ are essentially unique, up to an orthogonal complex transformation, and equal to
\[
q_2^s=\sum_{j=1}^{s+1}\big(2r(s)\cos(\tau_{j}) x_1+2r(s)\sin(\tau_{j})x_2\big)^{2s}=\sum_{j=1}^{s+1}\big(r(s)e^{i\tau_{j}} u+r(s)e^{-i\tau_{j}}v\big)^{2s},
\]
where
\[
r(s)=(s+1)^{-\frac{1}{2s}}\binom{2s}{s}^{-\frac{1}{2s}}.
\]
and
\[
\tau_j=\frac{(j-1)\pi}{s+1}
\]
for every $j=1,\dots,s+1$.
\end{teo}

\begin{figure}
\center
\begin{tikzpicture}
\begin{scope}[shift={(-3cm,0cm)}]
\draw[thick,->] (-2,0) -- (2,0) node[anchor=north east]{$x_1$};
\draw[thick,->] (0,-2) -- (0,2) node[anchor=north west]{$x_2$};
\foreach \x in {0,45,...,315}{
\pgfpathmoveto{\pgfpointpolar{\x}{1.2cm}}
\pgfpathlineto{\pgfpointpolar{\x+45}{1.2cm}}
\color{blue}
\pgfsetdash{{3pt}{2pt}}{0pt}
\pgfusepath{fill,stroke}}
\foreach \x in {0,45,...,315}
{\pgfpathcircle{\pgfpointpolar{\x}{1.2cm}}{2pt}
\color{blue}
\pgfusepath{fill}};
\end{scope}
\begin{scope}
\draw
node [shift={(-3cm,-3cm)},text width=5.3cm,rounded corners,fill=gray!10,inner sep=1ex,scale=0.7]
{Decomposition of $q_2^3$ (4 points):\\
roots of $f_4=u^4-v^4$.
};
\draw
node [shift={(3cm,-3cm)},text width=5.3cm,rounded corners,fill=gray!10,inner sep=1ex,scale=0.7]
{Decomposition of $q_2^4$ (5 points):\\
roots of $f_5=u^5-v^5$.
};
\end{scope}
\begin{scope}[shift={(3cm,0cm)}]
\draw[thick,->] (-2,0) -- (2,0) node[anchor=north east]{$x_1$};
\draw[thick,->] (0,-2) -- (0,2) node[anchor=north west]{$x_2$};
\foreach \x in {0,36,...,324}{
\pgfpathmoveto{\pgfpointpolar{\x}{1.2cm}}
\pgfpathlineto{\pgfpointpolar{\x+36}{1.2cm}}
\color{darkred}
\pgfsetdash{{3pt}{2pt}}{0pt}
\pgfusepath{fill,stroke}}
\foreach \x in {0,36,...,324}
{\pgfpathcircle{\pgfpointpolar{\x}{1.2cm}}{2pt}
\color{darkred}
\pgfusepath{fill}};
\end{scope}
\end{tikzpicture}
\caption{Example of decompositions of the powers $q_2^3$ and $q_2^4$. The  two figures represents the points of the decompositions of the two forms $q_2^3$ and $q_2^4$. Since they represents projective points, in the first figure should be considered respectively only four and five non-antipodal representative points, corresponding to different classes.}
\end{figure}

We have now all the instruments to determine the border rank of powers of every quadric in three variables, that is, we want to prove the following
\begin{teo}
\label{teo border rank}
Let $g\in S^2\mathbb{C}^3$ be an arbitrary ternary quadratic form. For every $s\in\mathbb{N}$, if $g$ is degenerate, then
\[
\brk \bigl(g^s\bigr)=\rk \bigl(g^s\bigr)=\binom{s+\rk g-1}{\rk g-1}.
\]
Otherwise,
\[
\brk\bigl(g^s\bigr)=\binom{s+2}{2}=\frac{(s+1)(s+2)}{2}.
\]
\end{teo}
As we have already said, in order to prove the theorem we use border apolarity, but in order to prove this, we need to determine an ideal which belong to $\mathrm{Slip_{r,n}}$.

Now we need to recall the classical notion of \textit{Hilbert scheme} of Hilbert scheme parametrizing $r$ points of the projective space $\mathbb{P}^n$. This object, firstly developed by A.~Grothendieck (see \cite{Gro61}), basically consists of a scheme parametrizing all the closed subscheme of $\mathbb{P}^n$ of length $r$.

We must underline the difference with the multigraded Hilbert scheme $\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}$  that we have defined in Section \ref{section apolarity}, which parametrizes all the homogeneous ideals of $S[\mathbb{P}^n]$, with fixed Hilbert function $h_{r,n}$. In particular, there could be in $\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}$ ideals that represents both saturated and non-saturated ideals (we refer for instance to \cite{EH00}*{Section VI.2.2} for further details about Hilbert schemes).

Anyway, the reason why we have to consider classical Hilbert schemes is due to a particular remark made by T.~Mańdziuk in \cite{Man22}. Let us denote by $\bm{\mathcal{H} ilb}_r\bigl(\mathbb{P}^n\bigr)$ the Hilbert scheme of the set of $r$-tuples of points of $\mathbb{P}^n$. The result of T.~Mańdziuk can be used for the particular case of the projective plane $\mathbb{P}^2$, whose Hilbert scheme $\bm{\mathcal{H} ilb}_r\bigl(\mathbb{P}^2\bigr)$ is smooth and irreducible (see \cite{Fog68}*{Theorem 2.4}).
\begin{prop}[\cite{Man22}*{Remark 4.7}]
\label{prop Slip}
If $\bm{\mathcal{H} ilb}_r\bigl(\mathbb{P}^n\bigr)$ is irreducible, $I$ is a saturated ideal and
\[
I\in\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}},
\]
then $I\in\mathrm{Slip}_{r,n}$.
\end{prop}

Therefore, if we consider the ideal
\[
I_{d}=(p_{d,d},p_{d,d-1},\dots,p_{d,0}),
\]
then, in order to prove that $I_{d}\in\mathrm{Slip}_{r,n}$ it is sufficient to show that $I_d$ is a saturated ideal. To obtain this, we start by proving that its leading ideal $\mathrm{LT}(I_d)$ is saturated, for which we need the following lemma, that represents a well known fact, concerning the ideal of a fat point (see e.g. \cite{Gim89} for further details on fat points).
\begin{lem}
\label{lem monomial ideal saturated n=3}
For every $s\in\mathbb{N}$, the monomial ideal
\[
J_d=\bigl(u^d,u^{d-1}z,\dots,uz^{d-1},z^d\bigr)\subseteq\mathbb{K}[u,z,v],
\]
corresponding to the ideal generated by all the monomials of degree $d$ in the variable $u$ and $z$, is saturated.
\end{lem}
We have now to prove that the ideal $J_d$ of Lemma \ref{lem monomial ideal saturated n=3} is actually the leading ideal of $I_d$. To get this we simply have to prove that the generators we have considered form a Gr\"obner basis of $I_d$. The most classical method to prove this is to use Buchberger's criterion, which can be found in its standard version \cite{Eis95}*{Theorem 15.8}. However, we consider a particular version of that criterion, described accurately by W.~Decker and F.-O.~Schreyer in \cite{DS09}*{Theorem 2.3.9}, which allows us to simplify considerably the verification.
\begin{teo}[Buchberger's criterion]
Let $f_1,\dots,f_r\in\mathbb{K}[x_1,\dots,x_n]$ and let $I=(f_1,\dots,f_r)$. For every $j=2,\dots,r$, let $M_j$ denote the ideal
\[
M_j=\bigl(\mathrm{LT}(f_1),\dots,\mathrm{LT}(f_{j-1})\bigr):\bigl(\mathrm{LT}(f_j)\bigr).
\]
Then $\{f_1,\dots,f_r\}$ is a Gr\"obner basis for $I$ if and only if for every $j=2,\dots,r$ and each minimal generator $x^\alpha$ of $M_j$, the remainder of the division of $x^\alpha f_j$ by $f_1,\dots,f_r$ is equal to zero.
\end{teo}
We can use this to prove that the ideal $J_d$ of Proposition \ref{lem monomial ideal saturated n=3} is effectively the leading ideal of $I_d$.
\begin{lem}
For every $s\in\mathbb{N}$, the set
\[
\mathcal{B}_{d}=\pg*{p_{d,0},\dots,p_{d,d}}
\]
represents a Gr\"obner basis of the ideal $I_{d}$ with respect to the lexicographic monomial order defined by the relation
\[
z>_{\text{lex}}u>_{\text{lex}}v.
\]
\end{lem}
\begin{proof}
By Buchberger's criterion, it is sufficient to prove that, for every $k=0,\dots,s$, considering the colon ideal
\[
M_k=\bigl(z^d,\dots,z^{d-k+1}u^{k-1}\bigr): \bigl(z^{d-k}u^{k}\bigr)=(z),
\]
the remainder of $zp_{d,k}$ divided by $p_{d,0},\dots,p_{d,d}$ is equal to zero. If $k=s$, then we have
\[
zp_{d,d}=zu^d=up_{d,d-1}
\]
and the statement holds. So, given $k\leq d-1$, since
\[
zp_{d,k}=z\sum_{j=0}^{\pint*{\frac{d-k}{2}}}(-1)^ju^{[k+j]}z^{[d-k-2j]}v^{[j]}=\sum_{j=0}^{\pint*{\frac{d-k}{2}}}(-1)^j(d-k-2j+1)u^{[k+j]}z^{[d-k-2j+1]}v^{[j]},
\]
we can proceed with Buchberger's algorithm, first by considering $\mathrm{LT}(h_{d,k-1})=z^{[d-k+1]}u^{[k-1]}$. Indeed we get
\[
zp_{d,k}=\frac{\mathrm{LT}(zp_{d,k})}{\mathrm{LT}(p_{d,k-1})}p_{d,k-1}+r_1=\frac{d-k+1}{k}up_{d,k-1}+r_1,
\]
where $r_1$ corresponds to the first remainder. In particular, we get
\begin{align*}
r_1&=zp_{d,k}-\frac{d-k+1}{k}up_{d,k-1}\\
&=\sum_{j=0}^{\pint*{\frac{d-k}{2}}}(-1)^j(d-k-2j+1)u^{[k+j]}z^{[d-k-2j+1]}v^{[j]}+\\
&\hphantom{{}={}}{-}\frac{d-k+1}{k}u\sum_{j=0}^{\pint*{\frac{d-k+1}{2}}}(-1)^ju^{[k+j-1]}z^{[d-k-2j+1]}v^{[j]}.
\end{align*}
Now, if $d-k$ is even, then
\[
\pint*{\frac{d-k}{2}}=\pint*{\frac{d-k+1}{2}},
\]
while if it is odd, we observe that the coefficient $d-k-2j-1$ annihilates for
\[
j=\pint*{\frac{d-k+1}{2}}
\]
and hence we can add a term in the first sum, which allows us to use a formula with only one sum, given by
\begin{align*}
r_1&=\sum_{j=1}^{\pint*{\frac{d-k+1}{2}}}(-1)^j\bigg((d-k-2j+1)-\frac{(d-k+1)(k+j)}{k}\bigg)u^{[k+j]}z^{[d-k-2j+1]}v^{[j]}\\
&=\sum_{j=1}^{\pint*{\frac{d-k+1}{2}}}(-1)^j\frac{(d-k-2j+1)k-(d-k+1)(k+j)}{k}u^{[k+j]}z^{[d-k-2j+1]}v^{[j]}\\
&=\sum_{j=1}^{\pint*{\frac{d-k+1}{2}}}(-1)^{j-1}\frac{(d+k+1)j}{k}u^{[k+j]}z^{[d-k-2j+1]}v^{[j]}\\
&=\frac{d+k+1}{k}v\sum_{j=1}^{\pint*{\frac{d-k+1}{2}}}(-1)^{j-1}u^{[k+j]}z^{[d-k-2j+1]}v^{[j-1]}\\
&=\frac{d+k+1}{k}v\sum_{j=0}^{\pint*{\frac{d-k-1}{2}}}(-1)^{j}u^{[k+j+1]}z^{[d-k-2j-1]}v^{[j]}\\
&=\frac{d+k+1}{k}vp_{d,k+1},
\end{align*}
which guarantees that the last remainder is equal to zero.
\end{proof}
Now, for every ideal $I$, we use the notation $\bar{I}$ to denote the saturation of $I$. To conclude, we need another nice property that T.~Mańdziuk proves in \cite{Man22}, given in the next lemma.
\begin{lem}[\cite{Man22}*{Lemma 4.12}]
\label{lem 4.12Man}
Let $I$ be an ideal in $S[\mathbb{P}^n]$ and let $<$ be a monomial order. Then
\[
\mathrm{LT}_<\big(\bar{I}\big)\subseteq\bar{\mathrm{LT}_<(I)}.
\]
In particular, if $I$ is a homogeneous ideal and $\mathrm{LT}_<(I)$ is a saturated ideal, then $I$ is a saturated ideal.
\end{lem}
Thus, we can finally conclude providing the formal proof of Theorem \ref{teo border rank}.
\begin{proof}[Proof of Theorem \ref{teo border rank}]
If $g$ is a degenerate form such that $\rk g=2$, then the form $g^s$ is equivalent, by the action of $\mathrm{SL}_3(\mathbb{C})$ to the form
\[
q_2^s=\bigl(x_1^2+x_2^2\bigr)^s.
\]
So we conclude, by Theorem \ref{minimal decomposition 2 var}, that
\[
\brk \bigl(g^s\bigr)=\rk \bigl(g^s\bigr)=s+1.
\]
If instead $g$ represents a non-degenerate form, then $g^s$ is equivalent to the form
\[
q_3^s=\bigl(x_1^2+x_2^2+x_3^2\bigr)^s.
\]
Now, Lemma \ref{lem monomial ideal saturated n=3} and Lemma \ref{lem 4.12Man} together guarantee that the ideal
\[
I_{s+1}=(p_{s+1,s+1},p_{s+1,s},\dots,p_{s+1,0}),
\]
is a saturated ideal for every $s\in\mathbb{N}$.
If we now consider the Hilbert function of the ideal $I_{s+1}$
\[
\begin{tikzcd}[row sep=0pt,column sep=1pc]
 \HF_{I_{s+1}}\colon \mathbb{Z}\arrow{r} & \mathbb{Z}\hphantom{,} \\
  {\hphantom{\HF_{I_{s+1}}\colon{}}} a \arrow[mapsto]{r} & \dim \bigl(\mathcal{D}_a\big/(I_{s+1})_a\bigr),
\end{tikzcd}
\]
we first observe that for every $k\leq s$, since $(I_{s+1})_k=(0)$, we have
\[
\HF_{I_{s+1}}(k)=\dim\mathcal{D}_k=\binom{k+2}{2}=\frac{(k+2)(k+1)}{2}.
\]
Moreover, since $I_{s+1}$ is generated by $s+1$ elements of degree $s+1$, we know also that
\[
\HF_{I_{s+1}}(s+1)=\dim \bigl(\mathcal{D}_{s+1}\big/(I_{s+1})_{s+1}\bigr)=\binom{s+3}{2}-(s+1)=\frac{(s+3)(s+2)-2(s+2)}{2},
\]
that is,
\[
\HF_{I_{s+1}}(s+1)=\frac{s^2+3s+2}{2}=\binom{s+2}{2}=\HF_{I_{s+1}}(s),
\]
but this means, since $I_{s+1}$ is a saturated ideal, that
\[
\HF_{I_{s+1}}(k)=\HF_{I_{s+1}}(s)
\]
for every $k\geq s$. Then, denoting
\[
r=\binom{s+2}{2},
\]
it follows that
\[
\HF_{I_{s+1}}=h_{r,n}
\]
and hence that
\[
I_{s+1}\in\mathrm{Hilb}^{\scriptscriptstyle{h_{r,n}}}_{{\scriptscriptstyle S[\mathbb{P}^n]}}.
\]
Therefore, by Proposition \ref{prop Slip}, we have that
\[
I_{s+1}\in\mathrm{Slip}_{r,n},
\]
and finally, by Theorem \ref{teo border apolarity} and Corollary \ref{cor cat lower bound}, we get that
\[
\brk\bigl(q_3^s\bigr)=\binom{s+2}{2}
\qedhere
\]
\end{proof}

\subsection*{Acknowledgements}
This paper has been realized from part of the author's Ph.D.~thesis, undertaken at Alma Mater Studiorum -- Università di Bologna under the patient co-supervision of Alessandro Gimigliano and Giorgio Ottaviani, to whom sincere thanks are due. The author would also reserve special thanks to Fulvio Gesmundo for his valuable suggestions and to Jarosław Buczyński and Tomasz Mańdziuk for their precious help in clarifying some issues concerning border apolarity, which have been essential for the realization of this paper.

\begin{bibdiv}
\begin{biblist}
\bib{BCC+18}{article}{
title={The hitchhiker guide to: secant varieties and tensor decomposition},
author={Bernardi, A.},
author={Carlini, E.},
author={Catalisano, M.~V.},
author={Gimigliano, A.},
author={Oneto, A.},
journal={Mathematics},
series={Graduate Texts in Mathematics},
volume={6},
number={12},
date={2018},
}
\bib{BGI11}{article}{
title={Computing symmetric rank for symmetric tensors},
author={Bernardi,A.},
author={Gimigliano,A.},
author={Idà,M.},
journal={J. Symbolic Comput.},
date={2011},
volume={46},
number={1},
pages={34-53}
}
\bib{BB21}{article}{
title={Apolarity, border rank, and multigraded Hilbert scheme},
author={Buczyńska,W.},
author={Buczyński,J.},
journal={Duke Math. J.},
date={2021},
volume={170},
number={16},
pages={3659-3702}
}
\bib{DS09}{webpage}{
title={Varieties, Gr\"obner bases, and algebraic curves},
author={Decker,W.},
author={Schreyer,F.-O.},
url={https://www.math.uni-sb.de/ag/schreyer/images/PDFs/teaching/ws1617ag/book.pdf},
date={2009-10-12},
accessdate={2022-07-22}
}
\bib{Dol12}{book}{
title={Classical algebraic geometry},
subtitle={a modern view},
author={Dolgachev,I.~V.},
date={2012},
publisher={Cambridge University Press},
address={Cambridge}
}
\bib{Eis95}{book}{
title={Commutative algebra},
subtitle={With a view toward algebraic geometry},
author={Eisenbud,D.},
series={Graduate Texts in Mathematics},
volume={150},
date={1995},
publisher={Springer-Verlag},
address={New York}
}
\bib{EH00}{book}{
title={The geometry of schemes},
author={Eisenbud,D.},
author={Harris,J.},
series={Graduate Texts in Mathematics},
volume={197},
date={2000},
publisher={Springer-Verlag},
address={New York}
}
\bib{Fog68}{article}{
title={Algebraic families on an algebraic surface},
author={Fogarty,J.},
journal={Amer. J. Math.},
date={1968},
volume={90},
pages={511-521}
}
\bib{FH91}{book}{
title={Representation theory},
subtitle={A first course},
author={Fulton,W.},
author={Harris,J.},
series={Graduate Texts in Mathematics},
volume={129, Readings in Mathematics},
date={1991},
publisher={Springer-Verlag},
address={New York}
}
\bib{GL19}{article}{
title={Explicit polynomial sequences with maximal spaces of partial derivatives and a question of K.~Mulmuley},
author={Gesmundo,F.},
author={Landsberg,J.~M.},
journal={Theory Comput.},
date={2019},
volume={15},
number={3},
pages={1-24}
}
\bib{Gim89}{misc}{
title={Our thin knowledge of fat points},
author={Gimigliano,A.},
series={The Curves Seminar at Queen's, Vol. VI (Kingston, ON, 1989), Queen's Papers in Pure and Appl. Math.},
date={1989},
volume={83},
organization={Queen's Univ.},
address={Kingston, ON}
}
\bib{GW98}{book}{
title={Representations and invariants of the classical groups},
author={Goodman,R.},
author={Wallach,N.~R.},
series={Encyclopedia of Mathematics and its Applications},
volume={68},
date={1998},
publisher={Cambridge University Press},
address={Cambridge}
}
\bib{Gro61}{article}{
title={Techniques de construction et théorèmes d'existence en géométrie algébrique. IV. Les schémas de Hilbert},
author={Grothendieck,A.},
journal={Séminaire Bourbaki},
date={1961},
volume={13},
number={221},
pages={249-276},
language={French},
reprint={
title={Séminaire Bourbaki},
volume={6},
organization={Soc. Math. France},
author={N.~Bourbaki},
language={French},
address={Paris},
date={1995}
}
}
\bib{HS04}{article}{
title={Multigraded Hilbert schemes},
author={Haiman,M.},
author={Sturmfels,B.},
journal={J. Algebraic Geom.},
date={2004},
volume={13},
number={4},
pages={725-769}
}
\bib{Hou77}{article}{
title={Mélanges du role de l'expérience dans les sciences exactes},
author={Ho\"uel,M.~J.},
journal={J. Math. Élém.},
language={French},
date={1877},
volume={1},
pages={118-128}
}
\bib{IK99}{book}{
title={Power sums, Gorenstein algebras, and determinantal loci},
contribution={
type={an appendix},
author={Iarrobino,A.},
author={Kleiman,S.~L.}
},
author={Iarrobino,A.},
author={Kanev,V.},
series={Lecture Notes in Mathematics},
volume={1721},
date={1999},
publisher={Springer-Verlag},
address={Berlin}
}
\bib{Lan12}{book}{
title={Tensors},
subtitle={geometry and applications},
author={Landsberg,J.~M.},
series={Graduate Studies in Mathematics},
volume={128},
date={2012},
publisher={American Mathematical Society},
address={Providence, RI}
}
\bib{LO13}{article}{
title={Equations for secant varieties of Veronese and other varieties},
author={Landsberg,J.~M.},
author={Ottaviani, G.},
journal={Ann. Mat. Pura Appl. (4)},
date={2013},
volume={192},
number={4},
pages={569-606}
}
\bib{Man22}{article}{
title={Identifying limits of ideals of points in the case of projective space},
journal={Linear Algebra Appl.},
author={Mańdziuk,T.},
volume={634},
date={2022},
pages={149-178}
}
\bib{Rez92}{article}{
title={Sums of even powers of real linear forms},
author={Reznick,B.},
journal={Mem. Amer. Math. Soc.},
date={1992},
volume={96},
number={463}
}
\bib{Syl51}{book}{
title={An essay on canonical forms, supplement to a sketch of a memoir on elimination, transformation and canonical forms},
author={Sylvester,J.~J.},
publisher={George Bell},
address={Fleet Street},
date={1851},
reprint={
title={The Collected Mathematical Papers},
author={Sylvester,J.~J.},
volume={1},
address={Chelsea, New York},
date={1873}
}
}

\end{biblist}
\end{bibdiv}

\end{document}