Can we build a bridge between the left and right hand side?
As datasets continually increase in size and complexity, our ability to uncover meaningful insights from unstructured and unlabeled data is crucial. At the same time, a premium has been placed on delivering simple, human-interpretable, and trustworthy inferential models of data. One promising class of such models are graphical models, which have been used to extract relational information from massive datasets arising from a wide variety of domains including biology, medicine, business, and finance, just to name a few.
Graphical models are families of multivariate distributions with compact representations expressed as graphs. In both undirected (Markov networks) and directed (Bayesian networks) graphical models, the graph structure guides the factorization of the joint distribution into smaller local specifications such as clique potentials \( \phi_C (\mathbf{x}_{C} ) \) or local conditionals \( P(x_j | \mathbf{x}_{pa(j)} ) \) of a variable given its “parent” variables. At the same time, the graph structure also encodes the conditional independence relations among the variables.
Obviously, the graph structure is one of the crucial elements in defining graphical models. Often times, the structure of the graph reflects the human knowledge that guides the design of the graphical models: for instance, expert systems like the ALARM network use medical expertise to design a directed graphical model; the first-order Markov assumption on latent state dynamics leads to hidden Markov models; and deep belief networks believe that latent variables form a layer-wise structure. In these examples, the knowledge leads to the structure.
On the other hand, the structure can lead to the knowledge as well, especially in the scientific settings. For instance, estimating gene regulatory networks from gene expression data is an important biological inference task. Similarly, discovering the brain connectivity from brain imaging data can contribute immensely to our understanding of the brain. Even outside science, for instance in finance, being able to understand how different stocks influence each other can be important in making predictions.
The problem of estimating graphical model structure from the data is called structure learning. In this post, we will consider the structure learning of Bayesian networks, a problem closely related to other areas such as causality and interpretability.
Where Are We?
The history of structure learning in Markov networks and Bayesian networks share a similar pattern: from constraint-based to score-based, and from local search to global search.
Constraint-based methods try to test conditional independencies from the data \(X\), and uses them to construct a compatible graphical model \(G\):
$$ X \xrightarrow{\textit{hypothesis test}} \textit{independence set} \xrightarrow{\textit{I-map}} G $$
There are several limitations to this approach: the first step is sensitive to individual failures of tests; the second step requires faithfulness, which is a strong assumption.
Score-based methods define an \(M\)-estimator for some score function that measures how well the graph fits the data:
$$ \max_G \ \mathit{score}(G; X) $$
Because of the large search space, the problem is in general NP-hard. Moreover, since this is a combinatorial problem, it often resorts to local search heuristics, which in turn makes implementation particularly difficult.
In the 2000s, we witnessed a significant breakthrough in the structure learning problem for Markov networks. Instead of using local search, which optimizes one edge at a time, these methods recast the optimization problem as a continuous program and perform global search: They search and update the entire graph in each iteration. This was made possible by treating the score-based learning problem as a continuous optimization program. This led to the huge success of methods like graphical lasso in practical fields like bioinformatics.
A natural question is then:
Can we use continuous optimization to perform global search in score-based learning for Bayesian networks?
The main difficulty is that unlike the graphical lasso, which is a convex continuous program, Bayesian networks lead to a nonconvex combinatorial program: the graph has to be acyclic. How can we incorporate this constraint into the continuous optimization problem?
A Smooth Characterization of Acyclicity
Let’s first focus on the case of linear DAGs, where each child variable depends linearly on its parents. In this case, the zero element of the weighted adjacency matrix \( W \) naturally represents the absence of the corresponding edge in the graph \( G \). Our goal is to estimate a \( G \), or equivalently a \( W \), that fits the data best.
$$ \begin{aligned}
\min_G & \ \ell(G; X) \\
\mathit{s.t.}\ & \ {G \in \textit{DAG}}
\end{aligned}
\quad \iff \quad
\begin{aligned}
\min_W & \ \ell(W; X) \\
\mathit{s.t.} \ & \ {h(W) = 0}
\end{aligned} $$
Essentially, we would like to transform the traditional combinatorial problem for graph \(G\) (left) into a continuous optimization program over weighted adjacency matrices \(W\) (right). The key technical device is the smooth function \( h(W) \) whose level set at zero is equivalent to the set of DAGs.
In our paper, we showed that such a function \(h\) exists,
$$ {h(W)} = \mathrm{tr} (e^{W \circ W}) – d,$$
and that it has a simple gradient:
$$ \nabla h(W) = (e^{W \circ W})^T \circ 2W. $$
Here the \( \circ \) is the element-wise product, \(d\) is the size of the graph, \( \mathrm{tr}\) is the trace of a matrix, and the matrix exponential is defined as the infinite power series
$$ e^A = I + A + \frac{1}{2!} A^2 + \frac{1}{3!} A^3 + \cdots $$
The intuition behind this function is that the \( k \)-th power of the adjacency matrix of a graph counts the number of \( k \)-step paths from one node to another. In other words, if the diagonal of the matrix power turns out to be all zeros, there is no \( k \)-step cycles in the graph. Then to characterize acyclicity, we just need to set this constraint for all \( k = 1, 2, \dotsc, d \), eliminating cycles of all possible length.
Equipped with this smooth characterization of DAGs \(h(W)\), now the new \(M\)-estimator reduces to a continuous optimization problem with a nonlinear equality constraint. This is interesting for several reasons:
- The hard work of edge search can now be delegated to numerical solvers, instead of being implemented by experts in graphical models.
- From an optimization point of view, this approach is agnostic to properties of the graph, whereas traditional methods typically require assumptions such as bounded degree or tree-width.
- Similar to sparse inverse covariance estimation for high-dimensional Gaussian graphical model selection, it is straightforward to incorporate structural regularization such as sparsity.
NO🙅♀️ TEARS😭
Now that we have an M-estimator entirely written as a continuous constrained optimization program (albeit nonconvex), standard numerical algorithms such as augmented Lagrangian can be employed. At a high level, this involves two steps:
- Minimize augmented primal (continuous, unconstrained): \( W_{t+1} \gets \arg \min_{W} \ L(W, \alpha_t) \)
- Dual ascent (1-dimensional update): \( \alpha_{t+1} \gets \alpha_t + \rho h(W_{t+1}) \)
The entire algorithm can be written in less than 50 lines of Python: 30 lines for the function/gradient definitions, and 20 lines for the augmented Lagrangian as shown above. For interested readers, the complete algorithm with executable example is publicly available on Github. To highlight the simplicity, we decided to name it NOTEARS: Non-combinatorial Optimization via Trace Exponential and Augmented lagRangian for Structure learning.
Recovering Random Graph Structures
Below, we visualize the iterates of the aforementioned augmented Lagrangian scheme. Since the parameter here is simply a weighted adjacency matrix, we can visualize this with a heatmap. On the left is the ground truth, the middle is an animation showing each iterate, and on the right is the difference between the current iterate and the ground truth.
We can validate the algorithm by simulating random graphs as the ground truth, for instance an Erdős–Rényi graph, where edges take place independently with certain probability. It is clear that the NOTEARS algorithm quickly recovers the true DAG structure, as well as the edge weights.
Earlier we claimed that one advantage of the optimization view is that the algorithm is agnostic about graph properties. Indeed, the next example illustrates an example in which the degree distribution of the ground truth is highly unbalanced, and for which our algorithm can still recover the graph efficiently. This example is generated from a scale-free graph, where some nodes are much more heavily connected than the rest.
Moving Forward: From Linear to Nonlinear
So far we have assumed linear dependence between random variables – i.e., we are working with linear structural equation models (SEM):
$$ X_j = \sum_{i \in \mathrm{pa}(j)} W_{ij} X_i + Z_j $$
where \( Z_j \) is the independent noise with zero mean. It can be naturally extended to account for certain nonlinear transformations in the same way generalized linear models (GLMs) extend linear regression:
$$ \mathbb{E} \left[X_j | X_{\mathrm{pa}(j)} \right] = g_j \left(\sum_{i \in \mathrm{pa}(j)} W_{ij} X_i \right) $$
with mean function \( g_j \). However, a fully nonlinear model in terms of \( X_\mathrm{pa}(j) \) still remains nontrivial. The question is then:
Can we use continuous optimization to learn nonparametric DAGs?
The model of consideration is now generalized to nonparametric SEMs:
$$\mathbb{E} \left[X_j | X_{\mathrm{pa}(j)} \right] = g_j \left(f_j(X)\right),$$
where the (possibly nonlinear) function \( f_j(u_1, \dotsc, u_d) \) does not depend on \(u_k\) if \( k \notin \mathrm{pa}(j) \) in \( G \).
Notice that in linear SEMs the weighted adjacency matrix \( W \) plays two different roles: \( W \) is the parameterization of the SEM, but at the same time, it also induces the graph structure. This is an important fact that enables the continuous optimization strategy in NOTEARS.
Once we move to the nonparametric SEM, however, there is no such \( W \) in the first place! How can we “smoothly” connect the score function and the acyclicity constraint?
A Notion of Nonparametric Acyclicity
Luckily, partial derivatives can be used to measure the dependence of \( f_j \) on the \(k\)-th variable, an idea that dates back to at least Rosasco et al. Essentially, \(f_j\) is independent of \(X_k\) if and only if \( \| \partial_k f_j \|_{L^2} = 0 \). Then we can construct the following matrix that encodes the dependency structure between variables:
$$ W(f) = W(f_1, \dotsc, f_d) \in \mathbb{R}^{d \times d}, \quad [W(f)]_{kj} := \| \partial_k f_j \|_{L^2}. $$
The resulting continuous M-estimator is then:
$$ \min_{f=(f_1, \dotsc, f_d)} \ell(f; X) \quad \text{s.t.} \quad h(W(f)) = 0. $$
One can immediately notice that when \( f_j \) are linear, this reduces to the linear NOTEARS. Moreover, in our recent paper, we show that it subsumes a variety of parametric and semiparametric models including additive noise models, generalized linear models, additive models, and index models.
The remaining question is: How do we actually solve it? In general, the above program is infinite-dimensional, so we choose a suitable family of approximations (e.g. neural networks, orthogonal series, etc.) to reduce this to a tractable optimization problem over a finite-dimensional parameter \( \theta \). Notably, for both multi-layer perceptrons and Sobolev basis expansions, \( h(W(\theta)) \) is smooth w.r.t. \( \theta \). Hence we again arrive at a problem ready for off-the-shelf numerical solvers. In particular, even a relatively simple neural network like 1-hidden-layer multi-layer perceptron with 10 hidden units suffices to capture nonlinear relationships between variables.
Concluding Remarks
Score-based global search of Bayesian networks using continuous optimization has thus far been missing from the existing literature. We hope our work serve as a first step toward filling this gap between undirected and directed graphical model selection. The key technical device is the notion of acyclicity that leverages SEM parameters in the algebraic characterization of DAGs.
Since the algebraic characterization of DAG is exact, it inherits the nonconvexity of DAG learning. Nonetheless, the stationary point is often good enough. An interesting future direction is to study the nonconvex landscape of the continuous M-estimator more carefully in order to provide rigorous guarantees on the optimality of the solutions.
For more details, please refer to the following resources:
DISCLAIMER: All opinions expressed in this post are those of the author and do not represent the views of CMU.