Abstract
In this paper we define an invariant Markov basis for a connected Markov chain over the set of contingency tables with fixed marginals and derive some characterizations of minimality of the invariant basis. We also give a necessary and sufficient condition for uniqueness of minimal invariant Markov bases. By considering the invariance, Markov bases can be presented very concisely. As an example, we present minimal invariant Markov bases for all 2 × 2 × 2 × 2 hierarchical models. The invariance here refers to permutation of indices of each axis of the contingency tables. If the categories of each axis do not have any order relations among them, it is natural to consider the action of the symmetric group on each axis of the contingency table. A general algebraic algorithm for obtaining a Markov basis was given by Diaconis and Sturmfels (The Annals of Statistics, 26, 363–397, 1998). Their algorithm is based on computing Gröbner basis of a well-specified polynomial ideal. However, the reduced Gröbner basis depends on the particular term order and is not symmetric. Therefore, it is of interest to consider the properties of invariant Markov basis.
Similar content being viewed by others
References
Aoki S. (2002). Improving path trimming in a network algorithm for Fisher’s exact test in two-way contingency tables. Journal of Statistical Computation and Simulation, 72: 205–216
Aoki S. (2003). Network algorithm for the exact test of Hardy–Weinberg proportion for multiple alleles. Biometrical Journal, 45: 471–490
Aoki, S., Takemura, A. (2003a). Minimal basis for connected Markov chain over 3 × 3 × K contingency tables with fixed two-dimensional marginals. Australian and New Zealand Journal of Statistics, 45: 229–249
Aoki, S., Takemura, A. (2003b). The list of indispensable moves of the unique minimal Markov basis for 3 × 4 × K and 4 × 4 × 4 contingency tables with fixed two-dimensional marginals. Technical Report METR 03-38, Department of Mathematical Engineering and Information Physics, The University of Tokyo (submitted for publication).
Aoki S., Takemura A. (2005). Markov chain Monte Carlo exact tests for incomplete two-way contingency tables. Journal of Statistical Computation and Simulation, 75: 787–812
Besag J., Clifford P. (1989). Generalized Monte Carlo significance tests. Biometrika, 76: 633–642
De Loera J. A., Haws D., Hemmecke R., Huggins P., Sturmfels B., Yoshida R. (2004). Short rational functions for toric algebra and applications. Journal of Symbolic Computation, 38: 959–973
Diaconis, P., Saloff-Coste, L. (1995). Random walk on contingency tables with fixed row and column sums. Technical Report, Department of Mathematics, Harvard University.
Diaconis P., Sturmfels B. (1998). Algebraic algorithms for sampling from conditional distributions. The Annals of Statistics, 26: 363–397
Dyer M., Greenhill C. (2000). Polynomial-time counting and sampling of two-rowed contingency tables. Theoretical Computer Sciences, 246: 265–278
Forster J.J., McDonald J.W., Smith P.W.F. (1996). Monte Carlo exact conditional tests for log-linear and logistic models. Journal of the Royal Statistical Society, Series B, 58: 445–453
Guo S.W., Thompson E.A. (1992). Performing the exact test of Hardy–Weinberg proportion for multiple alleles. Biometrika, 48: 361–372
Hastings W.K. (1970). Monte Carlo sampling methods using Markov chains and their applications. Biometrika, 57: 97–109
4ti2 team (2005). 4ti2 – A software package for algebraic, geometric and combinatorial problems on linear spaces. Available at www.4ti2.de
Hemmecke, R., Malkin, P. (2005). Computing generating sets of lattice ideals, arXiv: math.CO/0508359.
Hernek D. (1998). Random generation of 2 × n contingency tables. Random Structures and Algorithms, 13: 71–79
Lauritzen, N. (2005). Homogeneous Buchberger algorithms and Sullivant’s computational commutative algebra challenge, arXiv: math.AC/0508287.
Mehta C.R., Patel N.R. (1983). A network algorithm for performing Fisher’s exact test in r × c contingency tables. Journal of the American Statistical Association, 78: 427–434
Smith P.W.F., Forster J.J., McDonald J.W. (1996). Monte Carlo exact tests for square contingency tables. Journal of the Royal Statistical Society, Series A, 159: 309–321
Sturmfels, B. (1995). Gröbner Bases and Convex Polytopes. Providence, RI: American Mathematical Society
Suzuki T., Aoki S., Murota K. (2005). Use of primal-dual technique in the network algorithm for two-way contingency tables. Japan Journal of Industrial and Applied Mathematics, 22: 133–145
Takemura A., Aoki S. (2004). Some characterizations of minimal Markov basis for sampling from discrete conditional distributions. Annals of the Institute of Statistical Mathematics, 56: 1–17
Author information
Authors and Affiliations
Corresponding author
About this article
Cite this article
Aoki, S., Takemura, A. Minimal invariant Markov basis for sampling contingency tables with fixed marginals. AISM 60, 229–256 (2008). https://doi.org/10.1007/s10463-006-0089-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10463-006-0089-x