The almost-entropic regions are not semialgebraic

Carolina Mejia, J. Andres Montoya

We prove that the almost-entropic region of order four is not semialgebraic, we get as a corollary the well-known Theorem of Matus, which asserts that this region is not polyhedral