The Martin boundary conjecture for the graph of zigzag diagrams

About 21 years old · traced to

Let Z{\cal Z} be the graded graph of zigzag diagrams, with level-n{n} vertices Zn{\cal Z}_n. For a sequence (λn∈Zn)(\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 (λn∈Zn)(\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.

References

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.