Summary
The paper investigates the problem of estimating the average treatment effect of variable "t" on variable "y" within the Pearlian framework. The paper proposes an algorithm that enables causal effect estimation using a front-door-like criterion while relying on only a limited knowledge about the underlying graph structure.
The core of the algorithm lies in the search for a subset of obserables "z" that satisfies a series of independence criteria, thereby establishing a front-door-like formula using "z". The proofs employed in the paper leverage the do-calculus and the identifiability criterion of Tian and Pearl. In addition to its theoretical contributions, the paper also presents empirical demonstrations of the proposed approach across three distinct categories: (1) random Structural Causal Models; (2) synthetic data; and (3) real-world fairness benchmarks.
Strengths
The paper addresses an important problem in the field of causality research by examining the limitations of existing algorithms for causal effect estimation. It specifically aims at improving on the assumption of having access to the underlying causal graph, which is often not readily available. The main contribution of the paper is the introduction of a method for identifying a set of observables 'z' that enables the generation of a front-door-like formula, thereby improving causal effect estimation under limited graph availability.
The paper presents a clear problem statement and provides well-presented proofs. By offering an alternative perspective on causal effect estimation, the paper provides valuable insights for tackling this challenging problem. Overall, the paper makes a meaningful contribution to the field and opens avenues for further research.
Weaknesses
One potential weakness of the paper is that once the requirement of designing a subset "z" satisfying the front-door-like criterion (Eqn (9)) is fixed, the proofs and the proposed independence criteria are relatively straightforward and achievable using the rules of do-calculus and the identifiability criterion.
It is also not convincing to me how and why the exhaustive search runs fast for the random class of graphs generated in Section 4.1. The expected number of unobservables is of the order O(p), I am curious to know why the bidirected edges are chosen with probablity q/p? It would be convincing to see positive results for larger p with more unobservables.
The in-completeness of the proposed algorithm and the mandatory requirement of Assumption 2 are the two major drawbacks of the paper (Please refer to Limitations for a detailed discussion.)
Questions
As pointed out by the authors, Assumption 2 is mandatory for the approach to work. This observation is not surprising but somewhat disheartening. It would be valuable to explore if there are any workarounds or alternative approaches to testing this assumption, possibly utilizing Confidence Interval (CI) tests. Given that the available knowledge is limited to only the children of "t," I am not sure if this is possible to test. Further exploration or discussion on potential alternatives or extensions to address this limitation would enhance the paper's robustness.
Regarding the choice of the random class of graphs for the benchmark, it would be beneficial to have an explanation or justification provided in the paper. Understanding the rationale behind the class of graphs considered would provide more insights.
I also suggest to provide a more detailed description of Algorithm 1 in the main paper, as that would enable readers to have a better understanding of the algorithm.
Rating
5: Borderline accept: Technically solid paper where reasons to accept outweigh reasons to reject, e.g., limited evaluation. Please use sparingly.
Confidence
4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.
Limitations
The primary limitation of the paper, in my opinion, is regarding the completeness of the algorithm. The fact that the proposed algorithm is not complete represents a significant drawback. A complete algorithm would have provided a more robust and comprehensive solution to the problem.
As explained in the paper, Assumption 2 is crucial in order for the search to work which is another crucial downside of this approach. This reliance on a critical assumption may limit the generalizability of the approach to real-world scenarios where such assumptions may not hold. Indeed, I feel like finding a workaround or alternative approach to mitigate the reliance on Assumption 2 would greatly enhance the paper's technical as well as practical value.
I believe issues regarding sample complexity are out of the scope of the paper and perhaps be considered for future work.