[论文解读] A Note on Boolean Lattices and Farey Sequences

Andrey O. Matveev|ArXiv.org|Feb 5, 2007

Limits and Structures in Graph Theory被引用 4

一句话总结

本文建立了标准法里序列 𝒻ₘ 与布尔格中 2m 元集的秩 m 元素所关联的法里子序列 ℱ(ℬ(2m), m) 的左半部分和右半部分之间的单调双射。它推导出涉及这些序列中以分数为索引的二项式系数的新组合恒等式，通过基于秩的子集计数和模算术约束，揭示了布尔格与法里序列之间深层次的结构联系。

ABSTRACT

We establish monotone bijections between the Farey sequences of order m and the halfsequences of Farey subsequences associated with the rank m elements of the Boolean lattice of subsets of a 2m-set. We also present a few related combinatorial identities.

研究动机与目标

• 建立标准法里序列 𝒻ₘ 与布尔格中 2m 元集的子集的秩 m 元素所关联的法里子序列 ℱ(ℬ(2m), m) 的半部分之间的结构对应关系。
• 探索 ℱ(ℬ(2m), m) 的组合性质，特别是其按秩划分为子集，以及通过二项式系数对这些子集进行计数。
• 通过利用法里子序列 ℱ(ℬ(2m), m) 的双射和对称性，特别是关于反序映射的性质，推导出新的组合恒等式。
• 通过已建立的双射将这些结果推广到标准法里序列 𝒻ₘ，从而为 𝒻ₘ 得到类似的恒等式。

提出的方法

• 通过模逆定义前驱和后继分数，构造法里序列 𝒻ₘ 与 ℱ(ℬ(2m), m) 的左半部分和右半部分之间的单调双射。
• 应用反序映射 𝒻(ℬ(n), m) → 𝒻(ℬ(n), n−m)，定义为 h/k ↦ (k−h)/k，该映射保持双射性和对称性。
• 利用布尔格 ℬ(n) 的偏序集结构，特别是由秩 m 元素生成的序理想和序滤子，对子偏序集 ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾) 进行划分。
• 通过等价两种表达式计算基数 2ⁿ − 2ⁿ⁻ᵐ，一种通过子集计数，另一种通过在 ℱ(ℬ(n), m) 中的分数上求和二项式系数，推导出一个关键恒等式。
• 利用 ℱ(ℬ(n), m) 与 ℱ(ℬ(n), n−m) 之间的对称性，推导出命题 2，该命题将两个二项式系数之和等同于 2ⁿ − 2ᵐ − 2ⁿ⁻ᵐ + 1。
• 将一般情形特化为 n = 2m，导出命题 7 和推论 8，它们分别给出了 ℱ(ℬ(2m), m) 和 𝒻ₘ 的对称恒等式，涉及在特定区间内分数上的求和以及二项式系数的乘积。

实验结果

研究问题

• RQ1 法里序列 𝒻ₘ 与法里子序列 ℱ(ℬ(2m), m) 的半部分之间，通过单调双射存在何种关系？
• RQ2 布尔格 ℬ(n) 中子偏序集 ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾) 的划分会产生哪些组合恒等式？
• RQ3 通过映射 h/k ↦ (k−h)/k，ℱ(ℬ(n), m) 与 ℱ(ℬ(n), n−m) 之间的对称性如何导致二项式系数之和的平衡？
• RQ4 从 ℱ(ℬ(2m), m) 建立的双射中，可以为标准法里序列 𝒻ₘ 推导出哪些恒等式？
• RQ5 模逆和下取整函数在确定 ℱ(ℬ(2m), m) 中分数的前驱和后继时起什么作用？

主要发现

• 在法里序列 𝒻ₘ 与 ℱ(ℬ(2m), m) 的左半部分和右半部分之间存在单调双射，前驱和后继分数通过 h 模 (k−h) 的模逆定义。
• 二项式系数之和 ∑_{h/k ∈ ℱ(ℬ(2m), m), 0 < h/k < 1} ∑_{s ≤ ⌊min{m/h, m/(k−h)}⌋} ₑ(m, sh)⋅₇(m, s(k−h)) 等于 2²ᵐ − 2ᵐ⁺¹ + 1。
• h/k < 1/2 的分数之和等于 h/k > 1/2 的分数之和，且两者均等于 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1。
• 在 h/k ∈ (0, 1/3) 和 (1/3, 1/2) 上的项 ∑ ₑ(m, s·h) + ₑ(m, s·(k−2h)) 之和，等于在 h/k ∈ (1/2, 2/3) 和 (2/3, 1) 上的和，其公共值为 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1。
• 标准法里序列 𝒻ₘ 满足恒等式 ∑_{h/k ∈ 𝒻ₘ, 0 < h/k < 1} ∑_{s ≤ ⌊m/k⌋} ₑ(m, sh)⋅₇(m, sk) = 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1。
• 对于 𝒻ₘ，h/k < 1/2 的 ∑ ₑ(m, sk)(ₑ(m, sh) + ₑ(m, s(k−h))) 之和等于 h/k > 1/2 的和，且两者均等于 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1。