1,067 research outputs found
Robustness and Randomness
Robustness problems of computational geometry algorithms is a topic that has been subject to intensive research efforts from both computer science and mathematics communities. Robustness problems are caused by the lack of precision in computations involving floating-point instead of real numbers. This paper reviews methods dealing with robustness and inaccuracy problems. It discussed approaches based on exact arithmetic, interval arithmetic and probabilistic methods. The paper investigates the possibility to use randomness at certain levels of reasoning to make geometric constructions more robust
Recent progress in exact geometric computation
AbstractComputational geometry has produced an impressive wealth of efficient algorithms. The robust implementation of these algorithms remains a major issue. Among the many proposed approaches for solving numerical non-robustness, Exact Geometric Computation (EGC) has emerged as one of the most successful. This survey describes recent progress in EGC research in three key areas: constructive zero bounds, approximate expression evaluation and numerical filters
Lazy exact real computation
EThOS - Electronic Theses Online ServiceGBUnited Kingdo
Feasible Computation in Symbolic and Numeric Integration
Two central concerns in scientific computing are the reliability and efficiency of algorithms. We introduce the term feasible computation to describe algorithms that are reliable and efficient given the contextual constraints imposed in practice. The main focus of this dissertation then, is to bring greater clarity to the forms of error introduced in computation and modeling, and in the limited context of symbolic and numeric integration, to contribute to integration algorithms that better account for error while providing results efficiently.
Chapter 2 considers the problem of spurious discontinuities in the symbolic integration problem, proposing a new method to restore continuity based on a pair of unwinding numbers. Computable conditions for the unwinding numbers are specified, allowing the computation of a variety of continuous integrals. Chapter 3 introduces two structure-preserving algorithms for the symbolic-numeric integration of rational functions on exact input. A structured backward and forward error analysis for the algorithms shows that they are a posteriori backward and forward stable, with both forms of error exhibiting tolerance proportionality.
Chapter 4 identifies the basic logical structure of feasible inference by presenting a logical model of stable approximate inference, illustrated by examples of modeling and numerical integration. In terms of this model it is seen that a necessary condition for the feasibility of methods of abstraction in modeling and complexity reduction in computational mathematics is the preservation of inferential structure, in a sense that is made precise. Chapter 5 identifies a robust pattern in mathematical sciences of transforming problems to make solutions feasible. It is showed that computational complexity reduction methods in computational science involve chains of such transformations. It is argued that the structured and approximate nature of such strategies indicates the need for a higher-order model of computation and a new definition of computational complexity
Analytic urns
This article describes a purely analytic approach to urn models of the
generalized or extended P\'olya-Eggenberger type, in the case of two types of
balls and constant ``balance,'' that is, constant row sum. The treatment starts
from a quasilinear first-order partial differential equation associated with a
combinatorial renormalization of the model and bases itself on elementary
conformal mapping arguments coupled with singularity analysis techniques.
Probabilistic consequences in the case of ``subtractive'' urns are new
representations for the probability distribution of the urn's composition at
any time n, structural information on the shape of moments of all orders,
estimates of the speed of convergence to the Gaussian limit and an explicit
determination of the associated large deviation function. In the general case,
analytic solutions involve Abelian integrals over the Fermat curve x^h+y^h=1.
Several urn models, including a classical one associated with balanced trees
(2-3 trees and fringe-balanced search trees) and related to a previous study of
Panholzer and Prodinger, as well as all urns of balance 1 or 2 and a sporadic
urn of balance 3, are shown to admit of explicit representations in terms of
Weierstra\ss elliptic functions: these elliptic models appear precisely to
correspond to regular tessellations of the Euclidean plane.Comment: Published at http://dx.doi.org/10.1214/009117905000000026 in the
Annals of Probability (http://www.imstat.org/aop/) by the Institute of
Mathematical Statistics (http://www.imstat.org
Introduction to Quantum Information Processing
As a result of the capabilities of quantum information, the science of
quantum information processing is now a prospering, interdisciplinary field
focused on better understanding the possibilities and limitations of the
underlying theory, on developing new applications of quantum information and on
physically realizing controllable quantum devices. The purpose of this primer
is to provide an elementary introduction to quantum information processing, and
then to briefly explain how we hope to exploit the advantages of quantum
information. These two sections can be read independently. For reference, we
have included a glossary of the main terms of quantum information.Comment: 48 pages, to appear in LA Science. Hyperlinked PDF at
http://www.c3.lanl.gov/~knill/qip/prhtml/prpdf.pdf, HTML at
http://www.c3.lanl.gov/~knill/qip/prhtm
Constructive Geometry and the Parallel Postulate
Euclidean geometry consists of straightedge-and-compass constructions and
reasoning about the results of those constructions. We show that Euclidean
geometry can be developed using only intuitionistic logic. We consider three
versions of Euclid's parallel postulate: Euclid's own formulation in his
Postulate 5; Playfair's 1795 version, and a new version we call the strong
parallel postulate. These differ in that Euclid's version and the new version
both assert the existence of a point where two lines meet, while Playfair's
version makes no existence assertion. Classically, the models of Euclidean
(straightedge-and-compass) geometry are planes over Euclidean fields. We prove
a similar theorem for constructive Euclidean geometry, by showing how to define
addition and multiplication without a case distinction about the sign of the
arguments. With intuitionistic logic, there are two possible definitions of
Euclidean fields, which turn out to correspond to the different versions of the
parallel axiom. In this paper, we completely settle the questions about
implications between the three versions of the parallel postulate: the strong
parallel postulate easily implies Euclid 5, and in fact Euclid 5 also implies
the strong parallel postulate, although the proof is lengthy, depending on the
verification that Euclid 5 suffices to define multiplication geometrically. We
show that Playfair does not imply Euclid 5, and we also give some other
independence results. Our independence proofs are given without discussing the
exact choice of the other axioms of geometry; all we need is that one can
interpret the geometric axioms in Euclidean field theory. The proofs use Kripke
models of Euclidean field theories based on carefully constructed rings of
real-valued functions.Comment: 114 pages, 39 figure
- …