65 research outputs found
Decomposition theorem on matchable distributive lattices
A distributive lattice structure has been established on the
set of perfect matchings of a plane bipartite graph . We call a lattice {\em
matchable distributive lattice} (simply MDL) if it is isomorphic to such a
distributive lattice. It is natural to ask which lattices are MDLs. We show
that if a plane bipartite graph is elementary, then is
irreducible. Based on this result, a decomposition theorem on MDLs is obtained:
a finite distributive lattice is an MDL if and only if each factor
in any cartesian product decomposition of is an MDL. Two types of
MDLs are presented: and , where
denotes the cartesian product between -element
chain and -element chain, and is a poset implied by any
orientation of a tree.Comment: 19 pages, 7 figure
Pulling Apart 2-spheres in 4-manifolds
An obstruction theory for representing homotopy classes of surfaces in
4-manifolds by immersions with pairwise disjoint images is developed, using the
theory of non-repeating Whitney towers. The accompanying higher-order
intersection invariants provide a geometric generalization of Milnor's
link-homotopy invariants, and can give the complete obstruction to pulling
apart 2-spheres in certain families of 4-manifolds. It is also shown that in an
arbitrary simply connected 4-manifold any number of parallel copies of an
immersed surface with vanishing self-intersection number can be pulled apart,
and that this is not always possible in the non-simply connected setting. The
order 1 intersection invariant is shown to be the complete obstruction to
pulling apart 2-spheres in any 4-manifold after taking connected sums with
finitely many copies of S^2\times S^2; and the order 2 intersection
indeterminacies for quadruples of immersed 2-spheres in a simply connected
4-manifold are shown to lead to interesting number theoretic questions.Comment: Revised to conform with the published version in Documenta
Mathematic
Posets from Admissible Coxeter Sequences
We study the equivalence relation on the set of acyclic orientations of an
undirected graph G generated by source-to-sink conversions. These conversions
arise in the contexts of admissible sequences in Coxeter theory, quiver
representations, and asynchronous graph dynamical systems. To each equivalence
class we associate a poset, characterize combinatorial properties of these
posets, and in turn, the admissible sequences. This allows us to construct an
explicit bijection from the equivalence classes over G to those over G' and G",
the graphs obtained from G by edge deletion and edge contraction of a fixed
cycle-edge, respectively. This bijection yields quick and elegant proofs of two
non-trivial results: (i) A complete combinatorial invariant of the equivalence
classes, and (ii) a solution to the conjugacy problem of Coxeter elements for
simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and
K. Eriksson using a much different approach.Comment: 16 pages, 4 figures. Several examples have been adde
Toric partial orders
We define toric partial orders, corresponding to regions of graphic toric hyperplane arrangements, just as ordinary partial orders correspond to regions of graphic hyperplane arrangements. Combinatorially, toric posets correspond to finite posets under the equivalence relation generated by converting minimal elements into maximal elements, or sources into sinks. We derive toric analogues for several features of ordinary partial orders, such as chains, antichains, transitivity, Hasse diagrams, linear extensions, and total orders
Friends and Strangers Walking on Graphs
Given graphs and with vertex sets and of the same
cardinality, we define a graph whose vertex set consists of
all bijections , where two bijections and
are adjacent if they agree everywhere except for two adjacent
vertices such that and are adjacent in
. This setup, which has a natural interpretation in terms of friends and
strangers walking on graphs, provides a common generalization of Cayley graphs
of symmetric groups generated by transpositions, the famous -puzzle,
generalizations of the -puzzle as studied by Wilson, and work of Stanley
related to flag -vectors. We derive several general results about the graphs
before focusing our attention on some specific choices of
. When is a path graph, we show that the connected components of
correspond to the acyclic orientations of the complement of
. When is a cycle, we obtain a full description of the connected
components of in terms of toric acyclic orientations of the
complement of . We then derive various necessary and/or sufficient
conditions on the graphs and that guarantee the connectedness of
. Finally, we raise several promising further questions.Comment: 28 pages, 5 figure
Some tiling moves explored
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliographical references (p. 135).by David Gupta.Ph.D
- …