Challenging computations of Hilbert bases of cones associated with algebraic statistics. (English) Zbl 1273.13052

Summary: We present two independent computational proofs that the monoid derived from \(5\times 5\times 3\) contingency tables is normal, completing the classification by H. Hibi and T. Ohsugi [in: Commutative algebra and combinatorics. Part I: Computational algebra and combinatorics of toric ideals. Part II: Topics in commutative algebra and combinatorics. Proceedings of the international workshop and conference on computational algebraic geometry, Bangalore, India, December 8–13, 2003. Mysore: Ramanujan Mathematical Society. Ramanujan Mathematical Society Lecture Notes Series 4, 91–115 (2007; Zbl 1187.13024)]. We show that Vlach’s vector disproving normality for the monoid derived from \(6\times 4 \times 3\) contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basis of the cone associated with the nonnormal monoid of the semigraphoid for \(| N|=5\). The computations are based on extensions of the packages \(\mathtt LattE-4ti2\) and \(\mathtt Normaliz\).


13P25 Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.)
14M25 Toric varieties, Newton polyhedra, Okounkov bodies
52B20 Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry)
14C05 Parametrization (Chow and Hilbert schemes)


Zbl 1187.13024


Normaliz; 4ti2
Full Text: DOI arXiv Euclid


[1] Bruns [Bruns and Gubeladze 09] W., Springer Monographs in Mathematics (2009)
[2] Bruns [Bruns and Ichim 10] W., J. Algebra 324 pp 1098– (2010) · Zbl 1203.13033
[3] Drton [Drton et al. 09] M., Oberwolfach Seminars 39 (2009)
[4] Durand [Durand et al. 99] A., Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, LNCS 1672 pp 92– (1999)
[5] Hemmecke [Hemmecke 02] R., Mathematical Software, ICMS 2002 pp 307– (2002)
[6] Hemmecke [Hemmecke et al. 08] R., Comb. Probab. Comput. 17 pp 239– (2008)
[7] Hemmecke [Hemmecke et al. 09] R., Contrib. Discrete Math. 4 pp 81– (2009)
[8] Ohsugi [Ohsugi 10] H., Discrete Math. 310 pp 1160– (2010) · Zbl 1230.05241
[9] Ohsugi [Ohsugi and Hibi 06] H., Commutative Algebra and Combinatorics, Ramanujan Mathematical Society Lecture Note Series 4 pp 87– (2006)
[10] Studen’y [Studený 05] M., Springer Series in Information Science and Statistics (2005)
[11] Sturmfels [Sturmfels and Sullivant 08] B., Mich. Math. J. 57 pp 689– (2008) · Zbl 1180.13040
[12] Sullivant [Sullivant 10] S., Ann. Inst. Stat. Math. 64 pp 717– (2010) · Zbl 1440.62396
[13] Vlach [Vlach 86] M., Discrete Appl. Math. 13 pp 61– (1986) · Zbl 0601.90105
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.