English
Related papers

Related papers: Conditional Separation as a Binary Relation. A Coq…

200 papers

In a previous paper [Pearl and Verma, 1991] we presented an algorithm for extracting causal influences from independence information, where a causal influence was defined as the existence of a directed arc in all minimal causal models…

Artificial Intelligence · Computer Science 2013-03-25 Tom S. Verma , Judea Pearl

There is growing interest in the study of causal methods in the Earth sciences. However, most applications have focused on causal discovery, i.e. inferring the causal relationships and causal structure from data. This paper instead examines…

Atmospheric and Oceanic Physics · Physics 2021-05-04 Adam Massmann , Pierre Gentine , Jakob Runge

We introduce the notion of "separation of conditions" meaning that a description of statistical data obtained from experiments, performed under a set of different conditions, allows for a decomposition such that each partial description…

Quantum Physics · Physics 2019-03-27 Hans De Raedt , Mikhail I. Katsnelson , Dennis Willsch , Kristel Michielsen

We propose an alternative proof concerning necessary and sufficient conditions to split the problem of searching for d-separators and building the skeleton of a DAG into small problems for every node of a separation tree T. The proof is…

Artificial Intelligence · Computer Science 2018-07-02 Mohammad Ali Javidian , Marco Valtorta

Causal models with unobserved variables impose nontrivial constraints on the distributions over the observed variables. When a common cause of two variables is unobserved, it is impossible to uncover the causal relation between them without…

Statistics Theory · Mathematics 2021-12-14 Beata Zjawin , Elie Wolfe , Robert W. Spekkens

Causal reasoning is essential to science, yet quantum theory challenges it. Quantum correlations violating Bell inequalities defy satisfactory causal explanations within the framework of classical causal models. What is more, a theory…

Quantum Physics · Physics 2021-03-05 Jonathan Barrett , Robin Lorenz , Ognyan Oreshkov

Given data sampled from a number of variables, one is often interested in the underlying causal relationships in the form of a directed acyclic graph. In the general case, without interventions on some of the variables it is only possible…

Machine Learning · Statistics 2017-12-05 Christopher Nowzohour , Peter Bühlmann

We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to…

Artificial Intelligence · Computer Science 2022-04-12 Yimu Yin , Jiji Zhang

Multivariate time series in domains such as finance, climate science, and healthcare often exhibit long-term trends, seasonal patterns, and short-term fluctuations, complicating causal inference under non-stationarity and autocorrelation.…

Machine Learning · Computer Science 2026-04-29 Muhammad Hasan Ferdous , Md Osman Gani

Probabilistic graphical models are a fundamental tool in statistics, machine learning, signal processing, and control. When such a model is defined on a directed acyclic graph (DAG), one can assign a partial ordering to the events occurring…

Information Theory · Computer Science 2011-10-05 Maxim Raginsky

Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders. These may be the key resource for experimental violations of causal inequalities and have been recently identified as…

Quantum Physics · Physics 2019-12-16 Márcio M. Taddei , Ranieri V. Nery , Leandro Aolita

Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators…

Logic in Computer Science · Computer Science 2014-03-31 George H. L. Fletcher , Marc Gyssens , Dirk Leinders , Jan Van den Bussche , Dirk Van Gucht , Stijn Vansummeren

Separation logic adds two connectives to assertion languages: separating conjunction * ("star") and its adjoint, separating implication -* ("magic wand"). Comparatively, separating implication is less widely used. This paper demonstrates…

Programming Languages · Computer Science 2019-09-20 Qinxiang Cao , Shengyi Wang , Aquinas Hobor , Andrew W. Appel

Explaining artificial intelligence or machine learning models is increasingly important. To use such data-driven systems wisely we must understand how they interact with the world, including how they depend causally on data inputs. In this…

Machine Learning · Computer Science 2023-07-06 Joshua R. Loftus , Lucius E. J. Bynum , Sakina Hansen

Graph data has a unique structure that deviates from standard data assumptions, often necessitating modifications to existing methods or the development of new ones to ensure valid statistical analysis. In this paper, we explore the notion…

Methodology · Statistics 2024-07-09 Cencheng Shen , Jesüs Arroyo , Junhao Xiong , Joshua T. Vogelstein

A recent framework of quantum theory with no global causal order predicts the existence of "causally nonseparable" processes. Some of these processes produce correlations incompatible with any causal order (they violate so-called "causal…

Quantum Physics · Physics 2016-08-23 Adrien Feix , Mateus Araújo , Časlav Brukner

The capacity of distant parties to send signals to one another is a fundamental requirement in many information-processing tasks. Such ability is determined by the causal structure connecting the parties, and more generally, by the…

Quantum Physics · Physics 2022-08-31 Simon Milz , Jessica Bavaresco , Giulio Chiribella

Statisticians have warned us since the early days of their discipline that experimental correlation between two observations by no means implies the existence of a causal relation. The question about what clues exist in observational data…

Artificial Intelligence · Computer Science 2020-09-25 Pirmin Lemberger , Denis Oblin

Understanding causal relations between temporal variables is a central challenge in time series analysis, particularly when the full causal structure is unknown. Even when the full causal structure cannot be fully specified, experts often…

Artificial Intelligence · Computer Science 2026-03-16 Timothée Loranchet , Charles K. Assaad

We propose a method to classify the causal relationship between two discrete variables given only the joint distribution of the variables, acknowledging that the method is subject to an inherent baseline error. We assume that the causal…

Machine Learning · Statistics 2016-11-07 Krzysztof Chalupka , Frederick Eberhardt , Pietro Perona