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

Andrey O. Matveev|ArXiv.org|Jan 31, 2008

Advanced Combinatorial Mathematics参考文献 9被引用 6

一句话总结

本文建立了法里序列子序列与布尔格中导出的法里子序列左右两半序列之间的单调双射。证明了 $\mathcal{F}(\mathbb{B}(n),m)$ 的左半序列与 $\mathcal{F}_{n-m}^m$ 之间存在序反向双射，右半序列与 $\mathcal{F}_m^{n-m}$ 之间也存在序反向双射，揭示了法里子序列结构与布尔格秩层级之间的对偶性。

ABSTRACT

We establish monotone bijections between subsequences of the Farey sequences and the halfsequences of Farey subsequences associated with elements of the Boolean lattices.

研究动机与目标

• 通过分析与格点元素相关的子序列，探索法里序列与布尔格之间的结构联系。
• 刻画法里子序列 $\mathcal{F}(\mathbb{B}(n),m)$ 的左半序列与右半序列，分别由 $\leq 1/2$ 和 $\geq 1/2$ 的分数定义。
• 分别建立这些半序列与特定法里子序列 $\mathcal{F}_{n-m}^m$ 和 $\mathcal{F}_m^{n-m}$ 之间的显式单调双射。
• 通过分数向量上的矩阵变换，证明这些双射是序反向且双射的。
• 在不同秩条件下，为关键分数如 $1/2$、$1/3$ 和 $2/3$ 提供显式的相邻分数公式。

提出的方法

• 使用法里子序列 $\mathcal{F}_n^m = \{ \frac{h}{k} \in \mathcal{F}_n : h \leq m \}$ 和 $\mathcal{G}_n^m = \{ \frac{h}{k} \in \mathcal{F}_n : k - h \leq n - m \}$ 定义与格点相关的子序列。
• 将 $\mathcal{F}(\mathbb{B}(n),m)$ 定义为集合 $\{ \frac{\rho(b \wedge a)}{\gcd(\rho(b \wedge a), \rho(b))} / \frac{\rho(b)}{\gcd(\rho(b \wedge a), \rho(b))} \}$，其中 $b \in \mathbb{B}(n)$，$\rho(b) > 0$，且 $\rho(a) = m$，将格点秩与分数结构联系起来。
• 应用矩阵变换 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$ 将分数 $\frac{h}{k}$ 映射为 $\frac{k-h}{k}$，诱导序反向双射。
• 引入映射 $\frac{h}{k} \mapsto \frac{2h - k}{3h - k}$，通过矩阵 $\begin{bmatrix} 2 & -1 \\ 3 & -1 \end{bmatrix}$ 将 $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$ 与 $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$ 关联，证明其单射性与序保持性。
• 使用莫比乌斯函数 $\overline{\mu}(d)$ 和欧拉函数 $\phi(h;[i,l])$ 计算 $\mathcal{G}_n^m$ 及相关序列的基数。
• 通过 $\mathcal{F}_{n-m}^m \to \mathcal{F}(\mathbb{B}(n),m)$ 与 $\mathcal{F}_m^{n-m} \to \mathcal{F}(\mathbb{B}(n),m)$ 的复合映射，验证双射性与单调性。

实验结果

研究问题

• RQ1 是否存在 $\mathcal{F}(\mathbb{B}(n),m)$ 的左半序列与法里子序列 $\mathcal{F}_{n-m}^m$ 之间的单调双射？
• RQ2 是否存在 $\mathcal{F}(\mathbb{B}(n),m)$ 的右半序列与法里子序列 $\mathcal{F}_m^{n-m}$ 之间的单调双射？
• RQ3 在不同秩条件下，关键分数如 $1/2$、$1/3$ 和 $2/3$ 在 $\mathcal{F}(\mathbb{B}(n),m)$ 中的邻接关系如何表现？
• RQ4 矩阵变换 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$ 在诱导法里子序列之间序反向双射中起什么作用？
• RQ5 能否用莫比乌斯函数与欧拉函数和表达 $\mathcal{G}_n^m$ 的基数，其与 $\mathcal{F}_n^{n-m}$ 的关系如何？

主要发现

• 左半序列 $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$ 与 $\mathcal{F}_{n-m}^m$ 之间存在序反向双射，映射为 $\frac{h}{k} \mapsto \frac{k-h}{k}$，通过矩阵 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$ 实现。
• 右半序列 $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$ 与 $\mathcal{F}_m^{n-m}$ 之间也存在序反向双射，使用相同的矩阵变换。
• 映射 $\frac{h}{k} \mapsto \frac{2h-k}{3h-k}$ 是从 $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$ 到 $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$ 的序保持且单射的，对应矩阵为 $\begin{bmatrix} 2 & -1 \\ 3 & -1 \end{bmatrix}$。
• $\mathcal{G}_n^m$ 的基数由公式 $1 + \sum_{d \geq 1} \overline{\mu}(d) \cdot \left( \left\lfloor \frac{n}{d} \right\rfloor - \frac{1}{2} \left\lfloor \frac{n-m}{d} \right\rfloor \right) \cdot \left\lfloor \frac{n-m}{d} + 1 \right\rfloor$ 给出，将其与莫比乌斯函数和欧拉函数联系起来。
• 当 $m > n/2$ 时，分数 $\frac{n-m-1}{2(n-m)-1}$ 位于 $1/2$ 之前，$\frac{n-m+1}{2(n-m)+1}$ 位于 $1/2$ 之后；根据 $n-m$ 的奇偶性与大小，为 $1/3$ 和 $2/3$ 推导出类似的相邻分数公式。
• 当 $m < n/2$ 时，分数 $\frac{m}{2m+1}$ 位于 $1/2$ 之前，$\frac{m}{2m-1}$ 位于 $1/2$ 之后；根据 $m$ 的奇偶性与大小，为 $1/3$ 和 $2/3$ 推导出类似的相邻表达式。