Toward a salmon conjecture

DOI10.1080/10586458.2011.576539MaRDI QIDQ4915397zbMATH OpenOpenAlexWikidataFDO

Authors Daniel J. Bates, Luke Oeding

Publication date 10 April 2013

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.6181, https://projecteuclid.org/euclid.em/1317924426

zbMATH Keywords

border ranknumerical algebraic geometryrepresentation theorysecant varietiesSegre embedding

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Group actions on varieties or schemes (quotients) (14L30) Determinantal varieties (14M12) Computational aspects in algebraic geometry (14Q99) Multilinear algebra, tensor calculus (15A69) Vector and tensor algebra, theory of invariants (15A72) Representation theory for linear algebraic groups (20G05) Numerical computation of solutions to systems of equations (65H10) Symbolic computation and algebraic computation (68W30)

Abstract: By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $sigm{a}_4(mathbb{P}^{2}imesmathbb{P}^{2}imesmathbb{P}^3)$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $sigm{a}_4(mathbb{P}^{3}imesmathbb{P}^{3}imesmathbb{P}^3)$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.

Recommendations

• A proof of the set-theoretic version of the salmon conjecture
• Induction for secant varieties of Segre varieties
• On the ideals and singularities of secant varieties of Segre varieties
• On the third secant variety
• Set-theoretic defining equations of the tangential variety of the Segre variety

Cites work

• A proof of the set-theoretic version of the salmon conjecture
• Adaptive Multiprecision Path Tracking
• Algorithm 795
• Equations for secant varieties of Veronese and other varieties
• Generalizations of Strassen's Equations for Secant Varieties of Segre Varieties
• Geometry and the complexity of matrix multiplication
• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• Induction for secant varieties of Segre varieties
• On the ideals and singularities of secant varieties of Segre varieties
• On the ideals of secant varieties of Segre varieties
• On the ideals of secant varieties to certain rational varieties
• Phylogenetic ideals and varieties for the general Markov model
• Phylogenetic invariants for the general Markov model of sequence mutation
• Prolongations and Computational Algebra
• Rank and optimal computation of generic tensors
• Regeneration homotopies for solving systems of polynomials
• Set-theoretic defining equations of the tangential variety of the Segre variety

Cited in

(19)

• Developing a statistically powerful measure for quartet tree inference using phylogenetic identities and Markov invariants
• Tensor decomposition and homotopy continuation
• Noetherian operators and primary decomposition
• Equations for GL invariant families of polynomials
• Ranks and symmetric ranks of cubic surfaces
• Homotopy techniques for tensor decomposition and perfect identifiability
• Finiteness results for abelian tree models
• Local equations for equivariant evolutionary models
• Abelian tensors
• The saga of a fish: from a survival guide to closing lemmas
• Bounded-rank tensors are defined in bounded degree
• Equations for the fifth secant variety of Segre products of projective spaces
• The quadrifocal variety
• Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme
• Equations for lower bounds on border rank
• Concise tensors of minimal border rank
• Regenerative cascade homotopies for solving polynomial systems
• Computing implicitizations of multi-graded polynomial maps
• A proof of the set-theoretic version of the salmon conjecture

Describes a project that uses

Uses Software

• HOM4PS
• Bertini
• SINGULAR
• PHCpack
• LiE

This page was built for publication: Toward a salmon conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4915397)