arXiv++ Combinatorics

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.

Stanley and Grinberg introduced the symmetric function associated to digraphs, called the Redei-Berge symmetric function. In [8] is shown that this symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. In this paper, we introduce two new combinatorial Hopf algebras of posets and permutations and define corresponding Redei-Berge functions for them. By using both theories, of symmetric functions and of combinatorial Hopf algebras, we prove many properties of the Redei-Berge function. These include some forms of deletion-contraction property, which make it similar to the chromatic symmetric function. We also find some invariants of digraphs that are detected by the Redei-Berge function.

Call a finite relational structure $k$-Slupecki if its only surjective $k$-ary polymorphisms are essentially unary, and Slupecki if it is $k$-Slupecki for all $k \geq 2$. We present conditions, some necessary and some sufficient, for a reflexive digraph to be Slupecki. We prove that all digraphs that triangulate a 1-sphere are Slupecki, as are all the ordinal sums $m \oplus n$ ($m,n \geq 2$). We prove that the posets $P = m \oplus n \oplus k$ are not 3-Slupecki for $m,n,k \geq 2$, and prove there is a bound $B(m,k)$ such that $P$ is 2-Slupecki if and only if $n > B(m,k)+1$; in particular there exist posets that are 2-Slupecki but not 3-Slupecki.

Higher-order notions of Kreweras complementation have appeared in the literature in the works of Krawczyk, Speicher, Mastnak, Nica, Arizmendi, Vargas, and others. While the theory has been developed primarily for specific applications in free probability, it also possesses an elegant, purely combinatorial core that is of independent interest. The present article aims at offering a simple account of various aspects of higher-order Kreweras complementation on the basis of elementary arithmetic, (co)algebraic, categorical and simplicial properties of noncrossing partitions. The main idea is to consider noncrossing partitions as providing an interesting noncommutative analogue of the interplay between the divisibility poset and the multiplicative monoid of positive integers. Just as the divisibility poset can be regarded as the decalage of the multiplicative monoid, we exhibit the lattice of noncrossing partitions as the decalage of a partial monoid structure on noncrossing partitions encoding higher-order Kreweras complements. While our results may be considered familiar, several of the viewpoints can be regarded as novel, offering an efficient approach both conceptually and computationally.

We use Cramer's formula for the inverse of a matrix and a combinatorial expression for the determinant in terms of paths of an associated digraph (which can be traced back to Coates) to give a combinatorial interpretation of Möbius inversion whenever it exists. Every Möbius coefficient is a quotient of two sums, each indexed by certain collections of paths in the digraph. Our result contains, as particular cases, previous theorems by Hall (for posets) and Leinster (for skeletal categories whose idempotents are identities). A byproduct is a novel expression for the magnitude of a metric space as sum over self-avoiding paths with finitely many terms. By means of Berg's formula, our main constructions can be extended to Moore-Penrose pseudoinverses, yielding an analogous combinatorial interpretation of Möbius pseudoinversion and, consequently, of the magnitude of an arbitrary finite category.

This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti numbers into a counting problem. This approach allows us to compute the $a$-number of a finite simple graph through permutation counting when the graph is chordal. In addition, we provide detailed computations for specific cases such as real Hochschild varieties corresponding to Hochschild polytopes.

This paper considers a natural ruleset for playing a partisan combinatorial game on a directed graph, which we call Digraph Placement. Given a digraph $G$ with a not necessarily proper $2$-coloring of $V(G)$, the Digraph Placement game played on $G$ by the players Left and Right, who play alternately, is defined as follows. On her turn, Left chooses a blue vertex which is deleted along with all of its out-neighbours. On his turn Right chooses a red vertex, which is deleted along with all of its out-neighbours. A player loses if on their turn they cannot move. We show constructively that Digraph Placement is a universal partisan ruleset; for all partisan combinatorial games $X$ there exists a Digraph Placement game, $G$, such that $G = X$. Digraph Placement and many other games including Nim, Poset Game, Col, Node Kayles, Domineering, and Arc Kayles are instances of a class of placement games that we call conflict placement games. We prove that $X$ is a conflict placement game if and only if it has the same literal form as a Digraph Placement game. A corollary of this is that deciding the winner of a Digraph Placement game is PSPACE-hard. Next, for a game value $X$ we prove bounds on the order of a smallest Digraph Placement game $G$ such that $G = X$.

We continue the study of the $k$-cut complex $Δ_k(G)$ of a graph $G$ initiated in the paper of Bayer, Denker, Jelić Milutinović, Rowlands, Sundaram and Xue [Topology of cut complexes of graphs, SIAM J. on Discrete Math. 38(2): 1630--1675 (2024)]. We give explicit formulas for the $f$- and $h$-polynomials of the cut complex $Δ_k(G_1+G_2) $ of the disjoint union of two graphs $G_1$ and $G_2$, and for the homology representation of $Δ_k(K_m+K_n)$. We also study the cut complex of the squared path and the grid graph. Our techniques include tools from combinatorial topology, discrete Morse theory and equivariant poset topology.

We study the poset of d-indivisible noncrossing partitions introduced by Mühle, Nadeau and Williams. These are noncrossing partitions such that each block has cardinality 1 modulo d and each block of the dual partition also has cardinality 1 modulo d. Generalizing the work of Speicher, we introduce a generating function approach to reach new enumerative results and recover some known formulas on the cardinality, the Möbius function and the rank numbers. We compute the antipode of the Hopf algebra of d-indivisible noncrossing partition posets. Generalizing work of Stanley, we give an edge labeling such that the labels of the maximal chains are exactly the d-parking functions. This edge labeling induces an EL-labeling. We also introduce d-parking trees which are in bijective correspondence with the maximal chains.

We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.

Transit functions were introduced as models of betweenness on undirected structures. Here we introduce directed transit function as the directed analogue on directed structures such as posets and directed graphs. We first show that betweenness in posets can be expressed by means of a simple set of first order axioms. Similar characterizations can be obtained for graphs with natural partial orders, in particular, forests, trees, and mangroves. Relaxing the acyclicity conditions leads to a generalization of the well-known geometric transit function to the directed structures. Moreover, we discuss some properties of the directed analogues of prominent transit functions, including the all-paths, induced paths, and shortest paths (or interval) transit functions. Finally we point out some open questions and directions for future work.

A poset is called upper homogeneous, or "upho," if every principal order filter of the poset is isomorphic to the whole poset. We study (finite type $\mathbb{N}$-graded) upho lattices, with an eye towards their classification. Any upho lattice has associated to it a finite graded lattice called its core, which determines its rank generating function. We investigate which finite graded lattices arise as cores of upho lattices, providing both positive and negative results. On the one hand, we show that many well-studied finite lattices do arise as cores, and we present combinatorial and algebraic constructions of the upho lattices into which they embed. On the other hand, we show there are obstructions which prevent many finite lattices from being cores.