arXiv++ Combinatorics

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formula for a class of `continuous convex polytopes' (conjectured by Kalai and Wigderson), a duality result for a class of `continuous matroids', a calculation of the Euler characteristic of ideals in the Grassmannian poset (related to a problem of Gian-Carlo Rota), an exposition of the `homotopy complementation formula' for topological posets and its relation to the results of Kallel and Karoui about `weighted barycenter spaces' and a conjecture of Vassiliev about simplicial resolutions of singularities. We also include an extension of the index inequality (Sarkaria's inequality) based on interpreting diagrams of spaces as continuous posets.

Let $(P,\leq_P)$ and $(Q,\leq_Q)$ be finite partially ordered sets with $|P|=|Q|=d$, and $\mathcal{C}(P) \subset \mathbb{R}^d$ and $\mathcal{C}(Q) \subset \mathbb{R}^d$ their chain polytopes. The twinned chain polytope of $P$ and $Q$ is the lattice polytope $Γ(\mathcal{C}(P),\mathcal{C}(Q)) \subset \mathbb{R}^d$ which is the convex hull of $\mathcal{C}(P) \cup (-\mathcal{C}(Q))$. It is known that twinned chain polytopes are Gorenstein Fano polytopes with the integer decomposition property. In the present paper, we study combinatorial properties of twinned chain polytopes. First, we will give the formula of the volume of twinned chain polytopes in terms of the underlying partially ordered sets. Second, we will identify the facet-supporting hyperplanes of twinned chain polytopes in terms of the underlying partially ordered sets. Finally, we will provide the vertex representations of the dual polytopes of twinned chain polytopes.

The triangulations of point configurations which decompose as a free sum are classified in terms of the triangulations of the summands. The methods employ two new kinds of partially ordered sets to be associated with any triangulation of a point set with one point marked, the "web of stars" and the "stabbing poset". Triangulations of smooth Fano polytopes are discussed as a case study.

In this paper we initiate the study of racks from the combined perspective of combinatorics and finite group theory. A rack R is a set with a self-distributive binary operation. We study the combinatorics of the partially ordered set {\cal R}(R) of all subracks of R with inclusion as the order relation. Groups G with the conjugation operation provide an important class of racks. For the case R = G we show that -> the order complex of {\cal R}(R) has the homotopy type of a sphere, -> the isomorphism type of {\cal R}(R) determines if G is abelian, nilpotent, supersolvable, solvable or simple, -> {\cal R}(R) is graded if and only if G is abelian, G = S_3, G = D_8 or G = Q_8. In addition, we provide some examples of subracks R of a group G for which {\cal R}(R) relates to well studied combinatorial structures. In particular, the examples show that the order complex of {\cal R}(R) for general R is more complicated than in the case R = G.

We study the partially ordered set $P(a_1,\ldots, a_n)$ of all multidegrees $(b_1,\dots,b_n)$ of monomials $x_1^{b_1}\cdots x_n^{b_n}$ which properly divide $x_1^{a_1}\cdots x_n^{a_n}$. We prove that the order complex $Δ(P(a_1,\dots,a_n))$ of $P(a_1,\ldots a_n)$ is (non-pure) shellable, by showing that the order dual of $P(a_1,\ldots,a_n)$ is $\mathrm{CL}$-shellable. Along the way, we exhibit the poset $P(4,4)$ as a new example of a poset with $\mathrm{CL}$-shellable order dual that is not $\mathrm{CL}$-shellable itself. For $n = 2$ we provide the rank of all homology groups of the order complex $Δ\left( P(a_1,a_2) \right)$. Furthermore, we give a succinct formula for the Euler characteristic of $Δ\left( P(a_1,a_2) \right)$.

We investigate pattern avoidance in permutations satisfying some additional restrictions. These are naturally considered in terms of avoiding patterns in linear extensions of certain forest-like partially ordered sets, which we call binary shrub forests. In this context, we enumerate forests avoiding patterns of length three. In four of the five non-equivalent cases, we present explicit enumerations by exhibiting bijections with certain lattice paths bounded above by the line $y=\ell x$, for some $\ell\in\mathbb{Q}^+$, one of these being the celebrated Duchon's club paths with $\ell=2/3$. In the remaining case, we use the machinery of analytic combinatorics to determine the minimal polynomial of its generating function, and deduce its growth rate.

We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals. New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.

A sequential dynamical system (SDS) consists of a graph, a set of local functions and an update schedule. A linear sequential dynamical system is an SDS whose local functions are linear. In this paper, we derive an explicit closed formula for any linear SDS as a synchronous dynamical system. We also show constructively, that any synchronous linear system can be expressed as a linear SDS, i.e. it can be written as a product of linear local functions. Furthermore, we study the connection between linear SDS and the incidence algebras of partially ordered sets (posets). Specifically, we show that the Möbius function of any poset can be computed via an SDS, whose graph is induced by the Hasse diagram of the poset. Finally, we prove a cut theorem for the Möbius functions of posets with respect to certain chain decompositions.

Motivated by applications to information retrieval, we study the lattice of antichains of finite intervals of a locally finite, totally ordered set. Intervals are ordered by reverse inclusion; the order between antichains is induced by the lower set they generate. We discuss in general properties of such antichain completions; in particular, their connection with Alexandrov completions. We prove the existence of a unique, irredundant $\land$-representation by $\land$-irreducible elements, which makes it possible to write the relative pseudo-complement in closed form. We also discuss in details properties of additional interesting operators used in information retrieval. Finally, we give a formula for the rank of an element and for the height of the lattice.

We generalize previous definitions of Tesler matrices to allow negative matrix entries and negative hook sums. Our main result is an algebraic interpretation of a certain weighted sum over these matrices, which we call the Tesler function. Our interpretation uses a new class of symmetric function specializations which are defined by their values on Macdonald polynomials. As a result of this interpretation, we obtain a Tesler function expression for the Hall inner product $\langle Δ_f e_n, p_{1^{n}}\rangle$, where $Δ_f$ is the delta operator introduced by Bergeron, Garsia, Haiman, and Tesler. We also provide simple formulas for various special cases of Tesler functions which involve $q,t$-binomial coefficients, ordered set partitions, and parking functions. These formulas prove two cases of the recent Delta Conjecture posed by Haglund, Remmel, and the author.

The introduction of bars in-between blocks of an ordered set partition(preferential arrangement) results in a barred ordered set partition(barred preferential arrange- ment). Having the restriction that some blocks of barred preferential arrangements to have a maximum of one block results in restricted barred preferential arrange- ments. In this study we establish relations between number of restricted barred preferential arrangements, multi-poly-Bernoulli numbers and numbers related to multi-poly-Bernoulli numbers. We prove a periodicity property satisfied by multi- poly-Bernoulli numbers having negative index, number of restricted barred prefer- ential arrangements and numbers related to multi-poly-Bernoulli numbers having negative index.

We conjecture two combinatorial interpretations for the symmetric function $Δ_{e_k} e_n$, where $Δ_f$ is an eigenoperator for the modified Macdonald polynomials defined by Bergeron, Garsia, Haiman, and Tesler. Both interpretations can be seen as generalizations of the Shuffle Conjecture of Haglund, Haiman, Remmel, Loehr, and Ulyanov, which was proved recently by Carlsson and Mellit. We show how previous work of the third author on Tesler matrices and ordered set partitions can be used to verify several cases of our conjectures. Furthermore, we use a reciprocity identity and LLT polynomials to prove another case. Finally, we show how our conjectures inspire 4-variable generalizations of the Catalan numbers, extending work of Garsia, Haiman, and the first author.

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.

The consecutive pattern poset is the infinite partially ordered set of all permutations where $σ\leτ$ if $τ$ has a subsequence of adjacent entries in the same relative order as the entries of $σ$. We study the structure of the intervals in this poset from topological, poset-theoretic, and enumerative perspectives. In particular, we prove that all intervals are rank-unimodal and strongly Sperner, and we characterize disconnected and shellable intervals. We also show that most intervals are not shellable and have Möbius function equal to zero.

Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$. Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$-skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.

In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

The jaggedness of an order ideal I in a poset P is the number of maximal elements in I plus the number of minimal elements of P not in I. A probability distribution on the set of order ideals of P is toggle-symmetric if for every p in P, the probability that p is maximal in I equals the probability that p is minimal not in I. In this paper, we prove a formula for the expected jaggedness of an order ideal of P under any toggle-symmetric probability distribution when P is the poset of boxes in a skew Young diagram. Our result extends the main combinatorial theorem of Chan-López-Pflueger-Teixidor, who used an expected jaggedness computation as a key ingredient to prove an algebro-geometric formula; and it has applications to homomesies, in the sense of Propp-Roby, of the antichain cardinality statistic for order ideals in partially ordered sets.

We prove that for every partially ordered set $P$, there exists $c(P)$ such that every family $\mathcal{F}$ of subsets of $[n]$ ordered by inclusion and which contains no induced copy of $P$ satisfies $\sum_{F\in \mathcal{F}}1/{n\choose |F|}\leq c(P)$. This confirms a conjecture of Lu and Milans.

Motivated by the geometry of certain hyperplane arrangements, Manin and Schechtman defined for each positive integer n a hierarchy of finite partially ordered sets B(n, k), indexed by positive integers k, called the higher Bruhat orders. The poset B(n, 1) is naturally identified with the weak left Bruhat order on the symmetric group S_n, each B(n, k) has a unique maximal and a unique minimal element, and the poset B(n, k + 1) can be constructed from the set of maximal chains in B(n, k). Elias has demonstrated a striking connection between the posets B(n, k) for k = 2 and the diagrammatics of Bott-Samelson bimodules in type A, providing significant motivation for the development of an analogous theory of higher Bruhat orders in other Cartan-Killing types, particularly for k = 2. In this paper we present a partial generalization to type B, complete up to k = 2, prove a direct analogue of the main theorem of Manin and Schechtman, and relate our construction to the weak Bruhat order and reduced expression graph for Weyl groups of type B.