SUPPLEMENTARY MATERIAL DAGMA: Learning DAGs via M-matrices and a Log-Determinant Acyclicity Characterization A Detailed Proofs A.1 Proof of Theorem 1 Proof. We first note that for any s > 0 and matrix