208 research outputs found
Arithmetic of marked order polytopes, monotone triangle reciprocity, and partial colorings
For a poset P, a subposet A, and an order preserving map F from A into the
real numbers, the marked order polytope parametrizes the order preserving
extensions of F to P. We show that the function counting integral-valued
extensions is a piecewise polynomial in F and we prove a reciprocity statement
in terms of order-reversing maps. We apply our results to give a geometric
proof of a combinatorial reciprocity for monotone triangles due to Fischer and
Riegler (2011) and we consider the enumerative problem of counting extensions
of partial graph colorings of Herzberg and Murty (2007).Comment: 17 pages, 10 figures; V2: minor changes (including title); V3:
examples included (suggested by referee), to appear in "SIAM Journal on
Discrete Mathematics
Nowhere Dense Graph Classes and Dimension
Nowhere dense graph classes provide one of the least restrictive notions of
sparsity for graphs. Several equivalent characterizations of nowhere dense
classes have been obtained over the years, using a wide range of combinatorial
objects. In this paper we establish a new characterization of nowhere dense
classes, in terms of poset dimension: A monotone graph class is nowhere dense
if and only if for every and every , posets of height
at most with elements and whose cover graphs are in the class have
dimension .Comment: v4: Minor changes suggested by a refere
Counting Proper Mergings of Chains and Antichains
A proper merging of two disjoint quasi-ordered sets and is a
quasi-order on the union of and such that the restriction to and
yields the original quasi-order again and such that no elements of and
are identified. In this article, we consider the cases where and
are chains, where and are antichains, and where is an antichain and
is a chain. We give formulas that determine the number of proper mergings
in all three cases, and introduce two new bijections from proper mergings of
two chains to plane partitions and from proper mergings of an antichain and a
chain to monotone colorings of complete bipartite digraphs. Additionally, we
use these bijections to count the Galois connections between two chains, and
between a chain and a Boolean lattice respectively.Comment: 36 pages, 15 figures, 5 table
Ramsey numbers for partially-ordered sets
We present a refinement of Ramsey numbers by considering graphs with a
partial ordering on their vertices. This is a natural extension of the ordered
Ramsey numbers. We formalize situations in which we can use arbitrary families
of partially-ordered sets to form host graphs for Ramsey problems. We explore
connections to well studied Tur\'an-type problems in partially-ordered sets,
particularly those in the Boolean lattice. We find a strong difference between
Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the
partial ordering on the graphs have large antichains.Comment: 18 pages, 3 figures, 1 tabl
Proper Mergings of Stars and Chains are Counted by Sums of Antidiagonals in Certain Convolution Arrays -- The Details
A proper merging of two disjoint quasi-ordered sets and is a
quasi-order on the union of and such that the restriction to or
yields the original quasi-order again and such that no elements of and
are identified. In this article, we determine the number of proper mergings in
the case where is a star (i.e. an antichain with a smallest element
adjoined), and is a chain. We show that the lattice of proper mergings of
an -antichain and an -chain, previously investigated by the author, is a
quotient lattice of the lattice of proper mergings of an -star and an
-chain, and we determine the number of proper mergings of an -star and an
-chain by counting the number of congruence classes and by determining their
cardinalities. Additionally, we compute the number of Galois connections
between certain modified Boolean lattices and chains.Comment: 27 pages, 7 figures, 1 table. Jonathan Farley has solved Problem
4.18; added Section 4.4 to describe his solutio
Algebra and the Complexity of Digraph CSPs: a Survey
We present a brief survey of some of the key results on the interplay between algebraic and graph-theoretic methods in the study of the complexity of digraph-based constraint satisfaction problems
On the homomorphism order of labeled posets
Partially ordered sets labeled with k labels (k-posets) and their
homomorphisms are examined. We give a representation of directed graphs by
k-posets; this provides a new proof of the universality of the homomorphism
order of k-posets. This universal order is a distributive lattice. We
investigate some other properties, namely the infinite distributivity, the
computation of infinite suprema and infima, and the complexity of certain
decision problems involving the homomorphism order of k-posets. Sublattices are
also examined.Comment: 14 page
- …