1,668 research outputs found
A Family of Partially Ordered Sets with Small Balance Constant
Given a finite poset and two distinct elements and , we
let denote the fraction of linear
extensions of in which precedes . The balance constant
of is then defined by The
- conjecture asserts that whenever
is not a chain, but except from certain trivial examples it is not
known when equality occurs, or even if balance constants can approach .
In this paper we make some progress on the conjecture by exhibiting a
sequence of posets with balance constants approaching
, answering a question of
Brightwell. These provide smaller balance constants than any other known
nontrivial family.Comment: 11 pages, 4 figure
Antichain cutsets of strongly connected posets
Rival and Zaguia showed that the antichain cutsets of a finite Boolean
lattice are exactly the level sets. We show that a similar characterization of
antichain cutsets holds for any strongly connected poset of locally finite
height. As a corollary, we get such a characterization for semimodular
lattices, supersolvable lattices, Bruhat orders, locally shellable lattices,
and many more. We also consider a generalization to strongly connected
hypergraphs having finite edges.Comment: 12 pages; v2 contains minor fixes for publicatio
Balance constants for Coxeter groups
The - Conjecture, originally formulated in 1968, is one of the
best-known open problems in the theory of posets, stating that the balance
constant (a quantity determined by the linear extensions) of any non-total
order is at least . By reinterpreting balance constants of posets in terms
of convex subsets of the symmetric group, we extend the study of balance
constants to convex subsets of any Coxeter group. Remarkably, we conjecture
that the lower bound of still applies in any finite Weyl group, with new
and interesting equality cases appearing.
We generalize several of the main results towards the - Conjecture
to this new setting: we prove our conjecture when is a weak order interval
below a fully commutative element in any acyclic Coxeter group (an
generalization of the case of width-two posets), we give a uniform lower bound
for balance constants in all finite Weyl groups using a new generalization of
order polytopes to this context, and we introduce generalized semiorders for
which we resolve the conjecture.
We hope this new perspective may shed light on the proper level of generality
in which to consider the - Conjecture, and therefore on which methods
are likely to be successful in resolving it.Comment: 27 page
A Distributive Lattice Connected with Arithmetic Progressions of Length Three
Let be a collection of 3-element subsets of with the property that if and are two 3-element
subsets in , then there exists an integer sequence such that and are arithmetic progressions.
We determine the number of such collections and the number of
them of maximum size. These results confirm two conjectures of Noam Elkies.Comment: 25 pages, 1 figure. To appear in the Ramanujan Journa
Domains via approximation operators
In this paper, we tailor-make new approximation operators inspired by rough
set theory and specially suited for domain theory. Our approximation operators
offer a fresh perspective to existing concepts and results in domain theory,
but also reveal ways to establishing novel domain-theoretic results. For
instance, (1) the well-known interpolation property of the way-below relation
on a continuous poset is equivalent to the idempotence of a certain
set-operator; (2) the continuity of a poset can be characterized by the
coincidence of the Scott closure operator and the upper approximation operator
induced by the way below relation; (3) meet-continuity can be established from
a certain property of the topological closure operator. Additionally, we show
how, to each approximating relation, an associated order-compatible topology
can be defined in such a way that for the case of a continuous poset the
topology associated to the way-below relation is exactly the Scott topology. A
preliminary investigation is carried out on this new topology.Comment: 17 pages; 1figure, Domains XII Worksho
Generalizations of Eulerian partially ordered sets, flag numbers, and the Mobius function
A partially ordered set is r-thick if every nonempty open interval contains
at least r elements. This paper studies the flag vectors of graded, r-thick
posets and shows the smallest convex cone containing them is isomorphic to the
cone of flag vectors of all graded posets. It also defines a k-analogue of the
Mobius function and k-Eulerian posets, which are 2k-thick. Several
characterizations of k-Eulerian posets are given. The generalized
Dehn-Sommerville equations are proved for flag vectors of k-Eulerian posets. A
new inequality is proved to be valid and sharp for rank 8 Eulerian posets
Graph isomorphism completeness for trapezoid graphs
The complexity of the graph isomorphism problem for trapezoid graphs has been
open over a decade. This paper shows that the problem is GI-complete. More
precisely, we show that the graph isomorphism problem is GI-complete for
comparability graphs of partially ordered sets with interval dimension 2 and
height 3. In contrast, the problem is known to be solvable in polynomial time
for comparability graphs of partially ordered sets with interval dimension at
most 2 and height at most 2.Comment: 4 pages, 3 Postscript figure
- …