Robustness Analysis via Horofunction Compactification

2026-09-17

AI Summary

该研究使用Gromov的horofunction紧化方法，解决在非局部紧空间中进行鲁棒性分析的问题，特别是在无限维空间中的应用。

Abstract

Robustness analysis plays a central role in the verification and design of computational and hybrid systems, particularly when system behaviour depends continuously on parameters subject to perturbation. Existing domain-theoretic frameworks provide a principled foundation for reasoning about such perturbations via monotone maps on lattices of closed sets. However, these frameworks face significant limitations when the underlying state space is not locally compact, as is the case for the infinite-dimensional spaces that arise in analysis, machine learning, and control theory (e.g., $\ell_p$ and $L_p$ spaces). In these settings, the lattice of closed subsets fails to be continuous, and classical compactifications either sacrifice precision or lack computable structure. We propose Gromov's horofunction compactification as a new tool for robustness analysis over a class of separable metric spaces of practical importance, including separable reflexive Banach spaces. Given a metric space $\mathbb{S}$, we show that its horofunction extension yields a compact metric space together with a Lipschitz embedding, which enables robust approximations of monotone maps via Scott-continuous maps on the compactified domain. For separable spaces, the horofunction compactification is metrizable, which provides a path toward effective domain-theoretic constructions.

Problem

• Robustness Analysis
• Non-locally Compact Spaces
• Horofunction Compactification
• Infinite-dimensional Spaces

Innovation

• Horofunction Compactification
• Robustness Analysis
• Separable Metric Spaces
• Scott-Continuous Maps