HOME

TheInfoList



OR:

In computational geometry, an alpha shape, or α-shape, is a family of piecewise linear simple curves in the Euclidean plane associated with the shape of a finite set of points. They were first defined by . The alpha-shape associated with a set of points is a generalization of the concept of the convex hull, i.e. every convex hull is an alpha-shape but not every alpha shape is a convex hull.


Characterization

For each
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
''α'', define the concept of a ''generalized disk of radius'' 1/''α'' as follows: * If ''α'' = 0, it is a closed half-plane; * If ''α'' > 0, it is a closed disk of radius 1/''α''; * If ''α'' < 0, it is the closure of the complement of a disk of radius −1/''α''. Then an edge of the alpha-shape is drawn between two members of the finite point set whenever there exists a generalized disk of radius 1/''α'' containing none of the point set and which has the property that the two points lie on its boundary. If ''α'' = 0, then the alpha-shape associated with the finite point set is its ordinary convex hull.


Alpha complex

Alpha shapes are closely related to alpha complexes, subcomplexes of the
Delaunay triangulation In mathematics and computational geometry, a Delaunay triangulation (also known as a Delone triangulation) for a given set P of discrete points in a general position is a triangulation DT(P) such that no point in P is inside the circumcircle o ...
of the point set. Each edge or triangle of the
Delaunay triangulation In mathematics and computational geometry, a Delaunay triangulation (also known as a Delone triangulation) for a given set P of discrete points in a general position is a triangulation DT(P) such that no point in P is inside the circumcircle o ...
may be associated with a characteristic radius, the radius of the smallest empty circle containing the edge or triangle. For each
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
''α'', the ''α''-complex of the given set of points is the simplicial complex formed by the set of edges and triangles whose radii are at most 1/''α''. The union of the edges and triangles in the ''α''-complex forms a shape closely resembling the ''α''-shape; however it differs in that it has polygonal edges rather than edges formed from arcs of circles. More specifically, showed that the two shapes are
homotopy equivalent In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deforma ...
. (In this later work, Edelsbrunner used the name "''α''-shape" to refer to the union of the cells in the ''α''-complex, and instead called the related curvilinear shape an ''α''-body.)


Examples

This technique can be employed to reconstruct a
Fermi surface In condensed matter physics, the Fermi surface is the surface in reciprocal space which separates occupied from unoccupied electron states at zero temperature. The shape of the Fermi surface is derived from the periodicity and symmetry of the crys ...
from the electronic Bloch spectral function evaluated at the Fermi level, as obtained from the
Green's function In mathematics, a Green's function is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions. This means that if \operatorname is the linear differenti ...
in a generalised ab-initio study of the problem. The Fermi surface is then defined as the set of reciprocal space points within the first
Brillouin zone In mathematics and solid state physics, the first Brillouin zone is a uniquely defined primitive cell in reciprocal space. In the same way the Bravais lattice is divided up into Wigner–Seitz cells in the real lattice, the reciprocal lattice ...
, where the signal is highest. The definition has the advantage of covering also cases of various forms of disorder.


See also

*
Beta skeleton In computational geometry and geometric graph theory, a ''β''-skeleton or beta skeleton is an undirected graph defined from a set of points in the Euclidean plane. Two points ''p'' and ''q'' are connected by an edge whenever all the angles ''prq ...


References

* N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. P. Mucke, and C. Varela.
Alpha shapes: definition and software
. In ''Proc. Internat. Comput. Geom. Software Workshop 1995'', Minneapolis. *. *.


External links

{{commonscat
2D Alpha Shapes
an
3D Alpha Shapes
in CGAL the Computational Geometry Algorithms Library
Alpha Complex
in the GUDHI library.
Description and implementation by Duke University


– with illustrations and interactive demonstration

* ttps://web.archive.org/web/20110308071257/http://www.mpi-inf.mpg.de/~jgiesen/tch/sem06/Celikik.pdf Description of the implementation details for alpha shapes- lecture providing a description of the formal and intuitive aspects of alpha shape implementation
Alpha Hulls, Shapes, and Weighted things
- lecture slides by Robert Pless at the
Washington University Washington University in St. Louis (WashU or WUSTL) is a private research university with its main campus in St. Louis County, and Clayton, Missouri. Founded in 1853, the university is named after George Washington. Washington University is r ...
Convex hulls Computational geometry