Title:HV-symmetric polyhedra and bipolarity

Abstract:Every polyhedron P in R^n can be described by an H-representation \mathcal{H}(P) consisting of half spaces or equivalently by a V-representation \mathcal{V}(P) consisting of the convex hull of a set of vertices and extreme rays. We can define n+1 column matrices H(P) and V(P) that encode these representations. Define polyhedron Q such that V(P) encodes \mathcal{H}(Q). We call P HV-symmetric if V(Q) in turn encodes \mathcal{H}(P). It is well known and often stated that polytopes that contain the origin in their interior and pointed polyhedral cones are HV-symmetric. It seems to be less well known that, more generally, a polyhedron is HV -symmetric if and only if it contains the origin, in other words it is bipolar. We show this using Minkowski's bipolar equation and discuss implications for the vertex and facet enumeration problems.