[论文解读] Lower bounds for numbers of real solutions in problems of Schubert calculus

E. Mukhin, V. Tarasov|arXiv (Cornell University)|Apr 28, 2014

Advanced Combinatorial Mathematics参考文献 12被引用 5

一句话总结

本文通过分析与高阶 Gaudin 哈密顿量相关的不定 Hermitian 型的符号，建立了关于 Grassmannian Gr(n,d) 上涉及外接旗的 Schubert 计算问题中实解数量的新下界。该方法利用 gl_n 的表示理论及对称群的特征公式，在许多情形下得到精确下界，包括先前方法失效的情形。

ABSTRACT

We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.

研究动机与目标

• 建立 Gr(n,d) 上涉及外接旗的 Schubert 计算问题中实解数量的一般下界。
• 弥补现有方法的不足，这些方法未能考虑参数中实点的数量，或仅适用于特殊情形。
• 提供一种基于 Gaudin 模型中非退化 Hermitian 型符号的可计算、表示论方法。
• 通过使用对称群的特征理论，改进先前的下界，特别是在拓扑或奇偶性方法给出零或平凡结果的情况下。

提出的方法

• 作者将 Schubert 问题的解与作用在 gl_n-模张量积上的高阶 Gaudin 哈密顿量的特征值对应起来。
• 当参数 z_i 不全为实数但构成一个关于复共轭不变的集合时，Gaudin 哈密顿量关于一个不定 Hermitian 型是自伴的。
• 实特征值的数量由该型的符号的绝对值下界控制，该符号通过对称群的特征理论计算得出。
• 符号被简化为在对称群乘积上对换元乘积的特征值求值，使用类似于 Frobenius 公式的表达式。
• 该方法适用于任意的分歧条件和分拆，推广了早期要求单格子或对称分拆结果的情形。
• 所得的下界被显式计算，并在大量测试案例中显示与已知下界一致或更优，包括来自广泛计算机数据的案例。

实验结果

研究问题

• RQ1 当参数 z_i 不全为实数但关于复共轭封闭时，在 Gr(n,d) 上涉及外接旗的 Schubert 计算问题中，实解的最小数量是多少？
• RQ2 基于 Gaudin 模型的表示论方法是否能为一般 Schubert 问题中的实解提供非平凡下界？
• RQ3 Gaudin 模型上不定 Hermitian 型的符号如何与这些问题中实解的数量相关？
• RQ4 在何种情况下，新下界优于或等同于现有下界，如拓扑次数或奇偶性估计？
• RQ5 计算得到的下界在多大程度上与特定 Schubert 问题的计算机生成数据一致？

主要发现

• 对于 Gr(3,8)，新下界在 c=0 到 7 时分别为 a=6006, 858, 198, 42, 6, 10, 10, 70，表明实 Wronski 映射是满射。
• 在 Gr(3,9) 且 k=18 时，新下界在 c=0 到 5 时超过拓扑下界，且在 c=6,7 时与之匹配。
• 当 n=2 且 m=2s−1 为奇数时，下界与精确值 (2s)!/(s!(s+1)!) 一致，确认了其在该情形下的最优性。
• 在 [HHS] 中测试的 11 个案例中有 10 个，下界与计算机数据一致，仅在 Gr(4,8) 且 c=1 时存在一处差异。
• 在向量 Schubert 问题中 ν=(k−n,…,k−n)，新下界在某些情况下严格小于精确下界，例如当 n=3, k=14 时，c=1 对应的下界为 54，而精确值为 56。
• 对于对称 Schubert 问题，当下界在 ∑|λ_{2i}| 为奇数时可能不为精确值，提示在对称情形下可能存在局限性。