poset ↗ reference
2264 papers tagged with this keyword
Join-irreducible Boolean functions
Published
• View Publication
• BIB
This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$.
Visibility graphs and deformations of associahedra
Published in Contributions to Discrete Mathematics 7 (2012) 68 - 81
• View Publication
• BIB
The associahedron is a convex polytope whose face poset is based on nonintersecting diagonals of a convex polygon. In this paper, given an arbitrary simple polygon P, we construct a polytopal complex analogous to the associahedron based on convex diagonalizations of P. We describe topological properties of this complex and provide realizations based on secondary polytopes. Moreover, using the visibility graph of P, a deformation space of polygons is created which encapsulates substructures of the associahedron.
Equivariant closure operators and trisp closure maps
Published
• View Publication
• BIB
A trisp closure map is a special map on the vertices of a trisp T with the property that T collapses onto the subtrisp induced by the image of the map. We study the interaction between trisp closure maps and group operations on the trisp, and give conditions such that the quotient map is again a trisp closure map. Special attention is on the case that the trisp is the nerve of an acyclic category, and the relationship between trisp closure maps and closure operators on posets is studied.
Graded posets inverse zeta matrix formula
Published in Bull. Soc. Sci. Lett. Lodz . Ser. Rech. Deform. vol 60 No3 (2010): 117--147
• Search Publication
We derive the explicit formula for the inverse of zeta matrix for any graded posets with the finite set of minimal elements . The combinatorial interpretation of this result is given. For that to do special number theoretic code triangles for graded posets are proposed and apart from the present author combinatorial interpretation of $F-nomial$ coefficients another one is proposed referring to the number of all maximal chains in the corresponding poset intervals.
An infinite combinatorial statement with a poset parameter
Published
• View Publication
• BIB
We introduce an extension, indexed by a partially ordered set P and cardinal numbers k,l, denoted by (k,l)-->P, of the classical relation (k,n,l)--> r in infinite combinatorics. By definition, (k,n,l)--> r holds, if every map from the n-element subsets of k to the subsets of k with less than l elements has a r-element free set. For example, Kuratowski's Free Set Theorem states that (k,n,l)-->n+1 holds iff k is larger than or equal to the n-th cardinal successor l^{+n} of the infinite cardinal k. By using the (k,l)-->P framework, we present a self-contained proof of the first author's result that (l^{+n},n,l)-->n+2, for each infinite cardinal l and each positive integer n, which solves a problem stated in the 1985 monograph of Erdös, Hajnal, Mate, and Rado. Furthermore, by using an order-dimension estimate established in 1971 by Hajnal and Spencer, we prove the relation (l^{+(n-1)},r,l)-->2^m, where m is the largest integer below (1/2)(1-2^{-r})^{-n/r}, for every infinite cardinal l and all positive integers n and r with r larger than 1 but smaller than n. For example, (\aleph_{210},4,\aleph_0)-->32,768. Other order-dimension estimates yield relations such as (\aleph_{109},4,\aleph_0)--> 257 (using an estimate by Füredi and Kahn) and (\aleph_7,4,\aleph_0)-->10 (using an exact estimate by Dushnik).
The Mobius Function of the Permutation Pattern Poset
A permutation τcontains another permutation σas a pattern if τhas a subsequence whose elements are in the same order with respect to size as the elements in σ. This defines a partial order on the set of all permutations, and gives a graded poset P. We give a large class of pairs of permutations whose intervals in P have Mobius function 0. Also, we give a solution to the problem when σoccurs precisely once in τ, and σand τsatisfy certain further conditions, in which case the Mobius function is shown to be either -1, 0 or 1. We conjecture that for intervals [σ,τ] consisting of permutations avoiding the pattern 132, the magnitude of the Mobius function is bounded by the number of occurrences of σin τ. We also conjecture that the Mobius function of the interval [1,τ] is -1, 0 or 1.
Poset limits and exchangeable random posets
Published
• View Publication
• BIB
We develop a theory of limits of finite posets in close analogy to the recent theory of graph limits. In particular, we study representations of the limits by functions of two variables on a probability space, and connections to exchangeable random infinite posets.
Towards a Littlewood-Richardson rule for Kac-Moody homogeneous spaces
We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.
On homotopy types of Alexandroff spaces
We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. These include theorems on function spaces, cores and homotopy type. In particular, we characterize pairs of spaces X,Y such that the compact-open topology on C(X,Y) is Alexandroff, introduce the classes of finite-paths and bounded-paths spaces and show that every bounded-paths space and every countable finite-paths space has a core as its strong deformation retract. Moreover, two bounded-paths or countable finite-paths spaces are homotopy equivalent if and only if their cores are homeomorphic. Some results are proved concerning cores and homotopy type of locally finite spaces and spaces of height 1. We also discuss a mistake found in an article of F.G. Arenas on Alexandroff spaces.
It is noted that some theorems of G. Minian and J. Barmak concerning the weak homotopy type of finite spaces and the results of R. E. Stong on finite H-spaces and maps from compact polyhedrons to finite spaces do hold for wider classes of Alexandroff spaces.
Since the category of T_0 Alexandroff spaces is equivalent to the category of posets, our results may lead to a deeper understanding of the notion of a core of an infinite poset.
Torelli theorem for graphs and tropical curves
Published in Duke Math. J. 153, no. 1 (2010), 129-171
• View Publication
• BIB
Algebraic curves have a discrete analogue in finite graphs. Pursuing this analogy we prove a Torelli theorem for graphs. Namely, we show that two graphs have the same Albanese torus if and only if the graphs obtained from them by contracting all separating edges are 2-isomorphic. In particular, the strong Torelli theorem holds for 3-connected graphs. Next, using the correspondence between compact tropical curves and metric graphs, we prove a tropical Torelli theorem giving necessary and sufficient conditions for two tropical curves to have the same principally polarized tropical Jacobian. Finally we describe some natural posets associated to a graph and prove that they characterize its Delaunay decomposition.
Order-invariant measures on fixed causal sets
Published
• View Publication
• BIB
A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a {\em natural extension}. We study probability measures on the set of natural extensions of a causal set, especially those measures having the property of {\em order-invariance}: if we condition on the set of the bottom $k$ elements of the natural extension, each possible ordering among these $k$ elements is equally likely. We give sufficient conditions for the existence and uniqueness of an order-invariant measure on the set of natural extensions of a causal set.
Graded posets zeta matrix formula
Published in Bull. Soc. Sci. Lett. Lodz. Ser. Rech. Deform. vol 60 No3 (2010): 99--115
• Search Publication
The way to arrive at formula of zeta matrix for any graded posets with the finite set of minimal elements is delivered following the first reference. This is being achieved via adjacency and zeta matrix description of bipartite digraphs chains, the representatives of graded posets. The bipartite digraphs elements of such chains amalgamate to form corresponding cover relation graded poset digraphs with corresponding adjacency matrices being amalgamated throughout natural join as special adequate database operation. The colligation of reachability and connectivity with the presented description is made explicit. The special posets encoded via kodags directed acyclic graphs as cobeb posets cover relations digraphs are recognized as an example of differential posets subfamily. As on this night one reminisce anniversary of death of distinguished johann bernoulli the first this sylvester night article is to commemorate this date.
Some Cobweb Posets Digraphs' Elementary Properties and Questions
Published in Bull. Soc. Sci. Lett. Lodz. Ser. Rech. Deform.vol 60 No2 (2010): 65--71
• Search Publication
A digraph that represents reasonably a scheduling problem should be a directed acyclic graph. Here down we shall deal with special kind of graded $DAGs$ named $KoDAGs$. For their definition and first primary properties see $ [1]$, where natural join of directed biparted graphs and their corresponding adjacency matrices is defined and then applied to investigate cobweb posets and their $Hasse$ digraphs called $KoDAGs$. In this report we extend the notion of cobweb poset while delivering some elementary consequences of the description and observations established in $[1]$.
Cobweb Posets and KoDAG Digraphs are Representing Natural Join of Relations, their diBigraphs and the Corresponding Adjacency Matrices
Published in Bull. Soc. Sci. Lett. Lodz. Ser. Rech. Deform. vol 60 No1 (2010): 45--65
• Search Publication
Natural join of $di-bigraphs$ that is directed biparted graphs and their corresponding adjacency matrices is defined and then applied to investigate the so called cobweb posets and their $Hasse$ digraphs called $KoDAGs$. $KoDAGs$ are special orderable directed acyclic graphs which are cover relation digraphs of cobweb posets introduced by the author few years ago. $KoDAGs$ appear to be distinguished family of $Ferrers$ digraphs which are natural join of a corresponding ordering chain of one direction directed cliques called $di-bicliques$. These digraphs serve to represent faithfully corresponding relations of arbitrary arity so that all relations of arbitrary arity are their subrelations. Being this $chain -way$ complete if compared with kompletne $Kuratowski$ bipartite graphs their $DAG$ denotation is accompanied with the letter $K$ in front of descriptive abbreviation $oDAG$. The way to join bipartite digraphs of binary into $multi-ary$ relations is the natural join operation either on relations or their digraph representatives. This natural join operation is denoted here by $\os$ symbol deliberately referring to the direct sum $\oplus$ of adjacency matrices as it becomes the case for disjoint $di-bigraphs$.
A characterization of well-founded algebraic lattices
Published
• View Publication
• BIB
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{<ω}$, nor $\underlineΩ(ω^*)$ as a join-subsemilattice. As an immediate corollary, we get that an algebraic modular lattice $L$ is well-founded if and only if $K(L)$ is well-founded and contains no infinite independent set. If $K(L)$ is a join-subsemilattice of $I_{<ω}(Q)$, the set of finitely generated initial segments of a well-founded poset $Q$, then $L$ is well-founded if and only if $K(L)$ is well-quasi-ordered.
On minimal prime graphs and posets
Published
• View Publication
• BIB
We show that there are four infinite prime graphs such that every infinite prime graph with no infinite clique embeds one of these graphs. We derive a similar result for infinite prime posets with no infinite chain or no infinite antichain.
On scattered posets with finite dimension
We discuss a possible characterization, by means of forbidden configurations, of posets which are embeddable in a product of finitely many scattered chains.
Eulerian quasisymmetric functions
Published
• View Publication
• BIB
We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.
Poset homology of Rees products, and $q$-Eulerian polynomials
Published
• View Publication
• BIB
The notion of Rees product of posets was introduced by Björner and Welker, where they study connections between poset topology and commutative algebra. Björner and Welker conjectured and Jonsson proved that the dimension of the top homology of the Rees product of the truncated Boolean algebra $B_n \setminus \{0\}$ and the $n$-chain $C_n$ is equal to the number of derangements in the symmetric group $\mathfrak S_n$. Here we prove a refinement of this result, which involves the Eulerian numbers, and a $q$-analog of both the refinement and the original conjecture, which comes from replacing the Boolean algebra by the lattice of subspaces of the $n$-dimensional vector space over the $q$ element field, and involves the $(\maj,\exc)$-$q$-Eulerian polynomials studied in previous papers of the authors. Equivariant versions of the refinement and the original conjecture are also proved, as are type BC versions (in the sense of Coxeter groups) of the original conjecture and its $q$-analog.
Pattern Recognition on Oriented Matroids: Three-Tope Committees
A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.