We use the correspondence between iterated multiplication tensors of Gorenstein algebras and homogeneous polynomials of minimal smoothable rank to classify polynomials of minimal border rank of sufficiently high degree in up to 7 variables.
The signature of a path is a sequence of tensors whose entries are iterated integrals, playing a key role in stochastic analysis and applications. The set of all signature tensors at a particular level gives rise to the universal signature variety. We show that the parametrization of this variety induces a natural decomposition of the tensor space via representation theory, and connect this to the study of path invariants. We also examine the question of determining what is the tensor rank of a signature tensor.
We prove that the infinite half-spin representations are topologically Noetherian with respect to the infinite spin group. As a consequence we obtain that half-spin varieties, which we introduce, are defined by the pullback of equations at a finite level. The main example for such varieties is the infinite isotropic Grassmannian in its spinor embedding, for which we explicitly determine its defining equations.
The isotropic Grassmannian parametrizes isotropic subspaces of a vector space equipped with a quadratic form. In this paper, we show that any maximal isotropic Grassmannian in its Plücker embedding can be defined by pulling back the equations of Griso(3,7) or Griso(4,8).
A function f:ℤ→ℚ n is a c-quasihomomorphism if the Hamming distance between f(x+y) and f(x)+f(y) is at most c for all x,y∈ℤ. We show that any c-quasihomomorphism has distance at most some constant C(c) to an actual group homomorphism; here C(c) depends only on c and not on n or f. This gives a positive answer to a special case of a question posed by Kazhdan and Ziegler.
We establish connections between: the maximum likelihood degree (ML-degree) for linear concentration models, the algebraic degree of semidefinite programming (SDP), and Schubert calculus for complete quadrics. We prove a conjecture by Sturmfels and Uhler on the polynomiality of the ML-degree. We also prove a conjecture by Nie, Ranestad and Sturmfels providing an explicit formula for the degree of SDP. The interactions between the three fields shed new light on the asymptotic behaviour of enumerative invariants for the variety of complete quadrics. We also extend these results to spaces of general matrices and of skew-symmetric matrices.
We apply methods from algebraic geometry to study uniform matrix product states. Our main results concern the topology of the locus of tensors expressed as uMPS, their defining equations and identifiability. By an interplay of theorems from algebra, geometry and quantum physics we answer several questions and conjectures posed by Critch, Morton and Hackbusch.
A function $f$ from $\mathbb{Z}$ to the symmetric matrices over an arbitrary field $K$ of characteristic $0$ is a $1$-quasihomomorphism if the matrix $f(x+y) - f(x) - f(y)$ has rank at most $1$ for all $x,y \in \mathbb{Z}$. We show that any such $1$-quasihomomorphism has distance at most $2$ from an actual group homomorphism. This gives a positive answer to a special case of a problem posed by Kazhdan and Ziegler.
Matrix product states play an important role in quantum information theory to represent states of many-body systems. They can be seen as low-dimensional subvarieties of a high-dimensional tensor space. In these notes, we consider two variants: homogeneous matrix product states and uniform matrix product states. Studying the linear spans of these varieties leads to a natural connection with invariant theory of matrices. For homogeneous matrix product states, a classical result on polynomial identities of matrices leads to a formula for the dimension of the linear span, in the case of 2x2 matrices. These notes are based partially on a talk given by the author at the University of Warsaw during the thematic semester "AGATES: Algebraic Geometry with Applications to TEnsors and Secants", and partially on further research done during the semester. This is still a preliminary version; an updated version will be uploaded over the course of 2023.
We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $\omega$. We also explain how in certain monomial cases using the laser method directly is less profitable than first degenerating. Our results form possible paths in the search for valuable tensors for the laser method away from Coppersmith-Winograd tensors.
Matroids are ubiquitous in modern combinatorics. As discovered by Gelfand, Goresky, MacPherson and Serganova there is a beautiful connection between matroid theory and the geometry of Grassmannians: realizable matroids correspond to torus orbits in Grassmannians. Further, as observed by Fink and Speyer general matroids correspond to classes in the $K$-theory of Grassmannians. This yields in particular a geometric description of the Tutte polynomial. In this review we describe all these constructions in detail, and moreover we generalise some of them to polymatroids. More precisely, we study the class of flag matroids and their relations to flag varieties. In this way, we obtain an analogue of the Tutte polynomial for flag matroids.
Elina Robeva discovered quadratic equations satisfied by orthogonally decomposable ("odeco") tensors. Boralevi-Draisma-Horobe\c{t}-Robeva then proved that, over the real numbers, these equations characterise odeco tensors. This raises the question to what extent they also characterise the Zariski-closure of the set of odeco tensors over the complex numbers. In the current paper we restrict ourselves to symmetric tensors of order three, i.e., of format $n \times n \times n$. By providing an explicit counterexample to one of Robeva's conjectures, we show that for $n \geq 12$, these equations do not suffice. Furthermore, in the open subset where the linear span of the slices of the tensor contains an invertible matrix, we show that Robeva's equations cut out the limits of odeco tensors for dimension $n \leq 13$, and not for $n \geq 14$ on. To this end, we show that Robeva's equations essentially capture the Gorenstein locus in the Hilbert scheme of $n$ points and we use work by Casnati-Jelisiejew-Notari on the (ir)reducibility of this locus.
The variety of uniform matrix product states arises both in algebraic geometry as a natural generalization of the Veronese variety, and in quantum many-body physics as a model for a translation-invariant system of sites placed on a ring. Using methods from linear algebra, representation theory, and invariant theory of matrices, we study the linear span of this variety.
We generalize the Tutte polynomial of a matroid to a morphism of matroids via the K-theory of flag varieties. We introduce two different generalizations, and demonstrate that each has its own merits, where the trade-off is between the ease of combinatorics and geometry. One generalization recovers the Las Vergnas Tutte polynomial of a morphism of matroids, which admits a corank-nullity formula and a deletion-contraction recursion. The other generalization does not, but better reflects the geometry of flag varieties.
Recently, we have witnessed tremendous applications of algebraic intersection theory to branches of mathematics, that previously seemed very distant. In this article we review some of them. Our aim is to provide a unified approach to the results e.g. in the theory of chromatic polynomials (work of Adiprasito, Huh, Katz), maximum likelihood degree in algebraic statistics (Drton, Manivel, Monin, Sturmfels, Uhler, Wi\'sniewski), Euler characteristics of determinental varieties (Dimca, Papadima), characteristic numbers (Aluffi, Schubert, Vakil) and the degree of semidefinite programming (Bothmer, Nie, Ranestad, Sturmfels). Our main tools come from intersection theory on special varieties called the varieties of complete forms (De Concini, Procesi, Thaddeus) and the study of Segre classes (Laksov, Lascoux, Pragacz, Thorup).
We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^r\chi_M( \textstyle\frac{1}{2})$, where $\chi_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration models, positively answering a question of Sturmfels, Timme, and Zwiernik.
We express the Hessian discriminant of a cubic surface in terms of fundamental invariants. This answers Question 15 from the \emph{27 questions on the cubic surface}. We also explain how to compute the fundamental invariants for smooth cubics of rank 6.
We prove boundedness results for the injectivity regions for projected entangled pair states. Our result is a higher-dimensional generalization of the quantum Wielandt inequality.
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 SLn. In particular, we describe the decomposition of this representation into irreducible components for k = 3, and find highest-weight vectors for all irreducible components. Relations to fast matrix multiplication, in particular the Coppersmith-Winograd tensor, are presented. (c) 2017 Academie des sciences. Published by Elsevier Masson SAS. All rights reserved.