[论文解读] Brick-wall lattice paths and applications

Leonard Dăuş, Valeriu Beiu+2 more|arXiv (Cornell University)|Apr 14, 2018

Advanced Combinatorial Mathematics参考文献 7被引用 7

一句话总结

本文引入了砖墙格路——基于错缝砌筑图案的格路——并提出一种基于矩阵的新型计数方法。该研究建立了与斐波那契数列及其他整数数列的联系，推导出汉莫克网络中可靠性多项式前两个非零系数的精确公式，并利用转移矩阵和生成函数，为不同宽度（3至11）的矩形区域内的路径提供了闭式表达式。

ABSTRACT

We introduce a new type of lattice path, called brick-wall lattice path, and we derive a formula which counts the number of paths on these lattices imposing certain restrictions on the Cartesian plane. Connections to the Fibonacci sequence, as well as to other sequences of numbers, are given. Finally, we use these brick-wall lattice paths to determine the first two non-zero coefficients of the reliability polynomials associated with particular two-terminal networks known as hammocks.

研究动机与目标

• 定义并形式化一类新的格路——基于错缝砌筑（砌砖）图案的砖墙格路。
• 开发一种基于矩阵的枚举方法，用于计算笛卡尔平面上有界矩形区域内此类路径的数量。
• 建立砖墙路径计数与已知整数数列（特别是斐波那契数列）之间的一一对应关系。
• 将路径枚举方法应用于计算两终端汉莫克网络中可靠性多项式前两个非零系数。
• 利用转移矩阵和向量调整方法，对路径子集中的边重复计数进行修正，提供这些系数的精确闭式表达式。

提出的方法

• 根据格点坐标的奇偶性，定义两类砖墙格路（类型1和类型2），并依据点为偶数或奇数，设定不同的垂直步长规则。
• 使用转移矩阵 M 建模路径在列之间的传播，其中状态向量 b(t)_i 表示在第 i 列各行位置结束的路径数量。
• 当宽度 w = 3 时，推导出一个由斐波那契数构成的 3×3 矩阵，表明路径计数遵循斐波那契数列。
• 当宽度 w = 4 时，应用生成函数推导路径计数的递推关系与闭式表达式。
• 通过将转移矩阵和状态向量中的 1 替换为 0（在墙体顶部和底部的边缘位置），以修正 (l+1) 个中继节点子集中因边缘中继导致的重复计数。
• 使用向量运算 uMu^T、uMv^T 及其组合，计算可靠性多项式中第二项系数 Pl+1，以考虑因重复计数而产生的双路径配置。

实验结果

研究问题

• RQ1 如何在错缝格路图案上正式定义并枚举砖墙格路？
• RQ2 砖墙路径计数与斐波那契数列之间存在何种关系，特别是在宽度 w = 3 时？
• RQ3 如何利用生成函数计算更宽矩形（如宽度 w = 4）中的路径计数？
• RQ4 汉莫克网络中可靠性多项式前两个非零系数的精确公式是什么？
• RQ5 边缘效应（如顶部/底部的半砖中继）如何影响可靠性多项式系数中 (l+1) 子集的重复计数？

主要发现

• 当宽度 w = 3 时，砖墙格路数量 Bl,3 遵循斐波那契数列，即 Bl,3 = F_{l+2}，其中 F_n 为第 n 个斐波那契数。
• 当宽度 w = 4 时，路径计数 B(1)_l,4 和 B(2)_l,4 分别对应于 OEIS 中的数列 A068911 和 A153339，并满足线性递推关系。
• 任意汉莫克网络中可靠性多项式第一个非零系数 Pl 恰好等于砖墙格路的数量，即 Pl = B(1)_l,w 或 B(2)_l,w，具体取决于网络配置。
• 第二非零系数 Pl+1 的表达式为 Pl+1 = −(wl − l)Nl + Nl+1，其中 Nl+1 用于修正包含因边缘中继导致双路径的 (l+1) 子集的重复计数。
• 当 w 为奇数时，Pl+1 = −uMv^T；当 w 为偶数时，Pl+1 的表达式取决于转移矩阵结构，包括 Pl+1 = −1/2(uMt^T + uM^T u^T) 等多种情形。
• 当 w = 3 时，Pl+1 = −2F_{l+1}，表明第二系数与斐波那契数列之间存在直接联系，且与 l 的奇偶性无关。