Related papers: A Suspension Lemma for Bounded Posets

The higher Bruhat order is a poset of cubical tilings of a cyclic zonotope whose covering relations are cubical flips. For a 2-dimensional zonotope, the higher Bruhat order is isomorphic to a poset on commutation classes of reduced words…

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial…

A monoid $M$ generated by a set $S$ of symbols can be described as the set of equivalence classes of finite words in $S$ under some relations that specify when some contiguous sequence of symbols can be replaced by another. If $a,b\in S$, a…

We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…

Let $M$ be a closed simply connected $7$-manifold. In this paper we establish homotopy decompositions of the reduced suspension space $\Sigma M$ into a wedge sum of simpler spaces when localized at a set of primes. These decompositions are…

We introduce a hierarchy of conditions necessarily satisfied by any distribution P(ab) representing the probabilities for two separate observers to obtain outcomes a and b when making local measurements on a shared quantum state. Each…

We show that bounded cohomology stabilizes along sequences of classical Lie groups, and along sequences of lattices in them. Our method is based on a criterion from (arXiv:2307.12808) which adapts Quillen's stability method to the setting…

Fix a poset $P$ and a natural number $n$. For various commutative local rings $\Lambda$, each of Loewy length $n$, consider the category $\textrm{sub}_\Lambda P$ of $\Lambda$-linear submodule representations of $P$. We give a criterion for…

We describe the projectives in the category of functors from a graded poset to abelian groups. Based on this description we define a related condition, pseudo-projectivity, and we prove that this condition is enough for the vanishing of the…

A residuated poset is a structure $\langle A,\le,\cdot,\backslash,/,1 \rangle$ where $\langle A,\le \rangle$ is a poset and $\langle A,\cdot,1 \rangle$ is a monoid such that the residuation law $x\cdot y\le z\iff x\le z/y\iff y\le…

The purpose of this article is to initiate a combinatorial study of the Bruhat-Chevalley ordering on certain sets of permutations obtained by omitting the parentheses from their standard cyclic notation. In particular, we show that these…

A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of…

We show that every poset P=(P,\le) satisfying the Ascending Chain Condition can be isomorphically embedded into the poset of all mappings from P to the set A(P) of all antichains of P equipped with a certain partial order relation. This…

Introduced by Kodama and Williams, Bruhat interval polytopes are generalized permutohedra closely connected to the study of torus orbit closures and total positivity in Schubert varieties. We show that the 1-skeleton posets of these…

Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining…

A poset $P = (X,\prec)$ is a unit OC interval order if there exists a representation that assigns an open or closed real interval $I(x)$ of unit length to each $x \in P$ so that $x \prec y$ in $P$ precisely when each point of $I(x)$ is less…

In this paper, we present a new necessary and sufficient condition for which the supremum exists with respect to the logic order. Moreover, we give out a new and much simpler representation of the supremum with respect to the order, our…

Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define…

For a finite non-empty set $X$, let $\mathfrak{P}(X)$ denote the set of all posets with carrier $X$, ordered by inclusion of their partial order relations. We investigate properties of posets $P \in \mathfrak{P}(X)$ for which no lower cover…

In this note we consider a Ramsey type result for partially ordered sets. In particular, we give an alternative short proof of a theorem for a posets with multiple linear extensions recently obtained by Solecki and Zhao.