The Martin boundary conjecture for the graph of zigzag diagrams

Let Z{\cal Z} be the graded graph of zigzag diagrams, with level-n{n} vertices Zn{\cal Z}_n. For a sequence (λnZn)(\lambda_n\in{\cal Z}_n), let ιn(λn)\iota_n(\lambda_n) be its image in the compactum U(2){\cal U}^{(2)}. For μ,λZ\mu,\lambda\in{\cal Z}, let d(μ,λ)d(\mu,\lambda) be the number of paths from μ\mu to λ\lambda, let d(λ)d(\lambda) be the number of paths from the root to λ\lambda, and define

K(μ,λ)=d(μ,λ)d(λ).K(\mu,\lambda)=\frac{d(\mu,\lambda)}{d(\lambda)}.

A sequence is regular when K(μ,λn)K(\mu,\lambda_n) has a limit for every fixed μ\mu; its limit is denoted by p(μ)p(\mu). Martin boundary conjecture. (i) A sequence (λnZn)(\lambda_n\in{\cal Z}_n) is regular if and only if the points ιn(λn)\iota_n(\lambda_n) converge in the compactum U(2){\cal U}^{(2)}. (ii) For (U,U)U(2)(U_\uparrow,U_\downarrow)\in{\cal U}^{(2)}, convergence ιn(λn)(U,U)\iota_n(\lambda_n)\to (U_\uparrow,U_\downarrow) is equivalent to K(μ,λn)p(U,U)(μ)K(\mu,\lambda_n)\to p_{(U_\uparrow,U_\downarrow)}(\mu) for all μZ\mu\in{\cal Z}. (iii) The Martin boundary of Z{\cal Z} coincides with its minimal boundary:

Z=U(2).\partial{\cal Z}={\cal U}^{(2)}.

The claim identifies the asymptotic boundary of the zigzag graph with the compactum parametrizing its minimal harmonic functions, and asserts that no additional Martin-boundary points occur. It is presented as a conjectural description of the boundary; the supplied source gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Alexander Gnedin and Grigori Olshanski, “Coherent permutations with descent statistic and the boundary problem for the graph of zigzag diagrams”, arXiv:math/0508131 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.