Source: Ann. Probab. Volume 26, Number 4
(1998), 1813-1854.
Let $\mathscr{C}$ be the set of chambers of a real hyperplane
arrangement. We study a random walk on $\mathscr{C}$ introduced by Bidigare,
Hanlon and Rockmore. This includes various shuffling schemes used in computer
science, biology and card games. It also includes random walks on zonotopes and
zonotopal tilings. We find the stationary distributions of these Markov chains,
give good bounds on the rate of convergence to stationarity, and prove that the
transition matrices are diagonalizable. The results are extended to oriented
matroids.
References
[1] Aldous, D. (1989). An introduction to covering problems for random walks on graphs. J. Theoret. Probab. 2 87-89.
[2] Bayer, D. and Diaconis, P. (1992). Trailing the dovetail shuffle to its lair. Ann. Appl. Probab. 2 294-313.
[3] Beissinger, J. S. and Peled, U. N. (1987). Enumeration of labelled threshold graphs and a theorem of Frobenius involving Eulerian polynomials. Graphs Combin. 3 213-219.
[4] Bergeron, F., Bergeron, N., Howlett, R. B. and Taylor, D. E. (1992). A decomposition of the descent algebra of a finite Coxeter group. J. Algebraic Combin. 1 23-44.
[5] Bidigare, T. P (1997). Hyperplane arrangement face algebras and their associated Markov chains. Ph.D. dissertation, Univ. Michigan.
[6] Bidigare, T. P., Hanlon, P. and Rockmore, D. (1998). A combinatorial description of the spectrum for the Tsetlin library and its generalization to hyperplane arrangements. Duke Math. J. To appear.
[7] Billera, L. J., Brown, K. S. and Diaconis, P. (1998). Geometry and probability in three dimensions. Unpublished manuscript.
[8] Billera, L. J. and Sturmfels, B. (1992). Fiber polytopes. Ann. of Math. (2) 135 527-549.
[9] Bj ¨orner, A. and Walker, J. W. (1983). A homotopy complementation formula for partially ordered sets. European J. Combin. 4 11-19.
[10] Bj ¨orner, A., Las Vergnas, M., Sturmfels, B., White, N. and Ziegler, G. (1993). Oriented matroids. Encyclopedia Math. Appl. 46.
[11] Bourbaki, N. (1981). Groupes et Alg ebres de Lie Chaps. 4-6. Masson, Paris.
Mathematical Reviews (MathSciNet):
MR647314
[12] Brown, K. S. (1989). Buildings. Springer, New York.
Mathematical Reviews (MathSciNet):
MR969123
[13] Cooke, G. E. and Finney, R. L. (1967). Homology of Cell Complexes based on lectures by Norman E. Steenrod. Princeton Univ. Press.
Mathematical Reviews (MathSciNet):
MR219059
[14] Crapo, H. H. (1966). The M¨obius function of a lattice. J. Combin. Theory 1 126-131.
[15] Diaconis, P. (1988). Group Representations in Probability and Statistics. IMS, Hayward, CA.
[16] Diaconis, P. (1996). The cutoff phenomenon in finite Markov chains. Proc. Nat. Acad. Sci. U.S.A. 93 1659-1664.
[17] Diaconis, P., Fill, J. A. and Pitman, J. (1992). Analysis of top to random shuffles. Combin. Probab. Comput. 1 135-155.
[18] Diaconis, P. and Freedman, D. (1998). Iterated random functions. SIAM Rev. To appear.
[19] Diaconis, P., Graham, R. L. and Morrison, J. A. (1990). Asymptotic analysis of a random walk on a hypercube with many dimensions. Random Structures Algorithms 1 51-72.
[20] Dies, J.-E. (1983). Ch aines de Markov sur les permutations. Lecture Notes in Math. 1010. Springer, New York.
Mathematical Reviews (MathSciNet):
MR823235
[21] Dobrow, R. P. and Fill, J. A. (1995). The move-to-front rule for self-organizing lists with Markov dependent requests. IMA Vol. Math. Appl. 72 57-80.
[22] Edelman, P. H. and Reiner, V. (1997). Free arrangements and rhombic tilings. Discrete Comput. Geom. 15 307-340. Erratum. 17 359.
[23] Ehrenfest, P. and Ehrenfest, T. (1907). ¨Uber zwei bekannte Einw¨ande gegen das Boltzmannsche H-theorem. Phys.8 311-314.
[24] Fill, J. A. (1996). An exact formula for the move-to-front rule for self-organizing lists. J. Theoret. Probab. 9 113-160.
[25] Kac, M. (1947). Random walk and the theory of Brownian motion. Amer. Math. Monthly 54 369-391.
Mathematical Reviews (MathSciNet):
MR9,46c
[26] Mahadev, N. V. R. and Peled, U. N. (1995). Threshold graphs and related topics. Ann. Discrete Math. 56.
[27] Orlik, P. and Terao, H. (1992). Arrangements of hyperplanes. Grundlehren Math. Wiss. 300.
[28] Phatarfod, R. M. (1991). On the matrix occurring in a linear search problem. J. Appl. Probab. 28 336-346.
[29] Phatarfod, R. M., Pryde, A. J. and Dyte, D. (1997). On the move-to-front scheme with Markov dependent requests. J. Appl. Probab. 34 790-794.
[30] Saloff-Coste, L. (1997). Lectures on finite Markov chains. Lecture Notes in Math. 1665 301-413. Springer, New York.
[31] Solomon, L. (1976). A Mackey formula in the group ring of a Coxeter group. J. Algebra 41 255-264.
[32] Stanley, R. P. (1991). A zonotope associated with graphical degree sequences. Applied geometry and discrete mathematics. DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 4 555-570.
[33] Stanley, R. P. (1996). Hyperplane arrangements, interval orders, and trees. Proc. Nat. Acad. Sci. U.S.A. 93 2620-2625.
[34] Stanley, R. P. (1997). Enumerative combinatorics, vol. 1. Cambridge Stud. Adv. Math. 49 (corrected reprint of the 1986 original).
[35] Wilson, D. B. and Propp, J. G. (1996). How to get an exact sample from a generic Markov chain and sample a random spanning tree from a directed graph, both within the cover time. In Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms 448-457. ACM, New York.
[36] Zaslavsky, T. (1975). Facing up to arrangements: face-count formulas for partitions of space by hyperplanes. Mem. Amer. Math. Soc. 1 (154).
[37] Ziegler, G. M. (1989). The face lattice of hyperplane arrangements. Discrete Math. 73 233- 238.
[38] Ziegler, G. M. (1993). Higher Bruhat orders and cyclic hyperplane arrangements. Topology 32 259-279.
[39] Ziegler, G. M. (1995). Lectures on Polytopes. Grad. Texts in Math. 152. Springer, New York.