Abstract:In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded semialgebraic set, it is not possible to substitute regular maps by polynomial maps in the previous statement. In this work we determine constructively all unbounded $n$-dimensional convex polyhedra ${\mathcal K}\subset{\mathbb R}^n$ that are polynomial images of ${\mathbb R}^n$. We also analyze for which of them the interior ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$. A discriminating object is the recession cone $\vec{\mathcal C}({\mathcal K})$ of ${\mathcal K}$. Namely, \em ${\mathcal K}$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{\mathcal C}({\mathcal K})$ has dimension $n$\em. In addition, \em ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{\mathcal C}({\mathcal K})$ has dimension $n$ and ${\mathcal K}$ has no bounded faces of dimension $n-1$\em. A key result is an improvement of Pecker's elimination of inequalities to represent semialgebraic sets as projections of algebraic sets. Empirical approaches suggest us that there are `few' polynomial maps that have a concrete convex polyhedron as a polynomial image and that there are even fewer for which it is affordable to show that their images actually correspond to our given convex polyhedron. This search of a `needle in the haystack' justifies somehow the technicalities involved in our constructive proofs.

Intersection bodies of polytopes: translations and convexity

Reachability of Affine Systems on Polytopes

Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Algebraic intersections on Bouw-Möller surfaces, and more general convex polygons

Isomorphic properties of Intersection bodies

New covering and illumination results for a class of polytopes

Veronese polytopes: Extending the framework of cyclic polytopes

Improved Tverberg theorems for certain families of polytopes

Small perturbations of polytopes

Products of abstract polytopes

A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

Intersection Bodies with Certain Symmetries

Random polytopes in convex bodies: Bridging the gap between extremal containers

Intersection theoretic inequalities via Lorentzian polynomials

Deformed Intersections of Half-spaces

Properties of generalized polyhedral convex multifunctions

Non-intersection bodies all of whose central sections are intersection bodies

Tilted inequalities and facets of the set covering polytope: A theoretical analysis

Generalized Polyhedral Convex Optimization Problems