poset ↗ reference
2264 papers tagged with this keyword
Poset Positional Games
Published
• View Publication
• BIB
We propose a generalization of positional games, supplementing them with a restriction on the order in which the elements of the board are allowed to be claimed. We introduce poset positional games, which are positional games with an additional structure -- a poset on the elements of the board. Throughout the game play, based on this poset and the set of the board elements that are claimed up to that point, we reduce the set of available moves for the player whose turn it is -- an element of the board can only be claimed if all the smaller elements in the poset are already claimed.
We proceed to analyse these games in more detail, with a prime focus on the most studied convention, the Maker-Breaker games. First we build a general framework around poset positional games. Then, we perform a comprehensive study of the complexity of determining the game outcome, conditioned on the structure of the family of winning sets on the one side and the structure of the poset on the other.
Combinatorics of higher-categorical diagrams
This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting and expanding results scattered across the literature, informed by recent advances and practical experience with higher-dimensional diagram rewriting.
We approach the subject as a kind of directed combinatorial topology: a diagram is a map from a "directed cell complex", encoded combinatorially as a face poset together with orientation data. Unlike previous expositions, we adopt from the beginning a functorial viewpoint, focussing on morphisms and categorical constructions. We do not tie ourselves to a specific model of higher categories, and instead treat diagrams as independent combinatorial structures that admit functorial interpretations in various contexts.
Topics covered include the theory of layerings of diagrams; acyclicity properties and their consequences; constructions including Gray products, suspensions, and joins; special shapes such as globes, oriented simplices, cubes, and positive opetopes; the interpretation of diagrams in strict omega-categories and their geometric realisation as simplicial and CW complexes; and Steiner's theory of directed chain complexes.
The immersion poset on partitions
Published in J. Alg. Combinatorics 61, 21 (2025) 61, 21
• View Publication
• BIB
We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $λ\leqslant_I μ$ if and only if $s_μ(x_1, \ldots, x_N) - s_λ(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(λ, ν) \hookrightarrow \mathsf{SSYT}(μ, ν)$ on semistandard Young tableaux given constraints on the shape of $λ$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $λ\leqslant_{std} μ$ if and only if $λ\leqslant_D μ$ in dominance order and $f^λ\leqslant f^μ$, where $f^ν$ is the number of standard Young tableaux of shape $ν$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_μ}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).
Extremes of generalized inversions on permutation groups
Generalized inversions $X_{\mathrm{inv}}^{(d)}$ and generalized descents $X_{\mathrm{des}}^{(d)}$ are an interesting combinatorial extension of the common inversion and descent statistics. By means of the root poset, they can be defined on all classical Weyl groups. In this paper, we investigate the bivariate normality of $(X_{\mathrm{inv}}^{(d)}, X_{\mathrm{des}}^{(d)})^\top$ as well as the extreme value behavior of $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ and $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$. We show that bivariate normality holds in the regimes of $d_1 = o(n^{1/3})$ and $d_1 = ω(n^{1/2})$. For these situations, we also discuss the number of samples $k_n$ for which the Gumbel max-attraction applies to a triangular array based on $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ or $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$.
Triangular faces of the order and chain polytope of a maximal ranked poset
Published
• View Publication
• BIB
Let $\mathscr{O}(P)$ and $\mathscr{C}(P)$ denote the order polytope and chain polytope, respectively, associated with a finite poset $P$. We prove the following result: if $P$ is a maximal ranked poset, then the number of triangular $2$-faces of $\mathscr{O}(P)$ is less than or equal to that of $\mathscr{C}(P)$, with equality holding if and only if $P$ does not contain an $X$-poset as a subposet.
A topology on the poset of quiver mutation classes
Published
• View Publication
• BIB
To better understand mutation-invariant and hereditary properties of quivers (and more generally skew-symmetrizable matrices), we have constructed a topology on the set of all mutation classes of quivers which we call the mutation class topology. This topology is the Alexandrov topology induced by the poset structure on the set of mutation classes of quivers from the partial order of quiver embedding. The closed sets of our topology -- equivalently, the lower sets of the poset -- are in bijective correspondence with mutation-invariant and hereditary properties of quivers. We show that this space is strictly $T_0$, connected, non-Noetherian, and that every open set is dense. We close by providing open questions from cluster algebra theory in the setting of the mutation class topology and some directions for future research.
Cosystolic Expansion of Sheaves on Posets with Applications to Good 2-Query Locally Testable Codes and Lifted Codes
Published
• View Publication
• BIB
We study sheaves on posets, showing that cosystolic expansion of such sheaves can be derived from local expansion conditions of the sheaf and the poset (typically a high dimensional expander). When the poset at hand is a cell complex, a sheaf on it may be thought of as generalizing coefficient groups used for defining homology and cohomology, by letting the coefficient group vary along the cell complex. Previous works established local criteria for cosystolic expansion only for simplicial complexes and with respect to constant coefficients. Cosystolic expansion of sheaves is related to property testing. We use this relation and our local criterion for cosystolic expansion to give two applications to locally testable codes (LTCs).
First, we show the existence of good $2$-query LTCs. These codes are related to the recent good $q$-query LTCs of Dinur et. al and Panteleev-Kalachev, being the formers' so-called line codes, but we get them from a new, more illuminating perspective, namely, by realizing them as cocycle codes of sheaves over posets. We then derive their good properties directly from our criterion for cosystolic expansion.
Second, we give a local criterion for a a lifted code (with some auxiliary structure) to be locally testable. This improves on a previous work of Dikstein et. al, where it was shown that one can obtain local testability of lifted codes from a mixture of local and global conditions.
Term rewriting on nestohedra
We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated posets on vertices generalize Barnard--McConville's flip order for graph-associahedra, the preorders on faces generalize the facial weak order for permutahedra and the generalized Tamari order for associahedra. Moreover, we define and study contextual families of nestohedra, whose local confluence diagrams satisfy a certain uniformity condition. Among them are associahedra and operahedra, whose associated proofs of confluence for their rewriting systems reproduce proofs of categorical coherence theorems for monoidal categories and categorified operads.
Poset polytopes and pipe dreams: toric degenerations and beyond
We demonstrate how pipe dreams can be applied to the theory of poset polytopes to produce toric degenerations of flag varieties. Specifically, we present such constructions for marked chain-order polytopes of Dynkin types A and C. These toric degenerations also give rise to further algebraic and geometric objects such as PBW-monomial bases and Newton--Okounkov bodies. We discuss a construction of the former in the type A case and of the latter in type C.
Birational maps to Grassmannians, representations and poset polytopes
Published
• View Publication
• BIB
We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.
Schubert valuations on Grassmann varieties
The goal of the paper is twofold: on one side it provides an order structure on the set of all maximal chains in the Bruhat poset of Schubert varieties in a Grassmann variety; on the other hand, using this order structure, it works out explicit formulae for the valuation and the Newton-Okounkov body associated to each maximal chain appearing in the framework of Seshadri stratification.
On the face stratification of the $m=2$ amplituhedron
Published
• View Publication
• BIB
We define and study the face stratification of the m=2 amplituhedron. We show that the face poset is an upper order ideal in the face poset of the totally nonnegative Grassmannian. Our construction is consistent with earlier work of Lukowski, and we confirm various predictions of Lukowski.
Zig-zag Eulerian polynomials
Published
• View Publication
• BIB
For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically.
In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
Colouring of Maximal $F$-free Subsets
For each finite poset $F$ with $|F| > 1$, $χ_{ac}(F)$ denotes the smallest integer $n$ (if it exists) such that the elements of every finite poset $P$ with $|P| > 1$ can be coloured with at most $n$ colours so that every maximal $F$-free subset of $P$ with more than one element gets at least two colours. In this note we discuss the problem of determining $χ_{ac}(F)$ for each poset $F$, give one new result, and summarize what is known for posets $F$ with at most four elements.
Convex Geometry of Building Sets
Published
• View Publication
• BIB
Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.
A Relationship for LYM Inequalities between Boolean Lattices and Linear Lattices with Applications
Published
• View Publication
• BIB
Sperner theory is one of the most important branches in extremal set theory. It has many applications in the field of operation research, computer science, hypergraph theory and so on. The LYM property has become an important tool for studying Sperner property. In this paper, we provide a general relationship for LYM inequalities between Boolean lattices and linear lattices. As applications, we use this relationship to derive generalizations of some well-known theorems on maximum sizes of families containing no copy of certain poset or certain configuration from Boolean lattices to linear lattices, including generalizations of the well-known Kleitman theorem on families containing no $s$ pairwise disjoint members (a non-uniform variant of the famous Erdős matching conjecture) and Johnston-Lu-Milans theorem and Polymath theorem on families containing no $d$-dimensional Boolean algebras.
Partial Alternating Sign Matrix Bijections and Dynamics
Published
• View Publication
• BIB
We investigate analogues of alternating sign matrices, called partial alternating sign matrices. We prove bijections between these matrices and several other combinatorial objects. We use an analogue of Wieland's gyration on fully-packed loops, which we relate to the study of toggles and order ideals. Finally, we show that rowmotion on order ideals of a certain poset and gyration on partial fully-packed loop configurations are in equivariant bijection.
Contact Lie poset algebras of types B, C, and D
We extend a recently established combinatorial index formula applying to Lie poset algebras of types B, C, and D. Then, using the extended index formula, we determine a characterization of contact Lie poset algebras of types B, C, and D corresponding to posets of height one in terms of an associated graph.
A generalised block decomposition theorem
We discuss a class of linear representations of the product poset of totally ordered sets $P= T_1 \times \cdots \times T_n$ which decompose into interval representations for block intervals. These can be characterised in terms of a homological property which is called middle exactness.
A Conditional Extension of the Park-Pham Theorem
Neglecting many motivating details for the Park-Pham theorem (previously known as the Kahn-Kalai conjecture), the result starts with a finite set $X$, a non-trivial upper set $\mathcal{F} \subseteq 2^X$, and a particular parameterized family of random variables $X_p$, then proceeds to provide an upper bound on the value $p_c(\mathcal{F})$ such that $\mathbb{P}(X_{p_c(\mathcal{F})} \in \mathcal{F}) = 1/2$. A natural question to ask is if there is an analog to the Park-Pham theorem for upper sets in finite posets other than $2^X$ and other parameterized families of random variables taking values in them. In this short note, we show that there is, with minor adjustments, in at least one circumstance. This is done by producing a conditional version of the $ε$-dependent form of the Park-Pham theorem, which has practical implications for the study of large neural networks and may also be interesting in its own right.