arXiv++ Combinatorics

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994. In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order. These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.

We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$. Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446). Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups expressing how irreducible representations restrict from $S_N$ to $S_{N-1}$. In 1988, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was realized as the Bratelli diagram of a family of algebras by Okada in 1994. In this paper, we realize the Okada algebra and its associated monoid using a labeled version of Temperley-Lieb arc-diagrams. We prove in full generality that the dimension of the Okada algebra is $n!$. In particular, we interpret a natural bijection between permutations and labeled arc-diagrams as an instance of Fomin's Robinson-Schensted correspondence for the Young-Fibonacci lattice. We prove that the Okada monoid is aperiodic and describe its Green relations. Lifting those results to the algebra allows us to construct a cellular basis of the Okada algebra. }

We consider an infinite, planar, Delaunay graph which is obtained by locally deforming the embedding of a general, isoradial graph, w.r.t. a real deformation parameter $ε$. This entails a careful analysis of edge-flips induced by the deformation and the Delaunay constraints. Using Kenyon's exact and asymptotic results for the Green's function on an isoradial graph, we calculate the leading asymptotics of the first and second order terms in the perturbative expansion of the log-determinant of the Beltrami-Laplace operator $Δ(ε)$, the David-Eynard Kähler operator $\mathcal{D}(ε)$, and the conformal Laplacian $\underlineΔ(ε)$ on the deformed graph. We show that the scaling limits of the second order {\it bi-local} term for both the Beltrami-Laplace and David-Eynard operators exist and coincide, with a value independent of the choice of initial isoradial graph. Our results allow to define a discrete analogue of the stress energy tensor for each of the three operators. Furthermore we can identify a central charge ($c$) in the case of both the Beltrami-Laplace and David-Eynard operators. While the scaling limit is consistent with the stress-energy tensor and value of the central charge for the Gaussian free field (GFF), the discrete central charge value of $c=-2$ for the David-Eynard operator is, however, at odds with the value of $c=-26$ expected by Polyakov's theory of 2D quantum gravity; moreover there are problems with convergence of the scaling limit of the discrete stress energy tensor for the David-Eynard operator. The bi-local term for the conformal Laplacian involves anomalous terms corresponding to the creation of discrete {\it curvature dipoles} in the deformed Delaunay graph; we examine the difficulties in defining a convergent scaling limit in this case. Connections with some discrete statistical models at criticality are explored.

The homogeneous coordinate ring of the Grassmannian Gr(k,n) has a cluster structure defined in terms of planar diagrams known as Postnikov diagrams. The cluster corresponding to such a diagram consists entirely of Pluecker coordinates. We introduce a twist map on Gr(k,n), related to the Berenstein-Fomin-Zelevinsky-twist, and give an explicit Laurent expansion for the twist of an arbitrary Pluecker coordinate in terms of the cluster variables associated with a fixed Postnikov diagram. The expansion arises as a (scaled) dimer partition function of a weighted version of the bipartite graph dual to the Postnikov diagram, modified by a boundary condition determined by the Pluecker coordinate. We also relate the twist map to a maximal green sequence.

We evaluate the Geiss-Leclerc-Schroer $φ$-map for shape modules over the preprojective algebra $Λ$ of type $\hat{A_1}$ in terms of matrix minors arising from the block-Toeplitz representation of the loop group $\SL_2(\mathcal{L})$. Conjecturally these minors are among the cluster variables for coordinate rings of unipotent cells within $\SL_2(\mathcal{L})$. In so doing we compute the Euler characteristic of any generalized flag variety attached to a shape module by counting standard tableaux of requisite shape and parity; alternatively by counting chess tableaux of requisite shape and content.