---
title: 'Plabic Tangles: Diagrams and Promotion Maps'
url: https://www.emergentmind.com/topics/plabic-tangles
type: topic
---

# Plabic Tangles: Diagrams and Promotion Maps

Searching arXiv for the primary paper on plabic tangles and closely related foundational work.
Searching arXiv for foundational plabic-graph and hourglass-plabic literature relevant to the diagrammatic and cluster-algebraic context.
Plabic tangles are planar bicolored graph-theoretic objects introduced to formalize “a plabic graph with holes into which other plabic graphs may be inserted,” and to use such objects to define rational maps between products of Grassmannians called promotions [2508.02891]. The framework was motivated by the graphical form of the BCFW recurrence for tilings of the amplituhedron, where one starts with a fixed “core” plabic graph and inserts smaller plabic graphs into selected faces, thereby inducing a map
\[
C(\widehat{\Gr}_{4,N_L})\otimes C(\widehat{\Gr}_{4,N_R})\to C(\widehat{\Gr}_{4,n}).
\]
Its central new ingredient is the theory of \(m\)-vector-relation configurations (\(m\)-VRCs), which makes it possible to reconstruct internal vectors from generic boundary data and then read off induced data on the inner disks of the tangle [2508.02891].

## 1. Definition and diagrammatic setting

A plabic tangle \((G,D)\) consists of a plabic graph \(G=((B,W),E)\) drawn inside an outer disk with boundary vertices \(bd=\{1,\dots,n\}\), together with \(\ell\) inner disks inside faces of \(G\), called blobs [2508.02891]. Each inner disk \(D^{(i)}\) has boundary vertices \(D^{(i)}\), and each vertex \(u\in D^{(i)}\) is connected by a segment to a unique black vertex \(b_u\in B\), such that the resulting picture is planar. Each disk, inner and outer, has a marked interval \(\star\), and the boundary vertices of that disk are labeled clockwise in increasing order starting just after the \(\star\) [2508.02891].

The plabic graph \(G\) is called the core, and the inner disks are called blobs [2508.02891]. The paper explicitly presents this as a device modeled on Jones’ planar tangles, with composition by insertion of one tangle into a blob of another [2508.02891]. In that sense, plabic tangles extend the older use of reduced plabic graphs as planar bicolored boundary diagrams for positroid cells of the positive Grassmannian [1406.7273].

This definition sits naturally in the broader plabic-graph literature. A plabic graph is a planar bicolored graph embedded in a disk, and reduced plabic graphs encode positroid cells, decorated permutations, and cluster seeds through their dual quivers [1109.4434]. The plabic-tangle framework keeps that planar-bicolored core but adds inner disks and a mechanism for extracting maps between Grassmannians rather than only coordinates on a single positroid cell [2508.02891].

## 2. \(m\)-vector-relation configurations and solvability

The mechanism underlying promotion is the notion of an \(m\)-vector-relation configuration. For a bipartite plabic graph \(G=((B,W),E)\) with black boundary vertices and \(m\ge 1\), an \(m\)-VRC is an assignment of a vector \(v_b\in \mathbb C^m\) to each black vertex \(b\in B\), and a nonzero scalar \(r_e\in \mathbb C^*\) to each edge \(e\in E\), such that the boundary vectors \(v_1,\dots,v_n\) span \(\mathbb C^m\), and for each white vertex \(w\),
\[
\sum_{\{w,b\}=e\in E} r_e\, v_b =0.
\]
The boundary matrix is
\[
\partial(v,R)= \begin{bmatrix} v_1 & \cdots & v_n \end{bmatrix},
\]
and a VRC is non-degenerate if every internal black vector is nonzero [2508.02891].

The theory includes two symmetries. The group \(GL_m\) acts by left multiplication on all vectors, and a gauge group acts at internal vertices. Gauge transformation at an internal vertex \(x\) by \(t\in \mathbb C^*\) changes adjacent edge weights \(r_e\mapsto t r_e\), and if \(x=b\) is black also changes \(v_b\mapsto t^{-1}v_b\) [2508.02891]. The corresponding moduli set is denoted \(\mVRC_G\), and for \(z\in \Gr_{m,n}\),
\[
\mVRC_G^z:=\{[v,R]\in \mVRC_G:\partial[v,R]=z\}.
\]

If \(G\) has an acyclic reverse perfect orientation \(O\) with source set \(I\), then every black-vertex vector can be reconstructed from the source vectors by the path formula
\[
v_b=\sum_{i\in I}\left(\sum_{\substack{P:i\to b\ \text{path in }O} \frac{\prod_e r_e}{\prod_{e'}(-r_{e'})}\right)v_i.
\]
Here the numerator is over edges of \(P\) oriented black-to-white and the denominator over edges oriented white-to-black [2508.02891]. This formula is the basic reason internal data can be recovered from boundary data.

A plabic graph \(G\) is \(m\)-generically solvable if for generic boundary data \(z\in \Conf_{m,n}^{\circ}\) or \(z\in \Gr_{m,n}^{\circ}\), there exists a unique \(m\)-VRC with boundary \(z\), up to gauge [2508.02891]. For a tangle \((G,D)\), solvability means that its core is solvable and every blob has at least \(m\) boundary vertices [2508.02891]. The paper proves that for reduced \(G\), there is at most one \(m\) for which \(G\) can be solvable, namely
\[
m=\frac1k\dim \Pi_G.
\]

## 3. Promotion maps and the quasi-cluster conjecture

For a solvable plabic tangle \((G,D)\), promotion is first defined on configuration spaces:
\[
\Phi_{(G,D)}:\Conf_{m,n}^{\circ}\dashrightarrow \prod_{D\in D}\Conf_{m,D}.
\]
Starting from generic outer boundary data \(z\in \Conf_{m,n}^{\circ}\), one takes the unique VRC \([v,R]\in \mVRC_G\) with boundary \(z\), assigns the line \(\mathbb C v_{b_u}\) to each blob vertex \(u\), and then reads blob vertices clockwise from the marked interval \(\star\) to obtain an element of \(\Conf_{m,D}\) for each blob [2508.02891].

To pass from configuration spaces to Grassmannians, one uses a pinning. A pinning is a collection of rational functions
\[
\{r_e(z)\}_{e\in E(G)}\subset \mathbb C(\Gr_{m,n})
\]
such that for generic \(z\), the unique VRC with boundary \(z\) has a representative
\[
(\{v_b(z)\},\{r_e(z)\}).
\]
Given a pinned plabic tangle, one obtains geometric promotion
\[
\Psi:\Gr_{m,n}\dashrightarrow \prod_{D\in D}\Gr_{m,D}
\]
and algebraic promotion
\[
\Psi^*: C(\widehat{\Gr}_{m,D^{(1)}})\otimes \cdots \otimes C(\widehat{\Gr}_{m,D^{(\ell)}}) \to C(\widehat{\Gr}_{m,n}),
\]
defined by replacing blob columns with the corresponding vectors \(v_{b_u}(z)\) [2508.02891].

The central conjecture of the paper states that for dominant solvable plabic tangles there exists a brushing \(B\) and signs such that geometric promotion sends totally positive points to totally positive points, and algebraic promotion is a quasi-cluster homomorphism after freezing some variables on the target side [2508.02891]. In the paper’s terminology, an algebra homomorphism \(f:A\to \overline A\) is a quasi-cluster homomorphism if, for suitable seeds \(\Sigma,\overline\Sigma\), every mutable variable maps proportionally to a mutable variable,
\[
f(x_i)\propto \bar x_{\bar i},
\]
where proportionality means equality up to a Laurent monomial in frozen variables, and the exchange ratios satisfy
\[
f(\hat y_\Sigma(x_i))=\hat y_{\overline\Sigma}(\bar x_{\bar i})
\]
[2508.02891].

The paper proves this conjecture for several infinite families: star promotion, spurion promotion, chain-tree promotion, and forest promotion [2508.02891]. This places plabic tangles squarely inside the cluster-algebraic geometry of Grassmannians, while still allowing the possibility of algebraic, non-rational maps in higher intersection-number cases [2508.02891].

## 4. Amplituhedron geometry, intersection number, and amplitrees

A major structural result of the theory is that \(m\)-VRCs count fibers of the amplituhedron map on positroid varieties [2508.02891]. For \(Z\in \mathrm{Mat}_{n,k+m}^{\circ}\), the amplituhedron map is
\[
\tilde Z:\Gr_{k,n}\dashrightarrow \Gr_{k,k+m},\qquad C\mapsto CZ,
\]
and the paper also uses the twistor embedding
\[
\upsilon_Z:\Gr_{k,k+m}\hookrightarrow \Gr_{m,n},\qquad Y\mapsto Y^\perp Z^T,
\]
writing
\[
\Upsilon_Z:=\upsilon_Z\circ \tilde Z.
\]
For a positroid variety \(\Pi_G\), the restricted map is
\[
\Upsilon_{Z,G}:=\Upsilon_Z|_{\Pi_G}:\Pi_G\dashrightarrow Y_G.
\]

If \(\dim \Pi_G=km\), the \(m\)-intersection number \(IN(G)\) is defined to be the generic degree of \(\Upsilon_{Z,G}\); otherwise it is \(0\) [2508.02891]. The paper proves that if \(\dim\Pi_G=km\), then for generic \(z\in \Gr_{m,n}\),
\[
|\mVRC_G^z| = IN(G).
\]
Equivalently, the number of \(m\)-VRCs with generic boundary equals the generic number of points in the fiber of the amplituhedron map [2508.02891]. In particular,
\[
G\text{ is }m\text{-generically solvable } \iff \dim \Pi_G=km \text{ and } IN(G)=1.
\]

The paper gives a complete classification for plabic trees. A bipartite plabic tree \(G\) of type \((k,km+1)\) is \(m\)-balanced if for every edge \(e\), when
\[
G\setminus\{e\}=G_1\sqcup G_2,
\]
each component \(G_i\) satisfies
\[
m(k_{G_i}-1)<\dim \Pi_{G_i}\le mk_{G_i}.
\]
Then
\[
IN(G)=1 \iff G\text{ is }m\text{-balanced},
\]
and if \(G\) is not \(m\)-balanced, then
\[
IN(G)=0.
\]
The \(m\)-balanced trees are called \((k,m)\)-amplitrees [2508.02891].

For amplitrees, the paper constructs explicit VRCs using the Grassmann-Cayley algebra. If \(x\) is a vertex in a rooted tree, then
\[
F_x(z)=z_i
\]
for a boundary vertex \(x=i\),
\[
F_x(z)=\bigwedge_{i=1}^p F_{b_i}(z)
\]
for a white vertex with children \(b_1,\dots,b_p\), and
\[
F_x(z)=F_{w_1}(z)*\cdots *F_{w_p}(z)
\]
for a black vertex with children \(w_1,\dots,w_p\) [2508.02891]. This supplies an explicit recursive realization of VRC vectors in the degree-one case.

## 5. Dominance, brushings, operads, and examples

A solvable tangle is dominant if each blob can attain a Zariski-dense subset of generic configurations: for each blob \(D\), the image of
\[
\pi^D\circ \Phi_{(G,D)}
\]
is dense in \(\Conf_{m,D}^{\circ}\) [2508.02891]. The paper identifies the correct combinatorial structure controlling this property: a solvable plabic tangle is dominant if and only if it admits a brushing [2508.02891].

A brushed plabic tangle consists of a tangle \((G,D)\) together with, for each blob \(D\), a reverse acyclic perfect orientation \(O^D\), a collection of oriented vertex-disjoint paths \(P_u\) from outer boundary vertices \(i_u\in bd\) to the black vertices \(b_u\) adjacent to blob vertices \(u\in D\), and signs \(\sigma_{b_u}\in\{\pm1\}\) [2508.02891]. Given any pinning, the brushing normalizes it by dividing by the path weight
\[
\wt'(P_u)= \frac{\prod_{e\in P_u} r'_e(z)}{\prod_{e'\in P_u} (-r'_{e'}(z))}
\]
and setting
\[
v_{b_u}(z)=\sigma_{b_u}\frac{v'_{b_u}(z)}{\wt'(P_u)}.
\]
A lemma shows that this normalized value is independent of the initial pinning [2508.02891].

Plabic tangles also form an operad. If \(\mathcal P(n;d)\) denotes plabic tangles with outer boundary size \(n\) and blob sizes \(d=(d_1,\dots,d_\ell)\), there is a unit \(1_n\in \mathcal P(n;n)\), given by the trivial tangle of \(n\) parallel segments, and composition
\[
\circ_i:\mathcal P(n;d)\times \mathcal P(d_i;d')\to \mathcal P(n;d_1,\dots,d_{i-1},d'_1,\dots,d'_{\ell'},d_{i+1},\dots,d_\ell)
\]
by inserting one tangle into the \(i\)-th blob of another [2508.02891]. The paper proves that dominant solvable plabic tangles form a suboperad \(P_m\), and brushed dominant solvable plabic tangles form a suboperad \(\widehat P_m\) [2508.02891].

Several classes of promotion are worked out explicitly. Star promotion gives a unary map \(\Psi_m:C(\widehat{\Gr}_{m,N'})\to C(\widehat{\Gr}_{m,n})\) [2508.02891]. Spurion promotion, chain-tree promotion, and forest promotion supply further infinite families of quasi-cluster homomorphisms [2508.02891]. The BCFW promotion is the motivating binary example and recovers the quasi-cluster map arising in the amplituhedron recursion [2508.02891].

The paper also treats the \(4\)-mass box, where the intersection number is \(2\). In that case promotion is no longer single-valued and rational, but has two branches
\[
\Psi_\pm:C(\widehat{\Gr}_{4,N'})\to C(\widehat{\Gr}_{4,n})[\sqrt{\Delta}],
\]
with
\[
\alpha_\pm=\frac{-B\pm\sqrt{\Delta}}{2A}, \qquad \Delta=B^2-4AC,
\]
and the paper proves that if \(x\) is a cluster variable for \(\Gr_{4,N'}\), then \(\Psi_+(x)\) and \(\Psi_-(x)\) are positive on \(\Gr^{>0}_{4,n}\) [2508.02891]. This is used to point toward positivity phenomena beyond ordinary cluster-algebra positivity [2508.02891].

## 6. Antecedents, neighboring frameworks, and scope

The explicit notion of plabic tangles appears only in the 2025 paper “Plabic Tangles and Cluster Promotion Maps” [2508.02891]. Earlier work developed the surrounding structures but did not use the term. In particular, plabic graphs themselves were already identified with positroid cells of the positive Grassmannian, decorated permutations, local square moves, and cluster seeds through dual quivers [1406.7273]. Maximal weakly separated collections in a positroid were shown to be in bijection with reduced plabic graphs, establishing a precise planar-combinatorial foundation for their boundary and face data [1109.4434].

Several later frameworks are especially close in spirit to plabic tangles. Hourglass plabic graphs add edge multiplicities and trip strands, giving a planar, boundary-attached, strand-carrying diagrammatics for \(U_q(\mathfrak{sl}_r)\)-webs in Plücker degree two [2402.13978]. “Flip cycles in plabic graphs” studies the loops of local rewrites in the plabic flip graph and proves that the fundamental group is generated by cycles of sizes \(4\), \(5\), and \(10\), supplying a coherence theory for local plabic moves [1902.01530]. “3D plabic graphs” generalize ordinary planar plabic graphs to braid-sensitive objects in \(\mathbb R^3\), with relative cycles, surfaces, quivers, and cluster seeds; this is one of the closest preexisting analogues of a genuinely tangle-like plabic theory, although the paper does not use that name [2210.04778]. “Plabic links, quivers, and skein relations” attaches links \(L_G\) to plabic graphs and shows that local plabic modifications can realize the HOMFLY skein relation, thereby producing a strong link-theoretic local calculus from plabic data [2208.01175].

These neighboring theories clarify the scope of plabic tangles. The 2025 framework is not a theory of tangles in the knot-theoretic sense, but a theory of plabic graphs with inner disks, VRCs, promotion maps, and operadic insertion [2508.02891]. Its strongest direct claim is that dominant solvable plabic tangles should yield quasi-cluster homomorphisms and preserve total positivity, with several infinite families already proved and the \(4\)-mass box suggesting a further positive algebraic structure beyond cluster algebras [2508.02891].

Source: https://www.emergentmind.com/topics/plabic-tangles