Eigenvectors of Tensors and Waring Decomposition
|
|
- Delilah Russell
- 6 years ago
- Views:
Transcription
1 Eigenvectors of Tensors and Waring Decomposition Luke Oeding University of California Berkeley Oeding, Ottaviani (UCB, Firenze) Giorgio Ottaviani Universita degli Studi di Firenze Waring Decomposition January 16, / 24
2 Polynomial Waring decomposition Let V = C n+1, f S d V homogeneous polynomial. Waring decomposition: f = r i=1 c iv d i, with c i C, and v i V. Goals: Algorithms that quickly decompose low rank forms. (naive algorithms always exist, but are infeasible) Uniform treatment (Eigenvectors and vector bundles). Non-Goal: One algorithm to decompose them all (NP-hard! -[Lim-Hillar 12]). Motivation: CDMA-like communication scheme: Send (the coefficients of) f = r i=1 c iv d Recover v i uniquely. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24 i.
3 Main Results Theorem (O.-Ottaviani 13) Let f S d C n+1, with d = 2m + 1, n + 1 4, and general among forms of rank r. If r ( ) m+n n then the Koszul Flattening Algorithm produces the unique Waring decomposition. We implemented our algorithm in Macaulay2 and you can download it from the ancillary files accompanying the arxiv version of our paper. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
4 Algebraic Geometry helps Engineering: generic rank (/C) Theorem (Campbell 1891, Terracini 1916, Alexander-Hirschowitz 1995) The general f ins d C n+1, d 3 has rank ) ( n+d d n + 1, the generic rank, except 2 n 4, d = 4 generic rank is ( ) n+2 2, (n, d) = (4, 3) generic rank is 8. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
5 Algebraic Geometry helps Engineering: Uniqueness (/C) Theorem (... A-H, 95 ) The general f ins d C n+1 ( n+d, d 3 has the generic rank 2 n 4, d = 4 generic rank is ( ) n+2 2, (n, d) = (4, 3) generic rank is 8. d ) n+1 Theorem (Sylvester 1851, Chiantini-Ciliberto, Mella, Ballico ), except The general f S d C n+1 among the forms of subgeneric rank has a unique decomposition, except 2 n 4, d = 4, r = ( ) n+2 2 1, -ly many decomps. defective (n, d) = (4, 3), r = 7, -ly many decomps. defective rank 9 in S 6 C 3, 2 decomps. weakly defective rank 8 in S 4 C 4, 2 decomps. weakly defective Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
6 Algebraic Geometry helps Engineering: Non-Uniqueness (/C) Expected: If (n+d d ) n+1 is an integer, then uniqueness fails for the general form. Mella showed in 2006 that when d > n this is true. The only known failures are (and we give a uniform proof): S 2m+1 C 2 rank m + 1 Sylvester 1851, S 5 C 3 rank 7 Hilbert-Palatini-Richmond 1902, S 3 C 4 rank 5 Sylvester Pentahedral Theorem. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
7 From equations to decompositions General approach: Find nice (determinantal) equations for secant varieties Get an algorithm for decomposition. A Flattenings / Catalecticants / truncated moment matrices B Koszul Flattenings and eigenvectors of tensors Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
8 Koszul Flattenings: Examples / Overview Equations of secant varieties from Koszul flattenings: Strassen: σ r (P 2 P 2 P 2 ) P ( C 3 C 3 C 3) Toeplitz: σ r (P 2 ν 2 (P 3 )) P ( C 3 S 2 C 4) Aronhold: σ r (ν 3 (P 2 )) P ( S 3 C 3) Cartwright-Erman-O. 11: σ r (P 2 ν 2 (P n )) P ( C 3 S 2 C n+1), r 5. Landsberg-Ottaviani 2012: Many more cases, much more general. Our decomposition algorithms via Koszul Flattenings Sylvester Pentahedral Thm.: S 3 C 4, r 5, HPR quintics: S 5 C 3, r 7, More generally: S 2m+1 C n+1, r ( ) n+m n. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
9 Review: The catalecticant algorithm via an example Decompose f = 7x 3 30x 2 y + 42xy 2 19y 3 S 3 (C 2 ): Compute the flattening: S 2 (C 2 ) C 2, ( ) C f =, with kernel: The kernel K (in the space of polynomials on the dual) is spanned by 6 2 x + 7 x y y = (2 x + y )(3 x + 2 y ). Notice (2 x + y ) kills ( x + 2y) and ( x + 2y) d for all d. Also, (3 x + 2 y ) kills (2x 3y) and (2x 3y) d for all d. K annihilates precisely (up to scalar) {( x + 2y), (2x 3y)}. Therefore f = c 1 ( x + 2y) 3 + c 2 (2x 3y) 3. Solve: c 1 = c 2 = 1. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24 C f
10 Catalecticant algorithm in general [Iarrobino-Kanev 1999] Input: f S d (V ) V = C n+1. 1 Construct C m f = C f, m = d 2 C m f : S m V S d m V x i1 x im m f xi1 xim 2 Compute ker C f, note Rank(f ) rank(c f ). 3 Compute Z = zeros(ker C f ) if #Z =, fail else Z = {[v 1 ],..., [v s ]} 4 Solve f = s i=1 c i v d i, c i C. Output: The unique Waring decomposition of f. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
11 Catalecticant algorithm in general [Iarrobino-Kanev 1999] The catalecticant algorithm appears in work of Sylvester, Iarrobino-Kanev, Brachat-Comon-Mourrain-Tsigaridas, Bernardi-Idá-Gimigliano. Iarrobino and Kanev gave bounds for the success of the catalecticant algorithm. Here is a slight improvement: Theorem (O.-Ottaviani 2013) Let r i=1 v i d = f be general among forms of rank r in S d V. Set z i := [v i ], Z := {z 1,..., z r } and let m = d 2. 1 If d is even and r ( ) n+m n n 1, or if d is odd and ( ) n+m 1 n, then ker C f = I Z,m (subspace of deg. m polys vanishing on Z). the catalecticant algorithm succeeds with Z = Z = zeros(ker C f ). 2 If d is even n 3 and r = ( ) n+m n n, Z Z is possible. the catalecticant algorithm succeeds after finitely many checks. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
12 Why the catalecticant algorithm works Given f S d V, we have the catalecticant: Rank conditions: : S m V S d m V x i1 x im C m f f has rank 1 rank C f = 1. subadditivity of matrix rank implies that (f has rank r rank C f r). m f xi1 xim The zero set of the kernel is polar to the linear forms in the decomposition: Notice that (αx+βy) (βx αy)d = 0 (α x + β y is apolar to βx αy). In the case of binary forms, a general elt. F of the kernel factors (FTA). i.e. F = l1 l r kills all linear forms in decomposition. There exist c i C such that f = r i=1 c ili d if and only if l1 l r f = 0. One inclusion is obvious, the other is by dimension count. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
13 Eigenvectors of tensors An essential ingredient is the notion of an eigenvector of a tensor. The eigenvector equation for matrices: M C n n, v C n, Mv = λv, λ C M(v) v = 0 Definition Let M Hom(S m V, a V ). v V is an eigenvector of the tensor M if M(v m ) v = 0. When a = m = 1 this is the classical definition. When a = 1, [Lim 05] and [Qi 05] independently introduced this notion. Further generalizations: Ottaviani-Sturmfels, Sam (Kalman varieties), and Qi et.al. (Spectral theory of tensors). Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
14 The number of eigenvectors of different types of tensors Theorem (O.-Ottaviani 13) For a general M Hom(S m C n+1, a C n+1 ) the number e(m) of eigenvectors is e(m) = m, when n = 1 and a {0, 2}, e(m) =, when n > 1 and a {0, n + 1}, (classical) e(m) = mn+1 1 m 1, when a = 1 [CS 10], e(m) = 0, for 2 a n 2, e(m) = (m+1)n+1 +( 1) n m+2, for a = n 1. Our result includes a result of Cartwright-Sturmfels. Our proofs rely on the simple observation that the a Chern class computation for the appropriate vector bundle gives the number of eigenvectors. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
15 The Koszul complex and Koszul matrices The Koszul complex arises via the minimal free resolution of the maximal ideal x 0,..., x n. Let V be the span of the x i. 0 n+1 V k n+1 n V 2 V k 2 1 V k 1 C 0 Some examples: for n = 2, k 1 = ( w x y ) x y 0 y, k 2 = w 0 y k 3 = x, 0 w x w x y 0 z 0 0 for n = 3, k 1 = ( w x y z ), k 2 = w 0 y 0 z 0 0 w x 0 0 z, w x y k 3 Note: these complexes are exact. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
16 Sections of vector bundles to eigenvectors of tensors Construct a map (tensor a Koszul map with a catalecticant map) A f : Hom(S m V, a V ) Hom( n a V, S d m 1 V ) M Hom(S m V, a V ), v is an eigenvector of M iff M(v m ) v = 0. Lemma M Hom(S m V, a V ), 1 v is an eigenvector of M iff M ker A f. 2 Let f = r i=1 v d i. If each v i is an eigenvector of M, then M ker A f. Lemma Let Q be the quotient bundle on P n. 1 The fiber of a Q at x = [v] is isomorphic to Hom([v m ], a V / v a 1 V. 2 the section s M vanishes if and only if v is an eigenvector of M. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
17 Koszul Algorithm examples: HPR Quinitics Let V = C 3 a general form f S 5 C 3 has rank 7. Catalecticants: C f : S 3 V S 2 V is a 6 10 matrix - with max rank 6, so too small to detect rank 7. Koszul Flattening: S 5 V S 2 V V S 2 V S 2 V 2 V V S 2 V. Get a map: A f : S 2 V 2 V V S 2 V Hom(S 2 V, V ) Hom(V, S 2 V ) x y 0 C fx C fy 0 A f = w 0 y C f = C fw 0 C fy, 0 w x 0 C fw C fx where C fz is the 6 6 catalecticant of f z. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
18 Koszul Algorithm examples: HPR Quinitics Koszul Flattening: S 5 V S 2 V V S 2 V S 2 V 2 V V S 2 V. Get a map: A f : S 2 V 2 V V S 2 V Hom(S 2 V, V ) Hom(V, S 2 V ) x y 0 C fx C fy 0 A f = w 0 y C f = C fw 0 C fy, 0 w x 0 C fw C fx A f is skew-symmetrizable, so even has rank. If f has rank 7, A f has rank 14. The Pfaffians vanish on the locus of border rank 7 forms. The general M in Hom(S 2 V, V ) has 7 eigenvectors, [Cartwright-Sturmfels]. By our theorem, the 7 eigenvector of a general M ker A f are the linear forms in the decomposition of f (up to scalars). Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
19 Computing eigenvectors of tensors In the HPR example, had ( Cfx C fy 0 ) A f : S 2 V V C fw 0 C fy 0 C fw C fx V S 2 V, with A f, an matrix composed of 6 6 blocks. An element of the kernel can be blocked as (h 1, h 2, h 3 ), where h i are quadrics in S 2 V by viewing S 2 V V as ( S 2 V x ) ( S 2 V y ) ( S 2 V z ). The 2-minors of ( ) h1 h 2 h 3 define the locus of eigenvectors. x y z In the general case the construction is similar: concatenate the (blocked) elements of the kernel with a Koszul matrix and compute the zero set of the minors. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
20 Koszul Algorithm examples: Sylvester Pentahedral Let V = C 4. The general f S 3 V has rank 5. The most-square catalecticant is 10 4, so not big enough to detect rank 5. Koszul flattening: f S 3 V V V V V 2 V V V A f : V 2 V V V Hom(C 4, 2 C 4 ) Hom(C 4, C 4 ), x y 0 z 0 0 A f = k 2 C f, where k 2 = w 0 y 0 z 0 0 w x 0 0 z w x y General element of Hom(C 4, 2 C 4 ) has 5 eigenvectors! The eigenvectors of a general element of the kernel provide the linear forms in the Waring decomposition. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
21 Koszul Flattening Algorithm Algorithm Input f S d V, V = C n+1. 1 Construct A f : Hom(S m V, V ) Hom( n 1 V, S d m 1 V ). 2 Compute ker A f. Note Rank(f ) rank(a f )/n. 3 Set Z = common eigenvectors of a basis of ker A f. a) if #Z =, fail. b) else Z = {[v 1 ],..., [v s ]}. 4 Solve f = s i=1 c iv d i. Output: unique Waring decomposition of f. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
22 Success of the Koszul Flattening Algorithm Here are some effective bounds for the success of our algorithm. Theorem (O.-Ottaviani 13) Let n = 2, d = 2m + 1, f = r i=1 v i d, and set z i = [v i ], Z = {z 1,..., z r }. The Koszul Flattening algorithm succeeds when 1 2r m 2 + 3m + 4, 2 2r m 2 + 4m + 2 (after finitely many tries). and if n 3, The Koszul Flattening algorithm succeeds when 1 n-even, r ( ) n+m n (eigenvectors of ker Af = Z = Z), 2 n-odd, r ( ) n+m n (e.-vects of ker Af e.vects of (Im(A f )) = Z), 3 n = 3, r 1 3 ( 1 2 (m + 4)(m + 3)(m + 1) m2 /2 m 8)... set a = 2 in the algorithm. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
23 General Vector Bundle Method Consider a line bundle L giving the embedding X L P ( H 0 (X, L) ) = PW. Let E X be a vector bundle on X. We get natural maps: H 0 (E) H 0 (E L) H 0 (L), H 0 (E) H 0 (L) H 0 (E L), H 0 (E) A f H 0 (E L), where A f depends linearly on H 0 (L). Get the matrix presentation via Koszul matrices when E = a Q, where Q is (at twist of) the quotient bundle on P n. Proposition (Landsberg-Ottaviani 12) Let f = r i=1 v i, and set z i = [v i ] X PW, Z = {z 1,..., z r }. Then H 0 (I Z E) ker A f, with equality if H 0 (E L) H 0 (E L Z ), and H 0 (I Z E L) (ImA f ), with equality if H 0 (E) H 0 (E Z ). Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
24 General Vector Bundle Method Consider a line bundle L giving the embedding X L P ( H 0 (X, L) ) = PW. Let E X be a vector bundle on X. Theorem (O.-Ottaviani 13) Let f = r i=1 v i d, and set z i = [v i ] X PW, Z = {z 1,..., z r }. Assume rank(a f ) = k Rank(E) and H 0 (I Z E) H 0 (I Z E L) H 0 (I 2 Z L) is surjective. If X is not weakly k-defective, then the common base locus of ker(a f ) and Im(A f ) is given by Z (so one can reconstruct Z from f ). We use this general result to prove the specific results for each of our algorithms. Oeding, Ottaviani (UCB, Firenze) Waring Decomposition January 16, / 24
Giorgio Ottaviani. Università di Firenze. Tutorial on Tensor rank and tensor decomposition
Tutorial: A brief survey on tensor rank and tensor decomposition, from a geometric perspective. Workshop Computational nonlinear Algebra (June 2-6, 2014) ICERM, Providence Università di Firenze Tensors
More informationTensor decomposition and tensor rank
from the point of view of Classical Algebraic Geometry RTG Workshop Tensors and their Geometry in High Dimensions (September 26-29, 2012) UC Berkeley Università di Firenze Content of the three talks Wednesday
More informationHomotopy Techniques for Tensor Decomposition and Perfect Identifiability
Homotopy Techniques for Tensor Decomposition and Perfect Identifiability Luke Oeding Auburn University with Hauenstein (Notre Dame), Ottaviani (Firenze) and Sommese (Notre Dame) Oeding (Auburn) Homotopy
More informationHigher secant varieties of classical projective varieties
Higher secant varieties of classical projective varieties Maria Virginia Catalisano DIME Università degli Studi di Genova Research Station on Commutative Algebra Yangpyeong - June 13-17, 2016 Maria Virginia
More informationTensor decomposition and moment matrices
Tensor decomposition and moment matrices J. Brachat (Ph.D.) & B. Mourrain GALAAD, INRIA Méditerranée, Sophia Antipolis Bernard.Mourrain@inria.fr SIAM AAG, Raleigh, NC, Oct. -9, 211 Collaboration with A.
More informationIs Every Secant Variety of a Segre Product Arithmetically Cohen Macaulay? Oeding (Auburn) acm Secants March 6, / 23
Is Every Secant Variety of a Segre Product Arithmetically Cohen Macaulay? Luke Oeding Auburn University Oeding (Auburn) acm Secants March 6, 2016 1 / 23 Secant varieties and tensors Let V 1,..., V d, be
More informationRanks of Real Symmetric Tensors
Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like
More informationSecant Varieties and Equations of Abo-Wan Hypersurfaces
Secant Varieties and Equations of Abo-Wan Hypersurfaces Luke Oeding Auburn University Oeding (Auburn, NIMS) Secants, Equations and Applications August 9, 214 1 / 34 Secant varieties Suppose X is an algebraic
More informationSecant varieties. Marin Petkovic. November 23, 2015
Secant varieties Marin Petkovic November 23, 2015 Abstract The goal of this talk is to introduce secant varieies and show connections of secant varieties of Veronese variety to the Waring problem. 1 Secant
More informationHOMOTOPY TECHNIQUES FOR TENSOR DECOMPOSITION AND PERFECT IDENTIFIABILITY
HOMOTOPY TECHNIQUES FOR TENSOR DECOMPOSITION AND PERFECT IDENTIFIABILITY JONATHAN D. HAUENSTEIN, LUKE OEDING, GIORGIO OTTAVIANI, AND ANDREW J. SOMMESE Abstract. Let T be a general complex tensor of format
More informationRanks and generalized ranks
Ranks and generalized ranks Zach Teitler Boise State University SIAM Conference on Applied Algebraic Geometry Minisymposium on Algebraic Geometry of Tensor Decompositions and its Applications October 7,
More informationOeding (Auburn) tensors of rank 5 December 15, / 24
Oeding (Auburn) 2 2 2 2 2 tensors of rank 5 December 15, 2015 1 / 24 Recall Peter Burgisser s overview lecture (Jan Draisma s SIAM News article). Big Goal: Bound the computational complexity of det n,
More informationSpecial Session on Secant Varieties. and Related Topics. Secant Varieties of Grassmann and Segre Varieties. Giorgio Ottaviani
Special Session on Secant Varieties and Related Topics Secant Varieties of Grassmann and Segre Varieties Giorgio Ottaviani ottavian@math.unifi.it www.math.unifi.it/users/ottavian Università di Firenze
More informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
More informationTensors: a geometric view Open lecture November 24, 2014 Simons Institute, Berkeley. Giorgio Ottaviani, Università di Firenze
Open lecture November 24, 2014 Simons Institute, Berkeley Plan of the talk Introduction to Tensors A few relevant applications Tensors as multidimensional matrices A (complex) a b c tensor is an element
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationT -equivariant tensor rank varieties and their K-theory classes
T -equivariant tensor rank varieties and their K-theory classes 2014 July 18 Advisor: Professor Anders Buch, Department of Mathematics, Rutgers University Overview 1 Equivariant K-theory Overview 2 Determinantal
More informationSecant Varieties and Inverse Systems. Anthony V. Geramita. Ottawa Workshop on Inverse Systems January, 2005
. Secant Varieties and Inverse Systems Anthony V. Geramita Ottawa Workshop on Inverse Systems January, 2005 1 X P n non-degenerate, reduced, irreducible projective variety. Definitions: 1) Secant P s 1
More informationTensors. Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Tensors Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra This lecture is divided into two parts. The first part,
More informationOn generic and maximal k-ranks of binary forms
On generic and maximal k-ranks of binary forms Samuel Lundqvist, Alessandro Oneto, Bruce Reznick, Boris Shapiro To cite this version: Samuel Lundqvist, Alessandro Oneto, Bruce Reznick, Boris Shapiro. On
More informationSecant Varieties of Segre Varieties. M. Catalisano, A.V. Geramita, A. Gimigliano
. Secant Varieties of Segre Varieties M. Catalisano, A.V. Geramita, A. Gimigliano 1 I. Introduction Let X P n be a reduced, irreducible, and nondegenerate projective variety. Definition: Let r n, then:
More informationHyperdeterminants of Polynomials
Hyperdeterminants of Polynomials Luke Oeding University of California, Berkeley June 5, 0 Support: NSF IRFP (#085000) while at the University of Florence. Luke Oeding (UC Berkeley) Hyperdets of Polys June
More informationOn the Alexander-Hirschowitz Theorem
On the Alexander-Hirschowitz Theorem Maria Chiara Brambilla and Giorgio Ottaviani Abstract The Alexander-Hirschowitz theorem says that a general collection of k double points in P n imposes independent
More informationSkew-symmetric tensor decomposition
[Arrondo,, Macias Marques, Mourrain] University of Trento, Italy September 28, 2018 Warsaw Symmetric-rank C[x 0,..., x n ] d F = r λ i L d i i=1 S d C n+1 F = r i=1 λ i v d i this corresponds to find the
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
More informationOn the Waring problem for polynomial rings
On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical
More informationThe number of singular vector tuples and approximation of symmetric tensors / 13
The number of singular vector tuples and approximation of symmetric tensors Shmuel Friedland Univ. Illinois at Chicago Colloquium NYU Courant May 12, 2014 Joint results with Giorgio Ottaviani and Margaret
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationSparse representations from moments
Sparse representations from moments Bernard Mourrain Inria Méditerranée, Sophia Antipolis BernardMourrain@inriafr Sparse representation of signals Given a function or signal f (t): decompose it as f (t)
More informationTOPOLOGY OF TENSOR RANKS
TOPOLOGY OF TENSOR RANKS PIERRE COMON, LEK-HENG LIM, YANG QI, AND KE YE Abstract. We study path-connectedness and homotopy groups of sets of tensors defined by tensor rank, border rank, multilinear rank,
More informationExamples of numerics in commutative algebra and algebraic geo
Examples of numerics in commutative algebra and algebraic geometry MCAAG - JuanFest Colorado State University May 16, 2016 Portions of this talk include joint work with: Sandra Di Rocco David Eklund Michael
More informationRIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The
More informationSheaf cohomology and non-normal varieties
Sheaf cohomology and non-normal varieties Steven Sam Massachusetts Institute of Technology December 11, 2011 1/14 Kempf collapsing We re interested in the following situation (over a field K): V is a vector
More informationThe Geometry of Matrix Rigidity
The Geometry of Matrix Rigidity Joseph M. Landsberg Jacob Taylor Nisheeth K. Vishnoi November 26, 2003 Abstract Consider the following problem: Given an n n matrix A and an input x, compute Ax. This problem
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationA proof of the Jordan normal form theorem
A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it
More informationFour Lectures on Secant Varieties
Four Lectures on Secant Varieties Enrico Carlini, Nathan Grieve, and Luke Oeding To Tony, friend and mentor Abstract This paper is based on the first ahor s lectures at the 2012 University of Regina Workshop
More informationSecant Varieties of Segre-Veronese Varieties. Claudiu Cristian Raicu
Secant Varieties of Segre-Veronese Varieties by Claudiu Cristian Raicu A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationEquations for secant varieties of Veronese and other varieties. J. M. Landsberg & Giorgio Ottaviani. Annali di Matematica Pura ed Applicata
Equations for secant varieties of Veronese and other varieties J. M. Landsberg & Giorgio Ottaviani Annali di Matematica Pura ed Applicata ISSN 0373-3114 Volume 192 Number 4 Annali di Matematica (2013)
More informationTropical decomposition of symmetric tensors
Tropical decomposition of symmetric tensors Melody Chan University of California, Berkeley mtchan@math.berkeley.edu December 11, 008 1 Introduction In [], Comon et al. give an algorithm for decomposing
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More information1 Invariant subspaces
MATH 2040 Linear Algebra II Lecture Notes by Martin Li Lecture 8 Eigenvalues, eigenvectors and invariant subspaces 1 In previous lectures we have studied linear maps T : V W from a vector space V to another
More informationSecant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes. W. Buczyska and J.
Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes W. Buczyska and J. Buczyski REPORT No. 4, 2010/2011, spring ISSN 1103-467X ISRN IML-R- -4-10/11-
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationGEOMETRY OF FEASIBLE SPACES OF TENSORS. A Dissertation YANG QI
GEOMETRY OF FEASIBLE SPACES OF TENSORS A Dissertation by YANG QI Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR
More informationDirect Sum Decomposability of Polynomials
Direct Sum Decomposability of Polynomials Zach Teitler Interactions between Commutative Algebra and Algebraic Geometry II September 28, 2013 Joint work with Weronika Buczyńska, Jarek Buczyński, Johannes
More informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
More informationOn the geometry of matrix multiplication
On the geometry of matrix multiplication J.M. Landsberg Texas A&M University Spring 2018 AMS Sectional Meeting 1 / 27 A practical problem: efficient linear algebra Standard algorithm for matrix multiplication,
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationLecture 1: Review of linear algebra
Lecture 1: Review of linear algebra Linear functions and linearization Inverse matrix, least-squares and least-norm solutions Subspaces, basis, and dimension Change of basis and similarity transformations
More informationMaximum Waring Ranks of Monomials and Sums of Coprime Monomials
Boise State University ScholarWorks Mathematics Faculty Publications and Presentations Department of Mathematics 6-3-2016 Maximum Waring Ranks of Monomials and Sums of Coprime Monomials Erik Holmes University
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationFOUR-BY-FOUR PFAFFIANS. This paper is dedicated to Paolo Valabrega on his sixtieth birthday.
FOUR-BY-FOUR PFAFFIANS N. MOHAN KUMAR - A. P. RAO - G. V. RAVINDRA This paper is dedicated to Paolo Valabrega on his sixtieth birthday. Abstract. This paper shows that the general hypersurface of degree
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationNoetherianity up to symmetry
1 Noetherianity up to symmetry Jan Draisma TU Eindhoven and VU Amsterdam Singular Landscapes in honour of Bernard Teissier Aussois, June 2015 A landscape, and a disclaimer 2 # participants A landscape,
More informationJ.M. LANDSBERG AND MATEUSZ MICHA LEK
A 2n 2 log 2 (n) 1 LOWER BOUND FOR THE BORDER RANK OF MATRIX MULTIPLICATION J.M. LANDSBERG AND MATEUSZ MICHA LEK Abstract. Let M n C n2 C n2 C n2 denote the matrix multiplication tensor for n n matrices.
More informationTwisted commutative algebras and related structures
Twisted commutative algebras and related structures Steven Sam University of California, Berkeley April 15, 2015 1/29 Matrices Fix vector spaces V and W and let X = V W. For r 0, let X r be the set of
More informationThe converse is clear, since
14. The minimal polynomial For an example of a matrix which cannot be diagonalised, consider the matrix ( ) 0 1 A =. 0 0 The characteristic polynomial is λ 2 = 0 so that the only eigenvalue is λ = 0. The
More informationGeneric properties of Symmetric Tensors
2006 1/48 PComon Generic properties of Symmetric Tensors Pierre COMON - CNRS other contributors: Bernard MOURRAIN INRIA institute Lek-Heng LIM, Stanford University 2006 2/48 PComon Tensors & Arrays Definitions
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationSpring 2016, lecture notes by Maksym Fedorchuk 51
Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationLINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS
LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in
More informationS09 MTH 371 Linear Algebra NEW PRACTICE QUIZ 4, SOLUTIONS Prof. G.Todorov February 15, 2009 Please, justify your answers.
S09 MTH 37 Linear Algebra NEW PRACTICE QUIZ 4, SOLUTIONS Prof. G.Todorov February, 009 Please, justify your answers. 3 0. Let A = 0 3. 7 Determine whether the column vectors of A are dependent or independent.
More informationSome constructions of projective varieties
Some constructions of projective varieties Giorgio Ottaviani Barcelona, April 28, 2005 Algebraic geometry studies the solutions of polynomial systems, which are called varieties. The first goal is to attach
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationVector Spaces and Linear Transformations
Vector Spaces and Linear Transformations Wei Shi, Jinan University 2017.11.1 1 / 18 Definition (Field) A field F = {F, +, } is an algebraic structure formed by a set F, and closed under binary operations
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationContents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2
Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationRank Analysis of Cubic Multivariate Cryptosystems
Rank Analysis of Cubic Multivariate Cryptosystems John Baena 1 Daniel Cabarcas 1 Daniel Escudero 2 Karan Khathuria 3 Javier Verbel 1 April 10, 2018 1 Universidad Nacional de Colombia, Colombia 2 Aarhus
More informationarxiv: v1 [math.ag] 17 Feb 2009
Cohomological Characterization of Vector Bundles on Grassmannians of Lines Enrique Arrondo and Francesco Malaspina arxiv:0902.2897v1 [math.ag] 17 Feb 2009 Universidad Complutense de Madrid Plaza de Ciencias,
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationSufficient Conditions to Ensure Uniqueness of Best Rank One Approximation
Sufficient Conditions to Ensure Uniqueness of Best Rank One Approximation Yang Qi Joint work with Pierre Comon and Lek-Heng Lim Supported by ERC grant #320594 Decoda August 3, 2015 Yang Qi (GIPSA-Lab)
More informationA Geometric Perspective on the Singular Value Decomposition
arxiv:1503.07054v1 [math.ag] 24 Mar 2015 A Geometric Perspective on the Singular Value Decomposition Giorgio Ottaviani and Raffaella Paoletti dedicated to Emilia Mezzetti Abstract This is an introductory
More informationMULTILINEAR ALGEBRA: THE TENSOR PRODUCT
MULTILINEAR ALGEBRA: THE TENSOR PRODUCT This writeup is drawn closely from chapter 27 of Paul Garrett s text Abstract Algebra, available from Chapman and Hall/CRC publishers and also available online at
More informationTheorems of Erdős-Ko-Rado type in polar spaces
Theorems of Erdős-Ko-Rado type in polar spaces Valentina Pepe, Leo Storme, Frédéric Vanhove Department of Mathematics, Ghent University, Krijgslaan 28-S22, 9000 Ghent, Belgium Abstract We consider Erdős-Ko-Rado
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More informationReview of Some Concepts from Linear Algebra: Part 2
Review of Some Concepts from Linear Algebra: Part 2 Department of Mathematics Boise State University January 16, 2019 Math 566 Linear Algebra Review: Part 2 January 16, 2019 1 / 22 Vector spaces A set
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationMath 113 Midterm Exam Solutions
Math 113 Midterm Exam Solutions Held Thursday, May 7, 2013, 7-9 pm. 1. (10 points) Let V be a vector space over F and T : V V be a linear operator. Suppose that there is a non-zero vector v V such that
More informationMATH 115A: SAMPLE FINAL SOLUTIONS
MATH A: SAMPLE FINAL SOLUTIONS JOE HUGHES. Let V be the set of all functions f : R R such that f( x) = f(x) for all x R. Show that V is a vector space over R under the usual addition and scalar multiplication
More informationChapter 2 Subspaces of R n and Their Dimensions
Chapter 2 Subspaces of R n and Their Dimensions Vector Space R n. R n Definition.. The vector space R n is a set of all n-tuples (called vectors) x x 2 x =., where x, x 2,, x n are real numbers, together
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationOn Strassen s Conjecture
On Strassen s Conjecture Elisa Postinghel (KU Leuven) joint with Jarek Buczyński (IMPAN/MIMUW) Daejeon August 3-7, 2015 Elisa Postinghel (KU Leuven) () On Strassen s Conjecture SIAM AG 2015 1 / 13 Introduction:
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationHomotopy-theory techniques in commutative algebra
Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
More information