Given a quadratic form $Q(x_1, …, x_n)$, there is a natural notion of rank defined by looking at the rank of the unique symmetric matrix associated to the quadratic form, i.e. we consider the symmetric matrix $A$ such that $mathbfx^T A mathbfx = Q(mathbfx)$.
Suppose we have a $F(mathbfx)$, a degree $d$ homogeneous form. I naively thought that perhaps the rank of $F$ should be defined to be the rank of a hypermatrix $A$ attached to $F(mathbfx)$ (Assuming such notions makes sense). But I have never seen anything like that in the literature. So perhaps there are issues if one wants to define a rank of forms this way.
I was wondering if someone could explain me why considering this may not make sense or not considered? Thank you very much!
The most basic notion of rank for a homogeneous symmetric $d$-form $F$ is the dimension $k$ of the span of the partials $$ F_i = fracpartial Fpartial x^i. $$ in the space of polynomials of degree $d-1$. One always has $kle n$, and it is always possible to write $F$ as a polynomial in $k$ variables (and no fewer). This is an elementary result.
There are other notions, such as the monomial rank, i.e., the least number of monomial terms needed to express $F$ with respect to some basis of the variables, which need bear no relation with $n$ (other than being bounded above by a constant depending only on $d$ and $n$). There is also the power rank, which is the least number of terms needed to express $F$ as linear combination of pure $d$-th powers. As far as I know, neither of these is easily computable when $d>2$ and $n$ is not small.
Such notions are defined for tensors. A tensor can be seen as you said like, a hyper matrix $AinBbb R^n_1times ldots times n_d$ with $n_1,ldots,n_dinBbb N$. Where $A$ has $d$ indices instead of $2$, i.e. $A_j_1,ldots,j_dinBbb R$ for $j_i=1,ldots,n_i$ and $i=1,ldots,d$. There are several notions of rank defined for tensors. You have the multilinear rank (based on one generalization of the singular value decomposition), the rank given by the canonical polyadique decomposition (another generalization of the SVD), the border rank and the cactus rank (more abstract concepts). There are other types of decompositions ($approx$ generalizations of the usual spectral decompositions) which somehow induce other possible notions of rank.
When $F$ is a degree $d$ homogeneous form on $n$ variables in a finite field $bf F_q$, in the regime when $n$ is large and the order of the field and the degree is small, there are two related notions of rank that are useful. One is an “algebraic” notion of rank – $F$ has rank at most $r$ if $F(x)$ can be expressed as $F(x) = f( Q_1(x),dots,Q_r(x))$ for some forms $Q_1,dots,Q_r$ of degree strictly less than $d$, and some function $f$. (For comparison, note that a rank $r$ quadratic form $F(x)$ can be written in terms of $r$ linear functions of $x$.) See for instance this paper of Ben Green and myself where this notion is used to control the equidistribution of $F$.
A related notion is the “analytic” notion of rank introduced by Gowers and Wolf – a form $F$ has analytic rank $r$ if the exponential sum $frac1q^n sum_x in bf F_q^n chi( F(x) )$ has magnitude $q^-r/2$, where $chi$ is some fixed character on $bf F$. For quadratic forms in odd characteristic this matches the usual notion of rank by the familiar properties of Gauss sums.
Related
Is there a rank for higher degree homogeneous forms analogous to that of quadratic forms? – mathoverflow.net #JHedzWorlD
No comments:
Post a Comment