Lattice paths and determinants

抄书笔记：格子路径和行列式.

我们考察行列式的一种表示法，让 $ M=(m_{i,j}) $   是一个  $ n\times n $  的实矩阵,
$$
\det M = \sum_\sigma \text{sign}~\sigma~m_{1\sigma(1)}m_{2\sigma(2)}\cdots m_{n\sigma(n)}, \tag{1}
$$
这里 $ \sigma $  跑遍  $ \{1,2,\cdots,n\} $ 上的所有排列 , 并且  $\sigma$ 的 sign 是 1 或 -1, 取决于 $ \sigma $ 是偶排列还是奇排列.

我们可以把它看成一张带权有向图, 让点 $ A_1,\cdots,A_n $ 表示 $ M $ 的行, $ B_1,\cdots,B_n $ 表示列. 对每一对 $ i,j $ 连一条从 $ A_i $ 到 $ B_j $ 的权值为 $ m_{i,j} $ 的边.


那么 (1) 可以被这么看：

- 左边表示路径矩阵 $ M $ 的行列式，其中 $ (i,j) $-格 是 $ A_i $ 到  $ B_j $ 的直接路径的权.

- 右边表示从 $ \mathcal A=\{A_1,\cdots,A_n \} $ 到 $ \mathcal B = \{B_1,\cdots, B_n\} $ 的有符号带权<u>顶点不相交路径系</u>. 这样一个路径系 $\mathcal P_\sigma$ 被路径
  $$
  A_1 \rightarrow B_{\sigma(1)}, \cdots, A_n \rightarrow B_{\sigma(n)},
  $$
  给出, 并且权是各个单独路径的积:
  $$
  w(\mathcal P_\sigma)=w(A_1\rightarrow B_{\sigma(