5,074 research outputs found
Adaptive Finite Element Methods for Elliptic Problems with Discontinuous Coefficients
Elliptic partial differential equations (PDEs) with discontinuous diffusion
coefficients occur in application domains such as diffusions through porous
media, electro-magnetic field propagation on heterogeneous media, and diffusion
processes on rough surfaces. The standard approach to numerically treating such
problems using finite element methods is to assume that the discontinuities lie
on the boundaries of the cells in the initial triangulation. However, this does
not match applications where discontinuities occur on curves, surfaces, or
manifolds, and could even be unknown beforehand. One of the obstacles to
treating such discontinuity problems is that the usual perturbation theory for
elliptic PDEs assumes bounds for the distortion of the coefficients in the
norm and this in turn requires that the discontinuities are matched
exactly when the coefficients are approximated. We present a new approach based
on distortion of the coefficients in an norm with which
therefore does not require the exact matching of the discontinuities. We then
use this new distortion theory to formulate new adaptive finite element methods
(AFEMs) for such discontinuity problems. We show that such AFEMs are optimal in
the sense of distortion versus number of computations, and report insightful
numerical results supporting our analysis.Comment: 24 page
Computing Real Roots of Real Polynomials ... and now For Real!
Very recent work introduces an asymptotically fast subdivision algorithm,
denoted ANewDsc, for isolating the real roots of a univariate real polynomial.
The method combines Descartes' Rule of Signs to test intervals for the
existence of roots, Newton iteration to speed up convergence against clusters
of roots, and approximate computation to decrease the required precision. It
achieves record bounds on the worst-case complexity for the considered problem,
matching the complexity of Pan's method for computing all complex roots and
improving upon the complexity of other subdivision methods by several
magnitudes.
In the article at hand, we report on an implementation of ANewDsc on top of
the RS root isolator. RS is a highly efficient realization of the classical
Descartes method and currently serves as the default real root solver in Maple.
We describe crucial design changes within ANewDsc and RS that led to a
high-performance implementation without harming the theoretical complexity of
the underlying algorithm.
With an excerpt of our extensive collection of benchmarks, available online
at http://anewdsc.mpi-inf.mpg.de/, we illustrate that the theoretical gain in
performance of ANewDsc over other subdivision methods also transfers into
practice. These experiments also show that our new implementation outperforms
both RS and mature competitors by magnitudes for notoriously hard instances
with clustered roots. For all other instances, we avoid almost any overhead by
integrating additional optimizations and heuristics.Comment: Accepted for presentation at the 41st International Symposium on
Symbolic and Algebraic Computation (ISSAC), July 19--22, 2016, Waterloo,
Ontario, Canad
Online Learning of Noisy Data with Kernels
We study online learning when individual instances are corrupted by
adversarially chosen random noise. We assume the noise distribution is unknown,
and may change over time with no restriction other than having zero mean and
bounded variance. Our technique relies on a family of unbiased estimators for
non-linear functions, which may be of independent interest. We show that a
variant of online gradient descent can learn functions in any dot-product
(e.g., polynomial) or Gaussian kernel space with any analytic convex loss
function. Our variant uses randomized estimates that need to query a random
number of noisy copies of each instance, where with high probability this
number is upper bounded by a constant. Allowing such multiple queries cannot be
avoided: Indeed, we show that online learning is in general impossible when
only one noisy copy of each instance can be accessed.Comment: This is a full version of the paper appearing in the 23rd
International Conference on Learning Theory (COLT 2010
A Constant Approximation for Colorful k-Center
In this paper, we consider the colorful k-center problem, which is a generalization of the well-known k-center problem. Here, we are given red and blue points in a metric space, and a coverage requirement for each color. The goal is to find the smallest radius rho, such that with k balls of radius rho, the desired number of points of each color can be covered. We obtain a constant approximation for this problem in the Euclidean plane. We obtain this result by combining a "pseudo-approximation" algorithm that works in any metric space, and an approximation algorithm that works for a special class of instances in the plane. The latter algorithm uses a novel connection to a certain matching problem in graphs
- …