280 research outputs found
Separation-Sensitive Collision Detection for Convex Objects
We develop a class of new kinetic data structures for collision detection
between moving convex polytopes; the performance of these structures is
sensitive to the separation of the polytopes during their motion. For two
convex polygons in the plane, let be the maximum diameter of the polygons,
and let be the minimum distance between them during their motion. Our
separation certificate changes times when the relative motion of
the two polygons is a translation along a straight line or convex curve,
for translation along an algebraic trajectory, and for
algebraic rigid motion (translation and rotation). Each certificate update is
performed in time. Variants of these data structures are also
shown that exhibit \emph{hysteresis}---after a separation certificate fails,
the new certificate cannot fail again until the objects have moved by some
constant fraction of their current separation. We can then bound the number of
events by the combinatorial size of a certain cover of the motion path by
balls.Comment: 10 pages, 8 figures; to appear in Proc. 10th Annual ACM-SIAM
Symposium on Discrete Algorithms, 1999; see also
http://www.uiuc.edu/ph/www/jeffe/pubs/kollide.html ; v2 replaces submission
with camera-ready versio
An Implicitization Challenge for Binary Factor Analysis
We use tropical geometry to compute the multidegree and Newton polytope of
the hypersurface of a statistical model with two hidden and four observed
binary random variables, solving an open question stated by Drton, Sturmfels
and Sullivant in "Lectures on Algebraic Statistics" (Problem 7.7). The model is
obtained from the undirected graphical model of the complete bipartite graph
by marginalizing two of the six binary random variables. We present
algorithms for computing the Newton polytope of its defining equation by
parallel walks along the polytope and its normal fan. In this way we compute
vertices of the polytope. Finally, we also compute and certify its facets by
studying tangent cones of the polytope at the symmetry classes vertices. The
Newton polytope has 17214912 vertices in 44938 symmetry classes and 70646
facets in 246 symmetry classes.Comment: 25 pages, 5 figures, presented at Mega 09 (Barcelona, Spain
Tropical cycles and Chow polytopes
The Chow polytope of an algebraic cycle in a torus depends only on its
tropicalisation. Generalising this, we associate a Chow polytope to any
abstract tropical variety in a tropicalised toric variety. Several significant
polyhedra associated to tropical varieties are special cases of our Chow
polytope. The Chow polytope of a tropical variety is given by a simple
combinatorial construction: its normal subdivision is the Minkowski sum of
and a reflected skeleton of the fan of the ambient toric variety.Comment: 22 pp, 3 figs. Added discussion of arbitrary ambient toric varieties;
several improvements suggested by Eric Katz; some rearrangemen
Precise Multi-Neuron Abstractions for Neural Network Certification
Formal verification of neural networks is critical for their safe adoption in
real-world applications. However, designing a verifier which can handle
realistic networks in a precise manner remains an open and difficult challenge.
In this paper, we take a major step in addressing this challenge and present a
new framework, called PRIMA, that computes precise convex approximations of
arbitrary non-linear activations. PRIMA is based on novel approximation
algorithms that compute the convex hull of polytopes, leveraging concepts from
computational geometry. The algorithms have polynomial complexity, yield fewer
constraints, and minimize precision loss. We evaluate the effectiveness of
PRIMA on challenging neural networks with ReLU, Sigmoid, and Tanh activations.
Our results show that PRIMA is significantly more precise than the
state-of-the-art, verifying robustness for up to 16%, 30%, and 34% more images
than prior work on ReLU-, Sigmoid-, and Tanh-based networks, respectively
Computational Geometry Column 42
A compendium of thirty previously published open problems in computational
geometry is presented.Comment: 7 pages; 72 reference
Expansive Motions and the Polytope of Pointed Pseudo-Triangulations
We introduce the polytope of pointed pseudo-triangulations of a point set in
the plane, defined as the polytope of infinitesimal expansive motions of the
points subject to certain constraints on the increase of their distances. Its
1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of
the point set and whose edges are flips of interior pseudo-triangulation edges.
For points in convex position we obtain a new realization of the
associahedron, i.e., a geometric representation of the set of triangulations of
an n-gon, or of the set of binary trees on n vertices, or of many other
combinatorial objects that are counted by the Catalan numbers. By considering
the 1-dimensional version of the polytope of constrained expansive motions we
obtain a second distinct realization of the associahedron as a perturbation of
the positive cell in a Coxeter arrangement.
Our methods produce as a by-product a new proof that every simple polygon or
polygonal arc in the plane has expansive motions, a key step in the proofs of
the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by
Streinu (2000).Comment: 40 pages, 7 figures. Changes from v1: added some comments (specially
to the "Further remarks" in Section 5) + changed to final book format. This
version is to appear in "Discrete and Computational Geometry -- The
Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds),
series "Algorithms and Combinatorics", Springer Verlag, Berli
Tropical secant graphs of monomial curves
The first secant variety of a projective monomial curve is a threefold with
an action by a one-dimensional torus. Its tropicalization is a
three-dimensional fan with a one-dimensional lineality space, so the tropical
threefold is represented by a balanced graph. Our main result is an explicit
construction of that graph. As a consequence, we obtain algorithms to
effectively compute the multidegree and Chow polytope of an arbitrary
projective monomial curve. This generalizes an earlier degree formula due to
Ranestad. The combinatorics underlying our construction is rather delicate, and
it is based on a refinement of the theory of geometric tropicalization due to
Hacking, Keel and Tevelev.Comment: 30 pages, 8 figures. Major revision of the exposition. In particular,
old Sections 4 and 5 are merged into a single section. Also, added Figure 3
and discussed Chow polytopes of rational normal curves in Section
- …