This is the peer reviewed version of the following article: STAT, 5, (2016), 286294, which has been published in final form at doi:10.1002/sta4.122. This article may be used for noncommercial purposes in accordance with Wiley Terms and Conditions for SelfArchiving;
also on Arxiv 1512.09016.
Pairwise Markov properties for regression graphs
Kayvan Sadeghi
University of Cambridge, Cambridge, UK
Nanny Wermuth
Chalmers University of Technology, Gothenburg, Sweden and GutenbergUniversity, Mainz, Germany
Abstract: With a sequence of regressions, one may generate joint probability distributions. One starts with
a joint, marginal distribution of context variables having possibly a concentration graph structure and continues with an ordered sequence of conditional distributions, named regressions in joint responses. The involved random variables may be discrete, continuous or of both types. Such a generating process specifies for each response a conditioning set which contains just its regressor variables and it leads to at least one valid ordering of all nodes in the corresponding regression graph which has three types of edge; one for undirected dependences among context variables, another for undirected dependences among joint responses and one for any directed dependence of a response on a regressor variable.
For this regression graph, there are several definitions of pairwise Markov properties, where each interprets the conditional independence associated with a missing edge in the graph in a different way. We explain how these properties
arise, prove their equivalence for compositional graphoids and point at the equivalence of each one of them to the global Markov property.
Keywords: Chain graph; compositional graphoid; graphical Markov model; intersection; pairwise Markov property; sequence of regressions.
1 Introduction
Regression graph models are the subclass of graphical Markov models that is best suited to capture pathways of development, no matter whether the generating process arises in observational studies or in intervention studies, see Wermuth (2015). For prospective studies, time provides a partial ordering of a finite number of variables and leads to an ordered sequence of joint and single response variables. In other studies, any ordering is provisional but, typically, may be agreed upon by researchers in the given field of study.
Regression graph models extend models proposed by Cox & Wermuth (1993), illustrated there with several small sets of data having some joint responses and just linear relations; for linear regressions see e.g. Weisberg (2014). Additional in regression graph models are context variables which capture baseline features of study individuals or of study conditions. Context variables may be controlled or fixed by study design. Regression graphs represent an essential extension of fully directed acyclic graphs whenever one wants to model that explanatory variables affect directly several response variables at the same time and to take the baseline information of context variables explicitly into account.
Individual random variables can be continuous, discrete or of both types. For such mixed responses, the conditional distributions may, for instance, be conditional Gaussian regressions; see Lauritzen & Wermuth (1989), be approximated by generalized linear regressions; see McCullagh & Nelder (1989), Andersen & Skovgaard (2010), or if needed, be any other type of nonlinear regression, which permits to represent the relevant conditional independences and dependences.
For discrete variables, ordered sequences of joint regressions without context variables have been studied as chain graph models of type IV by Drton (2009). A parameterization and maximumlikelihood estimates were derived by Marchetti & Lupparelli (2011).
For context variables in general, the independence structure is captured by an undirected graph in vertex set and edge set , known as the concentration graph. The name reminds one that for regular joint Gaussian distributions, a missing edge for vertex pair shows as an zero in its concentration matrix, the inverse covariance matrix; see Dempster (1972), Cox & Wermuth (1993). In general, at most one undirected edge, , couples the vertices , and each missing edge for means is independent of given the remaining variables. This is written compactly in terms of vertices, also called nodes, as ; see Dawid (1979).
For exclusively discrete context variables, the joint distributions have been studied as Markov fields and loglinear interaction models; see Darroch, Lauritzen & Speed (1980), named later also discrete concentration graph models. For these, one also knows when single unobserved variables can be identified; see Stanghellini & Vantaggi (2013).
For regression graphs in node set where each node represents a variable, the edge set contains in general three types of edge of different interpretation. The edge among two context nodes is denoted by a full line, . Edges for directed dependences are arrows, . Each arrow starts at a regressor node and points to a response . The edge between two individual response nodes within a given joint response is denoted by a dashed line, . In some literature, this is replaced by an doubleheaded arrow. Undirected graphs of this type are named conditional covariance graphs to remind one that for joint Gaussian distributions, a missing edge shows as an zero in the conditional covariance matrix of a joint response , given the union of their individual regressors.
Among the results available so far for regression graphs are (1) a simple graphical criterion to decide whether two regression graphs, with the same node and edge set but different types of edge, define the same independence structure; see Wermuth & Sadeghi (2012), (2) path criteria and zeromatrix criteria for separation; see Sadeghi & Lauritzen (2014), Wermuth (2015), (3) induced graphs, after marginalising over some nodes and conditioning on others, which preserve the independence structure of the generating regression graph, see Sadeghi (2013), (4) induced graphs, which only predict dependences generated by a regression graph between and given , for disjoint partitioning . This requires an edgeminimal graph, that is one in which no edge can be removed without introducing another independence constraint; see Wermuth (2012), (5) implementations in the computing environment R; see Sadeghi & Marchetti (2012).
Independence properties implied by the standard graph theoretic separation criterion on graphs listed here as to in Section 3, were introduced by Pearl & Paz (1987) for concentration graphs and said to define a graphoid. More importantly, they derived that for graphoids all independences implied by the given graph, may be obtained either from the list of independences defined by its missing edges or by separation in undirected graphs. This became known later as the equivalence of the pairwise Markov property and the global Markov property.
Such an equivalence has been proven for more general classes of graphs, including regression graphs, for which the global Markov property is also generalized compared to concentration graphs; see Sadeghi & Lauritzen (2014). This uses the additional independence property of composition, listed here as property in Section 4. For such compositional graphoids, several pairwise Markov properties may be defined, which give alternative independence interpretations to a missing edge. One question to be solved was whether each of them is suitable to derive the regressiongraph structure that is all independences implied by the graph.
Here, we define four pairwise Markov properties and show with Theorem 1 that they are equivalent with respect to regression graphs. Thus, any one of the four pairwise properties characterizes the regressiongraph structure. By using the equivalence of one of them to the global Markov property, proven in Sadeghi & Lauritzen (2014), it follows that each one is also equivalent to the global Markov property.
The smallest conditioning set for the independence of two response components will be shown to be the set of important regressors for just one of the responses. This result for independences is of special importance since it contrasts with a wellknown result for estimating the dependences of responses on their regressors: when strong residual dependences remain among the responses, after one has been regressing each response component separately on different sets of regressors, distorted parameter estimates may be obtained, see Haavelmo (1943), Zellner (1962), Drton & Richardson (2004). For an exposition of these ideas in terms of Gaussian variables, standardized to have zero means and unit variances, see Cox & Wermuth (1993), beginning of Section 4.
We introduce in Section 2 more definitions and concepts for regression graphs. In Section 3, we provide independence properties, give four pairwise Markov properties for regression graphs, and prove their equivalence for compositional graphoids. We end with a discussion in Section 4.
2 Some more definitions and concepts for regression graphs
A simple graph with a finite node set has in its edge set at most one edge for nodes in . When are the endpoints of an edge, the node pair is said to be coupled or to be adjacent and denoted by . A simple graph is complete when all pairs are coupled by an edge.
A parent of node is the starting node of an arrow pointing to and indicates a regressor variable of response . The set of parents of a node is denoted by . An path is a sequence of edges passing through distinct inner nodes, connecting the endpoints and of the path. By convention, an edge is the shortest type of path.
A subgraph induced by a subset of consists of the node set and of the edges present in the graph among the nodes of . A subgraph is connected if there is a path between any distinct node pair. A maximally connected subgraph is called a connected component.
A directionpreserving path to from consists of arrows, all pointing from towards . In such a directionpreserving path, node is named an ancestor of . An anterior path consists of a directionpreserving path followed by an undirected path, such as:
Thus, anterior nodes extend the notion of ancestors. The set of anterior nodes of node is denoted by .
The regression graph, , is a simple graph with a finite node set and an edge set of three different types of edge. Here we use arrows, dashed and full lines. The properties of are (1) no arrow points to a full line and no dashed line is adjacent to a full line, (2) there is a valid ordering of its unique set of connected components, . These components result by removing all arrows from . The connected components of dashed lines can be ordered such that if there is an arrow pointing to a node in from a node in . Connected components of full lines have a higher order than those of dashed lines and can be ordered in any way.
The induced subgraph of of only arrows and dashed lines is called the response set, , the complimentary one of only full lines is the context set, so that Accordingly, connected components of are the response components, those of are the context components. For a node in response set , its past is denoted by and it consists of all nodes in components having a higher order than .
Although for the regressiongraph structure, only a valid ordering of its connected components is essential, one can indeed extend a valid ordering of these components into a complete valid ordering of all nodes, , where if for and . This implies that if there is an arrow pointing to from . The past of a node in response component contains never any node of even if is larger in a complete valid ordering of the nodes.
Conditional independences are captured by missing edges in . A missing edge for in is denoted by . For , there is some subset of such that in the graph is conditionally independent of given , written as . Four different ways of defining are studied in the next Section 3.
3 Pairwise Markov properties for regression graphs
The following properties have been defined for conditional independences of probability distributions. Let be disjoint subsets of , where may be the empty set.

symmetry: ;

decomposition: and ) ;

weak union: and ) ;

contraction: and ;

intersection: ( and ;

composition: ( and .
Note that composition defines the reverse direction of decomposition. Intersection gives the reverse direction of weak union and properties to are the independence properties of all probability distributions; see Dawid (1979), Studený (1989).
The first five independence properties, listed above, give the graphoids of Pearl & Paz (1987), see also Studený (1989, 2005). If, in addition, the composition property holds, one speaks of a compositional graphoid. For compositional graphoids, pairwise independences can be combined to obtain global independence statements of the type for general classes of graphs, which include regression graphs; see Sadeghi & Lauritzen (2014). Thus, the above six properties are also satisfied by . They are the properties used here in the proof of Theorem 1.
Let be a regression graph with a valid ordering of the node set , which necessarily conforms with a valid ordering of its connected components. Based on this ordering, we always assume in this section that for the node pair . To define pairwise Markov properties for , we use the following notation for parents, anteriors and the past of node pair :
The distribution of satisfies a pairwise Markov property , for , with respect to if for and in the context set, ,
and for in the response set, ,
Notice that in (P4), may be replaced by whenever the two nodes are in the same connected component. Consider, for example, the graph of Figure 1 with .
For the uncoupled pair of nodes , the nodes in its past are , the anteriors are , the parents are while the parent of node alone is node , so that by the four pairwise Markov properties, listed here including their conditioning sets,
Theorem 1.
Let a distribution of be a compositional graphoid. Then, for every valid ordering of the nodes of , satisfies with respect to .
Before presenting the proof, we provide the following example related to the graph of Figure 1, in which we follow the same method as in the proof of this theorem that is using compositional graphoid properties to obtain the equivalence of the independence statements implied by the different pairwise Markov properties:
By definition, we have and . Contraction implies . Then, decomposition gives that .
Nodes and are in the set , and it holds that , , and . Intersection, used repeatedly, implies . This together with implies by contraction . By decomposition, so that by weak union, .
By contraction, and , imply , which by decomposition implies . By contraction, this and imply so that by decomposition .
Composition used repeatedly for statements , , , , gives . Weak union implies .
Proof of Theorem 1.
By definition, . Let , then and . For another possible node holds also that . By the intersection property, we obtain . By the same method and an inductive argument, for all members of , we obtain . Now if and are in different connected components then by the same method, we use the intersection property to obtain , and if and are in the same connected component, we use the contraction property with to obtain the same independence statement. The decomposition property yields .
Suppose that is in the lower or equal index component than that of . Let also . Notice that since and if, and adjacent to then is of a higher order than , which is not possible. We prove that :
If then and subsequently . The result is then obvious from the assumption. Thus assume that . We then use reverse induction on the order of the connected components in which lies to prove the claim. For the base, we have that is in , and let be the connected component containing in . It holds that . For every member of , it holds that . By intersection, for all such statements, we obtain . Decomposition implies the result.
Now suppose that and, for every , by the induction hypothesis, it holds that . By the composition property for all such , we obtain that . This together with , by using the contraction property, implies that . The decomposition property gives .
Now by the intersection property for all such , we obtain . This together with , using the contraction property, implies . By the decomposition property, this gives . The weak union property now implies .
We prove the result by reverse induction on the order of the connected component that contains . If is in then the result trivially holds. Thus suppose that lies in . By induction hypothesis for each we have . By the composition property, it is implied that . This together with , by the contraction property, implies . The decomposition property now gives .
Suppose that . We have that . Therefore, . Using the composition property for all such statements for members of , we obtain . The weak union property implies . ∎
Based on the equivalence of the global Markov property and the pairwise Markov property , proven in Sadeghi & Lauritzen (2014), we have the following corollary:
Corollary 1.
Let a distribution of be a compositional graphoid. Then, for every valid ordering of the nodes of , satisfies the global Markov property with respect to if and only if it satisfies any one of , , , or .
It is a consequence of the above results that in case one of the four pairwise independence properties is satisfied, all other three hold as well so that, depending on the purpose of an enquiry, each one of them may be used. The results have been applied implicitly in modelfitting strategies which also include checks of necessary conditions for properties to ; see e.g. Wermuth & Sadeghi (2012), Appendix; Wermuth & Cox (2013), Appendix.
There is an additional independence property, needed for studying dependences induced by a given edgeminimal graph,

singleton transitivity: ( and or ),
where are distinct nodes of node set and . Probability distributions satisfying this property of singleton transitivity in addition to to are for instance regular joint Gaussian distributions; see Lněnička & Matúš (2007), and totally positive distributions with positive support everywhere; see Fallat et al (2016).
4 Discussion
For regression graphs and for distributions that are compositional graphoids, the equivalence of four different pairwise independence properties has been proven, two of which, and , require a valid ordering of all variables. Together with the known equivalence of one of them, , to the global Markov property, this gives essential insights into regressiongraph structures and, at the same time, into the structural independence constraints of such distributions that is into independences which hold irrespective of specific parameter values for a given regression graph model.
For the same set of context variables, different special parametrizations for the directed dependences of main interest may arise, for instance, just with differing baseline conditions that is with different realisations for the context variables. Hence, especially for comparing results from several studies with the same variables, it is essential to be able to distinguish between structural independences and those which result only with specific constellations of parameters. The former are captured by a generating regression graph and the latter by parameter estimates given a set of data.
The conditioning set is largest for the past of any two nonadjacent nodes, , and smallest for the subset of this past containing just the parents of one of the two nodes, . The two other properties have conditioning sets of intermediate size, they may be larger than those for but they are never larger than those for . This implies for a regression graph what follows for the generated distribution by its factorization in terms of connected components: variables outside the past of a missing edge need not be considered for its independence interpretation.
For any given joint response, property justifies the elimination of unimportant regressors for each response component separately, but only with property , that is by conditioning on the joint parents of two response nodes, possible estimation problems are avoided, such as in seemingly unrelated regressions. By using , a reduced model is replaced by a covering model which is simpler concerning estimation properties; see Cox & Wermuth (1990). In the Gaussian case for a reduced model of seemingly unrelated regressions, the covering model is the socalled general linear model which has identical sets of regressors for each response pair; see Anderson (1958).
For tracing pathways of dependence, the pairwise property given the anterior set of a node, is the essential one. Intervening early at an inner node of an anterior path in an edgeminimal graph will interrupt a pathway of development. For instance with exclusively strong risk factors along such a path, an early intervention may stop an otherwise disastrous accumulation of risks.
The main importance of the pairwise property given the past of a node pair, , is that independence constraints and pairwise dependences are defined without any change in this largest conditioning set. This permits to extend a given connected graph into a complete graph by keeping its given valid node ordering: all missing full lines in the context set are added, in each response component dashed lines are added until its subgraph is complete, then for each remaining node pair with , an arrow pointing to from is added. This helps to understand which constraints have been imposed on this completed graph to obtain the given missing edges.
The completed graph leads also to the factorization of a generated distribution in terms of connected components but without any conditional independence constraints. Such a covering model is sometimes called a saturated regression graph model. This saturated model is the appropriate basis for discussions with researchers in the field on which alternative orderings may possibly be more in line with the available knowledge about the variables under study. A disadvantage of is for efficient testing: it may include many variables as mere noise; see Altham (1984).
For general types of distributions generated over a regression graph, efficient algorithms still need to be developed to decide whether they satisfy the independence properties to . These are not common to all probability distributions but hold, for instance, in joint Gaussian distributions and in totally positive distributions with positive support everywhere. Joint Bernoulli distributions satisfying other types of conditions will in a future paper be shown to also satisfy the three additional properties. In another future paper, additional conditions will be given under which these distributions contain precisely those independences provided as structural by an edgeminimal regression graph.
Acknowledgments
Work of the first author was partially supported by grant FA95501410141 from the U.S. Air Force Office of Scientific Research (AFOSR) and the Defense Advanced Research Projects Agency (DARPA). The second author thanks GM Marchetti and M Mouchart for stimulating discussions and comments.
References
 Altham (1984) Altham, P (1984), ‘Improving the precision of estimation by fitting a model’, Journal of the Royal Statistical Society, Series B, 46, 118–119.
 Andersen & Skovgaard (2010) Andersen, PK & Skovgaard, LT (2010), Regression with Linear Predictors, Springer, New York.
 Anderson (1958) Anderson, TW (1958), An Introduction to Multivariate Statistical Analysis. Wiley, New York (3rd ed, 2003)
 Cox & Wermuth (1990) Cox, DR & Wermuth, N (1990), ‘An approximation to maximumlikelihood estimates in reduced models’, Biometrika, 77, 747–761.
 Cox & Wermuth (1993) Cox, DR & Wermuth, N (1993), ‘Linear dependencies represented by chain graphs (with discussion)’, Statistical Science, 8, 204–218; 247–277.
 Darroch, Lauritzen & Speed (1980) Darroch, JN, Lauritzen, SL, & Speed, TP (1980), ‘Markov fields and loglinear models for contingency tables’, Annals of Statistics, 8, 522 – 539.
 Dawid (1979) Dawid, AP (1979), ‘Conditional independence in statistical theory’, Journal of the Royal Statistical Society, Series B, 41, 1 – 31.
 Dempster (1972) Dempster, AP (1972), ‘Covariance selection’, Biometrics, 28, 157–175.
 Drton (2009) Drton, M (2009), ‘Discrete chain graph models’, Bernoulli, 15, 736–753.
 Drton & Richardson (2004) Drton, M & Richardson, TS (2004), ‘Multimodality of the likelihood in the bivariate seemingly unrelated regressions model’, Biometrika, 91, 383–392.
 Fallat et al (2016) Fallat, S, Lauritzen, S, Sadeghi, K, Uhler, C, Wermuth N & Zwiernik, P (2016), ‘Total positivity in Markov structures’, Annals of Statistics, to appear, also on ArXiv: 1510.01290
 Haavelmo (1943) Haavelmo, T (1943), ‘The statistical implications of a system of simultaneous equations’, Econometrica, 11, 1–12.
 Lauritzen & Wermuth (1989) Lauritzen, SL & Wermuth, N (1989), ‘Graphical models for associations between variables, some of which are qualitative and some quantitative’, Annals of Statistics, 17, 31 – 54.
 Lněnička & Matúš (2007) Lněnička, R & Matúš, F (2007), ‘On Gaussian conditional independence structures’, Kybernetika, 43, 323–342.
 Marchetti & Lupparelli (2011) Marchetti, GM & Lupparelli, M (2011), ‘Chain graph models of multivariate regression type for categorical data’. Bernoulli, 17, 827–844.
 McCullagh & Nelder (1989) McCullagh, P & Nelder, JA (1989), Generalized Linear Models, 2nd ed, Chapman and Hall, London.
 Pearl & Paz (1987) Pearl J & Paz, A (1987), ‘Graphoids: a graph based logic for reasoning about relevancy relations’, in: Boulay BD, Hogg, D & Steel L (eds), Advances in Artificial Intelligence II, North Holland, Amsterdam, pp. 357–363.
 Sadeghi (2013) Sadeghi, K (2013), ‘Stable mixed graphs’, Bernoulli, 19, 2330–2358.
 Sadeghi & Lauritzen (2014) Sadeghi, K & Lauritzen, SL (2014), ‘Markov properties for mixed graphs’, Bernoulli, 20, 676–696.
 Sadeghi & Marchetti (2012) Sadeghi, K & Marchetti, GM (2012), ‘Graphical Markov models with mixed graphs in R’, The R Journal, 4, 65–73.
 Stanghellini & Vantaggi (2013) Stanghellini, E & Vantaggi, B (2013), ‘On the identification of discrete concentration graph models with one hidden binary variable’, Bernoulli, 19, 1920–1937.
 Studený (1989) Studený, M (1989), ‘Multiinformation and the problem of characterization of conditional independence relations’, Problems of Control and Information Theory, 18, 3–16.
 Studený (2005) Studený, M (2005), Probabilistic Conditional Independence Structures, Springer, London.
 Weisberg (2014) Weisberg, S (2014), Applied Linear Regression, 4th ed, Wiley, Hoboken, New Jersey.
 Wermuth (2012) Wermuth, N (2012), ‘Traceable regressions’, International Statistical Review, 80, 415–438.
 Wermuth (2015) Wermuth, N (2015), ‘Graphical Markov models, unifying results and their interpretation’, Wiley Statsref: Statistics Reference Online; also on ArXiv: 1505.02456
 Wermuth & Cox (2013) Wermuth, N & Cox, DR (2013), ‘Concepts and a case study for a flexible class of graphical Markov models’, in: Becker, C, Fried, R & Kuhnt, S (eds) Robustness and Complex Data Structures. Festschrift in Honour of Ursula Gather. Springer, Heidelberg, pp. 327– 347; also on ArXiv 1303.1436
 Wermuth & Sadeghi (2012) Wermuth, N & Sadeghi, K (2012), ‘Sequences of regressions and their independences (with discussion)’, TEST, 21, 215–279.
 Zellner (1962) Zellner, A (1962), ‘An efficient method of estimating seemingly unrelated regressions and tests for aggregation bias’, Journal of the American Statistical Association, 57, 348–368.