Appendices A Further Common Assumptions for Causal Discovery

Following from Section 2.1, we review several relaxations of faithfulness, which give rise to different We provide further simulation results for the analysis of the SUCF assumption in Section 3.2 . Different number of nodes and expected degrees are considered. X-axes are visualized in log scale. With the above lemmas, we now provide the proofs of the main results. We proceed by contraposition in both parts of the proof.