2 deleted 7 characters in body

No, a counter-example can be constructed as follows:

Let G be the complete graph on 3 verticesa, b, c, where each vertex is a binary random variable. Let the joint distribution for each pair of vertices be independent Bernoulli with probability 1/2.

There are multiple joint distributions which satisfy such edge marginals. For example:

• Independent Bernoulli for each vertex, with probability 1/2 (complete mutual independence)
• The 3rd
• Each variable could be the XOR (sum modulo 2) of the other two variables (i.e. functionally dependent)
• The probability of each outcome could be 3/16 if 3 or 1 vertices are 1's, and 1/16 if 2 or 0 are 1's.

So what do you require to be able to uniquely determine the joint distribution? If the graph is decomposable (aka chordal or triangulated), you require the joint distribution for each clique (maximal complete subset) of the graph. Then the joint density is then:

$p(X) = \frac{\prod_{\text{cliques }C} p(X_C)}{\prod_{\text{separators }S} p(X_S)}$

(see Dawid and Lauritzen (1993), Lemma 2.5)

If the graph is not decomposable, then the problem is a bit trickier: the only result I know of is Lauritzen (1996), Lemma 3.14. Basically, given the clique marginal distributions, uniqueness is determined when the sample space is finite, and each clique marginal density is the limit of a sequence of positive densities. I suspect this result could be made stronger in some way, but I am not aware of any efforts to do so.

1

No, a counter-example can be constructed as follows:

Let G be the complete graph on 3 vertices a, b, c, where each vertex is a binary random variable. Let the joint distribution for each pair of vertices be independent Bernoulli with probability 1/2.

There are multiple joint distributions which satisfy such edge marginals. For example:

• Independent Bernoulli for each vertex, with probability 1/2 (complete mutual independence)
• The 3rd variable could be the XOR (sum modulo 2) of the other variables (i.e. functionally dependent)
• The probability of each outcome could be 3/16 if 3 or 1 vertices are 1's, and 1/16 if 2 or 0 are 1's.

So what do you require to be able to uniquely determine the joint distribution? If the graph is decomposable (aka chordal or triangulated), you require the joint distribution for each clique (maximal complete subset) of the graph. Then the joint density is then:

$p(X) = \frac{\prod_{\text{cliques }C} p(X_C)}{\prod_{\text{separators }S} p(X_S)}$

(see Dawid and Lauritzen (1993), Lemma 2.5)

If the graph is not decomposable, then the problem is a bit trickier: the only result I know of is Lauritzen (1996), Lemma 3.14. Basically, given the clique marginal distributions, uniqueness is determined when the sample space is finite, and each clique marginal density is the limit of a sequence of positive densities. I suspect this result could be made stronger in some way, but I am not aware of any efforts to do so.