59 research outputs found
On the number of simple arrangements of five double pseudolines
We describe an incremental algorithm to enumerate the isomorphism classes of
double pseudoline arrangements. The correction of our algorithm is based on the
connectedness under mutations of the spaces of one-extensions of double
pseudoline arrangements, proved in this paper. Counting results derived from an
implementation of our algorithm are also reported.Comment: 24 pages, 16 figures, 6 table
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
Multitriangulations, pseudotriangulations and primitive sorting networks
We study the set of all pseudoline arrangements with contact points which
cover a given support. We define a natural notion of flip between these
arrangements and study the graph of these flips. In particular, we provide an
enumeration algorithm for arrangements with a given support, based on the
properties of certain greedy pseudoline arrangements and on their connection
with sorting networks. Both the running time per arrangement and the working
space of our algorithm are polynomial.
As the motivation for this work, we provide in this paper a new
interpretation of both pseudotriangulations and multitriangulations in terms of
pseudoline arrangements on specific supports. This interpretation explains
their common properties and leads to a natural definition of
multipseudotriangulations, which generalizes both. We study elementary
properties of multipseudotriangulations and compare them to iterations of
pseudotriangulations.Comment: 60 pages, 40 figures; minor corrections and improvements of
presentatio
Distances on Rhombus Tilings
The rhombus tilings of a simply connected domain of the Euclidean plane are
known to form a flip-connected space (a flip is the elementary operation on
rhombus tilings which rotates 180{\deg} a hexagon made of three rhombi).
Motivated by the study of a quasicrystal growth model, we are here interested
in better understanding how "tight" rhombus tiling spaces are flip-connected.
We introduce a lower bound (Hamming-distance) on the minimal number of flips to
link two tilings (flip-distance), and we investigate whether it is sharp. The
answer depends on the number n of different edge directions in the tiling:
positive for n=3 (dimer tilings) or n=4 (octogonal tilings), but possibly
negative for n=5 (decagonal tilings) or greater values of n. A standard proof
is provided for the n=3 and n=4 cases, while the complexity of the n=5 case led
to a computer-assisted proof (whose main result can however be easily checked
by hand).Comment: 18 pages, 9 figures, submitted to Theoretical Computer Science
(special issue of DGCI'09
Spindle configurations of skew lines
We prove a conjecture of Crapo and Penne which characterizes isotopy classes
of skew configurations with spindle-structure. We use this result in order to
define an invariant, spindle-genus, for spindle-configurations.
We also slightly simplify the exposition of some known invariants for
configurations of skew lines and use them to define a natural partition of the
lines in a skew configuration.
Finally, we describe an algorithm which constructs a spindle in a given
switching class, or proves non-existence of such a spindle.Comment: 42 pages, many figures. A new corrected proof of a conjecture of
Crapo and Penne is added. More new material is also adde
- …