[论文解读] Calculation Rules and Cancellation Rules for Strong Hom-Schemes

Frank a Campo|arXiv (Cornell University)|Jan 1, 2019

Limits and Structures in Graph Theory参考文献 3被引用 2

一句话总结

该论文为有限偏序集中强 Hom-图、G-图和 I-图建立了计算与约去规则，证明了在特定条件下，序算术运算（直和、序和、积）保持预序关系 ⊑、⊑G 和 ⊑I。关键贡献在于构造性证明了在额外正则性假设下，R ⊑G S 和 R ⊑I S 分别可由 Q × R ⊑G Q × S 和 Q × R ⊑I Q × S 推出，从而实现了偏序集同态集中的约去。

ABSTRACT

Let ${\cal H}(A,B)$ denote the set of homomorphisms from the poset $A$ to the poset $B$. In previous studies, the author has started to analyze what it is in the structure of finite posets $R$ and $S$ that results in $# {\cal H}(P,R) \leq # {\cal H}(P,S)$ for every finite poset $P$, if additional regularity conditions are imposed. In the present paper, it is examined if this relation (with or without regularity conditions) is compatible with the operations of order arithmetic and if cancellation rules hold.

研究动机与目标

• 研究有限偏序集上的预序关系 ⊑、⊑G 和 ⊑I 是否在直和、序和、积等序算术运算下保持不变。
• 确定在何种条件下这些关系的约去成立，特别是在偏序积与和的背景下。
• 通过连通分支分解，将定义在连通偏序集上的 Hom-图扩展至所有有限偏序集。
• 证明在正则性条件下，若存在从 Q×R 到 Q×S 的强 G-图或 I-图，则存在从 R 到 S 的此类图，从而证明 R ⊑G S 和 R ⊑I S。
• 建立一种构造性方法，通过递归序列与连通分支分析，从基于积的图推导出强 G-图与 I-图。

提出的方法

• 使用强 Hom-图、G-图和 I-图的概念，即对所有有限偏序集 P，从 H(P, R) 到 H(P, S) 的结构保持且单射的映射。
• 应用偏序集的连通分支分解，将非连通偏序集上的问题简化为连通情形，从而实现从连通偏序集到一般有限偏序集的图扩展。
• 引入一个递归序列 φiP(ξ)，通过 G-图 ρ 定义，其中 φ0P(ξ) = cP,q 且 φiP(ξ) = ρ(φi−1P(ξ), ξ)1，以追踪连通性与原像行为。
• 运用集合论引理 8，证明对每个 ξ ∈ H(P, R)，序列 (φiP(ξ)) 最终会返回到 cP,q，从而确保其有限周期性。
• 定义新映射 τP(ξ) ≡ ρ(ΦnP(ξ)−1P(ξ))2，利用返回时间 nP(ξ) 稳定构造，从 R 到 S 构造强 G-图。
• 施加条件 (28) — 即 ρ 保持 Q 的连通分支 — 以确保 I-图构造尊重像中的序关系，从而在 I-图情形下实现约去。

实验结果

研究问题

• RQ1 关系 R ⪯ S（通过强 Hom-图、G-图或 I-图）是否意味着其对偶关系也成立，且对所有 Q ∈ P 是否有 H(Q, R) ⪯ H(Q, S)？
• RQ2 对于有限偏序集 R1, R2, S1, S2，若 R1 ⪯ S1 且 R2 ⪯ S2，是否在直和、序和或积运算下有 R1 ⊙ R2 ⪯ S1 ⊙ S2 成立？
• RQ3 若对 ⊙ ∈ {⊕, ×} 有 Q ⊙ R ⪯ Q ⊙ S，那么在何种条件下 R ⪯ S 成立，特别是对强 I-图和 G-图？
• RQ4 能否利用从 Q×R 到 Q×S 的强 I-图构造从 R 到 S 的强 I-图？需要哪些正则性条件？
• RQ5 是否存在直和的约去规则，即 Q ⊕ R ⪯ Q ⊕ S 是否蕴含 R ⪯ S，适用于强 Hom-图、G-图或 I-图？

主要发现

• 强 Hom-图与 G-图的计算规则普遍成立，无例外；而 I-图在序和与积运算下缺乏一般性规则。
• 直和运算的约去无条件成立：若 R1 ⊕ R2 ⪯ S1 ⊕ S2，则必有 R1 ⪯ S1 且 R2 ⪯ S2。
• 对于序和与积，约去仅在额外正则性假设下成立，尤其对 I-图，部分适用于 G-图。
• 若存在从 Q×R 到 Q×S 的强 G-图，则可通过利用返回时间至 cP,q 的递归构造，证明存在从 R 到 S 的强 G-图，从而得出 R ⊑G S。
• 对于 I-图，从 Q×R ⊑I Q×S 推出 R ⊑I S 需要额外假设 (28)，即 ρ 保持 Q 的连通分支，以确保序结构得以维持。
• 构造的映射 τP(ξ) ≡ ρ(ΦnP(ξ)−1P(ξ))2 可生成从 R 到 S 的强 G-图，且在条件 (28) 下亦可生成强 I-图，从而证明 R ⊑I S。