Abstract:To characterize the computational complexity of satisfiability problems for probabilistic and causal reasoning within the Pearl's Causal Hierarchy, <a class="link-https" data-arxiv-id="2305.09508" href="https://arxiv.org/abs/2305.09508">arXiv:2305.09508</a> [cs.AI] introduce a new natural class, named succ-$\exists$R. This class can be viewed as a succinct variant of the well-studied class $\exists$R based on the Existential Theory of the Reals (ETR). Analogously to $\exists$R, succ-$\exists$R is an intermediate class between NEXP and EXPSPACE, the exponential versions of NP and PSPACE. The main contributions of this work are threefold. Firstly, we characterize the class succ-$\exists$R in terms of nondeterministic real RAM machines and develop structural complexity theoretic results for real RAMs, including translation and hierarchy theorems. Notably, we demonstrate the separation of $\exists$R and succ-$\exists$R. Secondly, we examine the complexity of model checking and satisfiability of fragments of existential second-order logic and probabilistic independence logic. We show succ-$\exists$R- completeness of several of these problems, for which the best-known complexity lower and upper bounds were previously NEXP-hardness and EXPSPACE, respectively. Thirdly, while succ-$\exists$R is characterized in terms of ordinary (non-succinct) ETR instances enriched by exponential sums and a mechanism to index exponentially many variables, in this paper, we prove that when only exponential sums are added, the corresponding class $\exists$R^{\Sigma} is contained in PSPACE. We conjecture that this inclusion is strict, as this class is equivalent to adding a VNP-oracle to a polynomial time nondeterministic real RAM. Conversely, the addition of exponential products to ETR, yields PSPACE. Additionally, we study the satisfiability problem for probabilistic reasoning, with the additional requirement of a small model and prove that this problem is complete for $\exists$R^{\Sigma}.

Causality in the Semantics of Esterel: Revisited

Causality and the semantics of provenance

A Semantics for Counterfactuals in Quantum Causal Models

The Causal Structure of Semantic Ambiguities

Causal Modeling Semantics for Counterfactuals with Disjunctive Antecedents

The Sheaf-Theoretic Structure of Definite Causality

On Probabilistic and Causal Reasoning with Summation Operators

Conflict vs Causality in Event Structures

From Checking to Inference: Actual Causality Computations as Optimization Problems

Efficient Discovery of Actual Causality using Abstraction-Refinement

Ontology and Formal Semantics - Integration Overdue

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification

On the Semantic Cognitive Process of Causative Events and Its Form Realizations

Multiteam semantics for interventionist counterfactuals: probabilities and causation

Synthesis of Temporal Causality

Nondeterministic Causal Models

The Topology of Causality

The Existential Theory of the Reals with Summation Operators

Structuralism with and without causation

Could Semantics Be Something Else? Philosophical Challenges for Formal Semantics

Categorical Proof-theoretic Semantics