Geométrie des suites de Kronecker.
The Löwner-John ellipse of a full-dimensional bounded convex set is a circumscribed ellipse with the property that if we shrink it by the factor (where is dimension), we obtain an inscribed ellipse. Goffin’s algorithm constructs, in polynomial time, a tight approximation of the Löwner-John ellipse of a polyhedron given by facet description. In this text we adapt the algorithm for zonotopes given by generator descriptions. We show that the adapted version works in time polynomial in the size...
We study the integral quaternions and the integral octonions along the combinatorics of the -cell, a uniform polytope with the symmetry , and the Gosset polytope with the symmetry . We identify the set of the unit integral octonions or quaternions as a Gosset polytope or a -cell and describe the subsets of integral numbers having small length as certain combinations of unit integral numbers according to the or actions on the or the -cell, respectively. Moreover, we show that each...
The 3-Opt procedure deals with interchanging three edges of a tour with three edges not on that tour. For n≥6, the 3-Interchange Graph is a graph on 1/2(n-1)! vertices, corresponding to the hamiltonian tours in K_n; two vertices are adjacent iff the corresponding hamiltonian tours differ in an interchange of 3 edges; i.e. the tours differ in a single 3-Opt step. It is shown that the 3-Interchange Graph is a hamiltonian subgraph of the Symmetric Traveling Salesman Polytope. Upper bounds are derived...
Let be the following algorithmic problem: Given a finite simplicial complex of dimension at most , does there exist a (piecewise linear) embedding of into ? Known results easily imply polynomiality of (; the case is graph planarity) and of for all . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that and are undecidable for each . Our main result is NP-hardness of and, more generally, of for all , with...
In this paper, we explore a connection between binary hierarchical models, their marginal polytopes, and codeword polytopes, the convex hulls of linear codes. The class of linear codes that are realizable by hierarchical models is determined. We classify all full dimensional polytopes with the property that their vertices form a linear code and give an algorithm that determines them.
Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite-dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection...