The monic rank
HTML articles powered by AMS MathViewer
- by Arthur Bik, Jan Draisma, Alessandro Oneto and Emanuele Ventura;
- Math. Comp. 89 (2020), 2481-2505
- DOI: https://doi.org/10.1090/mcom/3512
- Published electronically: February 20, 2020
- HTML | PDF | Request permission
Abstract:
We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an algorithmic technique based on classical invariant theory to determine, in concrete situations, the maximal monic rank. Using this technique, we establish three new instances of a conjecture due to B. Shapiro which states that a binary form of degree $d\cdot e$ is the sum of $d$ $d$th powers of forms of degree $e$. Furthermore, in the case where $X$ is the cone of highest weight vectors in an irreducible representation—this includes the well-known cases of tensor rank and symmetric rank—we raise the question whether the maximal rank equals the maximal monic rank. We answer this question affirmatively in several instances.References
- J. Alexander and A. Hirschowitz, Polynomial interpolation in several variables, J. Algebraic Geom. 4 (1995), no. 2, 201–222. MR 1311347
- Karin Baur and Jan Draisma, Higher secant varieties of the minimal adjoint orbit, J. Algebra 280 (2004), no. 2, 743–761. MR 2090062, DOI 10.1016/j.jalgebra.2004.06.009
- A. Bernardi, E. Carlini, M. Catalisano, A. Gimigliano, and A. Oneto, The hitchhiker guide to: secant varieties and tensor decomposition, Mathematics 6 (2018), no. 12, 314.
- Alessandra Bernardi, Alessandro Gimigliano, and Monica Idà, Computing symmetric rank for symmetric tensors, J. Symbolic Comput. 46 (2011), no. 1, 34–53. MR 2736357, DOI 10.1016/j.jsc.2010.08.001
- Grigoriy Blekherman and Zach Teitler, On maximum, typical and generic ranks, Math. Ann. 362 (2015), no. 3-4, 1021–1031. MR 3368091, DOI 10.1007/s00208-014-1150-3
- Jarosław Buczyński and Zach Teitler, Some examples of forms of high rank, Collect. Math. 67 (2016), no. 3, 431–441. MR 3536055, DOI 10.1007/s13348-015-0152-0
- Enrico Carlini, Nathan Grieve, and Luke Oeding, Four lectures on secant varieties, Connections between algebra, combinatorics, and geometry, Springer Proc. Math. Stat., vol. 76, Springer, New York, 2014, pp. 101–146. MR 3213518, DOI 10.1007/978-1-4939-0626-0_{2}
- Gonzalo Comas and Malena Seiguer, On the rank of a binary form, Found. Comput. Math. 11 (2011), no. 1, 65–78. MR 2754189, DOI 10.1007/s10208-010-9077-x
- Alessandro De Paris, Every ternary quintic is a sum of ten fifth powers, Internat. J. Algebra Comput. 25 (2015), no. 4, 607–631. MR 3349108, DOI 10.1142/S0218196715500125
- Alessandro De Paris, A proof that the maximum rank for ternary quartics is seven, Matematiche (Catania) 70 (2015), no. 2, 3–18. MR 3437175, DOI 10.4418/2015.70.2.1
- Harm Derksen and Gregor Kemper, Computational invariant theory, Second enlarged edition, Encyclopaedia of Mathematical Sciences, vol. 130, Springer, Heidelberg, 2015. With two appendices by Vladimir L. Popov, and an addendum by Norbert A’Campo and Popov; Invariant Theory and Algebraic Transformation Groups, VIII. MR 3445218, DOI 10.1007/978-3-662-48422-7
- Ralf Fröberg, Giorgio Ottaviani, and Boris Shapiro, On the Waring problem for polynomial rings, Proc. Natl. Acad. Sci. USA 109 (2012), no. 15, 5600–5602. MR 2935563, DOI 10.1073/pnas.1120984109
- 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
- Joachim Jelisiejew, An upper bound for the Waring rank of a form, Arch. Math. (Basel) 102 (2014), no. 4, 329–336. MR 3196960, DOI 10.1007/s00013-014-0632-6
- Johannes Kleppe, Representing a homogenous polynomial as a sum of powers of linear forms, Master’s thesis, University of Oslo, 1999.
- J. M. Landsberg, Tensors: geometry and applications, Graduate Studies in Mathematics, vol. 128, American Mathematical Society, Providence, RI, 2012. MR 2865915, DOI 10.1090/gsm/128
- J. M. Landsberg and Zach Teitler, On the ranks and border ranks of symmetric tensors, Found. Comput. Math. 10 (2010), no. 3, 339–366. MR 2628829, DOI 10.1007/s10208-009-9055-3
- Samuel Lundqvist, Alessandro Oneto, Bruce Reznick, and Boris Shapiro, On generic and maximal $k$-ranks of binary forms, J. Pure Appl. Algebra 223 (2019), no. 5, 2062–2079. MR 3906540, DOI 10.1016/j.jpaa.2018.08.015
- Bruce Reznick, On the length of binary forms, Quadratic and higher degree forms, Dev. Math., vol. 31, Springer, New York, 2013, pp. 207–232. MR 3156559, DOI 10.1007/978-1-4614-7488-3_{8}
- B. Segre, The Non-singular Cubic Surfaces, Oxford University Press, Oxford, 1942. MR 8171
Bibliographic Information
- Arthur Bik
- Affiliation: Mathematical Institute, University of Bern, Alpeneggstrasse 22, 3012 Bern, Switzerland
- MR Author ID: 1297289
- Email: arthur.bik@math.unibe.ch
- Jan Draisma
- Affiliation: Mathematical Institute, University of Bern, Sidlerstrasse 5, 3012 Bern, Switzerland; and Eindhoven University of Technology, 5612 Eindhoven, Netherlands
- MR Author ID: 683807
- ORCID: 0000-0001-7248-8250
- Email: jan.draisma@math.unibe.ch
- Alessandro Oneto
- Affiliation: Fakultät für Mathematik, Otto-von-Guericke-Universität Magdeburg, Universitätsplatz 2, 39106 Magdeburg, Germany
- MR Author ID: 1087088
- ORCID: 0000-0002-8142-6382
- Email: aless.oneto@gmail.com, alessandro.oneto@ovgu.de
- Emanuele Ventura
- Affiliation: Department of Mathematics, Texas A&M University, College Station, Texas 77843-3368
- Address at time of publication: Mathematical Institute, University of Bern, Alpeneggstrasse 22, 3012 Bern, Switzerland
- Email: eventura@math.tamu.edu, emanueleventura.sw@gmail.com
- Received by editor(s): January 31, 2019
- Received by editor(s) in revised form: November 11, 2019
- Published electronically: February 20, 2020
- Additional Notes: The first author was supported by the second author’s Vici grant.
The second author was partially supported by the NWO Vici grant entitled Stabilisation in Algebra and Geometry.
The third author acknowledges financial support from the Spanish Ministry of Economy and Competitiveness, through the María de Maeztu Programme for Units of Excellence in R$\&$D (MDM-2014-0445).
The fourth author acknowledges financial support by the grant 346300 for IMPAN from the Simons Foundation and the matching 2015-2019 Polish MNiSW fund. - © Copyright 2020 American Mathematical Society
- Journal: Math. Comp. 89 (2020), 2481-2505
- MSC (2010): Primary 15A21, 14R20, 13P10
- DOI: https://doi.org/10.1090/mcom/3512
- MathSciNet review: 4109574