Algebraic geometry for tensor networks, matrix multiplication, and flag matroids

This thesis is divided into two parts, each part exploring a different topic within the general area of nonlinear algebra. In the first part, we study several applications of tensors. First, we study tensor networks, and more specifically: uniform matrix product states. We use methods from nonlinear algebra and algebraic geometry to answer questions about topology, defining equations, and identifiability of uniform matrix product states. By an interplay of theorems from algebra, geometry, and quantum physics we answer several questions and conjectures posed by Critch, Morton and Hackbusch. In addition, we prove a tensor version of the so-called quantum Wielandt inequality, solving an open problem regarding the higher-dimensional version of matrix product states. Second, we present new contributions to the study of fast matrix multiplication. Motivated by the symmetric version of matrix multiplication we study the plethysm S^k(sl_n) of the adjoint representation sl_n of the Lie group SL_n . Moreover, we discuss two algebraic approaches for constructing new tensors which could potentially be used to prove new upper bounds on the complexity of matrix multiplication. One approach is based on the highest weight vectors of the aforementioned plethysm. The other approach uses smoothable finite-dimensional algebras. Finally, we study the Hessian discriminant of a cubic surface, a recently introduced invariant defined in terms of the Waring rank. We express the Hessian discriminant in terms of fundamental invariants. This answers Question 15 of the 27 questions on the cubic surface posed by Bernd Sturmfels. In the second part of this thesis, we apply algebro-geometric methods to study matroids and flag matroids. We review a geometric interpretation of the Tutte polynomial in terms of the equivariant K-theory of the Grassmannian. By generalizing Grassmannians to partial flag varieties, we obtain a new invariant of flag matroids: the flag-geometric Tutte polynomial. We study this invariant in detail, and prove several interesting combinatorial properties

Sparse tensor discretizations of high-dimensional parametric and stochastic PDEs

Partial differential equations (PDEs) with random input data, such as random loadings and coefficients, are reformulated as parametric, deterministic PDEs on parameter spaces of high, possibly infinite dimension. Tensorized operator equations for spatial and temporal k-point correlation functions of their random solutions are derived. Parametric, deterministic PDEs for the laws of the random solutions are derived. Representations of the random solutions' laws on infinite-dimensional parameter spaces in terms of ‘generalized polynomial chaos' (GPC) series are established. Recent results on the regularity of solutions of these parametric PDEs are presented. Convergence rates of best N-term approximations, for adaptive stochastic Galerkin and collocation discretizations of the parametric, deterministic PDEs, are established. Sparse tensor products of hierarchical (multi-level) discretizations in physical space (and time), and GPC expansions in parameter space, are shown to converge at rates which are independent of the dimension of the parameter space. A convergence analysis of multi-level Monte Carlo (MLMC) discretizations of PDEs with random coefficients is presented. Sufficient conditions on the random inputs for superiority of sparse tensor discretizations over MLMC discretizations are established for linear elliptic, parabolic and hyperbolic PDEs with random coefficient

Decompositions of powers of quadratic forms

We analyze the Waring decompositions of the powers of any quadratic form over the field of complex numbers. Our main objective is to provide detailed information about their rank and border rank. These forms are of significant importance because of the classical decomposition expressing the space of polynomials of a fixed degree as a direct sum of the spaces of harmonic polynomials multiplied by a power of the quadratic form. Using the fact that the spaces of harmonic polynomials are irreducible representations of the special orthogonal group over the field of complex numbers, we show that the apolar ideal of the s-th power of a non-degenerate quadratic form in n variables is generated by the set of harmonic polynomials of degree s+1. We also generalize and improve upon some of the results about real decompositions, provided by B. Reznick in his notes from 1992, focusing on possibly minimal decompositions and providing new ones, both real and complex. We investigate the rank of the second power of a non-degenerate quadratic form in n variables, which is equal to (n^2+n+2)/2 in most cases. We also study the border rank of any power of an arbitrary ternary non-degenerate quadratic form, which we determine explicitly using techniques of apolarity and a specific subscheme contained in its apolar ideal. Based on results about smoothability, we prove that the smoothable rank of the s-th power of such form corresponds exactly to its border rank and to the rank of its middle catalecticant matrix, which is equal to (s+1)(s+2)/2