98 research outputs found
Curvature bounds for surfaces in hyperbolic 3-manifolds
We prove existence of thick geodesic triangulations of hyperbolic 3-manifolds
and use this to prove existence of universal bounds on the principal curvatures
of surfaces embedded in hyperbolic 3-manifolds.Comment: 21 pages, 9 figures, published version, added figures, fixed typo
Improved Orientation Sampling for Indexing Diffraction Patterns of Polycrystalline Materials
Orientation mapping is a widely used technique for revealing the
microstructure of a polycrystalline sample. The crystalline orientation at each
point in the sample is determined by analysis of the diffraction pattern, a
process known as pattern indexing. A recent development in pattern indexing is
the use of a brute-force approach, whereby diffraction patterns are simulated
for a large number of crystalline orientations, and compared against the
experimentally observed diffraction pattern in order to determine the most
likely orientation. Whilst this method can robust identify orientations in the
presence of noise, it has very high computational requirements. In this
article, the computational burden is reduced by developing a method for
nearly-optimal sampling of orientations. By using the quaternion representation
of orientations, it is shown that the optimal sampling problem is equivalent to
that of optimally distributing points on a four-dimensional sphere. In doing
so, the number of orientation samples needed to achieve a indexing desired
accuracy is significantly reduced. Orientation sets at a range of sizes are
generated in this way for all Laue groups, and are made available online for
easy use.Comment: 11 pages, 7 figure
Optimal Point Placement for Mesh Smoothing
We study the problem of moving a vertex in an unstructured mesh of
triangular, quadrilateral, or tetrahedral elements to optimize the shapes of
adjacent elements. We show that many such problems can be solved in linear time
using generalized linear programming. We also give efficient algorithms for
some mesh smoothing problems that do not fit into the generalized linear
programming paradigm.Comment: 12 pages, 3 figures. A preliminary version of this paper was
presented at the 8th ACM/SIAM Symp. on Discrete Algorithms (SODA '97). This
is the final version, and will appear in a special issue of J. Algorithms for
papers from SODA '9
The Strong Dodecahedral Conjecture and Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve
This article sketches the proofs of two theorems about sphere packings in
Euclidean 3-space. The first is K. Bezdek's strong dodecahedral conjecture: the
surface area of every bounded Voronoi cell in a packing of balls of radius 1 is
at least that of a regular dodecahedron of inradius 1. The second theorem is L.
Fejes Toth's contact conjecture, which asserts that in 3-space, any packing of
congruent balls such that each ball is touched by twelve others consists of
hexagonal layers. Both proofs are computer assisted. Complete proofs of these
theorems appear in the author's book "Dense Sphere Packings" and a related
preprintComment: The citations and title have been update
Bounds on Pachner moves and systoles of cusped 3-manifolds
Any two geometric ideal triangulations of a cusped complete hyperbolic
-manifold are related by a sequence of Pachner moves through topological
triangulations. We give a bound on the length of this sequence in terms of the
total number of tetrahedra and a lower bound on dihedral angles. This leads to
a naive but effective algorithm to check if two hyperbolic knots are
equivalent, given geometric ideal triangulations of their complements. Given a
geometric ideal triangulation of , we also give a lower bound on the systole
length of in terms of the number of tetrahedra and a lower bound on
dihedral angles.Comment: Exactly the same arguments work for hyperbolic manifolds with
multiple cusps, so statements of theorems are generalised from one-cusped
hyperbolic manifolds to cusped hyperbolic manifold
- …