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.

Vertices of the polytope of polystochastic matrices and product constructions

Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices

On the Number of Vertices of the Stochastic Tensor Polytope

Comparison of the upper bounds for the extreme points of the polytopes of line-stochastic tensors

Characterization of polystochastic matrices of order $4$ with zero permanent

Enumerating extreme points of the polytopes of stochastic tensors: an optimization approach

Products of multidimensional matrices, stochastic matrices, and permanents

The structure and normalized volume of Monge polytopes

Random Shadows of Fixed Polytopes

Recognizing Cartesian products of matrices and polytopes

Splines, lattice points, and arithmetic matroids

Mixed random beta-polytopes

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Slack matrices, $k$-products, and $2$-level polytopes

Generalized Pitman-Stanley polytope: vertices and faces

Polyhedral volume ratios, Izmestiev's Colin de Verdiere matrices and Spectral Gaps

Vertex generated polytopes

Enumerating integer points in polytopes with bounded subdeterminants

On the Products of Stochastic and Diagonal Matrices

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

On the image of convolutions along an arithmetic progression