Minimality and uniqueness for decompositions of specific ternary forms

Angelini, Elena; Chiantini, Luca

doi:10.1090/mcom/3681

Minimality and uniqueness for decompositions of specific ternary forms
HTML articles powered by AMS MathViewer

by Elena Angelini and Luca Chiantini HTML | PDF

Math. Comp. 91 (2022), 973-1006 Request permission

Abstract:

The paper deals with the computation of the rank and the identifiability of a specific ternary form. Often, one knows some short Waring decomposition of a given form, and the problem is to determine whether the decomposition is minimal and unique. We show how the analysis of the Hilbert-Burch matrix of the set of points representing the decomposition can solve this problem in the case of ternary forms. Moreover, when the decomposition is not unique, we show how the procedure of liaison can provide alternative, maybe shorter, decompositions. We give an explicit algorithm that tests our criterion of minimality for the case of ternary forms of degree $9$. This is the first numerical case in which a new phenomenon appears: the span of $18$ general powers of linear forms contains points of (subgeneric) rank $18$, but it also contains points whose rank is $17$, due to the existence of a second shorter decomposition which is completely different from the given one.

References

J. Alexander and A. Hirschowitz, Polynomial interpolation in several variables, J. Algebraic Geom. 4 (1995), no. 2, 201–222. MR 1311347
Elizabeth S. Allman, Catherine Matias, and John A. Rhodes, Identifiability of parameters in latent structure models with many observed variables, Ann. Statist. 37 (2009), no. 6A, 3099–3132. MR 2549554, DOI 10.1214/09-AOS689
Animashree Anandkumar, Rong Ge, Daniel Hsu, Sham M. Kakade, and Matus Telgarsky, Tensor decompositions for learning latent variable models, J. Mach. Learn. Res. 15 (2014), 2773–2832. MR 3270750
Elena Angelini and Luca Chiantini, On the identifiability of ternary forms, Linear Algebra Appl. 599 (2020), 36–65. MR 4083806, DOI 10.1016/j.laa.2020.03.042
Elena Angelini, Luca Chiantini, and Nick Vannieuwenhoven, Identifiability beyond Kruskal’s bound for symmetric tensors of degree 4, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29 (2018), no. 3, 465–485. MR 3819100, DOI 10.4171/RLM/817
C. J. Appellof and E. R. Davidson, Strategies for analyzing data from video fluorometric monitoring of liquid chromatographic effluents, Anal. Chem. 53 (1981), 2053–2056.
Edoardo Ballico, An effective criterion for the additive decompositions of forms, Rend. Istit. Mat. Univ. Trieste 51 (2019), 1–12. MR 4048830, DOI 10.13137/2464-8728/27063
Edoardo Ballico and Alessandra Bernardi, Decomposition of homogeneous polynomials with low rank, Math. Z. 271 (2012), no. 3-4, 1141–1149. MR 2945601, DOI 10.1007/s00209-011-0907-6
Edoardo Ballico and Alessandra Bernardi, Unique decomposition for a polynomial of low rank, Ann. Polon. Math. 108 (2013), no. 3, 219–224. MR 3056286, DOI 10.4064/ap108-3-2
Edoardo Ballico and Luca Chiantini, Sets computing the symmetric tensor rank, Mediterr. J. Math. 10 (2013), no. 2, 643–654. MR 3045672, DOI 10.1007/s00009-012-0214-4
Alessandra Bernardi and Daniele Taufer, Waring, tangential and cactus decompositions, J. Math. Pures Appl. (9) 143 (2020), 1–30 (English, with English and French summaries). MR 4163122, DOI 10.1016/j.matpur.2020.07.003
Anna Bigatti, Anthony V. Geramita, and Juan C. Migliore, Geometric consequences of extremal behavior in a theorem of Macaulay, Trans. Amer. Math. Soc. 346 (1994), no. 1, 203–235. MR 1272673, DOI 10.1090/S0002-9947-1994-1272673-7
G. Castelnuovo, Sui multipli di una serie lineare di gruppi di punti appartenente ad una curva algebrica, Rend. Circolo Mat. Palermo 7 (1893), 89–110.
Luca Chiantini, Hilbert functions and tensor analysis, Quantum physics and geometry, Lect. Notes Unione Mat. Ital., vol. 25, Springer, Cham, 2019, pp. 125–151. MR 3890657
Luca Chiantini, Giorgio Ottaviani, and Nick Vannieuwenhoven, Effective criteria for specific identifiability of tensors and forms, SIAM J. Matrix Anal. Appl. 38 (2017), no. 2, 656–681. MR 3666774, DOI 10.1137/16M1090132
Luca Chiantini, Giorgio Ottaviani, and Nick Vannieuwenhoven, On generic identifiability of symmetric tensors of subgeneric rank, Trans. Amer. Math. Soc. 369 (2017), no. 6, 4021–4042. MR 3624400, DOI 10.1090/tran/6762
C. Ciliberto, A. V. Geramita, and F. Orecchia, Remarks on a theorem of Hilbert-Burch, Boll. Un. Mat. Ital. B (7) 2 (1988), no. 3, 463–483 (English, with Italian summary). MR 963313
Edward D. Davis, Hilbert functions and complete intersections, Rend. Sem. Mat. Univ. Politec. Torino 42 (1984), no. 2, 25–28 (1985). MR 812627
Edward D. Davis, Complete intersections of codimension $2$ in $\textbf {P}^r$: the Bezout-Jacobi-Segre theorem revisited, Rend. Sem. Mat. Univ. Politec. Torino 43 (1985), no. 2, 333–353 (1986). MR 859862
Igor Dolgachev, Lectures on invariant theory, London Mathematical Society Lecture Note Series, vol. 296, Cambridge University Press, Cambridge, 2003. MR 2004511, DOI 10.1017/CBO9780511615436
Ignat Domanov and Lieven De Lathauwer, On the uniqueness of the canonical polyadic decomposition of third-order tensors—Part I: Basic results and uniqueness of one factor matrix, SIAM J. Matrix Anal. Appl. 34 (2013), no. 3, 855–875. MR 3072760, DOI 10.1137/120877234
Ignat Domanov and Lieven De Lathauwer, Canonical polyadic decomposition of third-order tensors: relaxed uniqueness conditions and algebraic algorithm, Linear Algebra Appl. 513 (2017), 342–375. MR 3573806, DOI 10.1016/j.laa.2016.10.019
Daniel Ferrand, Courbes gauches et fibrés de rang $2$, C. R. Acad. Sci. Paris Sér. A-B 281 (1975), no. 10, Aii, A345–A347 (French, with English summary). MR 379517
Francesco Galuppi and Massimiliano Mella, Identifiability of homogeneous polynomials and Cremona transformations, J. Reine Angew. Math. 757 (2019), 279–308. MR 4036576, DOI 10.1515/crelle-2017-0043
Anthony V. Geramita, Martin Kreuzer, and Lorenzo Robbiano, Cayley-Bacharach schemes and their canonical modules, Trans. Amer. Math. Soc. 339 (1993), no. 1, 163–189. MR 1102886, DOI 10.1090/S0002-9947-1993-1102886-5
D. Grayson and M. Stillman, Macaulay 2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
Anthony Iarrobino and Vassil Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721, Springer-Verlag, Berlin, 1999. Appendix C by Iarrobino and Steven L. Kleiman. MR 1735271, DOI 10.1007/BFb0093426
Joseph B. Kruskal, Three-way arrays: rank and uniqueness of trilinear decompositions, with application to arithmetic complexity and statistics, Linear Algebra Appl. 18 (1977), no. 2, 95–138. MR 444690, DOI 10.1016/0024-3795(77)90069-6
J. M. Landsberg and Giorgio Ottaviani, Equations for secant varieties of Veronese and other varieties, Ann. Mat. Pura Appl. (4) 192 (2013), no. 4, 569–606. MR 3081636, DOI 10.1007/s10231-011-0238-6
Alex Massarenti, Massimiliano Mella, and Giovanni Staglianò, Effective identifiability criteria for tensors and polynomials, J. Symbolic Comput. 87 (2018), 227–237. MR 3744347, DOI 10.1016/j.jsc.2017.11.006
Juan C. Migliore, Introduction to liaison theory and deficiency modules, Progress in Mathematics, vol. 165, Birkhäuser Boston, Inc., Boston, MA, 1998. MR 1712469, DOI 10.1007/978-1-4612-1794-7
Bernard Mourrain and Alessandro Oneto, On minimal decompositions of low rank symmetric tensors, Linear Algebra Appl. 607 (2020), 347–377. MR 4154967, DOI 10.1016/j.laa.2020.06.029
C. Peskine and L. Szpiro, Liaison des variétés algébriques. I, Invent. Math. 26 (1974), 271–302 (French). MR 364271, DOI 10.1007/BF01425554
W. Rao, D. Li, and J.Q. Zhang, A tensor-based approach to L-shaped arrays processing with enhanced degrees of freedom, IEEE Signal Proc. Lett. 25 (2018), 1–5.