The Unfaithful Cut: A Structural Diagnostic for Algebraically Closed Reductions

Many areas of physics rely on reduced descriptions, namely compact state-like objects intended to summarize complex underlying dynamics. In quantum theory, such reductions underpin state-based reasoning, effective dynamics in open systems, process-tensor formalisms, and causal modeling. However, persistent difficulties arise when these reduced objects are used to make counterfactual predictions under interventions, particularly in the presence of memory, correlations, or contextual effects. This work analyzes these difficulties at a structural level. Rather than proposing new dynamics or interpretations, it asks when a reduced description is capable, in principle, of supporting counterfactual reasoning under a specified class of physical interventions. The paper introduces a diagnostic criterion called faithfulness with respect to interventions and shows how many-to-one operational reductions can fail this criterion when they discard distinctions that later become causally relevant. The significance of this result is that it identifies a general failure mode of reduced modeling that cannot be repaired by improving equations of motion alone. The analysis clarifies why certain familiar problems recur across open quantum systems, quantum control, process-theoretic descriptions, and contextuality. Researchers who design, analyze, or rely on reduced models for prediction, control, or causal inference should find this framework useful for determining when such models are reliable and when additional structure is unavoidable. Abstract Modern quantum foundations increasingly recognize that instantaneous state descriptions are insufficient to account for contextuality, non-Markovian dynamics, and intervention-dependent behavior. Related advances extend the descriptive object to non-Markovian and multi-time process formalisms, yet typically retain the assumption that a suitably defined algebraic object can remain sufficient for prediction under interventions.In this work we identify and formalize a structural diagnostic underlying these phenomena, which we term the unfaithful cut. We consider many-to-one operational reductions from a space of admissible histories to reduced descriptions such as states, channels, or static multi-time process tensors. We introduce a criterion of faithfulness with respect to interventions, requiring that identical reduced descriptions permit identical sets of admissible future continuations under a specified class of physical interventions.We show that, under physically standard conditions, reductions that rely on algebraically closed descriptive objects—whether instantaneous states or static multi-time process tensors (Σ₁ descriptions)—can fail to be faithful: distinct underlying histories may map to the same reduced object yet support different counterfactual responses to later interventions. This failure is representational rather than dynamical and cannot, in general, be repaired by modifying equations of motion on the reduced space alone.We then characterize the minimal representational structure required to restore counterfactual semantics, formalized here as a trajectory-level admissibility geometry (Σ₂). In this framework, reduced descriptions are associated with structured families of admissible histories rather than single points, and memory effects or arrow-like directedness arise as geometric consequences of reduction rather than as fundamental dynamical postulates. Our results apply across state-based, process-theoretic, and causal-model frameworks and clarify the structural limits of algebraic reductions in open quantum systems and quantum control.