For every positive integer $n$, we construct a Hasse diagram with $n$ vertices and chromatic number $Ω(n^{1/4})$, which significantly improves on the previously known best constructions of Hasse diagrams having chromatic number $Θ(\log n)$. In addition, if we also require that our Hasse diagram has girth at least $k\geq 5$, we can achieve a chromatic number of at least $n^{\frac{1}{2k-3}+o(1)}$.
These results have the following surprising geometric consequence. They imply the existence of a family $\mathcal{C}$ of $n$ curves in the plane such that the disjointness graph $G$ of $\mathcal{C}$ is triangle-free (or have high girth), but the chromatic number of $G$ is polynomial in $n$. Again, the previously known best construction, due to Pach, Tardos and Tóth, had only logarithmic chromatic number.
For a permutation $π$ in the symmetric group $S_n$ let the {\it total degree} be its valency in the Hasse diagram of the strong Bruhat order on $S_n$, and let the {\it down degree} be the number of permutations which are covered by $π$ in the strong Bruhat order. The maxima of the total degree and the down degree and their values at a random permutation are computed. Proofs involve variants of a classical theorem of Turán from extremal graph theory.
Given a family of curves $\mathcal{C}$ in the plane, its disjointness graph is the graph whose vertices correspond to the elements of $\mathcal{C}$, and two vertices are joined by an edge if and only if the corresponding sets are disjoint. We prove that for every positive integer $r$ and $n$, there exists a family of $n$ curves whose disjointness graph has girth $r$ and chromatic number $Ω(\frac{1}{r}\log n)$. In the process we slightly improve Bollobás's old result on Hasse diagrams and show that our improved bound is best possible for uniquely generated partial orders.
Let $P(n)$ be the set of all posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains. We have determined the numbers $P^{(j)}(7),$ $1\leq j\leq 128$, and using a result of M.~Erné [Erné, M., On the cardinalities of finite topologies and the number of antichains in partially ordered sets, Discrete Mathematics 35 (1981), 119-133.], we compute $|P(10)|$ without the aid of any computer program. We include the Hasse diagrams of all the non-isomorphic posets of $P(7)$. We also present formulas for the number of co…
One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or …
We define a q-chromatic function on graphs, list some of its properties and provide some formulas in the class of general chordal graphs. Then we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram as a 'defected chromatic operator' applied to a power series whose coefficients are linear combinations of chord diagrams constructed from 'flows' on the reduced knot diagram.
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusion…
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected mea…
We study the zero-temperature partition function of the Potts antiferromagnet (i.e., the chromatic polynomial) on a torus using a transfer-matrix approach. We consider square- and triangular-lattice strips with fixed width L, arbitrary length N, and fully periodic boundary conditions. On the mathematical side, we obtain exact expressions for the chromatic polynomial of widths L=5,6,7 for the square and triangular lattices. On the physical side, we obtain the exact ``phase diagrams'' for these strips of width L and infinite length, and from these results we extract useful information about the …
We define a class of bipartite graphs that correspond naturally with Ferrers diagrams. We give expressions for the number of spanning trees, the number of Hamiltonian paths when applicable, the chromatic polynomial, and the chromatic symmetric function. We show that the linear coefficient of the chromatic polynomial is given by the excedance set statistic.
We give an explicit nonrecursive complete matching for the Hasse diagram of the strong Bruhat order of any interval in any Coxeter group. This yields a new derivation of the Mobius function, recovering a classical result due to Verma.
In the first part of this work we provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself. In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent subsets of the h-th power of a cycle ordered by inclusion. For h=1, and n>1, such a value is the number of e…
We study the Ricci curvature of the Hasse diagrams of the Bruhat order of finite irreducible Coxeter groups. For this purpose we compute the maximum degree of these graphs for types $B_n$ and $D_n$. The proof uses a new graph $Γ(π)$ defined for any element $π$ in the corresponding group.
We study efficient combinatorial algorithms to produce the Hasse diagram of the poset of bounded faces of an unbounded polyhedron, given vertex-facet incidences. We also discuss the special case of simple polyhedra and present computational results.
We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator ${\bf M}$. This basic combinator, named as the Mockingbird by Smullyan, is defined by the rewrite rule ${\bf M} x_1 \to x_1 x_1$. We prove that the reflexive and transitive closure of this rewrite relation is a partial order on terms on ${\bf M}$ and that all connected components of its rewrite graph are Hasse diagrams of lattices. This last result is based on the introduction of lattices on some forests. We enumerate the elements, the edges of the Hasse diagrams…
For each poset $H$ whose Hasse diagram is a tree of height $k$, we show that the largest size of a family $\cF$ of subsets of $[n]=\{1,..., n\}$ not containing $H$ as an induced subposet is asymptotic to $(k-1){n\choose \fl{n/2}}$. This extends the result of Bukh \cite{bukh}, which in turn generalizes several known results including Sperner's theorem.
The characterization of fibonacci cobweb poset as d.a.g. and o.d.a.g. is given. The dim 2 poset such that its hasse diagram coincide with digraf of fibonacci cobweb poset is constructed.
The Young--Fibonacci graph is the Hasse diagram of one of the two (along with the Young lattice) 1-differential graded modular lattices. This explains the interest to path enumeration problems in this graph. We obtain a formula for the number of paths between two vertices of the Young--Fibonacci graph which is polynomial with respect to the minimum of their ranks.
Let $Δ$ be a root system with a subset of positive roots, $Δ^+$. We consider edges of the Hasse diagrams of some posets associated with $Δ^+$. For each edge one naturally defines its type, and we study the partition of the set of edges into types. For $Δ^+$, the type is a simple root, and for the posets of ad-nilpotent and Abelian ideals the type is an affine simple roots. We give several descriptions of the set of edges of given type and uniform expressions for the number of edges. By a result of Peterson, the number of Abelian ideals is $2^n$, where $n$ is the rank of $Δ$. We prove that the …
The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively. In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h-th power of a path ordered by inclusion. For h=1 such a diagram is called a Fibonacci cube, and for h>1 we obtain a generalization of the Fibonacci cube. Consequently, we derive a generalized notion of Fibonacci sequence, called h-Fibonacci sequence. Then, we show that the number of edges of a generalized Fibonacci cube is obtained by con…
We provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself.
We utilize relations between Khovanov and chromatic graph homology to determine extreme Khovanov groups and corresponding coefficients of the Jones polynomial. The extent to which chromatic homology and chromatic polynomial can be used to compute integral Khovanov homology of a link depends on the maximal girth of its all-positive graphs. In this paper we also define the girth of a link, discuss relations to other knot invariants, and the possible values for girth. Analyzing girth leads to a description of possible all-A state graphs of any given link; e.g., if a link has a diagram such that t…
