arXiv++ Combinatorics

We extend graph theoretic characterizations of time structurable extensive games from finite informational digraphs to countable and continuum digraphs built on continuum rooted real trees. Introducing the symmetric class quotient poset of information sets as the canonical object an external clock must order, we develop a theory of transitive reduction for these quotients and prove existence and uniqueness under an interval finiteness condition. Under natural topological regularity assumptions like closed reachability classes, order density, and sigma compactness, we give necessary and sufficient conditions for real valued time labelings and construct measurable selection procedures in Polish spaces. We also provide constructive algorithms and a differential game example illustrating applications and computational implications.

For a partially ordered set ${\mathbb{P}} = (X,\leq)$ there exist hypergraphs where the vertices are the set of ordered tuples of either all incomparable elements of ${\mathbb{P}}$ or all the critical pairs of ${\mathbb{P}}$, and the edges are formed by the duals of either all the alternating cycles of ${\mathbb{P}}$ or all the strict alternating cycles of ${\mathbb{P}}$. The weak chromatic numbers of these hypergraphs are all equal to the order dimension of ${\mathbb{P}}$. Here are established upper bounds on the number of strict alternating cycles a poset ${\mathbb{P}}=(X,\leq)$ can have in terms of $n = |X|$, the cardinality of the groundset of ${\mathbb{P}}$, and the width $w$ of ${\mathbb{P}}$. These bounds also apply to the number of hyperedges of the associated hypergraph ${\mathcal{H}}^s(\mathbb{P})$, with incomparable pairs as vertices and strict alternating cycles dual to its hyperedges.

A vertex coloring of a graph $G$ with nonempty color classes $V_1,V_2,\dots,V_k$ is called a \emph{FAT $k$-coloring} if there exist real numbers $α,β\in[0,1]$ such that for every vertex $v$ and every color class $V_i \in \left\{ V_1,V_2,\dots,V_k \right\} $ we have $$ \bigl| N(v) \cap V_i \bigr|= \begin{cases} α°(v) & \text{if } v\notin V_i,\\[4pt] β°(v) & \text{if } v\in V_i . \end{cases} $$ \noindent The FAT coloring concept was originally proposed and thoroughly studied by Beers and Mulas. The set of all FAT colorings of a graph is naturally ordered by the coarsening relation, in which finer partitions are larger in the order. The maximal elements of this poset, called \emph{irreducible FAT colorings}, form a generating set: every FAT coloring of the graph can be obtained by merging color classes of some irreducible one. Beers and Mulas raised the compelling question whether, for every positive integer $s$, there exists a graph that admits exactly $s$ irreducible FAT colorings. In this paper we settle this question affirmatively by exhibiting, for any given $s$, a graph possessing precisely $s$ such colorings.

In this paper, we explore the theory of higher dimers on band graphs. First, we provide a combinatorial interpretation for the trace of the $q$-deformed higher continued fraction matrices, by showing that with respect to a $q$-weighting on edges, the trace gives the dimer partition function on the set of good higher dimers, which generalizes the notion of good perfect matchings. We also show that the set of good higher dimer covers form a distributive lattice with respect to face flips on square faces. Finally, we attempt to generalize the symmetry result on circular fence posets to the case of good higher dimers, by showing that the dimer partition on a certain family of band graphs are palindromic, in particular, through an approach fitting in the context of dimer theory.

This paper is the third part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. As in the previous two papers, we continue to focus on gentle trees $(Q,R)$. Via a modified surface model for gentle algebras with finite global dimension, we developed combinatorial, poset, and quiver representation techniques that allow one to calculate all the resolving subcategories of $\mathbb{K}Q/\langle R \rangle$-mod. Furthermore, they enable one to calculate the resolving subcategory generated by any collection of $\mathbb{K}Q/\langle R \rangle$-modules. In this paper, based on those techniques, we give a combinatorial realization of the Auslander--Reiten one-to-one correspondence between resolving subcategories and tilting modules in $\mathbb{K}Q/\langle R \rangle$-mod.

For each positive integer $n$, let $G_n$ be the partition graph whose vertices are the partitions of $n$, with adjacency defined by an elementary transfer of one unit between parts, followed by reordering. Let $K_n=\mathrm{Cl}(G_n)$ be its clique complex. Previous work revealed two apparently contrasting features of this family. Locally, the graphs $G_n$ become increasingly rich: local clique dimensions grow, degree landscapes refine, support jumps and simplex layers proliferate, and axial, rear, central, shell, and directional structures become more pronounced. Globally, however, the clique complexes remain homotopically simple: $K_n\simeq \bigvee^{b_n}S^2$, where $b_n=χ(K_n)-1$. This paper gives a conceptual synthesis explaining why these facts are compatible. The local side is governed by ordered local transfer types, which determine local neighborhood graphs, degrees, local clique numbers, and local simplex dimensions. The global side is governed not by the largest local simplices, but by the overlap pattern of canonical full star/top simplices. These simplices form a good cover $\mathcal C_n$, giving $K_n\simeq N(\mathcal C_n)=N_n$. The nerve admits an anchor-cover and intersection-poset reduction $N_n\simeq Δ(J_n)$, with $\dimΔ(J_n)\le 2$. Thus high-dimensional local simplices occur inside contractible containers, while global topology is controlled by a low-dimensional overlap poset. Within this family, the qualitative topological problem therefore collapses to the numerical computation and interpretation of a single integer, the Euler characteristic $χ(K_n)$, equivalently the bouquet rank $b_n=χ(K_n)-1$.

A fundamental identity for the number of vacillating tableaux was originally obtained through the representation theory of partition algebras. We extend this identity to arbitrary differential posets and show that it, together with several analogous identities, follows directly from the structural properties of differential posets. Specializing to Young's lattice and its Cartesian powers, we further obtain new bijective proofs via a simple deletion--insertion process.

We study monadic dependence of binary relational structures including at least one antisymmetric relation. Our cornerstone result gives sufficient conditions for proving that a structure is monadically dependent by only considering some of its reducts, assuming they are structurally well-behaved and compatible enough. As an application, we consider some reorientation rules preserving monadic dependence of binary structures, as well as replacement of one antisymmetric relation with bounded independence number by another. Then, we apply our main (technical) result to the study of twin-width in two ways. First, generalizing the fact that twin-width boundedness is equivalent to being expandable by a linear order into a monadically dependent class, we prove that it is also equivalent to being expandable by an oriented graph with bounded independence number (for instance by a poset with bounded width or by a tournament), and that FO-model checking is fixed-parameter tractable on such an expansion. Second, we show delineation by twin-width for some new classes of oriented graphs, including oriented split graphs and local tournaments. In all these cases, we also obtain fixed-parameter tractability of FO-model checking.

An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to contain a regular subgroup. This would imply that $G$ is a Cayley graph, contradicting the fact that the Petersen graph is not Cayley. Hence $P(G,v_0)$ is a non-multiplicable finitary upho poset. We also show that the analogous poset associated with the line graph of the Petersen graph is multiplicable, demonstrating that non-Cayleyness of the underlying graph alone does not determine multiplicability.

For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic polytope $\triangle_{\mathbb{H}}$ is the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$. We focus here on interval hypergraphs, where all hyperedges are intervals of $[n]$. They are precisely the deformations of Loday's associahedron. Their vertex posets are Tamari interval posets, and we describe which Tamari interval poset appears as a vertex poset in which interval hypergraphic polytope. We also characterize the interval hypergraphs $\mathbb{I}$ for which the hypergraphic polytope $\triangle_\mathbb{I}$ is simple, and we study their vertex posets, which we call weeping willows.

We use perfect matchings and labelled Fano planes to construct and study the $2025$ orthogonal bases of positive roots in the $E_8$ root system. The set of these bases forms a highly structured, Bruhat-like graded poset $(Ω, \leq_Q)$ whose rank function can be computed from the cardinalities of so-called generalized Rothe diagrams. We give combinatorial characterizations of these diagrams in terms of matchings and Fano planes, and we explain how to compute the ranks of the elements of $Ω$ using suitable combinatorial statistics such as the weights of perfect matchings. We establish simple formulas for the rank generating functions of $Ω$ and of its 50 congruence classes under a natural order congruence relation. Our derivation of the generating functions contains some intermediate results on general perfect matchings and labelled Fano planes that can be stated without mentioning root systems and may be of independent interest.

For a finite poset $\mathcal{P}$, its height $h(\mathcal{P})$ is the number of cover relations in its longest chain. When $\mathcal{P}$ is a lattice $\mathcal{L}$, we label its elements $x$ with $h(x_\downarrow) = h([\hat{0},x])$ and its cover relations $x \lessdot y$ with $h(y_\downarrow) - h(x_\downarrow)$. When a lattice $\mathcal{L}'$ extends $\mathcal{L}$, $h(x_\downarrow)_\mathcal{L} \leq h(x_\downarrow)_{\mathcal{L}'}$. We study lattices $\mathcal{L}$ and $\mathcal{L}'$ such that $h(x_\downarrow)_\mathcal{L} = h(x_\downarrow)_{\mathcal{L}'}$. Cover relations labeled $1$ in $\mathcal{L}$ induce a poset that we call the (long) skeletal poset $\mathrm{SK}(\mathcal{L})$. Its Hasse diagram is the largest spanning subgraph that the Hasse diagrams of $\mathcal{L}$ and $\mathcal{L}'$ have in common. An example of lattices $\mathcal{L}$ and $\mathcal{L}'$ is the alt-Tamari lattices introduced by Chenevière, where every alt-Tamari lattice $\mathrm{alt}\text{-}\mathrm{Tam}_n$ extends the Tamari lattice $\mathrm{Tam}_n$/refines the Dyck lattice $\mathrm{Dyck}_n$ such that $h(x_\downarrow)_{\mathrm{Tam}_n} = h(x_\downarrow)_{\mathrm{alt}\text{-}\mathrm{Tam}_n}$. We study $\mathrm{SK}(\mathrm{Tam}_n)$ with another poset we introduce. We enumerate intervals in these posets. For a well-chosen distributive lattice, we introduce its altitude lattices, which generalize the alt-Tamari lattices $\mathrm{alt}\text{-}\mathrm{Tam}_n$. Altitude lattices within a family have the same number of linear intervals. They are related to each other via extensions, refinements, and embeddings of some skeletal posets. For a poset $\mathcal{P}$ with $\hat{0}$, we define its Kneser graphs $KG(k) := (V(k),E)$, where $V(k) := \{x: h(x_\downarrow) = k, 1 \leq k \leq h(\mathcal{P})\}$ and $E := \{(x,y): x_\downarrow \cap y_\downarrow =\hat{0}\}$. We give some observations about them in a reconstruction setting.

In this paper, we study the family of subcomplexes of the order complexes of finite graded posets, defined via its rank function. We address three main topics. (1) We describe the general topological properties of these subcomplexes in relation to magnitude homology of graded posets. (2) For posets whose order complexes are simplicial subdivisions of closed manifolds, we show that the homology groups of these subcomplexes agree with that of the undelying manifold except for the top dimension, where it is a nontrivial free abelian group. (3) For shellable graded posets, we prove that each of the subcomplexes are also shellable. Moreover, in the case of geometric semilattices, we show that each subcomplexes are homotopy equivalent to a nontrivial wedge sums of spheres of the same dimension.

Jackson and Tanigawa conjectured that the rigidity matroid $\mathcal{R}^d_n$ and the hyperconnectivity matroid $\mathcal{H}^d_n$ are the unique maximal matroids in the posets of $\{K_{d+2}, K_{d+2,d+2}\}$-matroids and $\{K_{d+2},K_{d+1,d+1}\}$-matroids, respectively. We disprove these conjectures by showing the existence of maximal matroids that are distinct from the proposed candidates.

We introduce a partition-selection method to generalize the flow, chromatic, and Tutte polynomials of a graph by restricting the standard edge subgraph expansions to subgraphs given by prescribed connected vertex partitions. We establish similar deletion-contraction formulas and specialization relations for these polynomials, recovering all classical polynomial invariants when the selection is the set of all partitions. Next we study a relation between Jaeger et al.'s nonhomogeneous flows and a special class of partition-selected flow polynomials (called affine flow polynomials). Specifically, we give a geometric realization of nowhere-zero nonhomogeneous flows by restricting the edge-coordinate arrangement to affine flow spaces. The resulting characteristic polynomials coincide with Kochol's admissible assigning polynomials and with affine flow polynomials, which enumerate nowhere-zero nonhomogeneous flows over finite fields. To see the key role of the partition-selection framework, we further introduce boundary arrangements determined by the bond structure of a graph. Using the intersection posets of boundary arrangements, we obtain the classification of all restricted arrangements mentioned above, the comparison of unsigned coefficients of affine flow polynomials, and the decomposition formulas for affine flow polynomials.

We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.

For a given Coxeter group, we study distributive lattices called middle orders refining the weak order and refined by the Bruhat order. In type $A$, we construct such lattices indexed by binary trees using a direct bijection between permutations and lower sets of a certain partition of the root poset into rectangles. When the binary tree is a left-comb tree, we recover the middle order defined by Bouvel, Ferrari, and Tenner (2025). We study combinatorial properties of these lattices, and show they are the only distributive lattices between the weak and Bruhat orders in type $A$. For general Coxeter groups, we study middle orders on parabolic quotients and use these to generalize our construction in type $A$ to other Weyl groups, obtaining so-called ``minuscule middle orders''. We show that they are a subset of sorting orders defined by Armstrong (2009), and we give conjectural descriptions of all middle orders that are not minuscule.

Recently the poset of ranked cactuses $(\mathfrak{P}(X),\preceq)$ was introduced. For a finite set $X$, this poset consists of a set $\mathfrak{P}(X)$ of certain collections of ordered pairs of subsets of $X$ together with an ordering $\preceq$ that is similar to the refinement ordering of partitions of a finite set. In addition, the maximal chains in this poset correspond to binary ranked cactuses, a fact which can be used to construct the so-called space of equidistant cactuses. In this paper, we show that the poset of ranked cactuses is EL-shellable. As a consequence we also show that the proper part of the link of the origin of the space of equidistant cactuses has the homotopy type of a wedge of spheres.

We prove $β(\mathbb{Z}_2 \times \mathbb{Z}_4) = 14$, where $β(G)$ denotes the minimum cardinality $|P|$ among finite posets $P$ with $\Aut(P) \cong G$. The lower bound is established by a complete case analysis of orbit decompositions of $P$ under faithful $G$-actions, organized by the largest orbit size. The upper bound is realized by an explicit $14$-element poset whose automorphism group is computed by a height-function argument together with a rigidity analysis of its covering relations.

Order theory is increasingly relevant in applications where data is naturally structured as a partially ordered set (poset), often requiring meaningful notions of distance over posets. In this paper, we introduce a new family of extended metrics on path-connected and fence-connected posets that do not require additional structure. Unlike many existing distances, these metrics are not induced by valuations, but instead arise as a type of shortest-path distance determined by both path length and the number of alternations. For discrete posets, we show that these metrics converge to a type of shortest-fence metric. Our main result establishes that these metrics characterize most discrete path-connected posets up to isomorphism, and up to duality for modular posets. Finally, we prove that this family defines interleaving distances when posets are viewed as thin categories.