• Jan. 25, 2019 math.AG, cs.CC
    Young flattenings, introduced by Landsberg and Ottaviani, give determinantal equations for secant varieties and their non-vanishing provides lower bounds for border ranks of tensors and in particular polynomials. We study monomial-optimal shapes for Young flattenings, which exhibit the limits of the Young flattening method. In particular, they provide the best possible lower bound for large classes of monomials including all monomials up to degree 6, monomials in 3 variables, and any power of the product of variables. On the other hand, for degree 7 and higher there are monomials for which no Young flattening can give a lower bound that matches the conjecturally tight upper bound of Landsberg and Teitler.
  • We analyze the vanishing and non-vanishing behavior of the graded Betti numbers for Segre embeddings of products of projective spaces. We give lower bounds for when each of the rows of the Betti table becomes non-zero, and prove that our bounds are tight for Segre embeddings of products of P^1. This generalizes results of Rubei concerning the Green-Lazarsfeld property N_p for Segre embeddings. Our methods combine the Kempf-Weyman geometric technique for computing syzygies, the Ein-Erman-Lazarsfeld approach to proving non-vanishing of Betti numbers, and the theory of algebras with straightening laws.
  • Let T be a general complex tensor of format $(n_1,...,n_d)$. When the fraction $\prod_in_i/[1+\sum_i(n_i-1)]$ is an integer, and a natural inequality (called balancedness) is satisfied, it is expected that T has finitely many minimal decomposition as a sum of decomposable tensors. We show how homotopy techniques allow us to find all the decompositions of T, starting from a given one. Computationally, this gives a guess regarding the total number of such decompositions. This guess matches exactly with all cases previously known, and predicts several unknown cases. Some surprising experiments yielded two new cases of generic identifiability: formats (3,4,5) and (2,2,2,3) which have a unique decomposition as the sum of 6 and 4 decomposable tensors, respectively. We conjecture that these two cases together with the classically known matrix pencils are the only cases where generic identifiability holds, i.e., the only identifiable cases. Building on the computational experiments, we use algebraic geometry to prove these two new cases are indeed generically identifiable.
  • Sept. 20, 2016 math.AG, cs.CV
    Multi-view Geometry is reviewed from an Algebraic Geometry perspective and multi-focal tensors are constructed as equivariant projections of the Grassmannian. A connection to the principal minor assignment problem is made by considering several flatlander cameras. The ideal of the quadrifocal variety is computed up to degree 8 (and partially in degree 9) using the representations of $\operatorname{GL}(3)^{\times 4}$ in the polynomial ring on the space of $3 \times 3 \times 3 \times 3$ tensors. Further representation-theoretic analysis gives a lower bound for the number of minimal generators.
  • We solve the Symmetrized Principal Minor Assignment Problem, that is we show how to determine if for a given vector $v\in \mathbb{C}^{n}$ there is an $n\times n$ matrix that has all $i\times i$ principal minors equal to $v_{i}$. We use a special isomorphism (a non-linear change of coordinates to cycle-sums) that simplifies computation and reveals hidden structure. We use the symmetries that preserve symmetrized principal minors and cycle-sums to treat 3 cases: symmetric, skew-symmetric and general square matrices. We describe the matrices that have such symmetrized principal minors as well as the ideal of relations among symmetrized principal minors / cycle-sums. We also connect the resulting algebraic varieties of symmetrized principal minors to tangential and secant varieties, and Eulerian polynomials.
  • When present, the Cohen-Macaulay property can be useful for finding the minimal defining equations of an algebraic variety. It is conjectured that all secant varieties of Segre products of projective spaces are arithmetically Cohen-Macaulay. A summary of the known cases where the conjecture is true is given. An inductive procedure based on the work of Landsberg and Weyman (LW-lifting) is described and used to obtain resolutions of orbits of secant varieties from those of smaller secant varieties. A new computation of the minimal free resolution of the variety of border rank 4 tensors of format $3 \times 3 \times 4$ is given together with its equivariant presentation. LW-lifting is used to prove several cases where secant varieties are arithmetically Cohen-Macaulay and arithmetically Gorenstein.
  • In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 [Abo-Wan2013], and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.
  • A symmetric tensor of small rank decomposes into a configuration of only few vectors. We study the variety of tensors for which this configuration is a unit norm tight frame.
  • We describe a computational proof that the fifth secant variety of the Segre product of five copies of the projective line is a codimension 2 complete intersection of equations of degree 6 and 16. Our computations rely on pseudo-randomness, and numerical accuracy, so parts of our proof are only valid "with high probability".
  • We briefly review previous work on the invariant theory of 3 x 3 x 3 arrays. We then recall how to generate arrays of arbitrary size m_1 x ... x m_k with hyperdeterminant 0. Our main result is an explicit formula for the 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants of degrees 6, 9 and 12 for the action of the Lie group SL(3,C) x SL(3,C) x SL(3,C). We apply our calculations to Nurmiev's classification of normal forms for 3 x 3 x 3 arrays.
  • We determine the minimal generators of the ideal of the tangential variety of a Segre-Veronese variety, as well as the decomposition into irreducible GL-representations of its homogeneous coordinate ring. In the special case of a Segre variety, our results confirm a conjecture of Landsberg and Weyman.
  • We study the secant line variety of the Segre product of projective spaces using special cumulant coordinates adapted for secant varieties. We show that the secant variety is covered by open normal toric varieties. We prove that in cumulant coordinates its ideal is generated by binomial quadrics. We present new results on the local structure of the secant variety. In particular, we show that it has rational singularities and we give a description of the singular locus. We also classify all secant varieties that are Gorenstein. Moreover, generalizing (Sturmfels and Zwiernik 2012), we obtain analogous results for the tangential variety.
  • A Waring decomposition of a (homogeneous) polynomial f is a minimal sum of powers of linear forms expressing f. Under certain conditions, such a decomposition is unique. We discuss some algorithms to compute the Waring decomposition, which are linked to the equation of certain secant varieties and to eigenvectors of tensors. In particular we explicitly decompose a general cubic polynomial in three variables as the sum of five cubes (Sylvester Pentahedral Theorem).
  • Techniques from representation theory, symbolic computational algebra, and numerical algebraic geometry are used to find the minimal generators of the ideal of the trifocal variety. An effective test for determining whether a given tensor is a trifocal tensor is also given.
  • The hyperdeterminant of a polynomial (interpreted as a symmetric tensor) factors into several irreducible factors with multiplicities. Using geometric techniques these factors are identified along with their degrees and their multiplicities. The analogous decomposition for the \mu-discriminant of polynomial is found.
  • 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 $\sigma_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{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 $\sigma_{4}(\mathbb{P}^{3}\times \mathbb{P} ^{3} \times \mathbb{P} ^{3})$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.
  • The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials constructed from Cayley's $2 \times 2 \times 2$ hyperdeterminant and show that it cuts out $Z_{n}$ set-theoretically. This solves the set-theoretic version of a conjecture of Holtz and Sturmfels. Standard techniques from representation theory and geometry are explored and developed for the proof of the conjecture and may be of use for studying similar $G$-varieties.
  • We describe the defining ideal of the rth secant variety of P^2 x P^n embedded by O(1,2), for arbitrary n and r at most 5. We also present the Schur module decomposition of the space of generators of each such ideal. Our main results are based on a more general construction for producing explicit matrix equations that vanish on secant varieties of products of projective spaces. This extends previous work of Strassen and Ottaviani.
  • We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessary and sufficient conditions for the case of the Grassmanian of symplectic isotropic lines. For the general case the generalization of Ottaviani's conditions are sufficient for vector bundles over the symplectic isotropic Grassmannian. By a calculation in the program LiE, we find that Ottaviani's conditions are necessary for Lagrangian Grassmannian of isotropic $k$-planes for $k\leq 6$, but they fail to be necessary for the case of the Lagrangian Grassmannian of isotropic 7-planes. Finally, we find a related set of necessary and sufficient splitting criteria for the Lagrangian Grassmannian.
  • We prove a set-theoretic version of the Landsberg--Weyman Conjecture on the defining equations of the tangential variety of a Segre product of projective spaces. We introduce and study the concept of exclusive rank. For the proof of this conjecture we use a connection to the author's previous work \cite{oeding_pm_paper, oeding_thesis} and re-express the tangential variety as the variety of principal minors of symmetric matrices that have exclusive rank no more than one.
  • This is a technical report on the proceedings of the workshop held July 21 to July 25, 2008 at the American Institute of Mathematics, Palo Alto, California, organized by Joseph Landsberg, Lek-Heng Lim, Jason Morton, and Jerzy Weyman. We include a list of open problems coming from applications in 4 different areas: signal processing, the Mulmuley-Sohoni approach to P vs. NP, matchgates and holographic algorithms, and entanglement and quantum information theory. We emphasize the interactions between geometry and representation theory and these applied areas.