Catalecticant intersections and confinement of decompositions of forms (Q820956): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(7 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jsc.2020.07.003 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: Macaulay2 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Bertini / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3041133942 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1911.07769 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Waring decompositions and identifiability via Bertini and Macaulay2 software / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real identifiability vs. complex identifiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the identifiability of ternary forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the number of Waring decompositions for a generic polynomial vector / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective criterion for the additive decompositions of forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grassmann secants, identifiability, and linear systems of tensors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3514371 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special effect varieties in higher dimension / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly defective varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON THE CONCEPT OF k-SECANT ORDER OF A VARIETY / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Generic Identifiability of 3-Tensors of Small Rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algorithm For Generic and Low-Rank Specific Identifiability of Complex Tensors / rank
 
Normal rank
Property / cites work
 
Property / cites work: On generic identifiability of symmetric tensors of subgeneric rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4408040 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the classification of OADP varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3313974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy techniques for tensor decomposition and perfect identifiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3096060 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective identifiability criteria for tensors and polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties \(n\)-covered by curves of degree \(\delta\) / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JSC.2020.07.003 / rank
 
Normal rank

Latest revision as of 04:06, 10 December 2024

scientific article
Language Label Description Also known as
English
Catalecticant intersections and confinement of decompositions of forms
scientific article

    Statements

    Catalecticant intersections and confinement of decompositions of forms (English)
    0 references
    0 references
    0 references
    0 references
    29 September 2021
    0 references
    The authors propose a new method for finding the possible decompositions of a tensor, based on the notion of confinement and on catalecticant maps. The possible decompositions of tensors of sub-generic rank lie into special sub-varieties, called contact loci, of the variety \(X\) of rank-\(1\) tensors. However, for tensors of generic rank, such sub-varieties are meaningless and new methods are needed. For a symmetric tensor \(f \in \mathrm{Sym}^d\mathbb C^{n+1}\), the image of the catalecticant map \(C_f: \mathrm{Sym}^{h}(\mathbb C^{n+1})^\vee \rightarrow \mathrm{Sym}^{d-h}\mathbb C^{n+1}\) lies into the span \(\Lambda\) of the \((d-h)\)-th powers of linear forms in which \(f\) decomposes, thus the sub-variety confining the possible decompositions of \(f\) is the intersection \(Y:=\Lambda \cap X^n_{d-h}\) of \(\Lambda\) with the \((d-h)\)-th Veronese variety \(X^n_{d-h}\). The authors extend the catalecticant method and apply it to study the simultaneous Waring decompositions of a given number of forms, or equivalently the decompositions of vectors of forms. The main working setting is the so-called perfect case: given \(X^n_{a_1,\ldots, a_r}=\{(l^{a_1}, \ldots , l^{a_r}) \ | \ l \in \mathbb P^n\}\) the variety of rank-\(1\) polynomial vectors in \(\mathbb P(\mathrm{Sym}^{a_1}\mathbb C^{n+1} \oplus \ldots \oplus \mathrm{Sym}^{a_r}\mathbb C^{n+1})\simeq \mathbb P^{N-1}\), \(f\) is assumed to belong to the \(k\)-th secant variety \(S^k(X^n_{a_1, \ldots , a_r})\) of expected dimension \(N=k(\dim X^n_{a_1,\ldots, a_r})+1\). The set of parameters defining the setting is denoted by \((n,r;a_1,\ldots, a_r)\). In Sections \(3\) and \(4\) the authors analyze the perfect case with parameters \((2,3;3,3,3)\): through a catalecticant approach they show that the confinement for a general \(f \in (\mathrm{Sym}^3\mathbb C^3)^{\oplus 3}\) is a sextic elliptic normal curve (Proposition 4.1), and as a consequence such \(f\) admits two simultaneous Waring decompositions with \(k=6\) summands (Theorem 4.4). In Sections \(5\) and \(6\) the case \((2,4;4,4,4,4)\) is studied: the catalecticant approach for a general \(f \in (\mathrm{Sym}^4\mathbb C^3)^{\oplus 4}\) leads to a general threefold section as confinement (Proposition 6.1). As a consequence, it is computationally obtained that a such general \(f\) admits \(18\) simultaneous Waring decompositions with \(k=10\) summands (Theorem* 6.5), but this number is theoretically proved to be just a lower bound (Theorem 6.9).
    0 references
    Waring decomposition
    0 references
    unidentifiable case
    0 references
    elliptic curve
    0 references
    catalecticant map
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references