[论文解读] Enumerating the symplectic Dellac configurations

Ange Bigeni|arXiv (Cornell University)|May 10, 2017

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

一句话总结

本文证明了大小为 $2n$ 的辛 Dellac 配置的数量等于序列 $r_n = (1,2,10,98,1594,\ldots)$，该序列由 Cerulli Irelli 和 Feigin 提出猜想，并由 Fang 和 Fourier 后续形式化。证明通过构造从辛 Dellac 配置到满射手枪的满射映射，利用了 $r_n$ 的组合解释：即对所有满射手枪 $f$ 的加权和 $\sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$，其中 $\text{ndf}(f)$ 计数非加倍不动点的数量。

ABSTRACT

Fang and Fourier defined the symplectic Dellac configurations in order to parametrize the torus fixed points of the symplectic degenerated flag varieties, and conjectured that their numbers are the elements of a sequence of integers (1, 2, 10, 98, 1594, ...) which appears in the study by Randrianarivony and Zeng of the median Euler numbers. In this paper, we prove the conjecture by considering a combinatorial interpretation of these integers in terms of the surjective pistols (which form a well-known combinatorial model of the Genocchi numbers), and constructing an appropriate surjection from the symplectic Dellac configurations to the surjective pistols.

研究动机与目标

• 证明辛 Dellac 配置数量为 $2n$ 的猜想，即其数量等于序列 $r_n = (1,2,10,98,1594,\ldots)$，该序列源于中位欧拉数的研究。
• 建立辛 Dellac 配置与满射手枪之间的组合联系，后者是 Genocchi 数的已知模型。
• 证明辛 Dellac 配置的基数与加权和 $\sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$ 相等，其中 $\text{ndf}(f)$ 计数满射手枪 $f$ 中的非加倍不动点数量。
• 通过从辛 Dellac 配置到满射手枪的显式满射构造，提供一个构造性证明，且保持权重 $2^{\text{ndf}(f)}$ 不变。

提出的方法

• 本文使用 $r_n$ 的组合解释：$\sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$，其中 $\mathcal{P}_n$ 是从 $[2n]$ 到 $\{2,4,\ldots,2n\}$ 的满足 $f(j) \geq j$ 的满射手枪的集合。
• 通过基于列顺序和点位置的递归算法，为辛 Dellac 配置定义了规范标记，为其点分配手枪标签。
• 标记过程采用两步插入规则：首先，根据点相对于已有点的位置，将其标记为 $a$ 或 $b$；其次，利用这些标签重建对应的满射手枪。
• 关键组成部分是定义集合 $\mathcal{T}_n$ 的辛 Dellac 配置，配备函数 $\text{fr}(T)$，用于计数自由行，且证明 $\sum_{T \in \mathcal{T}_n} 2^{\text{fr}(T)} = \sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$。
• 证明通过列数的归纳法进行，表明配置 $T$ 的权重 $2^{\text{fr}(T)}$ 与其关联手枪 $f$ 的权重 $2^{\text{ndf}(f)}$ 一致。
• 通过具体示例和算法步骤验证了构造过程，包括对特定配置 $T_1 \in \mathcal{T}_7$ 的标记，以及从手枪到配置的逆映射 $\Phi$。

实验结果

研究问题

• RQ1 大小为 $2n$ 的辛 Dellac 配置数量是否等于 Cerulli Irelli 和 Feigin 提出猜想的序列 $r_n = (1,2,10,98,1594,\ldots)$？
• RQ2 序列 $r_n$ 是否可以组合地解释为对满射手枪的加权和 $\sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$，其中 $\text{ndf}(f)$ 计数非加倍不动点？
• RQ3 是否存在一个自然的满射从辛 Dellac 配置到满射手枪，且保持权重 $2^{\text{ndf}(f)}$？
• RQ4 该组合模型是否能完全解释辛退化旗流形 $\operatorname{Sp}\mathcal{F}^a_{2n}$ 的欧拉示性数？

主要发现

• 大小为 $2n$ 的辛 Dellac 配置数量恰好为 $r_n = 1,2,10,98,1594,\ldots$，证实了 Cerulli Irelli 和 Feigin 的猜想。
• 序列 $r_n$ 等于 $\sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$，其中 $\mathcal{P}_n$ 是大小为 $n$ 的满射手枪集合，$\text{ndf}(f)$ 计数 $\{2,4,\ldots,2n\}$ 中不是 $f$ 的加倍不动点的值的数量。
• 构造了一个满射映射 $\Phi: \mathcal{P}_n \to \operatorname{SpDC}_{2n}$，使得每个手枪 $f$ 恰好对应 $2^{\text{ndf}(f)}$ 个辛 Dellac 配置。
• 映射 $\Phi$ 的构造是算法性的且可逆，其标记过程以尊重辛对称性和满射性条件的方式为点分配手枪标签。
• 证明建立了 $\sum_{T \in \operatorname{SpDC}_{2n}} 2^{\text{fr}(T)} = \sum_{f \in \mathcal{P}_n} 2^{\text{ndf}(f)}$，其中 $\text{fr}(T)$ 计数配置 $T$ 中的自由行，且该等式通过列数的归纳法成立。
• 通过具体示例，包括 $T_1 \in \mathcal{T}_7$ 的标记和逆映射 $\Phi(f_1)$，验证了算法的正确性及权重保持性质。