2,085 research outputs found
Explicit polynomial sequences with maximal spaces of partial derivatives and a question of K. Mulmuley
We answer a question of K. Mulmuley: In [Efremenko-Landsberg-Schenck-Weyman]
it was shown that the method of shifted partial derivatives cannot be used to
separate the padded permanent from the determinant. Mulmuley asked if this
"no-go" result could be extended to a model without padding. We prove this is
indeed the case using the iterated matrix multiplication polynomial. We also
provide several examples of polynomials with maximal space of partial
derivatives, including the complete symmetric polynomials. We apply Koszul
flattenings to these polynomials to have the first explicit sequence of
polynomials with symmetric border rank lower bounds higher than the bounds
attainable via partial derivatives.Comment: 18 pages - final version to appear in Theory of Computin
Uniform determinantal representations
The problem of expressing a specific polynomial as the determinant of a
square matrix of affine-linear forms arises from algebraic geometry,
optimisation, complexity theory, and scientific computing. Motivated by recent
developments in this last area, we introduce the notion of a uniform
determinantal representation, not of a single polynomial but rather of all
polynomials in a given number of variables and of a given maximal degree. We
derive a lower bound on the size of the matrix, and present a construction
achieving that lower bound up to a constant factor as the number of variables
is fixed and the degree grows. This construction marks an improvement upon a
recent construction due to Plestenjak-Hochstenbach, and we investigate the
performance of new representations in their root-finding technique for
bivariate systems. Furthermore, we relate uniform determinantal representations
to vector spaces of singular matrices, and we conclude with a number of future
research directions.Comment: 23 pages, 3 figures, 4 table
Accurate and Efficient Expression Evaluation and Linear Algebra
We survey and unify recent results on the existence of accurate algorithms
for evaluating multivariate polynomials, and more generally for accurate
numerical linear algebra with structured matrices. By "accurate" we mean that
the computed answer has relative error less than 1, i.e., has some correct
leading digits. We also address efficiency, by which we mean algorithms that
run in polynomial time in the size of the input. Our results will depend
strongly on the model of arithmetic: Most of our results will use the so-called
Traditional Model (TM). We give a set of necessary and sufficient conditions to
decide whether a high accuracy algorithm exists in the TM, and describe
progress toward a decision procedure that will take any problem and provide
either a high accuracy algorithm or a proof that none exists. When no accurate
algorithm exists in the TM, it is natural to extend the set of available
accurate operations by a library of additional operations, such as , dot
products, or indeed any enumerable set which could then be used to build
further accurate algorithms. We show how our accurate algorithms and decision
procedure for finding them extend to this case. Finally, we address other
models of arithmetic, and the relationship between (im)possibility in the TM
and (in)efficient algorithms operating on numbers represented as bit strings.Comment: 49 pages, 6 figures, 1 tabl
Quasideterminants
The determinant is a main organizing tool in commutative linear algebra. In
this review we present a theory of the quasideterminants defined for matrices
over a division algebra. We believe that the notion of quasideterminants should
be one of main organizing tools in noncommutative algebra giving them the same
role determinants play in commutative algebra.Comment: amstex; final version; to appear in Advances in Mat
Fano schemes of determinants and permanents
Let and denote the subschemes of
given by the determinants (respectively the permanents)
of an matrix of indeterminates. In this paper, we study the
geometry of the Fano schemes and
parametrizing the -dimensional planes in
lying on and , respectively. We
prove results characterizing which of these Fano schemes are smooth,
irreducible, and connected; and we give examples showing that they need not be
reduced. We show that always has the expected
dimension, and we describe its components exactly. Finally, we give a detailed
study of the Fano schemes of -planes on the determinantal and
permanental hypersurfaces.Comment: 43 pages; v2 minor revisions. To appear in AN
- …