Abstract
We derive a simple bijection between geometric plane perfect matchings on 2n points in convex position and triangulations on \(n+2\) points in convex position. We then extend this bijection to monochromatic plane perfect matchings on periodically kcolored vertices and \((k+2)\)gonal tilings of convex point sets. These structures are related to a generalization of Temperley–Lieb algebras and our bijections provide explicit onetoone relations between matchings and tilings. Moreover, for a given element of one class, the corresponding element of the other class can be computed in linear time.
Introduction
The Fuss–Catalan numbers \(f(k,m)=\tfrac{1}{m} {km+m \atopwithdelims ()m1}\) are known to count the number of \((k+2)\)gonal tilings of a convex polygon of size \(km+2\) and go back to FussEuler (cf. [6]). Bisch and Jones introduced kcolored Fuss–Catalan algebras in [1] as a natural generalization of Temperley–Lieb algebras. These algebras have bases by certain planar kcolored diagrams with mk vertices on top and bottom. The dimension of such an algebra is f(k, m), with a basis indexed by these diagrams. We call these diagrams plane perfect kcolored matchings or just kcolored matchings, assuming from now on that they are plane and perfect. Since the number of \((k+2)\)gonal tilings coincides with the number of kcolored matchings, these sets are in bijection. Przytycki and Sikora [6] prove this through an inductive implicit construction but do not give an explicit bijection between the sets.
Furthermore, from work of Marsh and Martin [5], one can derive an implicit correspondence between triangulations and diagrams for \(k=1\). However, to our knowledge, no explicit bijection is known.
In this paper, we will give bijections between these two sets of plane graphs on sets of points in convex position. We first address the case \(k=1\) (Sect. 3) and then treat the general case. Our main theorems are the explicit bijections between the set of kcolored matchings and \((k+2)\)gonal tilings (Theorems 1 and 3). A key ingredient is the characterization of valid kcolored matchings in Theorem 2.
Algebraic Background
Temperley–Lieb Algebras
Temperley and Lieb introduced in [7] an algebra arising from a special kind of lattice models, which is a key ingredient in statistical mechanics. Given a field K and an element \(\alpha \in K\), the Temperley–Lieb algebra \(TL_n(\alpha )\) is the algebra with identity I with generators \(u_1,\ldots , u_{n1}\) , I, subject to the relations:
The basis of the algebra consists of all reduced words, i.e. words which can not be further simplified using the relations. For example, a basis of \({{\mathrm{TL}}}_3(\alpha )\) over the field k is \(\{I, u_1, u_2, u_1 u_2, u_2 u_1 \}\), independently of the element \(\alpha \). Kauffman introduced a pictorial representation of the Temperley–Lieb algebras in [4]. Each generator corresponds to a plane perfect matching with n vertices on the top and bottom of a rectangle labelled \(v_1, \ldots , v_n\) and \(v_{n+1}, \ldots , v_{2n}\) in clockwise order. The identity consists of n propagating lines, and the generator \(u_i\) consists of \(n2\) propagating lines and two arcs between the pairs \((v_i,v_{i+1})\) and \((v_{2ni},v_{2ni+1})\) respectively, see Fig. 1.
Products of generators of the algebra are obtained by concatenation of the corresponding matchings from top to bottom. Any loop arising from this is removed and replaced by a factor \(\alpha \), e.g. \(u_i u_i= \alpha u_i\), see Fig. 2.
One can check that all the relations (1)–(4) are satisfied. Relation (3) is illustrated in Fig. 3.
It is a well known result that the dimension of \({{\mathrm{TL}}}_n(\alpha )\) is equal to \(C_n=\tfrac{1}{n+1}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \), the nth Catalan number (see [1] for an example). We are only interested in the diagrams and will from now on fix \(\alpha =1\).
Fuss–Catalan Algebras
In [1], Bisch and Jones introduced a natural generalization of the Temperley–Lieb algebras, the so called kcolored Fuss–Catalan algebras. These algebras, which we denote by \({{\mathrm{TL}}}_{mk,k}(\alpha _1, \ldots , \alpha _k)\), can be defined using the same pictorial representation, now with mk vertices on the top and bottom. However, the diagrams giving the basis must satisfy a further constraint. The vertices are colored clockwise starting at the top left vertex, with k colors \(c_1, \ldots , c_k\) as follows: \(c_1, \ldots , c_{k1}, c_k, c_k, c_{k1}, \ldots , c_{2}, c_1, c_{1}, c_2, \ldots , c_k\) and so on. Note that the vertices \(v_1\) and \(v_{2n}\) are always colored with \(c_1\) and that the vertices \(v_n\) and \(v_{n+1}\) have the same color \(c_1\) or \(c_k\), depending on the parity of m. In the diagrams, only monochromatic matchings, i.e. matchings where only vertices of the same color are linked, are allowed. The identity is again given by straight lines. The generators consist of straight lines and nested sets of arcs as follows: \(u_i^{(l)}, 1\le i \le m, 1\le l \le k\), consists of l nested arcs, where the innermost arc connects vertices \(v_{ki}\) and \(v_{ki+1}\) and has color \(c_{1}\) for i even and \(c_{k}\) for i odd, respectively, all other lines are straight. See Fig. 4 for an illustration of some generators in the 3colored case.
Similar to the uncolored case, loops of color \(c_i\) correspond to multiplication by a nonzero field element \(\alpha _i\). For defining the relations, we follow [2]. Set \(\beta _i(0)=1\) for all \(1\le i \le m\). Further, for \(1 \le p \le k\) and \(1\le i \le m\), set
Then the kcolored Fuss–Catalan algebra \({{\mathrm{TL}}}_{mk,k}(\alpha _1,\ldots ,\alpha _k)\) has as generators the identity I and \(u_i^{(l)}, 1\le i \le m, 1\le l \le k\) subject to the relations
Note that \(u_i^{(0)}=I\) for \(1\le i \le m\) in these relations whenever needed. All the diagrams generated through this form a basis of \({{\mathrm{TL}}}_{mk,k}(\alpha _1,\ldots ,\alpha _k)\). The number of basis elements of \({{\mathrm{TL}}}_{mk,k}(\alpha _1,\ldots ,\alpha _k)\) is \(f(k,m):=\tfrac{1}{m} {km+m \atopwithdelims ()m1}\) as shown in [1]. The numbers f(k, m) are called Fuss–Catalan numbers, a generalization of the Catalan numbers f(1, m). As mentioned above, we are interested in the diagrams and will from now on assume that \(\alpha _i=1\) for \(1 \le i \le k\).
Matchings and Triangulations
In the following, we consider two classes of labeled plane geometric graphs on sets of points in convex position. We will tacitly assume that the points are always in convex position and that the graphs are plane. The first class are perfect matchings on 2n points in convex position. We will draw these matchings with two parallel rows of n vertices each, labeled \(v_1\) to \(v_{n}\) and \(v_{n+1}\) to \(v_{2n}\) in clockwise order, and with nonstraight edges; see Fig. 5(left). The second class are triangulations on \(n+2\) points in convex position, labeled \(p_1\) to \(p_{n+2}\) in clockwise order; see Fig. 5(right). For the sake of distinguishability, throughout this paper we will refer to \(p_1, \ldots , p_{n+2}\) as points and to \(v_1, \ldots , v_{2n}\) as vertices.
The above defined structures are undirected graphs. We next give an implicit direction to the edges of these graphs: an edge \(v_iv_j\) (\(p_ip_j\)) is directed from \(v_i\) to \(v_j\) (\(p_i\) to \(p_j\)) for \(i<j\), that is, each edge is directed from the vertex / point with lower index to the vertex / point with higher index. This also defines the outdegree of every vertex / point, which we denote as \(b_i\) for each vertex \(v_i\) and as \(d_i\) for each point \(p_i\). For technical reasons, we do not count the edges on the boundary of the convex hull of a triangulation when computing the outdegree of a point \(p_i\), with the exception of the edge \(p_1p_{n+2}\). We call the sequence \((b_1,\ldots , b_{2n})\) of the outdegrees of a matching (or the sequence \((d_1,\ldots , d_n)\) of the first n outdegrees of a triangulation) its outdegree sequence; see again Fig. 5. We first show that for both structures, this sequence is sufficient to encode the graph.
For matchings, the outdegree sequence is a 0 / 1sequence with 2n digits, where n digits are 1 and n digits are 0. Moreover, the directions of the edges imply that an incoming edge at a vertex \(v_j\) must be outgoing for a vertex \(v_i\) with \(i<j\). Thus, we have the condition \(\sum _{i=1}^{\ell } b_i \ge l/2\) for any \(1 \le {\ell } \le 2n\), that is, in any subsequence starting at \(v_1\), we have at least as many 1s as 0s. Such sequences are called ballot sequences; see [3, p.69]. Obviously, the outdegree sequence of a matching can be computed from a given matching in O(n) time. But also the reverse is true: We consider the outdegrees from \(b_1\) to \(b_{2n}\). We use a stack (with the usual push and pop operations) to store the indices of considered vertices that still need to be processed. Initially, the stack is empty. If \(b_i=1\), we push the index i on the stack. If \(b_i=0\), we pop the topmost index \({\ell }\) from the stack and output the edge \(v_{\ell }v_i\). In this way, always the last vertex with ‘open’ outgoing edge is connected to the next vertex with incoming edge, implying that the subgraph with vertices \(v_{\ell }\) to \(v_i\) is a valid plane perfect matching. A simple induction argument shows that the whole resulting graph is plane and can be reconstructed from the outdegree sequence in O(n) time.
For triangulations, first note that the outdegrees of \(p_{n+1}\) and \(p_{n+2}\) are 0. Thus we do not lose information when restricting the outdegree sequence of a triangulation to \((d_1,\ldots , d_n)\). As in the previous case, the directions of edges imply that for any valid outdegree sequence, it holds that \(\sum _{i=1}^{\ell } d_{n+1i} \le \sum _{i=1}^{\ell } 1 = {\ell }\) for any \(1 \le {\ell } \le n\). This sum is precisely the maximum number of edges which can be outgoing from the ‘last’ \({\ell }\) points \(p_{n+1{\ell }}\) to \(p_n\). Recall that we do not consider the edges of the convex hull, except for \(p_1p_{n+2}\), and thus the number of edges which contribute to the outdegree sequence is exactly n. As before, it is straightforward to compute the outdegree sequence from a given triangulation in O(n) time. For the reverse process, we again use a stack to store the indices of considered points that still need to be processed. We initialize the stack with push(\(n+2\)) and push(\(n+1\)) and output all the (noncounted) edges \(p_i p_{i+1}\) for \(1 \le i \le n+1\). Then we consider the outdegrees in reversed order, that is, from \(d_n\) to \(d_1\). For each degree \(d_i\) we perform two steps. (1) \(d_i\) times, we pop the topmost index from the stack. After each pop let \({\ell }\) be the (new) topmost index on the stack and output the edge \(p_ip_{\ell }\). Note that this edge together with the vertex whose index was just popped from the stack forms a triangle of the triangulation we construct. (2) We push i on the stack. This process constructs the triangulation from back to front, i.e., it inserts edges with higher start index first. When processing \(p_i\), all points in the range \(p_{i+1}\) to \(p_{n+2}\) that are still ‘visible’ from \(p_i\) (i.e., all points that could still have an incoming edge from \(p_i\)) are in this order on the stack. Thus, drawing the edges in the described way generates a planar triangulation. At the end of the process, the stack contains exactly the two indices \(n+2\) and 1, which can be ignored because they are the endpoints of the last generated edge.
So far we have shown that there exists an explicit bijection between outdegree sequences on the one side and matchings respectively triangulations on the other side. We now present a bijective transformation between outdegree sequences of matchings and those of triangulations.
For a given outdegree sequence \(B=(b_1, \ldots , b_{2n})\) of a perfect matching, we compute the outdegree \(d_i\) for the point \(p_i\) of the triangulation as the number of 1s between the \((i1)\)st 0 and the ith 0 in B for \(i>1\), and set \(d_1\) to the number of 1s before the first 0 in B.
For the reverse transformation, we process the outdegree sequence of a triangulation from \(d_1\) to \(d_n\) and set the entries of B in order from \(b_1\) to \(b_n\) in the following way: For each entry \(d_i\) we first set the next \(d_i\) consecutive elements (possibly none) of B to 1; then we set the next element of B to 0. These 1 elements of B can be regarded as corresponding to the outgoing edges incident with \(p_i\), and the 0 element regarded as corresponding to the boundary edge adjacent to \(p_i\) and going to \(p_{i+1}\).
By the constructions described in the previous two paragraphs it follows immediately that the two transformations are inverse to each other. Recall that the conditions for valid outdegree sequences are \(\sum _{i=1}^{\ell } b_i \ge l/2\) for any \(1 \le {\ell } \le 2n\) for matchings, and \(\sum _{i=1}^{\ell } d_{n+1i} \le {\ell }\) for any \(1 \le {\ell } \le n\) for triangulations, respectively. Having this in mind, it is not hard to see that the two transformations form a bijection between valid outdegree sequences of triangulations and valid outdegree sequences of matchings. Moreover, each transformation can be performed in O(n) time. Fig. 6 shows all corresponding perfect matchings, triangulations, and outdegree sequences for \(n=3\).
Theorem 1
There exists a bijection between geometric plane perfect matchings on 2n points in convex position and geometric triangulations on \(n+2\) points in convex position. Further, for an element of one structure, the corresponding element of the other structure can be computed in linear time.
Matchings with k Colors
In this section we add colors to the vertices of the perfect matchings and require the matching edges to be monochromatic. For \(k \ge 2\), let \(c_1, \ldots , c_k\) be the k colors and let n be a multiple of k. We color the vertices in a bitonic way, that is, in the order \(c_1, c_2, \ldots , c_{k1}, c_k, c_k, c_{k1}, \ldots , c_2, c_1, c_1, c_2, \ldots \) and so on. In a perfect kcolored matching, all matching edges connect vertices of the same color, and hence n is a multiple of k; see Fig. 7 for an example of a kcolored matching with \(k=3\) colors and \(n=9\).
Clearly, the set of kcolored matching is a subset of the set of non colored matchings considered in the last section, and thus all properties considered there still hold. But not every matching obtained in the previous section is a kcolored matching and hence not every outdegree sequence of a matching is an outdegree sequence of a valid kcolored matching. Thus we now derive additional properties to determine which outdegree sequences of matchings correspond to kcolored matchings.
We denote k consecutive vertices \(v_i,\ldots ,v_{i+k1}\) that are colored with either \(c_1,\ldots ,c_k\) or \(c_k,\ldots ,c_1\) as a block. In total we have 2n / k such blocks and they form a partition of 2n vertices. Observe that within a block, there cannot be a vertex with an incoming edge after a vertex with an outgoing edge, as this would cause a bichromatic edge. Hence, in a kcolored matching, the outdegree sequence of any block has to be of the form \(0,\ldots ,0,1,\ldots ,1\) (where it can consist entirely of 0 or 1 entries). For better readability, we sometimes mark block boundaries in an outdegree sequence with vertical lines. We say that an outdegree sequence (and the matching) fulfilling this property has a valid block structure.
Lemma 1
Let M be a perfect matching with valid block structure that is not a kcolored matching. Then there exists an edge \(v_s v_e\) in M with the following properties:

(i)
The vertices \(v_s\) and \(v_e\) lie in different blocks, say \(v_s \in S\) and \(v_e \in E\).

(ii)
The subsequence from \(v_{s+1}\) to \(v_{e1}\) contains no bichromatic matching edge.

(iii)
The number of blocks between S and E is odd.

(iv)
Let \(v_s\) be the ith vertex in S. Then \(v_e\) is the \((i+1)\)st vertex in E.
Proof
To prove the lemma we assume that \(v_s v_e\) is a shortest (with respect to the difference of the indices) edge which connects two vertices of different color and show that any such edge has to fulfill the four properties.
(i) As the matching has a valid block structure, no bichromatic edge within a block can exist.
(ii) If the subsequence from \(v_{s+1}\) to \(v_{e1}\) contains a bichromatic matching edge, then this edge is shorter, a contradiction.
(iii) Assume there is an even number of blocks between S and E. Then each color shows up in these blocks an even number of times. Hence, by Property (ii), the set of vertices in S after \(v_s\) has the same set of colors as the set of vertices in E before \(v_e\). As S and E are colored in reversed order, this implies that \(v_s\) and \(v_e\) have the same color, a contradiction.
(iv) As there is an odd number of blocks between S and E, by Property (ii), the union of the set of vertices in S after \(v_s\) and the set of vertices in E before \(v_e\) contains exactly one vertex of each color. As further S and E are colored in the same order, we conclude that the position of \(v_e\) in E is ’right after’ the position of \(v_s\) in S \(\square \)
The proof of Lemma 1 implies the following theorem.
Theorem 2
A matching is a kcolored matching if and only if it has a valid block structure and does not contain an edge as described in Lemma 1.
Remark: For a given outdegree sequence we can check in linear time if it is an outdegree sequence of a kcolored matching by using the reconstruction algorithm described in Sect. 3.
Tilings with tGons
For any \(t \ge 3\), a tgonal tiling or tangulation T on \(n+2\) points in convex position, labeled \(p_1\) to \(p_{n+2}\) in clockwise order, is a plane graph where every bounded face is a tgon and the vertices along the unbounded face are \(p_1, p_2, \ldots , p_{n+2}\) in this order; see Fig. 8 for an example. For the special case of \(t=3\), T is a triangulation. In the next section, we will show that the kcolored matchings on 2n vertices of the previous section correspond to \((k+2)\)gonal tilings of \(n+2\) points in convex position, where \(n=km\) for some integer \(m>0\). This is a generalization of the fact that matchings (i.e., \(k=1\)) correspond to triangulations. To this end we first derive several properties of tgonal tilings of convex sets.
The dual graph of a tgonal tiling T has a vertex for each bounded face T and two vertices are connected by an edge if the corresponding faces share a common edge in T (every pair of bounded faces shares at most one edge). An ear of T is a tgon which shares all but one edge with the unbounded face and can thus be cut off of T (along this edge) so that the remaining part is a valid tgonal tiling of \(n+2(t2)=n+4t\) points.
As the dual graph of any tgonal tiling T is a tree, as every tree with at least two vertices has at least two leaves (where the minimal case is obtained by a path), and as a leaf in the dual graph of T corresponds to an ear in T, we have the following observation:
Observation 1
Every tgonal tiling with at least \(2t2\) points has at least two ears. At least one of these ears is not incident to the edge \(p_1 p_{n+2}\).
Lemma 2
Any triangulation \(\mathcal T\) on \(n+2\) points in convex position contains at most one tgonal tiling as a subgraph.
Proof
We prove the lemma by induction on n. For \(n+2=t\) the statement is obviously true, so let \(n+2 \ge 2t2\) and let \(T_1\) and \(T_2\) be two tgonal tilings which are subgraphs of \(\mathcal T\). By Observation 1 there exists an ear E in \(T_1\). Let \(p_a p_b\), \(a<b\), be the edge of \(\mathcal T\) such that E can be separated from the rest of \(T_1\) by this edge. Moreover let e be an edge that is incident to E and to the unbounded face of \(\mathcal T\). Then the (unique) tgon in \(T_2\) that is incident to e must be E: Otherwise there is an edge connecting a point \(p_x\) between \(p_a\) and \(p_b\) to a point \(p_y\) outside the sequence from \(p_a\) to \(p_b\). Then \(p_a p_b\), which is part of \(T_1\), crosses \(p_x p_y\), which is part of \(T_2\). This is a contradiction to the planarity of \(\mathcal T\) (recall that \(T_1\) and \(T_2\) are subgraphs of \(\mathcal T\)). Thus we can remove E from both \(T_1\) and \(T_2\), and obtain two tgonal tilings of a smaller set of points contained in the restriction of \(\mathcal T\). By induction, these smaller tgonal tilings are the same, and hence \(T_1\) and \(T_2\) are the same as well. \(\square \)
Obviously, if a triangulation \(\mathcal T\) on \(n+2\) points contains a tgonal tiling T as a subgraph, then n is a multiple of \(t2\). Further, as T has at least two ears, \(\mathcal T\) contains at least two edges that cut off a triangulated tgon from \(\mathcal{T}\). We call such a tgon that can be split off from a triangulation \(\mathcal T\) a tear of \(\mathcal T\) and refer to the edge along which the tear can be split off as an earedge (of the tear). Note that for \(t>3\), not every triangulation contains tears.
Let \(\mathcal T\) be a triangulation that contains a tear with earedge \(p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\). Let B be the outdegree sequence of the corresponding matching, obtained as described in Sect. 3. If \(s < n+2\), then in B, the tear corresponds to a subsequence W (obtained from \(p_r,\ldots , p_{s1}\)) of B of length \(2t3\) that starts with a 1 (for \(p_rp_s\)), ends with two 0s (as the last point \(p_{s1}\) of the ear cannot have outgoing edges), and has \(t1\) 0s and \(t2\) 1s in total. If \(s = n+2\), then the point \(p_{s1} = p_{n+1}\) does not contribute to the outdegree sequence, cf. Sect. 3. Thus the according subsequence W has length \(2t4\) and is \(W=(b_{2n2t+5},\ldots , b_{2n})\), which must be a ballot sequence.
Relating kColored Matchings and \((k+2)\)Gonal Tilings
We say that a triangulation on \(n+2\) points in convex position is kcolor valid if by the bijection defined in Sect. 3 it corresponds to a kcolored matching as defined in Sect. 4. The outdegree sequence of such a triangulation is then also called kcolor valid. A \((k+2)\)gonal tiling of \(n+2\) points is called kcolor valid if it can be completed to (i.e., is a subgraph of) a kcolor valid triangulation. In the following, let \(t=k+2\).
Observation 2
Let \(\mathcal T\) be a kcolor valid triangulation that contains a tear with earedge \(p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\). Let the first entry of the subsequence W of B that corresponds to this tear be the ith entry within its block, for \(1\le i \le k\). If \(s =n+2\) then \(i=1\) and \(W=(1,\ldots ,10,\ldots ,0) = (1^k0^k)\). Otherwise, recall from Sect. 4 that within a block no 1 can be placed before a 0, and thus it holds that \(W=(1,\ldots ,10,\ldots ,0,1,\ldots ,10,\ldots ,0) = (1^{ki+1}0^{ki+1},1^{i1}0^{i})\). In the former case, removing the tear is equivalent to removing W from B. In the latter case, all but the last 0 of W is removed from B.
Observation 3
Using the same setting as in Observation 2 the converse also holds: if B contains a subsequence \(W= (1^{ki+1}0^{ki+1},1^{i1}0^{i})\) or the end of B is \(W = (1^k0^k)\) then \(\mathcal T\) contains a tear.
The following three lemmas can be derived using Observation 2. The proof of Lemma 3 also shows that the extension is uniquely determined.
Lemma 3
Any kcolor valid tgonal tiling T on \(n+2\) points can be extended by an ear at any edge \(e=p_rp_{r+1}\), \(1 \le r \le n+1\), so that the resulting tgonal tiling on \(n+k\) points is kcolor valid.
Proof
Let \(e=p_rp_{r+1}\) be the edge where we add the ear, and let B be the outdegree sequence of the kcolored matching corresponding to T. If \(r \le n\), then in B, e corresponds to the 0, denoted here by \(0'\), between the 1s that correspond to the outdegrees \(d_r\) and \(d_{r+1}\) of \(p_r\) and \(p_{r+1}\), respectively, or the 0s of the preceding (subsequent) boundary edge in case \(d_r\) (\(d_{r+1}\)) is zero. Suppose that \(0'\) is the ith entry within its block R, for some \(1 \le i \le k\). Then \(R = 0^{i1},0',m\), where m is an arbitrary but valid subsequence. We extend \(0'\) to a tear (by inserting k 1s and k 0s before \(0'\) according to Observation 2, by this extending R to \(0^{i1},1^{ki+1}0^{ki+1},1^{i1}0^{i1},0',m\). If \(r = n+1\), then e is not represented in B. In this case, we extend B by adding a block of 1s followed by a block of 0s; see again Observation 2. In both cases, all k new edges in the matching are local within the new blocks and monochromatic. Thus it follows by Theorem 2 that the extended outdegree sequence is also color valid. Note that once e is fixed, by Observation 2 the extension is uniquely determined. \(\square \)
Lemma 4
Let \(\mathcal T\) be a kcolor valid triangulation that contains a tear with earedge \(p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\). Then the triangulation \(\mathcal T'\) that results from removing the tear from \(\mathcal T\) is again kcolor valid.
Proof
Let B be the outdegree sequence of the kcolored matching M corresponding to \(\mathcal T\) and let W be the subsequence of B corresponding to the tear. In B, the removal of the ear is equivalent to removing W from B (except for the last 0 for \(s<n+2\)). Let \(W'\) be this sequence to be removed. To show that the resulting triangulation \(\mathcal T'\) is again kcolor valid, we need to prove that the shortened outdegree sequence \(B'\) corresponds to a kcolored matching. To this end, first note that in M, removing \(W'\) from B is equivalent to removing 2k consecutive vertices of the point set. Hence the remaining vertices with the original kcoloring are properly colored. Second, note that the number of 0s in \(W'\) is k and the number of 1s in \(W'\) is k, implying that \(B'\) corresponds to some matching \(M'\). It remains to show that \(M'\) is kcolored, that is, that there is no bichromatic edge in \(M'\). By Observation 2, we have \(W'=(1^{ki+1}0^{ki+1},1^{i1}0^{i1})\) for some \(1 \le i \le k\). In the matching M, this corresponds to k edges that form a matching of the vertices to be removed. Hence all edges in \(M'\) also exist in M, implying that none of them is bichromatic. \(\square \)
Lemma 5
Let \(\mathcal T\) be a kcolor valid triangulation. Then \(\mathcal T\) contains a tear with earedge \(p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\).
Proof
Let B be the outdegree sequence of the kcolored matching corresponding to \(\mathcal T\). Further, let \(W_i\) be the subsequence of B that starts at \(b_i\) and has length \(2k+1\), for \(1 \le i \le 2n2k\), and let \(w_i = \sum _{j=i}^{i+2k} b_j\) be the weight of \(W_i\). As \(\mathcal T\) is kcolor valid, we have \(w_1 > k\) (there have to be at least \(k+1\) outgoing edges for the first \(2k+1\) vertices) and \(w_{2n2k} \le k\) (there are at most k outgoing edges for the last \(2k+1\) vertices). Further, we also have \(w_{i+1}w_i \in \{0,\pm 1\}\). We will show that either at least one of the \(W_i\)s or the last two blocks of B represent a kear of \(\mathcal T\). To this end, we proceed through the \(W_i\)s from \(i=1\) to \(2n2k\) as long as \(w_i \ge k\). Whenever \(w_i > k\), we continue to the next subsequence (as a necessary condition for \(W_i\) to be a kear is \(w_i=k\)). For \(w_i=k\) and \(w_{i1} > k\), \(W_{i1}\) starts with \(b_{i1}=1\) and \(W_i\) ends with \(b_{i+2k}=0\). We distinguish the following cases:
Case 1 \(W_i\) starts with \(b_i=1\). Let \(1 \le a \le k\) be such that the block containing \(b_i\) ends right before \(b_{i+a}\). Then we have \(W_i=1^a0^a1^{ka}0^{ka+1}\), where the 1s in the first block are forced by \(b_i=1\), the 0s in the last block are forced by \(b_{i+2k}=0\), and the form of the middle block stems from \(w_i=k\). Hence, \(W_i\) is a kear by Observation 3.
Case 2 \(W_i\) starts with \(b_i=0\). As \(W_{i1}\) starts with \(b_{i1}=1\), there is a block boundary directly before \(b_i\), and by \(w_i=k\) we have \(W_i=0^a1^{ka}0^{ka}1^a0\) for some \(1 \le a \le k\).Hence, \(W_j\) is no ear and \(w_j \ge k\) for \(i \le j \le \min \{i+a,2n2k\}\).
Case 2.1 If \(i+a \le 2n2k\) and \(w_{i+a}>k\) then \(i+a < 2n2k\) and we continue the whole process by considering \(w_{i+a+1}\).
Case 2.2 If \(i+a \le 2n2k\) and \(w_{i+a}=k\) then all entries in \(W_{i+a}{\setminus } W_i\) are 0s and hence \(W_{i+a}=1^{ka}0^{ka}1^a0^{a+1}\) is a kear by Observation 3.
Case 2.3 If \(i+a > 2n2k\), then all 1s in \(W_i\) must also be in \(W_{2n2k}\). Thus \(w_{2n2k}=k\) and due to the kcolor validity we have \(W_{2n2k}= 01^k0^k\). Hence the last two blocks of B form a kear by Observation 3. \(\square \)
Combining Lemmas 2–5 and Observations 1–3, we obtain our main result.
Theorem 3
For integers \(k \ge 2\) and \(c \ge 1\) let \(n=ck\) and \(t=k+2\). There exists a bijection between geometric plane perfect kcolored matchings on 2n points in convex position and tgonal tilings on \(n+2\) points in convex position. Further, for an element of one structure, the corresponding element of the other structure can be computed in linear time.
Proof
We first show (by induction on n) that every tgonal tiling T can be completed to at least one kcolor valid triangulation. For \(n+2=t\) the statement is trivially true as we have only one inner face and can thus triangulate as required. So let \(n+2 \ge 2t2\). By Observation 1 there exists an ear E of T. If we cut this ear off, then by induction there exists a completion to a kcolor valid triangulation, which by Lemma 3 can be extended to a kcolor valid triangulation \(\mathcal T\) of T.
Next, assume that there exists a tgonal tiling which can be refined by at least two different kcolor valid triangulations. Let T be a minimal such tgonal tiling and let \(\mathcal{T}_1\) and \(\mathcal{T}_2\) be two different kcolor valid triangulations for T. By Lemma 5, \(\mathcal{T}_1\) has a tear with earedge \(e=p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\). Thus, e must be an edge of T, implying that \(\mathcal{T}_2\) also has a tear at e. By Lemma 4, removing the tear from \(\mathcal{T}_1\) results in a kcolor valid triangulation \(\mathcal{T}'\). Further, as T is minimal, removing the tear from \(\mathcal{T}_2\) results in the same triangulation \(\mathcal{T}'\). But by the proof of Lemma 3, there is exactly one possibility of extending \(\mathcal{T}'\) at e with a tear, a contradiction. Hence every tgonal tiling T can be completed to exactly one kcolor valid triangulation.
So far we have shown that a given tgonal tiling can be completed to exactly one kcolor valid triangulation. For proving that there exists a bijection between kcolored matchings and tgonal tilings, it remains to show that any kcolor valid triangulation contains exactly one tgonal tiling.
We show (by induction on n) that every kcolor valid triangulation \(\mathcal{T}\) contains at least one tgonal tiling. For \(n+2=t\) the statement is trivially true, so let \(n+2 \ge 2t2\). By Lemma 5, \(\mathcal{T}\) has a tear with earedge \(e=p_rp_s\) for some \(r \ge 1\) and \(s=r+t1 \le n+2\). Further, by Lemma 4, removing the tear from \(\mathcal{T}\) results in a triangulation \(\mathcal{T}'\), which, by induction, contains at least one tgonal tiling \(T'\). By Lemma 3, we can extend \(T'\) with an ear at e, thus obtaining a tgonal tiling for \(\mathcal{T}\).
As by Lemma 2, every kcolor valid triangulation \(\mathcal{T}\) contains at most one tgonal tiling T, this completes the proof of the existence of a bijection.
To show that the transformation from a kcolored matching to a tgonal tiling and vice versa can be done in linear time, it remains to show that the tgonal tiling of a kcolor valid triangulation can be found in linear time and vice versa.
Consider first a kcolor valid triangulation \(\mathcal{T}\), let B be the outdegree sequence of the kcolored matching corresponding to \(\mathcal{T}\), and let B be stored in a linked list. Let T be the tgonal tiling for \(\mathcal{T}\) that we want to construct. By the proof of Lemma 5, we find a tear of \(\mathcal{T}\) whose subsequence W in B starts at \(b_j\) and which is the first tear of \(\mathcal{T}\) in time \(O(j+2k)\). We can remove the tear from \(\mathcal{T}\) and W (except possibly its last 0) from B in constant time, by this also obtaining one diagonal of T. Further, the first ear in the shortened sequence can start at earliest at \(b_{j2k}\), which implies that we do not need to restart our scan at the beginning. Hence, we can iteratively find all diagonals of T in O(n) time.
For the other direction, consider a tgonal tiling. We recursively cut off all ears in total linear time. Then, using Lemma 3, we readd them in reverse order, together with their triangulations that are uniquely defined by Observation 2. \(\square \)
Future Work
It is natural to search for a characterization of the generators of Temperley–Lieb algebras in terms of triangulations (and for the generators for the kcolored Fuss–Catalan algebras in terms of \((k+2)\)gonal tilings). We plan to use our explicit bijections to study the effect of edge flips in triangulations (respectively in tilings) on the corresponding matchings and to find out how the actions of generators of the Temperley–Lieb algebra (the kcolored Fuss–Catalan algebra) can be interpreted in terms of flips in triangulations respectively in tilings. Preliminary results have already been obtained.
References
 1.
Bisch, D., Jones, V.: Algebras associated to intermediate subfactors. Invent. Math. 128(1), 89–157 (1997). https://doi.org/10.1007/s002220050137.
 2.
Di Francesco, P.: New integrable lattice models from Fuss–Catalan algebras. Nuclear Phys. B 532(3), 609–639 (1998)
 3.
Feller, W.: An Introduction to Probability Theory and its Applications, vol. I, 3rd edn. Wiley, New York (1968)
 4.
Kauffman, L.H.: State models and the Jones polynomial. Topology 26(3), 395–407 (1987). https://doi.org/10.1016/00409383(87)900097
 5.
Marsh, R.J., Martin, P.: Pascal Arrays: Counting Catalan Sets. ArXiv Mathematics eprints (2006)
 6.
Przytycki, J.H., Sikora, A.S.: Polygon dissections and Euler, Fuss, Kirkman, and Cayley numbers. J. Combin. Theory Ser. A 92(1), 68–76 (2000). https://doi.org/10.1006/jcta.1999.3042
 7.
Temperley, H., Lieb, E.: Relations between the percolation and coloring problems and other graphtheoretical problems associated with regular planar lattices: some exact results for the percolation problem. Proc. R. Soc. 322, 147–280 (1997). https://doi.org/10.1098/rspa.1971.0067
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). We thank Paul Martin for bringing this problem to our attention. We also thank an anonymous referee for carefully reading the manuscript and providing many helpful suggestions.
Author information
Affiliations
Corresponding author
Additional information
Research for this work is supported by the Austrian Science Fund (FWF) Grant W1230.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Aichholzer, O., Andritsch, L., Baur, K. et al. Perfect kColored Matchings and \((k+2)\)Gonal Tilings. Graphs and Combinatorics 34, 1333–1346 (2018). https://doi.org/10.1007/s0037301819678
Received:
Revised:
Published:
Issue Date:
Keywords
 Triangulations
 Perfect matchings
 Temperley–Lieb algebras
 Fuss–Catalan algebras