Related papers: Realization spaces of 4-polytopes are universal

In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those…

In this paper, we compute the rational homotopy type of the quaternionic projective bundle $P(\tau): \mathbb{H}P^{n-1} \rightarrow P(E) \rightarrow M$ obtain from the quaternionic tangent bundle $\tau: \mathbb{H}^{n} \rightarrow E…

In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].

We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture…

All four dimensional orbit spaces of compact coregular linear groups have been determined. The results are obtained through the integration of a universal differential equation, that only requires as input the number of elements of an…

The Fine interior $F(P)$ of a $d$-dimensional lattice polytope $P \subset {\Bbb R}^d$ is the set of all points $y \in P$ having integral distance at least $1$ to any integral supporting hyperplane of $P$. We call a lattice polytope…

Let $A$ be a polytope in $\mathbb{R}^d$ (not necessarily convex or connected). We say that $A$ is spectral if the space $L^2(A)$ has an orthogonal basis consisting of exponential functions. A result due to Kolountzakis and Papadimitrakis…

4-dimensional $A_{4}$ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(A_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an…

Let $D$ be the set of $n\times n$ positive semidefinite matrices of trace equal to one, also known as the set of density matrices. We prove two results on the hardness of approximating $D$ with polytopes. First, we show that if $0 <…

Peter McMullen has developed a theory of realizations of abstract regular polytopes, and has shown that the realizations up to congruence form a pointed convex cone which is the direct product of certain irreducible subcones. We show that…

Let $\mathcal{P}$ be the class of combinatorial 3-dimensional simple polytopes $P$, different from a tetrahedron, without 3- and 4-belts of facets. By the results of Pogorelov and Andreev, a polytope $P$ admits a realisation in Lobachevsky…

We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We…

A Coxeter polytope is a convex polytope in a real projective space equipped with linear reflections in its facets, such that the orbits of the polytope under the action of the group generated by the linear reflections tessellate a convex…

We prove that every 4-polytope is determined by its edge-polygon incidences, solving an open problem of Gr\"unbaum. For each $d \geq 3$, we show that not every $d$-polytope is determined by its $(d-3)$-skeleton and dual $(d-3)$-skeleton…

We define an abstract regular polytope to be internally self-dual if its self-duality can be realized as one of its symmetries. This property has many interesting implications on the structure of the polytope, which we present here. Then,…

A central question in optimization is to maximize (or minimize) a linear function over a given polytope P. To solve such a problem in practice one needs a concise description of the polytope P. In this paper we are interested in…

Any homogeneous polynomial $P(x, y, z)$ of degree $d$, being restricted to a unit sphere $S^2$, admits essentially a unique representation of the form $\lambda_0 + \sum_{k = 1}^d \lambda_k [\prod_{j = 1}^k L_{kj}]$, where $L_{kj}$'s are…

Unstable coalgebras over the Steenrod algebra form a natural target category for singular homology with prime field coefficients. The realization problem asks whether an unstable coalgebra is isomorphic to the homology of a topological…

We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective…

We give an explicit construction, based on Hadamard matrices, for an infinite series of floor{sqrt{d}/2}-neighborly centrally symmetric d-dimensional polytopes with 4d vertices. This appears to be the best explicit version yet of a recent…