User:MWinter4/Wachspress coordinates

In geometric modeling, Wachspress coordinates form a system of generalized barycentric coordinates (GBCs) on convex polytopes. For a convex polytope with vertices and a point , the Wachspress coordinates provide a canonical choice for convex coefficients for , that is,

(normalization) and (linear precision).

Wachspress coordinates were initially introduced by Eugene Wachspress on polygons in dimension two, and later generalized to polytopes of higher dimension and general combinatorics by Joe Warren.

Wachspress coordinates have a number of properties not shared by most other GBCs. They are of particular interest for theoretical considerations since their existence is a strong statement about the geometry of convex polytopes.

Wachspress coordinates are rational coordinates, which makes them objects of intrinsic algebro-geometry interest. At the same time they can be defined in terms of convex geometry, spectral graph theory or rigidity theory and also emerge in mathematical physics and algebraic statistics. Their ubiquity makes them a source for surprising interactions between these domains.

Wachspress coordinates are rational coordinates, that is, each coordinate is given as a rational function over the polytope:

where the and are polynomials and is required for normalization. Wachspress showed that generalized barycentric coordinates can in general not be polynomials, and so Wachspress coordinates are in a sense as simple as possible. In fact, Warren showed that they are the unique rational generalized barycentric coordinates of lowest possible degree. The degree of is exactly , where is the number of facets of the polytope, and is its dimension. The degree of is .

Wachspress coordinates are affine invariant, which is best seen from their definition via relative cone volumes.

Rational generalized barycentric coordinates

edit

Wachspress coordinates are rational functions: there are polynomials   so that

 

The polynomial   guarantees normalization. It is also known as the adjoint polynomial of the polytope and plays a significant role in the study of positive geometries.

The degree of the Wachspress coordiantes, that is, the degree of the  , is precisely  , where   is the number of facets of   and   is the dimension of the polytope. It was shown by Warren (199?) that this is the lowest possible degree for GBCs on a polytope and that the Wachspress coordinates are the unique GBCs of this degree.

Applications

edit
  • Positive geometry
  • Algebraic statistics
  • Finite element basis
  • ...

Properties

edit
  • ...

Construction via cone volumes

edit

Assume that   contains the origin in its interior. To compute the Wachspress coordinates of the origin in the polytope let   be its polar dual. For a vertex   in  , let   be the facet of   dual to  , and   the cone over   with apex at  . The Wachspress coordinate   of the origin is the volume of this cone relative to the volume of the polar dual:

 

The cone volumes clearly add up to the volume of   and so  . To compute the Wachspress coordinates for any other interior point   of the polytope, perform the above computation for the translate  . Since relative volumes are affinely invariant, the Wachspress coordinates too are affinely invariant (i.e. they do not change if the polytope and the point are transformed by the same affine transformation).

Relation to Colin de Verdière matrices

edit

Suppose that   contains the origin in its interior. For a vector   the generalized polar dual is

 

...

 

Wachspres variety

edit

The Wachspress coordinates describe a map from   to the standard simplex  . The image of this map is the graph of a rational function in   and hence an affine variety, the Wachspress variety. Its ideal is called the Wachspress ideal. The Wachspress variety is smooth (in  ) and of codimension  . It is cut out by   polynomials of degree  :

 

Wachspress map

edit

References

edit
edit