Gaussoids are two-antecedental approximations of Gaussian conditional independence structures

10/22/2020
by   Tobias Boege, et al.
0

The gaussoid axioms are conditional independence inference rules which characterize regular Gaussian CI structures over a three-element ground set. It is known that no finite set of inference rules completely describes regular Gaussian CI as the ground set grows. In this article we show that the gaussoid axioms logically imply every inference rule of at most two antecedents which is valid for regular Gaussians over any ground set. The proof is accomplished by exhibiting for each inclusion-minimal gaussoid extension of at most two CI statements a regular Gaussian realization. Moreover we prove that all those gaussoids have rational positive-definite realizations inside every ε-ball around the identity matrix. For the proof we introduce the concept of algebraic Gaussians over arbitrary fields and of positive Gaussians over ordered fields and obtain the same two-antecedental completeness of the gaussoid axioms for algebraic and positive Gaussians over all fields of characteristic zero as a byproduct.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/16/2022

Selfadhesivity in Gaussian conditional independence structures

Selfadhesivity is a property of entropic polymatroids which can be formu...
research
12/26/2018

Constructing Faithful Homomorphisms over Fields of Finite Characteristic

We study the question of algebraic rank or transcendence degree preservi...
research
02/27/2013

Semigraphoids Are Two-Antecedental Approximations of Stochastic Conditional Independence Models

The semigraphoid closure of every couple of CI-statements (GI=conditiona...
research
03/03/2021

Incidence geometry in the projective plane via almost-principal minors of symmetric matrices

We present an encoding of a polynomial system into vanishing and non-van...
research
06/05/2023

A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products

We provide a new proof of the multivariate version of Christol's theorem...
research
09/18/2019

Regular matroids have polynomial extension complexity

We prove that the extension complexity of the independence polytope of e...
research
02/20/2022

On the usefulness of lattice approximations for fractional Gaussian fields

Fractional Gaussian fields provide a rich class of spatial models and ha...

Please sign up or login with your details

Forgot password? Click here to reset