Algebraic geometry of Gaussian Bayesian networks

Seth Sullivant

Home/Archive/arXiv

arXiv · 0704.0918

Algebraic geometry of Gaussian Bayesian networks

Seth Sullivant

View original source ↗Read source document ↗Export metadata ↓

Abstract

Conditional independence models in the Gaussian case are algebraic varieties in the cone of positive definite covariance matrices. We study these varieties in the case of Bayesian networks, with a view towards generalizing the recursive factorization theorem to situations with hidden variables. In the case when the underlying graph is a tree, we show that the vanishing ideal of the model is generated by the conditional independence statements implied by graph. We also show that the ideal of any Bayesian network is homogeneous with respect to a multigrading induced by a collection of upstream random variables. This has a number of important consequences for hidden variable models. Finally, we relate the ideals of Bayesian networks to a number of classical constructions in algebraic geometry including toric degenerations of the Grassmannian, matrix Schubert varieties, and secant varieties.

Explore related subjects

math.AG math.ST stat.TH

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Seth Sullivant. 2007-05-22. Algebraic geometry of Gaussian Bayesian networks. https://arxiv.org/abs/0704.0918

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the fundamental groups of subelliptic varieties

We show that the fundamental group of any smooth subelliptic variety is finite. Moreover, it is also proved that every finite group can be realized as the fundamental group of a smooth subelliptic variety. As a consequence, it follows that there exists a smooth subelliptic variety homotopy equivalent to the $n$-sphere if and only if $n>1$. This result can be considered as a negative answer to the algebraic version of Gromov's problem on the homotopy types of Oka manifolds.

math.AG↗

arXiv2026

Minimal energy local systems on curves

Let $Σ_{g,n}$ be an orientable topological surface of genus $g$ with $n$ punctures. When $g = 0$, Deroin and Tholozan studied the class of supra-maximal representations $π_1(Σ_{0,n})\to \mathrm{PSL}_2(\mathbb{R})$, and they showed that the supra-maximal representations form a compact component of a real relative character variety. We study a collection of rank $r$ local systems on $Σ_{g,n}$ which we call of minimal energy. These are generalizations of supra-maximal representations, and underlie polarizable complex variations of Hodge structure for any choice of complex structure on $Σ_{g,n}$. Like the supra-maximal representations, the minimal energy local systems form compact components of relative character varieties of real forms of $\mathrm{GL}_r(\mathbb{C})$. We show that when the local monodromy data around the punctures is chosen to be unitary and generic, and the relative character variety is nonempty, these minimal energy local systems always exist. When $g > 0$, we show that the minimal energy local systems come from unitary representations of $π_1(Σ_{g,n})$. If $g = 0$ we show that they do not always come from unitary representations, and we study their structure in general.

math.AG↗

arXiv2026

Hypergeometric local systems and parabolic bundles

Beukers and Heckman gave necessary and sufficient conditions for a hypergeometric function $_n F_{n-1}$ to be algebraic. We give a new proof of this theorem by passing through the Mehta-Seshadri correspondence. In particular, we explicitly write down the parabolic bundle corresponding to a unitary hypergeometric local system.

math.AG↗