@misc{1712.04177,
author = {Seung Gyu Hyun and Vincent Neiger and Hamid Rahkooy and Eric Schost},
title = {{B}lock-{K}rylov techniques in the context of sparse-{FGLM} algorithms},
year = {2017},
eprint = {1712.04177},
note = {arXiv:1712.04177v1}
}

Consider a zero-dimensional ideal $I$ in $\mathbb{K}[X_1,\dots,X_n]$. Inspired by FaugĂ¨re and Mou's Sparse FGLM algorithm, we use Krylov sequences based on multiplication matrices of $I$ in order to compute a description of its zero set by means of univariate polynomials. Steel recently showed how to use Coppersmith's block-Wiedemann algorithm in this context; he describes an algorithm that can be easily parallelized, but only computes parts of the output in this manner. Using generating series expressions going back to work of Bostan, Salvy, and Schost, we show how to compute the entire output for a small overhead, without making any assumption on the ideal $I$ other than it having dimension zero. We then propose a refinement of this idea that partially avoids the introduction of a generic linear form. We comment on experimental results obtained by an implementation based on the C++ libraries LinBox, Eigen and NTL.

@misc{1712.04007,
author = {Mark Giesbrecht and Joseph Haraldson and George Labahn},
title = {{C}omputing {L}ower {R}ank {A}pproximations of {M}atrix {P}olynomials},
year = {2017},
eprint = {1712.04007},
note = {arXiv:1712.04007v1}
}

Given an input matrix polynomial whose coefficients are floating point numbers, we consider the problem of finding the nearest matrix polynomial which has rank at most a specified value. This generalizes the problem of finding a nearest matrix polynomial that is algebraically singular with a prescribed lower bound on the dimension given in a previous paper by the authors. In this paper we prove that such lower rank matrices at minimal distance always exist, satisfy regularity conditions, and are all isolated and surrounded by a basin of attraction of non-minimal solutions. In addition, we present an iterative algorithm which, on given input sufficiently close to a rank-at-most matrix, produces that matrix. The algorithm is efficient and is proven to converge quadratically given a sufficiently good starting point. An implementation demonstrates the effectiveness and numerical robustness of our algorithm in practice.