[论文解读] Succinct Definitions in the First Order Theory of Graphs II: No Quantifier Alternation

Oleg Pikhurko, Joel Spencer+1 more|arXiv (Cornell University)|May 17, 2004

Limits and Structures in Graph Theory被引用 1

一句话总结

本文研究在不使用量词交替的情况下，定义图同构类所需的最小量词深度，为所有阶为 $ n $ 的图的 $ q_0(n) $ 建立了紧致界，证明了 $ \log^*n - \log^*\log^*n - 1 \leq q_0(n) \leq \log^*n + 22 $，并利用模块分解深度较小的图实现了上界。

ABSTRACT

Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism. Let $D_0(G)$ be the version of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Define $q_0(n)$ to be the minimum of $D_0(G)$ over all graphs $G$ of order $n$. We prove that for all $n$ we have $\log^*n-\log^*\log^*n-1\le q_0(n)\le \log^*n+22$, where $\log^*n$ is equal to the minimum number of iterations of the binary logarithm needed to bring $n$ to 1 or below. The upper bound is obtained by constructing special graphs with modular decomposition of very small depth.

研究动机与目标

• 确定在不使用量词交替的一阶逻辑中，定义图 $ G $ 同构类所需的最小量词深度 $ D_0(G) $。
• 分析函数 $ q_0(n) $，其定义为所有阶为 $ n $ 的图 $ G $ 的 $ D_0(G) $ 的最小值，并建立其紧致渐近界。
• 探讨模块分解在构造无量词交替的简洁一阶定义图中的作用。

提出的方法

• 将 $ D_0(G) $ 定义为在不使用量词交替的限制下，定义图 $ G $ 同构类的最小量词深度的一阶句子。
• 引入 $ q_0(n) $ 作为所有阶为 $ n $ 的图 $ G $ 的 $ D_0(G) $ 的最小值，并分析其渐近行为。
• 通过基于无量词交替约束下可区分图数量的组合论证，建立下界。
• 构造模块分解深度较小的特殊图，以实现 $ q_0(n) $ 的上界，利用其结构特性实现简洁定义。
• 使用迭代对数 $ \log^*n $，其定义为将二进制对数反复应用于 $ n $ 直至结果为 1 或以下的次数，作为核心渐近度量。
• 通过显式构造深度为 $ \log^*n + 22 $ 的一阶句子，证明上界 $ q_0(n) \leq \log^*n + 22 $，这些句子可唯一定义所构造的图。

实验结果

研究问题

• RQ1 $ q_0(n) $，即定义任意阶为 $ n $ 的图所需的无量词交替的最小量词深度的渐近增长速率是什么？
• RQ2 能否构造出其无量词交替的一阶定义深度接近 $ \log^*n $ 的图？
• RQ3 模块分解深度与无量词交替条件下一阶图定义的简洁性之间有何关系？
• RQ4 $ q_0(n) $ 的最紧致下界是什么？其与迭代对数函数相比如何？
• RQ5 无量词交替在在定义图同构类方面在多大程度上限制了一阶逻辑的表达能力？

主要发现

• 本文建立了 $ q_0(n) $ 的下界 $ \log^*n - \log^*\log^*n - 1 $，表明任何阶为 $ n $ 的图都无法在少于此量词深度下无量词交替地被定义。
• 证明了 $ q_0(n) $ 的上界为 $ \log^*n + 22 $，表明存在阶为 $ n $ 的图，其同构类可被深度最多为 $ \log^*n + 22 $ 且无交替的一阶句子唯一定义。
• 通过构造模块分解深度极小的图，实现了该上界，这使得简洁的一阶定义成为可能。
• 这些界在常数加法项意义下是渐近紧致的，表明 $ q_0(n) $ 的增长速度与 $ \log^*n $ 完全一致，仅存在微小的对数修正项。
• 结果表明，量词交替并非实现一阶图定义近似最优简洁性的必要条件，因为无量词交替下同样可达到相同的渐近复杂度。