Table of Contents
Fetching ...

Operad of posets 101: The Wixárika posets

José Antonio Arciniega-Nevárez, Marko Berghoff, Eric Rubiel Dolores-Cuenca

TL;DR

The paper introduces Wixárika posets, a targeted subfamily of series-parallel posets generated from a single element by the operations $D$ and $*$, and situates them within the operadic framework. It defines and studies order series $\mathfrak{Z}(P)$ as algebras over the Wixárika operad $W$, establishing a homomorphism between Wixárika posets and their order-series via $\mathfrak{Z}$ and detailing how the operad governs their algebraic and topological structure. An explicit evaluation method computes $\mathfrak{Z}(P)$ from tree representations, enabling extraction of $\Omega^{\circ}(m)$, while a representability analysis uses topological invariants (e.g., Betti numbers) to solve the inverse problem and identify all posets representing a given $f(x)$. The work highlights how operad theory links combinatorics, topology, and algebra to provide concrete computational tools for the order-series of series-parallel posets and outlines directions for broader operadic exploration and applications.

Abstract

We study sets whose combinatorics are related to the combinatorics of posets. The language of operads provides us with tools to better understand the combinatorics of these objects. In this note we describe a non-trivial example of a suboperad, called the Wixárika posets, together with its associated algebras. This example is rich enough to showcase the particularities of the field, without delving into technicalities.

Operad of posets 101: The Wixárika posets

TL;DR

The paper introduces Wixárika posets, a targeted subfamily of series-parallel posets generated from a single element by the operations and , and situates them within the operadic framework. It defines and studies order series as algebras over the Wixárika operad , establishing a homomorphism between Wixárika posets and their order-series via and detailing how the operad governs their algebraic and topological structure. An explicit evaluation method computes from tree representations, enabling extraction of , while a representability analysis uses topological invariants (e.g., Betti numbers) to solve the inverse problem and identify all posets representing a given . The work highlights how operad theory links combinatorics, topology, and algebra to provide concrete computational tools for the order-series of series-parallel posets and outlines directions for broader operadic exploration and applications.

Abstract

We study sets whose combinatorics are related to the combinatorics of posets. The language of operads provides us with tools to better understand the combinatorics of these objects. In this note we describe a non-trivial example of a suboperad, called the Wixárika posets, together with its associated algebras. This example is rich enough to showcase the particularities of the field, without delving into technicalities.
Paper Structure (8 sections, 8 theorems, 25 equations, 6 figures)

This paper contains 8 sections, 8 theorems, 25 equations, 6 figures.

Key Result

Proposition 22

If $P$ and $Q$ are two posets, then

Figures (6)

  • Figure 1: Hasse diagram of the poset of divisors of 60 (Image created by Ed_g2s, https://commons.wikimedia.org/wiki/User:Ed_g2s).
  • Figure 2: Hasse diagram of a series-parallel poset (Image created by David Eppstein, https://commons.wikimedia.org/wiki/User:David_Eppstein/Gallery).
  • Figure 3: Hasse diagram of a Wixárika poset.
  • Figure 4: Operations on the operad tree (Image created by Wiki_cies, https://commons.wikimedia.org/w/index.php?title=User:Wiki_cies&action=edit&redlink=1).
  • Figure 5: Left: The identity operation, the operation $D$ and the operation $\ast$. Right: A tree representing the element in Figure \ref{['fig:melted']}.
  • ...and 1 more figures

Theorems & Definitions (49)

  • Definition 1
  • Definition 2
  • Definition 3
  • Example 4
  • Example 5
  • Definition 6
  • Definition 7
  • Definition 8
  • Example 9
  • Definition 10
  • ...and 39 more