860 research outputs found
Universality theorems for inscribed polytopes and Delaunay triangulations
We prove that every primary basic semialgebraic set is homotopy equivalent to
the set of inscribed realizations (up to M\"obius transformation) of a
polytope. If the semialgebraic set is moreover open, then, in addition, we
prove that (up to homotopy) it is a retract of the realization space of some
inscribed neighborly (and simplicial) polytope. We also show that all algebraic
extensions of are needed to coordinatize inscribed polytopes.
These statements show that inscribed polytopes exhibit the Mn\"ev universality
phenomenon.
Via stereographic projections, these theorems have a direct translation to
universality theorems for Delaunay subdivisions. In particular, our results
imply that the realizability problem for Delaunay triangulations is
polynomially equivalent to the existential theory of the reals.Comment: 15 pages, 2 figure
First order convergence of matroids
The model theory based notion of the first order convergence unifies the
notions of the left-convergence for dense structures and the Benjamini-Schramm
convergence for sparse structures. It is known that every first order
convergent sequence of graphs with bounded tree-depth can be represented by an
analytic limit object called a limit modeling. We establish the matroid
counterpart of this result: every first order convergent sequence of matroids
with bounded branch-depth representable over a fixed finite field has a limit
modeling, i.e., there exists an infinite matroid with the elements forming a
probability space that has asymptotically the same first order properties. We
show that neither of the bounded branch-depth assumption nor the
representability assumption can be removed.Comment: Accepted to the European Journal of Combinatoric
Oriented Matroids -- Combinatorial Structures Underlying Loop Quantum Gravity
We analyze combinatorial structures which play a central role in determining
spectral properties of the volume operator in loop quantum gravity (LQG). These
structures encode geometrical information of the embedding of arbitrary valence
vertices of a graph in 3-dimensional Riemannian space, and can be represented
by sign strings containing relative orientations of embedded edges. We
demonstrate that these signature factors are a special representation of the
general mathematical concept of an oriented matroid. Moreover, we show that
oriented matroids can also be used to describe the topology (connectedness) of
directed graphs. Hence the mathematical methods developed for oriented matroids
can be applied to the difficult combinatorics of embedded graphs underlying the
construction of LQG. As a first application we revisit the analysis of [4-5],
and find that enumeration of all possible sign configurations used there is
equivalent to enumerating all realizable oriented matroids of rank 3, and thus
can be greatly simplified. We find that for 7-valent vertices having no
coplanar triples of edge tangents, the smallest non-zero eigenvalue of the
volume spectrum does not grow as one increases the maximum spin \jmax at the
vertex, for any orientation of the edge tangents. This indicates that, in
contrast to the area operator, considering large \jmax does not necessarily
imply large volume eigenvalues. In addition we give an outlook to possible
starting points for rewriting the combinatorics of LQG in terms of oriented
matroids.Comment: 43 pages, 26 figures, LaTeX. Version published in CQG. Typos
corrected, presentation slightly extende
Positively oriented matroids are realizable
We prove da Silva's 1987 conjecture that any positively oriented matroid is a
positroid; that is, it can be realized by a set of vectors in a real vector
space. It follows from this result and a result of the third author that the
positive matroid Grassmannian (or positive MacPhersonian) is homeomorphic to a
closed ball.Comment: 20 pages, 3 figures, references adde
- …