Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions

The core message of this article is that path disconnectedness between two sets X0 and X1 within a larger set X can be certified through the existence of a time-dependent barrier function that separates the sets. This barrier function is a necessary and sufficient condition for path disconnectedness under compactness assumptions.