Rank-2 and rank-3 tensors are almost all identifiable with only few exceptions. We classify them all together with the dimensions and the structures of all the sets evincing the rank.
We report about the state of the art on complex and real generic identifiability of tensors, we describe some of our recent results obtained in [6] and we present perspectives on the subject.
Let $T$ be a real tensor of (real) rank $r$. $T$ is 'identifiable' when it has a unique decomposition in terms of rank $1$ tensors. There are cases in which the identifiability fails over the complex field, for general tensors of rank $r$. This behavior is quite peculiar when the rank $r$ is submaximal. Often, the failure is due to the existence of an elliptic normal curve through general points of the corresponding Segre, Veronese or Grassmann variety. We prove the existence of nonempty euclidean open subsets of some variety of tensors of rank $r$, whose elements have several decompositions o…
We use methods of algebraic geometry to find new, effective methods for detecting the identifiability of symmetric tensors. In particular, for ternary symmetric tensors T of degree 7, we use the analysis of the Hilbert function of a finite projective set, and the Cayley-Bacharach property, to prove that, when the Kruskal's rank of a decomposition of T are maximal (a condition which holds outside a Zariski closed set of measure 0), then the tensor T is identifiable, i.e. the decomposition is unique, even if the rank lies beyond the range of application of both the Kruskal's and the reshaped Kru…
We investigate the uniqueness of decomposition of general tensors $T\in {\mathbb C}^{n_1+1}\otimes\cdots\otimes{\mathbb C}^{n_r+1}$ as a sum of tensors of rank $1$. This is done extending the theory developed in a previous paper by the second author to the framework of non twd varieties. In this way we are able to prove the non generic identifiability of infinitely many partially symmetric tensors.
In applications where the tensor rank decomposition arises, one often relies on its identifiability properties for interpreting the individual rank-$1$ terms appearing in the decomposition. Several criteria for identifiability have been proposed in the literature, however few results exist on how frequently they are satisfied. We propose to call a criterion effective if it is satisfied on a dense, open subset of the smallest semi-algebraic set enclosing the set of rank-$r$ tensors. We analyze the effectiveness of Kruskal's criterion when it is combined with reshaping. It is proved that this cr…
A tensor $T$, in a given tensor space, is said to be $h$-identifiable if it admits a unique decomposition as a sum of $h$ rank one tensors. A criterion for $h$-identifiability is called effective if it is satisfied in a dense, open subset of the set of rank $h$ tensors. In this paper we give effective $h$-identifiability criteria for a large class of tensors. We then improve these criteria for some symmetric tensors. For instance, this allows us to give a complete set of effective identifiability criteria for ternary quintic polynomial. Finally, we implement our identifiability algorithms in M…
We prove that the general symmetric tensor in $S^d {\mathbb C}^{n+1}$ of rank r is identifiable, provided that r is smaller than the generic rank. That is, its Waring decomposition as a sum of r powers of linear forms is unique. Only three exceptional cases arise, all of which were known in the literature. Our original contribution regards the case of cubics ($d=3$), while for $d\ge 4$ we rely on known results on weak defectivity by Ballico, Ciliberto, Chiantini, and Mella.
We show how methods of algebraic geometry can produce criteria for the identifiability of specific tensors that reach beyond the range of applicability of the celebrated Kruskal criterion. More specifically, we deal with the symmetric identifiability of symmetric tensors in Sym$^4(\mathbb{C}^{n+1})$, i.e., quartic hypersurfaces in a projective space $\mathbb{P}^n$, that have a decomposition in 2n+1 summands of rank 1. This is the first case where the reshaped Kruskal criterion no longer applies. We present an effective algorithm, based on efficient linear algebra computations, that checks if t…
Let $X\subset \mathbb{P}^r$ be an integral and non-degenerate variety. Set $n:= \dim (X)$. We prove that if the $(k+n-1)$-secant variety of $X$ has (the expected) dimension $(k+n-1)(n+1)-1<r$ and $X$ is not uniruled by lines, then $X$ is not $k$-weakly defective and hence the $k$-secant variety satisfies identifiability, i.e. a general element of it is in the linear span of a unique $S\subset X$ with $\sharp (S) =k$. We apply this result to many Segre-Veronese varieties and to the identifiability of Gaussian mixtures $G_{1,d}$. If $X$ is the Segre embedding of a multiprojective space we prove …
Starting from our previous papers [AGMO] and [ABC], we prove the existence of a non-empty Euclidean open subset whose elements are polynomial vectors with 4 components, in 3 variables, degrees, respectively, 2,3,3,3 and rank 6, which are not identifiable over $ \mathbb{C} $ but are identifiable over $ \mathbb{R} $. This result has been obtained via computer-aided procedures suitably adapted to investigate the number of Waring decompositions for general polynomial vectors over the fields of complex and real numbers. Furthermore, by means of the Hessian criterion ([COV]), we prove identifiabilit…
We describe a new method to determine the minimality and identifiability of a Waring decomposition $A$ of a specific form (symmetric tensor) $T$ in three variables. Our method, which is based on the Hilbert function of $A$, can distinguish between forms in the span of the Veronese image of $A$, which in general contains both identifiable and not identifiable points, depending on the choice of coefficients in the decomposition. This makes our method applicable for all values of the length $r$ of the decomposition, from $2$ up to the generic rank, a range which was not achievable before. Though …
In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of $3$ variables to more general cases. In particular, we focus on forms of degree $4$ in $5$ variables. By means of tools coming from classical algebraic geometry, such as Hilbert function, liaison procedure and Serre's construction, we give a complete geometric description and criteria of identifiability for ranks $\geq 9$, filling the gap between rank $\leq 8$, covered by Kruskal's criterion, and $15$, the rank of a general quartic in $5$ variables. For …
We lower bound the rank of a tensor by a linear combination of the ranks of three of its unfoldings, using Sylvester's rank inequality. In a similar way, we lower bound the symmetric rank by a linear combination of the symmetric ranks of three unfoldings. Lower bounds on the rank and symmetric rank of tensors are important for finding counterexamples to Comon's conjecture. A real counterexample to Comon's conjecture is a tensor whose real rank and real symmetric rank differ. Previously, only one real counterexample was known. We divide the construction into three steps. The first step involves…
Hankel tensors are generalizations of Hankel matrices. This article studies the relations among various ranks of Hankel tensors. We give an algorithm that can compute the Vandermonde ranks and decompositions for all Hankel tensors. For a generic $n$-dimensional Hankel tensor of even order or order three, we prove that the the cp rank, symmetric rank, border rank, symmetric border rank, and Vandermonde rank all coincide with each other. In particular, this implies that the Comon's conjecture is true for generic Hankel tensors when the order is even or three. Some open questions are also posed.
We prove (without exceptions) the existence of irredundant tensor decompositions with the number of addenda equal to rank $+1$. We also discuss the existence of decompositions with more than the tensor rank terms, which are concise, while the original tensor is not concise.
Shitov recently gave a counterexample to Comon's conjecture that the symmetric tensor rank and tensor rank of a symmetric tensor are the same. In this paper we show that an analog of Comon's conjecture for the G-stable rank introduced by Derksen is true: the symmetric G-stable rank and G-stable rank of a symmetric tensor are the same. We also show that the log-canonical threshold of a singularity is bounded by the G-stable rank of the defining ideal.
This work addresses the problem of identifiability, that is, the question of whether parameters can be recovered from data, for linear compartmental models. Using standard differential algebra techniques, the question of whether a given model is generically locally identifiable is equivalent to asking whether the Jacobian matrix of a certain coefficient map, arising from input-output equations, is generically full rank. A natural next step is to study the set of parameter values where the Jacobian matrix drops in rank, which we refer to as the locus of non-identifiable parameter values, or, fo…
These lecture notes are intended as an introduction to several notions of tensor rank and their connections to the asymptotic complexity of matrix multiplication. The latter is studied with the exponent of matrix multiplication, which will be expressed in terms of tensor (border) rank, (border) symmetric rank and the asymptotic rank of certain tensors. We introduce the multilinear rank of a tensor as well, deal with the concept of tensor equivalence and study prehomogeneous vector spaces with the castling transform. Moreover, we treat Apolarity Theory and use it to determine the symmetric rank…
It is shown that the relative distance in Frobenius norm of a real symmetric order-$d$ tensor of rank two to its best rank-one approximation is upper bounded by $\sqrt{1-(1-1/d)^{d-1}}$. This is achieved by determining the minimal possible ratio between spectral and Frobenius norm for symmetric tensors of border rank two, which equals $\left(1-{1}/{d}\right)^{(d-1)/{2}}$. These bounds are also verified for arbitrary real rank-two tensors by reducing to the symmetric case.
We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank-one tensors, finding application in statistics.
It has recently been shown that the tensor rank can be strictly submultiplicative under the tensor product, where the tensor product of two tensors is a tensor whose order is the sum of the orders of the two factors. The necessary upper bounds were obtained with help of border rank. It was left open whether border rank itself can be strictly submultiplicative. We answer this question in the affirmative. In order to do so, we construct lines in projective space along which the border rank drops multiple times and use this result in conjunction with a previous construction for a tensor rank drop…
Given a tensor $f$ in a Euclidean tensor space, we are interested in the critical points of the distance function from $f$ to the set of tensors of rank at most $k$, which we call the critical rank-at-most-$k$ tensors for $f$. When $f$ is a matrix, the critical rank-one matrices for $f$ correspond to the singular pairs of $f$. The critical rank-one tensors for $f$ lie in a linear subspace $H_f$, the critical space of $f$. Our main result is that, for any $k$, the critical rank-at-most-$k$ tensors for a sufficiently general $f$ also lie in the critical space $H_f$. This is the part of Eckart-Yo…
Laboratoire I3S, CNRS and the University of Nice, Sophia-Antipolis(I3S实验室,法国国家科学研究中心和尼斯大学);Department of Computer Science and the Institute for Computational and Mathematical Engineering, Stanford University(计算机科学系和计算与数学工程研究所,斯坦福大学);Projet GALAAD, INRIA(GALAAD项目,法国国家信息与自动化研究所)
We introduce the $G$-stable rank of a higher order tensors over perfect fields. The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.