
Young flattenings, introduced by Landsberg and Ottaviani, give determinantal
equations for secant varieties and their nonvanishing provides lower bounds
for border ranks of tensors and in particular polynomials. We study
monomialoptimal 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 nonvanishing 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 nonzero, and prove
that our bounds are tight for Segre embeddings of products of P^1. This
generalizes results of Rubei concerning the GreenLazarsfeld property N_p for
Segre embeddings. Our methods combine the KempfWeyman geometric technique for
computing syzygies, the EinErmanLazarsfeld approach to proving nonvanishing
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_i1)]$ 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.

Multiview Geometry is reviewed from an Algebraic Geometry perspective and
multifocal 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 representationtheoretic 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 nonlinear change of coordinates to cyclesums)
that simplifies computation and reveals hidden structure. We use the symmetries
that preserve symmetrized principal minors and cyclesums to treat 3 cases:
symmetric, skewsymmetric 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 / cyclesums. We also connect the resulting
algebraic varieties of symmetrized principal minors to tangential and secant
varieties, and Eulerian polynomials.

When present, the CohenMacaulay 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
CohenMacaulay. A summary of the known cases where the conjecture is true is
given. An inductive procedure based on the work of Landsberg and Weyman
(LWlifting) 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.
LWlifting is used to prove several cases where secant varieties are
arithmetically CohenMacaulay and arithmetically Gorenstein.

In 2013, Abo and Wan studied the analogue of Waring's problem for systems of
skewsymmetric forms and identified several defective systems. Of particular
interest is when a certain secant variety of a SegreGrassmann 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 representationtheoretic descriptions of their
equations are given. We answer Problem 6.5 [AboWan2013], 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 nonnumerical 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
pseudorandomness, 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 SegreVeronese variety, as well as the decomposition into irreducible
GLrepresentations 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 \mudiscriminant 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 settheoretic 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 idealtheoretic 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}$ settheoretically. This solves the
settheoretic 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 7planes. Finally, we find a
related set of necessary and sufficient splitting criteria for the Lagrangian
Grassmannian.

We prove a settheoretic version of the LandsbergWeyman 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 reexpress 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, LekHeng Lim, Jason Morton, and Jerzy Weyman. We
include a list of open problems coming from applications in 4 different areas:
signal processing, the MulmuleySohoni 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.