---
title: Hourglass Plabic Graphs
url: https://www.emergentmind.com/topics/hourglass-plabic-graphs
type: topic
---

# Hourglass Plabic Graphs

Searching arXiv for the cited papers and closely related work on hourglass plabic graphs.
Hourglass plabic graphs are a family of planar bicolored networks that extend Postnikov’s plabic-graph technology in two distinct directions recorded in the literature. In one direction, they are symmetric plabic graphs embedded in a disk and invariant under reflection across a diameter, up to swapping black and white vertex colors; these graphs encode the symmetric locus of \(\Gr_{\ge 0}(n,2n)\) and, with suitable conventions, the totally nonnegative Lagrangian Grassmannian [1510.02122]. In the other direction, they are bipartite plabic graphs with edge multiplicities drawn as “hourglasses,” designed to model \(U_q(\mathfrak{sl}_r)\)-web invariants, rotation-invariant web bases, and related combinatorics of tableaux, six-vertex configurations, and cluster structures [2306.12501], [2402.13978]. The two usages share the plabic-graph framework, trip combinatorics, and move calculus, but they serve different ambient problems.

## 1. Terminology and basic definitions

A plabic graph is a planar bicolored graph embedded in a disk with boundary vertices labeled clockwise. In Postnikov’s setting, all boundary vertices have degree one, edges incident to boundary vertices are called legs, and leaves adjacent to boundary vertices are lollipops. Reduced plabic graphs are those satisfying the standard trip conditions: no cycle-trips, no interior leaves, no trip traverses an edge twice unless it starts at a lollipop, and no pair of trips share two edges in the same order [1510.02122].

The expression “hourglass plabic graph” is used in two main senses.

| Usage | Defining feature | Ambient setting |
|---|---|---|
| Symmetric hourglass graph | Reflection across a diameter with color reversal | \(\Gr_{\ge 0}(n,2n)\), \(LG(n,2n)\) |
| Multiplicity hourglass graph | Edge multiplicities drawn as parallel twisted strands | \(U_q(\mathfrak{sl}_r)\)-webs |

In the symmetric usage, one works with \(2n\) boundary vertices and a distinguished diameter \(d\). Writing \(i' = 2n+1-i\), a symmetric plabic graph is one whose underlying uncolored network is invariant under reflection across \(d\), has no vertices on \(d\), and whose reflected interior vertices have opposite colors [1510.02122].

In the multiplicity usage, an hourglass graph consists of an embedded planar graph \(\widehat G\) together with a positive integer multiplicity \(m(e)\) on each edge. An edge with \(m(e)\ge 2\) is drawn as \(m(e)\) parallel twisted strands; when \(m(e)=1\) it is a simple edge. An \(r\)-hourglass plabic graph is a bipartite hourglass graph in a disk with all internal vertices of degree \(r\) counted with multiplicity and all boundary vertices of simple degree one [2402.13978]. In the \(SL_4\) formulation, each internal vertex has degree \(4\) counted with multiplicity and each edge has multiplicity in \(\{1,2\}\), so hourglass edges encode \(\omega_2\) while simple edges encode \(\omega_1\) or \(\omega_3\) depending on boundary color [2512.08817].

A further broader usage appears in the study of triangular-grid billiards and plabic graphs of essential dimension \(2\): the paper does not use the term “hourglass plabic graphs,” but notes that connected reduced plabic graphs of essential dimension \(2\) align with hourglass-type graphs dual to alternating triangulations by the two orientations of triangles in the triangular grid [2202.06943].

## 2. Symmetric hourglass plabic graphs and the Grassmannian

For symmetric plabic graphs, the central combinatorial involution is
\[
R(I)= [2n] \setminus \{i' : i\in I\},
\qquad i' = 2n+1-i.
\]
If \(P\) is an almost perfect matching with boundary \(\partial(P)=I\), reflection gives a matching \(P'\) with boundary \(\partial(P')=R(I)\). Under symmetric edge weights, mirrored edges receive equal weights, and the boundary measurements satisfy
\[
\Delta_I=\Delta_{R(I)}.
\]
This forces \(k=n\), so symmetric plabic graphs of this type map naturally to \(\Gr(n,2n)\) [1510.02122].

The boundary measurement map is defined on a reduced plabic graph \(G\) with edge weights \(t_1,\dots,t_e\) by
\[
\partial_G : (\mathbb{R}_{>0})^e \longrightarrow \mathbb{P}^{\binom{n}{k}-1},
\qquad
\Delta_J=\sum_{\partial(P)=J}\prod_{e\in P} t_e,
\]
where the sum runs over almost perfect matchings \(P\) with boundary \(J\). It is surjective onto the corresponding totally nonnegative positroid cell, but not injective because of gauge transformations at interior vertices [1510.02122].

The symmetric theory is organized by a characterization theorem. For a positroid cell \(\Pi\subset \Gr_{\ge 0}(n,2n)\) with positroid \(M\), bounded affine permutation \(f\), Grassmann necklace \(\mathcal I=(I_1,\dots,I_{2n})\), and dual Grassmann necklace \(\mathcal J=(J_1,\dots,J_{2n})\), the following are equivalent: \(\Pi\) is representable by a symmetric plabic graph; \(M\) is closed under \(R\); the bounded affine permutation satisfies
\[
f(2n+1-a)=4n+1-f(a);
\]
and the Grassmann and dual Grassmann necklaces satisfy
\[
R(I_i)=I_{i'+1},
\qquad
R(J_i)=J_{i'+1}.
\]
These conditions give necessary and sufficient combinatorial criteria for symmetric realizability [1510.02122].

Construction proceeds by symmetric bridge addition. Bridges appear either centrally at \((n,n+1)\) or in mirrored pairs at \((i,i+1)\) and \((i'-1,i')\), with equal weights on the paired bridges. The resulting symmetric bridge graph has as many independent positive parameters as the number of steps in the symmetric construction, matching the dimension of the symmetric part of the positroid cell. Set-theoretically, that symmetric part is obtained by imposing the linear constraints \(\Delta_I=\Delta_{R(I)}\) [1510.02122].

This symmetric locus has a geometric interpretation: with suitable conventions, the symmetric part of \(\Gr_{\ge 0}(n,2n)\) coincides with the totally nonnegative part of \(LG(n,2n)\), the moduli of maximal isotropic subspaces for a symplectic form. The note emphasizes that the linear equalities \(\Delta_I=\Delta_{R(I)}\) give the set-theoretic equations of the symmetric locus, while the detailed isotropic or Lagrangian Plücker relations are deferred to later work [1510.02122].

## 3. Hourglass multiplicities, trips, and web invariants

In the representation-theoretic literature, hourglass plabic graphs refine ordinary plabic graphs by allowing multiplicity on edges and replacing single zig-zag strands by several trip systems. For \(1\le i\le r-1\), the \(i\)-th trip permutation \(\mathrm{trip}_i(G)\in S_n\) is defined by launching from a boundary vertex and following edges while taking the \(i\)-th leftmost turn at white vertices and the \(i\)-th rightmost turn at black vertices. The inverse relation
\[
\mathrm{trip}_i(G)^{-1}=\mathrm{trip}_{r-i}(G)
\]
is part of the basic formalism [2402.13978].

In the \(SL_4\) framework, the trip data \(\mathrm{trip}_\bullet(W)\) is supplemented by a separation labeling \(\mathrm{sep}_W\) and a boundary word
\[
L(W)=\partial(\mathrm{sep}_W)\in [4]\ \cup\ \binom{[4]}{2}\ \cup\ \overline{[4]},
\]
where barred letters are complements in \([4]\). For fully reduced graphs, this boundary word is a balanced lattice word, and the separation labeling is a distinguished proper labeling among all proper labelings \(\phi\) assigning \(m(e)\)-subsets of \([4]\) to edges so that labels around each internal vertex union to \([4]\) [2512.08817].

The web evaluation is a weighted sum over proper edge labelings. In the \(SL_4\) clasped-web formulation,
\[
[W]=\sum_\phi (-1)^{\mathrm{sgn}(\phi)}x_{\partial(\phi)}.
\]
More generally, an \(r\)-hourglass plabic graph with boundary vertices \(b_1,\dots,b_n\) corresponds to a \(U_q(\mathfrak{sl}_r)\)-web \(W\) whose evaluation lies in
\[
\Inv_{U_q(\mathfrak{sl}_r)}\!\left(\bigwedge\nolimits_q^{c_1}V_q\otimes\cdots\otimes\bigwedge\nolimits_q^{c_n}V_q\right),
\]
and in Plücker degree two the relevant invariant space is
\[
\Inv_{\SL_r}(V^{\otimes 2r}) \cong \Inv_{U_q(\mathfrak{sl}_r)}(V_q^{\otimes 2r}),
\]
identified with the span of products \(p_Ip_J\) with \(I\cap J=\varnothing\) in the coordinate ring of \(\Gr(r,2r)\) [2402.13978].

The multiplicity formalism is not merely decorative. Hourglass edges are intrinsic to \(SL_4\)-webs and, in higher-rank degree-two theory, to the uniform treatment of \(U_q(\mathfrak{sl}_r)\)-web bases. This is why the later papers present hourglass plabic graphs as a new avatar of webs rather than as a minor variant of Postnikov’s networks [2306.12501], [2402.13978].

## 4. Fully reducedness, local moves, and six-vertex models

The theory depends on a strengthened reducedness condition. In the degree-two arbitrary-r formulation, an hourglass plabic graph is fully reduced if it has no isolated components, no trip segment with a self-intersection, no pair of \(\mathrm{trip}_i\) segments with an oriented double crossing, and no pair of \(\mathrm{trip}_i\) and \(\mathrm{trip}_{i+1}\) segments with an oriented double crossing. Oriented double crossings between equal or adjacent \(i\) are “bad double crossings” [2402.13978]. In the \(SL_4\) formulation, a leafless hourglass plabic graph is fully reduced if no move-equivalent graph contains a forbidden \(4\)-cycle containing an hourglass edge; for \(r=4\), this is equivalent to a monotonicity condition on \(\mathrm{trip}_2\) and its interactions with \(\mathrm{trip}_1\) [2306.12501].

The local move calculus comprises contraction moves and square moves throughout the theory. In the \(SL_4\) setting there is also a benzene move, a local flip on a hexagonal face. Contraction and square moves preserve the associated invariant \([W]\), whereas benzene moves do not [2512.08817]. This distinction is important: benzene moves are indispensable in the combinatorics of move-equivalence and reducedness, but they are not invariant-preserving in the same sense as square and contraction moves.

Square faces have a particularly rigid structure. For an \(r\)-hourglass plabic graph, a square face \(F\) is fully reduced if and only if
\[
m(F)=\sum_{\text{edges }e\text{ of }F}m(e)\le r.
\]
If \(m(F)>r\), iterated square skein relations simplify the corresponding web invariant; and the square move preserves the tuple \(\mathrm{trip}_\bullet\), which is the combinatorial datum indexing the basis [2402.13978].

A second reformulation uses a symmetrized six-vertex model. In the \(SL_4\) theory, contracted hourglass plabic graphs of oscillating type are in bijection with symmetrized six-vertex configurations, and fully reducedness corresponds to well-orientedness. The six-vertex move calculus matches the plabic one: square moves correspond to ASM moves, benzene moves correspond to Yang–Baxter moves, and the trip-monotonicity criterion is restated as conditions on trip\(_2\) strands, including the absence of self-intersections and double crossings [2306.12501], [2512.08817].

This move theory is also where several common misconceptions are corrected. Hourglass plabic graphs are not defined solely by the presence of multi-edges; the essential structure is the interaction between multiplicities, trip systems, and admissible local moves. Likewise, “fully reduced” is stronger than ordinary reducedness of the underlying plabic graph, although fully reduced graphs do have reduced underlayers in Postnikov’s sense [2402.13978].

## 5. Rotation-invariant bases, tableaux, and clasping

The principal representation-theoretic achievement of the subject is the construction of rotation-invariant web bases. For \(U_q(\mathfrak{sl}_4)\), the set
\[
B_q^{c}:=\{[W]_q : W \text{ is a top fully reduced hourglass plabic graph of type } c\}
\]
is a basis of the relevant invariant space and is rotation-invariant [2306.12501]. In Plücker degree two for arbitrary \(r\), the collection \(\mathscr{B}_q^{2r}\) of tensor invariants of fully reduced \(r\)-hourglass plabic graphs of Plücker degree two is a rotation-invariant web basis for \(\Inv_{U_q(\mathfrak{sl}_r)}(V_q^{\otimes 2r})\) [2402.13978].

These bases are controlled by tableaux. In the degree-two theory, the Fraser map
\[
\mathcal F:\SYT(r\times 2)\to \text{webs}
\]
gives a bijection, up to square moves, between two-column rectangular standard Young tableaux and move-equivalence classes of fully reduced \(r\)-hourglass plabic graphs of standard type and Plücker degree two, with compatibility
\[
\mathrm{trip}_\bullet(\mathcal F(T))=\mathrm{prom}_\bullet(T).
\]
Promotion and evacuation of tableaux intertwine rotation and reflection of hourglass plabic graphs, and Fraser’s degree-two basis agrees with the hourglass basis [2402.13978].

The earlier \(SL_4\) paper develops this correspondence through rectangular fluctuating tableaux, growth rules, and a bijection between move-equivalence classes of contracted fully reduced hourglass plabic graphs and tableaux. The slogan is that trip data on graphs matches promotion data on tableaux, so rotation on graphs corresponds to promotion and reflection corresponds to evacuation [2306.12501].

A further development is the clasped theory. For \(r\in\{2,3,4\}\), start with a fully reduced web basis \(\mathcal W_{\bar a}\) for \(\Inv(V^{\otimes \bar a})\), then choose a clasp sequence \(C\) that groups consecutive boundary factors into irreducible summands \(V(\lambda_i)\). The induced map
\[
\pi_C:\Inv(V^{\otimes \bar a})\to \Inv\!\Bigl(\bigotimes_i V(\lambda_i)\Bigr)
\]
has the property that, for basis webs \([W]\), the following are equivalent: \([W]\notin \ker\pi_C\); \(W\) is non-convex; and \(W\) has no trips that start and end in the same clasp. Moreover, the nonzero images \(\pi_C([W])\) form a basis of \(\Inv(\bigotimes_i V(\lambda_i))\) [2512.08817].

For sorted clasp sequences there are two further equivalent descriptions: no clasp contains a bad local boundary configuration, and the lattice word \(L(W)\) has no \(C\)-descents. The counting of surviving basis vectors is then identified with Littlewood–Richardson tableaux through a bijection
\[
BL(C)\simeq RT(\mathrm{wt}(C)),
\qquad
|BL(C)|=\dim \Inv_G\!\Bigl(\bigotimes_i V(\lambda_i)\Bigr),
\]
giving a direct combinatorial dimension formula [2512.08817].

## 6. Applications, related structures, and limitations

Hourglass plabic graphs connect several lines of research. In the symmetric setting, they parametrize the symmetric part of \(\Gr_{\ge 0}(n,2n)\), and with appropriate conventions this coincides with the totally nonnegative Lagrangian Grassmannian. The practical criteria for symmetric realizability can be stated in any of the equivalent languages of positroids, bounded affine permutations, or Grassmann necklaces [1510.02122].

In the web-theoretic setting, the framework unifies all known rotation-invariant \(U_q(\mathfrak{sl}_r)\)-web bases in degree two. For \(r\le 4\), it recovers Kuperberg’s \(r=2,3\) spider bases and the \(r=4\) basis of earlier work; in the degree-two arbitrary-r setting it provides a single combinatorial model simultaneously generalizing the Tamari lattice, the alternating sign matrix lattice, and the lattice of plane partitions [2402.13978]. In the \(SL_4\) theory, the symmetrized six-vertex correspondence likewise organizes ASM and plane-partition combinatorics inside the move-equivalence theory of hourglass graphs [2306.12501].

Cluster-algebra applications appear in \(\mathbb C[\Gr(4,8)]\). The cluster algebra \( \mathbb C[\Gr(4,8)]\) is not finite type; its cluster variables include \(120\) quadratic variables and \(174\) cubic variables. Using the hourglass basis and a growth algorithm from \(4\times n\) tableaux, web diagrams and dual webs were computed for representative quadratic and cubic cluster variables, with all others obtained by dihedral symmetry [2507.18432]. The same paper combines hourglass web construction on the \(SL_4\) side with Lam’s compatibility method and the immanant map on the dual-web side, producing explicit web representatives for cluster variables in \(\Gr(4,8)\) [2507.18432].

A different but related geometric appearance occurs in triangular-grid billiards. There, a polygon in the triangular grid determines a billiards permutation \(\pi_P\), and connected reduced plabic graphs of essential dimension \(2\) arise by dualizing the triangular cells inside the polygon. For such a graph with \(c\) cycles in its trip permutation, \(v\) internal vertices, and \(n\) marked boundary points, one has
\[
v\ge 6c-6,
\qquad
n\ge \frac72 c-\frac32.
\]
The vertex bound is tight, with equality precisely for graphs dual to trees of unit hexagons [2202.06943].

Several limitations are explicit in the literature. The detailed isotropic or Lagrangian Plücker relations for the symmetric locus are deferred beyond the set-theoretic equations \(\Delta_I=\Delta_{R(I)}\) [1510.02122]. The arbitrary-r web-basis theorem currently covers Plücker degree two rather than all degrees [2402.13978]. The clasped-basis theorem is proved for \(r\in\{2,3,4\}\), and extension to \(r\ge 5\) is stated to require new diagrammatics and likely new combinatorial structures generalizing hourglass edges and six-vertex models [2512.08817]. These limitations mark the boundary between a mature combinatorial formalism and a still-expanding representation-theoretic program.

Source: https://www.emergentmind.com/topics/hourglass-plabic-graphs