闭式关系重构系统：可行性、可观测历史提升与有限阻碍证书

《Mathematics》：Closed-Relational Reconstruction Systems: Viability, Observable-History Lifting, and Finite Obstruction Certificates

　　

摘要专业翻译 多对一观测可能通过连接需要不兼容隐藏状态的转移而制造虚构历史。本研究针对具有闭延续关系和闭观测等价的紧致豪斯多夫（compact Hausdorff）阶段空间研究该问题。紧致性将无限时域可行性（indefinite viability）等同于每一有限时域的可行性，并使每个不可提升的无限可观测历史均可通过有限前缀被检测。精确后继同余（exact successor congruence，ESC）——一种依赖于阶段的互模拟（bisimulation）条件——保证从每个初始代表元（initial representative）出发的提升存在性。研究还给出一个严格更弱的、用于判定存在某个提升的充要判据，该判据利用兼容代表元的可达集（reachable sets of compatible representatives）加以表述。在有限时齐系统中，最短阻碍（shortest obstruction）至多包含∑y(2|q?1(y)|?1)次转移，从而使穷举验证成为有限过程。任意有限马尔可夫核（finite Markov kernels）恰好在其聚合概率于各源类内一致时方可降维（descend）；均匀后继计数（uniform successor counting）是其中的特例。一个完全部分可观测控制实例计算了可行性、检测到拼接计划（spliced plan）、修复了抽象（abstraction）并验证了一个非均匀核。一个独立的共同作用命题（common-action proposition）区分了存在性可实现性（existential realizability）与每个保留候选的可容许性（admissibility）。本研究的贡献在于一个统一的历史级审计框架及其显式判据与证书，该框架建立在经典逆极限（inverse-limit）、互模拟、可聚集性（lumpability）与子集构造（subset-construction）方法之上。物理重构（Physical Reconstruction）与先重构后控制（Reconstruction Before Control）为该框架提供了动机；其经验有效性仍处于这些模型相对保证（model-relative guarantees）的范围之外。

论文解读

一、研究背景与问题

在动态系统建模中，观测与隐藏状态之间的多对一映射是一个普遍而棘手的问题。当系统仅能通过观测输出间接感知内部状态时，一个看似连贯的可观测历史序列可能对应着一条在隐藏状态层面并不存在的“虚构路径”——因为相邻观测所要求的隐藏状态转移可能互不兼容。这种现象在部分可观测控制、状态聚合、马尔可夫链降维等众多领域中都会出现，直接威胁到基于观测数据进行系统分析与综合的可靠性。

已有研究虽在互模拟（bisimulation）、可聚集性（lumpability）等方向上积累了丰富成果，但对于“何时一个可观测历史确实能够被提升（lift）为一条真实的隐藏状态轨迹”这一根本问题，缺乏系统性的、面向无限时域的理论刻画。特别是当阶段空间为无限集时，有限时域的可提升性并不能直接推出无限时域的可提升性；而无限可观测历史的不可提升性是否总能被某个有限前缀所揭露，也并非显然。此外，在有限系统中，如何给出阻碍（obstruction）长度的显式上界，从而使验证过程可穷举执行，同样悬而未决。正是这些空白，构成了本研究的出发点。

二、研究内容与主要结论

研究人员针对具有闭延续关系（closed continuation relations）和闭观测等价（closed observational equivalences）的紧致豪斯多夫阶段空间，系统研究了闭式关系重构系统（Closed-Relational Reconstruction Systems）中可观测历史的提升问题。核心结论包括以下四个方面。

第一，紧致性引出了关键的理论简化：无限时域可行性（indefinite viability）与每一有限时域的可行性等价。这一结果将无限时域的困难问题化归为可逐层检验的有限问题。同时，紧致性保证了每个不可提升的无限可观测历史都存在一个有限前缀即可暴露其不可提升性，从而为有限检测提供了理论基础。

第二，研究人员提出了精确后继同余（exact successor congruence，ESC）这一依赖于阶段（stage-dependent）的互模拟条件。当系统满足ESC时，从每个初始代表元出发的提升均存在，这为提升问题提供了一个充分条件。进一步，研究人员给出了一个严格更弱的充要判据：存在某个提升，当且仅当在兼容代表元的可达集（reachable sets of compatible representatives）框架下满足相应条件。这一判据不要求所有代表元一致，仅要求存在一个可行的代表元路径，因而适用范围更广。

第三，在有限时齐系统中，研究人员证明了最短阻碍（shortest obstruction）的长度至多为∑_y(2^|q?1(y)|?1)次转移，其中q为观测映射，|q^?1(y)|表示观测y的原像大小。这一上界使穷举验证成为有限过程，为算法实现提供了理论保证。

第四，关于马尔可夫核的降维问题，研究人员证明：任意有限马尔可夫核恰好在其聚合概率（aggregate probabilities）于每个源类（source class）内一致时方可降维到观测空间。均匀后继计数（uniform successor counting）是这一条件的一个特例。这一结果澄清了核降维的精确条件，比以往仅适用于均匀情形的结论更具一般性。

三、关键技术方法

研究人员主要运用了以下关键技术方法：其一，逆极限（inverse-limit）方法，用于处理无限时域可观测历史与有限前缀之间的关系；其二，互模拟（bisimulation）与精确后继同余（ESC）理论，用于刻画代表元之间的兼容性；其三，可聚集性（lumpability）理论，用于分析马尔可夫核降维的条件；其四，子集构造（subset-construction）方法，用于构建兼容代表元的可达集并判定提升存在性。此外，紧致性论证是贯穿全文的核心分析工具。

四、研究结果

闭延续关系下的可行性等价性。 通过紧致性论证，研究人员证明了在闭延续关系与闭观测等价条件下，无限时域可行性与所有有限时域可行性等价。这一结论通过逆极限构造完成，是后续所有有限检测结果的基础。

ESC条件与提升保证。 研究人员定义了精确后继同余（ESC），证明满足该条件时从任意初始代表元出发的提升均存在。ESC是一种依赖于阶段（stage）的互模拟条件，比全局互模拟更精细，能够适应阶段间关系变化的情形。

充要判据与可达集。 通过引入兼容代表元的可达集，研究人员给出了存在某个提升的充要条件。该判据比ESC更弱，不要求所有代表元均可提升，仅要求存在一条可行的代表元路径，因此在实际系统中具有更广的适用性。

有限阻碍长度上界。 在有限时齐系统中，研究人员证明了最短阻碍的长度上界为∑_y(2^|q?1(y)|?1)。这一结果将验证过程转化为有限穷举，为算法实现提供了理论保障。

马尔可夫核降维条件。 研究人员证明了有限马尔可夫核可降维的充要条件是其聚合概率在每个源类内一致。均匀后继计数是特例。这一结果通过可聚集性理论获得，为部分可观测马尔可夫系统的分析与综合提供了精确判据。

控制实例验证。 研究人员构造了一个完全部分可观测控制实例，依次完成了可行性计算、拼接计划（spliced plan）检测、抽象（abstraction）修复以及非均匀核的验证。该实例展示了上述理论结果在实际系统中的完整应用流程。

共同作用命题。 研究人员还提出了一个独立的共同作用命题（common-action proposition），用于区分存在性可实现性（existential realizability）与每个保留候选的可容许性（admissibility）。这一区分对于控制综合中候选动作的筛选具有重要意义。

五、讨论与结论

在讨论部分，研究人员指出，物理重构（Physical Reconstruction）与先重构后控制（Reconstruction Before Control）构成了本框架的实际动机。这两个应用场景中，观测数据先于控制决策被处理，重构的可靠性直接决定后续控制的正确性。然而，研究人员明确强调，本研究所提供的保证是模型相对（model-relative）的——即相对于给定的闭延续关系和闭观测等价而言的保证——其经验有效性（empirical validity）不在本文的讨论范围之内。换言之，模型本身是否准确反映真实物理过程，需要由经验数据另行验证。

研究结论部分的核心信息可以概括为：本研究建立了一个统一的历史级审计框架（history-level audit），该框架能够判定给定的可观测历史是否可被提升为真实的隐藏状态轨迹。其贡献包括：紧致性下的可行性等价定理、ESC充分条件、基于可达集的充要判据、有限系统中阻碍长度的显式上界、马尔可夫核降维的精确条件，以及完整的控制实例验证。这些结果建立在逆极限、互模拟、可聚集性和子集构造等经典方法之上，为部分可观测动态系统的分析与综合提供了系统性的理论工具和可操作的验证程序。