arXiv++ Combinatorics

For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability of the elementary theory of Young lattice and also established the maximal definability property of this theory. The purpose of this article is to obtain the same results for another graded lattice, which has much in common with Young lattice: Young--Fibonacci lattice. As Wires does for Young lattice, for the proof of undecidability we define Arithmetic into this theory.

We describe Martin boundary of the path space of $r$-differential version of Young--Fibonacci graph. Also we establish ergodicity of the corresponding measures.

For fixed $k$, we consider the subgraph $YF_k=(V_k,E_k)$ of the famous Young--Fibonacci graph formed by the words with at most $k$ 2-s. The jump graph is a graded graph is defined as follows: each level is identified with $V_k$, and an edge between two vertices $(v_1,i)$ and $(v_{2},i+1)$, $v_1,v_2\in V_k$, of neighbouring levels us drawn iff $v_2$ is a descendant of $v_1$ in $YF_k$. The goal of this paper is to describe all central measures on the path space of $YF_k$.

Among central measures on the path space of the Young--Fibonacci lattice the so-called Plancherel measure has a special role. Its ergodicity was proved by Kerov and Gnedin. The goal of this cycle of two articles is to prove that remaining measures from the Martin boundary of this graph (which were described by Kerov and Goodman) are also ergodic. The measures are parametrized with an infinite word of digits 1 and 2 and the parameter $β\in(0,1]$ (the case $β=0$ corresponds to the Plancherel measure). In this article we finish the proof of their ergodicity using the statements proved in the first paper as a "black box".

Among central measures on the path space of the Young--Fibonacci lattice the so-called Plancherel measure has a special role. Its ergodicity was proved by Kerov and Gnedin. The goal of this cycle of two articles is to prove that remaining measures from the Martin boundary of this graph (which were described by Kerov and Goodman) are also ergodic. The measures are parametrized with an infinite word of digits 1 and 2 and the parameter $β\in(0,1]$ (the case $β=0$ corresponds to the Plancherel measure). In this article we prove the statements which correspond to the case $β=1$.

The Young--Fibonacci graph is the Hasse diagram of one of the two (along with the Young lattice) 1-differential graded modular lattices. This explains the interest to path enumeration problems in this graph. We obtain a formula for the number of paths between two vertices of the Young--Fibonacci graph which is polynomial with respect to the minimum of their ranks.