17 research outputs found
A Note on Flips in Diagonal Rectangulations
Rectangulations are partitions of a square into axis-aligned rectangles. A
number of results provide bijections between combinatorial equivalence classes
of rectangulations and families of pattern-avoiding permutations. Other results
deal with local changes involving a single edge of a rectangulation, referred
to as flips, edge rotations, or edge pivoting. Such operations induce a graph
on equivalence classes of rectangulations, related to so-called flip graphs on
triangulations and other families of geometric partitions. In this note, we
consider a family of flip operations on the equivalence classes of diagonal
rectangulations, and their interpretation as transpositions in the associated
Baxter permutations, avoiding the vincular patterns { 3{14}2, 2{41}3 }. This
complements results from Law and Reading (JCTA, 2012) and provides a complete
characterization of flip operations on diagonal rectangulations, in both
geometric and combinatorial terms
The Hopf algebra of diagonal rectangulations
We define and study a combinatorial Hopf algebra dRec with basis elements
indexed by diagonal rectangulations of a square. This Hopf algebra provides an
intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter
permutations, which previously had only been described extrinsically as a sub
Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We
describe the natural lattice structure on diagonal rectangulations, analogous
to the Tamari lattice on triangulations, and observe that diagonal
rectangulations index the vertices of a polytope analogous to the
associahedron. We give an explicit bijection between twisted Baxter
permutations and the better-known Baxter permutations, and describe the
resulting Hopf algebra structure on Baxter permutations.Comment: Very minor changes from version 1, in response to comments by
referees. This is the final version, to appear in JCTA. 43 pages, 17 figure
Efficient Generation of Rectangulations via Permutation Languages
A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations. Our algorithms work under very mild assumptions, and apply to a large number of rectangulation classes known from the literature, such as generic rectangulations, diagonal rectangulations, 1-sided/area-universal, block-aligned rectangulations, and their guillotine variants. They also apply to classes of rectangulations that are characterized by avoiding certain patterns, and in this work we initiate a systematic investigation of pattern avoidance in rectangulations. Our generation algorithms are efficient, in some cases even loopless or constant amortized time, i.e., each new rectangulation is generated in constant time in the worst case or on average, respectively. Moreover, the Gray codes we obtain are cyclic, and sometimes provably optimal, in the sense that they correspond to a Hamilton cycle on the skeleton of an underlying polytope. These results are obtained by encoding rectangulations as permutations, and by applying our recently developed permutation language framework
Efficient generation of rectangulations via permutation languages
A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point.
In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations.
Our algorithms work under very mild assumptions, and apply to a large number of rectangulation classes known from the literature, such as generic rectangulations, diagonal rectangulations, 1-sided/area-universal, block-aligned rectangulations, and their guillotine variants.
They also apply to classes of rectangulations that are characterized by avoiding certain patterns, and in this work we initiate a systematic investigation of pattern avoidance in rectangulations.
Our generation algorithms are efficient, in some cases even loopless or constant amortized time, i.e., each new rectangulation is generated in constant time in the worst case or on average, respectively.
Moreover, the Gray codes we obtain are cyclic, and sometimes provably optimal, in the sense that they correspond to a Hamilton cycle on the skeleton of an underlying polytope.
These results are obtained by encoding rectangulations as permutations, and by applying our recently developed permutation language framework
Combinatorial generation via permutation languages
In this work we present a general and versatile algorithmic framework for exhaustively generating a large variety of different combinatorial objects, based on encoding them as permutations.
This approach provides a unified view on many known results and allows us to prove many new ones.
In particular, we obtain the following four classical Gray codes as special cases: the Steinhaus-Johnson-Trotter algorithm to generate all permutations of an -element set by adjacent transpositions; the binary reflected Gray code to generate all -bit strings by flipping a single bit in each step; the Gray code for generating all -vertex binary trees by rotations due to Lucas, van Baronaigien, and Ruskey; the Gray code for generating all partitions of an -element ground set by element exchanges due to Kaye.
We present two distinct applications for our new framework:
The first main application is the generation of pattern-avoiding permutations, yielding new Gray codes for different families of permutations that are characterized by the avoidance of certain classical patterns, (bi)vincular patterns, barred patterns, Bruhat-restricted patterns, mesh patterns, monotone and geometric grid classes, and many others.
We thus also obtain new Gray code algorithms for the combinatorial objects that are in bijection to these permutations, in particular for five different types of geometric rectangulations, also known as floorplans, which are divisions of a square into rectangles subject to certain restrictions.
The second main application of our framework are lattice congruences of the weak order on the symmetric group~.
Recently, Pilaud and Santos realized all those lattice congruences as -dimensional polytopes, called quotientopes, which generalize hypercubes, associahedra, permutahedra etc.
Our algorithm generates the equivalence classes of each of those lattice congruences, by producing a Hamilton path on the skeleton of the corresponding quotientope, yielding a constructive proof that each of these highly symmetric graphs is Hamiltonian.
We thus also obtain a provable notion of optimality for the Gray codes obtained from our framework: They translate into walks along the edges of a polytope
Some notes on generic rectangulations
A rectangulation is a subdivision of a rectangle into rectangles. A generic rectangulation is a rectangulation that has no crossing segments. We explain several observations and pose some questions about generic rectangulations. In particular, we show how one may "centrally invert" a generic rectangulation about any given rectangle, analogous to reflection across a circle in classical geometry. We also explore 3-dimensional orthogonal polytopes related to "marked" rectangulations and drawings of planar maps. These observations arise from viewing a generic rectangulation as topologically equivalent to a sphere
Reconfiguration of plane trees in convex geometric graphs
A non-crossing spanning tree of a set of points in the plane is a spanning
tree whose edges pairwise do not cross. Avis and Fukuda in 1996 proved that
there always exists a flip sequence of length at most between any pair
of non-crossing spanning trees (where denotes the number of points).
Hernando et al. proved that the length of a minimal flip sequence can be of
length at least . Two recent results of Aichholzer et al. and
Bousquet et al. improved the Avis and Fukuda upper bound by proving that there
always exists a flip sequence of length respectively at most and
. We improve the upper bound by a linear factor for the first
time in 25 years by proving that there always exists a flip sequence between
any pair of non-crossing spanning trees of length at most where
. Our result is actually stronger since we prove that, for any
two trees , there exists a flip sequence from to of length
at most . We also improve the best lower bound in terms
of the symmetric difference by proving that there exists a pair of trees
such that a minimal flip sequence has length , improving the lower bound of Hernando et al. by considering the
symmetric difference instead of the number of vertices. We generalize this
lower bound construction to non-crossing flips (where we close the gap between
upper and lower bounds) and rotations
Brick polytopes, lattice quotients, and Hopf algebras
This paper is motivated by the interplay between the Tamari lattice, J.-L.
Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf
algebra on binary trees. We show that these constructions extend in the world
of acyclic -triangulations, which were already considered as the vertices of
V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural
surjection from the permutations to the acyclic -triangulations. We show
that the fibers of this surjection are the classes of the congruence
on defined as the transitive closure of the rewriting rule for letters
and words on . We then
show that the increasing flip order on -triangulations is the lattice
quotient of the weak order by this congruence. Moreover, we use this surjection
to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on
permutations, indexed by acyclic -triangulations, and to describe the
product and coproduct in this algebra and its dual in term of combinatorial
operations on acyclic -triangulations. Finally, we extend our results in
three directions, describing a Cambrian, a tuple, and a Schr\"oder version of
these constructions.Comment: 59 pages, 32 figure