arXiv subjects

Luke Oeding

Publications and source records attributed to Luke Oeding.

33 records · Page 2Linked to original sources

arXiv2015

Computations and Equations for Segre-Grassmann hypersurfaces

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.

math.AG↗

arXiv2015

Decomposing Tensors into Frames

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.

math.AG↗

arXiv2015

Equations for the fifth secant variety of Segre products of projective spaces

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".

math.AG↗

arXiv2014

The 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants for SL(3,C) x SL(3,C) x SL(3,C)

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.

math.AG↗

arXiv2013

Tangential varieties of Segre-Veronese varieties

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.

math.AG↗

arXiv2013

Secant cumulants and toric geometry

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.

math.AG↗

arXiv2012

Eigenvectors of tensors and algorithms for Waring decomposition

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).

math.AG↗

arXiv2012

The ideal of the trifocal variety

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.

math.AG↗

arXiv2012

Hyperdeterminants of Polynomials

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 μ-discriminant of polynomial is found.

math.AG↗

arXiv2011

Toward a salmon conjecture

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 $σ_{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 $σ_{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.

math.AG↗

arXiv2010

Set Theoretic Defining Equations of the Variety of Principal Minors of Symmetric Matrices

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.

math.AG↗

arXiv2010

Secant varieties of P^2 x P^n embedded by O(1,2)

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.

math.AG↗

arXiv2010

Splitting criteria for vector bundles on the symplectic isotropic Grassmannian

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.

math.AG↗

arXiv2009

Set-theoretic defining equations of the tangential variety of the Segre variety

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.

math.AG↗

arXiv2008

Report on "Geometry and representation theory of tensors for computer science, statistics and other areas."

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.

math.AG↗