67 research outputs found
Interpolation of Shifted-Lacunary Polynomials
Given a "black box" function to evaluate an unknown rational polynomial f in
Q[x] at points modulo a prime p, we exhibit algorithms to compute the
representation of the polynomial in the sparsest shifted power basis. That is,
we determine the sparsity t, the shift s (a rational), the exponents 0 <= e1 <
e2 < ... < et, and the coefficients c1,...,ct in Q\{0} such that f(x) =
c1(x-s)^e1+c2(x-s)^e2+...+ct(x-s)^et. The computed sparsity t is absolutely
minimal over any shifted power basis. The novelty of our algorithm is that the
complexity is polynomial in the (sparse) representation size, and in particular
is logarithmic in deg(f). Our method combines previous celebrated results on
sparse interpolation and computing sparsest shifts, and provides a way to
handle polynomials with extremely high degree which are, in some sense, sparse
in information.Comment: 22 pages, to appear in Computational Complexit
Lower Bounds by Birkhoff Interpolation
International audienceIn this paper we give lower bounds for the representation of real univariate polynomials as sums of powers of degree 1 polynomials. We present two families of polynomials of degree d such that the number of powers that are required in such a representation must be at least of order d. This is clearly optimal up to a constant factor. Previous lower bounds for this problem were only of order Ω(√ d), and were obtained from arguments based on Wronskian determinants and "shifted derivatives." We obtain this improvement thanks to a new lower bound method based on Birkhoff interpolation (also known as "lacunary polynomial interpolation")
The Supremum Norm of the Discrepancy Function: Recent Results and Connections
A great challenge in the analysis of the discrepancy function D_N is to
obtain universal lower bounds on the L-infty norm of D_N in dimensions d \geq
3. It follows from the average case bound of Klaus Roth that the L-infty norm
of D_N is at least (log N) ^{(d-1)/2}. It is conjectured that the L-infty bound
is significantly larger, but the only definitive result is that of Wolfgang
Schmidt in dimension d=2. Partial improvements of the Roth exponent (d-1)/2 in
higher dimensions have been established by the authors and Armen Vagharshakyan.
We survey these results, the underlying methods, and some of their connections
to other subjects in probability, approximation theory, and analysis.Comment: 15 pages, 3 Figures. Reports on talks presented by the authors at the
10th international conference on Monte Carlo and Quasi-Monte Carlo Methods in
Scientific Computing, Sydney Australia, February 2011. v2: Comments of the
referee are incorporate
06271 Abstracts Collection -- Challenges in Symbolic Computation Software
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 ``Challenges in Symbolic Computation Software\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
- …