[论文解读] Sums of binomial determinants, non-intersecting lattice paths and positivity of Chern-Schwartz-MacPherson classes

Leonardo C. Mihalcea|ArXiv.org|Feb 19, 2007

Advanced Combinatorial Mathematics参考文献 2被引用 3

一句话总结

本文证明了来自 Schubert 微分几何中非交叉格路的二项式行列式之和的正性猜想，确立了当 p=2 和 p=3 时，一族格点构型的行列式之和保持为正。该结果在几何上被解释为格拉斯曼流形 Schubert 同调中 Chern-Schwartz-MacPherson 类系数的正性，并为 p=3 提供了基于平衡路径三元组的构造性组合公式。

ABSTRACT

We give a combinatorial interpretation of a certain positivity conjecture of Chern-Schwartz-MacPherson classes, as stated by P. Aluffi and the author in a previous paper. It translates into a positivity property for a sum of p by p determinants consisting of binomial coefficients, generalizing the classical Theorem of Lindstrom-Gessel-Viennot et al. which computes these determinants in terms of non-intersecting lattice paths. We prove this conjecture for p=2,3.

研究动机与目标

• 证明由格路构型导出的 p×p 二项式行列式之和的正性猜想。
• 在格拉斯曼流形的 Schubert 同调中，为 Chern-Schwartz-MacPherson 类系数提供组合解释。
• 通过放宽初始点约束而保持行列式之和正性，推广 Lindström–Gessel–Viennot 定理。
• 为 p=2 和 p=3 时的 c(λ,μ) 建立显式的正组合公式。
• 将代数几何（CSM 类）与枚举组合学（格路与行列式）联系起来。

提出的方法

• 基于分拆 λ, μ 和参数 s ∈ S(λ) 的三角形序列，定义一族 2p 个格点 A₁(s), ..., Aₚ(s) 和 B₁, ..., Bₚ，其中 aᵢⱼ 为非负整数。
• 构造矩阵 M(s)，其元素 mᵢⱼ(s) 表示从 Aᵢ(s) 到 Bⱼ 的格路数量，仅允许向右和向下移动。
• 定义和 c(λ,μ) = ∑ₛ∈S(λ) det M(s)，并猜想对所有 p 该和为正。
• 利用 Lindström–Gessel–Viennot 定理，将单个行列式解释为非交叉路径组的计数。
• 对 p=2 和 p=3，引入“平衡”路径三元组的概念，避免无效变换（如相邻路径的水平或对角交换），从而防止重复计数。
• 通过反证法证明正性：表明任何导致负贡献的路径构型都需违反几何约束（如 x 和 y 坐标不等式）的点配置，从而不可能存在。

实验结果

研究问题

• RQ1 对任意 p，索引于一族格点构型的 p×p 二项式行列式之和是否总是非负？
• RQ2 格拉斯曼流形 Schubert 同调中 Chern-Schwartz-MacPherson 类系数的正性能否通过格路组合解释？
• RQ3 对 p=2 和 p=3，能否构造一个仅计数“平衡”非交叉路径三元组的正组合公式来表示 c(λ,μ)？
• RQ4 初始格点 Aᵢ(s) 需满足何种条件，才能保证尽管单个行列式可能为负，其行列式之和仍保持为正？
• RQ5 参数 aᵢⱼ 的三角形约束如何与非交叉路径系统的几何实现性相关联？

主要发现

• 已证明当 p=2 和 p=3 时，c(λ,μ) 为正，从而在这些情况下证实了正性猜想。
• 对 p=3，给出了一个正组合公式：c(λ,μ) 等于从 A₁(s), A₂(s), A₃(s) 到 B₁, B₂, B₃ 的平衡路径三元组 (π₁,π₂,π₃) 的数量，其中任意相邻路径的水平或对角交换均不构成有效的三角形构型。
• p=3 的证明依赖于反证法：假设存在导致负贡献的路径系统，将导致违反几何约束（如坐标不等式）的点构型，从而不可能存在。
• 行列式 det M(s) 仅在点按 NE–SW 顺序排列时，才计数从 Aᵢ(s) 到 Bⱼ 的非交叉格路；在放宽设置下，单个行列式可能为负，但其和仍为正。
• 和 c(λ,μ) 对应于在 Gr(p,n) 中，Schubert 单元的 CSM 类展开中，Schubert 花样基本类的系数，当 n 足够大时成立。
• Aᵢ(s) 的构造涉及对部分和 Rⱼ 和 Cⱼ 的递归依赖，而三角形顺序条件确保了路径系统的几何一致性。