Related papers: Cobweb posets as noncommutative prefabs
We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.
For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on W. The…
There are Quillen equivalent Thomason model structures on the category of small categories, the category of small acyclic categories and the category of posets. These share the property that cofibrant objects are posets. In fact, they share…
This study introduces a novel approach to composite design by employing aperiodic monotiles, shapes that cover surfaces without translational symmetry. Using a combined computational and experimental approach, we study the fracture behavior…
In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it.…
Nested set complexes appear as the combinatorial core of De Concini-Procesi arrangement models. We show that nested set complexes are homotopy equivalent to the order complexes of the underlying meet-semilattices without their minimal…
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation…
We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a…
We classify finite posets with a particular sorting property, generalizing a result for rectangular arrays. Each poset is covered by two sets of disjoint saturated chains such that, for any original labeling, after sorting the labels along…
A poset $\mathbf{P} = (X,\preceq)$ is {\em $m$-partite} if $X$ has a partition $X = X_1 \cup ... \cup X_m$ such that (1) each $X_i$ forms an antichain in $\mathbf{P}$, and (2) $x\prec y$ implies $x\in X_i$ and $y\in X_j$ where $i<j$. In…
Various descending chains of subgroups of a finite permutation group can be used to define a sequence of `basic' permutation groups that are analogues of composition factors for abstract finite groups. Primitive groups have been the…
In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive…
The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article we classify MUBs according to their degree of covariance with…
A finitely generated commutative monoid is uniquely presented if it has only a minimal presentation. We give necessary and sufficient conditions for finitely generated, combinatorially finite, cancellative, commutative monoids to be…
We prove the existence of primitive sets (sets of integers in which no element divides another) in which the gap between any two consecutive terms is substantially smaller than the best known upper bound for the gaps in the sequence of…
A frame in an $n$-dimensional Hilbert space $H_n$ is a possibly redundant collection of vectors $\{f_i\}_{i\in I}$ that span the space. A tight frame is a generalization of an orthonormal basis. A frame $\{f_i\}_{i\in I}$ is said to be…
We introduce a new combinatorial condition on a subinterval of a poset P (a clamped subinterval) that allows us to relate the Auslander-Reiten quiver of the bounded derived category of P to that of the subinterval. Applications include the…
The idempotent semigroups (bands) that give rise to partial orders by defining $a \leq b \iff a \cdot b = a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the class of…
A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals…
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…