186 research outputs found
Fast Computation of Minimal Interpolation Bases in Popov Form for Arbitrary Shifts
We compute minimal bases of solutions for a general interpolation problem,
which encompasses Hermite-Pad\'e approximation and constrained multivariate
interpolation, and has applications in coding theory and security.
This problem asks to find univariate polynomial relations between vectors
of size ; these relations should have small degree with respect to an
input degree shift. For an arbitrary shift, we propose an algorithm for the
computation of an interpolation basis in shifted Popov normal form with a cost
of field operations, where
is the exponent of matrix multiplication and the notation
indicates that logarithmic terms are omitted.
Earlier works, in the case of Hermite-Pad\'e approximation and in the general
interpolation case, compute non-normalized bases. Since for arbitrary shifts
such bases may have size , the cost bound
was feasible only with restrictive
assumptions on the shift that ensure small output sizes. The question of
handling arbitrary shifts with the same complexity bound was left open.
To obtain the target cost for any shift, we strengthen the properties of the
output bases, and of those obtained during the course of the algorithm: all the
bases are computed in shifted Popov form, whose size is always . Then, we design a divide-and-conquer scheme. We recursively reduce
the initial interpolation problem to sub-problems with more convenient shifts
by first computing information on the degrees of the intermediate bases.Comment: 8 pages, sig-alternate class, 4 figures (problems and algorithms
Spanning forests and the q-state Potts model in the limit q \to 0
We study the q-state Potts model with nearest-neighbor coupling v=e^{\beta
J}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially,
this limit gives rise to the generating polynomial of spanning forests;
physically, it provides information about the Potts-model phase diagram in the
neighborhood of (q,v) = (0,0). We have studied this model on the square and
triangular lattices, using a transfer-matrix approach at both real and complex
values of w. For both lattices, we have computed the symbolic transfer matrices
for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves
of partition-function zeros in the complex w-plane. For real w, we find two
distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp.
w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w >
w_0 we find a non-critical disordered phase, while for w < w_0 our results are
compatible with a massless Berker-Kadanoff phase with conformal charge c = -2
and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w =
w_0 we find a "first-order critical point": the first derivative of the free
energy is discontinuous at w_0, while the correlation length diverges as w
\downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0
seems to be the same for both lattices and it differs from that of the
Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1,
the leading thermal scaling dimension is x_{T,1} = 0, and the critical
exponents are \nu = 1/d = 1/2 and \alpha = 1.Comment: 131 pages (LaTeX2e). Includes tex file, three sty files, and 65
Postscript figures. Also included are Mathematica files forests_sq_2-9P.m and
forests_tri_2-9P.m. Final journal versio
On the condensed density of the generalized eigenvalues of pencils of Hankel Gaussian random matrices and applications
Pencils of Hankel matrices whose elements have a joint Gaussian distribution
with nonzero mean and not identical covariance are considered. An approximation
to the distribution of the squared modulus of their determinant is computed
which allows to get a closed form approximation of the condensed density of the
generalized eigenvalues of the pencils. Implications of this result for solving
several moments problems are discussed and some numerical examples are
provided.Comment: 30 pages, 16 figures, better approximations provide
Fast algorithm for border bases of Artinian Gorenstein algebras
Given a multi-index sequence , we present a new efficient algorithm
to compute generators of the linear recurrence relations between the terms of
. We transform this problem into an algebraic one, by identifying
multi-index sequences, multivariate formal power series and linear functionals
on the ring of multivariate polynomials. In this setting, the recurrence
relations are the elements of the kerne l\sigma of the Hankel operator
$H$\sigma associated to . We describe the correspondence between
multi-index sequences with a Hankel operator of finite rank and Artinian
Gorenstein Algebras. We show how the algebraic structure of the Artinian
Gorenstein algebra \sigma\sigma yields the
structure of the terms $\sigma\alpha N nAK[x 1 ,. .. , xnIHIA$ and the tables of multiplication by the variables in these
bases. It is an extension of Berlekamp-Massey-Sakata (BMS) algorithm, with
improved complexity bounds. We present applications of the method to different
problems such as the decomposition of functions into weighted sums of
exponential functions, sparse interpolation, fast decoding of algebraic codes,
computing the vanishing ideal of points, and tensor decomposition. Some
benchmarks illustrate the practical behavior of the algorithm
A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation
We propose a new algorithm for numerical path tracking in polynomial homotopy
continuation. The algorithm is `robust' in the sense that it is designed to
prevent path jumping and in many cases, it can be used in (only) double
precision arithmetic. It is based on an adaptive stepsize predictor that uses
Pad\'e techniques to detect local difficulties for function approximation and
danger for path jumping. We show the potential of the new path tracking
algorithm through several numerical examples and compare with existing
implementations.Comment: 30 pages, 12 figures, 7 table
- …