6,412 research outputs found
On a Subposet of the Tamari Lattice
We explore some of the properties of a subposet of the Tamari lattice
introduced by Pallo, which we call the comb poset. We show that three binary
functions that are not well-behaved in the Tamari lattice are remarkably
well-behaved within an interval of the comb poset: rotation distance, meets and
joins, and the common parse words function for a pair of trees. We relate this
poset to a partial order on the symmetric group studied by Edelman.Comment: 21 page
An extension of Tamari lattices
For any finite path on the square grid consisting of north and east unit
steps, starting at (0,0), we construct a poset Tam that consists of all
the paths weakly above with the same number of north and east steps as .
For particular choices of , we recover the traditional Tamari lattice and
the -Tamari lattice.
Let be the path obtained from by reading the unit
steps of in reverse order, replacing the east steps by north steps and vice
versa. We show that the poset Tam is isomorphic to the dual of the poset
Tam. We do so by showing bijectively that the poset
Tam is isomorphic to the poset based on rotation of full binary trees with
the fixed canopy , from which the duality follows easily. This also shows
that Tam is a lattice for any path . We also obtain as a corollary of
this bijection that the usual Tamari lattice, based on Dyck paths of height
, is a partition of the (smaller) lattices Tam, where the are all
the paths on the square grid that consist of unit steps.
We explain possible connections between the poset Tam and (the
combinatorics of) the generalized diagonal coinvariant spaces of the symmetric
group.Comment: 18 page
Tamari Lattices and the symmetric Thompson monoid
We investigate the connection between Tamari lattices and the Thompson group
F, summarized in the fact that F is a group of fractions for a certain monoid
F+sym whose Cayley graph includes all Tamari lattices. Under this
correspondence, the Tamari lattice operations are the counterparts of the least
common multiple and greatest common divisor operations in F+sym. As an
application, we show that, for every n, there exists a length l chain in the
nth Tamari lattice whose endpoints are at distance at most 12l/n.Comment: 35page
On the rotation distance between binary trees
We develop combinatorial methods for computing the rotation distance between
binary trees, i.e., equivalently, the flip distance between triangulations of a
polygon. As an application, we prove that, for each n, there exist size n trees
at distance 2n - O(sqrt(n))
KP line solitons and Tamari lattices
The KP-II equation possesses a class of line soliton solutions which can be
qualitatively described via a tropical approximation as a chain of rooted
binary trees, except at "critical" events where a transition to a different
rooted binary tree takes place. We prove that these correspond to maximal
chains in Tamari lattices (which are poset structures on associahedra). We
further derive results that allow to compute details of the evolution,
including the critical events. Moreover, we present some insights into the
structure of the more general line soliton solutions. All this yields a
characterization of possible evolutions of line soliton patterns on a shallow
fluid surface (provided that the KP-II approximation applies).Comment: 49 pages, 36 figures, second version: section 4 expande
A constant-time algorithm for middle levels Gray codes
For any integer a middle levels Gray code is a cyclic listing of
all -element and -element subsets of such that
any two consecutive subsets differ in adding or removing a single element. The
question whether such a Gray code exists for any has been the subject
of intensive research during the last 30 years, and has been answered
affirmatively only recently [T. M\"utze. Proof of the middle levels conjecture.
Proc. London Math. Soc., 112(4):677--713, 2016]. In a follow-up paper [T.
M\"utze and J. Nummenpalo. An efficient algorithm for computing a middle levels
Gray code. To appear in ACM Transactions on Algorithms, 2018] this existence
proof was turned into an algorithm that computes each new set in the Gray code
in time on average. In this work we present an algorithm for
computing a middle levels Gray code in optimal time and space: each new set is
generated in time on average, and the required space is
Efficient computation of middle levels Gray codes
For any integer a middle levels Gray code is a cyclic listing of
all bitstrings of length that have either or entries equal to
1 such that any two consecutive bitstrings in the list differ in exactly one
bit. The question whether such a Gray code exists for every has been
the subject of intensive research during the last 30 years, and has been
answered affirmatively only recently [T. M\"utze. Proof of the middle levels
conjecture. Proc. London Math. Soc., 112(4):677--713, 2016]. In this work we
provide the first efficient algorithm to compute a middle levels Gray code. For
a given bitstring, our algorithm computes the next bitstrings in the
Gray code in time , which is
on average per bitstring provided that
- …