2,887 research outputs found
Convex Hulls of Algebraic Sets
This article describes a method to compute successive convex approximations
of the convex hull of a set of points in R^n that are the solutions to a system
of polynomial equations over the reals. The method relies on sums of squares of
polynomials and the dual theory of moment matrices. The main feature of the
technique is that all computations are done modulo the ideal generated by the
polynomials defining the set to the convexified. This work was motivated by
questions raised by Lov\'asz concerning extensions of the theta body of a graph
to arbitrary real algebraic varieties, and hence the relaxations described here
are called theta bodies. The convexification process can be seen as an
incarnation of Lasserre's hierarchy of convex relaxations of a semialgebraic
set in R^n. When the defining ideal is real radical the results become
especially nice. We provide several examples of the method and discuss
convergence issues. Finite convergence, especially after the first step of the
method, can be described explicitly for finite point sets.Comment: This article was written for the "Handbook of Semidefinite, Cone and
Polynomial Optimization: Theory, Algorithms, Software and Applications
A Characterization Theorem and An Algorithm for A Convex Hull Problem
Given and , testing if , the convex hull of , is a fundamental
problem in computational geometry and linear programming. First, we prove a
Euclidean {\it distance duality}, distinct from classical separation theorems
such as Farkas Lemma: lies in if and only if for each there exists a {\it pivot}, satisfying . Equivalently, if and only if there exists a
{\it witness}, whose Voronoi cell relative to contains
. A witness separates from and approximate to
within a factor of two. Next, we describe the {\it Triangle Algorithm}: given
, an {\it iterate}, , and , if
, it stops. Otherwise, if there exists a pivot
, it replace with and with the projection of onto the
line . Repeating this process, the algorithm terminates in arithmetic operations, where
is the {\it visibility factor}, a constant satisfying and
, over all iterates . Additionally,
(i) we prove a {\it strict distance duality} and a related minimax theorem,
resulting in more effective pivots; (ii) describe -time algorithms that may compute a witness or a good
approximate solution; (iii) prove {\it generalized distance duality} and
describe a corresponding generalized Triangle Algorithm; (iv) prove a {\it
sensitivity theorem} to analyze the complexity of solving LP feasibility via
the Triangle Algorithm. The Triangle Algorithm is practical and competitive
with the simplex method, sparse greedy approximation and first-order methods.Comment: 42 pages, 17 figures, 2 tables. This revision only corrects minor
typo
Convex hulls of curves of genus one
Let C be a real nonsingular affine curve of genus one, embedded in affine
n-space, whose set of real points is compact. For any polynomial f which is
nonnegative on C(R), we prove that there exist polynomials f_i with f \equiv
\sum_i f_i^2 (modulo I_C) and such that the degrees deg(f_i) are bounded in
terms of deg(f) only. Using Lasserre's relaxation method, we deduce an explicit
representation of the convex hull of C(R) in R^n by a lifted linear matrix
inequality. This is the first instance in the literature where such a
representation is given for the convex hull of a nonrational variety. The same
works for convex hulls of (singular) curves whose normalization is C. We then
make a detailed study of the associated degree bounds. These bounds are
directly related to size and dimension of the projected matrix pencils. In
particular, we prove that these bounds tend to infinity when the curve C
degenerates suitably into a singular curve, and we provide explicit lower
bounds as well.Comment: 1 figur
Playing Billiard in Version Space
A ray-tracing method inspired by ergodic billiards is used to estimate the
theoretically best decision rule for a set of linear separable examples. While
the Bayes-optimum requires a majority decision over all Perceptrons separating
the example set, the problem considered here corresponds to finding the single
Perceptron with best average generalization probability. For randomly
distributed examples the billiard estimate agrees with known analytic results.
In real-life classification problems the generalization error is consistently
reduced compared to the maximal stability Perceptron.Comment: uuencoded, gzipped PostScript file, 127576 bytes To recover 1) save
file as bayes.uue. Then 2) uudecode bayes.uue and 3) gunzip bayes.ps.g
- β¦