poset ↗ reference
2293 papers tagged with this keyword
Automorphism Groups of Geometrically Represented Graphs
We describe a technique to determine the automorphism group of a geometrically represented graph, by understanding the structure of the induced action on all geometric representations. Using this, we characterize automorphism groups of interval, permutation and circle graphs. We combine techniques from group theory (products, homomorphisms, actions) with data structures from computer science (PQ-trees, split trees, modular trees) that encode all geometric representations.
We prove that interval graphs have the same automorphism groups as trees, and for a given interval graph, we construct a tree with the same automorphism group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982]. For permutation and circle graphs, we give an inductive characterization by semidirect and wreath products. We also prove that every abstract group can be realized by the automorphism group of a comparability graph/poset of the dimension at most four.
Erdos-Szekeres tableaux
Published in S. V. Ault and B. Shemmer. Erdos-Szekeres tableaux. Order, pages 1-12, 2013
• View Publication
• BIB
We explore a question related to the celebrated Erdős-Szekeres Theorem and develop a geometric approach to answer it. Our main object of study is the Erdős-Szekeres tableau, or EST, of a number sequence. An EST is the sequence of integral points whose coordinates record the length of the longest increasing and longest decreasing subsequence ending at each element of the sequence. We define the Order Poset of an EST in order to answer the question: What information about the sequence can be recovered by its EST?
Heaps and Two Exponential Structures
Published
• View Publication
• BIB
Take ${\sf Q}=({\sf Q}_1,{\sf Q}_2,\ldots)$ to be an exponential structure and $M(n)$ to be the number of minimal elements of ${\sf Q}_n$ where $M(0)=1$. Then a sequence of numbers $\{r_n({\sf Q}_n)\}_{n\ge 1}$ is defined by the equation \begin{eqnarray*} \sum_{n\ge 1}r_n({\sf Q}_n)\frac{z^n}{n!\,M(n)}=-\log(\sum_{n\ge 0}(-1)^n\frac{z^n}{n!\,M(n)}). \end{eqnarray*} Let $\bar{\sf Q}_n$ denote the poset ${\sf Q}_n$ with a $\hat{0}$ adjoined and let $\hat{1}$ denote the unique maximal element in the poset ${\sf Q}_n$. Furthermore, let $μ_{{\sf Q}_n}$ be the Möbius function on the poset $\bar{\sf Q}_n$. Stanley proved that $r_n({\sf Q}_n)=(-1)^nμ_{{\sf Q}_n}(\hat{0},\hat{1})$. This implies that the numbers $r_n({\sf Q}_n)$ are integers. In this paper, we study the cases ${\sf Q}_n=Π_n^{(r)}$ and ${\sf Q}_n={\sf Q}_n^{(r)}$ where $Π_n^{(r)}$ and ${\sf Q}_n^{(r)}$ are posets, respectively, of set partitions of $[rn]$ whose block sizes are divisible by $r$ and of $r$-partitions of $[n]$. In both cases we prove that $r_n(Π_n^{(r)})$ and $r_n({\sf Q}_n^{(r)})$ enumerate the pyramids by applying the Cartier-Foata monoid identity and further prove that $r_n(Π_n^{(r)})$ is the generalized Euler number $E_{rn-1}$ and that $r_n({\sf Q}_n^{(2)})$ is the number of complete non-ambiguous trees of size $2n-1$ by bijections. This gives a new proof of Welker's theorem that $r_n(Π_n^{(r)})=E_{rn-1}$ and implies the construction of $r$-dimensional complete non-ambiguous trees. As a bonus of applying the theory of heaps, we establish a bijection between the set of complete non-ambiguous forests and the set of pairs of permutations with no common rise. This answers an open question raised by Aval {\it et al.}.
On Hochster's formula for a class of quotient spaces of moment-angle complexes
Published in Osaka Journal of Mathematics 56 (2019), no. 1, 33--50
• Search Publication
Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type formula, which generalizes the usual Hochster's formula for the cohomology groups of moment-angle complexes. In addition, we show that the stable decomposition of moment-angle complexes can also be extended to such spaces. This type of spaces include all the quasitoric manifolds that are pullback from the linear models. And we prove that the moment-angle complex associated to a finite simplicial poset is always homotopy equivalent to one of such spaces.
Order complexes of coset posets of finite groups are not contractible
Published in Adv. Math. 291 (2016), 758-773
• View Publication
• BIB
We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown.
The uncrossing partial order on matchings is Eulerian
Published
• View Publication
• BIB
We prove that the partial order on the set of matchings of 2n points on a circle, given by resolving crossings, is an Eulerian poset.
Combinatorial Ricci Curvature for Polyhedral Surfaces and Posets
The combinatorial Ricci curvature of Forman, which is defined at the edges of a CW complex, and which makes use of only the face relations of the cells in the complex, does not satisfy an analog of the Gauss-Bonnet Theorem, and does not behave analogously to smooth surfaces with respect to negative curvature. We extend this curvature to vertices and faces in such a way that the problems with combinatorial Ricci curvature are mostly resolved. The discussion is stated in terms of ranked posets.
Taking tilting modules from the poset of support tilting modules
Published
• View Publication
• BIB
C. Ingalls and H. Thomas defined support tilting modules for path algebras. From tau-tilting theory introduced by T. Adachi, O. Iyama and I. Reiten, a partial order on the set of basic tilting modules defined by D. Happel and L. Unger is extended as a partial order on the set of support tilting modules. In this paper, we study a combinatorial relationship between the poset of basic tilting modules and basic support tilting modules. We will show that the subposet of tilting modules is uniquely determined by the poset structure of the set of support tilting modules.
Ascent sequences avoiding pairs of patterns
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Melou et al. in connection with (2+2)-avoiding posets and their pattern avoidance properties were first considered by Duncan and Steingrimsson. In this paper, we consider ascent sequences of length $n$ avoiding two patterns of length 3, and we determine an exact enumeration for 16 different pairs of patterns. Methods include simple recurrences, bijections to other combinatorial objects (including Dyck paths and pattern-avoiding permutations), and generating trees. We also provide an analogue of the Erdos-Szekeres Theorem to prove that any sufficiently long ascent sequence contains either many copies of the same number or a long increasing subsequence, with a precise bound.
An extension of Tamari lattices
Published
• View Publication
• BIB
For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice.
Let $\overleftarrow{v}$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order, replacing the east steps by north steps and vice versa. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$. We do so by showing bijectively that the poset Tam$(v)$ is isomorphic to the poset based on rotation of full binary trees with the fixed canopy $v$, from which the duality follows easily. This also shows that Tam$(v)$ is a lattice for any path $v$. We also obtain as a corollary of this bijection that the usual Tamari lattice, based on Dyck paths of height $n$, is a partition of the (smaller) lattices Tam$(v)$, where the $v$ are all the paths on the square grid that consist of $n-1$ unit steps.
We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.
On the dimension of posets with cover graphs of treewidth $2$
Published
• View Publication
• BIB
In 1977, Trotter and Moore proved that a poset has dimension at most $3$ whenever its cover graph is a forest, or equivalently, has treewidth at most $1$. On the other hand, a well-known construction of Kelly shows that there are posets of arbitrarily large dimension whose cover graphs have treewidth $3$. In this paper we focus on the boundary case of treewidth $2$. It was recently shown that the dimension is bounded if the cover graph is outerplanar (Felsner, Trotter, and Wiechert) or if it has pathwidth $2$ (Biró, Keller, and Young). This can be interpreted as evidence that the dimension should be bounded more generally when the cover graph has treewidth $2$. We show that it is indeed the case: Every such poset has dimension at most $1276$.
On the Enumeration of $(s,s+1,s+2)$-Core Partitions
Anderson established a connection between core partitions and order ideals of certain posets by mapping a partition to its $β$-set. In this paper, we give a characterization of the poset $P_{(s,s+1,s+2)}$ whose order ideals correspond to $(s,s+1,s+2)$-core partitions. Using this characterization, we obtain the number of $(s,s+1,s+2)$-core partitions, the maximum size and the average size of an $(s,s+1,s+2)$-core partition, confirming three conjectures posed by Amdeberhan.
Multi-cores, posets, and lattice paths
Published
• View Publication
• BIB
Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$-core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$-core partitions.
Supersaturation and stability for forbidden subposet problems
We address a supersaturation problem in the context of forbidden subposets. A family $\mathcal{F}$ of sets is said to contain the poset $P$ if there is an injection $i:P \rightarrow \mathcal{F}$ such that $p \le_P q$ implies $i(p) \subset i (q)$. The poset on four elements $a,b,c,d$ with $a,b \le c,d$ is called butterfly. The maximum size of a family $\mathcal{F} \subseteq 2^{[n]}$ that does not contain a butterfly is $Σ(n,2)=\binom{n}{\lfloor n/2 \rfloor}+\binom{n}{\lfloor n/2 \rfloor+1}$ as proved by De Bonis, Katona, and Swanepoel. We prove that if $\mathcal{F} \subseteq 2^{[n]}$ contains $Σ(n,2)+E$ sets, then it has to contain at least $(1-o(1))E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$ copies of the butterfly provided $E\le 2^{n^{1-\varepsilon}}$ for some positive $\varepsilon$. We show by a construction that this is asymptotically tight and for small values of $E$ we show that the minimum number of butterflies contained in $\mathcal{F}$ is exactly $E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$.
On the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
We give a complete characterization of bipartite graphs having tree-like Galois lattices. We prove that the poset obtained by deleting bottom and top elements from the Galois lattice of a bipartite graph is tree-like if and only if the graph is a Bipartite Distance Hereditary graph. By relying on the interplay between bipartite distance hereditary graphs and series-parallel graphs, we show that the lattice can be realized as the containment relation among directed paths in an arborescence. Moreover, a compact encoding of Bipartite Distance Hereditary graphs is proposed, that allows optimal time computation of neighborhood intersections and maximal bicliques.
Pseudo-Gorenstein and level Hibi rings
Published
• View Publication
• BIB
We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.
Universal and Overlap Cycles for Posets, Words, and Juggling Patterns
Published
• View Publication
• BIB
We discuss results dealing with universal cycles (u-cycles) and $s$-overlap cycles, and contribute to the body of those results by proving existence of universal cycles of naturally labeled posets (NL posets), $s$-overlap cycles of words of weight $k$, and juggling patterns. The result on posets is, to the best of our knowledge, the first demonstration of the existence of a u-cycle whose length is unknown.
Some finite abelian group theory and some q-series identities
Published in Ann. Comb. 20 (2016), no. 2, 361-371
• View Publication
• BIB
For a fixed odd prime $\ell$, we present new families of identities defined on various subposets of the poset of isomorphism classes of finite abelian $\ell$-groups, generalizing identities of Hall and Cohen-Lenstra. We also present a $q$-series identity.
Chromatic quasisymmetric functions
We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimple Hessenberg varieties, which have been studied by Tymoczko and others. We discuss an approach, using the results and conjectures herein, to the $e$-positivity conjecture of Stanley and Stembridge for incomparability graphs of $(3+1)$-free posets.
Homology of torus spaces with acyclic proper faces of the orbit space
Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.