[论文解读] Directed animals, quadratic and rewriting systems

Jean‐François Marckert|arXiv (Cornell University)|Dec 5, 2011

Stochastic processes and statistical mechanics参考文献 15被引用 3

一句话总结

本文建立了正方形格点上定向动物的生成函数（按面积和周长计数）与一组二次矩阵方程之间的深层代数联系。研究提供了强有力的证据，表明该生成函数可由一个涉及张量积的重写系统所定义的无限矩阵的特征向量导出，从而为解决这一长期存在的组合问题提供了新颖的代数框架。

ABSTRACT

A directed animal is a percolation cluster in the directed site percolation model. The aim of this paper is to exhibit a strong relation between the problem of computing the generating function $\G$ of directed animals on the square lattice, counted according to the area and the perimeter, and the problem of solving a system of quadratic equations involving unknown matrices. We present some solid evidence that some infinite explicit matrices, the fixed points of a rewriting like system are the natural solutions to this system of equations: some strong evidence is given that the problem of finding $\G$ reduces to the problem of finding an eigenvector to an explicit infinite matrix. Similar properties are shown for other combinatorial questions concerning directed animals, and for different lattices.

研究动机与目标

• 建立正方形格点上定向动物的生成函数与一组二次矩阵方程之间的正式联系。
• 研究通过使用张量积的重写系统所定义的固定点构造的无限矩阵，是否能自然地成为该矩阵系统的解。
• 证明生成函数的计算可归约为寻找这些无限矩阵的左、右特征向量。
• 将该框架推广至其他格点和组合模型，如双色定向动物与渗透簇。
• 提出一种新的代数方法用于定向动物的计数，可能实现生成函数的计算。

提出的方法

• 形式化图 G 上以 S 为源点的定向动物的生成函数 GF_S^G(x,y)，按面积和周长计数。
• 通过定向动物的递归分解，建立包含未知有限矩阵的二次方程组来建模该问题。
• 引入基于矩阵张量积的重写系统，以生成候选为固定点解的无限大小矩阵。
• 利用概率气体模型和条件期望，推导出与矩阵乘积和迹相关的生成函数方程。
• 应用推论11，通过矩阵乘积表示格线上的测度，从而利用矩阵收敛性构造解。
• 通过引入具有颜色依赖转移的三状态气体模型，将方法扩展至双色模型，表明其与良好着色定向动物的关系。

实验结果

研究问题

• RQ1 正方形格点上定向动物的面积与周长生成函数能否表示为一组二次矩阵方程的解？
• RQ2 作为涉及张量积的重写系统固定点构造的无限矩阵，是否能自然地成为该矩阵系统的解？
• RQ3 该生成函数能否从这些无限矩阵的左、右特征向量中恢复？
• RQ4 该代数框架能否推广至其他格点和组合结构（如双色定向动物）？
• RQ5 具有颜色依赖转移的三状态气体模型，能否为良好着色定向动物的生成函数提供可计算的表示？

主要发现

• 证明了正方形格点上定向动物的生成函数 GF_S^G(x,y) 可约化为特定无限矩阵系统的特征向量求解问题。
• 提供了强有力的证据，表明作为重写系统固定点出现的无限矩阵，是控制生成函数的二次矩阵方程的自然解。
• 该方法成功推广至其他格点和组合模型，包括柱面格点和双色定向动物。
• 对于双色模型，生成函数 GF_{S1,S2}(-p1,-p2) 表示为三状态气体模型中的联合概率，将组合学与统计力学联系起来。
• 状态为 {0,1,2} 的气体模型在格线上不是马尔可夫的，但其边缘分布可通过已知的马尔可夫投影计算，从而实现关键概率的间接计算。
• 该框架为类似问题提供了通用方法，通过涉及矩阵 V^x_(κ) 和 H^x_(κ) 乘积的迹公式，构造格线上测度的矩阵表示。