-
arXiv:2304.00712 [pdf, ps, other]
Taylor Polynomials of Rational Functions
Abstract: A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on Hankel matrices. Inversion of the natural parametrization is known as Padé approximation. We study the dimension and defining ideals of Taylor varieties. Taylor h… ▽ More
Submitted 3 April, 2023; originally announced April 2023.
Comments: 20 pages
-
arXiv:2004.01492 [pdf, ps, other]
Tensor Rank and Complexity
Abstract: These lecture notes are intended as an introduction to several notions of tensor rank and their connections to the asymptotic complexity of matrix multiplication. The latter is studied with the exponent of matrix multiplication, which will be expressed in terms of tensor (border) rank, (border) symmetric rank and the asymptotic rank of certain tensors. We introduce the multilinear rank of a tensor… ▽ More
Submitted 29 July, 2022; v1 submitted 3 April, 2020; originally announced April 2020.
Comments: 46 pages; some major adjustments and additions in Section 2 (especially on castling transforms) and Section 6; further minor revisions in other sections
MSC Class: 14N07; 68Q17; 14Q20; 15A69
-
arXiv:1610.08364 [pdf, ps, other]
The geometry of rank decompositions of matrix multiplication I: 2x2 matrices
Abstract: This is the first in a series of papers on rank decompositions of the matrix multiplication tensor. In this paper we: establish general facts about rank decompositions of tensors, describe potential ways to search for new matrix multiplication decompositions, give a geometric proof of the theorem of Burichenko's theorem establishing the symmetry group of Strassen's algorithm, and present two parti… ▽ More
Submitted 25 October, 2016; originally announced October 2016.
Comments: 9 pages
MSC Class: 68Q17; 14L30; 15A69
-
arXiv:1604.04372 [pdf, ps, other]
The Chow Form of the Essential Variety in Computer Vision
Abstract: The Chow form of the essential variety in computer vision is calculated. Our derivation uses secant varieties, Ulrich sheaves and representation theory. Numerical experiments show that our formula can detect noisy point correspondences between two images.
Submitted 14 July, 2016; v1 submitted 15 April, 2016; originally announced April 2016.
Comments: 27 pages, 1 figure, 6 Macaulay2 ancillary files. v2: edits to Theorem 1.1, references, acknowledgements
MSC Class: 14M12; 14C05; 14Q15; 13D02; 13C14; 68T45
-
arXiv:1311.2376 [pdf, ps, other]
Exact Solutions in Structured Low-Rank Approximation
Abstract: Structured low-rank approximation is the problem of minimizing a weighted Frobenius distance to a given matrix among all matrices of fixed rank in a linear space of matrices. We study exact solutions to this problem by way of computational algebraic geometry. A particular focus lies on Hankel matrices, Sylvester matrices and generic linear spaces.
Submitted 22 February, 2017; v1 submitted 11 November, 2013; originally announced November 2013.
Comments: 22 pages; theorem numbering fits with the journal version
MSC Class: 14Q15; 65K10; 68W30; 93B11
Journal ref: SIAM Journal on Matrix Analysis and Applications, 35 (4) (2014), 1521-1542
-
arXiv:1112.6007 [pdf, ps, other]
New lower bounds for the border rank of matrix multiplication
Abstract: The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 3/2 n^2+ n/2 -1 for all n>2. The bounds are obtained by finding new equations that bilinear… ▽ More
Submitted 2 June, 2013; v1 submitted 27 December, 2011; originally announced December 2011.
Comments: 9 pages. Version 1 contained an error in the proof of its main theorem and in the course of fixing it we proved a stronger statement. v3: proof of main theorem moved up
MSC Class: 03D15; 68Q17; 14N99