30 research outputs found
Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles
Flip graphs of combinatorial and geometric objects are at the heart of many
deep structural insights and connections between different branches of discrete
mathematics and computer science. They also provide a natural framework for the
study of reconfiguration problems. We study flip graphs of arrangements of
pseudolines and of arrangements of pseudocircles, which are combinatorial
generalizations of lines and circles, respectively. In both cases we consider
triangle flips as local transformation and prove conjectures regarding their
connectivity.
In the case of pseudolines we show that the connectivity of the flip
graph equals its minimum degree, which is exactly . For the proof we
introduce the class of shellable line arrangements, which serve as reference
objects for the construction of disjoint paths. In fact, shellable arrangements
are elements of a flip graph of line arrangements which are vertices of a
polytope (Felsner and Ziegler; DM 241 (2001), 301--312). This polytope forms a
cluster of good connectivity in the flip graph of pseudolines. In the case of
pseudocircles we show that triangle flips induce a connected flip graph on
\emph{intersecting} arrangements and also on cylindrical intersecting
arrangements. The result for cylindrical arrangements is used in the proof for
intersecting arrangements. We also show that in both settings the diameter of
the flip graph is in . Our constructions make essential use of
variants of the sweeping lemma for pseudocircle arrangements (Snoeyink and
Hershberger; Proc.\ SoCG 1989: 354--363). We finally study cylindrical
arrangements in their own right and provide new combinatorial characterizations
of this class
LR characterization of chirotopes of finite planar families of pairwise disjoint convex bodies
We extend the classical LR characterization of chirotopes of finite planar
families of points to chirotopes of finite planar families of pairwise disjoint
convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a
chirotope of finite planar families of pairwise disjoint convex bodies if and
only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the
set of 3-subsets of J is a chirotope of finite planar families of pairwise
disjoint convex bodies. Our main tool is the polarity map, i.e., the map that
assigns to a convex body the set of lines missing its interior, from which we
derive the key notion of arrangements of double pseudolines, introduced for the
first time in this paper.Comment: 100 pages, 73 figures; accepted manuscript versio
On a Generalization of Zaslavsky's Theorem for Hyperplane Arrangements
We define arrangements of codimension-1 submanifolds in a smooth manifold
which generalize arrangements of hyperplanes. When these submanifolds are
removed the manifold breaks up into regions, each of which is homeomorphic to
an open disc. The aim of this paper is to derive formulas that count the number
of regions formed by such an arrangement. We achieve this aim by generalizing
Zaslavsky's theorem to this setting. We show that this number is determined by
the combinatorics of the intersections of these submanifolds.Comment: version 3: The title had a typo in v2 which is now fixed. Will appear
in Annals of Combinatorics. Version. 2: 19 pages, major revision in terms of
style and language, some results improved, contact information updated, final
versio
Recommended from our members
Discrete Geometry
A number of important recent developments in various branches of discrete geometry were presented at the workshop. The presentations illustrated both the diversity of the area and its strong connections to other fields of mathematics such as topology, combinatorics or algebraic geometry. The open questions abound and many of the results presented were obtained by young researchers, confirming the great vitality of discrete geometry