arXiv++ Combinatorics

Let $\mathscr{X}$ be the boundary complex of a $(d+1)$-polytope, and let $ρ(d+1,k) = \frac{1}{2}[{\lceil (d+1)/2 \rceil \choose d-k} + {\lfloor (d+1)/2 \rfloor \choose d-k}]$. Recently, the author, answering Bárány's question from 1998, proved that for all $\lfloor \frac{d-1}{2} \rfloor \leq k \leq d$, \[ f_k(\mathscr{X}) \geq ρ(d+1,k)f_d(\mathscr{X}). \] We prove a generalization: if $\mathscr{X}$ is a shellable, strongly regular CW sphere or CW ball of dimension $d$, then for all $\lfloor \frac{d-1}{2} \rfloor \leq k \leq d$, \[ f_k(\mathscr{X}) \geq ρ(d+1,k)f_d(\mathscr{X}) + \frac{1}{2}f_k(\partial \mathscr{X}), \] with equality precisely when $k=d$ or when $k=d-1$ and $\mathscr{X}$ is simplicial. We further prove that if $\mathscr{S}$ is a strongly regular CW sphere of dimension $d$, and the face poset of $\mathscr{S}$ is both CL-shellable and dual CL-shellable, then $f_k(\mathscr{S}) \geq \min\{f_0(\mathscr{S}),f_d(\mathscr{S})\}$ for all $0 \leq k \leq d$.

As a common generalization of previously solved optimization problems concerning bipartite stable matchings, we describe a strongly polynomial network flow based algorithm for computing $\ell$ disjoint stable matchings with minimum total cost. The major observation behind the approach is that stable matchings, as edge sets, can be represented as certain cuts of an associated directed graph. This allows us to use results on disjoint cuts directly to answer questions about disjoint stable matchings. We also provide a construction that represents stable matchings as maximum-size antichains in a partially ordered set (poset), which enables us to apply the theorems of Dilworth, Mirsky, Greene and Kleitman directly to stable matchings. Another consequence of these approaches is a min-max formula for the minimum number of stable matchings covering all stable edges.

Given a finite poset, Greene introduced a rational function obtained by summing certain rational functions over the linear extensions of the poset. This function has interesting interpretations, and for certain families of posets, it simplifies surprisingly. In particular, Greene evaluated this rational function for strongly planar posets in his work on the Murnaghan-Nakayama formula. In 2012, Develin, Macauley, and Reiner introduced toric posets, which combinatorially are equivalence classes of posets (or rather acyclic quivers) under the operation of flipping maximum elements into minimum elements and vice versa. In this work, we introduce a toric analogue of Greene's rational function for toric posets, and study its properties. In addition, we use toric posets to show that the Kleiss-Kuijf relations, which appear in scattering amplitudes, are equivalent to a specific instance of Greene's evaluation of his rational function for strongly planar posets. Also in this work, we give an algorithm for finding the set of toric total extensions of a toric poset.

The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron. For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.

We establish a Crapo complementation formula for the Möbius function $μ^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $μ^X \simeq μ^{X\setminus K} + μ^X*ζ^K*μ^X$. We work at the objective level, meaning that the formula is an explicit homotopy equivalence of $\infty$-groupoids. Almost all arguments are formulated in terms of (homotopy) pullbacks. Under suitable finiteness conditions on $X$, one can take homotopy cardinality to obtain a formula in the incidence algebra at the level of $\mathbb{Q}$-algebras. When $X$ is the nerve of a locally finite poset, this recovers the Björner--Walker formula, which in turn specialises to the original Crapo complementation formula when the poset is a finite lattice. A substantial part of the work is to introduce and develop the notion of convexity for decomposition spaces, which in turn requires some general preparation in decomposition-space theory, notably some results on reduced covers and ikeo and semi-ikeo maps. These results may be of wider interest. Once this is set up, the objective proof of the Crapo formula is quite similar to that of Björner--Walker.

We introduce in this paper a definition of (non necessarily positive) opetopes where faces are organised in a poset. Then we show that this description is equivalent to that given in terms of constellations by Kock, Joyal, Batanin and Mascari.

We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing categories and characterize various unitality conditions. Within this sits a natural generalization $\mathrm{Index}_{\mathcal{T}} \subset \mathrm{wIndex}_{\mathcal{T}}$ of Blumberg-Hill's indexing systems, consisting of arities for structures possessing binary operations and unit elements. We characterize the relationship between the posets of unital weak indexing systems and indexing systems, the latter remaining isomorphic to transfer systems on this level of generality. We use this to characterize the poset of unital $C_{p^n}$-weak indexing systems.

The immaculate Hecke poset was introduced and investigated by Niese, Sundaram, van Willigenburg, Vega and Wang, who established the full poset structure, and determined modules for the 0-Hecke algebra action on immaculate and row-strict immaculate tableaux. In this paper, we extend their results by introducing the skew immaculate Hecke poset. We investigate the poset structure, and construct modules for the 0-Hecke algebra action on skew immaculate and skew row-strict immaculate tableaux, thus showing that the skew immaculate Hecke poset captures representation-theoretic information analogous to the immaculate Hecke poset. We also describe branching rules for the resulting skew modules.

We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistency, substitutability and cardinal monotonicity, whereas the preferences for the vertices of the other side (``workers'') via linear orders. For such a model, we present a combinatorial description of the structure of rotations and develop an algorithm to construct the poset of rotations, in time $O(|E|^2)$ (including oracle calls). As consequences, one can obtain a ``compact'' affine representation of stable matchings and efficiently solve some related problems. Keywords: bipartite graph, choice function, linear preferences, stable matching, affine representation, sequential choice

Given a set $X$, the power set $\mathbb{P}(X)$, and a finite poset $P$, a family $F\subset \mathbb{P}(X)$ is said to be induced-$P$-free if there is no injection $φ: P\rightarrow \mathbb{F}$ such that $φ(p)\subseteqφ(q)$ if and only if $p\leq_{P} q$, for all $p, q \in P$. The family $F$ is induced-$P$-saturated if it is maximal with respect to being induced-$P$-free. If $n=|X|$, then the size of the smallest induced-$P$-saturated family in $\mathbb{P}(X)$ is denoted $sat(n,P)$. The poset $2C_2$ is two incomparable 2-chains (the Hasse diagram is two vertex-disjoint edges) and Keszegh, Lemons, Martin, Pálvölgyi, and Patkós proved that $n+2\leq sat(n,2C_2)\leq 2n$ and gave one isomorphism class of an induced-$2C_2$-saturated family that achieves the upper bound. We show that the lower bound can be improved to $3n/2 + 1/2$ by examining the necessary structure of a saturated family. In addition, we provide many examples of induced-$2C_2$-saturated families of size $2n$ in $\mathbb{P}(X)$ where $|X|=n$.

The intent of this paper is to explore Dowker duality from a combinatorial, topological, and categorical perspective. The paper presents three short, new proofs of Dowker duality using various poset fiber lemmas. We introduce modifications of joins and products of simplicial complexes called relational join and relational product complexes. These relational complexes can be constructed whenever there is a relation between simplicial complexes, which includes the context of Dowker duality and covers of simplicial complexes. In this more general setting, we show that the homologies of the simplicial complexes and the relational complexes fit together in a long exact sequence. Similar results are then established for profunctors, which are generalizations of relations to categories. The cograph and graph of profunctors play the role of the relational join and relational product complexes. For a profunctor that arise from adjoint functors between $C$ and $D$, we show that $C$, $D$, the cograph, and the graph all have homotopy equivalent classifying spaces. Lastly, we show that given any profunctor from $D$ to $C$, the homologies of $C$, $D$, and the cograph form a long exact sequence.

We show that the combinatorial types of the links of the vertices in the edgewise triangulation $T_{k,q}$ of a $(k-1)$-simplex are encoded by the partitions of $k$. Each of these complexes is isomorphic to a subcomplex of the barycentric subdivision of the boundary of a $(k-1)$-simplex, and the containment relations among them are described by a new poset on the set of partitions of $k$. We compute the $h$-vectors of these complexes and determine the number of vertices of $T_{k,q}$ whose links are the same (correspond to the same partition). The combinatorial type of the link of an $(s-1)$-dimensional face of $T_{k,q}$ corresponds to a partition $(λ_1,λ_2,\ldots,λ_s)$ of $k$ into $s$ parts, together with additional partitions of each $λ_i$. We also enumerate the combinatorial types of all $m$-dimensional complexes that arise as the links in edgewise triangulations. A new permutation statistic, \textit{the faithful initial part}, is introduced and used to describe the star cluster of a facet of $T_{k,q}$. By examining a specific shelling of this star cluster, we prove that the $i$-th entry of its $h$-vector counts the number of permutations of $[k]$ with exactly $i$ descents, taking into account the faithful initial part as the multiplicity. Finally, we describe a concrete shelling order for $T_{k,q}$, give a combinatorial interpretation of its $h$-vector, and derive an explicit formula for it.

Corner trees, introduced in "Even-Zohar and Leng, 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms", allow for the efficient counting of certain permutation patterns. Here we identify corner trees as a subset of finite (strict) double posets, which we term twin-tree double posets. They are contained in both twin double posets and tree double posets, giving candidate sets for generalizations of corner tree countings. We provide the generalization of an algorithm proposed by Even-Zohar/Leng to a class of tree double posets, thereby enlarging the space of permutations that can be counted in O(n^{5/3}).

Segre products of posets were defined by Björner and Welker (2005). We investigate the homology representations of the $t$-fold Segre power $B_n^{(t)}$ of the Boolean lattice $B_n$. The direct product $\sym_n^{\times t}$ of the symmetric group $\sym_n$ acts on the homology of rank-selected subposets of $B_n^{(t)}$. We give an explicit formula for the decomposition into $\sym_n^{\times t}$-irreducibles of the homology of the full poset, as well as formulas for the diagonal action of the symmetric group $\sym_n$. For the rank-selected homology, we show that the stable principal specialisation of the product Frobenius characteristic of the $\sym_n^{\times t}$-module coincides with the corresponding rank-selected invariant of the $t$-fold Segre power of the subspace lattice.

Given a reciprocal/palindromic polynomial of even degree, we show that the gamma vector is essentially given by an inverted Chebyshev polynomial basis expansion. As an immediate consequence, we characterize real-rootedness of a linear combination of Chebyshev polynomials in terms of real-rootedness of that of the reciprocal polynomial built out of an inverted scaled tuple of the coefficients with one fixed and the rest divided by 2. It can be taken as a counterpart for arbitrary dimensions of a recent result of Bel-Afia--Meroni--Telen on hyperbolicity of Chebyshev curves with respect to the origin. In general, Chebyshev varieties serve as a counterpart of toric varieties in sparse polynomial root finding. Apart from this, the inverted Chebyshev expansion also yields connections between intrinsic properties of the gamma vector construction and the geometric combinatorics of simplicial complexes and posets. We find this by applying work of Hetyei on Tchebyshev subdivisions and Tchebyshev posets. In particular, we find that the gamma vector transformation is closely related to $f$-vectors of simplicial complexes resulting from successive edge subdivisions that transform the type A Coxeter complex to the type B Coxeter complex. Lifting to this to a modification of $cd$-indices, we show that the gamma vector inverted Chebyshev polynomial expansion lifts to a sum of (subdivisions of) cross polytopes which can be computed using (topological) descent statistics. While there are many examples where gamma positivity involving descent statistics, it is interesting to note we only assume the input polynomial is reciprocal/palindromic. Finally, Chebyshev polynomials of the second kind from derivatives give connections to Hopf algebras and quasisymmetric functions along with Lefschetz-type maps induced by $\mathfrak{sl}_2(\mathbb{C})$-representations.

We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.

We study a partially ordered set of planar labeled rooted trees by use of combinatorial objects called Dyck tilings. A generating function of the poset is factorized when the minimum element of the poset is $312$-avoiding and satisfies some extra condition. We define a cover relation on rational Dyck tilings by that of labeled trees, and show that increasing and decreasing labelings are dual to each other. We consider two decompositions of a rational $(a,b)$-Dyck tiling: one is into $ab$ Dyck tilings and the other is into $a$ $(1,b)$-Dyck tilings. In the first case, we show that the weight of the $(a,b)$-Dyck tiling is the sum of the weights of $ab$ Dyck tilings. In the second case, we introduce a cover relation on $(1,b)$-Dyck tilings and obtain a poset of $(a,b)$-Dyck tilings by this decomposition.

This paper is devoted to the classification problems concerning extended deformations of convex polyhedra and real hyperplane arrangements in the following senses: combinatorial equivalence of face posets, normal equivalence on normal fans of convex polyhedra, and sign equivalence on half-spaces. The extended deformations of convex polyhedra arise from parallel translations of given half-spaces and hyperplanes, whose normal vectors give rise to the so-called ``derived arrangement'' proposed by Rota as well as Crapo in different forms. We show that two extended deformations of convex polyhedra are normally (combinatorially, as a consequence) equivalent if they are parameterized by the same open face of the derived arrangement. Note that these extended deformations are based on parallel translations of the given hyperplanes. It allows us to study three deformations of real hyperplane arrangements: parallel translations, conings, and elementary lifts, whose configuration spaces are parameterized by open faces of the derived arrangement. Consequently, it gives a characterization of the normal, combinatorial, and sign equivalences of those three deformations via the derived arrangement. Additionally, the relationships among these three equivalence relations are discussed, and several new descriptions of real derived arrangements associated with faces and sign vectors of real hyperplane arrangements are provided.

Motivated by the authors' work on permuto-associahedra, which can be considered as a symmetrization of the associahedron using the symmetric group, we introduce and study the $\mathfrak{G}$-symmetrization of an arbitrary polytope $P$ for any reflection group $\mathfrak{G}$. We show that the combinatorics, and moreover, the normal fan of such a symmetrization can be recovered from its refined fundamental fan, a decorated poset describing how the normal fan of $P$ subdivides the fundamental chamber associated to the reflection group $\mathfrak{G}$. One important application of our results is providing a way to approach the realization problem of a $\mathfrak{G}$-symmetric poset F, that is, the problem of constructing a polytope whose face poset is F. Instead of working with the original poset F, we look at its dual poset T (which is $\mathfrak{G}$-symmetric as well) and focus on a generating subposet Z of T, and reduce the problem to realizing Z as a refined fundamental fan.

We study the poset of normalized ideals of a numerical semigroup with multiplicity three. We show that this poset is always a lattice, and that two different numerical semigroups with multiplicity three have non-isomorphic posets of normalized ideals.